152.1 Lesson map
This lesson proves the next three lemmas from the extension roadmap.
- Recap: extending P from a field \mathcal{F}_0 to \mathcal{F}=\sigma(\mathcal{F}_0).
- Recall the outer measure P^*.
- Important warning: do not use that P^* is a probability measure yet.
- Recall the definition of \mathcal{M}.
- Lemma 4:
- Lemma 5:
- Lemma 6:













