测度延拓定理

测度延拓定理 (Carathéodory Extension Theorem)

测度延拓定理是测度论的核心基石之一，由康斯坦丁·卡拉西奥多里 (Constantin Carathéodory) 于20世纪初系统建立。该定理断言：定义在半环（或代数）上的预测度（$\sigma$-有限、可列可加的非负集函数）可以唯一地延拓为该半环生成的σ-代数上的完备测度。这一定理从根本上回答了"如何构造测度"这一测度论的基本问题，为勒贝格测度、概率测度以及一般的抽象测度空间提供了严格的存在性保证。

动机与核心问题

构造勒贝格测度的经典路径始于区间长度：对半开区间 $(a, b]$，自然地定义 $\lambda((a, b]) = b - a$。问题在于，如何将这一简单定义合理地扩展到由区间生成的博雷尔σ-代数乃至更丰富的勒贝格可测集族？直观的"覆盖加细化"方法极易导致不一致性。卡拉西奥多里的洞见是：通过一条纯粹集合论的外测度构造路径，可以同时完成延拓与完备化。

定理的正式陈述

设 $\mathcal{S}$ 为集合 $\Omega$ 上的一个半环，$\mu_0: \mathcal{S} \to [0, +\infty]$ 是 $\mathcal{S}$ 上的一个预测度（即 $\mu_0(\varnothing) = 0$，且对任意可列个两两不交、并集仍属于 $\mathcal{S}$ 的集合，$\mu_0$ 满足可列可加性）。则存在 $\sigma(\mathcal{S})$（由 $\mathcal{S}$ 生成的σ-代数）上的测度 $\mu$，使得：

即 $\mu$ 在 $\mathcal{S}$ 上与 $\mu_0$ 一致。若 $\mu_0$ 是 $\sigma$-有限的，则该延拓是唯一的。

卡拉西奥多里外测度构造

证明的核心分为三步：

第一步：构造外测度。 对任意 $A \subseteq \Omega$，定义：

这一定义用半环元素的可列覆盖来逼近任意子集的"外测度"。$\mu^*$ 天然具有单调性和可列次可加性。

第二步：Carathéodory可测性条件。 称集合 $E \subseteq \Omega$ 为 $\mu^*$-可测，如果对任意 $A \subseteq \Omega$：

满足此条件的全体集合构成一个σ-代数 $\mathcal{M}$，且 $\mu^*$ 限制在 $\mathcal{M}$ 上是一个完备测度。

第三步：延拓与唯一性。 可以证明 $\sigma(\mathcal{S}) \subseteq \mathcal{M}$，且 $\mu^*$ 在 $\mathcal{S}$ 上与 $\mu_0$ 一致。取 $\mu = \mu^*|_{\sigma(\mathcal{S})}$ 即得所需延拓。$\sigma$-有限性保证唯一性：若存在两个延拓，则它们在 $\sigma(\mathcal{S})$ 上处处相等。

典型应用

• 勒贝格测度：取 $\mathcal{S}$ 为全体左闭右开区间构成的半环，$\mu_0((a,b]) = b-a$。定理给出的延拓就是经典的勒贝格测度，定义域为勒贝格σ-代数（严格大于博雷尔σ-代数）。
• 勒贝格-斯蒂尔杰斯测度：取 $\mu_0((a,b]) = F(b) - F(a)$，其中 $F$ 为右连续的单调增函数，延拓得到勒贝格-斯蒂尔杰斯测度。
• 概率测度的构造：给定有限维分布族，科尔莫戈罗夫延拓定理利用测度延拓定理在无穷维乘积空间上构造概率测度，这是随机过程理论的逻辑基础。
• 乘积测度：在乘积σ-代数上构造乘积测度时，先用矩形生成半环上的预测度，再延拓至乘积σ-代数。

与单调类定理的关系

测度延拓定理保证存在性，单调类定理则是证明唯一性的常用工具。后者的核心思想是：两个在生成代数 $\mathcal{A}$ 上一致且$\sigma$-有限的测度，在整个 $\sigma(\mathcal{A})$ 上也必然一致。两者常配套使用：延拓定理给出构造，单调类定理确保唯一。

历史与意义

卡拉西奥多里在1914-1918年间发展了这套外测度方法，其优美之处在于完全避免了对集合拓扑结构的依赖，仅基于集合论和可列覆盖。这一抽象化使测度论脱离了欧几里得空间的束缚，为柯尔莫哥洛夫公理化概率论（1933年）铺平了道路。测度延拓定理与单调类定理、π-λ定理共同构成现代测度论延拓理论的三大支柱。