ThmDex – An index of mathematical definitions, results, and conjectures.
F12699
Formulation 1
Let $X, Y \in \text{Random}(\Omega \to \mathbb{R})$ each be a D3161: Random real number such that
(i) \begin{equation} \mathbb{E} |X|, \mathbb{E} |Y| < \infty \end{equation}
(ii) $X, Y$ is an D2713: Independent random collection
Then \begin{equation} \mathbb{E}(X \mid Y) \overset{a.s.}{=} \mathbb{E}(X) \end{equation}