Probability MT22, Partition theorem
Flashcards
@State the Law of Total Probability for a partition of $\Omega$ formed by a family of events $\{B _ 1, B _ 2, \ldots, B _ n\}$, i.e. the formula for $\mathbb{P}(A)$ for any $A \in \mathcal{F}$.
\[\mathbb{P}(A) = \sum _ {i \ge 1}\mathbb{P}(A \vert B _ i)\mathbb{P}(B _ i)\]
The Law of Total Probability or partition theorem (∆partition-theorem) states that if $\{B _ i, i \in I\}$ is a countable partition of $\Omega$, then
\[\mathbb{P}(A) = \sum _ {i \in I}\mathbb{P}(A \vert B _ i)\mathbb{P}(B _ i)\]
@State the partition theorem for expectations.
\[\mathbb{E}[X] = \sum _ {i \in I} \mathbb{E}[X \vert B _ i] \mathbb{P}(B _ i)\]
@Prove the partition theorem (∆partition-theorem): suppose $B _ 1, B _ 2, \ldots$ is a partition of $\Omega$ by sets from $\mathcal F$, such that $\mathbb P(B _ i) > 0$ for all $i \ge 1$. Then for any $A \in \mathcal F$,
\[\mathbb P(A) = \sum _ {i \ge 1} \mathbb P(A \vert B _ i) \mathbb P(B _ i)\]
@todo (probability, page 10).