广义测度与复测度

广义测度（signed measure）与复测度（complex measure）是经典测度论的两大核心推广。广义测度将测度值从 $[0,\infty]$ 延拓到 $(-\infty,\infty]$，而复测度进一步推广到复平面 $\mathbb{C}$。二者不仅是抽象理论的自然延伸，更在谱理论、调和分析与概率论中扮演不可替代的角色。

广义测度

设 $(X,\mathcal{F})$ 为可测空间。函数 $\mu:\mathcal{F}\to(-\infty,\infty]$ 称为广义测度，若满足：

1. $\mu(\varnothing)=0$；
2. 对任意两两不交的 $\{A_n\}\subseteq\mathcal{F}$，有 $\mu(\bigcup_{n=1}^{\infty}A_n)=\sum_{n=1}^{\infty}\mu(A_n)$（可数可加性）。

注意 $\mu$ 至多可取 $+\infty$ 或 $-\infty$ 之一，不能两者同时出现，以避免 $\infty-\infty$ 的不定型。

Hahn分解定理

对任意广义测度 $\mu$，存在可测集 $P$（正集）与 $N$（负集）使得 $X=P\cup N$，$P\cap N=\varnothing$，且对任意可测 $A\subseteq P$ 有 $\mu(A)\ge0$，对任意可测 $A\subseteq N$ 有 $\mu(A)\le0$。此分解在相差一个 $\mu$-零集的意义下唯一。

Jordan分解定理

广义测度 $\mu$ 可唯一表示为两个正测度之差：$\mu=\mu^+-\mu^-$，其中 $\mu^+(A)=\mu(A\cap P)$，$\mu^-(A)=-\mu(A\cap N)$。$\mu^+$ 与 $\mu^-$ 分别称为 $\mu$ 的正变差与负变差。全变差测度定义为 $|\mu|=\mu^++\mu^-$，它是最小控制 $\mu$ 的正测度：对任意 $A$，$|\mu(A)|\le|\mu|(A)$。

Radon-Nikodym定理

若广义测度 $\mu$ 关于 $\sigma$-有限正测度 $\nu$ 绝对连续（$\mu\ll\nu$），则存在唯一的 $f\in L^1(\nu)$ 使得 $d\mu=f\,d\nu$。这里 $f$ 可取负值，其积分即为 $\mu$。

复测度

复测度 $\nu:\mathcal{F}\to\mathbb{C}$ 满足可数可加性，且级数 $\sum\nu(A_n)$ 无条件收敛（因重排不改变和）。复测度自动有界，不会出现无穷值。

全变差

对复测度 $\nu$，定义其全变差 $|\nu|$ 为：

$|\nu|$ 是有限正测度，且 $|\nu(A)|\le|\nu|(A)\le|\nu|(X)<\infty$。

极分解（Polar Decomposition）

存在可测函数 $h$ 满足 $|h(x)|=1$ 对 a.e. $x$ 成立，使得 $d\nu=h\,d|\nu|$。此即复测度的极分解，类比复数的极坐标表示：复测度 = 幺模函数 × 正测度。

Radon-Nikodym定理的复版本

若复测度 $\nu\ll\mu$（$\mu$ 为 $\sigma$-有限正测度），则存在 $f\in L^1(\mu)$ 使得 $d\nu=f\,d\mu$。这里 $f$ 是复值可积函数。

与有界变差函数的联系

在 $\mathbb{R}$ 上，右连续的有界变差函数 $F$ 一一对应于有限广义测度：$\mu((a,b])=F(b)-F(a)$。复测度则对应复值有界变差函数。这建立了测度论与经典分析之间的桥梁。

应用要点

• 谱定理：自伴算子与酉算子的谱测度分别是广义测度与复测度的投影值推广。
• 调和分析：Fourier变换的卷积测度常为复测度；Bochner定理用正定函数刻画有限正测度。
• 概率论：特征函数本质上是一个复测度的Fourier变换。
• 泛函分析：$C_0(X)$ 的对偶空间等价于正则复Borel测度空间（Riesz表示定理）。

广义测度与复测度将测度论从单纯的"大小"度量解放为可以编码方向、相位与符号的丰富结构，是现代分析不可或缺的语言。