这一页在讲什么
指数分布 的 CDF 是 (它的分位数函数是
所以 就服从 它的均值可以从 CDF 算(也可以从分位数算(都得到
- 位置:第 2 部分「分位数三页」的第 2 页。上一页 第 14 页 证明了一般的逆变换法;本页把它用在最常见的连续分布上,课件小标题 Inverse transform and expectation(逆变换与期望)说明本页要做两件事:造出指数变量,算出它的期望。
- 与前后页的关系:第 12 页的定理 11 给出「用尾部面积算均值」,本页是它的第一个连续型应用;下一页 第 16 页 换成 Pareto 分布,那里的分位数在 时爆炸得更快,矩就不一定有限了。
先补基础
- 是自然常数。(也写 对所有实数 有定义,取值恒为正,并且严格递增。 时
- 自然对数 是 的反函数: 是「 的多少次方等于 只对 有定义。 时
- 因为两者都严格递增,两边同取 或同取 不等号方向不变:(
- 求导:
- 有的书把 写成 在概率论里两者通常指同一个自然对数。
- (的意思是:并且 对所有 成立。等价地,CDF 是 ((
- 它常用来描述「等待时间」:例如顾客到达的间隔、零件的寿命。 叫速率(rate):单位时间内事件发生的平均次数。 越大,等待越短。
- 它有密度 (因为 不过本页的计算不需要密度。
对满足三条性质的 关键等价 若 则 的 CDF 是 另外,期望存在时
课件原文逐句精读
Example 14 (Inverse transform and expectation) For , consider ,
蓝条标题:一个均匀随机变量生成了指数分布。
例 14(逆变换与期望) 对 考虑 (后面的计算课件留白,见下一节。)
① A uniform variable generates an exponential law|标题
generates(生成):手上只有一个 上的均匀随机数 经过一个确定的函数变换,就得到一个服从指数分布的随机变量。电脑里的随机数生成器只能直接产生均匀数,指数分布的随机数就是这样「变」出来的。
② For λ > 0, consider X ∼ exp(λ)|设定
- 必须是正数: 时 不会趋于 0, 的极限不是 1,不是 CDF。
- 「consider 后面留白,要补的是: 的 CDF、分位数函数、怎样由 生成,以及
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
设
- CDF:((
- 分位数:
- 逆变换:若 则 因为 与 同分布, 也成立。
- 期望:用尾部面积(定理 11)和分位数积分两种方法都能得到。
分位数:按定义解不等式 求出集合 的左端点。逆变换:直接套第 14 页的定理,并顺手直接验证一遍尾概率。期望:方法一对尾函数 积分;方法二对分位数函数积分,被积函数在 时无界,先截断再用单调收敛定理。
第 1 步: 是 CDF。 时为 0; 时 递减,所以 递增,并且在 处等于 与左边接得上,处处连续(从而右连续); 时
第 2 步:求分位数。 固定
- 时 不满足
- 时,第二个等价号:两边同取 不等号方向不变。第三个等价号:两边同除以 不等号反向。
因为 所以 满足条件的 自动是正数。于是
这里 在 上连续严格递增,所以 就是普通反函数:直接解 也得到同一个答案。
第 3 步:逆变换,再直接验证一次。 由第 14 页的定理, 的 CDF 就是 也可以不引用定理,直接算尾概率:对
最后一步: 时 总成立。尾概率与 一致。
第 4 步:方法一——尾部面积。 由第 12 页定理 11 第 3 条,
在 上原函数是 积分 令 (单调收敛定理,MCT)得
第 5 步:方法二——分位数积分。 在标准舞台 上, 与 同分布,期望相同:
被积函数非负,但在 时趋于 先截到 那里它连续有界,可以用微积分:
- 原函数:令 由乘积法则和链式法则,所以
- 截断积分:
- 取极限:(对数增长比线性慢),所以积分 被积函数乘 后随 递增,由 MCT 这个极限就是
于是 与方法一一致。
第三种方法:用密度
图解
课件这里没有图,可以画两张图对照(取
- 左图:CDF 横轴 纵轴 曲线从原点出发,开始很陡(斜率 1),越往右越平,无限贴近高度 1 但永远碰不到。
- 右图:分位数 横轴 纵轴 曲线从 出发,开始平缓,靠近 时急剧上升,冲向无穷。
- 关系:把左图沿对角线 翻折(交换横纵轴),就得到右图。这就是「反函数」的几何意义。
- 读几个点: 时 (中位数); 时 时 每向 1 靠近「一个数量级」, 只增加 ——这种对数速度的增长很慢,所以 有限。下一页的 Pareto 分位数按幂函数速度增长,情况就不同了。
- 右图下方的面积是 左图中 上方、高度 1 以下的面积也是 这两块其实是同一块区域,只是换了看的方向。
选「指数分布 exp(1)」。把 从 0.5 拖到 0.9、0.99,落点 依次约为 0.69、2.30、4.61: 越靠近 1,落点越远,但增长得很慢。
例子
某服务台平均每分钟来 位顾客,相邻两位顾客的到达间隔服从 (单位:分钟)。电脑产生了三个均匀随机数 对应的等待时间是
平均间隔是 分钟,中位数是 分钟。中位数比均值小:大部分间隔很短,少数很长的间隔把均值拉高了。
的 CDF 在 上是 连续严格递增。解 得 所以 期望:正是区间中点。
令 (向上取整:不小于 的最小整数,例如 对
这是「成功概率为 的几何分布」:第 次才第一次成功。 的概率为 0,不影响结论。所以 就能模拟几何分布——逆变换生成连续分布,再取整就得到离散分布。
指数分布最著名的性质是「无记忆」:已经等了 分钟,再多等 分钟以上的概率,与从头开始等 分钟以上的概率相同。用尾概率验证:对 事件 所以
用逆变换的语言看: 超过 等价于 在这个条件下, 仍在 上均匀,于是 又是一个 变量。对比例 2 的均匀分布 而 不是无记忆的。
常见疑问与易错点
答:这是参数化的不同。本课件的 用速率 尾概率 均值 所以 的均值是 有些教材和软件用尺度(scale)尾概率 均值 读题、调用软件时先看清它用哪一种。判断方法很简单:看它的 CDF 写成 还是
答:不是。期望不能「穿过」非线性函数: 是中位数,而均值是 差别来自 在 时急剧上升( 是凸函数),大的 把平均值拉高。第 24 页的 Jensen 不等式会把这件事说清楚: 凸时
答:勒贝格积分允许非负函数无界,积分可能有限也可能是 算法是「截断 + 单调收敛定理」(第 5 步)。这里截断积分 有极限 1,所以积分有限。被积函数无界不等于积分无穷:在 附近 虽然趋于无穷,但「冲高」的那一段非常窄。
小结与自测
- (由解不等式 得到。
- 逆变换:等价地 直接验证
- 期望 尾部面积 或分位数积分 (截断 + MCT),两法一致。
- 分位数按对数速度增长,所以积分有限;中位数 小于均值
| 中文 | English | 白话解释 |
|---|---|---|
| 指数分布 | exponential distribution | P(X > x) = e^(−λx)(x ≥ 0)的分布,均值 1/λ,常用来描述等待时间。 |
| 累积分布函数 | cumulative distribution function (CDF) | F(x) = P(X ≤ x),单调不减、右连续,完全决定分布。 |
| 分位数 | quantile | Q(u) = inf{x : F(x) ≥ u},是 CDF 的「广义反函数」。 |
| 函数 | function / map | f: A → B 给 A 中每个元素指定 B 中唯一一个元素。 |
| 逆变换法 | inverse transform method | U 服从 (0,1) 上的均匀分布时,Q(U) 的分布函数恰好是 F,用来生成任意分布。 |
| 分布 | law / distribution | X 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。 |
| 期望 | expectation | 随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。 |
| 反函数 | inverse function | f 把不同的输入送到不同的输出时,反函数 f⁻¹ 把输出送回原来的输入:f⁻¹(f(x)) = x。例:ln 是 eˣ 的反函数。注意:集合的原像 f⁻¹(D) 不需要反函数存在。 |
| 事件 | event | 样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。 |
| 随机变量 | random variable | 从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。 |
| 集合 | set | 把一些对象放在一起当成一个整体,例如 {1,2,3}。 |
| 尾概率 | tail probability | 随机变量取到「很大的值」的概率,例如 P(X > t) 或 P(|X| ≥ t)。它随 t 增大而下降得越慢,分布的尾巴就越「厚」。 |
| 单调收敛定理 | monotone convergence theorem (MCT) | 非负可测函数单调递增地收敛时,积分也收敛:∫fₙ ↑ ∫f。 |
| 分部积分 | integration by parts | ∫ₐᵇ u v′ dx = [u v]ₐᵇ − ∫ₐᵇ u′ v dx:把求导从一个函数挪到另一个函数上。由乘积求导法则 (uv)′ = u′v + uv′ 两边积分得到。 |
| 区间 | interval | 数轴上的一段,[a,b] 包含端点,(a,b) 不包含端点。 |
| 凸函数 | convex function | 图像上任意两点连线都在图像上方的函数,例如 x²、eˣ。 |
| Jensen 不等式 | Jensen's inequality | φ 凸时 φ(E X) ≤ E φ(X),例如 (E X)² ≤ E X²。 |
| 勒贝格积分 | Lebesgue integral | 按函数值分块的积分:先定义简单函数的积分,再用下方的简单函数逼近取上确界。 |