黎曼可积

黎曼可积 (Riemann Integrable)

黎曼可积是黎曼积分理论中的核心概念，描述了一类可通过黎曼和的极限来定义定积分的函数。若函数 $f$ 在闭区间 $[a, b]$ 上的黎曼和（将区间分割后取各子区间上函数值的加权和）在分割不断加细时收敛到同一极限，则称 $f$ 在 $[a, b]$ 上黎曼可积。这一概念由德国数学家波恩哈德·黎曼（Bernhard Riemann）在 1854 年的就职论文《关于用三角级数表示函数的可能性》中首次严格定义，为微积分奠定了严谨的分析基础。

达布定义与黎曼条件

黎曼可积性最常用的判别工具是达布上和与达布下和（Darboux sums）。给定区间 $[a, b]$ 的一个分割 $P = \{x_0, x_1, \dots, x_n\}$，定义：

其中 $M_i = \sup_{x \in [x_{i-1}, x_i]} f(x)$，$m_i = \inf_{x \in [x_{i-1}, x_i]} f(x)$，$\Delta x_i = x_i - x_{i-1}$。达布定理指出，当分割的最大子区间长度趋于零时，达布上和的极限（称为上积分）和达布下和的极限（称为下积分）都存在。函数黎曼可积的充要条件（即黎曼条件）是：

换言之，对任意 $\varepsilon > 0$，存在分割 $P$ 使得 $U(P, f) - L(P, f) < \varepsilon$。

充分条件

以下几类函数在闭区间上一定是黎曼可积的：

• 连续函数：若 $f$ 在 $[a, b]$ 上连续，则 $f$ 在该区间上黎曼可积。这是由于连续函数在闭区间上一致连续，从而振荡可以被控制到任意小。
• 单调函数：若 $f$ 在 $[a, b]$ 上单调（无论递增还是递减），则 $f$ 黎曼可积。单调函数的跳跃点至多可数，这使得达布上下和的差可通过加细分割趋近于零。
• 分段连续函数：若 $f$ 在 $[a, b]$ 上仅有有限个第一类间断点（跳跃间断点），则 $f$ 黎曼可积。

勒贝格判别法

法国数学家亨利·勒贝格（Henri Lebesgue）给出了黎曼可积性的一个深刻刻画：一个有界函数 $f$ 在 $[a, b]$ 上黎曼可积当且仅当其间断点构成的集合是零测集（即勒贝格测度为零）。这一判别法揭示了黎曼可积的本质——函数几乎处处连续。

由此可导出一些重要结论：

• 区间上的连续函数当然黎曼可积（间断点集为空集，测度为零）。
• 狄利克雷函数（Dirichlet function，有理点取 1，无理点取 0）不是黎曼可积的，因为它在每一点都不连续，间断点集为整个区间，测度不为零。
• 黎曼函数（Riemann function，$x = p/q$ 取 $1/q$，无理点取 0）是黎曼可积的，因为其间断点集为有理数集，而有理数集是零测集。

黎曼可积函数的性质

• 线性性：若 $f$ 和 $g$ 均在 $[a, b]$ 上黎曼可积，则对任意实数 $\alpha, \beta$，$\alpha f + \beta g$ 也在该区间上黎曼可积，且 $\int (\alpha f + \beta g) = \alpha \int f + \beta \int g$。
• 乘积与绝对值：若 $f, g$ 黎曼可积，则 $fg$ 和 $|f|$ 也黎曼可积。
• 区间可加性：若 $a < c < b$，则 $f$ 在 $[a, b]$ 上黎曼可积当且仅当 $f$ 在 $[a, c]$ 和 $[c, b]$ 上均黎曼可积，且 $\int_a^b f = \int_a^c f + \int_c^b f$。
• 有界性：黎曼可积函数一定有界。反之不真——有界函数不一定黎曼可积（如狄利克雷函数）。

与勒贝格可积的关系

勒贝格积分（Lebesgue integral）是黎曼积分的推广。黎曼可积函数必为勒贝格可积，且两者积分值相等。但勒贝格可积函数类严格更大——狄利克雷函数不是黎曼可积的，却是勒贝格可积的。此外，勒贝格积分在处理极限交换、无界函数和无界区间时具有更大灵活性。

在经济学中的应用

在经济学和计量经济学中，黎曼可积性为诸多基本操作提供了数学保证：

• 消费者剩余与生产者剩余的计算依赖于价格-数量曲线下的面积，这要求需求曲线和供给曲线在相关区间上黎曼可积。
• 概率密度函数的累积分布函数通过积分定义，而密度函数通常分段连续，自然黎曼可积。
• 吉尼系数（Gini coefficient）的计算基于洛伦兹曲线下的面积，同样依赖于可积性。

总之，黎曼可积是经典微积分中积分存在的标准条件。勒贝格判别法将其简洁刻画为"几乎处处连续"，使得这一概念不仅在数学分析中占据核心地位，也在经济学、物理学和工程学的实际计算中广泛适用。