Conditional Dominated Convergence Theorem

Theorem
Let $\struct {\Omega, \Sigma, \Pr}$ be a probability space.

Let $X$ be an integrable random variable.

Let $\sequence {X_n}_{n \in \N}$ be an sequence of non-negative integrable random variables converging almost surely to $X$, such that:


 * there exists an integrable random variable $Y$ such that:


 * $\size {X_n} \le Y$ almost surely.

Let $\GG \subseteq \Sigma$ be a sub-$\sigma$-algebra.

For each $n \in \N$, let $\expect {X_n \mid \GG}$ be a version of the conditional expectation of $X_n$ conditioned on $\GG$.

Let $\expect {X \mid \GG}$ be a version of the conditional expectation of $X$ conditioned on $\GG$.

Then, we have:


 * $\ds \lim_{n \mathop \to \infty} \expect {X_n \mid \GG} = \expect {X \mid \GG}$ almost surely.

Proof
Let $\expect {Y \mid \GG}$ be a version of the conditional expectation of $Y$ conditioned on $\GG$.

For each $n \in \N$, let $\expect {X_n \mid \GG}$ be a version of the conditional expectation of $X_n$ conditioned on $\GG$.

Since we have:


 * $\size {X_n} \le Y$ almost surely.

and $Y$ is integrable, we have:


 * $\ds \limsup_{n \mathop \to \infty} \expect {X_n \mid \GG} \le \expect {\limsup_{n \mathop \to \infty} X_n \mid \GG} = \expect {X \mid \GG}$ almost surely

by Conditional Reverse Fatou's Lemma.

From Conditional Fatou's Lemma, we have:


 * $\ds \expect {X \mid \GG} = \expect {\liminf_{n \mathop \to \infty} X_n \mid \GG} \le \liminf_{n \mathop \to \infty} \expect {X_n \mid \GG}$ almost surely.

So almost surely, we have:


 * $\ds \limsup_{n \mathop \to \infty} \expect {X_n \mid \GG} \le \expect {X \mid \GG} \le \liminf_{n \mathop \to \infty} \expect {X_n \mid \GG} \le \limsup_{n \mathop \to \infty} \expect {X_n \mid \GG}$

So almost surely, we have:


 * $\ds \liminf_{n \mathop \to \infty} \expect {X_n \mid \GG} = \limsup_{n \mathop \to \infty} \expect {X_n \mid \GG} = \expect {X \mid \GG}$

So, from Convergence of Limsup and Liminf, we have:


 * $\ds \lim_{n \mathop \to \infty} \expect {X_n \mid \GG}$ exists almost surely

and further:


 * $\ds \expect {X \mid \GG} = \lim_{n \mathop \to \infty} \expect {X_n \mid \GG}$ almost surely.