实分析 · 第 1 章 · 测度论的诞生：为什么需要它

第 1 章 · 测度论的诞生：为什么需要它

黎曼积分处理不了太多东西： Dirichlet 函数（有理数处 1、无理数处 0）不可积，极限与积分随意交换会出错。测度论的动机就是造一个更强大的积分——前提是先回答"一个集合的长度是多少"。

长度的公理化与勒贝格测度

区间 $(a,b)$ 的长度 $b-a$ 天经地义；复杂集合的长度想由可数可加性延伸：

$$m\left(\bigcup_{n} E_n\right) = \sum_n m(E_n), \quad E_n\ \text{互不相交}$$

外测度用可数覆盖定义：$m_*(E) = \inf\{\sum |I_n| : E \subseteq \bigcup I_n\}$。但外测度对可数可加性会失守（存在不交集合测度和大于并集），于是引入可测集（Carathéodory 判据：$E$ 把任何集合 $A$ 的外测度切成两半 $m_*(A) = m_*(A\cap E) + m_*(A - E)$）——可测集的全体对补、可数并封闭，测度在它们身上完全可加。

奇怪的集合：为什么测度论不可避免

零测集：可数集皆零测（有理数全体的"长度"是 0！）；
Cantor 集：不可数却零测——"长度"与"点数"是两码事；
存在不可测集（用选择公理构造）——测度不可能覆盖所有集合，可测性的筛选是必须的。

从测度到积分的路线图

勒贝格的策略与黎曼相反：黎曼切竖条（定义域分割），勒贝格按值域分层（"函数值在 $[a,b)$ 层的点集"的测度乘以高度再求和）。分层需要"层的测度"有意义——所以测度先行。这个顺序倒置换来巨大威力：对极限运算的容忍度大幅提高（第 2-3 章）。

原文要点：第 1 章按"外测度 → 可测集 → 可测函数"的顺序搭建，强调 Carathéodory 判据的动机是"让可测集类封闭"；书中以黎曼积分的三大缺陷（可积函数太少、极限交换难、完备性差）作为全章的问题陈述。

老师的提醒

学习本章的标志性目标：能独立证明"可数集零测"与"Cantor 零测不可数"，能复述可测集判据。
直觉校准：零测 ≠ 空、不可测集需要选择公理、"几乎所有"= 除零测集外——测度论的日常语言先建立。

自检

外测度的定义与可测集判据各是什么？
为什么需要"可测"筛选而不是所有集合都有测度？
勒贝格切法与黎曼切法的本质区别？

更深一层：外测度的"覆盖博弈"与可测性的诞生

外测度的定义是一场覆盖博弈：用可数个区间覆盖目标集合，总长度取下确界——$m_*(E) = \inf\{\sum |I_n| : E \subseteq \bigcup I_n\}$。下确界的"inf"保证了它存在，但可数可加性会失守：存在互不相交的集合对，并集的外测度严格小于外测度之和（选择公理造出的 Vitali 集合是标本）。Carathéodory 判据（$E$ 可测 ⟺ 对一切 $A$，$m_*(A) = m_*(A \cap E) + m_*(A \setminus E)$）的价值在于它筛出了一个封闭的良家子集：可测集全体对补、可数并封闭，测度在它们身上严格可加。初学者的误区是以为"所有集合都有测度"——恰恰相反，可测性是一道筛选，被筛掉的都是病态构造（Vitali 类）。

这个筛选思想在后续课程里反复回收：概率论的"随机事件 σ-代数"、动力学里的"可测变换"，全都是"先声明哪些问题可以问"的测度论纪律。

推导细读：零测集的"计算手册"

零测集是测度论最早建立直觉的对象，计算手册三条：可数集零测（把第 $n$ 个点盖进长 $\epsilon/2^n$ 的区间，总长 $\epsilon$ 任意小）；零测集的可数并零测（把各集的覆盖总长除以 $2^n$ 再求和）；"小到测不出"不等于"空"——Cantor 集与 $[0,1]$ 等势（通过三进制/二进制展开的映射）却零测。手册的应用试金石：黎曼可积判据"间断点集零测"——Dirichlet 函数处处间断（零测？不，全域非零测！）故不可积，而 Thomae 函数（有理点依分母高度取值）间断点恰为有理数集（零测）故黎曼可积——两个"处处稠密扰动"的函数命运截然不同，判据就是零测性。

专题深入：可测性的"筛选"与 Vitali 集合

测度论的"筛选"概念值得从 Vitali 集合的角度展开：用选择公理构造的 Vitali 集合不可测——它证明了两件事：可测性是一道筛选（不是每个集合都有测度）、被筛掉的都是病态构造（Vitali 类）。Carathéodory 判据（$E$ 可测 ⟺ 对一切 $A$，$m_*(A) = m_*(A \cap E) + m_*(A \setminus E)$）筛出的良家子集对补、可数并封闭，测度在它们身上严格可加。"可测集类 = 可以安全地问'长度'的集合"——这个筛选思想在概率论（随机事件 σ-代数）、动力学（可测变换）里反复回收：先声明哪些问题可以问，再问答案。

数学细节展开：零测集的"计算手册"完整版

零测集的计算手册值得扩充：可数集零测（把第 $n$ 个点盖进长 $\epsilon/2^n$ 的区间，总长 $\epsilon$ 任意小）；零测集的可数并零测（把各集的覆盖总长除以 $2^n$ 再求和）；"小到测不出"不等于"空"——Cantor 集与 $[0,1]$ 等势（通过三进制/二进制展开的映射）却零测。手册的应用试金石：黎曼可积判据"间断点集零测"——Dirichlet 函数处处间断（零测？不，全域非零测！）故不可积，而 Thomae 函数（有理点依分母高度取值）间断点恰为有理数集（零测）故黎曼可积——两个"处处稠密扰动"的函数命运截然不同，判据就是零测性。

工程案例细节：测度论的"工程直觉"校准

测度论直觉的工程校准值得做：零测 ≠ 空（Cantor 集不可数却零测）；"几乎所有"= 除零测集外（a.e. 是勒贝格理论的日常语言——改变零测集上的值，积分、可测性全部不变）；测度不可能覆盖所有集合（Vitali 集合需要选择公理——可测性的筛选是必须的）。"长度"与"点数"是两码事——这是测度论对直觉的第一次重训。

例题

证明：三进制下只用数字 0 与 2 的数构成的 Cantor 集测度为零，但它是不可数集。

解答

测度：构造是迭代挖去中间三分之一。第 $n$ 步后剩下 $2^n$ 段、每段长 $3^{-n}$：

$$m(C_n) = \left(\frac23\right)^n \to 0\ (\text{因 } C = \bigcap C_n,\ m(C) = \lim m(C_n) = 0)$$

——零测 ✓。

不可数：把 $C$ 的每个点写成三进制 $0.a_1a_2\dots$（$a_i \in \{0, 2\}$），映射到二进制 $\sum \frac{a_i/2}{2^i} \in [0,1]$——这是到 $[0,1]$ 的满射 ⟹ $|C| \ge |[0,1]| = |\mathbb{R}|$ ✓。

结论的冲击力：与 $[0,1]$ 等势的集合"长度"却是 0——测度（长度）与基数（点数）是两种独立的大小。

本页是《实分析》第 1 节的学习笔记：为便于初学，讲解、例题与要点概括均为本站原创整理，公式与章节定位供对照原书使用。