1.1 直观理解#

把完备度量空间想象成一块完整的海绵。第一纲集（可数个无处稠密集的并）就像海绵中被挖去的「气孔」——虽然可能密密麻麻，但永远挖不空整块海绵。剩下的剩余集（residual set）仍然是稠密的。

1.2 核心思想#

在完备度量空间中，「大」和「小」有两种不同的尺度：测度论用「长度/体积」衡量，纲论用「拓扑的稀疏程度」衡量。

1.3 形式陈述#

定理（Baire Category Theorem）：设 $(X, d)$ 是完备度量空间。

1. 若 $\{U_n\}$ 是一列稠密开集，则 $\bigcap_{n=1}^\infty U_n$ 在 $X$ 中稠密。
2. $X$ 不能表示为可数个无处稠密集的并（$X$ 是第二纲的）。

3.1 证明思路：嵌套球构造#

任取开球 $B_0$，需要在 $\bigcap U_n$ 中找一个点落在 $B_0$ 内：

• 用 $U_1$ 的稠密性，在 $B_0$ 内塞入 $\overline{B}_1 \subseteq U_1 \cap B_0$
• 用 $U_2$ 的稠密性，在 $B_1$ 内塞入 $\overline{B}_2 \subseteq U_2 \cap B_1$
• 依此类推，半径 $r_n \to 0$
• 完备性 ⇒ 球心收敛到公共极限点 $x \in B_0 \cap \bigcap U_n$

1
B_0  ████████████████████
2
        B_1  ████████████     ⊆ U_1
3
              B_2  ██████     ⊆ U_2
4
                 B_3  ██      ⊆ U_3
5
                    ● ← x

3.2 详细证明#

设 $\{U_n\}$ 是一列稠密开集，$W$ 是任意非空开集。递归构造 $B(x_n, r_n)$：

1. $r_1 < 1$，$\overline{B}(x_1, r_1) \subseteq W \cap U_1$
2. $r_{n+1} < r_n/2$，$\overline{B}(x_{n+1}, r_{n+1}) \subseteq B(x_n, r_n) \cap U_{n+1}$

归纳步骤：$U_{n+1}$ 稠密开 ⇒ $B(x_n, r_n) \cap U_{n+1}$ 非空开，在其中取 $x_{n+1}$ 及充分小的 $r_{n+1}$。

取极限：$d(x_n, x_{n+1}) < r_n < 1/2^{n-1}$ ⇒ $\{x_n\}$ 是 Cauchy 列。完备性 ⇒ $\exists\, x = \lim x_n$。

对任意 $k$，$n \ge k$ 时 $x_n \in B(x_k, r_k)$ ⇒ $x \in \overline{B}(x_k, r_k) \subseteq U_k$。故 $x \in \bigcap U_n$ 且 $x \in W$。∎

4.1 嵌套球技巧（Nested Ball Technique）#

在完备度量空间中，逐层嵌套越来越小的闭球，交一定非空。这一技巧贯穿泛函分析四大基石定理：一致有界原理、开映射定理、闭图像定理、Hahn-Banach 的几何形式。

4.2 纲论证（Category Argument）方法论#

一种独特的证明范式：

1. 把目标性质表示为集合 $S$
2. 证明 $S$ 包含一个稠密 $G_\delta$ 集（剩余集）
3. Baire 定理 ⇒ 剩余集非空（且稠密）⇒ 存在满足性质的对象

这类似于概率方法：证明某事件概率为 1 从而一定发生。纲论证用拓扑的「纲」代替了测度。

4.3 非构造性存在证明的威力#

Baire 定理告诉你某对象「一定存在且遍地都是」，但不具体构造它。这在分析中极有用——断言「绝大多数」连续函数处处不可导，而不需显式写出 Weierstrass 函数。

5.1 处处连续处处不可导的函数「遍地都是」#

在 $C[0,1]$ 中，处处不可导的连续函数构成一个稠密 $G_\delta$ 集（剩余集）。

思路上：令 $A_n$ 为「存在某点差商 $\le n$」的函数集，可证 $A_n$ 闭且无处稠密。$\bigcup A_n$ 是第一纲集（至少有一点可导的函数），其补集是剩余集 ⇒ 稠密。

5.2 一致有界原理（Banach-Steinhaus）#

Banach 空间上一族算子若逐点有界，则范数一致有界。

令 $A_n = \{x : \sup_\alpha \|T_\alpha x\| \le n\}$，这些是闭集且 $\bigcup A_n = X$。Baire ⇒ 某个 $A_{n_0}$ 含开球 ⇒ 算子族整体有界。

5.3 开映射定理#

Banach 空间之间的连续线性满射必为开映射。

关键一步：$X = \bigcup_n n \cdot \overline{T(B_X)}$，Baire ⇒ 某个 $\overline{T(B_X)}$ 有内点，级数扰动推进到 $T(B_X)$ 本身含开集。

5.4 Fourier 级数发散的普遍性（du Bois-Reymond 现象）#

在 $C(\mathbb{T})$ 中，满足 $\sup_n |S_n(f)(0)| = \infty$ 的函数构成稠密 $G_\delta$ 集——绝大多数连续函数的 Fourier 级数在 $0$ 处无界发散。

5.5 无穷维 Banach 空间的 Hamel 基不可数#

若存在可数 Hamel 基，则 $X = \bigcup_n \operatorname{span}\{e_1,\dots,e_n\}$。每个有限维子空间闭且无处稠密 ⇒ 与 Baire 矛盾。