跳到主要内容

Lebesgue 测度：从长度到可测性的严格建立

最高原则：测度论不仅是几何直觉的延伸，更是分析学公理化体系的基石。

Lebesgue 测度论的核心在于：通过外测度 (Outer Measure) 覆盖任意集合，再通过 Carathéodory 判别准则 筛选出具有良好可加性的“优良集合”。

一、系统化测度导出逻辑​

测度的建立遵循 “半环 →\to 环 →\to σ\sigma-环 →\to σ\sigma-代数” 的扩张逻辑。

1. 长度原语 (Length Primitive)​

在 R\mathbb{R} 上，我们始于半环 S\mathcal{S}（所有左开右闭区间 [a,b)[a, b) 构成的族）。定义其长度函数 l([a,b))=b−al([a, b)) = b - a。

2. 外测度的构造 (Method I)​

对任意 E⊂RE \subset \mathbb{R}，利用 S\mathcal{S} 中的元素进行可数覆盖：

m∗(E)=inf⁡{∑n=1∞l(In)  |  E⊂⋃n=1∞In, In∈S}m^*(E) = \inf \left\{ \sum_{n=1}^{\infty} l(I_n) \;\middle|\; E \subset \bigcup_{n=1}^{\infty} I_n,\ I_n \in \mathcal{S} \right\}

核心证明要点：

  • 次可加性：m∗(∪En)≤∑m∗(En)m^*(\cup E_n) \le \sum m^*(E_n)。
  • 区间相容性：对于区间 II，有 m∗(I)=l(I)m^*(I) = l(I)。

3. Carathéodory 扩张原理​

称 EE 是可测的，若对 ∀A⊂R\forall A \subset \mathbb{R}（测试集）：

m∗(A)=m∗(A∩E)+m∗(A∖E)m^*(A) = m^*(A \cap E) + m^*(A \setminus E)

这个定义的精妙之处在于：它将“集合的大小”转化为了“集合作为边界时的切割特性”。

二、Lebesgue 测度的结构性质​

1. 测度的连续性 (Continuity)​

测度是可数可加的，这导出其在单调序列下的极限性质：

  • 单调上升：En↑E  ⟹  m(En)→m(E)E_n \uparrow E \implies m(E_n) \to m(E)。
  • 单调下降：En↓EE_n \downarrow E 且 m(E1)<∞  ⟹  m(En)→m(E)m(E_1) < \infty \implies m(E_n) \to m(E)。

2. 几乎处处 (Almost Everywhere)​

若命题在除一个零测集（m(E)=0m(E)=0）之外的区域成立，则称其 a.e. 成立。这是 Lebesgue 积分允许“奇点”存在的理论基础。

三、Cantor 集：测度论的“怪兽”​

Cantor 集 CC 是闭、不可数、处处无内点且 m(C)=0m(C)=0 的集合。它打破了“点数决定大小”的朴素认知。

测度收敛演示

第 nn 次构造后剩余长度为 (2/3)n(2/3)^n。当 n→∞n \to \infty 时，m(C)=0m(C) = 0。

✍️ 深度练习与 C++ 模拟​

练习 1：外测度的次可加性证明​

证明 m∗(⋃n=1∞En)≤∑n=1∞m∗(En)m^*(\bigcup_{n=1}^\infty E_n) \le \sum_{n=1}^\infty m^*(E_n)。

Check Solution

证明步骤：

  1. 对每个 EnE_n，根据 inf⁡\inf 定义，对 ∀ϵ>0\forall \epsilon > 0，存在开区间覆盖 {In,k}k\{I_{n,k}\}_k 使得 ∑kl(In,k)<m∗(En)+ϵ2n\sum_k l(I_{n,k}) < m^*(E_n) + \frac{\epsilon}{2^n}。
  2. 考虑所有这些区间的并：⋃n⋃kIn,k\bigcup_n \bigcup_k I_{n,k}，它覆盖了 ⋃En\bigcup E_n。
  3. 总长度 ∑n∑kl(In,k)<∑n(m∗(En)+ϵ2n)=∑nm∗(En)+ϵ\sum_n \sum_k l(I_{n,k}) < \sum_n (m^*(E_n) + \frac{\epsilon}{2^n}) = \sum_n m^*(E_n) + \epsilon。
  4. 由 ϵ\epsilon 的任意性，结论成立。 □\square

练习 2：C++ 模拟 Cantor 集测度演化​

编写 C++ 程序模拟 Cantor 集的构造过程，计算第 NN 阶构造后的测度，并验证其收敛性。

Check Solution
#include <iostream>
#include <cmath>
#include <iomanip>

/**
 * @brief Cantor Set Measure Simulator
 * 计算 Cantor 三分集在第 n 步迭代后的 Lebesgue 测度
 */
int main() {
    int max_steps = 20;
    std::cout << "Step\tIntervals\tMeasure (Exact)\tDecimal" << std::endl;
    std::cout << "------------------------------------------------" << std::endl;

    for (int n = 0; n <= max_steps; ++n) {
        long long num_intervals = std::pow(2, n);
        double measure = std::pow(2.0/3.0, n);
        
        std::cout << n << "\t" 
                  << num_intervals << "\t\t"
                  << " (2/3)^" << n << "\t"
                  << std::fixed << std::setprecision(10) << measure << std::endl;
        
        if (measure < 1e-4 && n > 0 && std::pow(2.0/3.0, n-1) >= 1e-4) {
            std::cout << ">> Measure reached < 1e-4 threshold at step " << n << std::endl;
        }
    }
    return 0;
}

模拟分析： 该代码演示了测度的几何倍率收敛。虽然每一代区间的个数以 2n2^n 增长，但每个区间的长度以 (1/3)n(1/3)^n 骤减，导致总测度以 (2/3)n(2/3)^n 的速度趋向于 0。这直观地展示了为什么 Cantor 集虽然拥有连续统基数的点，但其“长度”为 0。

练习 3：符号推导——Carathéodory 条件验证​

设 m∗(E)=0m^*(E) = 0，证明 EE 是 Lebesgue 可测的。

Check Solution

证明： 对任意 A⊂RA \subset \mathbb{R}，需证 m∗(A)≥m∗(A∩E)+m∗(A∖E)m^*(A) \ge m^*(A \cap E) + m^*(A \setminus E)。

  1. 因为 A \cap E \subset E$$，根据单调性 m^(A \cap E) \le m^(E) = 0$。
  2. 又因为 A∖E⊂AA \setminus E \subset A，根据单调性 m∗(A∖E)≤m∗(A)m^*(A \setminus E) \le m^*(A)。
  3. 结合两式：m∗(A∩E)+m∗(A∖E)=0+m∗(A∖E)≤m∗(A)m^*(A \cap E) + m^*(A \setminus E) = 0 + m^*(A \setminus E) \le m^*(A)。
  4. 结合次可加性，等号成立。故 EE 可测。 □\square

🚀 与现代分析的联系​

Lebesgue 测度的建立开启了 LpL^p 空间 与 概率论公理化 的大门。现代随机分析中的“随机变量”本质上就是可测空间上的“可测函数”。