高等概率论逐页精讲

第 2 讲 随机变量、期望与不等式›第 5 部分 用矩控制概率

PDF 第 29 / 32 页幻灯片 29/33定理

广义 Markov 不等式:用一个期望控制一个尾概率

Generalized Markov inequality

课件原页 · 点击放大 · ← → 键翻页

这一页在讲什么

人话版一句话版

一个非负随机变量「取到很大值」的概率,不会超过它的(某个变换后的)期望除以那个大值:只要 单调不减就行。换不同的 就得到 Markov、Chebyshev、Chernoff 等一系列著名不等式。

  • 位置:第 5 部分「用矩控制概率」的第一个结论。上一页(第 28 页)提出问题:前面的不等式(Jensen、Hölder、Minkowski)控制的都是期望,怎么控制事件的概率 这一页给出统一的答案。
  • 核心技巧只有一行:两边取期望。
  • 后面怎么用:第 30 页 用它的思想说明「有限矩 ⇒ 尾巴衰减」;第 32 页 用它(配合一个平移参数)证明 Cantelli 不等式;第 3 讲到处用它把「期望小」变成「概率小」(例如 第 10 页)。

先补基础

基础补课示性函数的期望就是概率

只取 0 和 1,取 1 的概率是 所以「控制概率」可以转化为「控制一个示性函数的期望」,而期望可以用不等式比较大小(第 5 页 的单调性: ⇒

基础补课单调不减的函数

单调不减:常用的例子:((

基础补课方差(回顾)

衡量 围绕均值的波动; 叫标准差。

课件原文逐句精读

课件原文Generalized Markov inequality

Proposition 27 (Generalized Markov inequality) Let , let be nondecreasing, and let satisfy . Then(留白)

中文翻译

命题 27(广义 Markov 不等式) 设 单调不减, 满足 则(课件留白,见下一节。)

逐个条件:

  • :非负随机变量。要控制一般随机变量 就取 或
  • 非负、单调不减:「 大, 也大」,这是证明的关键。
  • :结论里要除以 不能是 0。

补全课件留白

补充说明

课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。

命题 27(广义 Markov 不等式)

在上述条件下,

推导证明思路

在事件 上,在事件外,左边是 0。所以 处处成立,取期望即可。

第 1 步(逐点不等式):任取

  • 若 单调不减,
  • 若 左边 (

所以

第 2 步(取期望):两边都是非负随机变量,期望保持不等号(第 5 页),左边是常数乘示性函数:

第 3 步(除以 :得到结论。

( 时结论是平凡的「仍然成立。)

四个最常用的特例

名字 取法 不等式
Markov 不等式
阶矩版本
Chebyshev 不等式
指数型(Chernoff) 型;等价地对实值 用

最后一行的说明:对实值 (指数函数严格递增),对非负随机变量 用 Markov 即可。 可以自由选,选得好界就紧。

人话版为什么叫「用一个期望控制一个事件」

是 的「平均水平」。如果 经常 那么 就经常 平均水平至少是 反过来,平均水平不高,「经常很大」就不可能。 增长得越快(例如指数),大值对平均的贡献越突出,界就越紧——前提是 有限。

图解

图解:Markov 不等式就是「曲线下面积 ≥ 一个矩形」

回忆 第 12 页:非负随机变量的期望等于尾概率曲线下的面积,

画出函数 它从 处的值(不超过 1)开始单调下降。

  • 在 这一段,曲线的高度至少是 (因为 时
  • 所以曲线下面积至少包含一个宽为 高为 的矩形:

这正是 Markov 不等式。图上一目了然:矩形之外还有大块面积被「浪费」了,所以 Markov 往往很松;只有当曲线在 上恰好是平的、在 处直接掉到 0( 只取 0 和 时,矩形才和面积一样大,等号成立。

例子

例 1:Markov——平均工资推出「高收入」的比例上限

某公司员工收入 平均月收入 1 万元。那么月收入至少 5 万元的员工比例不超过 注意:这个界只用了「非负 + 平均值」,没有用任何分布信息,所以往往很松。

例 2:同一个尾概率,几种界的松紧对比

(估计

方法 计算 上界
精确值
Markov
二阶矩
Chebyshev
Chernoff(最优 取 得

最优 的求法:令 求导令其为 0:得 代回得 时为

规律:用的矩越「高」( 增长越快),界越紧;指数型最紧,但需要

例 3:Chebyshev 的经典用法——「几个标准差之外」

任何方差有限的 偏离均值超过 个标准差的概率不超过 取 例如偏离 3 个标准差以上的概率 ——对任何分布都成立(对正态分布,实际只有约 0.27%)。

例 4:样本均值为什么会靠近真实均值——弱大数定律的雏形

设 独立同分布,均值 方差 样本均值

  1. 均值:(期望是线性的)。
  2. 方差:独立随机变量的方差可以相加(第 3 讲 第 37 页 会推导),所以
  3. Chebyshev:对任意

也就是说:样本越多,样本均值偏离真实均值超过任意给定精度的概率越小。这就是「弱大数定律」,它只用了这一页的 Chebyshev 不等式。数值感受:抛公平硬币 次(正面比例偏离 超过 的概率不超过

常见疑问与易错点

易错点问:Markov 和 Chebyshev 是两个不同的不等式吗?

答:本质上是同一个。Chebyshev 就是把 Markov 用在非负随机变量 上:广义 Markov 把这类技巧统一成一句话:选一个单调不减的 把事件 换成

易错点问:为什么要求 X ≥ 0?

答:Markov 用到 这需要 在 上非负。若 可以是负的,例如 各一半,Markov 会给出 显然错误(实际是 处理一般随机变量时,先取绝对值或平方。

易错点问:ψ 不单调可以吗?

答:不行。证明第 1 步要用「例如 (不单调,在 后反而变小),取 但 不等式不成立。

易错点问:这些不等式什么时候「紧」?

答:Markov 在 只取 0 和 两个值时取等号:所以在只知道均值的前提下,Markov 不能再改进;要更紧的界,就要用更多信息(更高的矩、指数矩)。

小结与自测

小结本页小结
  • 广义 Markov: 非负单调不减, ⇒
  • 证明一行:取期望。
  • 特例:Markov( 阶矩(Chebyshev(Chernoff(
  • 用的信息越多(矩越高),界越紧;Markov 只用均值,在这个前提下已经最好。
自测

1. 用 Markov 和二阶矩版本分别估计 哪个更好?

点开看答案

Markov:二阶矩:二阶矩的界更好。

2. 若 用 Chebyshev 估计

点开看答案

3. 用指数型不等式证明:若 则 (已知

点开看答案

对 求最小:指数 在 处最小,值为 所以

本页术语中英对照(按出现顺序)
中文English白话解释
随机变量random variable从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。
期望expectation随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。
单调递增nondecreasing后一项不小于前一项;单调有界的数列一定有极限。
事件event样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。
示性函数indicator function𝟏_A(x) 在 x ∈ A 时取 1,否则取 0;它的积分就是 A 的测度。
Markov 不等式Markov's inequalityX ≥ 0 时 P(X ≥ t) ≤ E X / t:期望小,取大值的概率就小。
函数function / mapf: A → B 给 A 中每个元素指定 B 中唯一一个元素。
阶矩momentE[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。
Chebyshev 不等式Chebyshev's inequalityP(|X − μ| ≥ t) ≤ σ² / t²:方差控制偏离均值的概率。
尾概率tail probability随机变量取到「很大的值」的概率,例如 P(X > t) 或 P(|X| ≥ t)。它随 t 增大而下降得越慢,分布的尾巴就越「厚」。
分布law / distributionX 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。
上界upper bound数集 A 的上界是一个数 M,A 里每个数都 ≤ M。例如 2 和 5 都是 [0,1] 的上界;所有上界中最小的那个叫上确界。
方差varianceVar X = E[(X − E X)²],衡量随机变量围绕均值的波动大小。
独立同分布independent and identically distributed (i.i.d.)一列随机变量相互独立,并且分布都相同,例如反复独立地掷同一颗骰子。
独立independence任意有限个事件同时发生的概率等于各自概率的乘积。
弱大数定律weak law of large numbers (WLLN)样本均值依概率收敛到真实均值:对每个 ε > 0,P(|Sₙ/n − μ| > ε) → 0。方差有限时可由 Chebyshev 不等式直接推出。