Conditional expectation characterization of sub-$\sigma$-algebra measurability

conditional-expectationmeasure-theoryprobabilityprobability theory

Suppose $(\Omega,\mathscr{F},\mathbb{P})$ is a complete probability space and $\mathscr{G}$ is a sub-$\sigma$-algebra of $\mathscr{F}$. I with to show that a random variable $X\in\mathcal{L}^1$ is $\mathscr{G}-$measurable if and only if
$$
E[X\eta]=E[XE[\eta|\mathscr{G}]],\forall\eta\in\mathcal{L}^\infty.
$$

The "only if" statement follows from the definition of conditional expectation and the use of standard method (simple function approximation), and I tried to show the "if" statement by showing $\sigma(X)\subset\mathscr{G}$. However, I got stuck in doing so, and wish to know how I may show $\sigma(X)\subset\mathscr{G}$?

Best Answer

For any $\eta \in L^{\infty}$, $$E(X\eta) = E(XE(\eta \mid \mathscr{G})) = E(E(X \mid \mathscr{G})E(\eta \mid \mathscr{G})) = E(E(X \mid \mathscr{G})\eta).$$ Taking $\eta$ to be suitable indicator functions, this implies that $X = E(X \mid \mathscr{G})$ a.s.. So $X$ is a.e. equal to a $\mathscr{G}$-measurable function.