黎曼积分与勒贝格积分的本质区别及可测函数概念

理解黎曼积分和勒贝格积分，关键在于明白它们分割的对象根本不同。前者分割定义域（比如x轴），后者分割值域（比如y轴）。这直接导致了它们在处理复杂函数时的能力天差地别。

1. 理解黎曼积分：定义域的精细切割

想象你要测量一个不规则图形（被积函数图像）下的面积。

1. 分割底边：首先，你将图形的底边（定义域[a, b]）切成许多小段。
2. 近似计算：在每一小段上，选取一个函数值作为该段的高度，用一个小矩形来近似那一小条的面积。所有小矩形的面积之和，就是黎曼和。
3. 取极限：让切分的段数无限增加，且每段的长度都趋近于零。如果无论怎样选取高度点，黎曼和的极限都存在且唯一，这个极限值就是黎曼积分。

其核心公式为：
$$ \int_a^b f(x) dx = \lim_{\Delta x \to 0} \sum_{i=1}^n f(\xi_i) \Delta x_i $$
其中，$\Delta x_i$ 是第 i 个小段的长度，$f(\xi_i)$ 是该段上任选的函数值。

局限在于，如果函数值在很小范围内剧烈震荡（例如狄利克雷函数），那么无论怎么切分，你都无法找到一个合适的矩形高度去近似，导致积分不存在。

2. 理解勒贝格积分：值域的精细分类

勒贝格积分换了一种思路。它不再纠结于“底边”的每一个位置，而是关注函数值的“水平层次”。

1. 分割值域：首先，你将函数值可能取到的范围（值域）切成很多小区间，例如 [0, 1], [1, 2], ...。
2. 测量基础：找出定义域中所有使得函数值落入 [0, 1] 区间的点，这些点构成一个集合。测量这个集合的“长度”（即勒贝格测度，记作 m）。
3. 加权求和：用区间的代表值（比如下界 0）乘以这个集合的“长度”，得到一层“薄片”的近似面积。将所有区间的对应薄片面积相加。
4. 取极限：让值域的划分无限精细。如果极限存在，就是勒贝格积分。

一个简化的思想公式是：
$$ \int f d\mu = \sup \left\{ \sum_{k} y_k \cdot m(\{x | f(x) \geq y_k\}) \right\} $$
（此为简单阶梯函数的积分定义，实际更为严格。）

这种方法优势巨大，因为它基于集合的“测度”理论，能够处理狄利克雷函数这类黎曼不可积的函数。

3. 本质区别的对比

以下是两种积分思路的核心差异：

总结来说，黎曼积分像“买菜”，按摊位（定义域）挨个算账；勒贝格积分像“垃圾分类”，先把东西按价值（值域）归类，再计算每类的总价值。

4. 可测函数：勒贝格积分的基石

为了进行值域的分类，你必须能够回答一个关键问题：对于任意一个实数区间，使函数值落入该区间的自变量集合，其“大小”（测度）是多少？

1. 定义可测集合：在实数轴上，一个集合如果可以用区间通过有限次并、交、补运算近似地“覆盖”出来，并且能定义其长度，它就是一个可测集合。这是比“区间”更广泛的一类集合。
2. 定义可测函数：如果一个函数 $f$ 对于任意实数 $c$，使得 $f(x) \geq c$ 成立的 $x$ 的集合总是可测的，那么 $f$ 就是一个可测函数。

简单来说，可测函数就是那种它的“函数值分布情况”可以被“测量”和“分析”的函数。这正是勒贝格积分“按值分类计算”得以实施的前提。

可测函数的重要性在于，它划定了勒贝格积分所能处理的最大范围。在勒贝格理论中，一个函数不可积，通常是因为它“太不可测”，而不是因为它“太不连续”。像狄利克雷函数，尽管处处不连续，但它是一个可测函数，因此勒贝格可积。

掌握了可测函数的概念，你就抓住了从黎曼积分向现代积分理论跃迁的钥匙。