Existence and Essential Uniqueness of Conditional Expectation Conditioned on Sigma-Algebra

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

Let $X$ be an integrable random variable on $\struct {\Omega, \Sigma, \Pr}$.

Let $\mathcal G \subseteq \Sigma$ be a sub-$\sigma$-algebra of $\Sigma$.

Then there exists an integrable random variable $Z$ on $\struct {\Omega, \GG, \Pr}$ such that:


 * $\ds \int_G Z \rd \Pr = \int_G X \rd \Pr$ for each $G \in \mathcal G$.

Further, if $Z$ and $Z'$ are two integrable random variables satisfying this condition, we have:


 * $Z = Z'$ almost everywhere.