这一页在讲什么
课件给出一个分段的 CDF:在 0 处跳一下(一半的概率集中在点 0),在 上均匀地爬坡(另一半概率摊在区间上)。这样的 既不是离散的,也没有密度,中学的两套公式都不能直接用。但用第 12 页的定理 11,只看 本身就能算出 再用「跳跃 + 区间积分」分开算,答案一致。
- 位置:第 2 部分「用 CDF 计算期望」的第 6 页,是第 9–12 页那串公式的第一个完整应用。
- 课件小标题 Calculate from the CDF without assuming a density(不假设密度,直接从 CDF 计算)点明了目的:前面辛苦推出的公式,正是为这种「既有跳跃又有连续部分」的分布准备的。
- 后面怎么用:下一页 第 14 页 的逆变换法、第 20 页的「三种质量」分解,都会回到这个例子。本页末尾的演示也用它。
先补基础
- 跳跃 = 原子:跳多高,那个点就有多少概率。概率为正的单点叫原子(atom)。
- 平台 = 没有概率: 在 上不变,则
- 斜坡 = 概率连续地摊开:若 在 上可导且 则 就是这一段的「概率密度」。
- 狄拉克测度(Dirac measure)把全部质量 1 放在点 上,(若 (若 常数随机变量 的分布就是
- 混合(mixture):两个概率测度 按权重 和 相加,仍是概率测度。可以把它想成「先抛一枚正面概率为 的硬币:正面就按 抽,反面就按 抽」。
- 混合的 CDF 也是相应的加权和:因为
课件原文逐句精读
Example 12 (Calculate from the CDF without assuming a density) Suppose the input is
蓝条标题:混合型 CDF 既贡献一个跳跃,也贡献一个区间上的积分。
例 12(不假设密度,直接从 CDF 计算) 设输入是上面这个 (后面的计算课件留白,见下一节。)
① Suppose the input is F|「输入」只有 CDF
- input(输入):把定理 11 想成一台机器,输入一个 CDF,输出均值。我们手上只有 不知道 定义在哪个 上,也不知道它是怎么来的。由第 8 页的定理 C, 已经决定了整个分布,所以这些信息就够了。
- 这个 分四段。逐段看:
- 不会取负值;
- 是一个平台;从 的 0 跳到 处的 是一个跳跃;
- 从 线性地爬到(接近)1,是一个斜坡,斜率
- 所有概率都已用完。
② Calculate from the CDF without assuming a density|为什么强调「不假设密度」
- 若 有密度 每个单点的概率都是 (单点的长度为 0)。可是这里 所以 没有密度,「用不上。
- 也不是离散的: 上的每个单点概率都是 0,概率是连续地摊开的,「也用不上。
- 定理 11 只要 不管有没有密度、是不是离散,所以能直接算。
③ contributes both a jump and an interval integral|标题:两种贡献
均值由两部分组成:点 0 处的跳跃贡献「 上的斜坡贡献一个区间积分。下面会看到,两部分加起来恰好等于定理 11 给出的「尾部面积」。
某份保险一年内出险的概率是 不出险时理赔额 出险时理赔额在 1 到 2(万元)之间,哪个数都同样可能。那么 的 CDF 正是课件的 在 时等于「不出险」的概率 在 时等于 现实中这类数据很常见:大量的 0 加上一段连续的正数(理赔额、降雨量、每天的消费额……),它们都是混合型分布,中学的「离散 / 连续」二分法装不下。平均理赔额 万元,也可以直观地理解为「一半的年份赔 0,另一半的年份平均赔 1.5」。
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
对课件给出的
- 是一个合法的 CDF。
- 分布的结构:对 有 没有其他原子。也就是
- 均值:用定理 11(尾部面积)和「跳跃 + 区间积分」两种方法得到同一个值。
- 二阶矩与方差(补充):
先逐段检查 合法,并用第 8 页命题 B 读出每个点、每段区间的概率。求均值时,方法一完全不看分布结构,直接对 分段积分;方法二先把分布拆成「原子 + 斜坡」,各算各的再相加。两条路独立,结果相同,互相验证。
第 1 步: 是 CDF。
- 单调不减:每段内部, 是常数, 递增;段与段的交界处
- 右连续:每段都写成「左闭右开」,交界点 都归属右边那一段,所以从右边靠近时 的值接得上;段内部是连续函数。
- 两端极限: 时为 0, 时为 1。
第 2 步:读出分布。 用
- 点 0:原子,质量 。
- 点 1:没有跳跃。注意 在 1 处的公式从 换成了 但 两段接得上。
- 点 2:也没有跳跃。
- 其他点: 在那里连续,没有原子。
- 平台
- 斜坡 对 ( 时用 这正是「质量 均匀摊在长度为 1 的区间上」,密度
- 总质量核对:
为什么分布就是 :这个混合的 CDF 是 其中 是 的 CDF( 时 0, 时 时 1)。逐段代入: 时 时 时 时 与课件的 完全相同。由第 8 页定理 C(CDF 决定分布),二者是同一个分布。
第 3 步:方法一——尾部面积(定理 11)。 时 所以 分段:
- 上 面积
- 上 面积
- 上 面积 0。
第 4 步:方法二——跳跃 + 区间积分。 按第 2 步的结构, 以概率 等于 0,以概率 落在 上(密度 把 分成 和 两块,期望可加:
这一步的依据:由 LOTUS(第 7 页定理 5),而 其中 对两个测度之和积分,等于分别积分再相加:对示性函数 这就是测度相加的定义,再按「简单函数 → 单调收敛定理」推广到非负可测函数,与第 7 页推论的四步论证相同。对 积分得 有密度 由第 7 页推论,对它积分得
两种方法都得 方法一完全没有用到「哪里有原子、哪里有密度」,这就是课件小标题 without assuming a density 的意思。
第 5 步(补充):二阶矩,三种方法。
方差
图解
课件只印了公式,没有图。可以这样画
- 横轴标出 纵轴标出 和
- 沿横轴画一条线,高度 0;在 处画一个空心点
- 处竖直跳到 画一个实心点 (右连续:跳跃高度 就是原子
- 高度 的平台,表示 里没有概率。
- 从 到 的一条斜线,斜率 表示这一段每单位长度摊着 的概率。在 处平台和斜线接得上,不跳。
- 高度 1 的水平线。
按第 12 页的方式涂色: 上方、 下方、 的区域由两块组成—— 上一个 的长方形(面积 上一个三角形(顶点 面积 合计 就是均值。不必算积分,数格子就够了。
选「混合型」。把 从 0.01 拖到 0.5,落点始终是 0(跳跃处的竖直缺口把它们都送到原子 0); 超过 0.5 后,落点直接越过平台 变成 在 上均匀移动。一半的 落到原子上,另一半摊在斜坡上,没有一个落在平台里,这正是第 2 步读出的结构。
演示里的落点公式是 ((这是下一页 第 14 页 要定义的「广义分位数」。用它还能第三次核对均值:
例子
的概率是 这时 否则 所以
结构: 上密度 1(质量 处跳 (原子)。
- 尾部面积:
- 跳跃 + 区间积分:
一致。与例 12 不同,这里原子在 而不在 0,它对均值有实实在在的贡献 。
以概率 等于 以概率 均匀分布在 (密度 CDF: 时 0; 时 时 时 1。
- 定理 11:右边一块 左边一块
- 跳跃 + 区间积分:
一致。左边一块面积 恰好是
常见疑问与易错点
答:不行,会漏掉原子。例 12 中 在 上是 其余地方(除了 三点)是 0, 碰巧对了,只因为原子在 0,贡献 换成例 1: 在 上,比正确答案 少了原子的贡献 检查方法: 应当等于 1;例 12 里它只有 说明还有一半质量不在密度里。
答:不一定。跳跃只看 是否大于 0,与公式写法无关。这里 (平台的值),( 在 1 处的值),所以不跳,看分段函数时,要在每个分段点算一下左右两边的值。
答:藏在平台的高度里。 上 而不是 1,正是因为点 0 已经吸收了一半的概率。原子让 整体抬高, 就整体降低,尾部面积相应变小。所以不用单独找跳跃,公式会自动把它算进去。
小结与自测
- 例 12 的 0 处跳 (原子), 是平台(没有概率), 上斜率 (密度 分布是
- 它既不离散也没有密度,但定理 11 照样能算:
- 「跳跃 + 区间积分」:两种方法互验;
- 只对 积分会漏掉原子;用 是否成立来检查有没有漏。
1. 对例 12 的 求
点开看答案
2. 用第 11 页的推论 10 求例 12 中 (提示:所以
点开看答案
直接验证:(概率 时 否则 在 上均匀,平均 所以
3. 判断:「 没有密度,所以 不能用积分计算。」
点开看答案
错。没有密度只说明不能用 但定理 11 的 是对尾函数的普通积分,对任何分布都能用,例 12 就是这样算出 的。
| 中文 | English | 白话解释 |
|---|---|---|
| 累积分布函数 | cumulative distribution function (CDF) | F(x) = P(X ≤ x),单调不减、右连续,完全决定分布。 |
| 区间 | interval | 数轴上的一段,[a,b] 包含端点,(a,b) 不包含端点。 |
| 期望 | expectation | 随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。 |
| 分布 | law / distribution | X 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。 |
| 逆变换法 | inverse transform method | U 服从 (0,1) 上的均匀分布时,Q(U) 的分布函数恰好是 F,用来生成任意分布。 |
| 概率密度 | density | 满足 P(X ∈ B) = ∫_B f(x) dx 的函数 f;有密度等价于 CDF 绝对连续。 |
| 点质量 | point mass (Dirac measure) | 把全部质量 1 放在一个点上:δ₀(E) = 1 当且仅当 0 ∈ E。 |
| 随机变量 | random variable | 从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。 |
| 概率测度 | probability measure | 总质量 P(Ω) = 1 的测度。 |
| 测度 | measure | 给 σ-代数里的每个集合一个 [0, ∞] 中的「大小」,空集为 0,并且可数可加。 |
| 阶矩 | moment | E[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。 |
| 方差 | variance | Var X = E[(X − E X)²],衡量随机变量围绕均值的波动大小。 |
| 独立 | independence | 任意有限个事件同时发生的概率等于各自概率的乘积。 |
| 单调递增 | nondecreasing | 后一项不小于前一项;单调有界的数列一定有极限。 |
| 函数 | function / map | f: A → B 给 A 中每个元素指定 B 中唯一一个元素。 |
| 无意识统计学家定律 | law of the unconscious statistician (LOTUS) | 求 g(X) 的期望,不必先求出 g(X) 的分布,直接把 g 对 X 的分布 𝓛(X) 积分;X 有密度 f 时就是 E g(X) = ∫ g(x) f(x) dx。 |
| 示性函数 | indicator function | 𝟏_A(x) 在 x ∈ A 时取 1,否则取 0;它的积分就是 A 的测度。 |
| 单调收敛定理 | monotone convergence theorem (MCT) | 非负可测函数单调递增地收敛时,积分也收敛:∫fₙ ↑ ∫f。 |
| 可测函数 | measurable function | 对每个 a,集合 {f > a} 都可测;这样的函数才能积分。 |
| 简单函数 | simple function | 只取有限个值的可测函数,是若干示性函数的线性组合,图像像台阶。 |
| 分位数 | quantile | Q(u) = inf{x : F(x) ≥ u},是 CDF 的「广义反函数」。 |