勒贝格积分

勒贝格积分 (Lebesgue Integral)

勒贝格积分是现代分析学中函数积分核心理论，由法国数学家亨利·勒贝格于20世纪初创立。它通过测度论框架深刻推广黎曼积分，解决极限交换、空间完备性等根本局限，成为实分析、泛函分析、概率论与数理统计的理论基础。

黎曼积分的局限

黎曼积分划分定义域，要求函数几乎处处连续——不连续点集必须是勒贝格测度为零的集合。三条致命缺陷：

一、狄利克雷函数： $[0,1]$ 上有理点取1无理点取0→处处不连续→黎曼不可积。但勒贝格积分值为0，因有理数集勒贝格测度为零。

二、极限不可交换：一列黎曼可积函数 $f_n$ 点态极限 $f$ 未必黎曼可积；即使 $f$ 可积 $\int\lim f_n = \lim\int f_n$ 也不一定成立。这严重阻碍分析学极限运算。

三、空间不完备：黎曼可积空间 $\mathcal{R}[a,b]$ 配 $L^1$ 范数 $\|f\|_1=\int|f|$ 不完备→存在柯西列不收敛于任何黎曼可积函数→泛函分析理论无法建立。

核心思想：划分值域

勒贝格革命性地划分值域而非定义域：将函数值相近的点聚在一起→测量这些点集的"大小"（测度）→加权求和。对非负 $f$ ：

\sum_{k=1}^n y_k \cdot \mu(\{x: y_{k-1} \leq f(x) < y_k\})

其中 $\mu$ 为测度。这种方法的优势在于只要函数可测，无论定义域上如何剧烈震荡，积分均有良好定义。哲学上，勒贝格将积分从"定义域的几何切割"转变为"值域的测度加权"，这是分析学思维方式的根本转变。

测度空间与可测函数

积分建立在测度空间 $(X,\mathcal{F},\mu)$ 上： $X$ 基本空间、 $\mathcal{F}$ 为 $\sigma$ -代数（对可数并、补封闭）、 $\mu$ 测度。可测函数 $f:X\to\mathbb{R}$ 定义为：对任意实数 $a$ ，原像集 $\{x: f(x)>a\}\in\mathcal{F}$ 。

可测函数运算封闭性极强：可测函数的和、积、上确界、下确界、上极限、下极限、逐点极限均保持可测。这保证了积分操作中难以遇到不可测函数的困境——事实上，不可测函数的构造需要选择公理。

积分构造三步

步骤一：简单函数。 $s(x)=\sum_{k=1}^n a_k\mathbf{1}_{E_k}(x)$ ， $E_k$ 可测且两两不交。积分定义为 $\int_X s\,d\mu=\sum a_k\mu(E_k)$ ，需规定 $0\cdot\infty=0$ 以保持一致性。

步骤二：非负可测函数。对 $f\geq 0$ 可测， $\int_X f\,d\mu=\sup\{\int_X s\,d\mu: 0\leq s\leq f, s\text{为简单函数}\}$ 。该值始终有定义（可能为 $+\infty$ ），若有限则称 $f$ 勒贝格可积。这一定义极其包容——无论 $f$ 多复杂，总存在简单函数从下方逼近。

步骤三：一般函数。分解 $f=f^+-f^-$ ，其中 $f^+=\max(f,0)$ （正部）， $f^-=\max(-f,0)$ （负部）。当 $\int f^+$ 与 $\int f^-$ 均有限时 $f$ 可积： $\int f=\int f^+-\int f^-$ ，记作 $f\in L^1(X,\mu)$ 。

基本性质

三大收敛定理

单调收敛定理： $0\leq f_1\leq f_2\leq\cdots$ 逐点收敛于 $f$ （非负可测）→ $\lim\int f_n=\int f$ 。仅需单调性，无需一致收敛或额外控制，是构造积分的重要工具。

法图引理：对任意非负可测序列 $f_n$ ，有 $\int\liminf f_n\leq\liminf\int f_n$ 。在缺乏单调性或控制条件时提供"积分下极限不超下极限积分"的保守估计。

控制收敛定理（核心）： $f_n$ 逐点收敛于 $f$ ，存在可积函数 $g$ 使 $|f_n|\leq g$ 几乎处处→ $\lim\int f_n=\int f$ 且 $\lim\int|f_n-f|=0$ 。仅需逐点收敛加可积控制，彻底解决黎曼积分的极限困境。该定理在概率论期望计算、偏微分方程弱解理论中不可或缺。

$L^p$ 空间与完备性

对 $1\leq p<\infty$ ， $L^p(X,\mu)=\{f:\int|f|^p<\infty\}$ ，范数 $\|f\|_p=(\int|f|^p)^{1/p}$ 。 $L^p$ 是巴拿赫空间（完备赋范线性空间）， $L^2$ 是希尔伯特空间，内积 $\langle f,g\rangle=\int f\overline{g}$ 。完备性是泛函分析建立的基石。注意： $L^p$ 元素是几乎处处相等函数的等价类，无限测度空间上 $L^p$ 包含关系不成立。

与黎曼积分的关系

$f$ 在 $[a,b]$ 上黎曼可积→ $f$ 必勒贝格可积且积分值相等。反之不成立：狄利克雷函数是典型反例。因此勒贝格积分严格推广了黎曼积分。

富比尼定理

在乘积测度空间上， $f$ 可积→重积分可化为累次积分且交换次序不改变结果：

\int_{X\times Y}f\,d(\mu\times\nu)=\int_X\left(\int_Y f\,d\nu\right)d\mu=\int_Y\left(\int_X f\,d\mu\right)d\nu

关键前提是 $|f|$ 在乘积空间上可积（或用托内利定理处理非负情形），不可仅凭直观交换次序，这是应用中最常见的错误。

应用领域

概率论：概率空间上期望 $E[X]=\int_\Omega X\,dP$ ，勒贝格积分框架使大数定律、中心极限定理严格证明成为可能；随机过程依赖滤链可测性。泛函分析： $L^p$ 完备性支撑索伯列夫空间→偏微分方程弱解；里斯表示定理将线性泛函表示为积分。调和分析：傅里叶变换在 $L^2(\mathbb{R}^n)$ 上的理论、卷积运算的良定性。遍历理论：伯克霍夫遍历定理刻画时间平均与空间平均关系。信息论：微分熵、KL散度需处理对数函数在零测集上的行为。

要点与误区

一、可测性是前提，不可测函数需选择公理构造，标准分析中极少出现；二、几乎处处修改不改变积分，证明中常利用此性质简化；三、控制收敛定理的控制条件只需几乎处处成立，可放松至依测度收敛情形；四、 $L^p$ 元素是等价类而非单个函数；五、无限测度空间上 $L^p\subset L^q$ 不成立；六、富比尼定理必须验证 $|f|$ 可积性，不能仅凭两个累次积分存在就交换次序。

历史影响与后续发展

推广方向：抽象测度论（卡拉西奥多里→测度延拓定理将勒贝格测度推广至一般集合）、丹尼尔积分（从线性泛函角度公理化，避开测度直接定义积分）、博赫纳积分（推广至取值于巴拿赫空间的向量值函数）、广义测度与复测度（允许负值或复值→若尔当分解与哈恩分解）、鞅论（条件期望积分表示与收敛定理→现代金融数学基石）。勒贝格积分标志着分析学从"几何直观驱动"到"测度逻辑驱动"的范式转变，其严格性与灵活性使之成为20世纪以来不可或缺的分析工具。

测度论、σ-代数、可测函数、简单函数、几乎处处、勒贝格测度、乘积测度、示性函数、上确界、下确界、逐点收敛、依测度收敛、巴拿赫空间、希尔伯特空间、L^p空间、概率空间、期望、调和分析、傅里叶变换、索伯列夫空间、弱解、遍历理论、微分熵、KL散度

返回百科索引

勒贝格积分