这一页在讲什么
这是第 5 部分「抽样中的应用」的第三页。
- 第 36 页 提出问题:均匀抽样估计量无偏,但 时方差无穷。
- 第 37 页 说明为什么方差要紧:误差尺度是 时这把尺子失效。
- 本页给出办法的第一步:选抽样密度。它把第 4 部分的换测度(第 26 页–第 35 页)真正用了起来。
- 接下来 第 39 页 证明这样做以后被平均的量有界、方差有限;第 40 页 说明怎样用一个均匀随机数抽出服从 的样本。
先补基础
- 想算 却从另一个概率 抽样。 在某处抽得比 多,那里的样本就要「打折」;抽得比 少,就要「加权」。折扣或加权的倍数是 (第 35 页)。
- 小例子:一个班 10 人,想知道平均零花钱。如果故意让 1 号同学被抽到的机会是别人的 9 倍,那么抽到 1 号时,他的数字只能按 的分量计入,结果才不偏。
- 为什么要「故意」偏着抽?因为如果 1 号同学的零花钱特别多,他对平均值影响最大(最「重要」),多抽他可以减少误差。这就是重要性抽样(importance sampling)名字的由来。
课件原文逐句精读
On with , let and , where . The target is .
Choice of the sampling density
(标题:重要性抽样——密度的选择)
在 上取 令 其中 目标是
抽样密度的选择
逐句看:
- On with , let :样本空间是 事件是博雷尔集,概率是长度,也就是「均匀地取一个点」。样本点记作
- , :和 第 36 页 例 23 是同一个函数(那里变量叫 现在它是 上的一个非负随机变量。
- The target is :目标 和 第 36 页 的 相同。第 36 页 已证 时
- 为什么要换成测度论的写法:这样「从 抽样」和「从另一个概率 抽样」可以放在同一个 上比较,第 4 部分的公式就能直接用。
- Choice of the sampling density:sampling density(抽样密度)是我们实际抽样所用分布的密度。这个小标题下留白,下面补全:选哪个 为什么、选了以后 怎么表示。
补全课件留白
课件此处留白(课堂板书),以下内容由本站根据标准教材补写,记号与本课件保持一致;如与老师课堂写法不同,以老师为准。
Choice of the sampling density|抽样密度的选择
第 1 步:我们对抽样密度 有三点要求。
- 不漏掉任何地方: 的地方都要有 否则那一块 永远抽不到,估计会偏小(例 3)。本题 在整个 上为正,所以要 处处成立。
- 被平均的量要稳:从 抽样时,每个样本返回 它的方差越小越好,至少要有限(第 37 页)。
- 抽得出来:要能方便地生成服从 的随机数(第 40 页)。
第 2 步:理想的选择和现实的折中。 若取 (积分为 1,是密度),则 是常数,方差为 0,一个样本就给出精确答案。可是写出 需要先知道 ——这正是我们要算的东西。所以现实的原则是:让 大致和 成比例,同时又能精确归一化、方便抽样。
第 3 步:看 的两个因子。
- 在 上只在 和 之间温和地变化,不制造麻烦;
- 在 0 处趋于无穷,是奇点的来源,而且它的积分能精确算出来。
所以保留奇异的因子、丢掉温和的因子:取 用归一化定出常数:得
在本页的设定下,令
并令 (则
- 是关于 的概率密度:
- 是 上的概率,且
- 处处成立,所以
- 重要性抽样公式:并且
第 4 步:由公式得到估计量。 设 独立同分布,分布都是 (即密度为 令
(IS 是 importance sampling 的缩写。)由无意识统计学家定律,再由线性,和均匀抽样一样无偏。区别在方差,见 第 39 页。
取 它的分布函数是 (第 40 页 会算)。比较三列数:
| 区域 | 均匀抽样落在这里的概率 | 从 抽样落在这里的概率 | 这里对 的贡献占比 |
|---|---|---|---|
| 0.001 | 0.126 | 15.3% | |
| 0.01 | 0.251 | 30.5% | |
| 0.1 | 0.501 | 59.6% | |
| 0.5 | 0.812 | 88.9% |
- 积分 有 30% 来自 这个长度只有 1% 的小区间。均匀抽样只有 1% 的点落在那里,所以那 30% 的贡献全靠极少数巨大的样本值撑着——这就是方差爆炸的原因。
- 从 抽样,有 25% 的点落在那里,撒点的密集程度大致跟着「贡献」走。每个点返回的值 因此不再忽大忽小。
- 这就是「模仿奇点」的意思:让抽样分布本身在 0 附近堆积,堆积的速度(和 的奇点一样。
例子
均匀(每点 (目标
- 均匀抽样:单个样本 的二阶矩 方差
- 偏着抽:令 (密度 是「新概率 ÷ 旧概率」:返回值 抽到 1 时是 抽到其他点时是
- 无偏:
- 方差:只有均匀抽样的约
- 理想选择:令 与 成比例,则 返回值永远是 方差为 0。但构造它要先知道总和 100,也就是先知道
取 (只在左半边抽样)。返回值 在 上是 在右半边 根本抽不到。于是
时左边约 2.4346,比 少了 这正是 第 35 页 例 3 的情形:反向期望公式的条件不成立。要求 1(不漏掉任何地方)不能省。
推导:一步一步来
为什么「 与 成比例」方差为 0,以及方差公式在说什么。 由 第 35 页「推导」(二),对任意处处为正的抽样密度
- 读法:方差只由 决定。 大而 小的地方, 会非常大。所以 必须在 大的地方也大。
- 理想情形: 时,方差为 0。
- 均匀抽样( 时是 (第 36 页)。
- 课件的 :奇点从 降回 对所有 都可积。第 39 页 由此算出方差。
估计量为什么无偏(补全第 4 步)。 每个 非负,期望是 所以可积;可积随机变量的期望是线性的(第 43 页),这里只用到每个 的分布是 独立性要到算方差时才用(第 37 页)。
常见疑问与易错点
答:靠权重 在 0 附近比 抽得多(那里的样本按 打折;在靠近 1 的地方 抽得少(样本按 加权。反向期望公式 保证折算后不多不少(第 35 页)。
答:两个原因。第一,写出 要知道 而 正是未知量。第二,从 抽样要用它的分布函数 求它和求 一样难。重要性抽样的实际做法是找一个和 形状相近、但能精确积分和抽样的
答:不一定。无偏是自动的(只要 但方差取决于选得好不好。例 2 中 的方差 10.15 已经有限,却比 的 0.42 大 20 多倍;在别的问题里,选错了 (比如在 大的地方 反而很小),方差可能比均匀抽样还大,甚至变成无穷。
小结与自测
- 设定:目标
- 选择抽样密度的原则: 不漏地方; 大致与 成比例(理想的 方差为 0,但需要 能抽样。
- 课件的选择:保留奇异因子 归一化得
- 重要性抽样公式:(第 35 页);估计量 (无偏。
- 直觉:抽样密度模仿奇点,撒点的密集程度跟着「对 的贡献」走。
1. 取 写出 验证它的积分为 1,并化简
点开看答案
乘以 0.5 得 1。
2. 取 从 抽一个点,它落在 里的概率是多少?均匀抽样呢?
点开看答案
均匀抽样是 前者约是后者的 126 倍。
3. 判断:只要抽样密度 在 上处处为正,估计量 就是无偏的,而且方差有限。
点开看答案
前半句对,后半句错。 保证反向期望公式成立,所以无偏;但方差取决于 是否有限。例如 (均匀)处处为正, 时方差却是无穷(第 36 页)。
| 中文 | English | 白话解释 |
|---|---|---|
| 分布 | law / distribution | X 把概率「推」到取值空间上得到的测度:L(X)(B) = P(X ∈ B)。 |
| 期望 | expectation | 随机变量对概率测度的积分 E[X] = ∫ X dP,也就是「加权平均」。 |
| 方差 | variance | Var X = E[(X − E X)²],衡量随机变量围绕均值的波动大小。 |
| 换测度 | change of measure | 用 E_Q[X] = E_P[X · dQ/dP] 在两个概率之间换算期望。 |
| 重要性抽样 | importance sampling | 从另一个更合适的分布抽样,再乘以权重纠正,从而减小估计的方差。 |
| 几乎必然收敛 | almost sure convergence | 除了概率为 0 的结局以外,Xₙ(ω) 都收敛到 X(ω)。 |
| 概率密度 | density | 满足 P(X ∈ B) = ∫_B f(x) dx 的函数 f;有密度等价于 CDF 绝对连续。 |
| 函数 | 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。 |
| 随机变量 | random variable | 从样本空间到实数的(可测)函数,把结局翻译成数字;随机性来自「实现了哪个 ω」。 |
| 样本空间 | sample space | 一次试验所有可能的完整结局组成的集合,记作 Ω。 |
| 博雷尔 σ-代数 | Borel sigma-algebra | 由实数轴上所有开区间生成的 σ-代数 𝓑(ℝ),包含所有常见的集合。 |
| 样本点 | sample point | 一个完整的结局 ω;每次试验恰好实现一个样本点。 |
| 事件 | event | 样本空间的(允许谈概率的)子集;实现的 ω 落在里面,就说事件发生。 |
| 测度 | measure | 给 σ-代数里的每个集合一个 [0, ∞] 中的「大小」,空集为 0,并且可数可加。 |
| Radon–Nikodym 导数 | Radon–Nikodym derivative | Q ≪ P 时存在 L = dQ/dP ≥ 0,使 Q(A) = ∫_A L dP;它是「换测度的密度」。 |
| 绝对连续 | absolute continuity | 函数版:小区间总长很小时增量总和也很小;测度版:Q ≪ P,P 为零的事件 Q 也为零。 |
| 独立同分布 | independent and identically distributed (i.i.d.) | 一列随机变量相互独立,并且分布都相同,例如反复独立地掷同一颗骰子。 |
| 累积分布函数 | cumulative distribution function (CDF) | F(x) = P(X ≤ x),单调不减、右连续,完全决定分布。 |
| 区间 | interval | 数轴上的一段,[a,b] 包含端点,(a,b) 不包含端点。 |
| 阶矩 | moment | E[|X|ᵖ] 叫 p 阶(绝对)矩;它有限与否反映尾部有多「重」。 |
| 当且仅当 | if and only if (iff) | 「A 当且仅当 B」:A 成立就一定有 B,B 成立也一定有 A,两者同真同假,记作 A ⟺ B。 |
| 简单函数 | simple function | 只取有限个值的可测函数,是若干示性函数的线性组合,图像像台阶。 |
| 可积 | integrable (L¹) | ∫|f| dμ < ∞。全体可积函数记作 L¹(μ)。 |
| 独立 | independence | 任意有限个事件同时发生的概率等于各自概率的乘积。 |