这一页在讲什么
概率是示性函数的期望:只要找到一个处处不小于这个示性函数的函数,比如 取期望就得到
一个矩(期望)就能压住一个事件的概率。
- 位置:第 5 部分「用矩控制概率」的开篇,是一页过渡。第 4 部分(第 23 页–第 27 页)的不等式都在估计期望;从本页起改为估计概率。
- 要解决的问题: 的分布常常不知道,但它的某个矩(知道或能估计。能不能只凭这些数,说「 很大」这件事的概率不会太大?
- 答案的核心:一句话的技巧——用函数压住示性函数,再取期望。下一页 第 29 页 把它写成一般的定理(广义 Markov 不等式),第 30 页–第 32 页 用它推出更多结论。
先补基础
若 对每个 成立,则 所以逐点比较可以变成期望的比较。本页的全部技巧就是把这一条用在 上。
课件原文逐句精读
The preceding inequalities bound expectations of transforms, products, and sums. How to bound ?
蓝条标题:一个矩估计可以控制一个事件。
前面的不等式给出了变换、乘积与和的期望的界。怎样给 一个界?
The preceding inequalities bound expectations of transforms, products, and sums|回顾第 4 部分
这一句把第 4 部分总结成三类,正好对应 第 3 页 目录里第 4 部分的标题:
关键词是 expectations(期望):三个不等式的两边都是期望或范数,没有一个是概率。
How to bound ℙ(|W| ≥ t)?|新问题
- bound:给出上界,即证明「 某个可算的数」。
- 是任意随机变量,用新字母是为了强调它可以是前面任何一个量:
- 问题的难处:概率 依赖 的分布在 以外的细节,而我们手上通常只有一两个平均量。
A moment estimate can control an event|标题就是答案
- moment estimate:对矩( 等)的一个估计,例如由 Minkowski 得到的
- control an event:给事件的概率一个上界。
- 合起来:把第 4 部分得到的矩估计,翻译成事件概率的估计。翻译的工具就是下面的「压住示性函数」。
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
设 是事件, 是非负随机变量,并且
则
(定义 2),而 由期望的单调性,证毕。
要点是怎么选 : 要满足两个要求——
- 在 上至少是 1(在 外至少是 0),才能压住
- 期望能算或能估计,才能得到有用的数。
最基本的选法:|W| / t
取 (检查要求 1,分两种情况:
- 所以
- 因为
所以逐点有
由核心技巧,
这就是 Markov 不等式的最简单形式。下一页的命题 27 会把 换成一般的
其他选法预告
同样的检查方法(在 上 处处 给出:
- ( 时就是 Chebyshev 不等式。
- (在 上 处处 所以 (Chernoff 界)。
这三种都是 第 29 页 的特例,详细的推导和例子在那一页。
为什么说「一个矩能控制所有的门槛 t」
只是一个数,但 对每一个 都成立,于是一个数就给出了整条尾函数 的一个上界曲线 代价是这条曲线只以 的速度下降;用更高的矩 可以换来 的速度。这正是标题里「矩 → 事件」的含义,也和 第 21 页 的矩–尾恒等式呼应:矩和尾巴互相控制。
图解
课件这里没有图,可以在纸上画(横轴是
- 台阶: 时高度 0, 时高度 1,在 处跳上去。
- 直线:过原点 和点
- 在 上,直线在 0 上方;在 上,直线在 1 上方。所以直线处处压在台阶上面,两者在 和 处接触。
- 把横轴上的每个 按 的分布加权平均:台阶的平均是 直线的平均是 上面的线平均起来也在上面。
- 也可以画抛物线 它同样过 和 在 上比直线更低(压得更紧),但在 上更高。哪一个给出的界更好,取决于 的质量主要在 的左边还是右边。
压得越紧( 与台阶之间的空隙越小,并且空隙落在概率小的地方),得到的界越好。
例子
等可能,
- 真实 界
- 真实 界
- 界 没有信息(任何概率都不超过 1)。门槛不超过均值时,Markov 界永远没用。
固定 令 以概率 取 以概率 取 0。则
等号成立。原因: 的取值只在 0 和 正好是直线与台阶接触的两个点,空隙处没有任何质量。所以「只知道 时, 已经是最好的界。
常见疑问与易错点
答: 时 没有定义;而 时 概率是 1,不需要估计。另外, 很小(不超过 时界大于等于 1,等于什么也没说(例 2)。
答:几乎必然就够了(期望看不见零概率集,第 5 页 性质 5),但不能只在 上成立。例如 (不取绝对值)在 上 但在 处是负数, 就不成立了。这时要么用 要么像下一页那样假设
答:因为它们几乎不需要信息:不需要知道分布、不需要独立性,只需要一个矩。在理论证明中(例如以后的大数定律),我们关心的往往不是界的精确数值,而是「当 时概率趋于 0」,粗糙但普适的界正好够用。例 3 也说明:只知道均值时,这个界已经不能再改进。
小结与自测
- 第 4 部分估计期望(变换、乘积、和);第 5 部分估计概率。桥梁是
- 核心技巧:若 (逐点成立,则
- 最基本的选法 给出 (Markov);换成 得到 Chebyshev、Chernoff 型的界。
- 界只用一个矩,一般很粗,但在两点分布上取到等号,不能再改进。
1. 已知某个非负随机变量(等待时间,单位:分钟)的均值是 2。等待至少 10 分钟的概率最多是多少?
点开看答案
由 不知道分布时,这是能保证的最好上界(例 3 的两点分布:以概率 0.2 等 10 分钟、以概率 0.8 不用等,均值恰为 2,等号成立)。
2. 检查 (是否满足「处处 并写出得到的界。
点开看答案
满足。 时 ( 在 上递增); 时 所以
3. 判断:「若 则对每个
点开看答案
对。由 而概率非负,所以等于 0。进一步, 是可数个零概率事件的并,所以 a.s.——这正是 第 5 页 自测第 2 题的另一种证法。
| 中文 | English | 白话解释 |
|---|---|---|
| 示性函数 | indicator function | 𝟏_A(x) 在 x ∈ A 时取 1,否则取 0;它的积分就是 A 的测度。 |
| 期望 | expectation | 随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。 |
| 函数 | function / map | f: A → B 给 A 中每个元素指定 B 中唯一一个元素。 |
| 事件 | event | 样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。 |
| 分布 | law / distribution | X 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。 |
| Markov 不等式 | Markov's inequality | X ≥ 0 时 P(X ≥ t) ≤ E X / t:期望小,取大值的概率就小。 |
| 随机变量 | random variable | 从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。 |
| 尾概率 | tail probability | 随机变量取到「很大的值」的概率,例如 P(X > t) 或 P(|X| ≥ t)。它随 t 增大而下降得越慢,分布的尾巴就越「厚」。 |
| 上界 | upper bound | 数集 A 的上界是一个数 M,A 里每个数都 ≤ M。例如 2 和 5 都是 [0,1] 的上界;所有上界中最小的那个叫上确界。 |
| Chebyshev 不等式 | Chebyshev's inequality | P(|X − μ| ≥ t) ≤ σ² / t²:方差控制偏离均值的概率。 |
| 指数分布 | exponential distribution | P(X > x) = e^(−λx)(x ≥ 0)的分布,均值 1/λ,常用来描述等待时间。 |
| 阶矩 | moment | E[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。 |
| 几乎必然收敛 | almost sure convergence | 除了概率为 0 的结局以外,Xₙ(ω) 都收敛到 X(ω)。 |
| 独立 | independence | 任意有限个事件同时发生的概率等于各自概率的乘积。 |
| 可数 | countable | 元素能排成第 1 个、第 2 个、第 3 个……的一列(有限也算),例如自然数、有理数。 |