第 2 章 · 勒贝格积分的构造

测度就位，开始造积分。勒贝格积分的构造像下楼梯：从简单函数出发，向上逼近一般函数——每一步都清楚可算。

三级台阶

1. 简单函数 $\varphi = \sum a_k \chi_{E_k}$（有限个水平层）：定义 $\int\varphi = \sum a_k\, m(E_k)$——积分就是"加权层高"。 2. 非负可测函数：$\int f = \sup\{\int\varphi : \varphi \le f,\ \varphi\ \text{简单}\}$——用下方简单函数托上去。单调收敛定理（下节）保证这定义与逐层逼近一致。 3. 一般函数：正负部 $f = f^+ - f^-$，两者积分都可数时 $\int f = \int f^+ - \int f^-$（都无穷时积分无定义）。

与黎曼积分的关系

有界区间上黎曼可积 ⟹ 勒贝格可积且积分相等；反过来不成立：Dirichlet 函数勒贝格积分干脆利落地等于 0（有理点集零测）——黎曼的病，勒贝格顺手治好。判据（Lebesgue）：有界函数黎曼可积 ⟺ 间断点集零测——"几乎处处连续"的严格出生地。

可积函数的空间

$L^1$：可积函数全体按"几乎处处相等"认同，配范数 $\|f\|_1 = \int|f|$。它完备（柯西列必收敛——黎曼可积函数空间做不到），完备化正是勒贝格理论的另一大卖点。控制收敛定理（下一节主角）使 $L^1$ 里极限与积分可交换：$\int\lim f_n = \lim\int f_n$ 有了合法通道。

老师的提醒

• 计算勒贝格积分的日常手段仍是"几乎处处等于某个黎曼可积函数"——测度论改变的是理论适用范围，不是逐题计算方式。
• "几乎处处"（a.e.）是本章的万能连词：改变零测集上的值，积分、可测性全部不变。

自检

• 复述勒贝格积分的三级构造。
• Dirichlet 函数为什么黎曼不可积、勒贝格可积？
• $L^1$ 的完备性比黎曼可积函数空间强在哪？

更深一层：从"切竖条"到"按高度分层"的世界观转换

黎曼与勒贝格对同一块有界区域的计数方式截然相反：黎曼按定义域切竖条（每条内函数要"基本均匀"才有好近似），勒贝格按值域横切（"函数值落在 $[a, a+da)$ 层的点有多少测度"）。横切的世界观优势在处理"乱序"：函数再不规矩，只要"每一层的点集可测"，分层求和就能进行。这就是为什么勒贝格积分能吞下 Dirichlet 函数（两层：有理层零测、无理层满测）而黎曼被竖条间的剧烈抖动逼疯。积分理论的代际更替，本质是分割方向的旋转——这句话值得作为本章的总纲。

三级构造（简单函数 → 非负可测 → 一般函数 = 正负部之差）的每级都有"合法边界"：非负级允许 $+\infty$（单调收敛定理要它）、变号级强制正负部都有限（否则积分无定义）。工程读法：一个可积函数 = 两块有限能量之差；能量无限的函数只能谈"广义积分"并逐项审视。

推导细读：与黎曼积分的"和解仪式"

两套积分在有界区间上对连续函数给出相同值——证明的枢纽是一致连续性（紧区间上的连续自动一致连续），它保证黎曼上下和可以任意收紧，而勒贝格上下逼近又恰好夹住同一数值。分界线由 Lebesgue 判据画出：有界函数黎曼可积 ⟺ 间断点集零测。判据的两个方向都有名字：$f = \chi_{\mathbb{Q} \cap [0,1]}$ 间断 everywhere ⟹ 不可积；$f$ 间断于 Cantor 集（零测）⟹ 可积。"几乎处处连续"这个模糊的工程口语，在这里获得了零测集的精确户口。

专题深入：从"切竖条"到"按高度分层"的世界观转换完整版

黎曼与勒贝格对同一块有界区域的计数方式截然相反：黎曼按定义域切竖条（每条内函数要"基本均匀"才有好近似），勒贝格按值域横切（"函数值落在 $[a, a+da)$ 层的点有多少测度"）。横切的世界观优势在处理"乱序"：函数再不规矩，只要"每一层的点集可测"，分层求和就能进行。这就是为什么勒贝格积分能吞下 Dirichlet 函数（两层：有理层零测、无理层满测）而黎曼被竖条间的剧烈抖动逼疯。积分理论的代际更替，本质是分割方向的旋转——这句话值得作为本章的总纲。

数学细节展开：三级构造的"合法边界"

勒贝格积分的三级构造（简单函数 → 非负可测 → 一般函数 = 正负部之差）的每级都有"合法边界"：非负级允许 $+\infty$（单调收敛定理要它）、变号级强制正负部都有限（否则积分无定义）。工程读法：一个可积函数 = 两块有限能量之差；能量无限的函数只能谈"广义积分"并逐项审视。与黎曼积分的"和解仪式"（Lebesgue 判据：有界函数黎曼可积 ⟺ 间断点集零测）把两套积分的关系彻底说清——"几乎处处连续"这个模糊的工程口语，在这里获得了零测集的精确户口。

工程案例细节：可积函数空间的"完备性"实战

$L^1$ 的完备性（柯西列必收敛）是勒贝格理论最硬的战果：黎曼可积函数空间的柯西列可以没有黎曼可积的极限（点态极限的 Dirichlet 型函数列）——完备化正是勒贝格理论的另一大卖点。"极限运算的容忍度大幅提高"——这就是"勒贝格比黎曼强"的精确含义，也是"为什么现代分析用勒贝格"的技术理由。