Convergence of conditional expectations equivalence

332 Views Asked by At

Suppose that as sequence of random variables $\{X_n\}$ and $X$ are defined on $(\Omega,\mathcal{F},P)$ and $\mathcal{G}\subset \mathcal{F}$. I know that for any $G\in \mathcal{G}$,

$$ E[f(X_n)1_G]\to E[f(X)1_G] $$

for some bounded function $f$. Does it imply that

$$ E[f(X_n)\mid \mathcal{G}]\to E[f(X)\mid \mathcal{G}] \quad\text{a.s.}? $$


The other way is trivial by an application of the dominated convergence theorem, i.e.

$$ \lim_n E[f(X_n)1_G]=E[\lim_n E[f(X_n)\mid\mathcal{G}]1_G]= E[f(X)1_G]. $$

1

There are 1 best solutions below

2
On

No. Take $\mathcal G =\mathcal F$. Let $X_n \to X$ in probability. Then the hypothesis is satisfied for any bounded measurable $f$, But well known examples show that $f(X_n)$ need not converge almost surely. If you want $\mathcal G$ to be properly contained in $\mathcal F$ take the latter to be Lebesgue measurable sets in $(0,1)$, the former to be Borel sigma algebra, $F$ to be the identity function and consider the standard example of $X_n$ converging in probability but not almost surely.