基于可数/余可数子σ-代数的条件期望E(X|𝒢)计算问询

嘿，我来帮你拆解这个条件期望的计算问题！首先咱们先回忆一下条件期望的核心定义：要找的$Y = E(X|\mathcal{G})$需要满足两个关键条件：

• $Y$是$\mathcal{G}$-可测的；
• 对任意$A \in \mathcal{G}$，都有$\int_A X , dP = \int_A Y , dP$。

先明确一下$\mathcal{G}$-可测函数的特点：因为$\mathcal{G}$里的集合要么是可数集，要么是余可数集（补集可数），所以一个$\mathcal{G}$-可测函数$Y$，必然可以写成这样的形式：存在某个可数集$S \subset [0,1]$，$Y$在$S$上可以取任意值，而在$S^C$（余可数，测度为1）上取某个常数——当然，在勒贝格测度下，可数集的测度是0，所以咱们主要关注测度为1的部分就行。

接下来咱们用条件期望的第二个条件来推导：

• 情况1：$A$是可数集：此时$P(A)=0$，左边$\int_A X , dP = 0$，右边$\int_A Y , dP$也必然是0（因为测度为0），这个条件自动满足，不用纠结$Y$在可数集上的取值。
• 情况2：$A$是余可数集：此时$A^C$是可数集，$P(A)=1$。左边的积分$\int_A X , dP = \int_{\Omega} X , dP - \int_{A^C} X , dP = E(X) - 0 = 1/2$（因为$A^C$测度为0，积分项消失）。右边的积分$\int_A Y , dP = \int_{\Omega} Y , dP - \int_{A^C} Y , dP = E(Y) - 0 = E(Y)$。

根据条件，这两个积分必须相等，所以$E(Y)=1/2$。

现在结合$\mathcal{G}$-可测的要求，我们可以得到：$Y$在几乎所有点（除了某个可数集）上的值都是$1/2$——因为如果$Y$在测度为1的余可数集上取$1/2$，那么它的期望就是$1/2$，完全满足条件。

而条件期望在几乎处处相等的意义下是唯一的，所以我们可以直接取$E(X|\mathcal{G})(\omega) = 1/2$对所有$\omega \in [0,1]$作为条件期望的一个代表（当然你也可以在某个可数集上随便改值，但那不会影响它作为条件期望的有效性，因为勒贝格测度下可数集测度为0）。

总结一下：$E(X|\mathcal{G})$几乎处处等于$1/2$，通常我们就取常数函数$1/2$作为它的标准版本。

备注：内容来源于stack exchange，提问作者Analysis