set theory project
TRANSCRIPT
![Page 1: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/1.jpg)
Set Theory
![Page 2: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/2.jpg)
2
![Page 3: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/3.jpg)
Understanding set theory helps people to :
see things in terms of systems
organize things into groups
begin to understand logic
3
![Page 4: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/4.jpg)
Key Mathematicians
These mathematicians influenced the development of set theory and logic:
Georg Cantor
John Venn
George Boole
Augustus DeMorgan
4
![Page 5: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/5.jpg)
Georg Cantor 1845 -1918
developed set theory
set theory was not initially accepted because it was radically different
set theory today is widely accepted and is used in many areas of mathematics
5
![Page 6: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/6.jpg)
Cantor the concept of infinity was expanded by
Cantor’s set theory
Cantor proved there are “levels of infinity”
an infinitude of integers initially ending with ωor
an infinitude of real numbers exist between 1 and 2;
there are more real numbers than there are integers…
0ℵ
6
![Page 7: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/7.jpg)
John Venn 1834-1923
studied and taught logic and probability theory
articulated Boole’s algebra of logic
devised a simple way to diagram set operations (Venn Diagrams)
7
![Page 8: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/8.jpg)
George Boole 1815-1864
self-taught mathematician with an interest in logic
developed an algebra of logic (Boolean Algebra)
featured the operators– and– or– not– nor (exclusive or)
8
![Page 9: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/9.jpg)
Augustus De Morgan 1806-1871
developed two laws of negation
interested, like other mathematicians, in using mathematics to demonstrate logic
furthered Boole’s work of incorporating logic and mathematics
formally stated the laws of set theory
9
![Page 10: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/10.jpg)
Basic Set Theory Definitions
A set is a collection of elements
An element is an object contained in a set
If every element of Set A is also contained in Set B, then Set A is a subset of Set B– A is a proper subset of B if B has more elements
than A does
The universal set contains all of the elements relevant to a given discussion
10
![Page 11: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/11.jpg)
Set Theory SymbolSymbol Meaning
Upper case designates set name
Lower case designates set elements
{ } enclose elements in set
∈ or is (or is not) an element of
⊆ is a subset of (includes equal sets)
⊂ is a proper subset of
⊄ is not a subset of
⊃ is a superset of
| or : such that (if a condition is true)
| | the cardinality of a set
∉
11
![Page 12: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/12.jpg)
Set Theory SymbolSymbol Meaning
∩ intersection
∪ union
A or A the compliment of A”; all elements not in AA – B all elements in A but not in Bn(A) the number of elements in A A = B (A is equal to B )A and B contain the sameA ≅ B (A is equivalent to B)
12
![Page 13: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/13.jpg)
Set Notation: Defining Sets
a set is a collection of objects
sets can be defined two ways:– by listing each element– by defining the rules for membership
Examples:– A = {2,4,6,8,10}
– A = {x | x is a positive even integer <12}
13
![Page 14: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/14.jpg)
Set Notation Elements an element is a member of a set
notation: ∈ means “is an element of”∉ means “is not an element of”
Examples:
– A = {1, 2, 3, 4}
1 ∈ A 6 ∉ A
2 ∈ A z ∉ A
– B = {x | x is an even number ≤ 10}
2 ∈ B 9 ∉ B
4 ∈ B z ∉ B14
![Page 15: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/15.jpg)
Subsets
a subset exists when a set’s members are also contained in another set
notation:
⊆ means “is a subset of”
⊂ means “is a proper subset of”
⊄ means “is not a subset of”
15
![Page 16: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/16.jpg)
Subset Relationships A = {x | x is a positive integer ≤ 8}
set A contains: 1, 2, 3, 4, 5, 6, 7, 8
B = {x | x is a positive even integer < 10}
set B contains: 2, 4, 6, 8
C = {2, 4, 6, 8, 10}
set C contains: 2, 4, 6, 8, 10
Subset Relationships
A ⊆ A A ⊄ B A ⊄ C
B ⊂ A B ⊆ B B ⊂ C
C ⊄ A C ⊄ B C ⊆ C
16
![Page 17: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/17.jpg)
Set Equality Two sets are equal if and only if they contain precisely
the same elements.
The order in which the elements are listed is unimportant.
Elements may be repeated in set definitions without increasing the size of the sets.
Examples:A = {1, 2, 3, 4} B = {1, 4, 2, 3}
A ⊂ B and B ⊂ A; therefore, A = B and B = A
A = {1, 2, 2, 3, 4, 1, 2} B = {1, 2, 3, 4}
A ⊂ B and B ⊂ A; therefore, A = B and B = A
17
![Page 18: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/18.jpg)
Cardinality of Sets
Cardinality refers to the number of elements in a set
A finite set has a countable number of elements
An infinite set has at least as many elements as the set of natural numbers
notation: |A| represents the cardinality of Set A
18
![Page 19: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/19.jpg)
Finite Set Cardinality
Set Definition Cardinality
A = {x | x is a lower case letter} |A| = 26
B = {2, 3, 4, 5, 6, 7} |B| = 6
C = {x | x is an even number < 10} |C|= 4
D = {x | x is an even number ≤ 10} |D| = 5
19
![Page 20: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/20.jpg)
Infinite Set CardinalitySet Definition Cardinality
A = {1, 2, 3, …} |A| =
B = {x | x is a point on a line} |B| =
C = {x| x is a point in a plane} |C| =
0ℵ
0ℵ
1ℵ
20
![Page 21: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/21.jpg)
Universal Sets
The universal set is the set of all things pertinent to a given discussionand is designated by the symbol U
Example:U = {all students at IUPUI}
Some Subsets:
A = {all Computer Technology students}
B = {freshmen students}
C = {sophomore students}
21
![Page 22: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/22.jpg)
The Empty Set
Any set that contains no elements is called the empty set
the empty set is a subset of every set including itself
notation: { } or φ
Examples ~ both A and B are emptyA = {x | x is a Chevrolet Mustang}
B = {x | x is a positive number < 0}
22
![Page 23: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/23.jpg)
The Power Set ( P ) The power set is the set of all subsets that can
be created from a given set
The cardinality of the power set is 2 to the power of the given set’s cardinality
notation: P (set name)Example:A = {a, b, c} where |A| = 3P (A) = {{a, b}, {a, c}, {b, c}, {a}, {b}, {c}, A, φ}
and |P (A)| = 8
In general, if |A| = n, then |P (A) | = 2n
23
![Page 24: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/24.jpg)
Special Sets
Z represents the set of integers – Z+ is the set of positive integers and
– Z- is the set of negative integers
N represents the set of natural numbers
ℝ represents the set of real numbers
Q represents the set of rational numbers
24
![Page 25: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/25.jpg)
Venn Diagrams
Venn diagrams show relationships between sets and their elements
Universal Set
Sets A & B
25
![Page 26: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/26.jpg)
Example 1
Set Definition ElementsA = {x | x ε Z+ and x ≤ 8} 1 2 3 4 5 6 7 8
B = {x | x ε Z+; x is even and ≤ 10} 2 4 6 8 10
A ⊄ B
B ⊄ A
26
![Page 27: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/27.jpg)
Example 2
Set Definition ElementsA = {x | x ε Z+ and x ≤ 9} 1 2 3 4 5 6 7 8 9
B = {x | x ε Z+ ; x is even and ≤ 8} 2 4 6 8
A ⊄ B
B ⊂ A
A ⊃ B
27
![Page 28: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/28.jpg)
Example 3
Set Definition ElementsA = {x | x ε Z+ ; x is even and ≤ 10} 2 4 6 8 10
B = x ε Z+ ; x is odd and x ≤ 10 } 1 3 5 7 9
A ⊄ B
B ⊄ A
28
![Page 29: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/29.jpg)
Example 4Set Definition
U = {1, 2, 3, 4, 5, 6, 7, 8}
A = {1, 2, 6, 7}
B = {2, 3, 4, 7}
C = {4, 5, 6, 7}
A = {1, 2, 6, 7}
29
![Page 30: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/30.jpg)
Example 5
Set DefinitionU = {1, 2, 3, 4, 5, 6, 7, 8}
A = {1, 2, 6, 7}
B = {2, 3, 4, 7}
C = {4, 5, 6, 7}
B = {2, 3, 4, 7}
30
![Page 31: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/31.jpg)
Example 6
Set DefinitionU = {1, 2, 3, 4, 5, 6, 7, 8}
A = {1, 2, 6, 7}
B = {2, 3, 4, 7}
C = {4, 5, 6, 7}
C = {4, 5, 6, 7}
31
![Page 32: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/32.jpg)
Operations On Sets Example
32
If U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {2, 4, 6, 8, 10}
B = (1, 3, 6, 7, 8}
C = {3, 7}
(a) Illustrate the sets U, A, B and C in a Venn diagram, marking all the elements in the appropriate places.
(b) Using your Venn diagram, list the elements in each of the following sets:
A ∩ B = {6, 8}
A ∪ B = {1,2, 3, 4, 6, 7, 8, 10}
A′ = {1, 3, 5, 7, 9}
B′ = {2, 4, 5, 9, 10}
B ∩ A′ = {1, 3, 7}
B ∩ C′ = {1, 6, 8}
A – B = {2, 4, 10}
A Δ B = {1, 2, 3, 4, 7, 10}
![Page 33: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/33.jpg)
33
Some Properties
A ⊆ A∪B and B ⊆ A∪B
A∩B ⊆ A and A∩B ⊆ B
|A∪B| = |A| + |B| - |A∩B|
A⊆B ⇒ Bc⊆Ac
A B = A∩Bc
If A∩B = Φ then we say ‘A’ and ‘B’ are disjoint.
![Page 34: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/34.jpg)
34
Algebra of Sets
Idempotent laws
–A ∪ A = A–A ∩ A = A
Associative laws
–(A ∪ B) ∪ C = A ∪ (B ∪ C)–(A ∩ B) ∩ C = A ∩ (B ∩ C)
![Page 35: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/35.jpg)
35
Algebra of Sets ctd…
Commutative laws
–A ∪ B = B ∪ A–A ∩ B = B ∩ A
Distributive laws
–A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)–A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
![Page 36: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/36.jpg)
36
Algebra of Sets ctd…
Identity laws
–A ∪ Φ = A–A ∩ U = A–A ∪ U = U–A ∩ Φ = Φ
Involution laws
–(Ac)c = A
![Page 37: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/37.jpg)
37
Algebra of Sets ctd…
Complement laws
–A ∪ Ac = U–A ∩ Ac = Φ–Uc = Φ–Φc = U
![Page 38: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/38.jpg)
38
Algebra of Sets ctd…
De Morgan’s laws
–(A ∪ B)c = Ac ∩ Bc
–(A ∩ B)c = Ac ∪ Bc
Note: Compare these De Morgan’s laws with the De Morgan’s laws that you find in logic and see the similarity.
![Page 39: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/39.jpg)
39
Proofs (example)
Basically there are two approaches in proving above mentioned laws and any other set relationship :
1_ Algebraic method2_ Using Venn diagrams
For example lets discuss how to prove
–(A ∪ B)c = Ac ∩ B c
![Page 40: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/40.jpg)
40
1_Proofs Using Algebraic Method
x∈(A∪B)c ⇒ x∉A∪B
⇒ x∉A ∧ x∉B
⇒ x∈Ac ∧ x∈Bc
⇒ x∈Ac∩Bc
⇒ (A∪B)c ⊆ Ac∩Bc (α)
![Page 41: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/41.jpg)
41
Proofs Using Algebraic Method ctd…
x∈Ac∩Bc⇒ x∈Ac ∧ x∈Bc
⇒ x∉A ∧ x∉B
⇒ x∉A∪B
⇒ x∈(A∪B)c
⇒ Ac∩Bc ⊆ (A∪B)c (β)
(α) ∧ (β)⇒ (A∪B)c = Ac∩Bc
![Page 42: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/42.jpg)
42
2_ Proofs Using Venn Diagrams
Note that these indicated numbers are not the actual members of each set. They are region numbers.
BA
A ∪ B
3
4
1 2
![Page 43: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/43.jpg)
43
Proofs Using Venn Diagrams ctd…
U : 1, 2, 3, 4
A : 1, 2 (i.e. The region for ‘A’ is 1 and 2)
B : 2, 3
∴ A∪B : 1, 2, 3
∴ (A∪B)c : 4 (α)
![Page 44: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/44.jpg)
44
Proofs Using Venn Diagrams ctd…
Ac : 3, 4
Bc : 1, 4
∴ Ac∩Bc : 4 (β)
(α) ∧ (β)⇒ (A∪B)c = Ac∩Bc
![Page 45: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/45.jpg)
Indiana University Trustees
http://math.comsci.us/sets/index.html
45
http://library.thinkquest.org/C0126820/start.html
![Page 46: Set Theory Project](https://reader035.vdocument.in/reader035/viewer/2022081800/552847b555034675588b46f3/html5/thumbnails/46.jpg)
46
N . N . M