第六部分 · 现代地基：连续、大小与计算
测度论：给"大小"和概率上锁
上一课，拓扑把"邻近"和"形状"从坐标里解放了出来。这一课我们盯上另一个用了几千年、却从没被认真追问过的字：大小。长度、面积、体积、概率——它们都假设"每个集合都有一个大小"。真的吗？一个看似天经地义的问题，会把我们逼进一场比 ε–δ 更深的危机，也逼出现代概率论脚下的全部基岩。
留下的问题：第 08 课的积分把曲线下方切成无穷多个矩形去求面积；第 10 课的概率给每个事件派一个数 P。两者都默认了一件事：任何一块集合，都有一个明确的"大小"（面积 / 概率）等着我们去取。这个默认，经得起追问吗？
本课新增：第二块现代地基——抽象"大小"。我们会先撞上一堵墙（存在无法赋予长度的集合），再用 σ-代数 与测度补好它，得到勒贝格积分，最后看柯尔莫哥洛夫如何把整个概率论建成测度论——这是第 10 课，以及后半程整个统计（第 29–34 课）脚下的岩石。
一个吓人的问题：能给每个集合都定长度吗
先把问题问得干净。我们想要一个"长度"函数，给区间 [0,1] 里的每一个子集 A 派一个数 m(A) ≥ 0，并且它得配得上"长度"这两个字——也就是满足两条谁都不肯放弃的性质：
(ii) 可数可加：若 A₁, A₂, A₃, … 两两不相交，则 m(A₁ ∪ A₂ ∪ …) = m(A₁) + m(A₂) + …
这三条听起来卑微到不像个要求——长度当然该平移不变，当然该可加。可正是它们，凑在一起会自相矛盾。这样的长度函数 m，不可能对每个子集都存在。
为什么"可数可加"这么关键？因为微积分的整个精神就是"切成无穷多小块再加起来"——第 08 课的黎曼和取极限、第 10 课把事件拆成互斥小事件求和，靠的都是"无穷多块能安全相加"。有限可加太弱，撑不起积分与极限。可一旦你要求可数可加，麻烦就来了。
非测度集与巴拿赫–塔斯基
1905 年，意大利数学家维塔利（Vitali）用一个精巧的构造证明：[0,1] 里存在一个集合 V，你没法给它派任何长度而不违背上面那三条。它的思路是这样的——把 [0,1] 上的点按"相差一个有理数"分成许多堆（同一堆里的点彼此差一个有理数），然后从每一堆里各挑一个代表，凑成集合 V。
关键就在"从每一堆里各挑一个"这一步：堆有不可数无穷多个，没有任何公式能告诉你"该挑哪个"，你只能凭空断言"就是能挑出来"——这正是第 14 课提过的选择公理（Axiom of Choice）在撑腰。挑好之后可以证明：把 V 沿着所有有理数平移，这些平移副本互不相交，而且恰好铺满整段。于是由平移不变 (i)，每个副本长度都等于 m(V)；由可数可加 (ii)，无穷多个 m(V) 加起来该等于 1。可"无穷多个相同的数相加"要么是 0（若 m(V)=0），要么是 ∞（若 m(V)>0）——永远凑不出 1。
如果说维塔利的例子还只是"算不出长度"，那 1924 年的巴拿赫–塔斯基悖论就把这件事推到令人瞠目的地步：一个实心球，可以被切成有限多块（比如五块），仅靠平移和旋转（不拉伸、不变形），重新拼成两个和原来一模一样大的实心球。体积凭空翻倍。
补救：σ-代数 + 测度
危机的根源，第 14 课其实预演过：又是"想对一切都成立"的贪心把我们炸飞了。当年罗素想让"任意性质都造一个集合"，爆炸；现在我们想给"任意子集"都定长度，也爆炸。补救的思路一模一样——别再要求对全体成立，只在一个受了约束的范围里工作。
具体做法：不去测量 [0,1] 的所有子集，而是先划定一个"讲道理的集合"的集合，叫 σ-代数（sigma-algebra），记作 F。它里面装的集合叫可测集——只有这些集合，我们才承诺给它一个大小。F 必须对三种操作封闭（这样我们平时会用到的集合运算都不会跑出去）：
有了这块安全的地盘，再往上装一个真正量大小的函数——测度（measure）μ。它给 F 里每个可测集 A 派一个数 μ(A) ≥ 0，只需守住两条：
(2) 可数可加：若 A₁, A₂, … 两两不相交，则 μ(A₁ ∪ A₂ ∪ …) = μ(A₁) + μ(A₂) + …——互不重叠的可数多块，总大小等于各块之和。
你有没有觉得眼熟？这两条，几乎就是第 10 课柯尔莫哥洛夫概率公理的翻版——待会儿就见分晓。当这个 μ 恰好让每个区间 [a,b] 的测度等于它"本该有的长度" b − a 时，它就是那个唯一正确的长度概念，叫勒贝格测度。它把"长度"稳稳地推广到了一大类远比区间复杂的集合（面积、体积同理，只是维数不同）——代价是坦然承认：像 V 那样的少数怪物，本就没有大小，我们不给它测，也就相安无事。
勒贝格积分：换一个方向切
地基补好了，第 08 课的积分就能升级。回想黎曼当年怎么求曲线下的面积：他把 x 轴（定义域）切成许多细竖条，每条用一个矩形去近似，再把矩形面积加起来（第 09 课我们已经用 ε–δ 给这个极限上过锁）。竖着切，是黎曼的方式。
勒贝格（Lebesgue）问了一个天才的问题：为什么非要竖着切？换成横着切会怎样？他不切定义域，改切y 轴（值域）：把函数能取到的高度分成许多水平薄层，然后对每一层问一句——"有多少定义域上的点，函数值达到了这个高度？"用测度量出这块定义域的大小，乘以这一层的高度，再把所有层加起来。
勒贝格（切 y）：先按函数值把点分类归堆——"值落在这一层的点有哪些"——再用测度量出每一堆有多大。
打个比方：数一堆硬币的总额，黎曼是按你捡起的顺序一枚枚累加；勒贝格是先按面值把硬币分成几摞（1 元的一摞、5 角的一摞……），数清每摞多少枚，再各自相乘求和。后者显然更聪明——尤其当硬币乱成一团时。
"更聪明"体现在两处。其一，能积分的函数更多：有些函数上下狂跳、乱得没法切竖条（黎曼积分直接失败），但按值归堆却毫无障碍，勒贝格照样算得出。其二、也是最要命的一处——它和取极限相处得极好。分析里天天要做"一列函数 f₁, f₂, … 趋于 f，那么它们的积分是否也趋于 f 的积分"这种交换。在黎曼框架里这一步常常翻车；勒贝格框架下有单调收敛定理和控制收敛定理两员大将，给出干净的保证："只要条件满足，极限和积分可以放心交换。"这正是后半程概率与统计反复要用的利器。
要强调的是：对第 08 课那些规规矩矩的连续函数，勒贝格和黎曼算出的面积分毫不差，是同一个数。勒贝格没有改变答案，只是换了一套更强壮、更经得起极限折腾的记账法。这里有一个和第 09 课一模一样的教训：严格化不是数学家的洁癖，是被反例逼出来的。当年是"消失量的幽灵"逼出了 ε–δ；这一次，是非测度集与病态函数逼出了测度与勒贝格积分。下面的小实验，就让你亲手把同一块面积竖着切和横着切各来一遍，看两种记账法如何殊途同归。
柯尔莫哥洛夫：概率就是测度
现在收网。回头看测度 μ 的两条公理——空集为零、可数可加——再对照第 10 课柯尔莫哥洛夫的概率公理，你会发现它们几乎是同一句话。1933 年，柯尔莫哥洛夫正是抓住这个巧合，一举把整个概率论安放进了测度论：他宣布，一个随机现象就是一个概率空间 (Ω, F, P)——
F（σ-代数）：所有事件——即"可测的"结果集合，正是我们能谈论其概率的那些集合。
P（概率测度）：一个测度，只是额外要求 P(Ω) = 1（"必然发生某个结果"）。
于是：随机变量 = 可测函数（把结果映成数，且映得"讲道理"、不破坏可测性）；期望 E[X] = 随机变量对概率测度的勒贝格积分。第 10 课的"加权平均"，本质就是"按 P 这把尺子做的勒贝格积分"。
这一步的意义怎么强调都不过分。它让第 10 课那些直觉——事件、概率、期望、大数定律——全部落到了无懈可击的地基上：概率不再是"长期频率"这种含糊说法，而是一个数学对象（测度）该满足的精确规则。更重要的是，它让概率论接管了勒贝格积分的全部武器：控制收敛定理保证了大数定律、中心极限定理这些收敛结果能被严格证明；连续型随机变量的密度、期望、方差，统统是勒贝格积分算出来的。
所以，当你在后半程（第 29–34 课）看到概率密度积分、期望、贝叶斯更新"总能算、总收敛、总讲道理"时，别以为那是理所当然——那是因为发动机盖底下，藏着 σ-代数与勒贝格积分这套精密机器，是它在默默兜底。测度论不是"高级一点的积分"这么简单：它同时是现代积分和整个现代概率论的共同基岩。
常见误解
- "每个集合都有长度（面积、体积）。"
不。维塔利用选择公理造出了非测度集：给它任何长度都会和"平移不变 + 可数可加"矛盾。所以现代做法是只在一个 σ-代数上定义大小，坦然承认有些怪集合根本没有大小可言。 - "巴拿赫–塔斯基说能凭空造物、违反了质量守恒。"
不。被切开的那几块是非测度集——本就没有体积，所以"体积守恒"对它们不适用，谈不上违反。它们是无限精细、依赖选择公理的理想点集，不是原子构成的物质，无法在现实中切出或复制。这是关于理想点集的逻辑事实，不是物理断言。 - "测度论只是把积分搞得更花哨一点。"
格局小了。它同时是整个概率论的地基：柯尔莫哥洛夫 1933 年把概率定义成总测度为 1 的测度，随机变量成了可测函数，期望成了勒贝格积分。第 10 课，以及第 29–34 课整个统计半程，全都站在它上面。 - "勒贝格积分和黎曼积分算出的面积不一样。"
对连续函数是同一个值，一分不差。勒贝格只是换了个切法（切值域而非定义域），好处是能处理更"病态"的函数，且与取极限相处得好（单调 / 控制收敛定理）。答案没变，记账法更强壮。