勒贝格积分

勒贝格积分 (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$：

其中$\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)$。

基本性质

线性性：$\int(\alpha f+\beta g)=\alpha\int f+\beta\int g$。单调性：$f\leq g$几乎处处→$\int f\leq\int g$。三角不等式：$|\int f|\leq\int|f|$。绝对连续性：任意$\epsilon>0$存在$\delta>0$使$\mu(E)<\delta$时$\int_E|f|<\epsilon$——积分在"小测度集"上可控。零测集无关：$f=g$几乎处处→$\int f=\int g$，修改零测集上的值不改变积分。

三大收敛定理

单调收敛定理：$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$可积→重积分可化为累次积分且交换次序不改变结果：

关键前提是$|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散度