勒贝格定理与黎曼可积(勒贝格与黎曼可积)

从黎曼到勒贝格：积分理论的范式转移

在数学分析的宏大叙事中，积分理论的发展犹如一条蜿蜒的河流，从最初直观的面积计算，逐渐演变为现代测度论中深邃而抽象的结构。其中，黎曼积分（Riemann Integral）与勒贝格积分（Lebesgue Integral）构成了这一演变的两个核心里程碑。 本文将围绕“勒贝格定理”（通常指勒贝格控制收敛定理或勒贝格可积性准则）与“黎曼可积性”展开讨论，深入剖析两者之间的本质区别、联系以及为何勒贝格积分成为现代分析学的基石。

一、 黎曼积分：直观的局限

黎曼积分诞生于19世纪，其核心思想基于函数的定义域分割。

1.1 定义回顾

对于一个有界函数 ，黎曼积分通过以下方式定义： 1. 将区间 分割成若干小区间。 2. 在每个小区间内选取一个样本点，计算函数值与区间长度的乘积（黎曼和）。 3. 当分割的细度趋于零时，若黎曼和收敛于一个确定的极限，则该极限即为黎曼积分 。

1.2 黎曼可积的充要条件

黎曼可积性有一个著名的判定准则——勒贝格判据的前身： 一个有界函数 在 上黎曼可积，当且仅当其不连续点的集合是零测集（measure zero）。 尽管这个判据揭示了黎曼可积性的本质，但黎曼积分在处理极限过程时存在显著缺陷：

• 极限与积分交换困难：即使函数序列 逐点收敛于 ，且每个 都是黎曼可积的， 往往不等于 。
• 对“病态”函数无能为力：例如狄利克雷函数（Dirichlet function，在有理数取1，无理数取0），其不连续点遍布整个区间，因此不可黎曼积分，尽管它在直观上似乎“几乎处处”为0。

二、 勒贝格积分：视角的革命

亨利·勒贝格（Henri Lebesgue）在1902年的博士论文中提出了积分理论的新范式。他的核心洞见在于：不再分割自变量（定义域），而是分割因变量（值域）。

2.1 核心思想

勒贝格积分通过以下步骤构建： 1. 将函数的值域 分割成若干小区间。 2. 对于值域的每个小区间，找出原像集合（即函数值落在该区间的 的集合）。 3. 计算这些原像集合的测度（Measure），并与函数值相乘求和。 4. 取极限得到勒贝格积分。 这种从“垂直切割”到“水平切割”的转变，使得积分能够处理更广泛的函数类，特别是那些在定义域上极其不规则的函数。

2.2 勒贝格可积性

一个函数 是勒贝格可积的，如果其绝对值的积分有限： 勒贝格积分天然地包含了黎曼积分：任何黎曼可积函数也是勒贝格可积的，且积分值相等。 但反之不成立。勒贝格积分成功地将狄利克雷函数纳入了积分体系（其积分为0），因为它在勒贝格测度下几乎处处为0。

三、 勒贝格定理：分析学的强大工具

当我们谈论“勒贝格定理”时，通常指的是勒贝格控制收敛定理（Lebesgue Dominated Convergence Theorem, LDCT）或勒贝格单调收敛定理。这些定理解决了黎曼积分中最令人头疼的问题：极限与积分的交换。

3.1 勒贝格控制收敛定理（LDCT）

这是现代分析学中最有力的工具之一。其表述如下： 设 是定义在测度空间 上的可测函数序列，且 几乎处处收敛。如果存在一个勒贝格可积函数 （称为控制函数），使得对于所有 和几乎处处的 ，都有： 那么： 1. 是勒贝格可积的。 2. 极限与积分可以交换：

3.2 为什么这很重要？

在黎曼积分框架下，要保证 ，通常需要函数序列一致收敛。一致收敛是一个极强的条件，在许多实际问题（如傅里叶级数、偏微分方程解的存在性）中难以满足。 勒贝格控制收敛定理放宽了这一要求：

• 只需逐点收敛（几乎处处）。
• 只需存在一个可积的控制函数来“压制”函数序列的增长。

这使得数学家能够在更宽松的条件下进行极限运算，极大地推动了概率论、泛函分析和调和分析的发展。

四、 黎曼可积与勒贝格可积的深度比较

特性	黎曼积分 (Riemann)	勒贝格积分 (Lebesgue)
分割基础	分割定义域（自变量）	分割值域（因变量）
可积函数类	较窄，要求不连续点集为零测集	更广，包含所有黎曼可积函数及更多
极限交换	需一致收敛等强条件	需控制函数或单调性（LDCT）
几何直观	矩形面积之和	基于集合测度的加权平均
适用领域	初等微积分、连续函数分析	现代分析、概率论、PDE、泛函分析

4.1 一个经典例子：狄利克雷函数

考虑 在 上。

• 黎曼视角：在任何子区间内，既有有理数也有无理数，上黎曼和为1，下黎曼和为0，两者不相等，故不可积。
• 勒贝格视角：有理数集是可数集，其勒贝格测度为0。因此 几乎处处等于0。故 。可积。

这个例子清晰地展示了勒贝格积分对“稀疏”奇点的包容性。

五、 结语：范式的胜利

从黎曼到勒贝格，不仅是积分定义的推广，更是数学思维方式的深刻变革。黎曼积分以其直观的几何意义，在工程和基础科学中依然占据重要地位；但勒贝格积分凭借其强大的收敛定理和广泛的适用性，成为了现代数学分析的通用语言。 勒贝格控制收敛定理等工具，使得数学家能够从容地处理极限、无穷级数和不连续函数，从而打开了通往泛函空间、随机过程和量子力学的大门。可以说，没有勒贝格积分，就没有现代分析学的繁荣。 理解黎曼可积与勒贝格定理之间的关系，不仅是掌握积分理论的关键，更是进入高级数学殿堂的必要阶梯。它提醒我们：有时，为了看到更广阔的真理，我们需要改变观察问题的视角——从分割空间，转向度量集合。