# lecture10 - MA1100 Lecture 10 Mathematical Proofs Proving...

This preview shows pages 1–9. Sign up to view the full content.

MA1100 Lecture 10 Mathematical Proofs Proving involving ± Sets relations ± Power sets ± Cartesian products ± Indexed collection of sets ± Empty sets Chartrand: section 4.4, 4.5, 4.6

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Lecture 10 2 Proving A Œ B Example A = { x œ Z | 6 | x }B = { x œ Z | x is even } Listing A = {. .., -6, 0, 6, 12, . ..} B = {. .., -4, -2, 0, 2, 4, . ..} When the set is large or infinite , it is not rigorous to “prove” subset relationship by listing. Prove that A Œ B A, B are subsets of universal set Z
Lecture 10 3 Element-Chasing Method •Choosean arbitrary element with the property given in A • Show that the element satisfies the property given in B ( " x œ U) [(x œ A) (x œ B)] Start with x œ AE n d w i t h x œ B Do not choose a specific element from A Arbitrary element means general element Denote the chosen element by some symbol Use only the given property of the element A Œ B is equivalent to

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Lecture 10 4 Proving A Œ B Example A = { x œ Z | 6 | x }B = { x œ Z | x is even } Proof Prove that A Œ B Let x œ A . Then 6 | x , So x = 2(3k). In other words, x is even . This implies x œ B . Hence we have proven A Œ B. i.e. x = 6k for some integer k.
Lecture 10 5 Proving A Œ B Example A = { x œ Z | 4 | x 2 }B = { x œ Z | 4 | x } Proof Take x = 2 . Then 4 | 2 2 This implies 2 B . Prove that A Œ B ( \$ x œ Z ) [(x œ A) (x B)] i.e. 2 œ A . But 4 | 2 Hence we have proven A Œ B. Constructive proof So (2 œ A) and (2 B)

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Lecture 10 6 Proving A = B Example A = { x œ Z | 4 | x 2 }B = { x œ Z | 2 | x } Proof Prove that A = B Let x œ A . So x œ B . Hence we have proven A = B. (i) A Œ B (ii) B Œ A : Let x œ B . So x œ A . : This proves A Œ B. This proves B Œ A. A = B if and only if A Œ B and B Œ A
Lecture 10 7 Proving A B There is an element x such that A B either x is in A but not in B or x is in B but not in A Either A Œ B or B Œ A . ~( A Œ B and B Œ A )

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
Lecture 10 8 Set Operations vs Logical Operations Set Meaning Logic A B A » B A c A – B x œ A and x œ B x œ A or x œ B x A x œ A and x B Many properties of set operations inherit those of the corresponding logical operations .
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### Page1 / 30

lecture10 - MA1100 Lecture 10 Mathematical Proofs Proving...

This preview shows document pages 1 - 9. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online