深入解析勒贝格积分定理：现代分析学的基石

可积性范围扩展

勒贝格积分显著扩大了可积函数类：

• 狄利克雷函数：$D(x) = begin{cases}1 & xinmathbb{Q} \ 0 & xnotinmathbb{Q}end{cases}$ 在$[0,1]$上勒贝格可积（值为0），但黎曼不可积。
• 康托尔函数：在康托尔集（测度为0）上几乎处处可导，导数为0，但函数值从0增至1。其勒贝格积分存在且等于黎曼积分（因连续），但其导函数在黎曼意义下不可积（因不连续点稠密）。
• 震荡函数：$f(x) = x^2 sin(1/x^2)$（定义$f(0)=0$）在$[0,1]$上导数无界，黎曼积分仍存在（因连续），但导函数$ f'(x) $在0附近震荡剧烈，勒贝格积分存在（因可测且绝对可积），而黎曼积分可能不存在。

关键结论：勒贝格可积 ⇒ 函数在几乎处处有限；黎曼可积 ⇒ 勒贝格可积且积分值相同；但反之不成立。

极限运算的可控性

勒贝格积分在极限交换上具有强大优势，三大收敛定理构成其理论支柱：

• 单调收敛定理（MCT）：若$0 leq f_n uparrow f$ a.e.，则$int f_n , dmu uparrow int f , dmu$
• 控制收敛定理（DCT）：若$f_n to f$ a.e.，且存在可积函数$g$使$|f_n| leq g$ a.e.，则$int f_n , dmu to int f , dmu$
• Fatou引理：$int liminf f_n , dmu leq liminf int f_n , dmu$

示例：考虑$f_n(x) = n chi_{(0,1/n)}(x)$在$[0,1]$上。

• 对每个$x in (0,1]$，$f_n(x) to 0$；在$x=0$处无定义，但单点测度为零 ⇒ $f_n to 0$ a.e.
• 黎曼积分$int_0^1 f_n(x),dx = 1$（矩形面积恒为1）
• 勒贝格积分$int f_n , dmu = 1$（因测度$mu((0,1/n)) = 1/n$，故$n cdot 1/n = 1$）
• 极限函数$f equiv 0$，其积分$int f , dmu = 0$
• 故$lim_{ntoinfty} int f_n , dmu = 1 neq 0 = int f , dmu$，黎曼与勒贝格均无法交换极限与积分！

但若添加控制函数：设$g_n(x) = frac{1}{sqrt{x}} chi_{(0,1)}(x)$，则$|f_n| leq g_n$，且$g_n$在勒贝格意义下可积（$int_0^1 x^{-1/2} dx = 2$），此时DCT适用。

例2：狄利克雷函数 $D(x) = begin{cases}1 & xinmathbb{Q} \ 0 & xnotinmathbb{Q}end{cases}$

黎曼积分：不存在！因任意划分下，上和恒为1（有理数稠密），下和恒为0（无理数稠密），无法收敛。

勒贝格积分：

• 有理数集$mathbb{Q} cap [0,1]$为可数集 ⇒ 勒贝格测度$mu(mathbb{Q} cap [0,1]) = 0$
• 无理数集测度为1
• 故$D(x) = 0$ a.e. ⇒ $int_0^1 D(x) , dmu = 0$

关键洞见：勒贝格积分不关心“点”，只关心“集合大小”。即使函数在稠密集上取值1，只要该集测度为零，积分仍为零。

例3：康托尔函数 $C(x)$（“魔鬼的阶梯”）

康托尔函数在$[0,1]$上连续、单调增、$C(0)=0, C(1)=1$，但导数$C'(x)=0$在康托尔集补集（测度为1）上成立。

黎曼积分：因连续，黎曼可积，$int_0^1 C(x) , dx$存在（可计算为$1/2$）。

勒贝格积分：同样存在，且值相同（因连续 ⇒ 黎曼可积 ⇒ 勒贝格可积）。

更深层意义：康托尔函数是奇异函数，其增量完全来自测度为零的康托尔集。若定义测度$mu$使$mu(E) = int_E dC$（Stieltjes测度），则$mu$在康托尔集上为1，补集上为0——这正是勒贝格分解思想的雏形。