Set of Elementary Events belonging to k Events is Event
Theorem
Let $\EE$ be an experiment with a probability space $\struct {\Omega, \Sigma, \Pr}$.
Let $A_1, A_2, \ldots, A_m$ be events in the event space $\Sigma$ of $\EE$.
Let $S$ denote the set of all elementary events of $\EE$ which are elements of exactly $k$ of the events $A_1, A_2, \ldots, A_m$.
Then $S$ is an event of $\Sigma$.
Proof
Let $r_1, r_2, \ldots r_k$ be a set of $k$ elements of $\set {1, 2, \ldots, m}$.
Then:
- $\paren {A_{r_1} \cap A_{r_2} \cap \cdots \cap A_{r_k} } \setminus \paren { A_{r_{k + 1} } \cup A_{r_{k + 2} } \cup \cdots \cup A_{r_m} }$
contains exactly those elements of $\Omega$ which are contained in exactly those events $A_{r_1}, A_{r_2}, \ldots, \cap A_{r_k}$.
By Elementary Properties of Event Space, that last set is an event of $\EE$.
By selecting all combinations of $\set {1, 2, \ldots, m}$, we can form the subsets of $\Sigma$ containing all those elementary events of exactly $k$ events.
Each one is an element of $\Sigma$.
We then form the union $S_k$ of each of those element of $\Sigma$.
By Elementary Properties of Event Space, $S_k$ is an event of $\EE$.
By construction, $S_k$ contains all and only the elementary events of $\EE$ which are elements of exactly $k$ of the events $A_1, A_2, \ldots, A_m$.
$\blacksquare$
Also see
Sources
- 1986: Geoffrey Grimmett and Dominic Welsh: Probability: An Introduction ... (previous) ... (next): $1$: Events and probabilities: $1.2$: Outcomes and events: Exercise $4$