跳到主内容
数理基础概率基础(Probability Foundations) · 概率第1–8讲7/8模块导览 →
讲义

概率第7讲:期望的性质 | Properties of Expectation

从期望定义出发,推导函数期望的有界性、线性性与单调性,并说明样本均值期望的计算依据。

完成状态保存在当前浏览器,可随时取消。

一、知识回顾 (Recap)#

1. 期望的定义#

  • 离散型随机变量 (Discrete Random Variable):

    E(X)=xxp(x)=xxP(X=x)E(X) = \sum_{x} x \cdot p(x) = \sum_{x} x \cdot P(X = x)

  • 连续型随机变量 (Continuous Random Variable):

    E(X)=xf(x)dxE(X) = \int_{-\infty}^{\infty} x \cdot f(x) \, dx

  • 非负整数值随机变量 (Non-negative Integer-valued R.V.):

    E(Y)=i=1P(Yi)E(Y) = \sum_{i=1}^{\infty} P(Y \geq i)

  • 非负随机变量 (Non-negative R.V.):

    E(Y)=0P(Y>y)dyE(Y) = \int_{0}^{\infty} P(Y > y) \, dy


二、期望的基本性质#

1. 函数的期望#

对于联合分布函数为 p(x,y)p(x,y)f(x,y)f(x,y) 的随机变量 XXYY,任意函数 g(X,Y)g(X,Y) 的期望:

  • 离散情况:
E[g(X,Y)]=yxg(x,y)p(x,y)E[g(X,Y)] = \sum_{y} \sum_{x} g(x,y) \cdot p(x,y)
  • 连续情况:
E[g(X,Y)]=g(x,y)f(x,y)dxdyE[g(X,Y)] = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} g(x,y) \cdot f(x,y) \, dx \, dy

2. 有界性 (Boundedness, N2)#

若随机变量 XX 满足 aXba \leq X \leq b 几乎必然成立,则:

aE(X)ba \leq E(X) \leq b

例子

XX 表示骰子的点数,取值范围为 {1,2,3,4,5,6}\{1,2,3,4,5,6\},则:

1E(X)=3.561 \leq E(X) = 3.5 \leq 6


3. 线性性 (Linearity, N3)#

E(X)E(X)E(Y)E(Y) 存在且有限,则:

E(X+Y)=E(X)+E(Y)E(X + Y) = E(X) + E(Y)

证明

利用联合概率密度函数:

E(X+Y)=(x+y)f(x,y)dxdy=xfX(x)dx+yfY(y)dy=E(X)+E(Y)\begin{aligned} E(X + Y) &= \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} (x + y) f(x,y) \, dx \, dy \\ &= \int_{-\infty}^{\infty} x \cdot f_X(x) \, dx + \int_{-\infty}^{\infty} y \cdot f_Y(y) \, dy \\ &= E(X) + E(Y) \end{aligned}

学习建议:尝试用离散情况自行推导(例如 X,YX,Y 为两个骰子的点数)。


4. 单调性 (Monotonicity, N4)#

若随机变量满足 XYX \geq Y 几乎必然成立,则:

E(X)E(Y)E(X) \geq E(Y)

5. 样本均值的期望 (Sample Mean, N5)#

X1,X2,,XnX_1, X_2, \dots, X_n 是独立同分布 (i.i.d.) 的随机变量,分布函数为 F(x)F(x),且 E(Xi)=μE(X_i) = \mu。定义样本均值为:

Xˉ=1ni=1nXi\bar{X} = \frac{1}{n} \sum_{i=1}^{n} X_i

则有:

E(Xˉ)=μE(\bar{X}) = \mu

证明

利用期望的线性性:

E(Xˉ)=1ni=1nE(Xi)=1nnμ=μE(\bar{X}) = \frac{1}{n} \sum_{i=1}^{n} E(X_i) = \frac{1}{n} \cdot n\mu = \mu

例子

抛掷 nn 次公平硬币,定义 XiX_i 为第 ii 次正面朝上的指示变量(1表示正面,0反面)。则样本均值 Xˉ\bar{X} 的期望为:

E(Xˉ)=1ni=1nE(Xi)=1nn12=0.5E(\bar{X}) = \frac{1}{n} \sum_{i=1}^{n} E(X_i) = \frac{1}{n} \cdot n \cdot \frac{1}{2} = 0.5


三、关键总结#

  1. 线性性是期望最重要的性质,允许"分拆"计算复杂表达式的期望。

  2. 样本均值的期望等于总体均值,这一性质是统计推断的基础。

  3. 实际应用中,注意验证期望存在的条件(例如积分/求和收敛)。

学习建议

  • 通过具体例子(如骰子、扑克牌抽取)加深对性质的理解

  • 尝试将性质 N2-N5 推广到多个随机变量的情况