introduction to set theory - statpower to set theory.pdfintroduction to set theory james h. steiger....
TRANSCRIPT
![Page 1: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/1.jpg)
Introduction to Set Theory
James H. Steiger
![Page 2: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/2.jpg)
Sets
Definition. A Set is any well defined collection of “objects.”Definition. The elements of a set are the objects in a set.Notation. Usually we denote sets with upper-case letters, elements with lower-case letters. The following notation is used to show set membership
means that x is a member of the set Ameans that x is not a member of the set A.
Ax∈Ax∉
![Page 3: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/3.jpg)
Ways of Describing Sets
List the elements
Give a verbal description“A is the set of all integers from 1 to 6, inclusive”
Give a mathematical inclusion rule
A= 1,2,3,4,5,6
A= Integers 1 6x x≤ ≤
![Page 4: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/4.jpg)
Some Special Sets
The Null Set or Empty Set. This is a set with no elements, often symbolized by
The Universal Set. This is the set of all elements currently under consideration, and is often symbolized by
∅
Ω
![Page 5: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/5.jpg)
Membership Relationships
Definition. Subset.
“A is a subset of B”
We say “A is a subset of B” if , i.e., all the members of A are also members of B. The notation for subset is very similar to the notation for “less than or equal to,” and means, in terms of the sets, “included in or equal to.”
A B⊆
x A x B∈ ⇒ ∈
![Page 6: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/6.jpg)
Membership Relationships
Definition. Proper Subset.
“A is a proper subset of B”We say “A is a proper subset of B” if all the members of A are also members of B, but in addition there exists at least one element c such that but . The notation for subset is very similar to the notation for “less than,” and means, in terms of the sets, “included in but not equal to.”
A B⊂
c B∈ c A∉
![Page 7: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/7.jpg)
Combining Sets – Set Union
“A union B” is the set of all elements that are in A, or B, or both.
This is similar to the logical “or” operator.
A B∪
![Page 8: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/8.jpg)
Combining Sets – Set Intersection
“A intersect B” is the set of all elements that are in both A and B.This is similar to the logical “and”
A B∩
![Page 9: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/9.jpg)
Set Complement
“A complement,” or “not A” is the set of all elements not in A. The complement operator is similar to the logical not, and is reflexive, that is,
A
A A=
![Page 10: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/10.jpg)
Set Difference
The set difference “A minus B” is the set of elements that are in A, with those that are in B subtracted out. Another way of putting it is, it is the set of elements that are in A, andnot in B, so
A B−
A B A B− = ∩
![Page 11: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/11.jpg)
Examples
1,2,3A = 3,4,5,6B =
3A B∩ = 1,2,3,4,5,6A B∪ =
1,2,3,4,5,6Ω =
4,5,6B A− = 1,2B =
![Page 12: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/12.jpg)
Venn Diagrams
Venn Diagrams use topological areas to stand for sets. I’ve done this one for you.
A B
A B∩
![Page 13: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/13.jpg)
Venn Diagrams
Try this one!
A B
A B∪
![Page 14: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/14.jpg)
Venn Diagrams
Here is another one
A B
A B−
![Page 15: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/15.jpg)
Mutually Exclusive and Exhaustive Sets
Definition. We say that a group of sets is exhaustive of another set if their union is equal to that set. For example, if we say that A and B are exhaustive with respect to C.Definition. We say that two sets A and B are mutually exclusive if , that is, the sets have no elements in common.
A B C∪ =
A B∩ =∅
![Page 16: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/16.jpg)
Set Partition
Definition. We say that a group of sets partitionsanother set if they are mutually exclusive and exhaustive with respect to that set. When we “partition a set,” we break it down into mutually exclusive and exhaustive regions, i.e., regions with no overlap. The Venn diagram below should help you get the picture. In this diagram, the set A (the rectangle) is partitioned into sets W,X, and Y.
![Page 17: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/17.jpg)
Set Partition
A
WX Y
![Page 18: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/18.jpg)
Some Test Questions
A ?∪∅ =
![Page 19: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/19.jpg)
Some Test Questions
A A=?∪
![Page 20: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/20.jpg)
Some Test Questions
A ?∩∅ =
![Page 21: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/21.jpg)
Some Test Questions
A A=?−
![Page 22: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/22.jpg)
Some Test Questions
A A ?∩ =
![Page 23: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/23.jpg)
Some Test Questions
A ?∪Ω =
![Page 24: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/24.jpg)
Some Test Questions
?Α∩Ω =
![Page 25: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/25.jpg)
Some Test Questions
If A B then ⊂A B ?∩ =
![Page 26: Introduction to Set Theory - Statpower to Set Theory.pdfIntroduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of ... Set Difference The](https://reader036.vdocuments.us/reader036/viewer/2022081513/5ea90e8cc716ca6048779e5b/html5/thumbnails/26.jpg)
Some Test Questions
If A B then ⊂A B ?∪ =