Download - Set Theory
![Page 1: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/1.jpg)
Set Theory
Dr. Ahmed Elmoasry
![Page 2: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/2.jpg)
Contents
Ch I: Experiments, Models, and Probabilities.
Ch II: Discrete Random Variables
Ch III: Discrete Random Variables
![Page 3: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/3.jpg)
Ch I: Experiments, Models, and Probabilities.
1. Set Theory2. Applying set theory to probability3. Probability Axioms4. Some consequences of the Axioms5. Conditional probability6. Independence7. sequential Experiments and tree diagrams8. Counting Methods9. Independent trials
![Page 4: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/4.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 5: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/5.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 6: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/6.jpg)
Examples of Sets
A={MUJ university, QAS University, the planet Mercury}
B={x2 | x =1,2,3,… }
C={all students who weigh more than 60 kg}
I={all positive integers, negative integers, and 0}
![Page 7: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/7.jpg)
Set Equality
We say that A=B iff B A and A B
Or
A={0,17,46} B= {46,0,17} C={17,0,46}
BxAx
![Page 8: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/8.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 9: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/9.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
S x6 B x1 x2 x3 x5 A x4
x7
![Page 10: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/10.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 11: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/11.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 B A
![Page 12: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/12.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 13: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/13.jpg)
Ex. Of set union
A is the set of student, who weigh more than 65 kg.
B is the set of student, who tall more than 165 cm.
A x3 B x1 x2 x4 x5 x6
x7 x8 x9 x10
![Page 14: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/14.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
A
A
![Page 15: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/15.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
A B
![Page 16: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/16.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 17: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/17.jpg)
Venn Diagrams
Venn Diagrams use topological areas to stand for sets. I’ve done this one for you.
A B
A B
![Page 18: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/18.jpg)
Venn Diagrams
Try this one!
A B
A B
![Page 19: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/19.jpg)
Venn Diagrams
Here is another one
A B
A B
![Page 20: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/20.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 21: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/21.jpg)
Mutually Exclusive Sets
A and B are disjoint iff A∩ B =
A
B
![Page 22: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/22.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 23: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/23.jpg)
Set Partition
A
WX Y
![Page 24: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/24.jpg)
De Morgan’s Law
BABA )(
BABA )(
![Page 25: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/25.jpg)
Some Test Questions
A ?
![Page 26: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/26.jpg)
Some Test Questions
A A=?
![Page 27: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/27.jpg)
Some Test Questions
A ?
![Page 28: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/28.jpg)
Some Test Questions
A A=?
![Page 29: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/29.jpg)
Some Test Questions
A A ?
![Page 30: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/30.jpg)
Some Test Questions
A ?
![Page 31: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/31.jpg)
Some Test Questions
?
![Page 32: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/32.jpg)
Some Test Questions
If A B then A B ?
![Page 33: Set Theory](https://reader035.vdocuments.us/reader035/viewer/2022062407/56812a8b550346895d8e312b/html5/thumbnails/33.jpg)
Some Test Questions
If A B then A B ?