哈恩分解

哈恩分解（Hahn decomposition）是测度论中的一个基本定理，由奥地利数学家汉斯·哈恩（Hans Hahn）于1921年提出。该定理揭示了符号测度（signed measure）在可测空间中的内在结构，它断言任意符号测度所定义的空间必然可以被分解为一个正集和一个负集，且这种分解在忽略零集的意义下是唯一的。这一结论是现代测度论和实分析的重要理论基础，在概率论、泛函分析和金融数学等多个领域都具有深远的影响。

定义与定理的严格表述

设 $(X, \Sigma)$ 是一个可测空间，$\mu$ 是定义在 $\Sigma$ 上的一个符号测度，即 $\mu$ 满足可数可加性且 $\mu(\varnothing)=0$，但 $\mu$ 可以取正实数值、负实数值或零。哈恩分解定理断言：存在一个可测集 $P \in \Sigma$，使得对于任意可测子集 $E \subseteq P$，均有 $\mu(E) \ge 0$；而对于任意可测子集 $E \subseteq X \setminus P$，均有 $\mu(E) \le 0$。这样的集合 $P$ 称为 $\mu$ 的一个正集（positive set），而 $N = X \setminus P$ 称为 $\mu$ 的一个负集（negative set）。有序对 $(P, N)$ 即构成 $X$ 关于 $\mu$ 的一个哈恩分解。需要特别注意的是，正集和负集的定义是针对集合的所有可测子集而言的，而非仅针对集合本身。例如，一个集合 $A$ 即使满足 $\mu(A)>0$，它也不一定是正集——只要 $A$ 中存在某个可测子集的测度为负值，$A$ 即不是正集。

本质唯一性

哈恩分解不唯一，但具有本质唯一性——即在忽略 $\mu$-零集的意义下唯一。具体来说，若 $(P_1, N_1)$ 和 $(P_2, N_2)$ 是 $X$ 关于同一符号测度 $\mu$ 的两个哈恩分解，则对称差 $P_1 \triangle P_2 = (P_1 \setminus P_2) \cup (P_2 \setminus P_1)$ 是 $\mu$-零集，即该对称差的所有可测子集上的测度均为零。这意味着任意两个正集之间、任意两个负集之间至多相差一个零测集。这一性质保证了哈恩分解在应用中的稳定性：尽管具体分解方式可以有多种选择，但它们在测度论意义上是等价的。

构造性证明的要点

哈恩分解定理的标准证明充分体现了测度论的分析技巧。证明的基本思路如下：首先定义 $\lambda = \sup\{\mu(E) : E \in \Sigma\}$，即 $\mu$ 在所有可测集上所能达到的上确界。由于 $\mu$ 不取 $+\infty$ 值（符号测度的标准约定），$\lambda$ 是一个有限非负实数。然后选取一列可测集 $\{E_n\}_{n=1}^\infty$，使得 $\mu(E_n) \to \lambda$。通过对这些集合进行适当的集合运算——例如取并集或构造极限集——可以得到一个可测集 $P$，使得 $\mu(P) = \lambda$。接下来需要证明 $P$ 确实是一个正集：假设存在 $E \subseteq P$ 使得 $\mu(E) < 0$，则 $\mu(P \setminus E) = \mu(P) - \mu(E) > \lambda$，与 $\lambda$ 的上确界定义矛盾。由此可知 $P$ 是正集，而 $N = X \setminus P$ 必然是负集。该证明的关键在于充分利用了测度的可数可加性以及实数系的完备性。

与若尔当分解的深刻联系

哈恩分解与若尔当分解（Jordan decomposition）是一对紧密相关的概念，二者从不同角度揭示了符号测度的结构。若尔当分解定理表明：任意符号测度 $\mu$ 可唯一分解为两个非负测度之差，即 $\mu = \mu^+ - \mu^-$，其中 $\mu^+$ 和 $\mu^-$ 是相互奇异的非负测度。由哈恩分解可以自然地导出若尔当分解：若 $(P, N)$ 是 $\mu$ 的一个哈恩分解，则对于任意可测集 $E$，定义 $\mu^+(E) = \mu(E \cap P)$ 和 $\mu^-(E) = -\mu(E \cap N)$，即可得到 $\mu$ 的正变差和负变差。进一步地，$\mu$ 的全变差（total variation）定义为 $|\mu| = \mu^+ + \mu^-$，而 $\mu$ 的范数定义为 $\|\mu\| = |\mu|(X)$。若尔当分解的唯一性保证了无论选取哪个哈恩分解，得到的 $\mu^+$ 和 $\mu^-$ 都是相同的。反过来，由若尔当分解也可以构造哈恩分解：取 $\mu^+$ 的任意一个支撑集作为正集即可。

在数学中的广泛应用

哈恩分解在数学的多个分支中发挥着不可替代的作用。在实分析中，它为符号测度的勒贝格积分理论提供了基础框架——只有在对符号测度进行了正部和负部的分解之后，才能定义关于符号测度的积分。例如，函数 $f$ 关于符号测度 $\mu$ 的积分通常定义为 $\int f \, d\mu = \int f \, d\mu^+ - \int f \, d\mu^-$，这就直接依赖于哈恩分解所导出的若尔当分解。在概率论中，哈恩分解被用于处理带符号的随机测度，并在鞅论中用于构造鞅的典范分解。在泛函分析中，哈恩分解与拉东-尼科迪姆定理（Radon–Nikodym theorem）以及里斯表示定理（Riesz representation theorem）之间存在深刻的内在联系；事实上，这些定理共同构成了现代测度论和泛函分析的核心理论基础。在金融数学中，符号测度的分解技术被广泛应用于资产定价理论、风险度量和随机贴现因子的构造。此外，哈恩分解还是研究测度绝对连续性和奇异性的基本工具——通过哈恩分解可以清晰地刻画一个测度相对于另一个测度的分解结构。

历史发展脉络

汉斯·哈恩于1921年在其论文中首次完整地证明了该分解定理。哈恩是维也纳学派的活跃成员，也是数学家库尔特·哥德尔在维也纳大学攻读博士学位期间的导师之一，他对哥德尔的学术发展产生了重要影响。该定理后来由匈牙利数学家弗里德里希·里斯（Frigyes Riesz）等人进一步推广和精炼，最终成为测度论教科书中不可或缺的经典内容。时至今日，哈恩分解定理连同若尔当分解、拉东-尼科迪姆定理一起，被公认为符号测度理论的三大基石。这三者相互关联、彼此支撑，共同构成了现代分析学中处理带符号测度的完备理论体系，对数学的诸多分支产生了持久而深远的影响。