紧致性与连通性（Compactness & Connectedness）

阶段3 · 点集拓扑 · 第3章 | 预计学习时间: 5小时 | 难度: 🟡 进阶

📋 前置知识

在有限的世界里，分析很容易：连续函数在有限点集上必能找到最大值。一旦扩展到无穷世界，事情立刻变得棘手——$f(x) = x$ 在 $\mathbb R$ 上没有极值；$f(x) = 1/x$ 在 $(0,1)$ 上无界。问题的根源不是"无穷"，而是空间不"紧致"。

紧致性是把"有限世界的好性质"嫁接到无穷的咒语；连通性则刻画"是不是一整块"。两者是拓扑学最重要的不变量，并在代数几何中演化为"射影簇紧致"和"不可约性"——这就是为什么我们用射影空间来"补全"代数曲线。

"紧致 = 几乎是有限的。" —— Hermann Weyl 对紧致性的精辟理解

1. 紧致性的定义

开覆盖（Open Cover）

$X$ 是拓扑空间，$A\subseteq X$。一族开集 $\{U_\alpha\}_{\alpha\in I}$ 称 $A$ 的开覆盖，若 $A\subseteq\bigcup_{\alpha\in I}U_\alpha$。

子覆盖：从 $\{U_\alpha\}$ 中选出的子族仍覆盖 $A$。

★ 紧致集（Compact Set）

$A\subseteq X$ 称紧致，若 $A$ 的每个开覆盖都有有限子覆盖。即

$$A\subseteq\bigcup_{\alpha\in I}U_\alpha\;\Longrightarrow\;\exists\alpha_1,\ldots,\alpha_n\in I,\; A\subseteq\bigcup_{i=1}^n U_{\alpha_i}.$$

若 $X$ 整体紧致，称 $X$ 是紧空间。

这条定义初看怪异——"任意覆盖必有有限子覆盖"，每个覆盖都要验证！但它正是把"无穷"折叠回"有限"的精确表达。

开覆盖与有限子覆盖

紧致 $\textcolor{5d6d7e}{\iff}$ 任意开覆盖都能"瘦身"成有限子覆盖
原始开覆盖：无穷多个 $\textcolor{3a7bc8}{U_\alpha}$
$\textcolor{1e5fa8}{K}$
$\textcolor{b85c10}{\{U_\alpha\}_{\alpha\in I}}$, $\textcolor{b85c10}{|I| = \infty}$
"瘦身"
选有限个
有限子覆盖：仅 $\textcolor{27ae60}{5}$ 个 $\textcolor{27ae60}{U_{\alpha_i}}$
$\textcolor{1e5fa8}{K}$
$\textcolor{1d7a45}{U_1}$
$\textcolor{1d7a45}{U_2}$
$\textcolor{1d7a45}{U_3}$
$\textcolor{1d7a45}{U_4}$
$\textcolor{1d7a45}{U_5}$
有限性是关键：$\textcolor{1d7a45}{K = }$ 闭圆盘 → 紧致 ✓ ；$\textcolor{1d7a45}{K = }$ 整个 $\textcolor{1d7a45}{\mathbb{R}^2}$ → 取覆盖 $\textcolor{1d7a45}{\{B(\mathbf 0, n)\}_{n\in\mathbb N}}$，无有限子覆盖 ✗。
取 $\textcolor{1d7a45}{K = (0,1]}$，覆盖 $\textcolor{1d7a45}{\{(1/n, 2)\}_{n\ge 1}}$ 也无有限子覆盖（漏掉 $\textcolor{1d7a45}{0}$ 附近）。

2. 在 $\mathbb{R}^n$ 中：Heine–Borel 定理

★ Heine–Borel 定理

$A\subseteq\mathbb{R}^n$（欧氏拓扑）紧致 $\iff$ $A$ 有界且闭。

简要证明思路：

例 1：紧 vs 不紧

警告：Heine–Borel 在 $\mathbb R^n$ 中成立，但一般度量空间不行。例：$\mathbb Q\cap[0,1]$ 在 $\mathbb Q$ 中"有界且闭"，但不紧。一般地需完备 + 全有界。

3. 紧致空间的好性质

连续像保紧

$f:X\to Y$ 连续，$K\subseteq X$ 紧 $\Rightarrow$ $f(K)$ 紧。

证：取 $f(K)$ 的开覆盖 $\{V_\alpha\}$，则 $\{f^{-1}(V_\alpha)\}$ 是 $K$ 的开覆盖（连续），有有限子覆盖 $\{f^{-1}(V_{\alpha_i})\}_{i=1}^n$，于是 $\{V_{\alpha_i}\}_{i=1}^n$ 覆盖 $f(K)$。

★ Weierstrass 极值定理

$X$ 紧，$f:X\to\mathbb R$ 连续 $\Rightarrow$ $f$ 在 $X$ 上达到最大、最小值。

证：$f(X)\subseteq\mathbb R$ 紧 ⇒ 闭且有界 ⇒ 含 $\sup f(X), \inf f(X)$。

紧 + Hausdorff ⇒ 闭

Hausdorff 空间（$T_2$：任意两不同点有不交开邻域）中，紧致子集自动闭。

4. 连通性（Connectedness）

连通空间

$X$ 称连通，若它不能写作两个非空、不交开集的并：

$$X = U\cup V,\; U\cap V = \varnothing,\; U,V \text{ 开},\; U,V\ne\varnothing\quad\text{不可能}.$$

等价：$X$ 中既开又闭的子集只有 $\varnothing$ 和 $X$。

例 2：连通与不连通

连续像保连通

$X$ 连通、$f:X\to Y$ 连续 $\Rightarrow$ $f(X)$ 连通。

★ 介值定理（IVT）

$f:[a,b]\to\mathbb R$ 连续。若 $f(a) \lt c \lt f(b)$，则存在 $x_0\in(a,b)$ 使 $f(x_0) = c$。

证：$f([a,b])$ 是 $\mathbb R$ 的连通子集 = 区间。区间含 $f(a), f(b)$，故含 $c$。

这是连通性最经典的应用——高中微积分隐式地依赖它！

图解 2：连通 vs 不连通

"连通 = 不能用开集分离"
① 连通：无法分割
尝试分割
"桥"始终连接
$\textcolor{2c3e50}{\mathbb R^n}$ 的开集是连通的 $\textcolor{2c3e50}{\iff}$ 任两点间有道路可连接。
② 不连通：写成 $\textcolor{e74c3c}{U\sqcup V}$
$\textcolor{1e5fa8}{U}$
$\textcolor{b85c10}{V}$
无桥连接
$\textcolor{2c3e50}{X = U\sqcup V}$，$\textcolor{2c3e50}{U,V}$ 都开 ⇒ 都既开又闭。

5. 道路连通（Path Connectedness）

道路与道路连通

$X$ 中从 $p$ 到 $q$ 的道路是连续映射 $\gamma:[0,1]\to X$，$\gamma(0) = p$、$\gamma(1) = q$。

$X$ 道路连通，若任二点间存在道路。

道路连通 ⇒ 连通

反之不真。经典反例：拓扑学家正弦曲线 $\overline{\{(x,\sin\frac1x):0\lt x\le 1\}}$ 是连通的，但不道路连通。

连通分支 / 道路连通分支

$X$ 中包含 $x$ 的最大连通子集称为 $x$ 的连通分支。$X$ 是其连通分支的不交并。

例：$\mathbb R\setminus\{0\}$ 有两个连通分支 $(-\infty, 0)$ 和 $(0, +\infty)$。$GL_n(\mathbb R)$ 有两个分支（$\det > 0$ 与 $\det < 0$）。

图解 3：环面上的道路 — 同伦类

$\textcolor{5d6d7e}{\gamma:[0,1]\to T^2}$，$\textcolor{5d6d7e}{\gamma(0)=p}$，$\textcolor{5d6d7e}{\gamma(1)=q}$ — 不同道路属于不同同伦类
参数化：$\textcolor{3a7bc8}{\gamma:[0,1]\to X}$
$\textcolor{1e5fa8}{0}$
$\textcolor{1e5fa8}{1}$
$\textcolor{1e5fa8}{[0,1]}$
$\textcolor{3a7bc8}{\gamma}$
连续单参数
从 $\textcolor{5d6d7e}{p}$ 走到 $\textcolor{5d6d7e}{q}$
环面 $\textcolor{b85c10}{T^2}$ 上的三类道路
$\textcolor{1d7a45}{p}$
$\textcolor{c0392b}{q}$
$\textcolor{1e5fa8}{\gamma_1}$
$\textcolor{5b2c83}{\gamma_2}$
$\textcolor{b85c10}{\gamma_3}$
$\textcolor{5d6d7e}{T^2}$ 道路连通：$\textcolor{5d6d7e}{p}$、$\textcolor{5d6d7e}{q}$ 之间总有道路。但同伦类不同：$\textcolor{5d6d7e}{\gamma_1}$、$\textcolor{5d6d7e}{\gamma_2}$（绕大圈一周）、$\textcolor{5d6d7e}{\gamma_3}$（绕中央洞）属于不同类，无法在 $\textcolor{5d6d7e}{T^2}$ 上连续形变为彼此。
$\textcolor{5d6d7e}{\Rightarrow}$ 基本群 $\textcolor{5d6d7e}{\pi_1(T^2) \cong \mathbb Z\times\mathbb Z}$（两个生成圈）。这就是同伦论的入口。

6. 紧致与连通的乘积

紧致性、连通性的乘积保持

例：$T^2 = S^1\times S^1$ 是紧 + 连通的；$\bar D^n = $ 闭单位球紧且连通；$GL_n(\mathbb R)$ 不紧不连通。

7. 生活实例：保险公司的"紧致策略"

想象一家保险公司面对无穷多种潜在风险场景（每位客户的具体情况都不同）。但公司只能设计有限种保单。能否做到"覆盖所有客户"？

若整个客户群可被分类为紧致空间（按风险特征参数化），那么"对每个客户都有一份合适保单"等价于"有限保单类型已构成开覆盖"——这正是紧致性保证的有限子覆盖原理。

现实例子：手机产品 SKU、医疗诊断分类（ICD-10）、字体的字符集——它们都是"用有限去近似无穷"的工程实践。有限覆盖 = 工程可实现性。

8. 练习

练习 1（紧致性判定）

下列哪些是紧致的？$[0,1)$、$\mathbb Z$、$S^2$、$\mathbb R/\mathbb Z$、$\{0\}\cup\{1/n:n\ge 1\}$。

提示

$[0,1)$ 不闭 ✗；$\mathbb Z$ 不有界 ✗；$S^2 = \{|\mathbf x|=1\}\subset\mathbb R^3$ 闭+有界 ✓；$\mathbb R/\mathbb Z\cong S^1$ ✓；$\{0\}\cup\{1/n\}$ 闭+有界 ✓（这是一个有趣的"序列加极限"紧致集）。

练习 2（IVT 应用）

证明：连续函数 $f:S^1\to\mathbb R$ 必有两点 $p, -p$（对径点）使 $f(p) = f(-p)$。

提示

定义 $g(\theta) = f(\theta) - f(\theta+\pi)$。则 $g(0) = -g(\pi)$，故 $g(0)$ 与 $g(\pi)$ 异号或同为 $0$。$g$ 连续 ⇒ 由 IVT 存在 $\theta_0$ 使 $g(\theta_0) = 0$。这是 Borsuk–Ulam 定理在 $n=1$ 的版本。

练习 3（不连通空间）

$\mathbb Q$ 在欧氏拓扑下是完全不连通的（每个连通分支 = 单点）。证明之。

提示

对任 $a \lt b\in\mathbb Q$，取无理数 $r\in(a,b)$。则 $\mathbb Q = ((-\infty, r)\cap\mathbb Q)\cup((r, \infty)\cap\mathbb Q)$，二者都是 $\mathbb Q$ 中开（用子空间拓扑）、不交、非空，且分别含 $a, b$。故 $a$、$b$ 不同分支。

练习 4（紧致 vs Hausdorff）

设 $X$ 紧，$Y$ Hausdorff，$f:X\to Y$ 连续双射。证 $f$ 是同胚。

提示

要证 $f^{-1}$ 连续 ⇔ $f$ 是闭映射。取闭 $C\subseteq X$ ⇒ $C$ 紧 ⇒ $f(C)$ 紧（Y 中）⇒ $f(C)$ 闭（紧 + Hausdorff ⇒ 闭）。这是非常常用的结论：在 Hausdorff 目标空间中，"连续双射 + 紧致定义域" = 同胚。

练习 5（连通分支与代数几何预告）

$V(xy)\subset\mathbb A^2_{\mathbb R}$（坐标轴）在欧氏拓扑下连通分支几何上看起来"有几条"？讨论它在 Zariski 拓扑下的连通性。

提示

欧氏拓扑下：两条轴在 $(0,0)$ 处相交，整体连通（道路通过原点连接）。Zariski 拓扑：$V(xy) = V(x)\cup V(y)$ 是不可约分解，两条轴是不可约分量——这是代数几何中比连通性更精细的概念，将在 stage4 学到。"代数簇是几个不可约分量的并"是核心几何直觉。