Conditional Fatou's Lemma

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

Let $X$ be an non-negative integrable random variable.

Let $\sequence {X_n}_{n \in \N}$ be an sequence of non-negative integrable random variables.

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 $\ds \expect {\liminf_{n \mathop \to \infty} X_n \mid \GG}$ be a version of the conditional expectation of $X$ conditioned on $\GG$.

Then we have:


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

Proof
From Conditional Expectation of Measurable Random Variable, we have:


 * $\expect {X_n \mid \GG} = \expect {\expect {X_n \mid \GG} \mid \GG}$

It therefore suffices to show, from Conditional Expectation is Linear:


 * $\ds \expect {\liminf_{n \mathop \to \infty} \expect {X_n \mid \GG} - \liminf_{n \mathop \to \infty} X_n \mid \GG} \ge 0$ almost everywhere.

From Condition for Conditional Expectation to be Almost Surely Non-Negative, we can show that:


 * $\ds \expect {\paren {\liminf_{n \mathop \to \infty} \expect {X_n \mid \GG} - \liminf_{n \mathop \to \infty} X_n} \cdot 1_A} \ge 0$

for $A \in \GG$.

We indeed have, for each $A \in \GG$: