lecture10 - MA1100 Lecture 10 Mathematical Proofs Proving...

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

View Full Document Right Arrow Icon
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
Background image of page 1

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

View Full Document Right Arrow Icon
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
Background image of page 2
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
Background image of page 3

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

View Full Document Right Arrow Icon
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.
Background image of page 4
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)
Background image of page 5

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

View Full Document Right Arrow Icon
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
Background image of page 6
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 )
Background image of page 7

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

View Full Document Right Arrow Icon
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 .
Background image of page 8
Image of page 9
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 Right Arrow Icon
Ask a homework question - tutors are online