本页目录
实变 I · Lebesgue 测度
前置：Riemann 积分、数列与函数列。有理数在每个区间都稠密，却可以用总长任意小的区间覆盖；标准 Cantor 集不可数，长度仍为零。要同时理解这些现象，需要把“点的多少”“是否稠密”和“长度”分开。测度论先定义集合的大小，再为积分与极限提供可检验的条件。
学习层：有限图像如何变成极限结论？
1. 先预测，再打开三本长度账
本页实验把三个容易混淆的对象放在同一套确定性读法里：标准三分 Cantor 集的有限阶段、一个明确的 fat Cantor 集构造，以及 [0,1] 中去重后的二进制有理数前缀。先回答预测门，再看图和账本。预测门的第一个问题始终是：有限阶段的像素只能证明当前阶段的组合与长度，不能替极限集合发言。
实验使用的 fat Cantor 集不是“凭图看起来更厚”，而是精确定义的递归：F₀=[0,1]；第 n 步从每个当前闭区间删去一个长度 4⁻ⁿ 的中间开区间。第 n 步总共删去 2⁻⁽ⁿ⁺¹⁾，所以极限剩余长度可以直接求出。稠密集则取
这是所有二进制有理数在 [0,1] 中的去重枚举，有限前缀越来越细，但每个前缀仍然只是有限点集。
无 JavaScript 时的静态读法：标准 Cantor 的阶段总长为 \((2/3)^n\)、极限为0；本页 fat Cantor 的阶段总长为 \(1/2+2^{-(n+1)}\)、极限为 \(1/2\)；稠密点集的前 \(N\) 点覆盖预算为 \(\varepsilon(1-2^{-N})\)，余项 \(\varepsilon2^{-N}\)。完整推导保留在实验下方，脚本加载后仍可阅读。
A. 标准三分 Cantor 集 C
令 C₀=[0,1]，每一步从每个当前区间删去中间三分之一。第 n 阶段有 2ⁿ 个区间，每段长度 3⁻ⁿ，故
| 账本量 | 第 n 阶段的精确式 |
极限读法 |
|---|---|---|
| 区间数 | 2ⁿ |
这是有限阶段的组合数 |
| 单段长度 | 1/3ⁿ |
每一段都仍是闭区间 |
| 剩余总长度 | 2ⁿ/3ⁿ=(2/3)ⁿ |
开覆盖总长可任意接近此值，且此值趋于 0 |
第 n 步删去总长度（n≥1） |
2ⁿ⁻¹/3ⁿ |
这一行只记当前一步 |
| 累计删去总长度 | (3ⁿ−2ⁿ)/3ⁿ |
趋于 1 |
| 外覆盖预算 | m*(C)≤2ⁿ/3ⁿ |
对每个 n 成立，所以 m*(C)=0 |
闭区间并不是定义中的开覆盖：给这 \(2^n\) 个闭区间各添总计不超过 \(\delta\) 的小余量，得到开覆盖总长 \((2/3)^n+\delta\)；再令 \(\delta\downarrow0\)。fat Cantor 的闭区间预算同理。最后一行用的是外测度定义：C⊂Cₙ，而 Cₙ 是 2ⁿ 个区间的并，故 m*(C)≤(2/3)ⁿ；令 n→∞ 即得零测度。也可以用 Cₙ↓C、m(C₀)<∞ 和测度从上连续性：m(C)=lim m(Cₙ)=0。不可数性来自另一个定理：{0,2}^{N} 的三进制编码与 C 对应；它不来自任何有限阶段图。
B. 一个可精确求极限测度的 fat Cantor 集 F
从 F₀=[0,1] 开始。第 n 步（n≥1）每个当前区间删去一个中间开区间，删去长度固定为 dₙ=4⁻ⁿ。当前有 2ⁿ⁻¹ 个母区间，因此
递归产生的每个子区间都为正长，且 F=∩ₙFₙ 是闭的、无内点的完全集；本页需要的测度计算完全由下表给出：
| 账本量 | 第 n 阶段的精确式 |
极限读法 |
|---|---|---|
| 区间数 | 2ⁿ |
每个母区间分成左右两个子区间 |
| 单段长度 | (2ⁿ+1)/2²ⁿ⁺¹ |
由剩余总长度除以 2ⁿ |
| 剩余总长度 | (2ⁿ+1)/2ⁿ⁺¹ = 1/2+1/2ⁿ⁺¹ |
下降到 1/2 |
第 n 步删去总长度 |
1/2ⁿ⁺¹ |
几何级数的一项 |
| 累计删去总长度 | (2ⁿ−1)/2ⁿ⁺¹ |
上升到 1/2 |
| 外覆盖预算 | m*(F)≤(2ⁿ+1)/2ⁿ⁺¹ |
这个上界趋于 1/2，不是零 |
由 Fₙ↓F 和测度从上连续性，
因此这里的“fat”是有证明的正测度：删除长度的总和恰好为 1/2。有限阶段图本身仍不能证明正测度；正测度来自这个删除公式和极限定理。
C. [0,1] 中可数稠密集的 ε 覆盖
取 D 的前 K 层：先有 0,1，再加入第 k 层的奇数二进制分数。点数是
将这些点按 q₀,…,qₙ₋₁ 编号，用长度为 ε/2ⁱ⁺¹ 的小区间覆盖 qᵢ，则前缀和尾部预算为
| 账本量 | 精确式 | 解释 |
|---|---|---|
| 前缀点数 | N=2ᴷ+1 |
有限点集，不是整个 D |
第 i 个单点覆盖长度 |
ε/2ⁱ⁺¹ |
端点区间可在 R 中取，交 [0,1] 只会更短 |
前 N 点的外覆盖预算 |
ε(1−2⁻ᴺ) |
几何级数前 N 项 |
| 尾部预算 | ε·2⁻ᴺ |
补齐整个可数枚举 |
整个 D 的预算 |
ε |
对任意 ε>0 都可取，所以 m*(D)=m(D)=0 |
D 在 [0,1] 中稠密，因为每个二进制网格层都把最大间隔再二等分；但 D 可数，所以测度为 0。它的闭包是 \overline D=[0,1]，闭包测度是 1。稠密不等于正测度：集合本身和它的闭包是两个不同对象。
2. 图像与定理的边界
- 有限阶段图只能显示有限个区间、有限个像素或有限个点，以及由它们计算出的有限账本；它不能单独证明不可数性、零测度、正测度或不可测性。
- 标准 Cantor 集的零测度要写出外覆盖预算趋于
0，或明确使用测度从上连续性；“图越来越碎”不是证明。 - fat Cantor 集的正测度要写出每一步的具体删除长度
4⁻ⁿ、总删除级数1/2，再用从上连续性得到m(F)=1/2。 - 可数稠密集的零测度要使用可数覆盖的
ε/2ⁱ⁺¹账本；\overline D=[0,1]不能反推m(D)=1。 - Vitali 不可测集依赖等价类选代表和选择公理。有限点图既不能构造它，也不能证明不可测性；“点看起来散乱”不是 Carathéodory 判据。
1. 外测度：给一切集合先估个长度
定义（Lebesgue 外测度） 用可数个开区间覆盖 E，取总长的下确界：
性质：非负、单调、次可加（m*(∪Eₖ)≤∑m*(Eₖ)）、区间的外测度等于长度、平移不变。
立竿见影的收获：可数集测度为零。若 E={x₁,x₂,…}，给 xₖ 一个长度为 ε/2ᵏ 的小区间，则总长不超过 ε；由于 ε 任意，m*(E)=0。所以 [0,1] 中的有理数集长度为 0。Cantor 集则提醒我们：不可数也不代表正测度。
2. 可测集：外测度在哪里变成真测度
外测度对任意集合都有定义，但只有次可加没有可加。要得到可列可加，筛选满足 Carathéodory 判据的集合：
定理 可测集全体构成 σ-代数（对补、可数并/交封闭），m* 限制其上是测度（可列可加）；区间、开集、闭集、Borel 集全可测。概率空间就是全测度为 1 的测度空间，概率公理化正是在这里取得地基。
不可测集存在（Vitali）：在 [0,1] 上按“差为有理数”分等价类，每类选一点组成 V。取 \(q\in\mathbb Q\cap[-1,1]\) 的可数个平移 \(V+q\)；它们两两不交，其并集包含 [0,1] 且落在 [-1,2] 中。若 V 可测且测度为 c，则 \(c=0\) 会导致这份并集测度为 0，而 \(c>0\) 会导致其测度为 \(\infty\)，都与包含和有界性矛盾。这个论证依赖选择公理，不能被有限阶段图替代。
2.1 判据为什么能补上可加性？
次可加性总给出“左边不大于右边”，所以 Carathéodory 判据要求的是反向不等式：不论拿什么测试集 \(T\) 来切，沿 \(E\) 切开都不丢长度。对两两不交的可测集 \(E_j\)，依次用判据切开 \(T\)，有
令 \(N\to\infty\)，再用次可加性 \(m^*(T\cap\bigcup_jE_j)\le\sum_jm^*(T\cap E_j)\)，便得到可数并的判据。一般可数并先写成互不相交的差集；补集的封闭性直接来自判据的对称性。这说明可测集为何组成 \(\sigma\)-代数；取 \(T=\bigcup_jE_j\) 又得到可数可加。有限并/差集的封闭性可先用两次切分证明，是这条论证的起点。
零测集及其任意子集都可测。 若 \(N\) 满足 \(m^*(N)=0\)，则 \(m^*(T\cap N)=0\)；由次可加性与单调性，\(m^*(T)=m^*(T\setminus N)\)，判据成立。这是 Lebesgue 测度的完备性。Borel 测度只定义在由开集生成的 \(\sigma\)-代数上；补齐所有零测集的子集得到 Lebesgue 可测集。两者不要混称为同一个集合族。
2.2 从可数可加到极限长度
若可测集 \(A_n\uparrow A\)，将它们拆成不交层：\(B_1=A_1\)、\(B_n=A_n\setminus A_{n-1}\)。可数可加直接给
这叫从下连续性，不要求 \(m(A)\) 有限。若 \(F_n\downarrow F\) 且 \(m(F_0)<\infty\)，则 \(F_0\setminus F_n\uparrow F_0\setminus F\)，可以在有限数 \(m(F_0)\) 中相减，得到
fat Cantor 的 \(1/2\) 正是这样得到的。有限测度条件不是装饰：\([n,\infty)\downarrow\varnothing\)，但每个集合测度均为无穷，极限测度却为零。
3. 可测函数与“几乎处处”
定义 f 可测 ⇔ 一切 {x:f(x)>a} 可测（对所有实数 a）。
封闭性：在运算有定义的地方，有限四则、外层连续函数复合，以及可测函数列的逐点极限仍可测；可数族的 sup、inf 与函数列的 limsup、liminf 也保留可测性。这里的“可数”不能省：任意不可数族的逐点上确界未必可测。对比连续函数，逐点极限可以不连续；可测世界对序列极限更稳健。
几乎处处（a.e.）：性质在零测集之外成立。Dirichlet 函数 1_Q 在 Lebesgue 意义下几乎处处等于 0，但在每个区间里都有有理点和无理点；“稠密”与“正测度”再次分开。
逼近结构不是一句存在口号。 对非负可测 \(f\)，可取
并在 \(f(x)=+\infty\) 处定义 \(s_n(x)=n\)。每个 \(s_n\) 只有有限多个值，其层集由 \(f\) 的可测性保证可测，所以是简单函数。二进制网格逐次加密且截断高度上升，给 \(s_n\le s_{n+1}\le f\)；固定 \(f(x)<\infty\) 后，充分大的 \(n\) 不再触发截断，误差小于 \(2^{-n}\)，故 \(s_n\uparrow f\)。一般实值可测函数分别逼近正负部。下一页的积分就建立在这级台阶上。
4. 典型例题
例 1（零测集操作） 证明 [0,1] 中无理数集测度为 1：
例 2（Cantor 集） 标准 Cantor 集的第 n 阶段由 2ⁿ 个长度 3⁻ⁿ 的区间覆盖，预算 (2/3)ⁿ→0，所以 m(C)=0；不可数性则由三进制 0/2 编码单独证明。fat Cantor 集若每步按上面删除 4⁻ⁿ，则 m(F)=1/2。
例 3（可测函数判定） Dirichlet 函数 1_Q 的超水平集只有 ∅、Q、R（按阈值分情况），全是 Lebesgue 可测集，因此它是可测函数；它的积分为 0。\(\square\)
下一页：在测度地基上重建积分——Lebesgue 积分与三大收敛定理，积分与极限交换从此有法可依。
5. 迁移题：把“稠密、大小、极限”拆开判断
- 对本页 fat Cantor，证明每一步都删得下、极限没有内点但没有孤立点。再说明哪一步证明它的测度为 \(1/2\)。
- 设 \(C\) 为标准 Cantor 集，\(D\) 为本页可数稠密集。求 \(m(C\cup D)\) 及其闭包的测度，并证明 \(C\) 不可数。
- 说明为何“有限并可加”还不够推出可数集零测度；再构造一个递减可测集列，使从上连续性的有限测度条件不可省。
迁移题参考答案
- 第 \(n-1\) 步单段长为 \(\ell_{n-1}=(2^{n-1}+1)/2^{2n-1}\)，而下一步删长 \(4^{-n}\)；两者的比为 \(\ell_{n-1}/4^{-n}=2^n+2>1\)，所以两个子段都正长。\(\ell_n\to0\)，任何正长区间若包含于 \(F\)，就必须包含于每个阶段的某一子段，与长度趋零矛盾。各阶段端点以后都不会被删；对任意 \(x\in F\)，含它的阶段子段中总有一个不同于 \(x\) 的端点，距离不超过 \(\ell_n\)，所以 \(x\) 不是孤立点。\(F\) 是闭集，因此完美且无处稠密。测度不是从这些拓扑性质推出来的，而由 \(F_n\downarrow F\)、\(m(F_0)=1\) 与长度公式推出 \(m(F)=1/2\)。
- \(m(C)=m(D)=0\)，次可加性给 \(m(C\cup D)=0\)；因包含稠密的 \(D\)，其在 \(\mathbb R\) 中的闭包是 \([0,1]\)，测度为1。对每个二进制序列 \((b_j)\in\{0,1\}^{\mathbb N}\)，令 \(x=\sum_{j\ge1}2b_j3^{-j}\in C\)。若两序列首次在第 \(k\) 项不同，首项差 \(2\cdot3^{-k}\) 大于后续差的上界 \(3^{-k}\)，故映射单射。二进制序列集由对角线法不可数，所以 \(C\) 不可数。
- 有限次相加只能说明有限个点的并测度为零，不能直接处理无穷并。可数次可加（或外测度的可数次次可加）才把所有点同时覆盖。取 \(A_n=[n,\infty)\)：\(A_n\downarrow\varnothing\)，但 \(m(A_n)=\infty\)；因此“从上连续”必须带有某一阶段有限测度的条件。
继续学习：Lebesgue 积分与收敛定理把集合层面的从下连续性推广到非负函数；概率空间与条件概率使用总测度为1的同一结构。
原始教材参照
Sheldon Axler：Measure, Integration & Real Analysis 第2章讨论外测度、可测性、测度连续性与Lebesgue测度。这里的两种Cantor构造采用本页明确给出的删段规则。