Set Theory
Study guide: Exam P-1
Set Theory is the branch of mathematics that studies collections of objects called sets and the relationships between them. It supplies the language of Probability: the Sample Space S is the set of all outcomes, an Event is a subset of S, and Set Operations on events (union, intersection, complement) mirror the words "or", "and", and "not".
A \subseteq S \iff (\omega \in A \Rightarrow \omega \in S)
- A set is specified by listing its elements,
A = \{1, 2, 3\}, or by a defining property,A = \{\, \omega : \omega \text{ satisfies } P \,\}. \omega \in Ameans\omegais an element ofA;A \subseteq Smeans every element ofAalso lies inS.- The empty set
\varnothingcontains no elements; the complementA^c = S \setminus Ais everything inSnot inA. - Sets are the building blocks of a probability space
(S, \mathcal{F}, P), in which events are the sets whose probabilities are measured.
Union, Intersection, and Difference of Two Sets Given
A = \{1, 2, 3, 4\}andB = \{3, 4, 5, 6\}, findA \cup B,A \cap B, andA \setminus B.Answer
A \cup B = \{1, 2, 3, 4, 5, 6\}A \cap B = \{3, 4\}A \setminus B = \{1, 2\}The union collects elements in either set, the intersection those in both, and the difference those inAonly.
Complement and De Morgan's Law A Sample Space for a die roll is
S = \{1, 2, 3, 4, 5, 6\}. LetA = \{2, 4, 6\}(even) andB = \{4, 5, 6\}(greater than 3). FindA^cand verify(A \cup B)^c = A^c \cap B^c.Answer The complements are
A^c = S \setminus A = \{1, 3, 5\}andB^c = \{1, 2, 3\}. Then:A \cup B = \{2, 4, 5, 6\} \implies (A \cup B)^c = \{1, 3\}A^c \cap B^c = \{1, 3, 5\} \cap \{1, 2, 3\} = \{1, 3\}Both sides equal\{1, 3\}, confirming De Morgan's Law.