测度论中的Carathéodory扩张定理构造Lebesgue测度

我们目标是给实数轴上的子集定义一个“长度”，这个长度需要比普通的区间长度更强大，能适用于更复杂的集合（比如，可数个点的集合，或者像Cantor集那样的复杂集合）。直接定义非常困难。Carathéodory扩张定理提供了一种系统性的、可操作的“三步走”方法来完成这个目标。

第一步：定义初始的“长度”函数（预测度）

我们不直接定义在所有集合上的长度，而是先从一个简单且我们清楚如何计算长度的集合类开始。

确定初始集合类。我们选取所有左开右闭区间构成的集合类。例如， (a, b] 这样的区间。这个类记作 I。它虽然简单，但足够我们开始工作。
为这些简单集合赋值。定义一个函数 μ₀，其定义域就是上面这个区间类 I。对于任意区间 (a, b]，我们令
$$\mu_0((a, b]) = b - a$$
这就是我们熟悉的区间的长度。这个 μ₀ 就是我们最初的、定义在简单集合上的“长度”想法。
要求这个初始函数具备“可数可加性”。这是一个关键的技术要求。它意味着：如果我们有一列互不相交的区间 I₁, I₂, I₃, ...，并且它们的并集恰好是另一个区间 I，那么这些小区间的长度之和应该等于大区间的长度。即：
$$\mu_0(I) = \sum_{n=1}^{\infty} \mu_0(I_n)$$
满足这个性质的 μ₀ 被称为在区间类 I 上的一个预测度。

现在，我们拥有了一个在“好”集合（区间）上的长度函数 μ₀。接下来的目标是为任意实数子集 E（哪怕是非常复杂的集合）都定义一个“长度”。

构造一个覆盖。对于任意集合 E，考虑用一系列可数个开区间 {I_n} 去覆盖它，即让 E 包含在所有这些区间的并集之内。
计算覆盖的总成本。对于每一个这样的覆盖，计算覆盖所用区间的 μ₀ 值之和，即 Σ μ₀(I_n)。这个和值可以看作是用这组区间“盖住”集合 E 所付出的“总代价”。
取所有可能覆盖的最小值。在所有可能的、可数的区间覆盖中，找到那个总代价最小的。我们定义这个最小的总代价为集合 E 的勒贝格外测度，记作 m^*(E)。
$$m^*(E) = \inf \left\{ \sum_{n=1}^{\infty} \mu_0(I_n) : E \subseteq \bigcup_{n=1}^{\infty} I_n, \ I_n \in \mathcal{I} \right\}$$
inf 表示下确界，通俗理解就是“最小值或无限逼近的最小值”。

这样，我们就得到了一个定义在所有实数子集上的函数 m^*。外测度 m^* 是我们向目标迈出的关键一步，但它还不是我们最终想要的测度，因为它在处理两个相交集合时不一定满足“可加性”。

外测度 m^* 对所有集合都有定义，但它太“粗糙”了，我们对它的性质不满意。Carathéodory定理告诉我们，存在一个满足良好性质的集合类 M（称为σ代数），使得 m^* 限制在 M 上就是一个真正的测度。

应用Carathéodory条件进行筛选。我们设定一个判断标准：对于一个集合 E，如果它能通过以下测试，我们就认为它是“可测的”。测试是：对于任意测试集合 A，集合 E 都能将 A “无偏地”分成两部分。
具体操作：计算 A 的外测度 m^*(A)，再分别计算 A 与 E 交集部分、 A 与 E 补集交集部分的外测度。如果对于每一个 A，下式都成立：
$$m^*(A) = m^*(A \cap E) + m^*(A \cap E^c)$$
则判定 E 是勒贝格可测集。这里 E^c 是 E 的补集。这个等式意味着 E 没有“偷走”或“扭曲” A 的任何“长度”。
收集所有通过测试的集合。定义集合类 M 为所有满足上述条件的集合 E 的集合。可以证明，M 包含了所有的区间、开集、闭集，并且它对可数次并、交、补运算是封闭的（即它是一个σ代数）。这个 M 就是勒贝格σ代数。
确认最终的测度。验证将外测度 m^* 的定义域限制在 M 上后，它就成为了我们梦寐以求的勒贝格测度，记作 m。对于任意 E ∈ M，m(E) = m^*(E)。这个 m 在 M 上满足：
- 非负性。
- 空集的测度为0。
- 可数可加性：对于 M 中任意一列互不相交的集合 E₁, E₂, ...，有 m(∪Eₙ) = Σ m(Eₙ)。

通过这三个步骤，我们成功地将一个定义在简单区间上的“长度”概念 μ₀，系统性地扩张成了一个定义在庞大而复杂的集合类 M 上的、性质优良的“长度”——勒贝格测度 m。这个构造过程完全由定理本身保证其可行性。