黎曼积分的「玻璃心」#

来看一个经典的病态函数——狄利克雷函数：

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

这个函数在 $[0,1]$ 上黎曼可积吗？答案是不可积——因为无论你把区间切得多细，每个小区间里既有有理数又有无理数，上和永远等于 $1$，下和永远等于 $0$，极限不相等。

但直觉上，$[0,1]$ 上有理数的「数量」远远少于无理数，这个函数的积分「应该」是 $0$ 才对。勒贝格积分就是来解决这个问题的！

横着切，而不是竖着切#

勒贝格的天才之处在于换了一个视角。黎曼积分是竖着切——按定义域分割；勒贝格积分是横着切——按函数值分割。

具体来说，对于非负可测函数 $f$，我们把值域分成若干水平层：

$0 = y_0 < y_1 < y_2 < \cdots < y_n$

然后看每一层对应的定义域集合有多大：

$E_k = \{x : y_{k-1} \leq f(x) < y_k\}$

勒贝格积分的定义就是这些「水平切片」的加权和：

$\int f \, d\mu = \lim_{n \to \infty} \sum_{k=1}^{n} y_{k-1} \cdot \mu(E_k)$

其中 $\mu(E_k)$ 是集合 $E_k$ 的勒贝格测度——也就是这个集合的「长度」的推广。

测度：让「大小」变得更强大#

勒贝格测度的精妙之处在于，它不仅能测量区间的长度，还能测量非常复杂的集合。比如：

• $\mu([0,1]) = 1$（区间长度）
• $\mu(\mathbb{Q} \cap [0,1]) = 0$（有理数集是零测集）
• $\mu(\text{康托集}) = 0$（虽然不可数，但「瘦」得几乎没有长度）

回到狄利克雷函数：$D(x)$ 只在有理数上取 $1$，而有理数集是零测集，所以

$\int_{[0,1]} D(x) \, d\mu = 1 \cdot \mu(\mathbb{Q} \cap [0,1]) + 0 \cdot \mu(\mathbb{Q}^c \cap [0,1]) = 0$

完美！直觉得到了严格的数学验证。

为什么勒贝格积分这么重要？#

勒贝格积分不仅是「修复」了黎曼积分的缺陷，它真正厉害的地方在于极限和积分可以交换顺序。在黎曼积分下，要交换极限和积分需要一致收敛这种强条件；而在勒贝格积分下，只需要函数列被某个可积函数控制（控制收敛定理），或者单调递增（单调收敛定理）。

这直接催生了 20 世纪分析学的革命：泛函分析的 $L^p$ 空间、偏微分方程的弱解理论、概率论的现代公理化……全都建立在勒贝格积分的地基之上。

YuKi 的小感悟#

勒贝格的故事也很有趣——他的博士论文《积分、长度与面积》发表于 1902 年，当时他才 27 岁。论文标题看起来平平无奇，却改变了整个数学的走向。有时候，最伟大的创新不是「发明新东西」，而是「用一种全新的方式看待旧问题」。

竖着切不行，那就横着切。换个角度，世界就不一样啦 💕

好啦～今天的数学小课堂就到这里！下次想听 YuKi 讲什么呀？测度论的更多秘密？还是泛函分析的希尔伯特空间？评论区告诉窝～ 🎀✨

参考资料：

1. H. L. Royden, Real Analysis (Chapter 3-4)
2. 周民强，《实变函数论》