MathLabs
定理已证明

二项随机变量的期望

命题陈述

如果 XX 服从试验次数为 nn、成功概率为 pp 的二项分布,那么 E[X]=npE[X] = np。

为什么成立?

二项计数只是许多个小的“是/否”试验之和,而和的期望永远等于期望之和——无论这些试验之间如何关联——所以只需求出单次试验的平均贡献即可。

证明思路

记 X=X1+X2+⋯+XnX = X_1 + X_2 + \cdots + X_n,其中 XiX_i 在第 ii 次试验成功时为 11,否则为 00。每个 XiX_i 都是伯努利随机变量,满足 P(Xi=1)=pP(X_i=1)=p,P(Xi=0)=1−pP(X_i=0)=1-p,因此其期望为 E[Xi]=1⋅p+0⋅(1−p)=pE[X_i] = 1\cdot p + 0\cdot(1-p) = p。

无论各随机变量是否独立,期望对任意随机变量都具有线性性:E[X1+X2+⋯+Xn]=E[X1]+E[X2]+⋯+E[Xn]E[X_1+X_2+\cdots+X_n] = E[X_1]+E[X_2]+\cdots+E[X_n]。这一线性性直接来自期望作为加权和的定义,因为求和与加权求和总是可以重新排列的。

把线性性用于 X=X1+⋯+XnX = X_1+\cdots+X_n,得到 E[X]=E[X1]+⋯+E[Xn]=p+p+⋯+p⏟n times=npE[X] = E[X_1]+\cdots+E[X_n] = \underbrace{p+p+\cdots+p}_{n \text{ times}} = np,恰好就是所要证明的公式。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Charles M. Grinstead, J. Laurie Snell (1997). Introduction to Probability
  2. Sheldon Ross (2019). A First Course in Probability