勒贝格测度

勒贝格测度 (Lebesgue Measure)

勒贝格测度是实分析和测度论中最基本的测度，由法国数学家亨利·勒贝格于1902年在其博士论文中引入。它将长度、面积、体积的概念从简单几何对象（区间、矩形）推广到欧几里得空间中极其广泛的集合类，是勒贝格积分理论的基础。

定义：外测度与可测性

勒贝格测度的构造分为两步。

勒贝格外测度：对任意 $A \subseteq \mathbb{R}^n$，定义

即用可数个矩形覆盖 $A$，取总体积的下确界。外测度对所有子集定义，但不满足可数可加性。

卡拉泰奥多里条件：集合 $E \subseteq \mathbb{R}^n$ 称为勒贝格可测，若对任意 $A \subseteq \mathbb{R}^n$ 满足

直观上，$E$ 能"干净地切割"任何集合。所有勒贝格可测集构成一个σ-代数 $\mathcal{L}$，限制在 $\mathcal{L}$ 上的外测度记为 $m$，即勒贝格测度。

基本性质

(1) 区间一致性：对任意矩形 $R = [a_1, b_1] \times \cdots \times [a_n, b_n]$，$m(R) = \prod_{i=1}^n (b_i - a_i)$，与通常的体积一致。(2) 可数可加性：互不相交可测集的并的测度等于测度之和。(3) 平移不变性：对任意 $x \in \mathbb{R}^n$，$m(E + x) = m(E)$。(4) 完备性：零测集的任意子集自动可测且测度为零——这是勒贝格测度优于博雷尔测度的关键特性。(5) 正则性：任意可测集可被开集从外部逼近、紧集从内部逼近，测度误差可任意小。(6) 伸缩性：对线性变换 $T(x) = \lambda x$，有 $m(T(E)) = |\lambda|^n \cdot m(E)$——测度按维度齐次缩放。这一性质在变量替换与积分换元中至关重要。

可测集的范围

勒贝格可测集族极为丰富：所有开集、闭集、$G_\delta$ 集（可数个开集的交）、$F_\sigma$ 集（可数个闭集的并）均勒贝格可测。博雷尔σ-代数 $\mathcal{B}(\mathbb{R}^n)$ 严格包含于勒贝格σ-代数 $\mathcal{L}$——存在勒贝格可测但非博雷尔可测的集合。事实上，康托尔集的任意子集都是勒贝格可测的（因其为零测集），但 $|\mathcal{L}| = 2^{\mathfrak{c}} > \mathfrak{c} = |\mathcal{B}|$，即勒贝格可测集比博雷尔集多得多。

不可测集：维塔利集

并非所有集合都勒贝格可测。维塔利集是经典反例：利用选择公理在 $[0,1]$ 中按有理平移等价类选取代表元，构造集合 $V$。若 $V$ 可测，其测度既不能为零（平移并集会填满 $[0,2]$ 且有界），也不能为正（可数多个不交平移并集测度无限却包含于有界区间），矛盾。因此 $V$ 不可测。这揭示了选择公理与"所有集合皆可测"的不兼容性——索洛维模型表明，在舍弃选择公理的ZF集合论中可以构造所有实数集皆勒贝格可测的模型。

与黎曼积分的关系

在黎曼积分中，分割定义域为小区间，要求函数在每区间内变化不大。勒贝格测度给出更精确的刻画：勒贝格-维塔利定理断言，有界函数 $f$ 在 $[a,b]$ 上黎曼可积当且仅当 $f$ 的不连续点集是勒贝格零测集。这意味着黎曼可积函数必勒贝格可测，且两积分值相等。但勒贝格积分严格更广——狄利克雷函数（有理点取1、无理点取0）处处不连续、黎曼不可积，却因定义在零测集有理数集上而勒贝格可积且积分为零。

唯一性

勒贝格测度是 $\mathbb{R}^n$ 上满足"每个矩形的测度等于其体积"和"平移不变性"的唯一完备测度。更精确地，若 $\mu$ 是 $\mathbb{R}^n$ 上在博雷尔集上定义的局部有限、平移不变的测度（哈尔测度），则存在常数 $c \geq 0$ 使 $\mu = c \cdot m$。这一唯一性使勒贝格测度成为欧几里得空间上的规范测度。

乘积测度与富比尼定理

勒贝格测度在$\mathbb{R}^n$上可分解为一维勒贝格测度的乘积：$m_n = m_1 \times \cdots \times m_1$（n次）。这一分解是富比尼定理的基础——重积分可化为累次积分，前提是被积函数绝对可积。更一般地，任意有限维勒贝格测度空间均可表示为低维空间的乘积，这使得高维积分计算可递归降维。

与博雷尔测度的区别

勒贝格测度是博雷尔测度的完备化。具体而言，$\mathcal{L}$ = $\{B \cup N : B \in \mathcal{B}(\mathbb{R}^n), N \subseteq M, m(M)=0\}$，即每个勒贝格可测集是一个博雷尔集并上一个零测子集。因此勒贝格可测集严格多于博雷尔可测集——康托尔集的$2^{\mathfrak{c}}$个子集中绝大多数非博雷尔但均为勒贝格可测。这一完备性在理论上有重要意义：勒贝格积分中几乎处处收敛的极限保持可测性，而博雷尔框架下则不一定。

应用

概率论：概率空间上的均匀分布即限制在 $[0,1]$ 上的勒贝格测度；几何概率问题依赖勒贝格测度计算事件"面积"。连续随机变量的分布函数通过勒贝格测度与概率密度关联。泛函分析：L^p空间的完备性建立在勒贝格测度之上，使得偏微分方程的弱解理论成为可能；索伯列夫空间中的嵌入定理本质上依赖勒贝格测度的伸缩性质。几何测度论：豪斯多夫测度推广了勒贝格测度，用于测量分形和不规则集的"维数相关大小"；面积公式与余面积公式将勒贝格测度与低维测度联系起来。遍历理论：保测变换和伯克霍夫遍历定理以勒贝格测度刻画时间平均与空间平均的等价性，是统计力学数学基础的核心。

历史注记

勒贝格测度的诞生标志着分析学从19世纪的"朴素直觉"向20世纪"公理化严谨"的转折。博雷尔在1898年引入了博雷尔可测集的概念，但勒贝格的贡献在于：(1) 外测度的系统构造方法；(2) 完备性——零测集的任意子集自动可测，这在博雷尔框架下不成立；(3) 可数可加性与收敛定理的完美统一，使积分与极限的交换变得顺畅。1910年代，卡拉泰奥多里以抽象外测度将勒贝格的理论推广至一般测度空间，奠定了现代测度论的框架。

测度论、勒贝格积分、零测集、维塔利集、博雷尔测度、博雷尔σ-代数、σ-代数、可测函数、卡拉泰奥多里条件、外测度、康托尔集、选择公理、L^p空间、富比尼定理、单调收敛定理、控制收敛定理、哈尔测度、豪斯多夫测度