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

概率第8讲:极限定理 | Limit Theorems

推导马尔可夫不等式和切比雪夫不等式,比较两种概率上界的条件,并证明方差为零时的退化性质。

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

马尔可夫不等式 | Markov's Inequality#

定理陈述#

对于任意非负随机变量(non-negative random variable)X 和任意 a > 0,有:

P(Xa)E[X]aP(X \geq a) \leq \frac{E[X]}{a}

证明推导#

  1. 定义指示函数(indicator function)I={1if Xa0otherwiseI = \begin{cases} 1 & \text{if } X \geq a \\ 0 & \text{otherwise} \end{cases}

  2. 显然有 IXaI \leq \frac{X}{a}(当 XaX \geq a 时,左边为1,右边 ≥1;当 X < a 时,左边为0,右边 ≥0)

  3. 取期望:E[I]E[Xa]E[I] \leq E\left[\frac{X}{a}\right]

  4. 左边 E[I]=P(Xa)E[I] = P(X \geq a),右边 E[Xa]=E[X]aE\left[\frac{X}{a}\right] = \frac{E[X]}{a}

  5. 综上:P(Xa)E[X]aP(X \geq a) \leq \frac{E[X]}{a}

示例与应用#

例子:假设某设备寿命 X(小时)满足 E[X] = 100,用马尔可夫不等式估计 P(X500)P(X \geq 500) 的上界。

P(X500)100500=0.2P(X \geq 500) \leq \frac{100}{500} = 0.2

学习建议

  • 马尔可夫不等式适用于所有非负随机变量,但不一定给出紧的上界。

  • 练习:若 X 服从指数分布 Exp(λ)Exp(\lambda),计算真实概率并与马尔可夫不等式的估计比较。


切比雪夫不等式 | Chebyshev's Inequality#

定理陈述#

若随机变量 X 的期望为 μ\mu,方差为 σ2\sigma^2(finite mean and variance),则对任意 k > 0:

P(Xμk)σ2k2P(|X - \mu| \geq k) \leq \frac{\sigma^2}{k^2}

证明推导#

  1. 对随机变量 (Xμ)2(X - \mu)^2 应用马尔可夫不等式:
P((Xμ)2k2)E[(Xμ)2]k2P\left((X - \mu)^2 \geq k^2\right) \leq \frac{E[(X - \mu)^2]}{k^2}
  1. 注意到 (Xμ)2k2    Xμk(X - \mu)^2 \geq k^2 \iff |X - \mu| \geq k,且 E[(Xμ)2]=σ2E[(X - \mu)^2] = \sigma^2

  2. 代入得:P(Xμk)σ2k2P(|X - \mu| \geq k) \leq \frac{\sigma^2}{k^2}

示例与应用#

例子:假设考试成绩 X 的均值为 70 分,标准差为 10 分,估计分数偏离均值超过 20 分的概率上界。

P(X7020)102202=0.25P(|X - 70| \geq 20) \leq \frac{10^2}{20^2} = 0.25

学习建议

  • 切比雪夫不等式需要方差存在,适用于更广泛的分布。

  • 练习:假设 XUniform(0,1)X \sim Uniform(0,1),计算 P(X0.50.3)P(|X - 0.5| \geq 0.3) 的真实概率并与不等式结果对比。


重要推论 | Key Corollaries#

方差为零的性质#

推论:若 Var(X) = 0,则 X 几乎必然等于其期望,即 P(X=E[X])=1P(X = E[X]) = 1

证明#

  1. μ=E[X]\mu = E[X],对任意正整数 n,应用切比雪夫不等式:
P(Xμ>1n)Var(X)(1n)2=0P\left(|X - \mu| > \frac{1}{n}\right) \leq \frac{Var(X)}{\left(\frac{1}{n}\right)^2} = 0
  1. 由概率的可列可加性:
P(Xμ)=P(n=1Xμ>1n)n=10=0P(X \neq \mu) = P\left(\bigcup_{n=1}^\infty |X - \mu| > \frac{1}{n}\right) \leq \sum_{n=1}^\infty 0 = 0
  1. 因此 P(X=μ)=1P(X = \mu) = 1

学习建议

  • 这一性质表明方差为零的随机变量退化为常数。

  • 思考:如何用此推论证明样本均值的相合性?