符号测度

它指向谁（出边）

推出 1

• 本页 ⟹ Hahn 分解定理推出
  符号测度 + 正集的封闭性 $\implies$ Hahn 分解

  ① 先把 $\nu$ 的无穷值甩掉。 不妨设 $\nu$ 不取 $\infty$（若 $\nu$ 不取 $-\infty$ 就改证 $-\nu$）。于是 $\nu(X) < \infty$ 中的「上方」是安全的。

  ② 挑一个「最大的正集」。 令

  $$m := \sup\{ \nu(E) : E\text{ 是正集} \},$$

  则 $m < \infty$（因为 $\nu$ 不取 $\infty$ 而 $\nu (E) \le \nu (X)$ 型估计受控）。取一列正集 $\{P_j\}$ 使 $\nu(P_j) \to m$，令

  $$P = \bigcup_j P_j$$

  由正集的可数并仍是正集，$P$ 是正集；且 $\nu(P) = m$（正集的不交化 + 可数可加）。

  ③ 断言 $N = X \setminus P$ 是负集。 反设 $N$ 不含负集，即 $N$ 不是负的。要证它会挤出一个比 $m$ 更大的正集。

  ④ 在 $N$ 里挖出正集。 若 $N$ 不是负集，则存在可测 $A \subseteq N$ 使 $\nu(A) > 0$。「$A$ 是正的」就到此结束；否则存在 $A_1 \subseteq A$ 使 $\nu(A_1) < 0$。取最小的自然数 $n$ 使

  $$\nu(A_1) < -1/n$$

  （$n_1$ 取「使存在负测度集 $\le -1/n_{1}$ 的最小 $n$」。取最小这一步是关键 —— 它保证后面能取极限。）

  再在 $A \setminus A_1$ 里重复同样的操作，得到 $A_2, \ldots$

  ⑤ 若操作终止，剩下的 $B = A \setminus \bigcup_k A_k$ 就是正集（因为已经没有负子集可以挖了）。 ⑥ 若操作不终止，取 $B = A \setminus \bigcup_k A_k$。由可数可加性

  $$\nu(A) = \nu(B) + \sum_k \nu(A_k)$$

  而 $\sum_k |\nu(A_k)| < \infty$（因为左边有限），特别地 $\nu(A_k) \to 0$，这迫使 $n_k \to \infty$，从而对任意 $F \subseteq B$：若 $\nu(F) < -1/n_{k-1}$，就与 $n_k$ 的最小性矛盾。于是 $\nu(F) \ge -1/n_{k-1}$ 对一切 $k$ 成立，令 $k \to \infty$ 得 $\nu(F) \ge 0$。故 $B$ 也是正集。

  ⑦ 矛盾。 由 ⑤⑥，$A$ 中含正集 $B$。于

  $$\nu(B) = \nu(A) - \sum_k \nu(A_k) > 0$$

  说明 $P \cup B$ 是正集且 $\nu(P \cup B) = m + \nu(B) > m$，与 $m$ 的定义矛盾。故 $N$ 必为负集，$X = P \sqcup N$ 就是 Hahn 分解，存在性得证。

  ⑧ 唯一性。 设 $P' \sqcup N'$ 是另一对。则 $P \setminus P' \subseteq P$（正集）且 $\subseteq N'$（负集），所以它既是正集又是负集 —— 只能是零集；同理 $P' \setminus P$ 也是零集。故 $P \triangle P' = N \triangle N'$ 是 $\nu$零集。∎

  ⭐ 「取最小的 $n$」是整段证明的技术核心：因为 $n$ 取最小，后面才能让 $\nu(F) \ge -1/n_{k-1}$ 一路通过 $k \to \infty$ 得到 $\nu(F) \ge 0$。

定义引用 6

• 正集 / 负集 / 零集 用到 本页定义引用

  正负集是针对符号测度定义的。

• Jordan 分解定理 用到 本页定义引用

  Jordan 分解把符号测度拆成两个测度之差。

• 全变差的基本性质 用到 本页定义引用

  设 $\nu$ 是符号测度，$|\nu|$ 是它的全变差。

• 绝对连续 用到 本页定义引用

  这里的 $\nu$ 是一个符号测度。

• 复测度 用到 本页定义引用

  注里逐条与符号测度对照：复测度自动有限、级数自动绝对收敛。

• 正则 Borel 测度 用到 本页定义引用

  「符号测度 $\nu$ 叫正则 $\iff$ $|\nu|$ 正则」—— 正则性是借助符号测度说的。

谁指向它（入边）

定义引用 2

• σ-代数 → 本页定义引用

  符号测度定义在可测空间 $(X, \mathcal{M})$ 上。

• 测度 → 本页定义引用

  例 1 直接把符号测度写成两个测度之差 $\nu = \mu_1 - \mu_2$。