Day 12. Thursday June 7, 2012

Similar documents
a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Properties of the Integers

Solutions to Practice Final 3

CHAPTER 8: EXPLORING R

Final Exam Review. 2. Let A = {, { }}. What is the cardinality of A? Is

Fundamentals of Pure Mathematics - Problem Sheet

REVIEW FOR THIRD 3200 MIDTERM

Preparing for the CS 173 (A) Fall 2018 Midterm 1

Day 6. Tuesday May 29, We continue our look at basic proofs. We will do a few examples of different methods of proving.

MATH 13 SAMPLE FINAL EXAM SOLUTIONS

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

RED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam

Proofs. Chapter 2 P P Q Q

Mathematics-I Prof. S.K. Ray Department of Mathematics and Statistics Indian Institute of Technology, Kanpur. Lecture 1 Real Numbers

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Math 105A HW 1 Solutions

Economics 204 Fall 2012 Problem Set 3 Suggested Solutions

MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017

Context-free grammars and languages

Writing proofs for MATH 61CM, 61DM Week 1: basic logic, proof by contradiction, proof by induction

2. Transience and Recurrence

MATH 25 CLASS 21 NOTES, NOV Contents. 2. Subgroups 2 3. Isomorphisms 4

CS 360, Winter Morphology of Proof: An introduction to rigorous proof techniques

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

ABOUT THE CLASS AND NOTES ON SET THEORY

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

1 Chapter 1: SETS. 1.1 Describing a set

Cool Results on Primes

Trig Identities. or (x + y)2 = x2 + 2xy + y 2. Dr. Ken W. Smith Other examples of identities are: (x + 3)2 = x2 + 6x + 9 and


Lecture 8: Equivalence Relations

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH SPRING

2. Two binary operations (addition, denoted + and multiplication, denoted

Proofs. Chapter 2 P P Q Q

Characterizations of the finite quadric Veroneseans V 2n

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

and e 2 ~ e 2 iff e 1

MT804 Analysis Homework II

Math 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015

CHAPTER 7. Connectedness

CSE 20 DISCRETE MATH. Winter

Department of Computer Science University at Albany, State University of New York Solutions to Sample Discrete Mathematics Examination I (Spring 2008)

1 Proof by Contradiction

Homework 3 Solutions, Math 55

Structure of R. Chapter Algebraic and Order Properties of R

Scott Taylor 1. EQUIVALENCE RELATIONS. Definition 1.1. Let A be a set. An equivalence relation on A is a relation such that:

Mid Term-1 : Practice problems

Basic Proof Examples

Lecture 4: Constructing the Integers, Rationals and Reals

PRINCIPLE OF MATHEMATICAL INDUCTION

Foundations of Mathematics MATH 220 FALL 2017 Lecture Notes

/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 10/31/16

Solutions for Homework Assignment 2

Chapter 9: Relations Relations

CISC-102 Fall 2017 Week 3. Principle of Mathematical Induction

HW 4 SOLUTIONS. , x + x x 1 ) 2

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

One-to-one functions and onto functions

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Chapter 2. Real Numbers. 1. Rational Numbers

Fermat s Last Theorem for Regular Primes

Seminaar Abstrakte Wiskunde Seminar in Abstract Mathematics Lecture notes in progress (27 March 2010)

CS411 Notes 3 Induction and Recursion

We want to show P (n) is true for all integers

Proofs. Joe Patten August 10, 2018

ASSIGNMENT 1 SOLUTIONS

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

Recitation 7: Existence Proofs and Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.

Discrete Mathematics with Applications MATH236

1. multiplication is commutative and associative;

INFINITY: CARDINAL NUMBERS

Proof by Contradiction

Report 1 The Axiom of Choice

Math 220A Complex Analysis Solutions to Homework #2 Prof: Lei Ni TA: Kevin McGown

Logic, Set Theory and Computability [M. Coppenbarger]

1 The Local-to-Global Lemma

Strong Induction (Second Principle) Example: There are two piles of cards, players take turn: each turn: one player removes any number of cards from

5 Set Operations, Functions, and Counting

MTH 299 In Class and Recitation Problems SUMMER 2016

Section 1.7 Proof Methods and Strategy. Existence Proofs. xp(x). Constructive existence proof:

Outline. We will now investigate the structure of this important set.

Math 319 Problem Set #2 Solution 14 February 2002

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

Standard forms for writing numbers

1. (B) The union of sets A and B is the set whose elements belong to at least one of A

Beautiful Mathematics

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

1 Homework. Recommended Reading:

Readings: Conjecture. Theorem. Rosen Section 1.5

9/5/17. Fermat s last theorem. CS 220: Discrete Structures and their Applications. Proofs sections in zybooks. Proofs.

(1) Which of the following are propositions? If it is a proposition, determine its truth value: A propositional function, but not a proposition.

MATH 2400: PRACTICE PROBLEMS FOR EXAM 1

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

However another possibility is

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

MATH 117 LECTURE NOTES

Transcription:

Day 12 Thursday June 7, 2012 1 A Word on Well-Ordering We talked about the principle of induction. Given a formula ϕ(n) then to prove n.ϕ(n) then it is sufficent to prove ϕ(0). n.ϕ(n) ϕ(n + 1) We mentioned that N is a well-ordering, that is that is a linear ordering (total, transitive, reflexive, anti-symmetric) on N and that it is well-founded (no infinite descending chains). All of these properties are obvious on N. There is another property that is quite useful: Definition 1 (The Well-Ordering Property). A set A with a linear ordering has the well-ordering property if and only if for every S A, where S, there is an a S which is minimum with respect to, that is every b S is such that a b. As it turns out, a set is a well-ordering if and only if it has the well-ordering property. Proof. Suppose that A with is well ordered. Then it is a linear order and there are no infinite descending chains. We want to show that it has the well-ordering property. So take S A nonempty. We want to show that S has a least element. We go by contradiction. Suppose not. Then take x 1 S, which is possible as S is nonempty. As x 1 is not minimal, we can find x 2 S such that x 1 x 2. Similarly, x 2 is not minimal, so we can find x 3 such that x 1 x 2 x 3 continuing in this way we get a infinite descending chain, which contradicts well-foundedness. Conversely, suppose that we have the well-ordering property. Suppose for contradiction, the set was no well-founded. So take an infinite descending chains a 1 a 2 a 3 Take the set of all elements in this chain { a i i Z + }. By the well-ordering property, this has a least element, which is a k for some k Z +. So then the infinite descending chain must just be a k past k, which contradicts the chain is strictly descending. Why is this important? It illustrates an important characteristic of N: every nonempty subset of N has a least element. Now, using this property, we can prove induction. Proof. We want to show that induction is valid. That is Suppose this is false. So we have (ϕ(0) ( n.ϕ(n) ϕ(n + 1))) ( n.ϕ(n)) (ϕ(0) ( n.ϕ(n) ϕ(n + 1))) ( n. ϕ(n)) Well, as n. ϕ(n) we have an m that satisfies ϕ(m). In fact, we may have lots of counterexamples. Let S be the set of counterexamples, ie. like m S if and only if ϕ(m). As n. ϕ(n) we know S is nonempty. By the well-ordering property S has a least element, call it m. We now do cases: If m = 0, we get a contradiction, because we have ϕ(0). Otherwise, m = k + 1 for some k. Instantiating the universal statement we are assuming at k and we get ϕ(k) ϕ(k + 1). As m is least, we know ϕ(k) holds, and thus we know ϕ(k + 1), ie. we know ϕ(m). 1

As an application, anytime we take natural numbers, we can assume that they are the smallest such. Theorem 1. 2 is irrational. Proof. Suppose not; then we can find n and m naturals such that 2 = n m. We may assume that n and m are the least such. Then we have that 2m 2 = n 2. Thus n is even, so n = 2k for some k N. And so 2m 2 = 4k 2, ie. m 2 = 2k 2. Then m is even, so m = 2l for some l N. So we have m = 2l and n = 2k, so 2 = 2l 2k = l k ; as l < m and k < n, we have a contradiction, as we chose these numbers as small as possible! This style of proof is called proof by infinite descent 2 Equivalence Relations Now, we begin talking about equivalence relations. essentially. This will occupy our time for the rest of the week, Definition 2. Equivalence relations are meant to capture the properties of equality on sets. equivalence relation on a set A if and only if it is is an Reflexive: a A.a a. Symmetric: a, b A.(a b) (b a). Transitive: a, b, c A.((a b) (b c)) (a c). Example 1. There are many examples of equivalence relations. We will use the following toy relation to begin. Define on the real numbers by a b a = b + 2πk for some k Z Geometrically, a and b are related if a and b represent the same angle. We first prove this is an equivalence relation. Proof. First we show that it is reflexive. Let a R be arbitrary. We seek to show that a a. Well, this is clear, as a = a + 2π 0. Next, we show that it is symmetric. Like a, b R, and take k such that a = b + 2πk. Then of course, b = a + 2π( k), so b a. Finally, suppose that a b and b c. Then take k, l Z such that a = b + 2πk and b = c + 2πl. Then we have a 2πk = c + 2πl, an so a = c + 2π(k + l) Definition 3. Let be a an equivalence relation on a set A. Then if a A the equivalence class of a with respect to, which we denote [a] is: [a] = { b A a b } That is, the equivalence class of a is all of the things in a that are related to a. We say a is the representative of the class [a]. Example 2. Consider the above equivalence class. [0] = {..., 4π, 2π, 0, 2π, 4π,... } Note then that [0] = [2π]. Can you write down what [ π 2 ] is? The set of equivalence classes form a partition of a set. Definition 4. If A is a set then a family of sets { F α α Λ } is a partition if 2

The sets span A: that is for every a A, there is some α such that a F α. More concisely A = α Λ F α The sets are pairwise disjoint: that is, for each α, β Λ we have F α F β =. The sets are nonempty: that is for each α Λ, F α. Theorem 2. If A is a set and is an equivalence relation on A then the set of equivalence classes { [a] a A } is a partition. Proof. First we show that the sets span A. Take a A. Want to show that a is in some equivalence class. Well, by reflexivity, a a, so a [a]. Clearly each equivalence class is nonempty as it at least has the representative in there. Finally, we show they are disjoint. Suppose that E 1 and E 2 are two distinct equivalence classes. As they are distinct and nonempty (by last sentence) we can take a E 1 and b E 2 such that a b. Want to show they are disjoint. Otherwise, there is a c E 1 E 2. Then a c and b c. By symmetry, we have a c and c b. By transitive, we get a b, which is a contradiction. 3

3 Group Work Today, we will work in groups to talk about different relations. For each of the following relations, you should answer two questions: Prove that it is an equivalence relation. Describe it s equivalence classes Some are easier than others, and they are presented in what I feel is increasing difficulty. 3.1 Complex Magnitude Recall the complex numbers are numbers of the form a + bi where i = 1. The magnitude of a complex number a + bi is a + bi = a 2 + b 2 Define the relation on C by : If z 1, z 2 C then z 1 z 2 if and only if z 1 = z 2 3.2 Odd Factors Consider the positive integers (that is: natural numbers, without 0). We can write every positive integer n uniquely as some odd number times a power of 2. This odd number is the largest odd number that divides n. For example, for 18, the largest odd number that divides it is 9. So define the relation on Z + by n m if and only if n and m have the same largest odd number factor (for example: 9 18, but 9 27). 3.3 Powers of Two Similar as above, we have that every positive integer n can be unique written as some odd numbers times a power of 2. So we define a relation on the positive integers Z + by n m if and only if the n and m have the same largest power of two (eg. 2 6, but 2 12) 3.4 Periodic Sine Recall that sin(x) is a function on the real numbers that takes in a real numbers, reads it as an angle, and then returns the y-coordinate of the point on the unit circle corresponding to that angle. This is a periodic function that has period 2π. But besides its periodicity, it is still not 1-1, as sin(0) = sin(π). So, we make a relation on real numbers and say x y if and only if sin(x) = sin(y). 3.5 Differing by a Rational The real numbers R contain both rationals and irrationals. But, the rationals have nice closure properties (the sum and difference of two rationals is rational) where as the irrationals do not. So, define a relation on R by relating two numbers if they differ by a rational; that is define = on R by x = y if and only if x y Q. 3.6 Infinite Binary Sequence An infinite sequence is a sequence of numbers indexed by Z +. For example: (2, 4, 6, 8, 10,...) is a sequence. From the pattern, it looks like the 6th element of the sequence is 12. An infinite binary sequence is a sequence of just 0 s and 1. For example (1, 0, 1, 0, 1, 0, 1,...) is a sequence, where it looks like the ith element of the sequence of 1 if i is odd and 0 if i is even. We write sequence as (a n ) n Z +, and then we say a i when referring to the ith element of the sequence. So, if we name the first sequence above (b i ) i Z +, then we would say b 1 = 2 and b 6 = 12. We define on the set of infinite binary sequences as follows: (a n ) n Z + (b n ) n Z + N Z +. m > N. a m = b m 4

That is, two binary sequences are equivalent if they are eventually equal, ie. there is a point for which after then they are equal. For example, (1, 0, 1, 1, 0, 0, 0, 0, 0,...) (1, 1, 0, 0, 0, 0, 0, 0,...) Where both of the above sequences continue to be 0 s forever. 5