"每一种科学,只要达到一定程度的成熟,就会自动成为数学的一部分。"
— 大卫·希尔伯特 (David Hilbert) | 德国数学家 | 1862 ~ 1943
条件期望和条件方差是概率论中极其重要的概念,在数据科学、机器学习算法中广泛应用。 本章将分别讲解离散随机变量和连续随机变量的条件期望和条件方差。
我们将通过直观的例子(如动物笼子、鸢尾花数据)来理解这些概念, 并学习全期望定理和全方差定理这两个核心定理。
Conditional Expectation for Discrete Random Variables
条件期望(conditional expectation)是一个随机变量相对于条件概率分布的期望。 换句话说,这是在给定一个或多个其他随机变量值的条件下,某个特定随机变量的期望。
条件期望其实很好理解。比如,一个笼子里有 10 只动物,其中 6 只鸡 (60%)、4 只兔 (40%)。
鸡的平均体重为 2 公斤,这个数值就是条件期望。 兔子的平均体重为 4 公斤,这也是条件期望。
理解条件期望与全期望定理
举个极端例子:如果笼子里有 99 只鸡(平均 2kg)和 1 只兔(8kg), 用简单平均 (2+8)/2 = 5kg 显然不合理。 加权平均 2×99% + 8×1% ≈ 2.06kg 才能正确反映整体情况。
Conditional Variance for Discrete Random Variables
在上一节的基础上,本节介绍离散随机变量的条件方差。 条件方差与一般方差的定义几乎一致,只不过将期望换成了条件期望,将概率换成了条件概率。
理解条件方差与全方差定理
鸡内部的体重差异 + 兔内部的体重差异(加权平均)
即使我们知道了动物类型,个体之间仍有差异。
鸡的平均体重 vs 兔的平均体重 vs 总体平均体重
不同类型的平均值之间的差异。
总体差异来自两个来源:
1. 同一类型内部个体之间的差异
2. 不同类型之间平均值的差异
方差分解帮助我们理解数据的差异来源。 在ANOVA(方差分析)中,我们正是利用全方差定理将总变异分解为组内变异和组间变异, 从而判断不同组的均值是否有显著差异。
Iris Dataset: Conditional Expectation and Variance
前两节介绍了离散随机变量的条件期望和条件方差的理论。 本节通过鸢尾花数据集的实例, 将这些概念应用到实际数据中,展示如何计算和理解条件统计量。
给定花萼长度,花萼宽度的条件期望
通过加权平均所有条件期望,我们可以还原总体期望:
条件期望 E(X₂|X₁=x₁) 和条件方差 var(X₂|X₁=x₁) 都消去了 x₂ 变量, 仅随 X₁ = x₁ 取值变化。
这正是"降维"的本质——期望、方差等统计量代表"汇总", 将某个维度的信息细节"压扁"成单个数值。 不同的聚合方式(期望、方差、中位数等)得到不同的统计量。
误差棒长度 = 条件标准差 σ(X₂|X₁=x₁),表示在给定 x₁ 条件下的波动大小。 不同 x₁ 处的误差棒长度不同,说明不同条件下的不确定性不同。 例如,X₁ = 8.0 处误差棒为 0,因为该处只有 1 个样本,没有波动。
Conditional Expectation and Variance for Continuous Random Variables
前面介绍了离散随机变量的条件期望和条件方差。 本节将这些概念扩展到连续随机变量, 核心区别在于用积分代替求和。
二维高斯分布示例
无论是离散还是连续随机变量,条件期望和条件方差都是"降维"的过程:
本质上没有任何区别,只是数学工具不同。 E(Y|X=x) 和 var(Y|X=x) 都只是 x 的函数,y 已经被"压扁"了。
这些定理的形式与离散情况完全一致,只是将求和换成了积分。
这是高斯分布的特殊性质!对于二维高斯分布,条件期望 E(Y|X) 必然是 X 的线性函数。 这也是为什么线性回归在很多情况下效果很好—— 如果数据近似服从高斯分布,线性模型就是条件期望的最佳近似。 而条件方差 var(Y|X) 与 X 无关,说明不确定性是恒定的(同方差性)。
Continuous Random Variables: Iris Example
8.3节使用离散化的鸢尾花数据, 本节使用连续的鸢尾花数据, 展示条件概率密度函数 fX₂|X₁(x₂|x₁)、 回归曲线(条件期望)、以及带宽(条件标准差)。
回归曲线 = 条件期望
条件期望曲线(黑色实线)就是回归曲线。 给定输入 X₁=x₁,条件期望 E(X₂|X₁=x₁) 就是对 X₂ 的最佳预测。 带宽表示预测的置信区间—— 带宽越窄,说明在该条件下数据越集中,预测越可靠; 带宽越宽,说明数据越分散,预测不确定性越大。 这就是为什么回归分析中要关注残差和预测区间!
Revisiting Probability Space Partition
概率分布无非就是各种方式将样本空间概率值 1 进行"切片、切块"、"切丝、切条"。 本节从这个视角总结条件概率的核心内容。
概率空间的切片、切块、切丝、切条
fX₁,X₂,Y(x₁,x₂,C₁) → 看到等高线fX₁,X₂(x₁,x₂) → 看到曲面fX₁(x₁) → 看到曲线pY(C₁) → 看到数值 (1/3)