第二章：距离空间中的拓扑与完备性

在第一章中，我们将“距离”的概念进行了公理化推广。有了距离之后，我们就可以顺理成章地在抽象空间中讨论“远近”和“极限”。本章我们将进一步借用微积分中的直观几何概念，在距离空间中建立起拓扑结构（开集、闭集、稠密性），并探讨泛函分析中最为核心的概念之一——完备性 (Completeness)。最后，我们将证明著名的 Baire 纲定理，这是研究线性算子理论的基石。

1. 距离空间中的基本拓扑概念

在欧氏空间中，极限和连续的定义都依赖于“邻域”。在一般的距离空间中，邻域通过“球”来定义。

定义 2.1 (球与邻域)

设 \((X, \rho)\) 是一距离空间，\(x_0 \in X\)，\(r > 0\)。

开球 (Open Ball)：集合 \(\{x \in X \mid \rho(x, x_0) < r\}\) 称为以 \(x_0\) 为中心，\(r\) 为半径的开球，记为 \(S(x_0, r)\)。
闭球 (Closed Ball)：集合 \(\{x \in X \mid \rho(x, x_0) \le r\}\) 称为闭球，记为 \(\overline{S}(x_0, r)\)。

以 \(x_0\) 为中心的开球 \(S(x_0, r)\) 也称为 \(x_0\) 的一个（球形）邻域。

1.1 开集与闭集

定义 2.2 (内点与开集)

内点 (Interior Point)：设 \(G \subset X\)，\(x \in G\)。如果存在 \(x\) 的某个邻域 \(S(x, r) \subset G\)，则称 \(x\) 是 \(G\) 的内点。
开集 (Open Set)：如果集合 \(G\) 中的每一个点都是它的内点，则称 \(G\) 为开集。规定空集 \(\emptyset\) 也是开集。

开集具有以下基本性质： 1. 全空间 \(X\) 和空集 \(\emptyset\) 都是开集； 2. 任意多个开集的并集是开集； 3. 有限多个开集的交集是开集。

定义 2.3 (聚点、闭包与闭集)

聚点 (Limit Point)：设 \(A \subset X\)。若对任给的 \(\epsilon > 0\)，邻域 \(S(x_0, \epsilon)\) 中都含有 \(A\) 中异于 \(x_0\) 的点（即 \(S(x_0, \epsilon) \cap (A \setminus \{x_0\}) \ne \emptyset\)），则称 \(x_0\) 是 \(A\) 的聚点。
孤立点 (Isolated Point)：若 \(x_0 \in A\) 但不是聚点，则称为孤立点。
导集与闭包：\(A\) 的全部聚点构成的集合称为导集 \(A'\)。并集 \(\overline{A} = A \cup A'\) 称为 \(A\) 的闭包 (Closure)。
闭集 (Closed Set)：如果 \(A = \overline{A}\)（即 \(A\) 包含其所有聚点），则称 \(A\) 为闭集。

开集与闭集是对偶的概念：集合 \(A\) 是闭集，当且仅当其补集 \(A^c\) 是开集。 闭集满足：任意多个闭集的交集是闭集；有限多个闭集的并集是闭集。

2. 稠密性与可分性

在分析学中，我们经常用一个简单的集合去“逼近”一个复杂的集合（比如用有理数逼近实数，用多项式逼近连续函数），这就引出了稠密性的概念。

定义 2.4 (稠密性 Dense)

设 \(A, B \subset X\)。如果 \(\overline{B} \supset A\)，则称 \(B\) 在 \(A\) 中稠密。

稠密性有以下几个等价命题： (i) 对于任给的 \(x \in A\) 及 \(r > 0\)，存在 \(B\) 中的点 \(y\) 使得 \(\rho(x, y) < r\)。 (ii) 对于任给的 \(r > 0\)，以 \(B\) 中每个点为中心、\(r\) 为半径的所有开球的并集包含 \(A\)。 (iii) 对于任给的 \(x \in A\)，必定存在 \(B\) 中的点列 \(\{x_n\}\) 使得 \(x_n \rightarrow x\)。

定义 2.5 (可分空间 Separable Space)

如果距离空间 \(X\) 中存在一个至多可列（Countable）且在 \(X\) 中稠密的子集，则称 \(X\) 是可分的。

实例 1： 实数域 \(\mathbb{R}\) 是可分的，因为有理数集 \(\mathbb{Q}\) 是可列且稠密的。
实例 2： 连续函数空间 \(C[a,b]\) 是可分的。由 Weierstrass 逼近定理，有理系数多项式集合在 \(C[a,b]\) 中稠密，且该集合是可列的。

并非所有空间都是可分的。泛函分析中一个经典的不可分空间是本性有界函数空间 \(L^\infty[a,b]\)。

证明：\(L^\infty[a,b]\) 是不可分的距离空间

我们采用反证法。考虑区间 \([a,b]\)，对于任意 \(s \in (a, b]\)，定义特征函数 \(f_s = \chi_{[a, s]}\)。显然，当 \(s \ne s'\) 时，这两个函数在一个测度大于 0 的区间上取值不同（一个为 1，一个为 0），因此在 \(L^\infty[a,b]\) 中的本性上确界距离为：

\[ \rho(f_s, f_{s'}) = 1 \quad (s \ne s') \]

所有这样的函数构成的集合记为 \(A = \{f_s \mid s \in (a,b]\}\)。由于实数区间不可数，集合 \(A\) 也是不可数的。

假设 \(L^\infty[a,b]\) 是可分的，那么它存在一个可列的稠密子集 \(M_0 = \{g_1, g_2, \dots\}\)。以 \(M_0\) 中的每个元素 \(g_n\) 为中心，以 \(1/3\) 为半径作开球 \(S(g_n, 1/3)\)。由于 \(M_0\) 稠密，这些开球的并集覆盖了整个 \(L^\infty[a,b]\)，自然也覆盖了集合 \(A\)。

因为开球族 \(\{S(g_n, 1/3)\}\) 只有可列个，而 \(A\) 有不可列个元素。由抽屉原理，必然存在至少一个开球中包含了 \(A\) 中的两个不同元素，设为 \(f_s\) 和 \(f_{s'}\)。由三角不等式：

\[ \rho(f_s, f_{s'}) \le \rho(f_s, g_n) + \rho(g_n, f_{s'}) < \frac{1}{3} + \frac{1}{3} = \frac{2}{3} \]

这与前面得出的 \(\rho(f_s, f_{s'}) = 1\) 相矛盾！因此，\(L^\infty[a,b]\) 必定是不可分的。 \(\square\)

3. 完备性 (Completeness)

极限的存在性是微积分的核心。但在实际计算中，我们往往只能判断一个序列是否越来越“靠近”彼此，却不知道那个“极限点”存不存在于当前空间中。这就是 Cauchy 列引入的动机。

定义 2.6 (基本点列 / Cauchy 列)

距离空间 \(X\) 中的点列 \(\{x_n\}\) 称为基本点列（或柯西列），若对任给的 \(\epsilon > 0\)，存在 \(N > 0\)，使得当 \(m, n > N\) 时，有：

\[ \rho(x_n, x_m) < \epsilon \]

易知，任何收敛点列必是基本点列（由三角不等式即得）。但反过来，基本点列是否一定收敛，取决于空间本身是否有“漏洞”。例如，有理数集 \(\mathbb{Q}\) 中的基本点列可能收敛于无理数（如 \(\sqrt{2}\)），此时极限不在 \(\mathbb{Q}\) 中。

定义 2.7 (完备距离空间 Complete Metric Space)

如果距离空间 \(X\) 中的任一基本点列都必定收敛于 \(X\) 中的某一点，则称 \(X\) 是完备的距离空间。

3.1 经典空间的完备性

欧氏空间 \(\mathbb{R}^n\) 是完备的。泛函分析中，我们更关心函数空间的完备性。

证明：连续函数空间 \(C[a,b]\) 是完备的

设 \(\{x_n\}\) 是 \(C[a,b]\) 中的基本点列。即对任给 \(\epsilon > 0\)，存在 \(N\)，当 \(m, n > N\) 时，对所有 \(t \in [a,b]\) 恒有：

\[ |x_n(t) - x_m(t)| \le \max_{t \in [a,b]} |x_n(t) - x_m(t)| = \rho(x_n, x_m) < \epsilon \]

这说明对于区间上的每一个固定的点 \(t_0\)，实数列 \(\{x_n(t_0)\}\) 都是实数域 \(\mathbb{R}\) 上的 Cauchy 列。由实数的完备性，点列必定收敛于某个实数，记为 \(x(t_0)\)。令 \(t\) 遍历 \([a,b]\)，我们就得到了一个极限函数 \(x(t)\)。

接下来需要证明两点：(1) \(x_n \to x\) 是在距离 \(\rho\) 下收敛（即一致收敛）；(2) 极限函数 \(x(t) \in C[a,b]\)。

(1) 一致收敛性：在 \(|x_n(t) - x_m(t)| < \epsilon\) 中，令 \(m \rightarrow \infty\)。由于模函数连续，我们得到当 \(n > N\) 时，对一切 \(t \in [a,b]\) 都有：

\[ |x_n(t) - x(t)| \le \epsilon \]

即 \(\rho(x_n, x) \le \epsilon\)，这意味着函数列 \(\{x_n(t)\}\) 在 \([a,b]\) 上一致收敛于 \(x(t)\)。

(2) 极限函数的连续性：由数学分析中的经典定理，连续函数列的一致极限必然是连续函数。因此 \(x(t)\) 在 \([a,b]\) 上连续，即 \(x \in C[a,b]\)。

综上所述，基本点列 \(\{x_n\}\) 在 \(C[a,b]\) 中收敛于 \(x \in C[a,b]\)，因此 \(C[a,b]\) 是完备的。 \(\square\)

3.2 可测函数空间 \(S\) 的完备性

空间 \(S\) 由可测集 \(E\)（假设测度 \(m(E) < \infty\)）上所有几乎处处有限的 Lebesgue 可测函数构成。其距离定义为：

\[ \rho(x, y) = \int_E \frac{|x(t) - y(t)|}{1 + |x(t) - y(t)|} dt \]

通过测度论中的经典放缩方法可知，在这种距离下，点列的收敛等价于依测度收敛 (Convergence in Measure)。

证明：可测函数空间 \(S\) 的完备性（点击展开）

Step 1: 转化为依测度收敛的 Cauchy 列 设 \(\{x_n\}\) 为 \(S\) 中的 Cauchy 列。即对任给 \(\epsilon > 0\)，当 \(n, m \to \infty\) 时，\(\rho(x_n, x_m) \to 0\)。由于该积分距离下的收敛与依测度收敛等价，因此 \(\{x_n\}\) 也是一个依测度 Cauchy 列。即对于任意给定的 \(\sigma > 0\)：

\[ m(\{t \in E \mid |x_n(t) - x_m(t)| \ge \sigma\}) \to 0 \quad (n, m \to \infty) \]

Step 2: 利用 Riesz 定理提取几乎处处收敛的子列 根据实变函数中的 Riesz 定理（依测度的 Cauchy 列必定存在几乎处处收敛的子列），我们可以从 \(\{x_n\}\) 中提取出一个子列 \(\{x_{n_k}\}\)，使得它在 \(E\) 上几乎处处收敛于某个可测函数 \(x(t)\)。即当 \(k \to \infty\) 时，\(x_{n_k}(t) \to x(t)\) a.e. 显然，由可测函数的封闭性，极限函数 \(x \in S\)。

Step 3: 利用 Lebesgue 控制收敛定理 (LDCT) 证明子列按距离收敛 考察距离定义式中的被积函数：

\[ f_k(t) = \frac{|x_{n_k}(t) - x(t)|}{1 + |x_{n_k}(t) - x(t)|} \]

由于 \(x_{n_k}(t) \to x(t)\) a.e.，故 \(f_k(t) \to 0\) a.e.。同时，注意到对于所有的 \(t\) 都有 \(|f_k(t)| \le 1\)，而常数函数 \(1\) 在有限测度集 \(E\) 上是 Lebesgue 可积的。根据 Lebesgue 控制收敛定理 (LDCT)，积分和极限可以交换次序：

\[ \lim_{k \to \infty} \rho(x_{n_k}, x) = \lim_{k \to \infty} \int_E f_k(t) dt = \int_E \lim_{k \to \infty} f_k(t) dt = \int_E 0 \, dt = 0 \]

这说明子列 \(\{x_{n_k}\}\) 在距离 \(\rho\) 意义下收敛于 \(x\)。

Step 4: 证明原 Cauchy 列也收敛于该极限 已知 \(\{x_n\}\) 是距离空间中的 Cauchy 列，且它有一个子列收敛于 \(x\)。利用三角不等式：

\[ \rho(x_n, x) \le \rho(x_n, x_{n_k}) + \rho(x_{n_k}, x) \]

对于任给的 \(\epsilon > 0\)：第一项：由于 \(\{x_n\}\) 是 Cauchy 列，当 \(n, n_k\) 足够大时，\(\rho(x_n, x_{n_k}) < \epsilon/2\)；第二项：由于子列收敛，当 \(k\) 足够大时，\(\rho(x_{n_k}, x) < \epsilon/2\)。

因此，当 \(n \to \infty\) 时，\(\rho(x_n, x) \to 0\)。即原序列 \(\{x_n\}\) 也在 \(S\) 空间中按距离收敛于极限函数 \(x\)。至此，证明了空间 \(S\) 满足 Cauchy 列必收敛的条件，因而是完备的。 \(\square\)

3.3 序列空间 \(s\) 的完备性

空间 \(s\) 由所有数列构成，距离定义为 \(\rho(x, y) = \sum_{i=1}^\infty \frac{1}{2^i} \frac{|\xi_i - \eta_i|}{1 + |\xi_i - \eta_i|}\)。

证明：空间 \(s\) 的完备性（点击展开）

Step 1: 逐项收敛性 设 \(\{x_n\}\) 为 \(s\) 中的 Cauchy 列。对于固定的 \(k\)，当 \(\rho(x_n, x_m) \to 0\) 时：

\[ \frac{1}{2^k} \frac{|\xi_k^{(n)} - \xi_k^{(m)}|}{1 + |\xi_k^{(n)} - \xi_k^{(m)}|} \le \rho(x_n, x_m) < \epsilon \]

由此推导出 \(|\xi_k^{(n)} - \xi_k^{(m)}| \to 0\)，故对每个 \(k\) 存在 \(\xi_k^{(n)} \to \xi_k\)。记 \(x = (\xi_1, \xi_2, \dots)\)。

Step 2: 证明距离收敛 任给 \(\epsilon > 0\)，选取足够大的 \(K\) 使得 \(\sum_{i=K+1}^\infty \frac{1}{2^i} < \frac{\epsilon}{2}\)。对于前 \(K\) 项，由于 \(\xi_i^{(n)} \to \xi_i\)，存在 \(N\) 使得当 \(n > N\) 时：

\[ \sum_{i=1}^K \frac{1}{2^i} \frac{|\xi_i^{(n)} - \xi_i|}{1 + |\xi_i^{(n)} - \xi_i|} < \frac{\epsilon}{2} \]

于是当 \(n > N\) 时：

\[ \rho(x_n, x) = \sum_{i=1}^K (\dots) + \sum_{i=K+1}^\infty (\dots) < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon \]

故 \(x_n \to x\)。注意 \(s\) 包含所有数列，故 \(x\) 必然在 \(s\) 内。 \(\square\)

4. 闭球套定理与 Baire 纲定理

这是完备距离空间中最深刻且最具应用价值的拓扑性质，它将实数域上的“区间套定理”完美推广到了无穷维抽象空间。

4.1 闭球套定理

定理 2.1 (闭球套定理 Nested Closed Sphere Theorem)

设 \(X\) 是完备距离空间。\(K_n = \overline{S}(x_n, r_n)\) 是 \(X\) 中的一列闭球，满足层层嵌套：

\[ K_1 \supseteq K_2 \supseteq \cdots \supseteq K_n \supseteq \cdots \]

如果闭球的半径 \(r_n \rightarrow 0\) (\(n \to \infty\))，则在 \(X\) 中存在唯一的一点 \(x_0\)，它属于所有的闭球，即 \(\bigcap_{n=1}^\infty K_n = \{x_0\}\)。

闭球套定理的证明（点击展开）

1. 存在性：

考察闭球的中心构成的点列 \(\{x_n\}\)。设 \(m > n\)，由于嵌套关系 \(K_m \subseteq K_n\)，这说明第 \(m\) 个球的中心 \(x_m\) 必定在第 \(n\) 个球 \(K_n\) 内部。因此：

\[ \rho(x_n, x_m) \le r_n \]

已知当 \(n \rightarrow \infty\) 时 \(r_n \rightarrow 0\)。这表明点列 \(\{x_n\}\) 是一个基本点列 (Cauchy 列)。因为空间 \(X\) 是完备的，所以 \(\{x_n\}\) 必然收敛于 \(X\) 中的某一点 \(x_0\)。

接下来证明 \(x_0 \in K_n\) 对于所有 \(n\) 成立。任取一个固定的整数 \(n_0\)。当 \(n \ge n_0\) 时，所有的 \(x_n\) 都包含在闭球 \(K_{n_0}\) 中。由于 \(K_{n_0}\) 是一个闭集，其包含的点列的极限也必包含于其中，故 \(x_0 \in K_{n_0}\)。由 \(n_0\) 的任意性，可知 \(x_0 \in \bigcap_{n=1}^\infty K_n\)。

2. 唯一性：

假设存在另一个点 \(y_0 \ne x_0\) 也属于所有的闭球。由三角不等式，对任意的 \(n\)：

\[ \rho(x_0, y_0) \le \rho(x_0, x_n) + \rho(x_n, y_0) \le r_n + r_n = 2r_n \]

令 \(n \rightarrow \infty\)，右端趋于 0，得到 \(\rho(x_0, y_0) = 0\)，即 \(x_0 = y_0\)。矛盾。故交点唯一。 \(\square\)

(注：该定理的逆命题也成立，即如果一个空间中任意半径趋于零的闭球套都有非空交集，则该空间必然是完备的。)

4.2 第一/第二类型集与 Baire 纲定理

为了刻画集合的“厚薄”，我们引入分类的概念：

稀疏集 (Nowhere Dense / 无处稠密)：如果子集 \(A\) 在 \(X\) 的任何非空开集中都不稠密，则称 \(A\) 是稀疏集。等价地说，对于任一开球 \(S_1\)，必定存在一个子开球 \(S_2 \subset S_1\)，使得 \(S_2\) 与 \(A\) 不相交 (\(S_2 \cap A = \emptyset\))。
第一类型集 (Meager / First Category)：如果 \(A\) 可以表示为至多可列个稀疏集的并集，则称 \(A\) 是第一类型的。它代表拓扑意义上的“瘦集”或“薄集”。
第二类型集 (Non-meager / Second Category)：凡不是第一类型的集，均称为第二类型集。代表拓扑意义上的“胖集”。

在泛函分析中，我们最关心的结论是：一个完备的空间，绝对不可能是由稀疏集拼凑而成的。

定理 2.2 (Baire 纲定理 Baire Category Theorem)

任何完备的距离空间 \(X\)，必定是第二类型的集。

(换言之，完备空间不能表示为可数个无处稠密集的并集。或者说，可数个稠密开集的交集依然是稠密的。)

Baire 纲定理的证明（点击展开）

采用反证法。假设完备距离空间 \(X\) 是第一类型的集，那么存在可数个稀疏集 \(\{F_n\}\)，使得：

\[ X = \bigcup_{n=1}^\infty F_n \]

任取一个非空闭球 \(\overline{S}(x_0, r_0)\) (\(r_0 > 0\))。

因为 \(F_1\) 是稀疏集，它在 \(\overline{S}(x_0, r_0)\) 的内部必定不稠密。故存在一个闭球 \(\overline{S}(x_1, r_1) \subset \overline{S}(x_0, r_0)\)，使得 \(\overline{S}(x_1, r_1) \cap F_1 = \emptyset\)。为了后续半径收敛到 0，我们可以强制要求 \(r_1 < 1\)。
对于这个新球 \(\overline{S}(x_1, r_1)\)，因为 \(F_2\) 也是稀疏集，同理存在闭球 \(\overline{S}(x_2, r_2) \subset \overline{S}(x_1, r_1)\)，使得 \(\overline{S}(x_2, r_2) \cap F_2 = \emptyset\)，且设 \(r_2 < 1/2\)。
依此类推，利用归纳法，我们可以构造出一个无限嵌套的闭球套：

\[ \overline{S}(x_1, r_1) \supseteq \overline{S}(x_2, r_2) \supseteq \cdots \supseteq \overline{S}(x_n, r_n) \supseteq \cdots \]

满足两个关键条件： (i) \(r_n < 1/n\)，所以当 \(n \rightarrow \infty\) 时，\(r_n \rightarrow 0\)。 (ii) 第 \(n\) 个闭球 \(\overline{S}(x_n, r_n)\) 完全不包含 \(F_n\) 中的任何点。

由于空间 \(X\) 是完备的，根据刚刚证明过的闭球套定理，这个闭球套的交集非空，必定存在一个点 \(y_0 \in X\) 满足：

\[ y_0 \in \bigcap_{n=1}^\infty \overline{S}(x_n, r_n) \]

既然 \(y_0\) 存在于空间 \(X\) 中，且 \(X = \bigcup_{n=1}^\infty F_n\)，那么 \(y_0\) 必定属于某一个 \(F_k\)。但这产生了矛盾！因为根据我们的构造过程，\(y_0\) 在所有的闭球里，自然也在 \(\overline{S}(x_k, r_k)\) 里。而我们构造时已经保证了 \(\overline{S}(x_k, r_k) \cap F_k = \emptyset\)，所以 \(y_0\) 绝不可能属于 \(F_k\)。

这个无法调和的矛盾证明了最初的假设是错误的。因此，完备距离空间绝不可能是第一类型集。 \(\square\)

Baire 纲定理的意义： 该定理是泛函分析中“三大基本定理”（一致有界性原理、开映射定理、闭图像定理）的基石。它告诉我们，在完备空间中，如果你要满足可数个极其严苛的条件（每个条件都排除了一个稠密开集），那么同时满足这些条件的点不仅存在，而且还是稠密的！