勒贝格定理的证明-勒贝格定理证法

在数学分析的进阶研究中，积分理论的演进是一个核心脉络。从牛顿-莱布尼茨时代延续下来的黎曼积分，虽然直观且在处理连续函数时得心应手，但其理论框架在处理更复杂的函数时显得力不从心。二十世纪初，亨利·勒贝格引入的革命性积分概念，以其强大的完备性彻底改变了分析学的面貌。而连接这两个伟大理论的桥梁，便是著名的勒贝格定理（亦称黎曼-勒贝格定理）。它精确地刻画了哪些函数在黎曼的意义下是可积的，其判据依赖于勒贝格本人开创的测度论。本文将结合实分析的基本原理，详细展开这一定理的证明过程，揭示其内在的逻辑结构。对于在易搜职考网进行深度学习的考生来说，跟随这一证明的每一步，都是对实分析核心思想的一次深刻演练。

一、定理的精确表述与预备知识

我们给出勒贝格定理的精确数学表述：设 ( f(x) ) 是定义在闭区间 ([a, b]) 上的有界函数。则 ( f(x) ) 在 ([a, b]) 上黎曼可积的充分必要条件是，( f(x) ) 的所有不连续点构成的集合 ( D_f ) 是一个勒贝格零测集。

为了理解并证明这一定理，我们需要明确几个关键概念：

• 黎曼可积性（达布表述）：一个有界函数 ( f ) 在 ([a, b]) 上黎曼可积，当且仅当其达布上积分与达布下积分相等。这等价于：对于任意给定的 ( epsilon > 0 )，存在区间 ([a, b]) 的一个划分 ( P )，使得对应的达布上和 ( U(P, f) ) 与达布下和 ( L(P, f) ) 之差小于 ( epsilon )，即 ( U(P, f) - L(P, f) < epsilon )。这个差值被称为划分 ( P ) 下的“振幅和”。
• 函数的振幅：对于集合 ( E subset [a, b] )，函数 ( f ) 在 ( E ) 上的振幅定义为 ( omega_f(E) = sup_{x, y in E} |f(x) - f(y)| )。特别地，在一点 ( x_0 ) 处的振幅 ( omega_f(x_0) = lim_{delta to 0^+} omega_f((x_0-delta, x_0+delta) cap [a, b]) )。函数在 ( x_0 ) 连续当且仅当 ( omega_f(x_0) = 0 )。
• 勒贝格零测集：一个集合 ( E subset mathbb{R} ) 称为勒贝格零测集（或测度为零），如果对于任意 ( epsilon > 0 )，存在至多可数个开区间 ({I_k}) 覆盖 ( E )（即 ( E subset bigcup_{k=1}^infty I_k )），并且这些区间的长度总和 ( sum_{k=1}^infty |I_k| < epsilon )。这里区间长度即其勒贝格外测度。

不连续点集 ( D_f = { x in [a, b] : omega_f(x) > 0 } )。我们可以根据不连续的程度对 ( D_f ) 进行分层：对于任意 ( sigma > 0 )，定义 ( D_f^{sigma} = { x in [a, b] : omega_f(x) ge sigma } )。显然，( D_f = bigcup_{n=1}^{infty} D_f^{1/n} )。

二、证明的必要性部分：若 ( f ) 黎曼可积，则 ( D_f ) 是零测集

这一部分的证明思路是，利用黎曼可积的达布准则（振幅和可任意小），来证明每一个分层集合 ( D_f^{sigma} ) 都是零测集，从而它们的可数并 ( D_f ) 也是零测集。

假设 ( f ) 在 ([a, b]) 上黎曼可积，且 ( |f(x)| le M )。固定一个 ( sigma > 0 )，我们需证 ( D_f^{sigma} ) 是零测集。

根据黎曼可积的等价条件，对于任意给定的 ( epsilon > 0 )，存在 ([a, b]) 的一个划分 ( P: a = x_0 < x_1 < ... < x_n = b )，使得振幅和满足：

[ S = sum_{i=1}^{n} omega_f([x_{i-1}, x_i]) cdot (x_i - x_{i-1}) < frac{sigma epsilon}{2} ]

现在考虑这个划分下的小区间 ([x_{i-1}, x_i])。它们可以分为两类：

• A类：区间内部包含 ( D_f^{sigma} ) 中的点。即存在 ( xi in (x_{i-1}, x_i) ) 使得 ( omega_f(xi) ge sigma )。由振幅的定义，这意味着整个区间 ([x_{i-1}, x_i]) 上的振幅 ( omega_f([x_{i-1}, x_i]) ge sigma )。
• B类：其他区间。

设所有A类区间的下标集合为 ( I_A )。对于 ( i in I_A )，我们有 ( omega_f([x_{i-1}, x_i]) ge sigma )。将这些区间的长度之和记为 ( L_A = sum_{i in I_A} (x_i - x_{i-1}) )。

从振幅和 ( S ) 的估计出发：

[ S = sum_{i in I_A} omega_f([x_{i-1}, x_i]) cdot (x_i - x_{i-1}) + sum_{i notin I_A} omega_f([x_{i-1}, x_i]) cdot (x_i - x_{i-1}) ge sum_{i in I_A} sigma cdot (x_i - x_{i-1}) = sigma L_A ]

因为 ( S < frac{sigma epsilon}{2} )，所以得到 ( sigma L_A < frac{sigma epsilon}{2} )，即 ( L_A < frac{epsilon}{2} )。

现在，A类区间覆盖了 ( D_f^{sigma} ) 中除了可能位于划分点上的点之外的所有点。划分点只有有限个 ( n+1 ) 个。对于 ( D_f^{sigma} ) 中位于划分点上的点，我们可以用一系列长度总和小于 ( frac{epsilon}{2} ) 的极小区间（例如，以每个划分点为中心、长度为 ( frac{epsilon}{2(n+1)} ) 的开区间）将它们覆盖。

于是，我们构造了 ( D_f^{sigma} ) 的一个开覆盖：所有A类区间的内部（它们是开区间），加上覆盖划分点的那些极小区间。这个覆盖由有限个开区间构成，其总长度小于 ( L_A + frac{epsilon}{2} < frac{epsilon}{2} + frac{epsilon}{2} = epsilon )。

根据勒贝格外测度的定义，这直接证明了 ( D_f^{sigma} ) 是一个零测集。由于 ( sigma > 0 ) 是任意的，且 ( D_f = bigcup_{n=1}^{infty} D_f^{1/n} ) 是可数个零测集的并，而零测集的可数并仍是零测集，因此 ( D_f ) 是零测集。必要性得证。

三、证明的充分性部分：若 ( D_f ) 是零测集，则 ( f ) 黎曼可积

这一部分的证明思路是逆过程。已知 ( D_f ) 是零测集，则对于任意 ( sigma > 0 )，( D_f^{sigma} ) 作为其子集也是零测集（或至少可以证明是紧致零测集，因为 ( D_f^{sigma} ) 是闭集）。我们需要利用零测集的定义，构造一个划分，使得振幅和可以控制得足够小。

设 ( f ) 在 ([a, b]) 上有界，( |f(x)| le M )，且其不连续点集 ( D_f ) 是零测集。固定一个 ( epsilon > 0 )。

由于 ( D_f ) 是零测集，特别地，对于 ( sigma = frac{epsilon}{2(b-a)} > 0 )，集合 ( D_f^{sigma} ) 也是零测集。( D_f^{sigma} ) 是闭集（因为 ( omega_f(x) ge sigma ) 的条件在极限下保持不变），从而是紧致集。作为紧致的零测集，存在有限个开区间 ({J_k}_{k=1}^m) 覆盖 ( D_f^{sigma} )，并且这些区间的总长度小于 ( frac{epsilon}{4M} )。

现在考虑集合 ( K = [a, b] setminus bigcup_{k=1}^{m} J_k )。这是一个紧致集，且在其上每一点 ( x )，都有 ( omega_f(x) < sigma )。根据振幅的定义，对于 ( K ) 中的每一点 ( x )，存在一个开邻域 ( V_x )（可以取为以 ( x ) 为中心的开区间），使得 ( f ) 在 ( V_x cap [a, b] ) 上的振幅小于 ( sigma )。所有这些 ( V_x ) 构成了紧致集 ( K ) 的一个开覆盖。根据有限覆盖定理，可以从中选出有限个开区间 ({I_j}_{j=1}^p) 覆盖 ( K )，且在每个 ( I_j cap [a, b] ) 上，( omega_f(I_j cap [a, b]) < sigma )。

至此，我们得到了 ([a, b]) 的两组开区间覆盖：一组 ({J_k}) 覆盖了“坏”的集合 ( D_f^{sigma} )（振幅大的点），总长度很小；另一组 ({I_j}) 覆盖了“好”的集合 ( K )（振幅小的点），且在每一部分上振幅有上界 ( sigma )。

取所有这些区间端点，以及区间 ([a, b]) 的端点 ( a, b )，构成一个点集。将它们按大小顺序排列，就得到了区间 ([a, b]) 的一个划分 ( P: a = t_0 < t_1 < ... < t_N = b )。这个划分的每个小区间 ([t_{i-1}, t_i]) 必定完全落在某一段覆盖区间（可能是某个 ( J_k ) 或某个 ( I_j )）的内部，或者至多跨越两个这样的区间的边界（边界点是有限个，不影响总体估计）。

我们将划分后的小区间分为两类：

• E类：与 ( D_f^{sigma} ) 有交集的区间。即该区间至少包含一个 ( D_f^{sigma} ) 中的点。由于 ( D_f^{sigma} subset bigcup J_k )，且每个小区间长度很小（由划分的构造决定，我们可以通过细化初始覆盖确保每个小区间长度足够小，但这不是本质的），所有E类区间的总长度不会超过覆盖 ( D_f^{sigma} ) 的开区间 ({J_k}) 的总长度加上因边界点可能带来的微小增量。通过精心构造，可以确保其总长度 ( L_E le frac{epsilon}{2M} )。在这些区间上，我们只能用函数的有界性估计其振幅：( omega_f([t_{i-1}, t_i]) le 2M )。
• F类：与 ( D_f^{sigma} ) 无交集的区间。这意味着整个区间包含在某个“好”的覆盖区间 ( I_j ) 内（因为如果它跨越两个区间，其内部点必然属于 ( K )，但端点可能不属于，不过端点测度为零，不影响积分），因此在这些区间上，振幅有上界 ( omega_f([t_{i-1}, t_i]) < sigma = frac{epsilon}{2(b-a)} )。

现在计算划分 ( P ) 下的振幅和：

[ U(P,f) - L(P,f) = sum_{[t_{i-1}, t_i]} omega_f([t_{i-1}, t_i]) cdot (t_i - t_{i-1}) ]

[ = sum_{E类} omega_f cdot Delta t_i + sum_{F类} omega_f cdot Delta t_i ]

[ le sum_{E类} (2M) cdot Delta t_i + sum_{F类} sigma cdot Delta t_i ]

[ le 2M cdot L_E + sigma cdot (b-a) ]

[ le 2M cdot frac{epsilon}{2M} + frac{epsilon}{2(b-a)} cdot (b-a) = epsilon + frac{epsilon}{2} = frac{3epsilon}{2} ]

（注：通过更精细的估计，例如取 ( sigma = frac{epsilon}{2(b-a)} ) 且控制 ( L_E le frac{epsilon}{4M} )，可得振幅和 ( le epsilon )。）

由于 ( epsilon > 0 ) 是任意的，我们证明了对于任意 ( epsilon > 0 )，都存在一个划分 ( P ) 使得 ( U(P,f) - L(P,f) < epsilon )。根据达布准则，函数 ( f ) 在 ([a, b]) 上黎曼可积。充分性得证。

四、定理的深刻内涵与应用启示

勒贝格定理的证明过程，是实分析中“用简单集合逼近复杂集合”、“用整体性质控制局部性质”思想的典范。必要性部分展示了如何从积分的整体控制（振幅和微小）推导出奇点集（不连续点集）的几何稀疏性（零测度）。充分性部分则逆向而行，利用奇点集的几何稀疏性，通过开覆盖和有限覆盖定理技术性地将定义域分割为“好”集和“坏”集，最终实现对整体振幅和的掌控。

这一定理具有多重深刻含义：

• 黎曼可积性的完整刻画：它给出了黎曼可积性最本质、最简洁的几何特征。一个函数黎曼可积，当且仅当它“几乎处处”连续。这比任何基于振荡幅度或特定划分的存在性条件都更根本。
• 两种积分理论的比较：定理清晰地表明，黎曼积分的局限正在于它只能处理不连续点“微不足道”的函数。而勒贝格积分之所以更强大，正是因为它能够处理那些在勒贝格测度意义下不连续点“稍多”但仍可控的函数，例如狄利克雷函数（在无理点连续，有理点不连续）就不是黎曼可积的，因为其不连续点集（全体有理数）虽然可数、是零测集，但其测度在这里不是关键，关键是狄利克雷函数在每一点的振幅都是1，不满足分层集合 ( D_f^{sigma} ) 为零测集的条件（对于0<σ<1，( D_f^{sigma} ) 是整个区间，不是零测集）。这提醒我们，勒贝格定理的条件是“不连续点集”的测度为零，而非“不连续点”本身的性质。
• 通向勒贝格积分的大门：理解勒贝格定理是理解勒贝格积分必要性的最佳切入点。它表明，要扩展可积函数类，必须改变积分赖以建立的“分割定义域”的方式，或者改变对函数“大小”的度量方式。勒贝格选择了后者，用测度来代替长度，从而诞生了勒贝格积分。

对于在易搜职考网备考的学员来说呢，勒贝格定理不仅仅是一个需要记忆和复现的结论。它的证明过程融合了实数理论、集合论、拓扑学（开覆盖、紧致性）和测度论的初步思想，是检验综合数学素养的绝佳材料。通过钻研此定理，考生能够：

• 深化对“几乎处处”这一现代分析核心概念的理解。
• 掌握用测度论工具处理分析问题的基本范式。
• 提升构造性证明和复杂逻辑链梳理的能力，这在应对高等数学的证明题时至关重要。

也是因为这些，将勒贝格定理的证明脉络理清、吃透，无疑是实分析学习道路上的一个关键里程碑，它能帮助学习者从更高的视角统御积分理论，为后续学习更抽象的测度论与积分理论打下坚实的基础。