积分理论——从黎曼到勒贝格

引言：1902 年的巴黎

1902 年，二十七岁的勒贝格（Henri Lebesgue）在巴黎大学提交了博士论文《积分、长度、面积》。他要解决的问题，看起来甚至不算「学术」：黎曼（Riemann）的积分理论已经够好，为什么还要重写一遍？

但翻开论文你会发现：他想做的不是修补，而是把整个积分理论的根基拆掉重铺。在他看来，黎曼的方式像极了一种「按横轴切分函数图像」的纵切术，对柔顺的连续函数没问题，但一遇到取值不连贯的函数就完全失效。勒贝格提出的横切术——按取值切函数——把积分理论从依赖函数的连续性，转向了依赖集合的「测度」。

这是分析学历史上最重要的一次范式转移。从此之后，概率论、傅里叶分析、偏微分方程、量子力学全部以这套理论为底座。本章我们就来梳理：从 Riemann 到 Lebesgue，积分理论究竟变了什么；这场革命的代价、回报和遗产是什么。

Riemann 积分：纵切术的力量与极限

第九章我们已经介绍过 Riemann 积分的定义。把区间 $[a,b]$ 切成 $n$ 段，每段上做矩形和。形式化地，对一个分割 P，定义达布上和与下和：

U(f, P) = \sum_i M_i\,(x_i - x_{i-1}), \quad L(f, P) = \sum_i m_i\,(x_i - x_{i-1}).

其中 Mᵢ、mᵢ 分别是 f 在第 i 段上的上确界与下确界。如果对所有分割取下确界与上确界后 inf U = sup L，那么 f 就是 Riemann 可积的，这一公共值就是它的积分。

这套定义有一个出人意料的可积刻画——Lebesgue 判据：

定理（Lebesgue 判据）。
有界函数 f 在 [a,b] 上 Riemann 可积，当且仅当它的不连续点集的 Lebesgue 测度为零。

注意：判定 Riemann 可积的语言里已经偷偷出现了「测度」。Riemann 自己当然不会这样表述，他只是从分割收敛上写出了一个等价条件；勒贝格回头去看，发现可积性的本质是「不连续点不能太多」。

Riemann 不能容下的函数

但这一判据反过来说也成立——如果不连续点是「正测度」的，函数就不再可积。最经典的反例是狄利克雷函数（Dirichlet, 1829）：

D(x) = \begin{cases} 1, & x \in \mathbb{Q}, \\ 0, & x \notin \mathbb{Q}. \end{cases}

这个函数在 [0,1] 上处处不连续。任何分割都包含有理点和无理点，U(D, P) = 1 而 L(D, P) = 0，永远收敛不到同一个数。Riemann 积分对它无能为力。

这看似只是一个故意构造的怪物。但十九世纪后期，许多自然问题里出现了类似行为的函数：例如 Fourier 级数的极限、简单函数序列的逐点极限，甚至概率密度（如 Cantor 函数的导函数）。Riemann 积分在「极限」面前频繁失手——不可积的极限、可积但极限值不对、积分号与极限号不可交换。这一切问题的根源都是同一个：Riemann 的纵切术，把横轴切得再细，也无法分清取值很乱的函数。

横切术：勒贝格的转身

勒贝格的灵感据说来自他的一句话：「假设一袋硬币要数总额，黎曼的办法是按倒出顺序一枚枚加；我的办法是先按面值分堆，再每堆数量乘以面值。」

把这句话翻译为数学：不要按定义域 x 切，要按值域 y 切。给定一个函数 f ≥ 0，对每个 y > 0，看 {x : f(x) > y} 这个集合「有多大」，然后把每一段「水平条」乘以它的「宽度」加起来：

\int f\,d\mu \;=\; \int_0^\infty \mu\bigl(\{f > y\}\bigr)\,dy.

这就是 Lebesgue 积分的本质（叫 Cavalieri 公式）。但其中藏着一个新概念：μ——也就是「测度」（measure）。要知道一个集合「有多宽」，必须先有一个能给任意（合理）集合赋予「大小」的函数。

图 1：Riemann 把曲线下面积切成竖条；Lebesgue 切成横条，再用「集合大小×取值」累加。

测度论：给集合以「大小」

要按值域切函数，就必须能告诉你「{f > y} 到底多大」。这个「大」是个新概念，必须公理化。

一个测度 μ 就是给一些集合（叫「可测集」）赋予非负实数（含 ∞）的函数，并满足：

μ(∅) = 0（空集大小为零）
可数可加性
：若 A₁, A₂, … 两两不交，则

\mu\!\left(\bigcup_{n=1}^\infty A_n\right) \;=\; \sum_{n=1}^\infty \mu(A_n).

这是 Lebesgue 测度论的两条公理。它们看似无害，却已经封死了「能不能给所有集合都赋测度」这一问题——后来证明在 ZFC 下不行，存在「不可测集」（Vitali 集），这是选择公理引出的代价。但在分析学需要的所有自然集合上，Lebesgue 测度都有定义。

关键性质：

有限区间 [a,b] 的 Lebesgue 测度就是它的长度 b − a
有理数集 ℚ 在 [0,1] 上测度为零（因为是可数的）
Cantor 集（不可数）测度也为零，是测度论里典型的「丰盛但稀薄」的集合

「测度为零」是分析学的关键概念：它意味着这一集合可以被「忽略」，而函数在这种集合上的取值不影响积分的值。这把许多看起来病态的函数变得驯服。

Lebesgue 积分的构造

有了测度，可以把积分按三步搭起来：

第一步：简单函数。形如

s(x) = \sum_{k=1}^{n} c_k\,\mathbf{1}_{A_k}(x),\qquad A_k \text{ 互不相交可测},\;\; c_k \ge 0.

它的积分定义为：

\int s\,d\mu \;=\; \sum_{k=1}^{n} c_k\,\mu(A_k).

第二步：非负可测函数。对一般非负可测 f，定义

\int f\,d\mu \;=\; \sup\!\left\{\int s\,d\mu \;:\; 0 \le s \le f,\; s \text{ 简单}\right\}.

其中「可测函数」的意思是：对任意实数 α，{f > α} 都是可测集。这正是「能按值域切」的最低要求。

第三步：一般可测函数。把 f 拆为正部 f⁺ = max(f, 0) 与负部 f⁻ = −min(f, 0)，分别积分后取差：

\int f\,d\mu \;=\; \int f^+\,d\mu \;-\; \int f^-\,d\mu.

右边两项都有限就叫 f Lebesgue 可积（也叫 L¹）。

狄利克雷函数的判决

带着这套构造回头看狄利克雷函数 D(x)。它本身已经是简单函数 D = 1·𝟙_{ℚ∩[0,1]} + 0·𝟙_{[0,1]∖ℚ}。Lebesgue 积分立即给出

\int_{[0,1]} D\,d\mu \;=\; 1 \cdot \mu\bigl(\mathbb{Q} \cap [0,1]\bigr) \;+\; 0 \cdot \mu\bigl([0,1]\!\setminus\!\mathbb{Q}\bigr) \;=\; 0.

整个理论里曾让 Riemann 束手无策的怪兽，被 Lebesgue 一招化解：因为有理数测度为零，函数在那里取什么值都不影响积分。这种「忽略零测集」的本事，是 Lebesgue 积分相对 Riemann 最直接的优势。

更深的洞见：跳过「点-线长度」裂缝，重铸切割与加法

到这里我们必须停下来追问一个比「横切还是纵切」更深的问题。横切和纵切都只是表层视角的切换，真正的范式跃迁不在切的方向，而在「切」与「加」这两个动作本身被重新定义了。要看见这一点，得回到一个被两千年数学回避的认识论裂缝。

裂缝：点为什么没长度，线段为什么有？

从 Zeno 到 Cantor，几何的根基处一直留着一道哲学性裂缝——点是零维的，没有长度；线段由点组成，却有正长度。无穷多个长度为 0 的对象怎么组装出一个长度为 1 的对象？这是 Zeno 悖论的核心，也是 18 世纪以前微积分基础不稳的真正源头。

\underbrace{\text{长度}([0,1])}_{= 1} \;\;\overset{?}{=}\;\; \sum_{x \in [0,1]} \underbrace{\text{长度}(\{x\})}_{= 0} \;\;=\;\; 0.

Riemann 积分对这道裂缝采取「迂回」策略：他不直接定义点的长度，而是用分割收敛——把区间切成有限多段，再令最大段宽 → 0。极限掩盖了"点-线"问题，但没有解决它。一旦遇到 Dirichlet 函数这种"点级行为决定一切"的怪物，Riemann 框架就立即失效——因为它的可积性根本上仍依赖几何分割的连续性。

Lebesgue 的釜底抽薪：直接公设「有长度的对象」

Lebesgue 的解法不是改进逼近、不是优化分割，而是从根上跳过整个"点-线长度"问题。他做了一个看似简单却革命性的动作：

不再问「点为什么没长度而区间有长度」，而是直接公设一类「有长度的对象」（可测集），赋予它们测度，然后只在这些对象之间工作。

具体地：测度 μ 不是从更基础的"点的长度"推导出来的，而是从两条公理直接定义的——空集测度为零，加上可数可加性。测度从一开始就是一个集合层面的原始概念，不再被要求由点的长度组装而成。这等于把"点-线长度"裂缝整段切除：

\text{Riemann}: \text{点} \;\to\; \text{区间} \;\to\; \text{长度} \;\to\; \text{积分} \quad(\text{底层裂缝未填}).

\text{Lebesgue}: \;\;\underbrace{\text{可测集}}_{\text{原始对象}} \;\xrightarrow{\;\mu\;}\; \underbrace{\text{长度}}_{\text{公理给定}} \;\to\; \text{积分} \quad(\text{底层裂缝跳过}).

这是 Lebesgue 思想真正的元层级动作。它和欧几里得直接公设"点、线、面"而不解释它们是什么、和 Hilbert 直接公设"自然数 0 与后继"而不追问"什么是数"——是同一种数学手法：把不可还原的认识论问题转化为公理。从此以后，分析学不再背负"点为什么没长度"这条债。

新「切割」：从几何分段到集合不交分解

切割的对象、方式、结果都被重铸：

\begin{array}{l|l|l} \text{} & \text{Riemann 切割} & \text{Lebesgue 切割} \\ \hline \text{对象} & \text{区间 }[a,b] & \text{可测集 } E \\ \text{方式} & \text{有限多段几何分割} & \text{可数多个不交可测子集} \\ \text{结果} & \text{各段仍是区间(有长度)} & \text{各块仍是可测集(有测度)} \\ \text{封闭性} & \text{依赖区间结构} & \text{由 σ-代数公理保证} \end{array}

Riemann 的切是几何切割，依赖区间这个特定形状；Lebesgue 的切是集合论切割——把任何可测集分解为可数多个不相交可测子集，分解结果天然落在 σ-代数内（这正是 σ-代数被设计成对可数并/差封闭的原因）。切割不再操作在「点的几何排列」上，而操作在「有长度的集合」之间。

新「加法」：可数可加性是公理化的无穷和

累积同样被重铸：

\begin{array}{l|l} \text{有限加法} & a_1 + a_2 + \cdots + a_n \quad (\text{代数运算}) \\ \text{Riemann 极限和} & \displaystyle \lim_{n \to \infty} \sum_{i=1}^n f(\xi_i)\,\Delta x_i \quad (\text{后验极限,由收敛保证}) \\ \text{Lebesgue 可数可加} & \displaystyle \mu\!\left(\bigsqcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \mu(A_n) \quad (\text{公理,无需逼近}) \end{array}

注意中间那一层：Riemann 的"无穷累加"不是真正的无穷加法，而是有限加法 + 极限——是被验证存在的极限，不是新加法。Lebesgue 把这一步彻底抽掉：可数可加性从一开始就是公理，可数无穷项的和被声明为合法运算，无需借助极限来"逼近"。这相当于把"无穷"内置进了加法本身。

这一公理化的代价非常具体——一旦把"无穷可加"写进定义，就必须接受不能给所有集合赋测度（Vitali 集存在，详见后文）；但回报也极其巨大——所有收敛定理（MCT、Fatou、DCT）都从这条公理直接推出，无需 ε-δ 的繁复论证。Lebesgue 不是改良了无穷的处理，而是重新定义了什么叫无穷加法。

本质：横切只是新算术系统的一个外显

把上面三段合起来看：

\boxed{\;\text{Lebesgue 积分} \;=\; \text{在「可测集 + 可数可加性」这套新算术系统中，对集合做不交分解后求和}.\;}

从这个高度回头看「横切胜于纵切」，会发现它只是新算术系统的一个外显症状——既然原始对象是可测集而非区间，按值域切（{f > y} 是集合）当然比按定义域切（[xᵢ₋₁, xᵢ] 仍是区间）更自然。但若把视角停在"切的方向"，就错过了真正的范式跃迁：从"用点组装长度"的几何思维，跃到"直接定义有长度的对象，再做集合代数"的公理思维。

这也是为什么概率论（Kolmogorov 1933）、调和分析、PDE、量子力学的态空间都能立刻嫁接到 Lebesgue 框架——它们都不需要"点的长度"这条债。它们要的，恰是"原始对象就是有大小的集合，并且无穷可加"这套新算术。Lebesgue 1902 年那篇博士论文真正给出的，不是积分的新定义，而是分析学的新底层运算。

勒贝格积分的核心思想：六大直觉性论断

承接上一节的元层级洞见，可以把整套 Lebesgue 理论压缩为六个直觉性论断——它们都是"新切割 + 新加法"在不同视角下的具体外显，把握它们就把握了从 Riemann 到 Lebesgue 的全部精神跃迁。

论断一：横切胜于纵切——拓扑让位于集合论

Riemann 的纵切「按 x 切」依赖于定义域的连续结构（区间分割），所以本质上是拓扑问题。Lebesgue 的横切「按 y 切」只问 {f > y} 这个集合「有多大」，所以本质上是集合论问题。

\text{Riemann}: \text{切定义域} \;\;\to\;\; \text{依赖连续性};\qquad \text{Lebesgue}: \text{切值域} \;\;\to\;\; \text{依赖测度}.

这是范式转移的核心：积分不再是「光滑曲线下的面积」，而是「函数取值的加权统计」。从此积分的舞台从分析学扩张到测度空间——任何能定义"集合大小"的地方都能定义积分（概率空间、流形、抽象群等）。

论断二：零测集可被忽略——「几乎处处」是新等价关系

Lebesgue 积分对函数的逐点取值不敏感——只要在零测集上修改 f 的值，积分不变。形式化为「几乎处处」（almost everywhere，简称 a.e.）等价：

f \;\sim\; g \;\Longleftrightarrow\; \mu\bigl(\{x : f(x) \ne g(x)\}\bigr) = 0.

这把"病态"函数（ℚ 上等于 1、ℝ∖ℚ 上等于 0）转化为它的 a.e. 等价类——后者只是常函数 0。换句话说，Lebesgue 积分自动屏蔽偶然性，把"骨干行为"提炼出来。这一思想是测度留给整个分析学最深的礼物：函数 = 等价类，而非具体的逐点公式。

论断三：测度即「加权长度」——Riemann 的算式被解放

Riemann 算式「长度 × 高度」中，长度是固定的几何量（区间宽度）。Lebesgue 把"长度"升级为测度：可以是 Lebesgue 测度（标准长度）、概率测度（事件概率）、Hausdorff 测度（分形维度）、计数测度（点的个数）、Dirac 测度（点质量）等等。

\int f\,d\mu \;=\; \begin{cases} \int f(x)\,dx, & \mu = \text{Lebesgue 测度} \\ \mathbb{E}[f] = \int f\,dP, & \mu = \text{概率测度} \\ \sum_n f(n), & \mu = \text{计数测度} \\ f(x_0), & \mu = \delta_{x_0} \end{cases}

所以 Lebesgue 积分把求和（Σ）、积分（∫）、期望（𝔼）、点求值统一为同一个抽象操作：选不同的 μ，就给出不同的具体形式。这个统一是数学家追求的终极优雅——一套理论解决无数表面不同的累加问题。

论断四：极限与积分几乎可交换——三大收敛定理是回报

Riemann 积分中 fₙ → f 几乎不能保证 ∫ fₙ → ∫ f。Lebesgue 把要求降到几乎免费：单调收敛（MCT）、控制收敛（DCT）、Fatou 引理三条定理给出极限可交换的几乎所有自然条件。

\lim_n \int f_n \,d\mu \;=\; \int \lim_n f_n \,d\mu \quad \text{(在 MCT/DCT 等条件下).}

这一性质让 Fourier 分析、概率论极限定理（大数定律、中心极限定理）、PDE 弱解理论的整套机器得以运转。Riemann 积分在这里寸步难行——Lebesgue 不是"更强的工具"，而是"能让极限自由活动的环境"。

论断五：函数空间获得几何——L^p 是 Banach 空间

Lebesgue 积分让函数集合本身变成完备的赋范空间。L¹、L²、L^p 在 Lebesgue 框架下不仅是函数集合，还是带距离、带 Cauchy 完备性的几何对象。

(L^p, \|\cdot\|_p) \text{ 是 Banach 空间};\quad (L^2, \langle\cdot,\cdot\rangle) \text{ 是 Hilbert 空间}.

这意味着函数可以"距离"、"投影"、"正交分解"——傅里叶展开成为 L² 的正交基展开，量子力学的态变成 L² 的单位向量，PDE 的解被允许在 L² 中先存在再回到光滑函数。Riemann 积分下的可积函数空间不完备，Cauchy 列可能逃出去；Lebesgue 把这些洞填上了。

论断六：可数可加性内置无穷——逼近从结果变公理

Riemann 积分用 inf/sup 做收敛逼近，"无限切分"是一个外加的极限过程。Lebesgue 测度的可数可加性把无穷切分内置进定义——任何可数多个不相交集合的并的测度自动等于测度之和。

\mu\!\left(\bigsqcup_{n=1}^\infty A_n\right) = \sum_{n=1}^\infty \mu(A_n) \quad \text{(可数可加性，公理).}

这把"逼近"从证明工具升格为结构事实——Lebesgue 积分就是可数可加性下的自然累积，所有收敛定理都从这条公理直接推出。这是为什么 Lebesgue 理论比 Riemann 理论"更深"：它把无穷的处理写进了底层规则。

六论断的关系图

六条论断不是松散排列，而是层层递进的同一思想：

\underbrace{\text{横切}}_{\text{论断 1}} \;\Rightarrow\; \underbrace{\text{零测可忽}}_{\text{论断 2}} \;\Rightarrow\; \underbrace{\text{测度即权重}}_{\text{论断 3}} \;\Rightarrow\; \underbrace{\text{极限可交换}}_{\text{论断 4}} \;\Rightarrow\; \underbrace{L^p \text{ 完备}}_{\text{论断 5}} \;\Rightarrow\; \underbrace{\text{可数可加}}_{\text{论断 6}}.

从最直观的"换种切法"出发，一路推到"无穷可加性是基底"——这正是勒贝格 1902 年那篇博士论文给整个二十世纪数学留下的隐形脚注。

三大收敛定理

但 Lebesgue 积分真正的杀手锏不在于「多收编几个怪函数」，而在于极限与积分可以交换。Riemann 积分中函数序列 fₙ → f 不一定能保证 ∫ fₙ → ∫ f，需要一致收敛这种很强的条件。Lebesgue 积分把要求降到了几乎免费。

1. 单调收敛定理（Monotone Convergence Theorem, Beppo Levi 1906）：

0 \le f_n \uparrow f \;\Longrightarrow\; \int f_n\,d\mu \;\uparrow\; \int f\,d\mu.

只要序列单调上升，极限可以自由地穿过积分号。证明依赖测度的连续性（递增并集的测度等于测度的极限）。

2. Fatou 引理（1906）：对任意非负可测序列，

\int \liminf_n f_n\,d\mu \;\le\; \liminf_n \int f_n\,d\mu.

它说极限可能让积分「变小」（质量逃跑到无穷），但不会无中生有。这是处理一切收敛证明的入门工具。

3. 控制收敛定理（Dominated Convergence Theorem，DCT）：若 fₙ → f 几乎处处，并存在可积函数 g 使 |fₙ| ≤ g a.e.，则

\lim_{n \to \infty} \int f_n\,d\mu \;=\; \int f\,d\mu.

这是 Lebesgue 积分理论中最常用的收敛定理。它的精神是：只要序列被一个可积「上盖」控制住，极限和积分就能交换。所有 Fourier 分析、概率论的极限定理证明都从它走出来。

Fubini 定理：积分顺序可以交换

多重积分中，"先对 x 积再对 y 积"与"先对 y 积再对 x 积"何时给出相同结果？Riemann 框架下需要连续性等强条件。Lebesgue 框架下条件干净得惊人——这就是Fubini–Tonelli 定理（1907、1909）：

\int_{X \times Y} f\,d(\mu \otimes \nu) \;=\; \int_X \!\left(\int_Y f(x, y)\,d\nu(y)\right) d\mu(x) \;=\; \int_Y \!\left(\int_X f(x, y)\,d\mu(x)\right) d\nu(y).

Tonelli 部分说：f 非负可测时，三种积分总相等（即使为 ∞）。Fubini 部分说：f 在乘积测度下可积时，三种积分相等且都有限。这条定理把"二重积分"和"逐次积分"在 Lebesgue 意义下一锤等同——是概率论中"独立随机变量乘积期望 = 期望乘积"的源头，也是 PDE 中卷积运算可交换顺序的依据。

Radon–Nikodym 定理：测度的"导数"

给定两个测度 μ、ν，能否把 ν 写成"f 倍 μ"的形式？也就是问 ν 相对 μ 是否有"密度"。Radon–Nikodym 定理（1913、1930）给出干净判据：

\nu \ll \mu \;\Longleftrightarrow\; \exists\, f \ge 0 \text{ 可测}, \; \nu(A) = \int_A f\,d\mu \;\;\forall\, A \text{ 可测}.

这里 ν ≪ μ 表示「μ(A) = 0 ⟹ ν(A) = 0」（ν 关于 μ 绝对连续）。函数 f 称为 ν 关于 μ 的Radon–Nikodym 导数，记 dν/dμ。这条定理把测度论彻底"微积分化"：测度间的"商"成为合法运算。它的应用：概率论中条件期望的形式化（𝔼[X|G] 即 X 关于条件测度的 Radon–Nikodym 导数）、统计中似然比、热力学中熵增定理（KL 散度 = ∫ log(dP/dQ) dP）。没有 Radon–Nikodym，现代概率论无法奠基。

L^p 空间：从积分到几何

Lebesgue 积分把函数集合本身变成了几何对象。对 1 ≤ p < ∞，定义

L^p \;=\; \left\{ f : \|f\|_p \,=\, \left(\int |f|^p\,d\mu\right)^{1/p} < \infty \right\}.

每一个 L^p（视零测集上不同的函数为同一个）都是 Banach 空间——也就是说，它是完备的赋范空间。这一完备性是 Riemann 积分理论里办不到的：在 Riemann 框架下，「Cauchy 列」可能逃出可积函数集。Lebesgue 积分让 L^p 的洞被填上了。

特别地，L² 是 Hilbert 空间——内积

\langle f, g\rangle \;=\; \int f\,\overline{g}\,d\mu.

「正交」「投影」「正交基」全部继承欧几里得几何的语言。傅里叶级数收敛的合适框架是 L²，量子力学的状态空间也是 L²——勒贝格的横切术不是技术细节，而是为后来的整个分析学准备好了几何舞台。

Hölder 不等式、Minkowski 不等式、对偶 (L^p)* = L^q（其中 1/p + 1/q = 1，1 < p < ∞）等结构性结果让 L^p 不只是函数集合，而是几何完整的对象，调和分析、PDE、概率论的整个框架都建立其上。

图 2：在有限测度空间下 L^p 嵌套——p 越大集合越小，越接近本质有界函数 L^∞。

绝对连续性：微积分基本定理在 Lebesgue 框架下的回归

Riemann 框架下微积分基本定理（FTC）说：若 f 连续，则 F(x) = ∫_a^x f(t) dt 可导且 F′ = f。Lebesgue 框架下这一定理被精化为对绝对连续函数（absolutely continuous）的精确刻画。

函数 F 在 [a,b] 上绝对连续，记 F ∈ AC[a,b]，定义为：对任意 ε > 0 存在 δ > 0，使任意有限多个不相交子区间 (aᵢ, bᵢ) 满足 Σ(bᵢ − aᵢ) < δ 时有 Σ|F(bᵢ) − F(aᵢ)| < ε。这比一致连续更强。

F \in AC[a,b] \;\Longleftrightarrow\; \exists\, f \in L^1[a,b]: \; F(x) = F(a) + \int_a^x f(t)\,dt.

而且此时 F 几乎处处可导，F′ = f a.e.。这条 FTC 的 Lebesgue 版让"原函数"概念彻底统一在测度论框架下。Cantor 函数是反例的典型：它连续、单调、几乎处处导数为 0，但 F(1) − F(0) = 1 ≠ ∫₀¹ F′ dμ = 0——它不绝对连续，FTC 失败。绝对连续性正是把这种"魔鬼楼梯"挡在 FTC 之外的过滤器。

积分计算的边界推进：黎曼算不出而勒贝格能算的具体例子

抽象的范式跃迁到底带来了哪些"原本算不出现在能算"的具体收益？这一节给出六个经典例子——前五个是黎曼不可积、勒贝格可积的函数（勒贝格扩张了可计算的函数类）；最后一个反向例子是广义黎曼可积、勒贝格不可积的函数（说明 Lebesgue 不是简单的"超集"，而是要求"绝对可积"的不同框架）。

例 1：狄利克雷函数 D(x) = 𝟙_{ℚ}(x)

第十九世纪的"积分怪物"。在 [0,1] 上处处不连续，黎曼意义下 U − L = 1，不可积。勒贝格框架下它本身是简单函数：

\int_{[0,1]} \mathbf{1}_{\mathbb{Q}}\,d\mu \;=\; 1 \cdot \mu(\mathbb{Q} \cap [0,1]) + 0 \cdot \mu([0,1]\!\setminus\!\mathbb{Q}) \;=\; 0.

因为 ℚ 是可数集合，由可数可加性自动得 μ(ℚ) = 0，所以这个积分一招化解。这是勒贝格扩张的入门样本，但并不算最典型——下一个例子才是真正的"黎曼也愿意接受却接不住"。

例 2：胖 Cantor 集（fat Cantor set）的特征函数 𝟙_C

构造方法：从 [0,1] 出发，每次在中间挖去长度为 1/4ⁿ 的小区间（而不是 Cantor 经典的 1/3ⁿ），剩下的极限集合 C 是一个紧致、无内点、不可数的"胖 Cantor 集"，测度为正：

\mu(C) \;=\; 1 - \sum_{n=1}^\infty 2^{n-1} \cdot \frac{1}{4^n} \;=\; 1 - \frac{1}{2} \;=\; \frac{1}{2}.

黎曼立场：𝟙_C 的不连续点集等于 C 的边界 ∂C = C（因为 C 无内点），测度为 1/2 > 0。由 Lebesgue 判据，𝟙_C 不是黎曼可积的。

勒贝格立场：C 是 Borel 集，𝟙_C 是简单函数，

\int_{[0,1]} \mathbf{1}_C\,d\mu \;=\; \mu(C) \;=\; \frac{1}{2}.

这是真正的"黎曼眼睁睁看着却算不出"的例子——函数取值是 0 或 1 这种最简单的形态，但不连续点过于密集；勒贝格直接读出测度值。

例 3：Volterra 函数的导数 V′（1881 历史动机）

意大利数学家 Volterra 1881 年构造了一个函数 V: [0,1] → ℝ，它处处可导且导数有界，但 V′ 不是黎曼可积的——直接动摇了"可导函数的导数总能用 Riemann 积分还原"这一信念。

构造思路：取胖 Cantor 集 C（如例 2），在 [0,1]∖C 的每个开区间 (a, b) 上嵌入一个紧支集的可导小函数 f_{a,b}（基于 x² sin(1/x) 模式的修剪）。结果 V 整体可导，V′ 在 [0,1]∖C 上有定义，但 V′ 在 C 上振荡剧烈，使得 V′ 的不连续点集恰为 C，测度 1/2 > 0——黎曼判据失败。

\boxed{V \in C^1\text{ish}, \; V' \text{ 有界} \;\;\Rightarrow\;\; V' \text{ 黎曼不可积};\quad V' \in L^1, \;\; \int_0^1 V'\,d\mu \;=\; V(1) - V(0).}

这正是勒贝格 1902 年博士论文要解决的历史动机之一：让 FTC 在尽可能广的可导函数类上重新成立。在勒贝格框架下，V′ ∈ L¹，且如果 V 绝对连续（Volterra 的构造稍加调整即满足），FTC 直接成立。积分理论的扩张是被这类反例逼出来的，不是数学家的炫技。

例 4：黎曼可积序列的极限——逐点收敛保住积分

把 ℚ ∩ [0,1] 列成 q₁, q₂, q₃, … 定义

f_n(x) \;=\; \mathbf{1}_{\{q_1, q_2, \dots, q_n\}}(x).

每个 fₙ 只在有限点处取 1（其余为 0），不连续点是有限集（测度 0），因此黎曼可积且 ∫fₙ = 0。但 fₙ 逐点上升收敛到狄利克雷函数 D = 𝟙_ℚ——黎曼框架下这个极限不可积，于是出现"序列可积但极限不可积"的尴尬。

勒贝格框架下，每个 fₙ 是简单函数（也是 L¹），单调收敛定理（MCT）直接给出：

\lim_{n \to \infty} \int f_n\,d\mu \;=\; \int \lim_{n \to \infty} f_n\,d\mu \;=\; \int \mathbf{1}_{\mathbb{Q}}\,d\mu \;=\; 0.

极限号与积分号交换不仅成立，而且极限本身可积——这是 Lebesgue 比 Riemann 多出的关键能力：可积函数类对逐点极限封闭（在 MCT/DCT 条件下）。Riemann 的"可积函数集"则会被极限击穿。

例 5：任意 Borel 集的特征函数与一般可数叠加

更一般地，对 [0,1] 上任何 Borel 集 E（包括开集、闭集、Gδ 集、Fσ 集、它们的可数并差等），有

\int_{[0,1]} \mathbf{1}_E\,d\mu \;=\; \mu(E).

而黎曼框架对此普遍失效——只有 E 的边界 ∂E 测度为零时 𝟙_E 才黎曼可积，绝大多数 Borel 集都不满足此条件。再进一步，对任意可数叠加

g(x) \;=\; \sum_{n=1}^\infty c_n\,\mathbf{1}_{E_n}(x), \quad c_n \ge 0,\; E_n \text{ Borel}, \;\; \sum c_n \mu(E_n) < \infty,

勒贝格框架可以直接计算 ∫g dμ = Σ cₙ μ(Eₙ)（由单调收敛定理），而黎曼框架对几乎所有这种 g 都束手无策。整个概率论中"离散+连续"混合分布的形式化都依赖这一计算能力——离散部分是点质量，连续部分是密度，二者用同一个 Lebesgue 积分公式统一处理。

例 6（反向）：广义黎曼可积但勒贝格不可积——sin x / x

对 f(x) = sin(x)/x（在 x = 0 处约定 f(0) = 1），有著名的 Dirichlet 积分

\int_0^\infty \frac{\sin x}{x}\,dx \;=\; \frac{\pi}{2} \quad (\text{广义黎曼意义下条件收敛}).

但勒贝格意义下要求"绝对可积"，即 ∫|f| dμ < ∞。而

\int_0^\infty \left|\frac{\sin x}{x}\right| dx \;=\; \sum_{n=0}^\infty \int_{n\pi}^{(n+1)\pi} \frac{|\sin x|}{x}\,dx \;\ge\; \sum_{n=1}^\infty \frac{2}{(n+1)\pi} \;=\; \infty.

所以 sin(x)/x ∉ L¹([0, ∞))，勒贝格意义下不可积。这一例子表明 Lebesgue 不是 Riemann 的简单超集——二者在"瑕积分条件收敛"那一类函数上分道扬镳。物理学家用 Cauchy 主值或广义黎曼意义来处理此类积分，数学家则在 L¹ 严格框架内放弃它（必要时用 Schwartz 分布或振荡积分理论补救）。

七大类的完整谱系

把上面六个例子和其余典型场景汇成一表：

\begin{array}{l|c|c|l} \text{函数} & \text{Riemann} & \text{Lebesgue} & \text{说明} \\ \hline \mathbf{1}_{\mathbb{Q}} & \times & \checkmark = 0 & \text{Dirichlet：可数集测度为零} \\ \mathbf{1}_C \;(\text{胖 Cantor}) & \times & \checkmark = \mu(C) & \text{不连续点正测度} \\ V' \;(\text{Volterra}) & \times & \checkmark = V(1)-V(0) & \text{有界可导但导数 R-不可积} \\ \lim_n f_n \;(\text{逐点列举}) & \times & \checkmark & \text{黎曼对极限不封闭} \\ \mathbf{1}_E \;(\text{任意 Borel}) & \text{常常} \times & \checkmark = \mu(E) & \text{σ-代数全覆盖} \\ \dfrac{\sin x}{x} \text{ 在 }[0,\infty) & \checkmark = \pi/2 \;(\text{广义}) & \times & \text{条件收敛, 不绝对可积} \\ \text{所有连续函数} & \checkmark & \checkmark & \text{两者一致 (Riemann 子集)} \end{array}

计算意义的总结

把上面所有例子拢起来，Lebesgue 给积分计算带来的具体扩展可以归纳为四点：

覆盖了所有 Borel 集的特征函数
——黎曼只能算边界测度为零的，勒贝格全部能算
对逐点极限封闭
——MCT/DCT 让积分号与极限号自由交换，而黎曼的可积函数集会被极限击穿
恢复了"导数总能积回原函数"的 FTC
——绝对连续函数的 FTC 比黎曼版本宽得多（Volterra 反例不再出现）
把离散与连续合并为一个公式
——∫f dμ 同时容纳概率密度和点质量，无需分情况讨论

代价是：放弃了条件收敛的广义黎曼积分（sin x/x 等）。这一取舍是公理化无穷加法（可数可加性）的逻辑必然——一旦把"无穷可加"写进定义，就不能容许"和的次序变了答案就变"的现象，所以只接受绝对可积。勒贝格不是更宽容，而是更精确：在它接受的函数类上，积分行为完全可控。

测度论的代价：不可测集

所有这些好处不是免费的。1905 年 Vitali 用选择公理（axiom of choice）构造了一个不能在 Lebesgue 测度下赋值的集合。它的构造是把 [0,1] 按「相差有理数」分类，再从每类里选一个代表元。这一集合的 Lebesgue 测度若存在，由可数可加性会推出矛盾。

Vitali 集的存在告诉我们：不是「所有」集合都能被赋测度，只能赋给一类「足够好」的集合（叫 σ-代数）。这是 Lebesgue 理论留下的、最深的结构性事实。Banach–Tarski 悖论（1924）则把这一事实推向极致：在 ℝ³ 中可以把一个球「分解」成有限块，再通过旋转拼成两个相同大小的球——前提是允许使用不可测的集合。

这是数学家不得不接受的妥协：要么放弃可数可加性，要么接受不可测集存在。Lebesgue 选择了后者。

结语：累积是一个集合论问题

从 Riemann 到 Lebesgue，积分理论的真正变化不是技术，而是视角。Riemann 把积分看作「沿定义域累加」，本质上仍是几何问题；Lebesgue 把积分看作「按取值集合的大小累加」，本质上是集合论问题。这一转身让积分不再依赖函数的连续性这种「拓扑性质」，而依赖集合的测度这种「集合性质」。

这一转身的回报是惊人的：极限定理变得清晰、函数空间变得完备、傅里叶分析有了正确舞台、概率论拥有了形式化基础（柯尔莫哥洛夫 1933 年的公理化就是 Lebesgue 测度论的直接产物）、量子力学的态空间得以严格定义。后来的现代数学，几乎都建立在 Lebesgue 留下的这套框架之上。

第九章微积分的核心叫「局部线性化」；第十章积分理论的核心叫「集合的测度」。两件事看起来不同，背后却是同一种数学习惯：先用足够柔顺的对象（线性映射、简单函数）逼近，再把局部信息累积成全局结论。

与下章纽带

积分理论让「累积」严格化，但还有一个问题没回答：简单函数到底能逼近多复杂的函数？第十一章我们会从泰勒展开（多项式逼近一个函数的局部）讲到 Weierstrass 定理（多项式可以一致逼近任何连续函数），再到 Stone–Weierstrass 定理（更广的代数结构都有逼近能力）。逼近论是分析学最深处的引擎——本章的「简单函数逼近」是其中最朴素的一种实例。