定义(分布的加权平均,即重心): ① 离散型:设 X 取值 xk 的概率为 pk,若级数绝对收敛,即 ∑k∣xk∣pk<∞,则定义 E(X)=k∑xkpk; ② 连续型:设 X 的密度为 f(x),若 ∫−∞+∞∣x∣f(x)dx<∞,则定义 E(X)=∫−∞+∞xf(x)dx; ③ 若绝对收敛不成立,则称期望不存在(典型的例子是柯西分布)。从直观上看,把概率看作质量,E(X) 就是分布的质心所在的位置。
证明 / 推导为什么必须绝对收敛:条件收敛的级数经过重排可以收敛到任意指定的值(黎曼重排定理),而 X 的取值按什么次序枚举,本不应影响平均值,故必须用 ∑k∣xk∣pk<∞ 来保证求和与次序无关;连续型同理要求 ∫∣x∣fdx<∞。
线性性的推导(以二维离散型为例):设 (X,Y) 的联合分布律为 pij,则 E(aX+bY)=i∑j∑(axi+byj)pij=ai∑xi=pi⋅j∑pij+bj∑yj=p⋅ji∑pij=aE(X)+bE(Y). 全部推导只用到把联合分布对一个指标求和得到边缘分布,并没有用到独立性。■举例说明数三 2020·填空:设 X 的分布律为 P{X=k}=2k1(k=1,2,3,…),Y 表示 X 被 3 除所得的余数,求 E(Y)。 解:Y=Xmod3∈{0,1,2},先求 Y 的分布,再用离散型的定义E(Y)=∑kykP(Y=yk)。按 X 被 3 除所得的余数把取值分类,每一类都是公比为 81 的等比级数,而 ∑i≥0(81)i=1−1/81=78,于是 P(YP(YP(Y=0)=i≥0∑23i+31=81⋅78=71=1)=i≥0∑23i+11=21⋅78=74=2)=41⋅78=72. 代入定义(即以概率为权的加权平均),得 E(Y)=0⋅71+1⋅74+2⋅72=74+4=78. 容易出错的地方:Y=Xmod3 是 X 的函数,但求 E(Y) 时必须先把 X 的取值按 Y 的三个值归并,得到 Y 的分布,然后再按定义加权;漏项或等比级数求和出错是主要的失分原因。答案为 E(Y)=78。
2. 无意识统计学家公式(LOTUS)为什么成立:不必先求 g(X) 的分布★★ 必会
LOTUS 是指 E(g(X))=∑kg(xk)pk(连续型为 ∫g(x)f(x)dx),即用 g 直接对原分布加权,而不必先求出 Y=g(X) 的分布。它为什么成立呢?按定义,E(Y)=∑jyjP(Y=yj) 是按 Y 的值分组求和,而 LOTUS 是按 X 的值分组求和;二者只是把同一批乘积 g(xk)pk 按不同方式归类相加,结果自然相等。明白了这一点,就不会怀疑可否直接用 g 去加权。
常见的错误是把期望移到非线性函数的里面。正确的方向由 Jensen 不等式给出:若 g 是凸函数,则 E(g(X))≥g(E(X));若 g 是凹函数,则不等号反向。等号一般要求 g 在有关范围内是线性的,或者 X 退化为常数。由它可以统一说明 E(X2)≥[E(X)]2(两者之差就是方差)、E(1/X)≥1/E(X)(这里 X>0)、E(lnX)≤lnE(X) 等一系列结论,只须注意凸函数朝上、凹函数朝下即可,不必逐条记忆。