这一页在讲什么
一个非负随机变量「取到很大值」的概率,不会超过它的(某个变换后的)期望除以那个大值:只要 单调不减就行。换不同的 就得到 Markov、Chebyshev、Chernoff 等一系列著名不等式。
- 位置:第 5 部分「用矩控制概率」的第一个结论。上一页(第 28 页)提出问题:前面的不等式(Jensen、Hölder、Minkowski)控制的都是期望,怎么控制事件的概率 这一页给出统一的答案。
- 核心技巧只有一行:两边取期望。
- 后面怎么用:第 30 页 用它的思想说明「有限矩 ⇒ 尾巴衰减」;第 32 页 用它(配合一个平移参数)证明 Cantelli 不等式;第 3 讲到处用它把「期望小」变成「概率小」(例如 第 10 页)。
先补基础
只取 0 和 1,取 1 的概率是 所以「控制概率」可以转化为「控制一个示性函数的期望」,而期望可以用不等式比较大小(第 5 页 的单调性: ⇒
单调不减:常用的例子:((
衡量 围绕均值的波动; 叫标准差。
课件原文逐句精读
Proposition 27 (Generalized Markov inequality) Let , let be nondecreasing, and let satisfy . Then(留白)
命题 27(广义 Markov 不等式) 设 单调不减, 满足 则(课件留白,见下一节。)
逐个条件:
- :非负随机变量。要控制一般随机变量 就取 或
- 非负、单调不减:「 大, 也大」,这是证明的关键。
- :结论里要除以 不能是 0。
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
在上述条件下,
在事件 上,在事件外,左边是 0。所以 处处成立,取期望即可。
第 1 步(逐点不等式):任取
- 若 单调不减,
- 若 左边 (
所以
第 2 步(取期望):两边都是非负随机变量,期望保持不等号(第 5 页),左边是常数乘示性函数:
第 3 步(除以 :得到结论。
( 时结论是平凡的「仍然成立。)
四个最常用的特例
| 名字 | 取法 | 不等式 |
|---|---|---|
| Markov 不等式 | ||
| 阶矩版本 | ||
| Chebyshev 不等式 | ||
| 指数型(Chernoff) | 型;等价地对实值 用 |
最后一行的说明:对实值 (指数函数严格递增),对非负随机变量 用 Markov 即可。 可以自由选,选得好界就紧。
是 的「平均水平」。如果 经常 那么 就经常 平均水平至少是 反过来,平均水平不高,「经常很大」就不可能。 增长得越快(例如指数),大值对平均的贡献越突出,界就越紧——前提是 有限。
图解
回忆 第 12 页:非负随机变量的期望等于尾概率曲线下的面积,
画出函数 它从 处的值(不超过 1)开始单调下降。
- 在 这一段,曲线的高度至少是 (因为 时
- 所以曲线下面积至少包含一个宽为 高为 的矩形:
这正是 Markov 不等式。图上一目了然:矩形之外还有大块面积被「浪费」了,所以 Markov 往往很松;只有当曲线在 上恰好是平的、在 处直接掉到 0( 只取 0 和 时,矩形才和面积一样大,等号成立。
例子
某公司员工收入 平均月收入 1 万元。那么月收入至少 5 万元的员工比例不超过 注意:这个界只用了「非负 + 平均值」,没有用任何分布信息,所以往往很松。
(估计
| 方法 | 计算 | 上界 |
|---|---|---|
| 精确值 | ||
| Markov | ||
| 二阶矩 | ||
| Chebyshev | ||
| Chernoff(最优 | 取 得 |
最优 的求法:令 求导令其为 0:得 代回得 时为
规律:用的矩越「高」( 增长越快),界越紧;指数型最紧,但需要
任何方差有限的 偏离均值超过 个标准差的概率不超过 取 例如偏离 3 个标准差以上的概率 ——对任何分布都成立(对正态分布,实际只有约 0.27%)。
设 独立同分布,均值 方差 样本均值
- 均值:(期望是线性的)。
- 方差:独立随机变量的方差可以相加(第 3 讲 第 37 页 会推导),所以
- Chebyshev:对任意
也就是说:样本越多,样本均值偏离真实均值超过任意给定精度的概率越小。这就是「弱大数定律」,它只用了这一页的 Chebyshev 不等式。数值感受:抛公平硬币 次(正面比例偏离 超过 的概率不超过
常见疑问与易错点
答:本质上是同一个。Chebyshev 就是把 Markov 用在非负随机变量 上:广义 Markov 把这类技巧统一成一句话:选一个单调不减的 把事件 换成
答: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 inequality | X ≥ 0 时 P(X ≥ t) ≤ E X / t:期望小,取大值的概率就小。 |
| 函数 | function / map | f: A → B 给 A 中每个元素指定 B 中唯一一个元素。 |
| 阶矩 | moment | E[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。 |
| Chebyshev 不等式 | Chebyshev's inequality | P(|X − μ| ≥ t) ≤ σ² / t²:方差控制偏离均值的概率。 |
| 尾概率 | tail probability | 随机变量取到「很大的值」的概率,例如 P(X > t) 或 P(|X| ≥ t)。它随 t 增大而下降得越慢,分布的尾巴就越「厚」。 |
| 分布 | law / distribution | X 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。 |
| 上界 | upper bound | 数集 A 的上界是一个数 M,A 里每个数都 ≤ M。例如 2 和 5 都是 [0,1] 的上界;所有上界中最小的那个叫上确界。 |
| 方差 | variance | Var 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 不等式直接推出。 |