拓扑 II · 紧致、连通与分离性
同胚不变量是拓扑的"指纹"。本页三枚最重要的指纹：紧致（"有限性"的拓扑化身——最值定理的真身）、连通（"一整块"——介值定理的真身）、分离性（空间的"分辨率"）。数分 I 的三大守护定理在此完成从 \(\mathbb{R}\) 到任意空间的加冕。
1. 紧致性
定义 \(X\) 紧致：任意开覆盖必有有限子覆盖。（把"无限"驯成"有限"的许可证——证明里的用法永远是：每点给一个局部性质的开邻域，紧致性抽出有限个，取 min/max 完成全局化。）
判据与例：Heine–Borel（\(\mathbb{R}^n\) 专属）：紧 \(\iff\) 有界闭（数分 I 有限覆盖定理的正名；⚠️ 无穷维失效——泛函 I 单位球的教训）；度量空间中紧 \(\iff\) 列紧（有界列有收敛子列——Bolzano–Weierstrass 的谱系）。
三条工作定理：
- 紧集的连续像紧（一行证：像的开覆盖拉回、抽有限、推回去）⇒ 最值定理：紧集上的连续实函数有界且取到最值——数分 I 版本的抽象真身，优化存在性的通用许可证；
- 紧空间的闭子集紧；Hausdorff 空间的紧子集闭（配对使用）；
- 免检同胚条款：紧空间到 Hausdorff 空间的连续双射自动是同胚（逆的连续性白送——上一页 \([0,2\pi) \to S^1\) 反例的病因就在 \([0, 2\pi)\) 不紧）。
Tychonoff 定理一嘴：任意多紧空间之积仍紧（泛函分析弱拓扑的幕后金主，知其名）。
2. 连通性
定义 \(X\) 连通：不能拆成两个非空不交开集之并。等价：既开又闭的子集只有 \(\varnothing\) 与 \(X\)。
基本盘：\(\mathbb{R}\) 的连通子集恰是区间（实数完备性的又一投影）；连通集的连续像连通 ⇒ 介值定理真身（连续函数把"一整块"映成"一整块"，\(\mathbb{R}\) 中的一整块是区间——介值不过是"区间没有洞"）。
道路连通：任两点有连续道路相连。道路连通 ⇒ 连通（反向一般不真——拓扑学家正弦曲线 \(\{(x, \sin\frac1x)\} \cup \{0\}\times[-1,1]\)：连通却无路可走的名反例）；\(\mathbb{R}^n\) 开集中两者等价。
用法一（区分空间的指纹）：\([0,1) \not\cong (0,1)\)——挖掉一点：前者可以剩连通（挖 0），后者必断两截；\(\mathbb{R} \not\cong \mathbb{R}^2\)——挖一点后前者断、后者仍连通。"挖点数连通片"是拓扑判非同胚的第一板斧。
用法二（连通性传播论证）："既开又闭 ⇒ 全局"——性质的成立点集若既开又闭且非空，则在连通空间上处处成立（数分 V 隐函数延拓、ODE 解的延拓背后的标准逻辑）。
3. 分离性（空间的分辨率）
递进的公理阶梯（认识 \(T_2\) 即可）：Hausdorff（\(T_2\)）：任两点可用不交开集分居。红利：极限唯一、紧集闭、对角线闭。度量空间全是 Hausdorff；商空间可能丢失（粘合粘过头）——这是商拓扑操作要当心的地方。更高层（正规空间）住着两条名定理：Urysohn 引理（不交闭集间存在连续分离函数——"拓扑空间上也能造光滑过渡"）与 Tietze 延拓定理（闭集上的连续函数可延拓到全空间）——知其名与用途。
度量化定理一嘴（Urysohn）：正则 + 第二可数 ⇒ 可度量化——"哪些拓扑空间其实偷偷是度量空间"的判据；流形都合格，所以微分几何不必操心这层。
4. 收官视野：不变量的阶梯
点集拓扑给出的同胚不变量（紧、连通、分离性、可数性）分辨率有限——球面与环面它区分不了（都紧、连通、Hausdorff）。下一层楼是代数拓扑：给空间配代数对象（基本群 \(\pi_1\) 数"洞"：球面平凡、环面 \(\mathbb{Z}^2\)；同调群——TDA 持续同调的理论引擎），用群的不同判空间不同（抽代 I 的群在此成为几何的度量衡）。本科到此了望即可；但"造不变量来分类"这一方法论——高代的秩与特征值、解几的惯性指数、拓扑的连通片与洞——已是你在本站第四次见到，它就是现代数学的中央战略。
5. 典型例题
例 1（紧致性论证模板） 证明紧度量空间上连续函数一致连续（数分 I Cantor 定理的拓扑版）：每点按 \(\frac\varepsilon2\) 取 \(\delta_x\)-球覆盖，紧致抽有限，取 Lebesgue 数（有限个 \(\delta\) 的 min）——"局部 ⇒ 全局"的标准三步。
例 2（连通性判非同胚） \(S^1 \not\cong [0,1]\)：挖一点，圆仍连通、区间（挖内点）断——不同胚。（顺带：圆也不同胚于任何区间——闭区间挖端点仍连通？那就挖两点：圆断两截、\([0,1]\) 挖两内点断三截。指纹要挑对下手处。）
例 3（Hausdorff 失守的商） 把 \(\mathbb{R}\) 中"\(x \sim y \iff x - y \in \mathbb{Q}\)"作商：商空间只有平庸拓扑（任何非空开集的原像稠密）——连 \(T_1\) 都不是。商拓扑是强力机床，出品需质检分离性。（这个商集正是实变 I Vitali 集的选点舞台——两页在此暗通。）\(\blacksquare\)
拓扑两页完工。代数几何线还剩最后一门：微分几何——给弯曲的空间装上微积分。