Conditional-expectation convergence along a filtration (source code)

= Conditional-expectation convergence along a filtration

If $\mathcal F_\infty=\sigma(\bigcup_n\mathcal F_n)$ and $Z$ is bounded, then
$$
\mathbb E[Z\mid\mathcal F_n]
\longrightarrow
\mathbb E[Z\mid\mathcal F_\infty]
$$
almost surely and in $L^1$. Testing the almost-sure martingale limit on the algebra $\bigcup_n\mathcal F_n$ identifies it with the terminal conditional expectation.