第十一章：局部紧致性与单点紧化

在前面的章节中，我们探讨了拓扑空间中的紧致性与序列紧致性。在本章中，我们将引入局部紧致空间的概念，并重点研究如何将一个非紧致的局部紧致空间通过添加最少的点（一个点）使其变为紧致空间，这就是著名的单点紧化 (One-point Compactification)。最后，我们将为 Urysohn 距离化定理做一些概念上的准备。

1. 紧化 (Compactification) 的基本概念

在拓扑学中，我们常常希望将一个非紧的“开”空间嵌入到一个紧致空间中，以便利用紧致空间的优良性质。

定义 11.1 (紧化 Compactification)

设 \((X, \mathcal{T})\) 是一个 Hausdorff 空间，那么拓扑空间 \((Y, \mathcal{T}')\) 称为 \((X, \mathcal{T})\) 的一个紧化 (Compactification)，如果满足以下三个条件：

(1) \(Y\) 是一个紧致的 Hausdorff 空间。
(2) \(X \subseteq Y\)，且 \(Y\) 在 \(X\) 上诱导的子空间拓扑恰好是 \(\mathcal{T}\)，即 \(\mathcal{T}'|_X = \mathcal{T}\)。
(3) \(X\) 在 \(Y\) 中是稠密的，即闭包满足：

\[ \overline{X} := cl_Y(X) = Y \]

简单的例子：如果 \((X, \mathcal{T})\) 本身已经是一个紧致的 Hausdorff 空间，那么我们可以直接取 \(Y = X\)。此时 \(X\) 自身的平凡扩展即为它的紧化。

2. 单点紧化 (Alexandroff 紧化)

单点紧化是寻找一个空间的最“小”紧化方式，即仅仅添加一个无穷远点 \(\infty\)。

定理 11.1 (单点紧化定理)

设 \((X, \mathcal{T})\) 为一个 Hausdorff 空间。以下两个命题是等价的 (TFAE)：

(1) \(X\) 是局部紧致的 (Locally compact)，但不是紧致的。
(2) 存在 \((X, \mathcal{T})\) 的一个单点紧化 \((Y, \mathcal{T}')\)，其中：

\[ Y = X \cup \{\infty\} \]

此外，在上述情况下，如果 \((Y_1, \mathcal{T}_1)\) 和 \((Y_2, \mathcal{T}_2)\) 是 \(X\) 的两个不同的单点紧化，那么它们之间存在唯一的同胚映射（且该映射在 \(X\) 上是恒等映射）。

定理 11.1 的证明（点击展开）

第一部分：证明单点紧化的唯一性

假设 \((Y_1, \mathcal{T}_1)\) 和 \((Y_2, \mathcal{T}_2)\) 是 \(X\) 的两个单点紧化，其中 \(Y_1 = X \cup \{\infty_1\}\)，\(Y_2 = X \cup \{\infty_2\}\)。

定义映射 \(f: Y_1 \to Y_2\) 使得 \(f(x) = x\) 对于所有 \(x \in X\) 成立，并且：

\[ f(\infty_1) = \infty_2 \]

由于要求在 \(X\) 上是恒等映射，这样的双射 \(f\) 显然是唯一的。我们只需证明 \(f\) 及其逆映射是连续的。

考察 \(Y_2\) 中的任意开集 \(U \subseteq Y_2\)：

情形 1：如果 \(\infty_2 \notin U\)，则 \(U \subseteq X\)。由于单点紧化保留原拓扑，且 \(X\) 是开子空间，所以 \(f^{-1}(U) = U\) 在 \(Y_1\) 中也是开集。
情形 2：如果 \(\infty_2 \in U\)，则其补集 \(C = Y_2 \setminus U\) 是 \(Y_2\) 中的闭集。由于 \(Y_2\) 紧致，闭子集 \(C\) 必定是紧致的，且 \(C \subseteq X\)。那么在 \(Y_1\) 中，\(f^{-1}(U) = Y_1 \setminus C\)。由于 \(C\) 在 \(X\) 中紧致且 \(X\) 是 Hausdorff 的，\(C\) 在 \(Y_1\) 中是闭集，因此 \(Y_1 \setminus C\) 是 \(Y_1\) 中的开集。

综上，\(f\) 是连续的。由对称性同理可证 \(f^{-1}\) 也是连续的，故 \(f\) 是同胚。

第二部分：证明 (1) \(\Rightarrow\) (2)（构造单点紧化）

已知 \(X\) 是局部紧致但非紧致的，定义 \(Y = X \cup \{\infty\}\)。我们要在 \(Y\) 上构造拓扑 \(\mathcal{T}'\)：

\[ \mathcal{T}' = \mathcal{T} \sqcup \{ Y \setminus C \mid C \text{ 是 } X \text{ 中的紧致子集} \} \]

我们需要验证 \(\mathcal{T}'\) 确实是一个拓扑，且满足紧化的三个条件：

验证子空间拓扑：由于 \(Y \setminus C\) 交 \(X\) 即为 \(X \setminus C\)，而紧集 \(C\) 在 Hausdorff 空间 \(X\) 中是闭的，因此 \(\mathcal{T}'|_X = \mathcal{T}\)。
验证 Hausdorff 性质：对于 \(X\) 中的两个不同点，由于原拓扑是 Hausdorff 的，显然可以分离。若取 \(x \in X\) 和 \(\infty \in Y\)：由于 \(X\) 是局部紧致的，存在包含 \(x\) 的开集 \(U\)，使得其闭包 \(\overline{U}\) 在 \(X\) 中是紧致的。

我们取 \(V = Y \setminus \overline{U}\)，显然 \(V \in \mathcal{T}'\) 且 \(\infty \in V\)。因为 \(U \cap V = \emptyset\)，这就分离了 \(x\) 和 \(\infty\)。因此 \(Y\) 是 Hausdorff 的。

验证紧致性：设 \(\mathcal{A} = \{A_i\}_{i \in I}\) 是 \(Y\) 的任意一个开覆盖。必然存在某个 \(A_{i_0}\) 包含了 \(\infty\)。

根据 \(\mathcal{T}'\) 的定义，包含 \(\infty\) 的开集必然形如 \(A_{i_0} = Y \setminus C\)，其中 \(C\) 是 \(X\) 中的紧致子集。

对于剩余未被覆盖的集合 \(C\)，由于 \(C\) 紧致，开覆盖族 \(\mathcal{A}\) 中剔除 \(\infty\) 后的那些集合 \(\{A_i \cap X\}\) 必然能从中选出有限个来覆盖 \(C\)。

将这有限个开集与 \(A_{i_0}\) 结合，就构成了整个 \(Y\) 的有限子覆盖。故 \(Y\) 是紧致的。

第三部分：证明 (2) \(\Rightarrow\) (1)

已知存在单点紧化 \(Y = X \cup \{\infty\}\)，我们要证 \(X\) 是局部紧致且非紧的。

非紧性：如果 \(X\) 是紧致的，那么作为紧集，它在 Hausdorff 空间 \(Y\) 中必然是闭集。既然是闭集，则 \(\overline{X} = X \ne Y\)，这与紧化的稠密性要求 \(\overline{X} = Y\) 矛盾！因此 \(X\) 绝对不是紧致的。
局部紧致性：任取 \(x \in X \subseteq Y\)。由于 \(Y\) 是紧致 Hausdorff 空间（进而是正规空间，可以分离点），我们可以找到开集 \(U\) 和 \(V\)，使得：

\[ x \in U, \quad \infty \in V, \quad U \cap V = \emptyset \]

令 \(C := Y \setminus V\)。因为 \(V\) 是开集，所以 \(C\) 是 \(Y\) 中的闭集。

因为 \(Y\) 紧致，闭子集 \(C\) 必定也是紧致的。显然，因为 \(\infty \in V\)，我们有 \(C \subseteq X\)。

再看 \(x\) 的邻域：\(x \in U \subseteq \overline{U} \subseteq C\)。这表明 \(x\) 拥有一个闭包为紧集的开邻域 \(U\)，这完全符合局部紧致的定义。 \(\square\)

3. 局部紧致与开子空间

由单点紧化定理的证明过程，我们可以提取出一个非常有用的关于局部紧致空间的等价刻画。

推论 11.2

一个拓扑空间 \((X, \mathcal{T})\) 是局部紧致的 Hausdorff 空间，当且仅当 它同胚于某个紧致 Hausdorff 空间的一个开子空间。

推论 11.2 的证明（点击展开）

必要性 (\(\Rightarrow\))：

如果 \((X, \mathcal{T})\) 是局部紧致的 Hausdorff 空间，根据定理 11.1，我们可以构造它的单点紧化 \(Y = X \cup \{\infty\}\)。

在这个紧致的 Hausdorff 空间 \(Y\) 中，单点集 \(\{\infty\}\) 是紧致集，因而在 Hausdorff 空间中是闭集。

因此，它的补集 \(Y \setminus \{\infty\} = X\) 必然是 \(Y\) 中的开集。即 \(X\) 嵌入成为了紧致空间 \(Y\) 的一个开子空间。

充分性 (\(\Leftarrow\))：

设 \(Y\) 是一个紧致的 Hausdorff 空间，而 \(X \subseteq Y\) 是 \(Y\) 的一个开子集。我们需要证明子空间 \((X, \mathcal{T}_X)\) 也是局部紧致的 Hausdorff 空间。

由于 Hausdorff 性质在子空间中自动遗传，\(X\) 显然是 Hausdorff 的。

现在任取 \(x \in X\)。因为 \(Y\) 是紧致 Hausdorff 空间（必定也是局部紧致和正则的），在 \(Y\) 中存在包含 \(x\) 的开邻域 \(U\)，使得其在 \(Y\) 中的闭包 \(cl_Y(U)\) 是紧致的，并且：

\[ cl_Y(U) \subseteq X \]

（因为 \(X\) 是开的，我们可以把 \(x\) 的邻域限制在 \(X\) 内部）。既然 \(cl_Y(U)\) 完全包含在 \(X\) 中，那么它也就是 \(x\) 在 \(X\) 拓扑下的一个紧致邻域。因此 \(X\) 是局部紧致的。 \(\square\)

4. 距离化定理的概念基础 (Urysohn Metrization Theorem)

最后，我们为著名的 Urysohn 距离化定理做一些铺垫。该定理给出了一个抽象拓扑空间能够被赋予度量（距离）的极其简洁的充分条件。

定义 11.2 (第一可数与第二可数)

第一可数 (First Countable)：如果对于拓扑空间 \((X, \mathcal{T})\) 中的每一点 \(x \in X\)，都存在一个可数的开邻域基 \(\{B_i(x)\}_{i=1}^\infty\)。这意味着 \(x \in B_i(x)\)，并且对于任何包含 \(x\) 的开集 \(U\)，总能找到某个 \(i\) 使得：

\[ B_i(x) \subseteq U \]

第二可数 (Second Countable)：如果整个拓扑 \(\mathcal{T}\) 拥有一组可数的拓扑基 \(\mathcal{B} = \{B_i\}_{i \in \mathbb{N}}\)。

注意：第二可数必定蕴含第一可数，因为只需取 \(\mathcal{B}_x := \{B_i \in \mathcal{B} \mid x \in B_i\}\) 即可构成点 \(x\) 的可数局部基。

结合分离公理，我们得到距离化理论的核心定理（具体证明较长，此处仅给出陈述）：

定理 11.3 (Urysohn 距离化定理)

如果一个拓扑空间 \((X, \mathcal{T})\) 既是第二可数的 (Second Countable)，又是正则的 (Regular)，那么它必然是可度量化的 (Metrizable)。