Set Theory¶
In this blog, we donated probability of event \(A\) by \(P(A)\).
- The set of all possible outcomes or sample space of random experiment donates by \(\Omega\). Our probability \(P(A)\) map from subsets of \(\Omega\) to \(\mathbb{R}\), where it valued with \([0,1] \in \mathbb{R}\). Each outcome of experiment \(\omega \in \Omega\) encapsulates all information at the end of specific experiment.
-
Event space \(\Sigma : A\) is the set of all outcomes of experiment takes. \(\Sigma\) is subset of \(\Omega\).
-
Properties of \(P\), \(\Sigma\) has to stisfy three of these properties:
- \(P(\Omega) = 1\)
- If \(A\subset\Omega\) then \(P(A) \ge 0\)
- If \(A_i\) and \(A_j\) are disjoint events, then \(A_i \cap A_j = \emptyset\) with \(i\neq j\). Disjoint means \(A_i\) and \(A_j\) are separate.
Those three of properties are known as Axioms of Probability. Then,
Other Properties :
- If \(A_i\) and \(A_j\) are separate, \(P(A_i\cup A_j) = P(A_i) + P(A_j)\)
- If \(A_i\) and \(A_j\) are not separate and independent, \(P(A_i \cap A_j) = P(A_i) \times P(A_j)\)
- \(P(A_i \cup A_j) = P(A_i) + P(A_j) - P(A_i \cap A_j)\)
- \(A^c = 1-P(A)\)
- If \(A\) is empty set, then \(P(A) = P(\emptyset)=0\)
- If \(A \subseteq B\), then \(P(A) \leq P(B)\)
Example : If we throw 3 coin flips. The sample space we have is :
There are 8 possible outcomes, with H is head
and T is tail
.
We take 2 events where \(A\) and \(B\) are independent, the set of outcomes where first flip is a head \(\{HHH, HHT, HTH, HTT\}\), donated by \(A\).The set of outcomes where second flip is a tail \(\{HTH, HTT, TTH, TTT\}\), donated by \(B\). So,
- Every outcomes in both \(A\) and \(B\), \(P(A \cap B) = P(A) \times P(B)\)
- Every outcomes in \(A\) or \(B\), \(P(A \cup B) = P(A) + P(B) - P(A \cap B)\)
- Every outcomes are not in \(A\), \(A^c = 1-P(A)\)
Info
Most of this section refered to Review of Probability Theory by Maleki and Do, A First Course in Probability by Sheldon Ross, and Probability Bootcamp by Steve Bruton