ThmDex – An index of mathematical definitions, results, and conjectures.
P3281
By definition, $\mathbb{E}(X \mid \mathcal{G})$ and $\mathbb{E}(Y \mid \mathcal{G})$ are measurable in $\mathcal{G}$. Since we have \begin{equation} \begin{split} (X - \mathbb{E}(X \mid \mathcal{G})) (Y - \mathbb{E}(Y \mid \mathcal{G})) = X Y - X \mathbb{E}(Y \mid \mathcal{G}) - Y \mathbb{E}(X \mid \mathcal{G}) + \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) \end{split} \end{equation} then, applying results
(i) R4784: Basic real linearity of basic real conditional expectation
(ii) R4781: Conditional expectation of known random real number

we have \begin{equation} \begin{split} \text{Cov}(X, Y \mid \mathcal{G}) & = \mathbb{E}( (X - \mathbb{E}(X \mid \mathcal{G})) (Y - \mathbb{E}(Y \mid \mathcal{G})) \mid \mathcal{G}) \\ & = \mathbb{E}(X Y \mid \mathcal{G}) - \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) - \mathbb{E}(Y \mid \mathcal{G}) \mathbb{E}(X \mid \mathcal{G}) + \mathbb{E}(\mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) \mid \mathcal{G}) \\ & = \mathbb{E}(X Y \mid \mathcal{G}) - 2 \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) + \mathbb{E}(\mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) \mid \mathcal{G}) \\ & = \mathbb{E}(X Y \mid \mathcal{G}) - 2 \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) + \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) \\ & = \mathbb{E}(X Y \mid \mathcal{G}) - \mathbb{E}(X \mid \mathcal{G}) \mathbb{E}(Y \mid \mathcal{G}) \\ \end{split} \end{equation} This is what was required to be shown. $\square$