B4.11

Probability and Measure
Part II, 2004

Let (Ω,F,P)(\Omega, \mathcal{F}, \mathbb{P}) be a probability space and let X,X1,X2,X, X_{1}, X_{2}, \ldots be random variables. Write an essay in which you discuss the statement: if XnXX_{n} \rightarrow X almost everywhere, then E(Xn)E(X)\mathbb{E}\left(X_{n}\right) \rightarrow \mathbb{E}(X). You should include accounts of monotone, dominated, and bounded convergence, and of Fatou's lemma.

[You may assume without proof the following fact. Let (Ω,F,μ)(\Omega, \mathcal{F}, \mu) be a measure space, and let f:ΩRf: \Omega \rightarrow \mathbb{R} be non-negative with finite integral μ(f).\mu(f) . If (fn:n1)\left(f_{n}: n \geqslant 1\right) are non-negative measurable functions with fn(ω)f(ω)f_{n}(\omega) \uparrow f(\omega) for all ωΩ\omega \in \Omega, then μ(fn)μ(f)\mu\left(f_{n}\right) \rightarrow \mu(f) as nn \rightarrow \infty.]