![Page 1: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/1.jpg)
Introduction to Set Theory
James H. Steiger
![Page 2: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 A means that x is not a member of the set
A.
AxAx
![Page 3: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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, and not in B, so
A B
A B A B
![Page 11: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/11.jpg)
Examples
{1,2,3}A {3,4,5,6}B
{3}A B {1,2,3,4,5,6}A B
{1,2,3,4,5,6}
{4,5,6}B A {1,2}B
![Page 12: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/13.jpg)
Venn Diagrams
Try this one!
A B
A B
![Page 14: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/14.jpg)
Venn Diagrams
Here is another one
A B
A B
![Page 15: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/16.jpg)
Set Partition
Definition. We say that a group of sets partitions another 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 James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/17.jpg)
Set Partition
A
WX Y
![Page 18: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/18.jpg)
Some Test Questions
A ?
![Page 19: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/19.jpg)
Some Test Questions
A A=?
![Page 20: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/20.jpg)
Some Test Questions
A ?
![Page 21: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/21.jpg)
Some Test Questions
A A=?
![Page 22: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/22.jpg)
Some Test Questions
A A ?
![Page 23: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/23.jpg)
Some Test Questions
A ?
![Page 24: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/24.jpg)
Some Test Questions
?
![Page 25: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/25.jpg)
Some Test Questions
If A B then A B ?
![Page 26: Introduction to Set Theory James H. Steiger. Sets Definition. A Set is any well defined collection of “objects.” Definition. The elements of a set are](https://reader035.vdocuments.us/reader035/viewer/2022062307/551b014f5503465e7d8b5785/html5/thumbnails/26.jpg)
Some Test Questions
If A B then A B ?