MathLabs
定理已证明

切比雪夫不等式

命题陈述

设 XX 是具有有限均值 μ=E[X]\mu = \mathbb{E}[X] 和有限方差 σ2=Var⁡(X)\sigma^2 = \operatorname{Var}(X) 的随机变量。对任意实数 ε>0\varepsilon > 0,有 P(∣X−μ∣≥ε)≤σ2ε2\mathbb{P}(|X - \mu| \ge \varepsilon) \le \frac{\sigma^2}{\varepsilon^2}。等价地,当 σ>0\sigma > 0 时,对任意 k>0k > 0,有 P(∣X−μ∣≥kσ)≤1k2\mathbb{P}(|X - \mu| \ge k\sigma) \le \frac{1}{k^2}。

为什么成立?

无论 XX 的分布多么不规则或偏斜,其方差 σ2\sigma^2 都对远离均值 μ\mu 的概率质量施加了硬性上限:至多有 1k2\frac{1}{k^2} 比例的结果能落在距离均值 kk 个或更多标准差之外。

证明思路

令 A={∣X−μ∣≥ε}A = \{|X - \mu| \ge \varepsilon\}。在事件 AA 上有 (X−μ)2≥ε2(X - \mu)^2 \ge \varepsilon^2,因此逐点不等式 (X−μ)2≥ε21A(X - \mu)^2 \ge \varepsilon^2 \mathbf{1}_A 在整个样本空间上成立。对两边取期望并利用单调性与线性性,得 σ2=E[(X−μ)2]≥E[ε21A]=ε2P(A)=ε2P(∣X−μ∣≥ε)\sigma^2 = \mathbb{E}[(X - \mu)^2] \ge \mathbb{E}[\varepsilon^2 \mathbf{1}_A] = \varepsilon^2 \mathbb{P}(A) = \varepsilon^2 \mathbb{P}(|X - \mu| \ge \varepsilon)。两边同除以 ε2>0\varepsilon^2 > 0 即得 P(∣X−μ∣≥ε)≤σ2ε2\mathbb{P}(|X - \mu| \ge \varepsilon) \le \frac{\sigma^2}{\varepsilon^2}。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Pafnuty Chebyshev (1867). Des valeurs moyennes
  2. William Feller (1968). An Introduction to Probability Theory and Its Applications, Vol. 1