第九章：欧氏空间中的紧致性与无孤立点空间

承接上一章关于一般拓扑空间紧致性的讨论，本章我们将视线聚焦于我们最熟悉的欧氏空间 \(\mathbb{R}^n\)。我们将证明微积分中极其重要的 Heine-Borel 定理，并借此推导出极值定理。此外，我们还将探讨紧致 Hausdorff 空间的一个深刻的拓扑性质——即一个没有孤立点的紧致 Hausdorff 空间必定是不可数的。

1. \(\mathbb{R}^n\) 空间中的紧致性 (Heine-Borel 定理)

在一般的拓扑空间中，紧致集不一定是有界闭集，有界闭集也不一定是紧致集。但在欧氏空间 \(\mathbb{R}^n\) 中，这二者是完全等价的。为了证明这一核心结论，我们首先需要确立实数轴上的闭区间是紧致的。

引理 9.1 (实数轴上的闭区间是紧致的)

在标准拓扑下的实数轴 \(\mathbb{R}\) 中，任意闭区间 \([a, b]\) 都是紧致空间。

引理 9.1 的证明（点击展开）

设 \(\mathcal{A} = \{A_i\}_{i \in I}\) 是闭区间 \([a, b]\) 的一个开覆盖。

我们定义一个集合 \(S\)：

\[ S = \{ y \in [a, b] \mid \text{区间 } [a, y] \text{ 可以被 } \mathcal{A} \text{ 中的有限个开集覆盖} \} \]

显然，由于 \(a \in [a, b]\)，它被某个开集覆盖，因此 \(a \in S\)。这说明集合 \(S\) 是非空的。且 \(S\) 有上界 \(b\)。

由实数的完备性公理，集合 \(S\) 必定存在上确界。我们令：

\[ c = \sup S \]

断言 1：\(c \in S\)

因为 \(c \in [a, b]\)，由于 \(\mathcal{A}\) 是覆盖，必然存在某个开集 \(A_0 \in \mathcal{A}\) 使得 \(c \in A_0\)。由于 \(A_0\) 是开集，必然存在一点 \(d < c\)，使得半开半闭区间 \((d, c] \subseteq A_0\)。因为 \(c\) 是 \(S\) 的上确界，在 \((d, c]\) 内必定存在一点 \(y \in S\)（否则 \(d\) 将成为更小的上界）。既然 \(y \in S\)，说明子区间 \([a, y]\) 可以被 \(\mathcal{A}\) 中的有限个开集覆盖。将这有限个开集与 \(A_0\) 取并集，自然就可以覆盖整个区间 \([a, c]\)。因此，我们证明了 \(c \in S\)。

断言 2：\(c = b\)

我们采用反证法。假设 \(c < b\)。由断言 1 已知 \(c \in S\)，且 \(c \in A_0\)。因为 \(A_0\) 是开集且 \(c < b\)，必然存在一点 \(e\)（\(c < e \le b\)），使得整个区间 \([c, e) \subseteq A_0\)。我们在 \((c, e)\) 中任取一点 \(y'\)。由于 \([a, c]\) 可以被有限覆盖，我们只需再加上开集 \(A_0\)，就可以覆盖更长的区间 \([a, y']\)。这意味着 \(y' \in S\)。但这产生了一个极大的矛盾：\(y' > c\)，而 \(c\) 本应是 \(S\) 的上确界！

因此，假设错误，必然有 \(c = b\)。

结合断言 1 和断言 2，我们得到 \(b \in S\)。即整个闭区间 \([a, b]\) 可以被有限个开集覆盖。引理得证。 \(\square\)

有了这个引理，我们就可以证明欧氏空间中最重要的紧致性定理。

定理 9.2 (Heine-Borel 定理)

在赋予标准拓扑的欧氏空间 \(\mathbb{R}^n\) 中，一个子集 \(S \subseteq \mathbb{R}^n\) 是紧致的，当且仅当 它是闭集且是有界集。

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

充分性 (有界闭集 \(\implies\) 紧致集)：

假设 \(S\) 是有界集，那么它必定可以被包含在一个足够大的 \(n\) 维闭方体中。即存在常数 \(M > 0\)，使得：

\[ S \subseteq [-M, M]^n \]

根据引理 9.1，一维闭区间 \([-M, M]\) 是紧致的。由第八章有限乘积的紧致性定理（或 Tychonoff 定理），有限个紧致空间的乘积 \([-M, M]^n\) 依然是紧致空间。

已知 \(S\) 是闭集，并且它是一个紧致空间 \([-M, M]^n\) 的闭子集。根据紧致空间中的闭集依然紧致这一性质（定理 8.1），\(S\) 必定是紧致的。

必要性 (紧致集 \(\implies\) 有界闭集)：

首先，欧氏空间 \(\mathbb{R}^n\) 是一个 Hausdorff 空间。根据定理 8.2（Hausdorff 空间中的紧致集必为闭集），紧致的子集 \(S\) 必定是闭集。

其次，我们需要证明 \(S\) 是有界的。考虑 \(\mathbb{R}^n\) 的一个特定的开覆盖：

\[ N_k = (-k, k)^n, \quad k \in \mathbb{N}_{\ge 1} \]

显然，这一族不断扩大的开方体覆盖了整个 \(\mathbb{R}^n\)，自然也覆盖了 \(S\)。

因为 \(S\) 是紧致的，这个开覆盖必然存在一个有限子覆盖。由于这族开方体是相互嵌套的（\(N_1 \subset N_2 \subset \dots\)），这有限个开集中最大的那一个必然包含了 \(S\)。

即存在某个正整数 \(K\)，使得：

\[ S \subseteq N_K = (-K, K)^n \]

这直接证明了 \(S\) 是有界的。 \(\square\)

2. 紧致性与连续函数的极值

在微积分中，闭区间上的连续函数一定能取得最大值和最小值。有了紧致性的语言，我们可以将其推广到任何紧致拓扑空间上。

定理 9.3 (极值定理 Extreme Value Theorem)

设 \(X\) 是紧致空间，\(f: X \to \mathbb{R}\) 是连续实值映射。那么 \(f\) 在 \(X\) 上必然取得最大值和最小值。即存在 \(c, d \in X\)，使得对所有的 \(x \in X\)，都有：

\[ f(c) \le f(x) \le f(d) \]

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

因为 \(f\) 是连续映射，且 \(X\) 是紧致空间，根据定理 8.3（连续映射保持紧致性），像集 \(f(X)\) 必定是 \(\mathbb{R}\) 中的紧致子集。

根据刚刚证明过的 Heine-Borel 定理（定理 9.2），\(\mathbb{R}\) 中的紧致集必定是有界闭集。

因为 \(f(X)\) 是有界的，根据实数的完备性，它必然存在上确界 \(\sup f(X)\) 和下确界 \(\inf f(X)\)。
因为 \(f(X)\) 是闭集，它必须包含它的所有聚点，因此它必然包含其上确界和下确界。

这意味着存在 \(d \in X\) 使得 \(f(d) = \sup f(X)\)，并且存在 \(c \in X\) 使得 \(f(c) = \inf f(X)\)。

故对任意的 \(x \in X\)，都有 \(f(c) \le f(x) \le f(d)\)。极值得证。 \(\square\)

3. 孤立点与紧致 Hausdorff 空间的基数

在深入探讨拓扑空间的点集结构时，孤立点是一个重要的概念。

定义 9.1 (孤立点 Isolated Point)

在拓扑空间 \((X, \tau)\) 中，如果对于点 \(x \in X\)，单点集 \(\{x\}\) 本身就是一个开集（即 \(\{x\} \in \tau\)），那么称 \(x\) 为 \(X\) 的一个孤立点。

一个极为深刻的拓扑学结论是：如果一个紧致 Hausdorff 空间内没有任何孤立点（这种空间有时被称为“完美”的紧空间），那么它所包含的点数将是不可数的。

定理 9.4 (无孤立点的紧致 Hausdorff 空间不可数)

设 \((X, \tau)\) 是一个非空的紧致 Hausdorff 空间。如果 \(X\) 中没有孤立点，那么 \(X\) 必定是不可数集。

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

我们首先证明一个关键的断言 (Claim)：

断言： 对于任意 \(x \in X\) 以及包含 \(x\) 的任意开集 \(U\)，必然存在一个非空开集 \(V\)，使得：

\[ \bar{V} \subseteq U \quad \text{并且} \quad x \notin \bar{V} \]

断言的证明： 因为 \(X\) 没有孤立点，开集 \(U\) 不能仅仅包含 \(x\) 自身。因此必然存在另一点 \(y \in U \setminus \{x\}\)。由于 \(X\) 是 Hausdorff 空间，\(x\) 和 \(y\) 是不同的两点，故存在不相交的开集 \(W_1\) 和 \(W_2\)，使得：

\[ x \in W_1, \quad y \in W_2, \quad W_1 \cap W_2 = \emptyset \]

我们构造开集 \(V = W_2 \cap U\)。显然 \(y \in V\)，因此 \(V\) 是非空开集。因为 \(V \subseteq W_2\)，所以其闭包 \(\bar{V} \subseteq \bar{W}_2\)。又因为 \(x \in W_1\) 且 \(W_1\) 是开集，与 \(W_2\) 不相交，这就意味着 \(x\) 不在 \(W_2\) 的闭包中（即 \(x \notin \bar{W}_2\)）。从而必然有 \(x \notin \bar{V}\)。同时，由于 \(X\) 是正常空间（紧致 Hausdorff 空间必定是正规空间，进而也是正则空间），我们可以适当地缩小 \(V\) 使其闭包完全包含在 \(U\) 中。断言得证。

利用反证法证明主定理：

假设空间 \(X\) 是可数的。由于 \(X\) 非空，我们可以将 \(X\) 中的所有点排成一个序列：

\[ X = \{x_1, x_2, x_3, \dots, x_n, \dots\} \]

我们通过上述断言构造一个无限嵌套的开集序列。

第一步：取 \(U_1 = X\)。根据断言，对于点 \(x_1\) 和开集 \(U_1\)，存在非空开集 \(V_1\)，使得 \(\bar{V}_1 \subseteq U_1\) 且 \(x_1 \notin \bar{V}_1\)。
第二步：现针对非空开集 \(V_1\) 和序列中的下一个点 \(x_2\)。如果 \(x_2 \notin V_1\)，我们任意在 \(V_1\) 中取一个使得其闭包在 \(V_1\) 内的更小的非空开集作为 \(V_2\)。如果 \(x_2 \in V_1\)，根据断言，存在非空开集 \(V_2\)，使得 \(\bar{V}_2 \subseteq V_1\) 且 \(x_2 \notin \bar{V}_2\)。
归纳地：假设我们已经构造了非空开集 \(V_{n-1}\)。对于点 \(x_n\)，总存在非空开集 \(V_n\)，满足：

\[ \bar{V}_n \subseteq V_{n-1} \quad \text{并且} \quad x_n \notin \bar{V}_n \]

由此，我们得到了一个闭集的无穷降链：

\[ \bar{V}_1 \supseteq \bar{V}_2 \supseteq \bar{V}_3 \supseteq \dots \supseteq \bar{V}_n \supseteq \dots \]

由于 \(X\) 是紧致空间，且这些闭包都是非空闭集，它们满足“有限交性质” (Finite Intersection Property)。在紧致空间中，任何满足有限交性质的闭集族的全局交集必定是非空的！

即必定存在一点 \(y\)，使得：

\[ y \in \bigcap_{n=1}^\infty \bar{V}_n \]

既然 \(y \in X\)，而我们假设了 \(X = \{x_1, x_2, \dots\}\)，那么 \(y\) 必定是序列中的某个点，不妨设 \(y = x_k\)。

但这产生了一个绝对的矛盾！因为根据我们的构造过程，在第 \(k\) 步时，我们明确要求了：

\[ x_k \notin \bar{V}_k \]

所以 \(x_k\) 绝对不可能属于所有闭集的交集。

这个矛盾彻底推翻了“\(X\) 是可数集”的假设。因此，无孤立点的紧致 Hausdorff 空间必须是不可数的。 \(\square\)

4. 闭集嵌套定理

在上述定理的证明末尾，我们实际上使用了一个关于紧致空间中闭集的重要推论。这里我们将其单独列出作为本章的总结。

推论 9.5 (紧致空间中的闭集嵌套定理)

在一个紧致拓扑空间 \((X, \tau)\) 中，设 \(\{C_n\}_{n=1}^\infty\) 是一个非空闭集的降链序列，即满足：

\[ C_1 \supseteq C_2 \supseteq C_3 \supseteq \dots \supseteq C_n \supseteq \dots \]

那么，这个序列的无穷交集必定是非空的，即：

\[ \bigcap_{n=1}^\infty C_n \ne \emptyset \]

这个推论本质上是“有限交性质”(FIP) 的一个直接应用，它不仅在点集拓扑中具有核心地位，也与我们在泛函分析中学习到的完备度量空间中的“闭球套定理”有着异曲同工之妙。区别在于，泛函分析中的闭球套定理依赖于度量的完备性及半径趋于零，而拓扑学中的闭集嵌套定理则纯粹依靠紧致性。