Assume $X \in L^2(\Omega, \mathscr{F}, \mathbb{P}).$ Let $\mathscr{G} \subset \mathscr{F}$. I want to deduce how to define $$\mathbb{E}(X|\mathscr{G}).$$ Set $$s := \sup_{\mathscr{H}\subset \mathscr{G}, |\mathscr{H}| < \infty}\mathbb {E}(\mathbb{E}(X|\mathscr{H})^2) $$ where $$\mathbb{E}(X|\mathscr{H}) := \sum_{i=1}^k \Big(\frac{\mathbb{E}(X1_{C_i})}{\mathbb{P}(C_i)}\Big)1_{C_i}$$ , $\Omega = \cup_{i=1}^k C_i, C_i \cap C_j = \phi$ for all $i \neq j$ and $\mathscr{H} = \sigma(C_1,...,C_k).$ Then $$s \leq \mathbb{E}X^2$$ and there exists $(\mathscr{H}_n)$ with $|\mathscr{H}_n| < \infty$ and $$\mathbb {E}(\mathbb{E}(X|\mathscr{H_n})^2) \uparrow s.$$ It is suggested that if I set $$\mathscr{G}_n = \sigma(\mathscr{H}_1, ..., \mathscr{H}_n)$$, then $$\lim \mathbb{E}(X | \mathscr{G}_n)$$ exists and it works as the desired formular for $\mathbb{E}(X|\mathscr{G}).$
But I cannot see why the the limit exists, and it is actually the right definition for the conditional expectation.