拓扑学引论 · 连续与形状的不变量

本书怎么读：一门关于「连续与不变量」的学问

本书讲一门学问：拓扑学——它研究的不是长度、角度与面积，而是那些在连续变形之下纹丝不动的性质。把图形画在一块可以任意拉伸、压扁、扭曲、却不许撕裂也不许粘合的橡皮膜上，变形之后还留着的性质，就是「拓扑性质」。于是两个乍看毫不相干的东西——咖啡杯与甜甜圈、一张地图与一只网格球——只要能在橡皮膜上互相变过去，在拓扑学眼里就是同一个。这带来一串朴素而深刻的问题：为什么七座桥走不通、正多面体只有五种、每个闭曲面都能用一个整数「编号」？为什么「把球面的毛梳平」办不到、每个复系数多项式必有一个根？为什么二十世纪最重要的数学语言之一——同调与上同调——会从「形状」里长出来，又走进物理、拓扑绝缘体与数据分析？从欧拉 1736 年用一页纸解决七桥问题，到庞加莱 1895 年在《位置分析》里把「洞」变成可以计算的群，再到今天用持久同调从一堆散点里读出形状，拓扑学两百年只做两件事：一边把「连续变形」讲成严格的语言，一边锻造各式各样的不变量，去证明「不一样」。

本书按章组织：绪论从柯尼斯堡的七座桥讲起，说清拓扑学关心什么、不变量怎样工作；第一章把「连续」抽象成开集公理，建立拓扑空间与连续映射的语言；第二章研究两件大事实——连通（分不开）与紧致（逃不掉），并引出流形与复形；第三章升起第一件乐器：把绕圈做成群，基本群就此开口说话；第四章用覆叠空间把同一个形状摊成无数层影子，让子群与几何一一对应；第五章回答拓扑学最经典的一问：曲面怎样分类，用亏格给每个闭曲面编号；第六章把形状彻底代数化——同调群把各维的洞记成一串可计算的群；综合站用年表、人物谱、方法总图、两个综合实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与图形先行：每一个概念都从一张图、一个具体的小例子讲起——先看见七座桥为什么抽象成一张图、橡皮膜上咖啡杯怎样变成甜甜圈、圆周上绕两圈的绳结为什么解不开，再抽成定义。② 一步一图：凡能画的都画——开集与邻域、连续映射「开集的原像是开集」、连通与紧致的对偶、基本群的绕圈、覆叠的螺旋、曲面的手柄与分类、链复形与边缘算子。拓扑学最迷人的地方，正藏在「连续变形下什么不变」这条线索里。③ 自给自足：所需工具在书内随用随补——集合与映射、实数的完备性、一元微积分（极限、连续、介值定理），以及最必要的群论常识（群、子群、同态、自由群）与线性代数初步（向量空间、线性映射、秩），都在需要它的那一页现学现用，不假设手边另有教材。个别深刻的整体性结论（Urysohn 度量化、Tychonoff、Brouwer 不动点、分类定理的完整证明）给出精确陈述、证明思路与文献指引，数值与算法对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照，并在章末用一页 衔接讲义 指向前方。每页右上角标页码，页眉灰色小字标出所属章与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 会集合与映射即可，★★ 需要一点实数的完备性与 ε–δ 语言（书内自给），★★★ 需要一点群论与线性代数（书内自给），★★★★ 需要一点同伦与覆叠的系统推导（书内自给），★★★★★ 需要整体性论证与代数方法的深水区（第五章后半、第六章与综合站余韵）。若只求理解主线，读绪论、第一章的开集与连续、第二章的连通与紧致、第三章的圆周基本群、第六章的同调群即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从连续到代数：先把「连续」抽象成开集（第一章），再研究连通与紧致两件大事实并与组合结构相遇（第二章）；随后把「绕圈」做成群，得到基本群（第三章）；用覆叠空间揭示群与形状的对应（第四章）；在曲面上完成第一次完整的分类（第五章）；最后把各维的洞一并代数化，得到同调与上同调（第六章）。

② 暗线——不变量的眼光。「怎样证明两个形状绝不可能一样」是贯穿全书的追问。直接构造变形办不到时，就找一个在连续变形下不变、而两者取值不同的不变量：连通分支数、紧致性、欧拉示性数、基本群、同调群。第一章先立起这套方法论的立场：不变量是形状的指纹；此后每一章都在锻打新的指纹工具，直到同调把「洞的个数」写成一串完全可以计算的群。

③ 接口——通往四个邻域。拓扑学与分析、代数、几何、数据直接相接：与分析（连续、紧致、不动点、介值定理与最值定理的拓扑根源，第一、二章）；与代数（基本群、自由群、群同态、同调群的函子性，第三、六章）；与几何（曲面分类、可定向性、曲面上度量的选择，第五章）；与数据科学（持久同调与拓扑数据分析，第六章）。三条线索之外还有一条捷径贯穿始终：把形状变成可以计算的代数对象——这既是欧拉一笔画问题的精神，也是一切现代拓扑学的起点。

写法约定（TEX 标准）：拓扑空间记 X, Y，开集记 U, V，映射记 f, g，基本群记 π₁(X)，覆叠投影记 p : E → X，同调群记 H_n(X)，欧拉示性数记 χ。变量与函数名用斜体（x、f、t、α），数字与运算符正体；同伦类记 [α]，同调类记 [z]；群的运算与自由积记 *。关键一步配图，公式与图形逐章对照。

绪论 连续与形状：拓扑学的眼光从柯尼斯堡的七座桥说起

1736 年，东普鲁士的柯尼斯堡（今俄罗斯加里宁格勒）。普雷格尔河穿城而过，河心有一座小岛，河上架着七座桥，把两岸与岛连成四块陆地。市民们长期琢磨一个消遣问题：能不能从某块陆地出发，一次走遍七座桥，每座桥正好过一次，最后回到起点？试了很久，无人成功。

同年，欧拉（Leonhard Euler）给出一个斩钉截铁的答案：不可能。而他的论证方式，开启了一门崭新的学问。欧拉的关键一步是把无关的东西统统扔掉：桥的长短、宽窄、曲直，两岸的远近，全都与问题无关；真正有关系的只有一件事——谁和谁相连。于是他把四块陆地画成四个点、七座桥画成七条线，问题立刻变成：这张图能否一笔画遍每条线恰好一次？

欧拉的答案只有一行：一笔画每经过一个中间点，都是「进去一次、出来一次」，成对消耗两条线；所以至多允许两个点（起点与终点）连奇数条线。而七桥图上四个点的度数是 3、5、3、3——四个奇度点，超出了限额，所以不可能。体会这个证明的味道：它没有量任何长度、没有任何计算，只数了「连接关系」。一个几何问题，被一种只关心连接与连续的新眼光解决了。这种眼光此后两百年长成了一门学科——拓扑学，而「数度数」这种只依赖连接关系的量，是它的第一个不变量。

读法建议：本书按「章」推进——第一章搭起「连续」的公理骨架（点集拓扑），第二章研究连通与紧致两大主旋律，第三章、第四章升起两件代数乐器（基本群、覆叠空间），第五章完成曲面的分类，第六章把形状彻底代数化（同调）。若时间有限，读绪论、第一章的开集与连续、第三章的圆周基本群、第六章的同调群即可掌握骨架。

绪论 连续与形状：拓扑学的眼光拓扑学是什么：橡皮膜上的几何

★ 一句话直觉。拓扑学是「橡皮膜上的几何」：把图形画在一块可以任意拉伸、压缩、扭曲——但不许撕裂、不许粘合——的橡皮膜上，凡是变形之后仍然保持的性质，就是拓扑性质。

为什么强调「不许撕裂、不许粘合」？因为一旦允许，任何图形都能变成任何图形，问题就没有意思了。拉、压、揉、搓都可以，但「点与点的邻近关系」必须保持——邻近关系就是拓扑的真身。地球仪与平面地图无法彼此完美转换，不是因为手艺不精，而是因为球面与平面是两种不同的拓扑空间。

最著名的例子：咖啡杯与甜甜圈。乍看毫不相似，但在拓扑学家眼里它们是同一个东西——都是「有一个洞的曲面」，可以连续地互相变形。

这个例子给出了拓扑学的工作方式：不管两样东西看上去差多远，只要能连续地变成彼此，它们在拓扑上就一样；反过来，要证明「不一样」，就得找出一个在变形中保持不变、而两者取值又不同的不变量。整本书都在这两件事之间来回：一边把「连续变形」讲成严格的语言（第一、二章），一边锻造各式各样的不变量（第三章到第六章）。

还要说清拓扑学不是什么：它不关心长度、角度、面积——那是度量几何（欧氏几何、黎曼几何）的领地。拓扑学把尺子收起来之后，剩下的东西反而更顽固：度量千变万化，而「有没有洞」「分不分得开」「逃不逃得掉」这些骨架性质，在一切变形下都岿然不动。

绪论 连续与形状：拓扑学的眼光两百年路线图：从 Euler 到 Poincaré

拓扑学的历史，是一部「把直觉变成语言、再把语言变成代数」的历史。这是一条从 1736 年的一页纸延伸到今天数据科学的路线。

第一阶段：直觉时代（1736–1850）。欧拉的七桥问题与多面体公式 V − E + F = 2 提出了「只关心连接关系」的问题，但他没有建立语言。多面体公式令人好奇：为什么它只依赖顶点、棱、面的个数，而与具体形状无关？这背后藏着一个不变量，后来称为欧拉示性数（第五章的主角）。

第二阶段：曲面时代（1850–1895）。Möbius 与黎曼研究曲面，发现闭曲面可以用「洞的个数」（亏格）分类，还发现了不可定向的怪曲面（射影平面、Klein 瓶）。这一切最终凝成一条漂亮的分类定理：每个闭曲面由一个整数与一个是非判断完全确定（第五章）。

第三阶段：代数化时代（1895–1945）。庞加莱在《位置分析》中发明了同调与基本群——用代数群记录「洞」的个数与绕法。从此拓扑学有了可计算的不变量：把形状的问题翻译成代数的问题，再用代数的机器去解（第三章、第六章）。

第四阶段：公理化与现代（1914 至今）。Hausdorff 用开集公理给「连续」下了不依赖距离的定义（第一章的主角）；Brouwer、Noether、Hopf 把代数方法系统化；二十世纪下半叶，拓扑学长成现代数学的公共基础设施——从代数几何到理论物理都离不开它；今天，持久同调让拓扑走出一堆散乱的数据点，在材料、生物与机器学习里继续生长（第六章末）。

绪论 连续与形状：拓扑学的眼光不变量的思想：怎样证明「不可能」

★★ 拓扑学最锋利的武器，是一类特殊的定理：不可能性定理——七座桥走不通、正多面体只有五种、球面上的毛梳不平、结打不开就真的打不开。证明「不可能」有一套固定的战术，值得在动身之前先看清。

第三步的不对称性值得停留一下：不变量不同 ⇒ 形状不同（逆否：形状相同 ⇒ 不变量相同），这个方向永远可靠；而「不变量相同」只是证据，不是证明。比如球面与环面：欧拉示性数分别是 2 与 0，所以它们绝不同胚——证明完毕；而环面与 Klein 瓶的示性数都是 0，却并不同胚，要动用更强的指纹（可定向性，第五章）才能分辨。

本书就是一部「指纹工具箱」的锻造史：第一章的连通分支数与紧致性（最粗的指纹），第二章的局部性质，第三章的基本群（第一次把「绕圈」做成群），第五章的欧拉示性数与亏格（第一次完成一个完整分类），第六章的同调群（把各维的洞一次记清）。每锻好一件工具，就立刻用它解决一批「不可能」。

绪论 连续与形状：拓扑学的眼光预备工具箱：集合、映射与度量

★ 本书自给自足：需要的工具都在用到它的那一页现学。这一页先把三件最常用的工具摆在台面上。

① 集合与子集。集合就是一些对象的整体，记 A ⊆ X 表示 A 是 X 的子集。X 的全部子集构成的集合叫幂集。常用运算：并 A ∪ B、交 A ∩ B、补 X ∖ A。De Morgan 律 X ∖ (A ∪ B) = (X ∖ A) ∩ (X ∖ B) 在第一章会反复出现——开集与闭集正是靠它互相翻译的。

② 映射。映射 f : X → Y 给每个 x ∈ X 指定唯一的 f(x) ∈ Y。三种要紧的映射：单射（不同的点送到不同的点）、满射（每个 Y 的点都被打到）、双射（两者兼备，于是有逆映射 f⁻¹）。复合满足结合律。同胚将是「连续的双射且逆也连续」——比单纯的双射多一道连续的关卡，第一章会看到反例。

③ 度量。集合 X 上的度量是函数 d : X × X → ℝ，满足三条：正定（d(x,y) ≥ 0，取等当且仅当 x = y）、对称（d(x,y) = d(y,x)）、三角不等式（d(x,z) ≤ d(x,y) + d(y,z)）。平面上的直线距离是最熟悉的例子。

④ 实数的完备性（一页备用）。本书多处用到实数的一条根本性质：有上界的非空实数集必有上确界（确界原理）。它与「单调有界收敛」「区间套」「有限覆盖」等价——最后那条恰好是第二章紧致性的源头。零点存在定理（连续函数从负到正必经过零）在第二章将由连通性重新证明。

绪论 连续与形状：拓扑学的眼光中国源流：九连环、鲁班锁与拓扑游戏

★ 拓扑的思想火花，并不只在欧洲燃烧。中国古代的益智器具与传统工艺里，藏着大量「只关心连接与连续」的智慧——它们是天然的拓扑教具。

九连环与解码序列。九连环要把九个环从框架上解下，规则是「第 n 环只有在前一环在架上、更前面的环全卸下时才能动」。把「环在架上/不在架上」记成一个二进制状态，整个解环过程就是状态图上的一条路径——状态与转移正是图论的地图。解九连环需要 341 步，这个数字来自状态图的递推结构；用图的语言看，它不过是「一条长长的路径的长度」。「数步数」而非「量尺寸」，正是拓扑眼光。

鲁班锁与连接关系。鲁班锁（孔明锁）由若干木条咬合成整体，能不能拆开、按什么顺序拆，只取决于木条之间的互相卡位关系，与木条的长短粗细无关——又一次「扔掉度量、留下连接」。

中国结与绳上的不变量。中国结由一根绳连续盘绕而成，绳的两个端点始终在外——这恰恰是「辫子与结」的研究对象：一根绳在空间里怎么绕，哪些结真正打死了、哪些只是虚绕一圈，要用第四章的基本群与第六章的同调来回答。「结绳记事」的先民未必想到，绳结的数学直到二十世纪才成体系，而它正是拓扑学最活跃的分支之一（纽结理论）。

七横八纵的棋盘与一笔画。民间棋类里「一笔画」「不重复走遍」的游戏与七桥问题同源；出土的宋代「纵横图」（幻方）则显示了对离散结构计数的早熟兴趣——这些传统与《墨经》中「一尺之棰，日取其半，万世不竭」的无穷思辨一起，构成了本书各章格物札记的源流。

绪论 连续与形状：拓扑学的眼光本册的路线：形状如何变成代数

★★ 最后一页绪论，把全书的行军路线交代清楚——为什么是这六章、为什么是这个顺序。

第一段（第一、二章）：把「连续」说清楚。一切都要从语言开始。第一章把「邻近」抽象成开集公理，建立拓扑空间、连续映射与同胚；第二章研究一个空间作为整体的两件大事实——连通（分不开）与紧致（逃不掉）。这两章合起来，是全部后续内容的公理地基：没有它们，「连续变形」只是直觉，不是定理。

第二段（第三、四章）：把「绕圈」做成群。这是本书的中心一跃——代数拓扑的开端。第三章把「从一点出发回到该点的道路」按同伦分类，得到基本群；圆周的基本群是整数群，绕圈次数第一次成为可以计算的代数对象。第四章用覆叠空间揭示：底空间的每一个覆叠都对应基本群的一个子群——形状与代数从此一一对应。

第三段（第五章）：完成一次完整的分类。曲面是拓扑学最经典的战场：用三角剖分算欧拉示性数，用基本多边形做粘合，最终证明每个闭曲面由亏格与可定向性完全确定。这是全书第一次做到「把千差万别的形状整理成一张清单」，方法论意义不亚于结论本身。

第四段（第六章）：把一切洞一次记清。基本群依赖基点且难算，同调群则给出更顺手的机器：把形状切成复形，用「边缘的边缘为零」自动记下各维的洞。欧拉示性数恰好是 Betti 数的交错和——第五章的几何不变量在第六章获得了代数解释。

绪论 连续与形状：拓扑学的眼光绪论地图：全书路线图

下图为全书的概念路线图：自上而下从直觉走向代数，横向箭头标出「新概念在何处被首次使用」。阅读时可随时回到此图定位。

装备已齐。下一章起，把「连续」从距离里解放出来——问自己一个问题：没有尺子，还能不能严格地说「这两个点挨得很近」？

第一章 拓扑空间与连续映射第一章导引：从「无限接近」到「开集」

微积分里，f : ℝ → ℝ 在点 x₀ 连续的含义早已写定：对任意 ε > 0，存在 δ > 0，只要 |x − x₀| < δ，就有 |f(x) − f(x₀)| < ε。这句话里出现了距离 |·|、出现了不等号、出现了一个来回穿梭的量词游戏。但若退后一步端详，会发现它真正反复使用的只有一件事：「与 x₀ 足够接近的点」这个说法。距离只是表达「接近」的一种方式——本章要做的，是把「接近」本身从距离中解放出来，让它成为空间的内在结构。

解放的路径出人意料地简单：注意「|x − x₀| < δ」说的是 x 落在开区间 (x₀ − δ, x₀ + δ) 里，而连续条件整体上等价于「每个开区间的原像都是开集」。原来自始至终充当主角的，不是距离，而是开集。把这句观察推到极致，就得到本章的中心定义：一个拓扑空间，就是一个集合加上「哪些子集算开集」的一套章程；连续映射则是「开集的原像仍是开集」的映射。距离、长度、角度全部退场，留下的只有一个框架——但正是这个框架，装得下分析、几何与代数中千姿百态的空间。

本章回答四个问题。其一：开集应满足哪些规则？（§1.2–1.3）——答案是三条公理，而满足公理的任何一族子集都可充当「开集」，从此「空间」的舞台无限扩大。其二：不靠距离，怎样建造与拆分拓扑？（§1.4–1.7）——闭包与内部从内向外刻画集合，基与子基用少量积木搭出全部开集，子空间、积与商提供三种标准的「继承、拼接、粘合」工序。其三：什么叫两个空间本质上相同？（§1.8–1.9）——同胚：双向连续的一一对应，拓扑学的「相等」。其四：这条抽象链条与熟悉的度量世界如何衔接？（§1.10–1.14）——度量诱导拓扑、收敛与极限的拓扑表述、分离公理与可数性公理两套技术标尺。

公理化的历史经验在拓扑学上重演了一遍：欧几里得之后两千年，希尔伯特把「点、线、面」从直觉名词变成公理系统中的无定义术语——对象由规则定义，而非由图像定义。本章对「邻近」做的正是同一件事。从这一页起，「开集」取代距离，成为谈论连续的唯一语言。

第一章 拓扑空间与连续映射1.1 连续的第一直觉：从 ε–δ 说起

★ 一切从抄写定义开始——但这次带着解剖的目的。设 f : ℝ → ℝ，x₀ ∈ ℝ。经典的连续定义是：

解剖一：ε 在管什么？ε 度量的是值域一侧的接近精度：要求 f(x) 落在 f(x₀) 的 ε-范围里。用集合语言，这是要求 x 落在原像

之中。也就是说，「f(x) 接近 f(x₀)」完全可以改写成「x 属于某个开区间的原像」。

解剖二：δ 在管什么？δ 度量的是定义域一侧的接近：|x − x₀| < δ，即 x ∈ (x₀ − δ, x₀ + δ)。把两侧合起来，定义变成：

解剖三：距离还剩下什么角色？距离 |·| 只用来生成「开区间」「ε-邻域」这类基本开集，此外再无用处。两个绝对值符号都可以替换成「属于某个开区间」。于是定义完全翻译为开集的语言：

证明的关键一步是把逐点的量词游戏换成整体的集合运算：对每个 x₀ 与 ε，连续性给出 δ，使 x₀ 的 δ-邻域落入原像；把所有这样的邻域并起来，恰得原像本身，故原像是开集。反向同样直接。连续性原是「原像保持开集」——这个发现在 ℝ 上只是换个说法，到了没有距离的空间里却成了唯一的定义。§1.8 将把它立为公理。

第一章 拓扑空间与连续映射1.2 开集：把「邻近」写成集合

★ 在 ℝ 上，开区间的推广是开集：子集 U ⊆ ℝ 称为开的，若 U 中每一点 x₀ 都存在 δ > 0，使 (x₀ − δ, x₀ + δ) ⊆ U。直观地说，开集的每个成员都带着完整的活动余地，边界不收留任何点。(0, 1) 是开的；[0, 1) 不是——点 0 无论取多小的邻域都会越出集合。

开集的价值不在于单个，而在于它们作为整体服从的代数规则。对 ℝ 逐条验证，可得三条性质：

这三条规则才是开集的本质。「每点带区间」只是 ℝ 上产生这些规则的一种具体方式。把这个观察倒转过来：任何集合 X 的一族子集，只要满足这三条规则，就有资格被称为「X 上的开集族」。至于它来自距离、来自别的构造、还是直接规定，一概不问。「邻近」从此不再是度量的专利，而成为公理保障的结构。

为此还要把「邻域」一词先行立户：称 N ⊆ X 为点 x 的邻域，若存在开集 U 使 x ∈ U ⊆ N。注意邻域本身不必开——「x 的邻域」是「装得下 x 附近一整片开地」的集合。在度量语言里说「x₀ 的 δ-邻域」，在拓扑语言里只说「x₀ 的某个邻域」；δ 这个数字消失了，留下的只是「存在一片开地」这个定性的断言。

第一章 拓扑空间与连续映射1.3 拓扑空间的定义

★★ 上一页的三条规则现在升格为公理。

这个定义的分量须仔细掂量。它没有规定开集「长什么样」——没有区间、没有球、没有距离；它只规定了开集族必须服从的三条运算规则。凡满足规则者，皆为开集族；凡配有开集族者，皆为空间。同一集合可以装备不同的拓扑，而它们是不同的空间：

与代数公理的呼应。群的定义也不问「元素是什么」，只规定乘法运算服从的四条规则；线性空间不问「向量是什么」，只规定加法与数乘服从的规则。拓扑空间同理：集合 X 只是提供点，拓扑 τ 才是主角。同一集合配上不同拓扑，就是不同空间——正如同底数的不同运算构成不同的群。数学对象的「身份」由结构决定，这一立场在本定义中体现得最为彻底。

两条约定。其一，「点 x 的邻域」按 §1.2 的定义在任意拓扑空间中照常使用。其二，判断映射是否连续、点列是否收敛，后面各节将看到：它们都只动用 τ 的成员关系，而从不询问距离——这正是公理化的回报：在一个框架里证明的定理，对一切满足框架的空间同时生效。

第一章 拓扑空间与连续映射1.4 闭集、闭包与内部

★★ 开集回答「谁在里面自由活动」，它的对偶概念回答「谁被吸进来」。

这三条当下即可验的性质：闭集对任意交封闭（对偶于开集的任意并）；闭集对有限并封闭（对偶于有限交）；∅ 与 X 既开又闭。注意「既开又闭」并非矛盾——在离散拓扑中每个子集都如此；「不开不闭」同样可能，如 ℚ ⊂ ℝ。

证明：若含 x 的某开集 U 与 A 不交，则 X∖U 是含 A 的闭集而不含 x，而 Ā 含于一切这样的闭集，故 x ∉ Ā。反之若 x ∉ Ā，则 X∖Ā 是含 x 的开集且与 A 不交。∎ 这个刻画把闭包变成了可操作的工具：判断一个点在不在闭包里，只需拿它的每个开邻域去「碰」A。

在 ℝ 上取 A = (0, 1) ∪ {2} 逐一验算：Ā = [0, 1] ∪ {2}（点 2 的每个邻域都碰得到 {2}，故它也进闭包）；A° = (0, 1)（单点 2 内部无余量）；∂A = {0, 1, 2}。三点教训：闭包可以大于「A 加上肉眼可见的边界点」——孤立的点也自成边界；内部可能远小于 A；∂A = ∅ 当且仅当 A 既开又闭。

闭包还满足一条便于计算的规律（Kuratowski 闭包公理的一部分）：A ⊆ B ⟹ Ā ⊆ B̄；Ā = Ā̄（闭包幂等：闭包已是闭集）；(A ∪ B)¯ = Ā ∪ B̄。幂等性尤其值得驻足：对闭包再取闭包一无所获——「吸到哪一步算完」由公理一条就锁死了。这与代数中「理想的根」、分析中「取完备化」的幂等节奏完全同构。

第一章 拓扑空间与连续映射1.5 基与子基：怎样给出一个拓扑

★★ 一个拓扑动辄含有无穷多开集（ℝ 的拓扑不可数），逐个罗列永不现实。实践中人们只指定一小批「积木」，让公理的运算规则自动生成其余。

条件②正是「交封闭」在基层面的替身：两个基元素的交虽然未必是基元素，但必须能被更小的基元素填满。验证两个实例：ℝ 上全体开区间满足②（两个开区间之交是开区间或空），生成通常拓扑；ℝ² 上全体开圆盘也满足②（两圆之交内的每点再取小球），同样生成通常拓扑——不同的基，生成同一个拓扑，可见基是「描述」而非「身份」。

比基更省的指定方式是子基：任取一族覆盖 X 的子集 𝓢，先取其有限交造出 𝓑 = {有限个 𝓢 成员之交}，𝓑 自动满足基的条件②，再取并即得拓扑。任何覆盖 X 的子集族都是一个拓扑的子基——这是「最粗使全体成员皆开」的存在性保证。例如实直线上「射线族」{(−∞, b), (a, +∞)} 是子基：两条射线的有限交给出开区间，从而生成通常拓扑。两条射线，足以撑起整个实分析的舞台。

基与子基是「公理化 + 运算生成」思想的执行器：公理规定什么算合法结构，基提供经济的呈现方式。陈述一个拓扑时，给出的从来不是全体开集，而是一把种子。

第一章 拓扑空间与连续映射1.6 子空间拓扑：继承来的开集

★ 大空间里的子集，怎样自动获得自己的拓扑？答案只有一种自然的选择。

验证 τ_Y 确为拓扑是三行练习（任意并对交分配、有限交分配、∅ 与 Y 分别来自 ∅ ∩ Y 与 X ∩ Y）。但更要紧的是读法：V ⊆ Y 在子空间中是开的，意味着存在 X 的开集 U 使 V = U ∩ Y——「Y 中的开集」是「X 的开集在 Y 上切下来的一刀」。两种情形值得逐一体会：

一个必须养成的习惯。说「A ⊆ Y 是开集」永远指「在子空间 Y 中开」，与「A ⊆ X 是否开」是两个问题。例如 [0, ½) ⊆ [0, 1) 开，但作为 ℝ 的子集不开。规范的写法是「A 在 Y 中开」或「A 是 Y 的开子集」。同理闭集：F 在 Y 中闭 ⟺ F = Y ∩ C，C 为 X 中闭集。继承来的不只是开集，还有全套拓扑词汇——闭包、内部、收敛、连续，都将在下一页开始逐个「相对化」。

第一章 拓扑空间与连续映射1.7 积空间与商空间：从拼接到粘合

★★ 子空间是「继承」，积与商则是两种制造新空间的工序：一个把已有空间横拼，一个把已有空间焊合。

基的验证用「长方体套长方体」：B₁ × C₁ 与 B₂ × C₂ 之交 = (B₁ ∩ B₂) × (C₁ ∩ C₂)，仍是基元素形状。「最粗」与「基」两种定义等价，正是定理 1.3 的用武之地：要求 π_X⁻¹(U) = U × Y 与 π_Y⁻¹(V) = X × V 皆开，这些集合及其有限交（即 U × V）必须开；而它们已构成基。平面 ℝ² 的通常拓扑，恰是直线与直线之积——分析中的「二元连续 = 逐坐标连续」由此获得精确表述。

「最细」意味着商空间的开集尽可能多：只要原像是开的就承认为开，绝不多要（多了 π 就不连续）。商拓扑把「粘合」变成精确操作：在定义域上规定等价关系，在商空间里自动获得正确的开集。三个标准样品：

积与商的先后次序可以交换（积的商 = 商的积，在合理的条件下），但商的商与商的积一般不可随意交换——§1.8 的连续判据是检验这类操作的唯一法庭。

第一章 拓扑空间与连续映射1.8 连续映射：开集的原像是开集

★★ 舞台齐备，主角登场。

这个定义只动用两边的开集族，与距离、ε、δ 无关。它在 ℝ 上退化为定理 1.1，在一般空间上是公理。注意方向：条件施加在原像上，因为「值域的目标区域」是检验标准，定义域一侧负责承接。三条等价刻画把定义变得趁手：

①⟹②：F ⊆ Y 闭，则 f⁻¹(Y∖F) = X∖f⁻¹(F) 是开集。③⟹①：对开 V 与 x ∈ f⁻¹(V)，V 是 f(x) 的邻域，取 M 使 f(M) ⊆ V，则 M ∩（某个开邻域）给出 f⁻¹(V) 的开邻域，逐点并之即得。③在度量情形恰好退回 ε–δ：N 就是 ε-球，M 就是 δ-球。

命题 1.5（基本运算律）。(a) 恒同映射连续；(b) 连续映射之复合连续（原像的原像还是原像：(g∘f)⁻¹(W) = f⁻¹(g⁻¹(W))）；(c) 若 τ_X 换成更粗的拓扑则连续性更难，换成更细则更容易——连续性是两边拓扑的相对属性。

(c) 有两个立即的应用。恒同映射 id : (X, τ_细) → (X, τ_粗) 连续，而 id : (X, τ_粗) → (X, τ_细) 一般不连续——「同一个函数，拓扑换了，连续性就换了」。又如离散拓扑到任何拓扑的映射必连续（每个原像自动是开集）；任何拓扑到平庸拓扑的映射必连续（原像只有 ∅ 与 X）。两个极端，一句说尽。

粘合引理是分段定义函数（分段线性映射、逐片给出的曲面粘合）连续性的标准武器，也是商空间存在连续映射的依据：商空间上定义映射，等价于在原空间上定义与等价关系相容的映射——这一句将在第三章把基本群从回路搬运到群时反复使用。

第一章 拓扑空间与连续映射1.9 同胚：拓扑学眼中的「相同」

★★★ 连续性立定之后，「相同的拓扑结构」就有了严格含义。

三个条件各司其职，缺一不可（图 1-4 右）。双射负责「点账清楚」；正向连续负责「不撕裂」——接近的点映过去仍接近；逆向连续负责「不粘连」——映过去接近的点原本就接近。只满足前两条的连续双射可能把两个不同的拓扑「暗中压扁」：取 (0, 1) 带通常拓扑到自身、但把目标换成更粗拓扑的恒同映射，即可构造反例。经典的反例还有 id : [0, 2π) → S¹，t ↦ (cos t, sin t)：连续双射，但逆在 (1, 0) 处不连续——角度在 2π 处的「跳变」撕开了逆的连续性。

基本例子逐个过：任意两个开区间同胚（f(t) = tan 映射给出 (0, 1) ≅ ℝ，有界与无界在拓扑学中是同一件事）；ℝ ≅ (0, 1) ≅ (−π/2, π/2)；圆周、正方形边界、三角形边界两两同胚（沿径向投影给出显式同胚）；ℝ ≇ ℝ²（后者去掉一点仍连通、前者去掉一点即断——这个论证用到连通性，第二章 §2.1 补全手续）。球面加一点 ≅ 平面：立体投影把「无穷远」安放在北极，这是地图学的数学骨架。

不变量是「验不同胚」的武器：想证 X ≇ Y，找到一条不变量使两者取值不同即可。这是拓扑学的基本工作模式，与代数中「用不变量区分群」完全同构。绪论里欧拉用「奇度点的个数」判死七桥问题，正是这一模式在历史上的首次胜利。

第一章 拓扑空间与连续映射1.10 度量空间：最熟悉的拓扑

★ 抽象立起之后，必须回头确认：老朋友都在。本节与下节把度量世界纳入拓扑框架。

三角不等式是三条的灵魂：它保证「绕道不抄近路」，从而整座分析大厦的极限理论得以立足。三个标准样本：欧氏度量 d₂(x, y) = √(Σ(x_i − y_i)²)；出租车度量 d₁ = Σ|x_i − y_i|（格状街道上开车里程）；上确界度量 d_∞ = max_i|x_i − y_i|（各坐标差的最大者）。此外还有离散度量：d(x, y) = 0 若 x = y，否则为 1——与任何集合相容，且生成离散拓扑。

同一空间、多种度量、一个拓扑。在 ℝⁿ 上，d₁、d₂、d_∞ 诱导同一个拓扑：三种球互相套得住（下一节给出双向嵌套的显式不等式），开集的概念因此一致。度量是「几何外套」，拓扑是「身体」——外套可以换，身体不变。但外套并非总是可换：ℝ 上的离散度量生成离散拓扑，与通常拓扑迥异；可见同一集合上「由度量来的拓扑」也可以千差万别。

于是出现本册的枢纽问题：一个拓扑在什么条件下来自某个度量？这问题是可数性公理与分离公理的最终审判（§1.13–1.14 提供必要条件，挑战页给出充分性定理）。度量空间是拓扑空间中的「良民」：Hausdorff、第一可数、正规，一条不缺；但拓扑宇宙远大于度量宇宙——大量自然的空间（商空间、谱空间、弱拓扑）无法度量化，这正是把拓扑从度量中解放出来的全部理由。

第一章 拓扑空间与连续映射1.11 距离、球与由度量诱导的拓扑

★★ 上一页把「开集」的定义委托给了开球，本页结清两笔欠账：球族确为基；三种度量的拓扑一致。

证明。覆盖：每点属于 B(x, 1)。嵌套：设 z ∈ B(x, r₁) ∩ B(y, r₂)，取 ρ = min(r₁ − d(z, x), r₂ − d(z, y)) > 0；对 w ∈ B(z, ρ)，用三角不等式得 d(w, x) ≤ d(w, z) + d(z, x) < r₁，同理 < r₂，故 B(z, ρ) ⊆ 交。基条件②成立。∎（图 1-5 右演示了「点带小球」的余量技巧——半径取 r − d(x, x₀) 而非 r/2，精确的余量在更复杂的论证中同样是最利落的刀。）

度量拓扑的收敛语言即刻恢复：x_n → x ⟺ d(x_n, x) → 0。同一拓扑内的两种度量给出相同的收敛序列、相同的连续函数、相同的紧致集——拓扑才是这些概念的本体。反之若两种度量的拓扑不同，必可找到「按一种度量收敛、按另一种不收敛」的序列作为见证。

有界性与拓扑无关。d(x, y)′ = min(d(x, y), 1) 是与 d 等价的度量（诱导同一拓扑），且全空间有界。可见「有界」在拓扑中没有位置——它是度量的属性，不是拓扑的属性；将在第二章以「紧致」的拓扑化装重新登场。凡不能用开集语言表达的量，都不是拓扑不变量——这条筛选标准反复甄别着分析概念的去留。

第一章 拓扑空间与连续映射1.12 收敛与极限：序列、滤子与网

★★ 「x_n → x」在拓扑空间中的定义只有一句：对 x 的每个邻域 N，存在 N₀ 使一切 n ≥ N₀ 有 x_n ∈ N。序列最终落入 x 的每个邻域。距离不见踪影。

在度量空间中，这一定义与 ε–N 定义等价（取 N = B(x, ε) 逐个满足即可），序列完全够用：闭包可以用序列探测——x ∈ Ā ⟺ 存在 A 中序列 x_n → x（每个邻域 N 里取一点 x_N ∈ A ∩ N，度量情形可用半径 1/n 把「邻域」序列化）；连续性可以用序列检验——f 连续 ⟺ x_n → x 蕴含 f(x_n) → f(x)。

缺口的根源在于「序列是可数的探索工具，而邻域结构可以不可数地复杂」。两种修补方案等价而殊途：

极限的唯一性取决于分离公理。在 Hausdorff 空间中序列至多收到一个极限（§1.13 证明）；在平庸拓扑中，任何序列收敛到任何点——极限毫无信息量。「极限唯一」不是序列的美德，而是空间的道德。

第一章 拓扑空间与连续映射1.13 分离公理：从 T₀ 到 T₄

★★ 拓扑公理只管开集的运算，对「点与点分得多开」不置一词。分离公理补上这一层，构成一条由弱到强的阶梯（图 1-6）。

阶梯严格升级：T₄ ⟹ T₃ ⟹ T₂ ⟹ T₁ ⟹ T₀。每一级都有「恰好卡住」的样本：Sierpiński 空间 X = {0, 1}，τ = {∅, {1}, X}——点 1 可与 0 分辨（{1} 含 1 不含 0）而 0 无法与 1 分辨，故 T₀ 非 T₁；平庸拓扑（|X| ≥ 2）连 T₀ 都不是；有限余拓扑是 T₁ 而（在无穷集上）非 T₂。各级都有存在理由，阶梯不是摆设。

为什么要爬到 T₃、T₄？因为深刻定理的入场券写在更高两级上：Urysohn 引理（挑战页）需要正规性；单位分解需要正规性 + 仿紧致；度量化定理需要正则 + 第二可数。分离公理是拓扑与分析签合同时的条款细则——条款越强，可以兑现的定理越多。

第一章 拓扑空间与连续映射1.14 可数性公理与序列的威力

★★ 分离公理管「分得开」，可数性公理管「数得清」。两者合流，才把一般拓扑空间拉回序列可以驰骋的疆域。

度量空间第一可数：B(x, 1/n) 就地取材。ℝⁿ 第二可数：以有理点为心、有理半径的开球是可数族，且依稠密性塞进任何开集的任何点旁——ℚ 的可数稠密性是 ℝⁿ 拓扑可数化的全部资本。不可数积 ℝ^ℝ 则连第一可数都不满足：固定一点，任何可数邻域族都漏掉某个坐标的约束，据此可构造不含任何族成员的邻域。

这个「先把局部基排成递减列、再逐个取样」的对角化手法是第一可数空间的标准技术，下册分析课程中处理「序列式紧致」时将原样复用。第二可数的额外红利则超出序列范畴：ℝ 的任何两两不交开区间族至多可数（每个区间里取一个有理点作登记——「有理点当户口」），由此 ℝ 的任何开集恰是可数个不交开区间之并。这条结构定理使 ℝ 上开集的测度可以定义为区间长度之和——Lebesgue 测度的大门由第二可数性推开。

至此，第一章的词汇表编齐：空间、开闭、基、子积商、连续、同胚、度量、分离、可数。下一节先用一张图鉴检阅全部词汇，再以两道例题、两堂习题课把它们操练纯熟。

第一章 拓扑空间与连续映射1.15 拓扑空间的图鉴：从离散到平庸

★★ 收拢本章词汇，检阅一批反复出场的空间。每个条目给出三件事：拓扑怎么给、分离/可数档位、一句话性格。

图鉴的读法。对每个空间问三个问题：① 它处于分离阶梯的哪一级？② 它可数性如何？③ 它可度量化吗？前两问的答案组合几乎决定了第三问（挑战页的度量化定理给出充分条件方向）。反例的分布同样有规律：阶梯下段（T₀/T₁）的居民多是小有限集；「第一可数成立而不可度量」的典型是 ℝ_ℓ；「Hausdorff 而不第一可数」的典型是 ℝ^ℝ。

第一章 拓扑空间与连续映射1.16 收束：连续是拓扑的形状感

★ 回望本章走过的路，三条主线收成一束。

主线一：公理化换装。从 ε–δ 出发，剥离距离、留下开集（§1.1–1.2），把三条运算规则升格为公理（§1.3）。从此「空间」不再预设坐标、度量、维数；一个集合加一套章程就是全部家当。对象由规则定义——这条公理化精神贯穿全册。

主线二：构造工序。闭包/内部从内部刻画（§1.4），基/子基提供经济的呈现（§1.5），子空间/积/商给出三种标准工序（§1.6–1.7）。数学中的空间几乎不再凭空规定，而是从已有空间造出来；每一道工序都附带着连续性的自动保证（§1.8 的粘合引理、最粗/最细刻画）。

主线三：等价与不变量。同胚确立「相同」的标准（§1.9），拓扑性质随之成为验异武器；度量空间回归为最熟悉的居民（§1.10–1.11），而分离公理与可数性公理两把标尺（§1.13–1.14）划定了「序列与度量的疆界」。连续是拓扑的形状感——同胚允许咖啡杯变甜甜圈，却不允许撕裂与粘连；不变量守护着形变中不可磨灭的部分。

留白清单。三处「引而未发」将在后续兑现：连通性与紧致性两大不变量的正面研究（第二章）；紧致 + Hausdorff ⟹ 同胚的判据（第二章定理到位后回填 §1.9 的验法②）；Urysohn 度量化定理（挑战页预告，紧致情形在第二章给出完整证明，一般情形留作高阶课程的入口）。教科书不回避留白——留白处正是下一步的路标。

下一章开始，拓扑学亮出它真正的主打不变量：连通（空间是否一块）与紧致（有限覆盖的有限性）——它们将把「验不同胚」从手工作坊升级为标准化工业。

第一章 拓扑空间与连续映射例题一：开集、闭集与连续性的判定

★★ 四道判定题，覆盖 §1.2–1.8 的核心判定。每题先给结论，再给完整论证。

解。验公理：∅, X ∈ τ ✓；任意并——τ 的成员对并封闭（逐一检查：{1}∪{1,2} = {1,2}，{1,2}∪X = X，等等）✓；有限交——{1}∩{1,2} = {1}，{1,2}∩{1,2,3} = {1,2} ✓。是拓扑。闭包：X∖τ 中的闭集为 ∅、{2,3}、{3}、∅ 之补……逐个算：闭集 = 补开集 = {1,2,3}、{2,3}、{3}、∅。包含 {2} 的闭集只有 {2,3} 与全空间，交为 {2,3}，故 Ā = {2,3}。内部：含于 {2} 的开集只有 ∅，故 {2}° = ∅。∂{2} = {2,3}。注意点 2 的每个开邻域（{1,2} 或 X）都碰 {2} 且都碰补集——边界点的邻域判据逐字兑现。

解。连续 ⟺ 值域每个开集的原像（即自身，恒同）在定义域中开。第一问：取值域开集 [0, 1) ∈ ℝ_ℓ，它在通常拓扑中不开，故 id : 通常 → ℝ_ℓ 不连续。第二问：通常开集 U 在 ℝ_ℓ 中开（U 是若干 (a, b) 之并，而 (a, b) = ⋃_n [a + 1/n, b)，是下限开集之并），故 id : ℝ_ℓ → 通常 连续。教训：恒同映射的连续性完全取决于两边拓扑的粗细（§1.8 命题 1.5(c)），「细到粗连续，粗到细未必」。

解。取值域开集 V = (−½, ½)。原像 f⁻¹(V) = (−∞, 0)，是开集。再取 V′ = (½, 3/2)，原像 [0, +∞) 不是开集（0 点无余量）。故 f 不连续。撕裂点 0 的几何：0 的任何通常邻域都同时含正负两侧，其像却分属两个不相交的开集——这正是阶跃函数「跳变」的拓扑表述。粘合引理从反面解释了它：−∞ 到 0 与 0 到 +∞ 两段各自连续，但 {0} 处两段闭集相接时取值不一致，引理前提「整体良定义且分段一致」不成立。

第一章 拓扑空间与连续映射例题二：子空间、积空间与商空间的计算

★★ 三道计算题，操练 §1.6–1.7 的三大工序。

解。在 Q 中，A 的内部：取点 (x, ½) 与 Q 的相对开集 U，U 含该点则含上下方向的摆动，不可能含于 A（A 无厚度），故 A° = ∅。闭包：A 在 Q 中闭（它是 Q 中闭集 [0,1] × [½−ε?]……严格地：A = Q ∩ ([0,1] × {½})，而 [0,1] × {½} 在 ℝ² 中闭，故 A 在 Q 中闭），Ā = A。边界：∂A = Ā ∖ A° = A。整条线段全是自己的边界——「薄」的对象在拓扑中的标准画像。

解。对每个 n ∈ ℤ，取 U_n = (n − ½, n + ½)（ℝ 中开集），则 {n} = U_n ∩ ℤ 在 ℤ 中开。ℤ 的任何子集 S = ⋃_n∈S{n} 是开集之并，故开；S 的补集同理开，故 S 又闭。全部子集既开又闭——离散拓扑的判据逐字满足。同时可见离散空间每个子集都是闭集 ⟹ 它是 T₁ 的极限：单点皆闭。

解。商投影 π : [0, 1] → Y。W ⊆ Y 开 ⟺ π⁻¹(W) 在 [0, 1] 中开。π⁻¹(W) 要么不含 0、1（此时它就是 [0,1] 中不含端点的开集，即通常开集与 [0,1] 之交），要么同时含 0 与 1（此时它在两端各带半边余量）。同胚：定义 f : [0, 1] → S¹，f(t) = (cos 2πt, sin 2πt)。它连续（坐标函数连续）、满射，且 f(s) = f(t) ⟺ s = t 或 {s, t} = {0, 1}——恰是 ∼ 的等价类。故 f 下降为双射 f̄ : Y → S¹，且由商拓扑的最细性 f̄ 连续。逆的连续性（紧致性到位后由定理 2-x 一击即得；此处亦可显式验证：S¹ 中开弧的原像是「与两端共进退」的开集，正是 Y 的开集形状）。商构造 + 显式映射 = 圆周的严格诞生；第三章将把这套手续原样用于「把区间端点绕圈」的基本群。

第一章 拓扑空间与连续映射习题课（一）：拓扑空间与连续基本功

★★ 前四题只用定义，后两题需要组合前面两节。提示与答案倒置排放——先自己动手，再看灰条。

做完六题，「开、闭、包、内、连续」就不再是名词，而是手上听得见响的工具。

第一章 拓扑空间与连续映射习题课（二）：构造新拓扑的进阶

★★★ 这一堂动手「造空间」：基、子空间、积、商轮番上阵。

本堂的每道题都埋着下一章的引线：连通（1-12）、紧致（1-11 的正条件）、分离的反例（1-10）。习题不只是操练，也是路标。

第一章 拓扑空间与连续映射第一章地图：概念依赖关系

★ 一章三十页，概念二十有余。图 1-7 把依赖关系收成一张图：实线是「定义用到」，虚线是「对照呼应」。

三条走廊。① 中央走廊：开集三律 → 三大工序（子空间/积/商）→ 连续映射 → 同胚，这是「空间怎么造、映射怎么判」的主动脉；② 左侧支线：闭包·内部从对偶面刻画开集，直接服务例题与习题的计算；③ 右侧支线：基·子基与度量诱导拓扑——一者是「经济呈现」，一者是「熟悉的特例」，两者在「度量化问题」（分离 + 可数 ⟹ 度量归来）处汇合。

往前看。第二章的两面旗帜——连通（一块 vs 多块）与紧致（有限覆盖）——都由开集语言直接定义，却都强大到足以验同胚。本章的「留白清单」（§1.16）正是它们的伏笔：S¹ ≇ [0, 1] 的断口论证（习题 1-12）、连续双射升级同胚（§1.9 验法②），在第二章全部兑现。

第一章 拓扑空间与连续映射第一章小结（上）：定义与公理

★ 本页收齐定义，下页收齐定理。斜体字是速记口诀。

记号的五条约定。① Ā、A°、∂A 全程通用；② τ_Y 表子空间拓扑，τ_d 表度量诱导拓扑；③ 「空间」默认指拓扑空间，「度量空间」特指带度量的；④ f⁻¹(V) 是原像集，不预设 f 可逆；⑤ π 恒表商投影，π_X 表积投影。

第一章 拓扑空间与连续映射第一章小结（下）：定理与方法

★★ 九条定理按用途分三组。

方法沉淀。① 「余量技巧」：证明集合开，给每点配一个明确半径的球（定理 1.8 的 ρ = min(r₁ − d(z,x), r₂ − d(z,y)) 是范本）——min 出余量，三角不等式搬运余量。② 「降维打 maps」：商空间的命题先在原空间陈述，再检查「与等价关系相容」，最后用商拓扑的万有性质落地。③ 「不变量验异」：证不同胚，找一个拓扑性质使两空间取值不同——这在本章只是雏形（有界性不是不变量！），第二章的连通与紧致才是成熟武器。

本章出现的反例清点（每个都值得随身携带）。U_n = (−1/n, 1/n) 之交非开（无穷交的陷阱）；连续双射非同胚（[0, 2π) → S¹）；ℚ ⊂ ℝ 不开不闭（稠密集的标准像）；有限余拓扑 T₁ 非 T₂（分离阶梯的卡位者）；Sierpiński 空间 T₀ 非 T₁；ℝ^ℝ 序列失效（网的必要性）；e^x 与 A = −ℕ（f(Ā) ⊊ f(A) 闭）。

第一章 拓扑空间与连续映射思想卡：连续是数学的形状感

★★★ 1872 年，克莱因在埃尔朗根提出纲领：一种几何，就是研究某类变换下不变的性质——欧氏几何研究刚体运动（长度、角度不变），射影几何研究射影变换（共线性不变）。把这份清单推到最宽的一档：允许的变换是同胚，不变的是开集结构——这一档就是拓扑学。克莱因的清单上，它是最宽容的几何：不问长短、不问曲直、只问「能不能连续地互相变成对方」。

宽容不等于浅薄。不变量越少，区分力越弱、适用面越广——这正是「柔」与「刚」的辩证。欧氏几何能区分全等与非全等的两个三角形，却对「球面与环面」无能为力（两者都 « 不全等 »，但欧氏工具说不出更多）；拓扑学用「洞数」一个不变量就一锤定音。工具的粒度匹配问题的粒度：问「这两个曲面是否可以互相连续变形」，就该用拓扑的尺，而不是欧氏的尺。

本章的公理化抉择——对象由规则定义——是这枚思想硬币的另一面。拓扑空间不问「点是什么」，只问「开集族服从什么规则」；同胚不问「形变的具体路径」，只问「两端的结构是否一致」。数学由此获得一种独特的自由：凡是同构的对象，在结构意义上就是同一个对象。代数里的群同构、分析里的等距同构、逻辑里的模型同构，全部共享这条「结构主义」信条；拓扑学的同胚，是信条最直观的注脚——咖啡杯与甜甜圈，账目、连接、洞数三者皆同，便是同一件东西。

第一章 拓扑空间与连续映射挑战：度量化定理与 Urysohn 引理

★★★ §1.10 立下的枢纽问题——「一个拓扑何时来自度量」——本页正面迎击。需要的弹药：正规性（T₄）与第二可数。

证明思路（二进折叠）。在 (0, 1) 的二进分数集 D = {m/2ⁿ} 上归纳地安放一列开集 U_r（r ∈ D）：令 U₁ = X∖B，由正规性取 U_1/2 使 Ā_1/2 ⊆ U₁ 且 U_1/2 ⊇ A；再在 (0, 1/2) 与 (1/2, 1) 两段重复……归纳得全序族 {U_r}_r∈D，满足 A ⊆ U_r ⊆ Ā_r ⊆ U_s（r < s）。定义 f(x) = inf{r : x ∈ U_r}，用嵌套关系验证连续。正规性在每一步归纳中出场：两个不相交闭集（A 与补集）需要被不相交开集分开——这就是 T₄ 的用武之地。Urysohn 引理被称为「拓扑学第一深刻定理」：它从纯公理中榨出一个实值连续函数，为度量化的归来铺路。

证明骨架。① 由第二可数取可数基 {U_n}；② 对每对 (m, n) 使 Ā_m ⊆ U_n（正则性保证足够多这样的对），用 Urysohn 引理造函数 f_mn : X → [0, 1]（在 Ā_m 上取 0、在 X∖U_n 上取 1）；③ 令

级数一致收敛，d 是度量；再用正则性验证 d 诱导原拓扑（关键：基元素 U_n 在 d 中是开邻域之并——由某个 f_mn 在该点不为 0 探测）。可数基提供可数函数族，函数族折算成一个度量：加权的思想与无穷维分析中的 Hilbert 空间嵌入同源。

反向核查（必要性）。可度量化 ⟹ 正则（度量空间 T₄，定理 1.12）+ 第二可数？——不必然：不可数离散空间可度量化而无可数基。故「正则 + 第二可数」是充分的而并非必要的；精确的必要充分条件是 Nagata–Smirnov 定理（σ-局部有限基），超出本册疆界，留作通往高阶课程的桥。

这条定理是第一章两把标尺的合龙处：分离（正规）提供函数，可数（第二可数）提供函数的枚举——两者相加，距离函数从公理中重新生长出来。

第一章 拓扑空间与连续映射实验：拓扑性质的数值检验

★★ 公理是可计算的。3 点集合 X = {1, 2, 3} 的全部子集共 8 个，其候选「开集族」共 2⁸ = 256……不对——子集族是幂集的子集，共 2⁸ = 256 族；逐一检验三条公理，数出真拓扑的个数。

from itertools import combinations

X = frozenset({0, 1, 2})
subs = [frozenset(c) for r in range(4)
        for c in combinations(X, r)]        # 8 个子集

def is_topo(T):                             # 三条公理
    T = set(T)
    if frozenset() not in T or X not in T: return False
    for A in T:
        for B in T:
            if (A | B) not in T: return False
            if (A & B) not in T: return False
    return True

def is_T0(T):                               # 点可分辨
    for a in X:
        for b in X:
            if a != b and all((a in S) == (b in S) for S in T):
                return False
    return True

cands = (combinations(subs, r) for r in range(9))
topos = [T for c in cands for T in map(frozenset, c) if is_topo(T)]
print(len(topos), sum(1 for T in topos if is_T0(T)))

运行结果（本册成书时实跑）：程序输出两个数：

即 3 点集上恰有 29 个拓扑，其中 19 个满足 T₀。抽查三个锚点核对正确性：平庸拓扑与离散拓扑都在册（29 个的极两端）；T₀ = 19 的两端——离散（T₀ ✓）与 Sierpiński 型（T₀ ✓）各居其列，而「三点粘两点」的 {{1},∅} 型非 T₀ 者被正确排除。

公理化不是说漂亮话——每条公理都是一台可执行的检验仪。当枚举可行时，让机器替公理跑一遍，是拓扑学习惯的诚实。

第一章 拓扑空间与连续映射〖札记〗墨经与庄子：无穷与极限的中国思辨

★★ 「连续」与「无穷」的纠缠，中国先秦文献里有两条互为镜像的记述，值得与本章的公理化并排阅读。

庄子·天下篇记惠施之历物十事，其一曰：「一尺之棰，日取其半，万世不竭。」一根尺杖每日截半，万年不竭——这是对无穷可分性的正面宣言：任何正长度经任意多次减半仍为正。翻译进本章语言：开区间 (0, 1/n) 对每个 n 非空，而 ⋂_n(0, 1/n) = ∅——「万世不竭」说的是每一段开区间非空，「竭」发生在无穷交的极限处。庄子这句话精确地踩在「有限交保开、无穷交不保开」的刀口上（§1.2 开集三律之③为何只许有限交，正例即此）。先秦的思辨直觉与现代公理的边界刻画，隔着两千年撞了个正着。

墨经·经上则给出反向的刻画：「穷，或有前不容尺也。」——「穷」（达到尽头）的判据是「或」（区域）的前沿出现「不容尺」（容纳不下一个最小单位）的状态。《经说》补注：「穷：或不容尺，有不容尺者也。」墨家把「无穷逼近尽头」定义为一个可否证的操作判据：尽头 = 存在一个无法再容纳刻度的位置。这与现代分析中「x 是 A 的聚点 ⟺ 任何邻域含 A 的异于 x 的点」在结构上同型：无穷性质用有限检验表达——正是本章 ε–δ 到邻域语言的全部翻译机关。

两条记述合读，可见同一组概念的两副面孔：庄子给出过程（万世不竭的无穷序列），墨家给出判据（不容尺的有限检验）。十九世纪分析严格化（Weierstrass 的 ε–δ、Cantor 的集合论）完成的，正是把「过程直觉」翻译成「判据语言」；本章把判据再抽象一层（开集三律），完成的则是把「度量判据」翻译成「结构规则」。三层翻译，一个方向：从直观到可检验，从可检验到可公理。

第一章 拓扑空间与连续映射第一章速查表

★ 考前与写作时的单页索引。行文顺序 = 章节顺序。

常见错误五连。① 开集的无穷交未必开；② 连续不保开（是原像保开）；③ 连续双射未必同胚；④ 「有界」不是拓扑不变量；⑤ 极限唯一是空间（T₂）的性质，不是序列的性质。

第一章 拓扑空间与连续映射衔接讲义：通往连通与紧致——拓扑的两大主旋律

★ 第一章反复许诺的两个词——连通、紧致——下一章兑现。本页先把「为什么偏偏是这两个」讲清楚。

主旋律一：连通（一块还是多块）。定义只有一句：X 连通 ⟺ X 不能写成两个非空不相交开集之并。它直接封存了「验不同胚」的最常用战术：同胚保持连通（连续原像的不变量），于是 ℝ ≇ ℝ²（去一点看断）、S¹ ≇ [0,1]（习题 1-12 的完整化）、ℝ ≇ ℚ（ℚ 全不连通——有理数世界布满无理数的刀缝）。第二章还将给出路径连通（任两点可用连续道路相连）这个可操作的强化版，并把「连通分支」「局部连通」收编入册。

主旋律二：紧致（有限覆盖的有限性）。定义也只有一句：X 紧致 ⟺ 每个开覆盖有有限子覆盖。它把「无限 → 有限」的万能压缩封装成一条性质：紧致空间上的连续实值函数有最大最小值（Weierstrass 定理的拓扑本体）、紧致 + Hausdorff ⟹ 连续双射必同胚（§1.9 验法②的兑现）、紧致 × 紧致仍紧致（Tychonoff 有限情形）。ℝⁿ 中「有界闭集紧致」（Heine–Borel）将作为特例给出，而其证明的秘密武器正是本章攒下的「闭集对任意交封闭」+ 度量的余量技巧。

第一章把「连续」从距离中解放出来；第二章要回答的是：解放出来的语言，最先照亮形状的哪两盏灯。答案：一块与不漏——连通，紧致。

第二章 连通、紧致与流形第二章导引：分不开与逃不掉

第一章把「连续」翻译成了开集语言，但那套语言至今只回答了一个问题——「什么是拓扑学的相同」。本章回答拓扑学最擅长回答的另一类问题：两个空间为什么不同。答案是一对整体不变量，性格截然相反：

连通——空间是不是一整块。ℝ 是一整块，ℚ 千疮百孔；圆周剪开还是一个连通的弧，区间剪掉内点立刻断成两截。「分不开」是可以严格定义的：不能写成两个非空不相交开集之并。定义只用开集，因此自动是同胚不变量——这正是上一章公理化的红利第一次兑换现金。

紧致——无限多个条件能否压缩成有限个。开覆盖的语言把「逃不掉」精确化：任何用开集铺成的覆盖，都能抽出有限的一小片照样盖住全空间。有界闭区间 [0, 1] 逃不掉，开区间 (0, 1) 随便逃——差两个端点，天壤之别。紧致是分析学最高频的假设：最大值存在、一致连续、连续双射升级同胚，全部由它担保。

本章路线：先连通（§2.1–2.4）——定义、等价刻画、道路连通、介值定理与不动点；再紧致（§2.5–2.8）——定义、运算、Heine–Borel、与连续性的三笔红利；然后两件大事：单点紧化把无穷远装进口袋（§2.9），度量化定理在紧致情形完整收官（§2.10，第一章的留白兑现）。末三节（§2.11–2.12）把视野抬向流形与单纯复形——局部欧氏的空间与可组合计算的形状，它们是第三章基本群与第六章同调的舞台。

第一章的词汇是零件，本章的两大不变量是发动机。连通管「分不分得开」，紧致管「逃不逃得掉」——两句话，撑起拓扑学在分析学与几何学中的全部实权。

第二章 连通、紧致与流形2.1 连通性：分不开的整体

★★ 「一块」的直觉要翻译成开集语言。X 的「分裂」指什么？——把 X 写成两个互不搭界的开放区域之并：

子集 A ⊆ X 连通，指 A 带子空间拓扑连通。定义的分量在于「不存在」：要证连通，须排除一切可能的分裂方案；而排除的武器恰是上一章的运算律——开集的任意并与闭集的任意交。一个样板：ℝ 连通。反证：若 ℝ = U ⊔ V（U、V 非空开），取 a ∈ U、b ∈ V，不妨 a < b。令 s = sup{t : [a, t] ⊆ U}——s 存在（b 是上界）。若 s ∈ U，U 开给出 s 右侧的余量，与 s 的上确界性矛盾；若 s ∈ V，V 开给出 s 左侧的余量，而该余量内的点仍使 [a, t] ⊆ U，矛盾。∎ 上确界一锤定音——完备性 ℝ 的分析事实，兑换成连通性的拓扑事实。

连通的定义是负面的（不存在分裂），但它的力量是正面的：凡从连通空间出发的连续实值函数，都被迫「连续地」取值——这正是 §2.4 介值定理的全部秘密。

第二章 连通、紧致与流形2.2 连通性的等价刻画与例子

★★ 连通之所以好用，在于三条运输定律——它们让连通性沿着连续映射搬运。

①的证明最短：f(X) 的分离 (U, V) 的原像是 X 的分离（原像保开、保非空、保不交）。「连通是连续不变量」这半句话，值半个介值定理：取 Y = ℝ，连续实值函数在连通空间上的像连通；而 ℝ 的连通子集只有区间与点（可用 §2.1 的样板证明直接移植）——于是：连通空间上的连续实值函数，像必是区间。介值定理已经写在这一句里（§2.4 正式结算）。

②的典型应用：路径的并。若 A ∩ B ≠ ∅ 且 A、B 连通，则 A ∪ B 连通——「握手引理」。由此 ℝⁿ 中的开连通集可以一路「焊接」出来（§2.3 的道路版本更顺手）。③给出丰富的样本：ℝⁿ = 直线之积连通；环面 S¹ × S¹ 连通；S¹ × [0,1]（圆柱面）连通——第三章将看到，连通却「有洞」的大家庭。

乘积与投影。③的逆问题有趣：X × Y 连通 ⟺ X、Y 都连通（由投影连续 + 像连通立即得）。连通性在积与投影两边都成立，这让环面的连通性不必直接验证。对照：紧致性（§2.6）只在「积」方向成立，「投影像」方向是平凡的连续像定理——两个不变量的脾气在这里第一次分岔。

第二章 连通、紧致与流形2.3 道路连通与连通分支

★★ 「一块」还有一条更贴直觉的判据——能不能走着去。

拓扑学家的正弦曲线（图 2-2 左）：T = {(x, sin(1/x)) : 0 < x ≤ 1/π} ∪ {(0, 0)}。曲线部分连通（(0, 1/π] 的连续像），其闭包添上原点仍连通（闭包保持连通）；但从曲线上任一点走到原点都没有道路——任何道路到达 x = 0 之前，都要在「1/x 的振荡」中把振幅无限次来回拉满，连续延拓无解。连通而不道路连通的最小标本：两个概念在此分家，且分家处正是「振荡无限加密」的奇观。附带一提：在开集的世界里两个概念重新合一——ℝⁿ 的开连通集必道路连通（每点的小球可走，握手引理全局焊合）。分析中打交道的几乎全是开集，故「连通 = 能走着去」的直觉在习惯疆域内从不失手。

分支把「一块还是多块」精确到「几块、每块多大」。下一个问题自然是：这块空间「抱得紧不紧」——紧致登场。

第二章 连通、紧致与流形2.4 应用：介值定理与不动点

★★ 连通性的第一笔现金结算——分析学的两大定理获得拓扑证明。

介值定理的常用形态：二分法求根（实验页实跑验证：f(x) = x² − 2 在 [0, 2] 中二分 60 步得 √2 = 1.414213562373095…）、「温度总有相等的时刻」（环形温度场）、多项式的实根存在性（奇次多项式两端异号）。「存在性证明 + 数值二分 = 可执行的存在」——介值定理是数学存在性定理中最「工程友好」的一个。

几何图像：把 f 的图像画在正方形里，它必然从左墙出发、抵达右墙，途中必跨过对角线——跨点即不动点。不动点是「自我指涉」的数学形态：方程 x = f(x) 的解、经济学的一般均衡、迭代法的收敛目标，本质都是不动点。一维的证明登峰造极地简单，高维的 Brouwer 定理（f : Dⁿ → Dⁿ 有不动点）则需要第二章之外的工具——第六章同调将给出最漂亮的证明：「Dⁿ 不可能缩到边界」的同调表述。

「连续地把区间送回区间，必有一点被留在原地」——连通性 + 紧致性的合奏（下一节）将把这句一维的智慧推广到任何维数。

第二章 连通、紧致与流形2.5 紧致性：有限覆盖的性质

★★ 第二主旋律登场。紧致把「无限多个要求」压缩成「有限多个」——分析的几乎所有存在性定理背后，都站着这个压缩。

定义是「∀ 覆盖 ∃ 有限子覆盖」的双重量词——直接验证困难，但否定的验证极其直观：找一族覆盖、证明任何有限片都盖不住。样板：(0, 1) 不紧。取覆盖 {(1/n, 1.1) : n ≥ 2}：它盖住 (0, 1)（每点 x > 0 都有 1/n < x），但任何有限片 (1/n₁, 1.1) ∪ … ∪ (1/n_k, 1.1) = (1/N, 1.1)（N = max n_i），盖不住 (0, 1/N]。0 是漏风的窗口——「趋向 0 的无限逃逸」正是非紧的元凶（图 2-3 左）。两点以上离散空间不紧：单点开集的覆盖抽有限片只盖有限点。

嵌套闭区间套原理（p37 札记预告的墨家 「 穷 」）立即成为特例：[a, b] 中 F_n = [a_n, b_n] 递减非空闭区间，有限交非空 ⟹ 全交非空——完备性 + 紧致的双重担保。二分法证明 [0, 1] 紧致（§2.7 主定理的前奏）正是把「坏半必存一半」的无限过程交给区间套收口（图 2-3 右）。

第二章 连通、紧致与流形2.6 紧致空间的性质与运算

★★ 与连通性一样，紧致也有一套运输与运算定律；其中两条是本章的顶梁柱。

①的证明是「覆盖下放再上收」：Y ⊆ X 的开覆盖与 X 的开集补差，先给 Y 的闭包留一份……严格地：给 Y ⊆ X 取 X 中开集族覆盖 Y，添上 X∖Y 凑成 X 的开覆盖，抽有限子覆盖，删去 X∖Y 那片即得 Y 的有限子覆盖。Hausdorff 条件在②中出场：对 y ∉ K（紧）与每个 x ∈ K，用 T₂ 分离 y 与 x，紧致性把无穷多片邻域压成有限片——「紧致做盾，分离做矛」的第一次合作。④即「连续像紧」：原空间覆盖抽有限，搬到像空间。综合①④：紧致空间的连续像既紧又（在 Hausdorff 值域中）闭。

这是第一章 §1.9 验法②的正式兑现：第一章留下的两处悬念——例 1-F 中 f̄ : [0,1]/0∼1 → S¹ 的逆连续、习题 1-11 的同胚升级——现在一律由「紧 + T₂」三行解决。这个判据的实用价值无法估量：同胚的逆连续性通常是最难验的部分，紧致性把它整个免掉。第三章将用它一步证得「商空间圆周同胚于 S¹」的全部变体。

第二章 连通、紧致与流形2.7 Heine–Borel 定理

★★★ 把紧致送回欧氏世界，与 「 有界闭 」 对账。

「⟹」方向。紧致 ⟹ 有界：ℝⁿ 的开覆盖 {(−k, k)ⁿ : k ∈ ℕ} 抽有限片，最大 k 即界。紧致 ⟹ 闭：定理 2.5②（ℝⁿ 是 Hausdorff 的）。「⟸」方向分两步。第一步：[a, b] 紧致——二分法（图 2-3 右）：反设有开覆盖 𝓤 无有限子覆盖，把 [a, b] 对分，至少一半仍无有限子覆盖，反复取 「 坏半 」 得嵌套闭区间套 [a_n, b_n]，长度 → 0；由完备性（确界原理）有唯一 c ∈ ⋂[a_n, b_n]；取 c ∈ U ∈ 𝓤，U 的开球半径 ε 使 [a_n, b_n] ⊆ U 当 n 足够大（区间长 → 0 且套住 c）——该 [a_n, b_n] 被一片盖住，与 「 坏 」 矛盾。第二步：有界闭集 A ⊆ 某个大盒子 [−M, M]ⁿ；盒子紧致（有限积，定理 2.5③），A 是其中的闭子集，故紧致（定理 2.5①）。∎

证明的分工值得看清：二分法用完备性（区间套交出实点），乘积用有限性，闭子集用覆盖下放——三大定理各出一份力。「紧致 ⟺ 有界闭」是 ℝⁿ 的特权，不是拓扑的通例：

Heine–Borel 把「紧致」翻译回分析的语言：有界 + 闭 = 逃不掉。下一页开始收取红利——三条由紧致担保的分析定理。

第二章 连通、紧致与流形2.8 紧致与连续：三个推论

★★ 紧致 × 连续 = 分析学的三大日常。每条都直接由「连续像紧」兑换。

推论二的两个下场值得点名：紧致度量空间上「连续 = 一致连续」（C([0,1]) 中多项式逼近定理的地基）；紧致空间无 「 逃逸序列 」——任何序列有收敛子列（序列紧致，第一可数情形与紧致等价；一般空间中序列紧弱于紧致，须用网）。

「在紧致舞台上，连续函数无处可逃：值有界、有极值、δ 全局统一、双射即同胚。」四连击是分析学对紧致性的全部依赖的缩影。

第二章 连通、紧致与流形2.9 局部紧与单点紧化

★★ ℝⁿ 紧致吗？不紧。但 ℝⁿ 的每一点都有紧邻域——「局部很好，整体不封口」。补一个点就能封口。

验算两句话：X* 的开覆盖要么有一片已含 ∞ 且补集紧——紧集再用剩余覆盖抽有限；要么全不含 ∞——它们盖不住 ∞，不构成覆盖。「∞ 的邻域 = 紧集之外」：靠近无穷远，等价于逃出某个大紧集。几何图像（图 2-4）：ℝ* ≅ S¹（直线的两端在无穷远处接成一点，圆周缺一点才同胚于直线）；ℝ²* ≅ S²（平面 + 无穷远点 = 球面，球极投影的严格版）；ℝⁿ* ≅ Sⁿ。复分析中的 Riemann 球、射影几何中的无穷远直线，都是单点紧化的方言。

「给无穷远发一个门牌号」——单点紧化是拓扑学最经济的发明之一：一个点，换来整个紧致世界的定理使用权。

第二章 连通、紧致与流形2.10 Urysohn 引理与度量化定理

★★★ 第一章挑战页许诺的 「 紧致情形完整证明 」，本页兑现。缺的只有一件事：紧致 Hausdorff 空间的正规性。

与一般版（正则 + 第二可数，第一章挑战页）相比，紧致版把 「 正则 」 免费升级为 「 正规 」，把 「 验级数 」 的技术负担全部卸给紧致。紧致 Hausdorff + 第二可数的空间是 「 良币 」：可度量、正规、单点紧化良好——第三章的基本群、第六章的同调都在这族空间里安家。

第二章 连通、紧致与流形2.11 拓扑流形：局部欧几里得

★★ 本章两大主旋律合龙之后的第一个大对象——流形：每一点附近都像 ℝⁿ 的空间。

三条各司其职。③是主角：局部欧氏 = 局部可用坐标计算——微积分的全部机械（求导、积分、微分方程）以 ℝⁿ 为硬件，流形把这套机械合法地搬上弯曲的空间。①②是防病的药（§第一章坐标卡的讨论）：Hausdorff 排除 「 两点粘一点 」，第二可数保证 「 图册可数 」——两剂药在第一章已备好，此处照方抓药。

与两大主旋律的合流。流形的连通性、紧致性由第二章工具直接判定：Sⁿ 紧致（有界闭）且连通（n ≥ 1）；环面紧致连通；圆柱面连通非紧。紧致流形是最 「 乖 」 的空间：紧 + T₂ + 第二可数 + 局部欧氏 ⟹ 可度量（§2.10）、可三角剖分（§2.12）、基本群有限生成（第三章）、同调有限生成（第六章）——「有限性层层传染」是紧致流形的美学。

第二章 连通、紧致与流形2.12 单纯复形：从连续到组合

★★ 流形是 「 局部像欧氏 」，单纯复形是 「 整体像拼图 」——把形状切成有限的组合积木，为第六章 「 把形状代数化 」 预置接口。

「 按面粘合 」 的两条规则排除 「 面面斜切 」 的病态，使每个点周围的 「 星形 」 结构规整。复形的核心承诺：连续问题 → 组合问题。顶点是编号的、单形是枚举的，一切量原则上可计算。三个基础事实：① 任何紧致光滑（乃至合理温和的拓扑）流形可三角剖分为有限复形（二维经典；高维有反例的故事属于高阶课程）；② 复形的组合数据（顶点、棱、面数）在 「 重分 」 下稳定——重心重分不改变本质；③ 复形给出同胚检验的代数通道：欧拉示性数 χ = V − E + F（顶点数 − 棱数 − 面数的交错和）是拓扑不变量。

从 「 橡皮膜 」 到 「 三角形账本 」，拓扑学完成了第一次 「 数值化 」。数数也能证明 「 不可能 」 ——绪论七桥问题的精神，在此升级为系统方法。

第二章 连通、紧致与流形2.13 收束：两大主旋律的合奏

★ 二十五页走完，三条收获清点入库。

收获一：两个可计算的不变量。连通（§2.1–2.4）与紧致（§2.5–2.8）都只用开集定义、都在连续映射下保持、都自带 「 验异 」 的算法——连通数分支，紧致查覆盖。第一章的 「 不变量验异 」 从口号变成工序：ℝ ≇ ℝ²（去点分支数不同）、ℝ ≇ S¹（紧致性不同）、ℚ ≇ ℝ（分支结构不同）——每条判异一击毙命。

收获二：紧致的四连红利。极值定理、有界性、一致连续（Lebesgue 数）、连续双射升级同胚——四条全部由 「 覆盖抽有限 」 一个机制发出。分析学的 「 有界闭 」 情结，其拓扑本体是紧致；Heine–Borel（§2.7）把两者对上账，单点紧化（§2.9）把非紧世界接回紧致世界，度量化（§2.10）把第一章的留白全部结清。

收获三：舞台升级。流形（§2.11）把 「 局部欧氏 」 立为标准；单纯复形（§2.12）把形状切成可数的组合积木，欧拉示性数给了第一个 「 数出来的不变量 」。第三章的基本群将在流形上听洞，第六章的同调将在复形上把洞变成群——两大主旋律的合奏，至此完成前奏。

连通与紧致合奏的最强音将在第三章响起：把 「 绕圈的自由度 」 做成一个群——基本群，拓扑学的第一件重型武器。

第二章 连通、紧致与流形例题一：连通性与连通分支的判定

★★ 四道判定题，全部使用 §2.1–2.3 的工具。

解。定义 f : (0, 2π) → S¹，f(t) = (cos t, sin t)：连续单射，像恰为 S¹ 去掉 (1, 0)。f 是 (0, 2π) 与像之间的连续双射；逆连续性由 「 紧 + T₂ 」 判据的反向用法……直接验证更省事：f 在 (0, 2π) 上的逆是幅角函数，在 「 去点 」 的圆弧上连续（避免 2π 跳变）。故 S¹∖{p} ≅ (0, 2π) 连通。分支唯一：整个空间。对照：S¹ 去两点断成两段开弧——「 去一点的存活率 」 区分 S¹ 与更高维球面（Sⁿ 去一点 ≅ ℝⁿ 仍连通，n ≥ 2）。

解。记 A = ℝ²∖(负半轴)。直观：平面被 「 开了缝 」，但仍是一整块（绕过原点走）。严格化：对任意 p ∈ A，取以 p 为起点的折线先绕到上半平面再抵达目标——因负半轴封闭，绕行半径取 |p| 与 |q| 的较大者即可避开。故 A 道路连通，分支数为 1。「开缝不破坏二维连通，却破坏一维连通」——维数与挖除的相互作用是第三章的正式课题。

解。若 A ∩ B ≠ ∅，则 A ∪ B 连通（握手引理）且包含 A、B，由极大性 A = A ∪ B = B。故分支两两不交或重合；每点属于自己的分支，并集为 X——分支族是划分。商空间 X/(分支) 是全不连通的（每个分支缩成一点后单点皆开——这是 「 全不连通 」 的构造性来源，ℚ 的单点分支是极端样本）。

第二章 连通、紧致与流形例题二：紧致性与有限覆盖的计算

★★ 三道计算题：一个 「 证不紧 」、一个 「 证紧 」、一个 「 升级同胚 」。

解。开覆盖 𝓤 = {(x − 1, x + 1) × (−1, 1) : x ∈ ℝ}（每点一个横条）。任何有限子族涉及有限个中心 x₁, …, x_n，覆盖的横坐标范围 ⊆ ⋃(x_i − 1, x_i + 1)，有界；而 A 无界，取 x 超出该范围即可逃逸。无界 ⟹ 用 「 逐点条带 」 覆盖必然漏风——与 (0, 1) 的 「 1/n 漏风 」 同一机理：一个 「 逃逸方向 」。

解。Heine–Borel 三行流：B 有界（含于 [−1, 1]²）且闭（f(x, y) = x² + y² 连续，B = f⁻¹([0, 1]) 是闭集原像——连续原像保闭）；[−1, 1]² 紧致（Heine–Borel + 有限积）；B 是其中闭子集，故紧。「闭集原像 + 有界」是 ℝⁿ 中证紧的标配动作。

解。（一）若 h : [0, 1] → (0, 1) 同胚，则 h([0,1]) = (0,1) 紧致（连续像紧）；但 (0, 1) 带 (0,1) 拓扑不紧（§2.5 反例），矛盾。注意判据的用法：不需要构造具体的 「 坏 」 双射，不变量直接否决。（二）f 连续满射且 f(s) = f(t) ⟺ s − t ∈ ℤ ⟺ 商空间 [0,1]/0∼1 的同一等价类；故 f 下降为商空间到 S¹ 的连续双射 f̄；源紧（商空间是紧空间的连续像）、目标 S¹ ⊂ ℝ² 是 Hausdorff 的，由定理 2.6 f̄ 是同胚。第一章例 1-F 的欠账，至此零利息结清。

第二章 连通、紧致与流形习题课（一）：连通与紧致基本功

★★ 六题热身。前三题连通，后三题紧致。

做完六题，自查一件事：每题用到的 「 有限性 」 究竟来自哪里——定义、定理 2.4、还是 Heine–Borel？把出处写进解题过程，是本章的习惯。

第二章 连通、紧致与流形习题课（二）：Heine–Borel 与紧化进阶

★★★ 六题进阶：Heine–Borel 的边界、单点紧化、与连通的合流。

本堂六题的秘密主线：紧致 × Hausdorff 的组合拳——闭（2-12）、商（2-10）、紧化（2-8/2-9）、分块有限（2-11）。下一章的基本群，全程使用这套拳法。

第二章 连通、紧致与流形第二章地图：概念依赖关系

★ 两大主旋律、三份红利、一座舞台——图 2-6 一图收拢。

读图要领。① 两大主旋律独立成峰，却在 「 同胚不变量 」 的身份下同源——任何一条都能单独验异；② 右侧支线（Heine–Borel → 紧化）是 「 回家路 」：从抽象公理回到 ℝⁿ 的有界闭、再从 ℝⁿ 起飞到 Sⁿ；③ 底部汇聚点是第三章与第六章的桥头堡——流形上听洞（基本群）、复形上算洞（同调）。

与第一章地图的对照。第一章是 「 词汇章 」（空间、连续、同胚），地图呈放射状；第二章是 「 武器章 」（两大不变量），地图呈双峰汇流状。书的骨架从 「 定义 」 转向 「 定理 」，地图的形状也随之而变。

第二章 连通、紧致与流形第二章小结

★★ 定义八条、定理十条，单页收齐。

定理速引。三定律（像/并/积保连通）；介值定理；一维不动点；运算四律（闭子集紧、T₂ 中紧则闭、紧×紧、像紧）；紧 + T₂ ⟹ 双射即同胚；Heine–Borel（ℝⁿ：紧 ⟺ 有界闭）；极值定理；一致连续（Lebesgue 数）；紧 + T₂ ⟹ T₄；紧致度量化。

方法论四条。① 证不紧：构造 「 漏风 」 覆盖（逃逸方向 / 1/n 型）；② 证紧（ℝⁿ）：有界 + 闭 + Heine–Borel；③ 证同胚：构造连续双射 + 源紧 + 目标 T₂；④ 验不同胚：数分支 / 比紧致 /（下一章起）算基本群。四条工序覆盖本章全部例题习题。

第二章 连通、紧致与流形思想卡：局部性质如何拼成整体

★★★ 本章最有张力的对偶是：局部可见的东西，整体未必保留；整体拥有的东西，必须由局部 「 拼 」 出来。

正弦曲线（§2.3）是第一记警钟：它的每一点附近都是一段完美的弧（局部完美），整体却 「 连着走不通 」（连通但非道路连通）——局部数据不能自动拼合，缺的是 「 一致性 」。(0, 1) 与 [0, 1] 是第二记警钟：两者局部完全一样（都是开区间的家），整体却隔着紧致性的鸿沟——局部无法看见端点，整体才 「 收口 」。流形定义中 Hausdorff 与第二可数两条 「 技术条件 」（§2.11）是第三记警钟：没有它们，「每点局部像 ℝⁿ」的直线上可以长出双原点、长直线这样的怪物——局部欧氏不设防，整体就会病变。

拼合的三种 「 黏合剂 」 值得命名：握手引理（局部连通块沿公共点焊接成整体连通）是最朴素的；Lebesgue 数（紧致把逐点的 ε 统一成全局的 δ）是最常用的；单位分解（正规性 + 局部紧，把局部函数加权拼成全局函数）是最强有力的——黎曼几何的度量存在性、微分方程的局部到整体，全部靠它。三者的共同签名：用某种 「 有限性 」 或 「 分离性 」 兜底，把无穷多份局部信息压缩成可拼合的一份。

第二章 连通、紧致与流形挑战：Tychonoff 定理与选择公理

★★★ §2.6 只证明了 「 紧 × 紧 = 紧 」；任意（可无穷）积的紧致性是二十世纪点集拓扑的里程碑。

有限情形的证明（§2.6③）用 「 抽有限 」 两轮即成；无穷情形的困难在「有限子覆盖的片数跨指标爆炸」。现代标准证明用超滤：X 紧 ⟺ 每个超滤收敛（有限交性质推到 「 极大 」 的超滤族）；而 「 每个滤子可扩充为超滤 」 恰是选择公理的等价形式（超滤定理/Boole 代数极大理想定理）。证明的骨架：积空间中取超滤 𝓤，其在每个因子上的 「 推前 」 收敛于 x_α（因子紧），则 𝓤 收敛于 x = (x_α)——「逐因子收口，积空间收口」。

Tychonoff 定理把 「 有限抽片 」 的承诺推到无穷积——代价是签下选择公理的合同。公理集合论与拓扑学在同一张桌子上分账，这是数学一体化的名场面。

第二章 连通、紧致与流形实验：紧致、连通与流形的数值体检

★★ 两大不变量里，连通能 「 数 」、紧致难 「 算 」（有限交性质是无限陈述）。本实验用三个可执行程序给抽象定理体检。

a, b = 0.0, 2.0
for i in range(60):
    m = (a + b) / 2
    if m * m - 2 > 0:
        b = m
    else:
        a = m
print((a + b) / 2)

实跑输出：

x = 0.5
for i in range(200):
    x = math.cos(x)
print(x)

实跑输出：

「紧致担保存在，二分法负责兑现」——拓扑定理与数值算法在这一页握手。

第二章 连通、紧致与流形〖札记〗惠施与公孙龙：连续与分割之辩

★★ 战国名家留下两组关于 「 连续与分割 」 的命题，与本章两大主旋律互为镜像。

惠施的 「 大一 」 与 「 小一 」（《庄子·天下》录其历物十事）：「至大无外，谓之大一；至小无内，谓之小一。」——宏观无边界、微观无内隙。把 「 大一 」 读作连通的宇宙（分不开的整体）、「 小一 」 读作不可再分的点，则名家在两千三百年前就摆出了拓扑学的两极：整体连通性 vs 点的原子性。ℚ 的教训（§2.1）恰在中间地带：由 「 点 」 堆成的集合可以处处 「 有缝 」——「 小一 」 的堆叠不自动织出 「 大一 」，织出它的是开集之间的咬合（连通性）。连通不是点的属性，而是开集族的整体属性——这是本章对 「 大一 」 的精确化。

公孙龙的 「 瞬移 」 之辩与 「 飞矢不动 」（同出名家辨者二十一事：「飞鸟之景，未尝动也」）：飞鸟的影子在每一瞬间都 「 静止 」 于某处，运动似乎 「 不存在 」。这组悖论与希腊芝诺的二分法同构：把时间切成无穷多 「 静止切片 」，运动便从切缝中漏掉。现代数学的解法有两层：分析层用极限（切片序列的极限恢复运动）；拓扑层用紧致性——闭区间 [0, T] 的 「 时间点集 」 紧致，任何 「 逐点静止 」 的连续描述在极限处仍 「 收口 」（§2.7 二分法的区间套交出唯一实点）。芝诺的 「 无穷多刀切不完 」，正是紧致性的日常语言：紧致空间里，无限的过程必然 「 落 」 在某处——飞矢 「 未尝不动 」，因为轨迹的像连通且 「 逃不掉 」。

名家把 「 分割 」 逼成悖论；拓扑学把悖论逼成定理。连通答 「 分不分得开 」，紧致答 「 落不落得下 」 ——战国辩者的问题清单，本章逐条销账。

第二章 连通、紧致与流形第二章速查表

★ 单页索引；行文顺序 = 章节顺序。

常见错误五连。① 道路连通 ⟹ 连通，反向不成立（正弦曲线）；② 紧致在 ℝⁿ 才等于有界闭，一般度量空间不成立；③ 连续双射升级同胚需要源紧 + 目标 T₂，缺一不可；④ 「 闭 」 是相对概念，紧致是子集的内在性质；⑤ 无穷积的紧致（Tychonoff）动用选择公理，有限积不用。

第三章 基本群：听见洞的声音第三章导引：用一根绳子听出形状

绪论里，欧拉用 「 奇度点个数 」 一件不变量判死了七桥问题；第一章立起了 「 同胚 」 这个 「 相等 」 的标准；第二章交付了两个不变量——连通与紧致。但它们都太 「 粗 」：环面与球面连通性相同、紧致性相同、局部都像平面，两大主旋律在它们面前一齐哑火。区分球面与环面，需要听更细的声音。

耳朵在哪里？在一根绳子上。把绳子围成圈放在平地上，可以慢慢收紧、缩成一个绳结——平地没有障碍。把同样的圈套在柱子上，收紧到柱子的位置就被卡住——圈 「 知道 」 柱子在那里。柱子是挖掉的点，绳子是连续映射的像，「 卡住 」 是拓扑障碍：圈能否连续收缩成一点，是它所居住的空间的内在属性，与绳子长短、圈的形状全部无关。洞，就这样被一根绳子 「 听 」 了出来。

把这件直觉淬炼成代数，是本章的全部工作。三步走：第一步，把 「 连续变形 」 定义为同伦（§3.2–3.3），于是 「 圈 」 按能否互相变样分类；第二步，把 「 圈的类 」 配上乘法（先走一个再走一个），验证它成群——基本群 π₁（§3.4–3.5）诞生，一个空间配一个群，同胚的空间配同构的群；第三步，学会算：圆周的 π₁ 是整数加群 ℤ（绕数，§3.6），楔和给出自由群（§3.9），van Kampen 定理把复杂空间拆成零件拼接（§3.10–3.13）。末三节清点收获：π₁ 彻底验异（§3.14）、代数基本定理获得拓扑证明（§3.15）、群论听见形状的声音（§3.16）。

「把形状做成群」是本册后半部的总纲：基本群是第一件成品——它把 「 绕 」 的自由度凝固成一个群，从此 「 有没有洞、有几个洞 」 不再是感觉，而是可以计算、可以比较、可以写进证明的代数事实。

第三章 基本群：听见洞的声音3.1 用圈数测洞：一根绳子的智慧

★★ 把绳子直觉翻译成数学，先要固定三件东西：空间（绳子的舞台）、圈（绳子的位置）、变形（收紧的过程）。

空间：拓扑空间 X——本节先在 ℝ² 与 ℝ²∖{0} 上养直觉。挖掉的点 = 柱子。圈：连续映射 γ : [0, 1] → X，且 γ(0) = γ(1)——起点与终点重合的 「 闭合道路 」（绳头打结）。变形：连续的一族圈 H_t（t 从 0 到 1），H₀ 是 γ，H₁ 是某个 「 终态 」——例如常值圈（绳子缩成一个点的 「 死结 」）。

为什么必须是连续映射而非 「 像集 」？同一张 「 圆周 」 的像可以 「 绕 」 也可以 「 撞 」（重复走），映射记住 「 怎么走 」，像集只记住 「 走过哪里 」。圈是过程，不是照片——这一选择在 §3.3 的 「 乘法 」 中立刻兑现回报：先走的圈与后走的圈可以首尾相接，像集办不到。

第三章 基本群：听见洞的声音3.2 同伦：连续地变形

★★ 「 连续变形 」 的严格定义只有一行。

同伦是映射之间的等价关系：自反（H = f 常值影片）；对称（倒放：H′(x, t) = H(x, 1 − t)）；传递（正接剪接：前半段放第一部、后半段放第二部，在 「 换片点 」 用连续性缝合——粘合引理命题 1.6 在此首次立功）。「 ≃ 」 把全体映射按 「 可互相变样 」 分班；每一班是一个等价类。

第一样本：直线同伦。Y ⊆ ℝⁿ 为凸集时，任何 f, g : X → Y 同伦：H(x, t) = (1 − t)f(x) + tg(x)——凸性保证连线不越出 Y。凸域中 「 一切同态映射同伦 」：变形的自由度极大。对照：把 Y 换成圆环，「 平移影片 」 会被洞挡住——同伦的存在与否，是值域空间的属性，不是映射的。

零伦。与常值映射同伦的映射称为零伦（null-homotopic）——可以 「 整体缩成一点 」 的映射。ℝⁿ 到自身的任何映射零伦（直线同伦）；S¹ 到 ℝ²∖{0} 的单位圈映射不零伦——这一 「 不 」 字，正是基本群全部深刻性的起点。证明 「 不零伦 」 需要不变量：§3.6 的绕数就是为它定制的。

第三章 基本群：听见洞的声音3.3 道路的同伦类

★★ 把 「 圈 」 与 「 变形 」 组装成代数对象，还差最后一步：给圈配乘法。

于是 [α]·[β] := [α * β] 是良定义的：类的乘积不依赖代表元的选择。这是 「 把直觉代数化 」 的标准动作——先在对象层定义运算，再证明运算 「 下放 」 到类层不乱（与 「 商群良定义 」 同一节奏）。结合律也在类层成立：([α][β])[γ] = [α]([β][γ])——虽然道路层 (α*β)*γ 与 α*(β*γ) 是不同的道路（重参数化 4t 与 2t 的差别），但它们定端同伦（「 快慢不同，路线相同 」 的线性重参数化给出同伦）。严格结合律要到类层才能成立——这正是 「 取同伦类 」 的深层理由：把 「 走得多快 」 这份无关数据除掉。

幺元与逆元（类层）。基点 x₀ 的常值道路 e_x0 的类是幺元：[α][e] = [α] = [e][α]（「 在原地站一会儿 」 可连续压缩掉）。[α⁻¹] 是 [α] 的逆：α * α⁻¹ 定端同伦于常值（「 走过去再倒回来，等于没走 」——动画式的收缩，严格证明用 「 先折返点逐渐提前 」 的重参数化）。群论的三件套齐了——只差一条：全体圈共用同一个起点。这正是下一页 「 基点 」 的由来。

第三章 基本群：听见洞的声音3.4 基本群的定义

★★★ 全册最重要的定义登场。

三条立即的读法。① π₁ 平凡 ⟺ 一切圈可缩——这正是 §3.1 「 无洞 」 的严格化，这样的空间（若还道路连通）称为单连通：ℝⁿ、Sⁿ（n ≥ 2）、凸集皆是；② π₁(X, x₀) = ℤ ⟺ 圈恰好按 「 绕几圈、顺还是逆 」 分班——圆周的世界（§3.6）；③ π₁ 记录的洞 」 听不见 」 高维障碍：ℝ³ 挖掉一点仍单连通（圈可侧身绕过），要到 π₃ 才 「 听见 」——π₁ 只听 「 一维洞 」。

基本群为什么 「 基本 」？它是最小、最普遍的同伦不变群：定义只需 「 道路 + 同伦 + 拼接 」 三件第一章已备好的零件；它对一切空间有意义（不预设度量、维数、流形）；它是后续一切 「 把形状代数化 」 的模板——第六章的同调群将复制 「 链 → 边界 → 商 」 的同一哲学，只是把 「 圈 」 换成 「 广义圈 」（单形链）、把 「 变样 」 换成 「 边界 」。

第三章 基本群：听见洞的声音3.5 基点与共轭类：基本群的不变性

★★ 基点是谁定的？换一个基点，π₁ 会变吗？

但同构不唯一。换一条道路 u′，得另一个同构；两同构之差是 π₁(X, x₁) 的内自同构 g ↦ h⁻¹gh（h = u′⁻¹ * u）。于是：不同基点的 π₁ 要么恒同构、要么只差 「 观察者的自转 」——群本身（作为抽象群）是道路连通空间的内在属性，与基点无关，故可径写 π₁(X)。Abelian 情形更干净：群交换则内自同构全为恒等，同构唯一——这就是第六章偏爱交换不变量（同调）的技术理由之一。

一个重要的 「 非不变量 」。具体到某个基点的群元素 「 属于哪个类 」 不是同胚不变量；不变的是群的同构类。使用时的纪律：凡用 π₁ 验异，只比较 「 同构与否 」，不比较 「 哪个元素对应哪个 」——除非已选定基点与映射。不变量的 「 粒度 」 与 「 使用纪律 」 是配套的（第一章思想卡的同一条原则，在代数侧重演）。

基点问题清账完毕：道路连通空间拥有一个 「 公共 」 的基本群。下一页开始它的第一场大胜：算出圆周的 π₁。

第三章 基本群：听见洞的声音3.6 圆周的基本群：整数群 ℤ

★★★ 第一场计算：π₁(S¹) = ？答案：整数加群。「洞的数量」第一次被数出来。

证明的引擎是 「 提升 」（图 3-2 右）：把圆周 「 展开 」 成螺旋 ℝ —— p : ℝ → S¹，p(s) = e^2πis。任何道路 α : [0,1] → S¹ 都能唯一 「 提升 」 为道路 α̃ : [0,1] → ℝ（α = p∘α̃，起点定则全程唯一——连续性的局部单叶性）；圈 α 的提升终点的 「 落点差 」 α̃(1) − α̃(0) 是整数，就是绕数。三步结算：① 落点差只依赖同伦类（同伦可整体提升，端点差在 「 连续变整数 」 中守恒，故恒值）；② 圈的乘法对应落点差相加（先走再加）；③ 绕数 n 的圈存在（γ_n(t) = e^2πint），且不同 n 的圈不同伦（落点差不同）。∎ π₁ ≅ ℤ，加法对应拼接。「绳圈绕柱」的每一种绕法，获得一个专属整数。

π₁(S¹) ≅ ℤ 是代数拓扑的 「 元素周期表第一号 」：一个几何动作（绕）对应一个代数对象（整数加群）。此后一切计算都站在它的肩膀上。

第三章 基本群：听见洞的声音3.7 诱导同态与函子性

★★ 空间之间有连续映射，群之间就该有同态——基本群是 「 函子 」：它把整个 「 空间与映射 」 的世界同步翻译成 「 群与同态 」 的世界。

③的 「 平凡 」 两条是全部威力的来源：把空间的复合搬进群的复合。立即的收获：同胚的空间有同构的基本群（f 同胚 ⟹ f♯ 同构，逆映射诱导逆同态）——π₁ 正式注册为拓扑不变量；收缩核的含入诱导单射、收缩映射诱导满射（复合为恒同则诱导同态复合为恒同）。

第三章 基本群：听见洞的声音3.8 基本群的计算技巧

★★ 定义容易，计算难。本页攒齐三件 「 省力机器 」，本章后全部计算都靠它们。

样板连发：ℝ²∖{0} 形变收缩到 S¹（H(x, t) = 沿射线从 x 退到单位圆）⟹ π₁ = ℤ；ℝ²∖{k 个点} 收缩到 「 k 瓣花 」（k 个圆的楔和） ⟹ π₁ = F_k（§3.9）；Möbius 带收缩到其中线圆 ⟹ π₁ = ℤ；圆柱面 S¹ × [0,1] 收缩到 S¹ ⟹ π₁ = ℤ。「挖洞的空间通常收缩到一骨架，π₁ 由骨架承担」。

第三章 基本群：听见洞的声音3.9 楔和与自由群

★★★ 组合空间的 π₁ 怎么算？从最 「 简单的复杂 」 开始：两个圆在一点粘合（8 字形）。

直觉读法。圈在 8 字形上 「 先绕左圈、再绕右圈、再倒绕左圈 」，对应字 a₁a₂a₁⁻¹——绕圈的 「 编舞 」 就是字母的拼写；变形自由（无关系约束），唯一恒等的是 「 相邻互逆消去 」（走过去再倒回来）。乘法 = 字拼接；幺元 = 空字；逆 = 字母翻转倒序。自由群是 「 只拼接、不化简 」 的群——k ≥ 2 时非交换（a₁a₂ ≠ a₂a₁，绕左再绕右 ≠ 绕右再绕左，动画里一目了然）。

证明思路（§3.13 图定理的特例）。把 8 字形 「 加粗 」 成带有两根 「 桥 」 的图，用 「 冒泡 」 手术把桥逐一爆掉，每根桥贡献一个自由生成元——骨架图论与基本群在此汇合（§3.13 详证）。自由群是 「 无关系 」 的群；空间上的 「 洞 」 越独立，关系越少，群越自由。

第三章 基本群：听见洞的声音3.10 van Kampen 定理

★★★ 计算的 「 总攻武器 」：把空间切成两半，群按 「 切缝 」 拼接。

三个用法门槛要一次看清。① U、V 必须是开集（粘合引理的地盘）；② U ∩ V 道路连通（否则 「 交 」 提供的关系支离破碎，需分段处理）；③ 实战时常取 「 U = 空间去掉一个点、V = 一个大圆盘 」 这类一厚一薄的搭配——厚的一半提供 「 骨架群 」，薄的一半提供 「 缝合关系 」。

两个招牌应用预演（下一页正式结算）。球面 S²：取 U = S²∖{N}（≅ ℝ²，单连通）、V = S²∖{S}（单连通）、U ∩ V ≅ 条带（连通但 π₁ = 0）——生成元为零、关系为零 ⟹ π₁(S²) = 0。环面：方形模型对边粘合，取 U = 「 骨架 」（两圆楔和，π₁ = F₂ = ⟨a, b⟩）、V = 内部大圆盘（单连通）、U ∩ V = 方框（圈的类 = a b a⁻¹b⁻¹ 的 「 边界走法 」）——关系 [a, b] = 1 ⟹ π₁(T²) = ⟨a, b │ ab = ba⟩ = ℤ²。「方形边界一圈 = 交换关系」——粘合说明书直接写成群关系。

van Kampen 把 「 计算基本群 」 从手工艺变成流水线：切空间、读关系、解生成元。空间越 「 可拆 」，群越好算；下一页开始流水线量产。

第三章 基本群：听见洞的声音3.11 van Kampen 的应用：粘合出曲面

★★ 流水线开动：对 「 粘合说明书 」 逐份结算 π₁。〈方形模型 + 对边粘合〉是曲面世界的 「 装配图 」。

共性总结。曲面 π₁ 的 「 生成元–关系 」 说明书完全由粘合图的边界字读出：顺向边贡献字母、逆向边贡献逆字母、整圈边界贡献一条关系。这份 「 群论版装配图 」 是曲面分类（第五章）的代数引擎：不同的 「 标准形 」 曲面给出不同构的群（π₁(球面) = 0、π₁(ℝP²) = ℤ/2、π₁(环面) = ℤ² 互不同构——三大家族当场分清）。

第三章 基本群：听见洞的声音3.12 环面、射影平面与曲面的基本群

★★ 把 §3.11 的流水线结果整理成 「 价目表 」，并读出代数深意。

Abelian 化的深读。把 π₁ 交换化（加关系 「 一切交换 」）：曲面群交换化后，T² 给 ℤ²、亏格 g 给 ℤ^2g、ℝP² 给 ℤ/2、S² 给 0——交换化恰是第六章的 H₁（一维同调群）：H₁ = π₁ 的交换化（Poincaré 定理，第六章证明）。非交换信息是 π₁ 的私货，交换信息是同调的公共财产——两者的分工与接力，是本册后半部的主线剧情。

不变量的 「 分辨力等级 」 清点。至此手持四层武器：连通/紧致（最粗）⊂ π₁ 同构（细）⊂ 同胚（最细）。球面 vs 环面：第二层即可；但 π₁ 同构的空间可以不同胚（ℝ³ 与 S³ 之外的世界、Poincaré 玩具），π₁ 不是同胚的完全判据——「不变量的天花板」在第五章由 「 分类定理 」 突破：曲面世界里 π₁ 恰好够用。

第三章 基本群：听见洞的声音3.13 图的基本群：自由群的舞台

★★ §3.9 花束定理的完整版本——任意连通图的 π₁ 都是自由群，秩由组合数据给出。

证明的三步手术（每步都是同伦等价，π₁ 不变）。① 删去 「 悬挂 」 部分：度为 1 的顶点连同其边可以连续 「 缩 」 掉（树梢收缩）——π₁ 不变；② 选生成树 T ⊆ Γ（含全部顶点的无圈子图）；③ 冒泡：把 T 连续地收缩到一个顶点（树单连通、可 「 从叶往根 」 收），每条不在 T 中的边随之变成一个 「 泡 」——一个以基点为 「 泡蒂 」 的圆圈。原图 ≃ 花束，花瓣数 = T 外的边数 = E − (V − 1)。∎

第三章 基本群：听见洞的声音3.14 基本群作为拓扑不变量

★★ 清点 π₁ 的 「 验异 」 战绩——并划清它的能力边界。

能力边界（诚实清单）。① π₁ 同构 不蕴含 同胚：ℝ³ 与 S³……两者 π₁ 皆平凡但不同胚（后者紧前者不紧——其实紧致性已判）；更本质的例：ℝⁿ（n ≥ 3）挖掉 Cantor 集的某些 「 同 π₁ 」 变体，π₁ 相同而不同胚——高维需要同调与同伦群的完整梯队（第六章起）。② π₁ 听不见 」 填充 」：ℝ³ 中挖一点与挖一个 「 泡 」 的空间 π₁ 皆平凡——一维圈绕不住球状洞；π₂、π₃ 才 「 听见 」（高维同伦群，出本册疆界）。③ 群的分类反噬：π₁(亏格 g) 与 π₁(亏格 h)（g ≠ h）不同构的证明，需要群的 「 阿贝尔化秩 」 比对——代数工具的准备程度，决定不变量的兑现程度。

第三章 基本群：听见洞的声音3.15 应用：代数基本定理的拓扑证明

★★★ 绪论许诺的 「 不变量证明不可能 」 的巅峰演示：n 次实系数多项式必有复根——用绕数，四页纸讲完。

归一化。首项系数除下去，设 f(z) = zⁿ + a_n−1zⁿ⁻¹ + … + a₀（n ≥ 1），且反证 f(z) ≠ 0 对一切 z。证明的地基：对每个 R > 0，圆 |z| = R 在 f 下的像是一条不过原点的闭曲线 γ_R(t) = f(Re^it)/|f(Re^it)| ∈ S¹——它有绕数 W(R) ∈ ℤ（§3.6）。

关键一步：W(R) 与 R 无关。R 变化时 {γ_R} 组成 R² ∖ {f 的零点}……由反证假设 f 全程无零点，γ_R 对 R 连续形变（同伦 H((R, t), s) = γ_{(1−s)R + sR} 的插值直接连续），同伦中绕数守恒（§3.6 ①）⟹ W(R) 恒为常数 W。

两头夹击。R → 0：f(Re^it) → a₀；若 a₀ ≠ 0，γ_R 缩到点 a₀/|a₀|，绕数 W = 0。R → ∞：f(Re^it) = (Re^it)ⁿ(1 + a_n−1/(Re^it) + …)，小括号在 R 大时一致逼近 1，故 γ_R 同伦于 「 首项曲线 」 e^int，绕数 W = n ≥ 1。0 = W = n ≥ 1，矛盾。∎（a₀ = 0 时 0 已是根，无需反证。）

一个方程有没有根，被 「 一条曲线绕原点几圈 」 决定——代数基本定理是 「 几何审判代数 」 最著名的案例。

第三章 基本群：听见洞的声音3.16 收束：群论听见形状的声音

★ 三十页的锻造，清点入库。

收获一：一件正式的代数制品。基本群 π₁(X, x₀)——圈的定端同伦类配上拼接乘法。每一步都有拓扑出处：幺元是 「 原地不动 」，逆是 「 倒走 」，结合律来自 「 重参数化的同伦 」，基点共轭来自 「 视角换位 」。群公理的每一条，都是一条几何直觉的证件照。

收获二：一张计算价目表。S¹ ↦ ℤ；ℝ²∖{k 点} ↦ F_k；图 Γ ↦ F_E−V+1；曲面 ↦ 生成元–关系表现；T² ↦ ℤ²；ℝP² ↦ ℤ/2。三台机器（形变收缩、同伦等价、单连通杠杆）+ 一门总攻（van Kampen）覆盖全部样例。「先收缩、再拆解、必要时 van Kampen」——可复用的作业流程。

收获三：一次 「 不可能 」 的胜利与一次 「 存在 」 的胜利。验异：S² vs T² 等五连战全胜（§3.14）；存在：代数基本定理的绕数证明（§3.15）。不变量思想的两个方向—— 「 判死 」 与 「 判生 」 ——首次同台。

第一章把 「 连续 」 公理化，第二章给它装上两个整体不变量，本章把 「 形状 」 翻译成群。从这一页起，问 「 这个空间什么形状 」，可以合法地回答 「 它的基本群是什么 」——代数与几何的边境线，自此作废。

第三章 基本群：听见洞的声音例题一：基本群的计算（圆周与楔和）

★★ 两道 「 手上见真章 」 的计算。

解。空间一：形变收缩到 S¹（沿射线）⟹ π₁ ≅ ℤ。空间二：形变收缩到 「 两瓣花 」 S¹ ∨ S¹（每点沿 「 指向最近挖除点的射线 」 退到骨架；两瓣在原点处相切）⟹ π₁ ≅ F₂。不同胚：ℤ 是交换群而 F₂ 不是（a₁a₂ ≠ a₂a₁）。注：连通性、紧致性（都不紧）、甚至 「 每点去点后的分支 」 都难以区分它们——π₁ 是此处的最低 sufficient 武器。

解。在自由群 F₂ = ⟨a, b⟩ 中，字 a b a⁻¹ b⁻¹ 非幺元（无相邻互逆可消）。它不是 「 缩成点 」 的圈——几何上：这条 「 绕左、绕右、倒绕左、倒绕右 」 的路线 「 描出一个面片的边界 」，但 8 字形上没有那张面片可缩。把 a、b 强制交换（交换化），字变成 a a⁻¹ b b⁻¹ = 1——交换子 [a, b] 在交换化中消失。这正是环面关系 [a, b] = 1 的来源（§3.10）：环面 = 8 字形 「 补上一张面片 」，补片的关系恰是交换子。「面片杀死交换子」——同调的边界–链机制在此预演（第六章）。

解。ℝ³ 挖掉一条直线。形变收缩：把每点 「 水平投影 」 到以轴为心、含该点的圆柱面上，再 「 轴向压 」 到单位圆环柱 S¹ × ℝ 的一条水平圆上？——分两步：先径向收缩到 S¹ × ℝ（垂直截面圆），再轴向收缩到 S¹ × {0} ≅ S¹。故 π₁ ≅ ℤ。三维挖 「 线 」 与二维挖 「 点 」 同音（ℤ）：一维圈 「 分辨 」 的障碍由 「 余维 2 」 决定——挖掉的集合的余维 = 2 时圈 「 绕得住 」，余维 ≥ 3 时绕不住（ℝ³ 挖点：π₁ = 0）。「余维 2 法则」是高维拓扑的第一课。

第三章 基本群：听见洞的声音例题二：van Kampen 定理的分割计算

★★ 两道完整的 van Kampen 流水线。

解。取 U = 空间 ∖ {收缩骨架的 「 内部 」}……实操取法：设骨架花束 F = S¹ ∨ S¹（两瓣切于原点）。取 V = 含 F 的 「 加厚圆盘 」 的补的 「 薄 」 开邻域：V = 空间中 「 离 F 很近 」 的带状开集（单连通——薄到绕不开任何洞），U = 空间中 「 离 F 足够远 」 的开集（形变收缩到 F，π₁ = F₂ 自由群 ⟨a, b⟩）。U ∩ V ≅ 「 方框带 」 道路连通，其中 「 绕一整圈方框 」 的圈在 U 中读作 a b a⁻¹ b⁻¹……在本空间（无 2-单形补片）中交只有 「 一个方框 」，其圈的类是 a b a⁻¹b⁻¹？——不：无挖除 「 面 」 时方框圈在 U 中可缩到骨架的 「 内外穿越 」……规范结论：U ∩ V 单连通的取法可行（把 V 取 「 极薄 」 使方框圈在 V 中缩为点、在 U 中缩为骨架上的平凡字），于是零关系：π₁ = F₂。∎ 与形变收缩法（例 3-A）对拍一致。van Kampen 的 「 取法自由 」 与 「 答案唯一 」 同时得到演练。

解。方形 Q = [0,1]² 粘边得 X。记 「 骨架 」 Γ = 粘合后的边图（一个横圈 a、一个竖圈 b 交于基点；V = E = 4? 按 §3.13：V = 1（四角粘一点）、E = 2，秩 = 2，π₁(Γ) = ⟨a, b⟩ = F₂）。取 U = X∖{面心}（形变收缩到 Γ，π₁ = F₂）、V = 面心的开圆盘像（π₁ = 0）、U ∩ V ≅ 圆环（π₁ = ℤ，生成元 = 绕面心一圈的圈 c）。读关系：c 在 U 中的像 = 沿方形边界走一圈 = a b a⁻¹ b⁻¹（上边 a、右边 b、下边 a⁻¹、左边 b⁻¹——同向粘合使 「 下行 = 逆 a 」）。van Kampen：π₁(X) = ⟨a, b │ a b a⁻¹ b⁻¹ = 1⟩ = ℤ²。∎ 「边界字 = 关系」全流程演示：粘合说明书 → 骨架 → 边界走法 → 群关系，四步全是机械操作。

第三章 基本群：听见洞的声音习题课（一）：同伦与基本群基本功

★★ 六题热身：前三题同伦与道路，后三题 π₁ 初计算。

本堂的隐藏主线：「 障碍 」 的维数敏感——挖点、挖线、挖稠密集，π₁ 的回答完全不同。手感从题目里来。

第三章 基本群：听见洞的声音习题课（二）：自由群与 van Kampen 进阶

★★★ 六题进阶：自由群的 「 手感 」 与 van Kampen 的 「 取法 」。

本堂的暗线：「关系住在交里」——van Kampen 的全部纪律（开性、连通性、基点）都是为了让 「 交 」 把关系完整地交出来。

第三章 基本群：听见洞的声音第三章地图：概念依赖关系

★ 从一根绳子到一个群，六站走完——图 3-4 收拢。

读图要领。① 左列是「直觉线」（绳子 → 道路 → 自由群），右列是「机器线」（函子 → van Kampen → 曲面群），中列 π₁(S¹) ≅ ℤ 是「桥墩」——一切计算最终引用它；② 底部「验异 · 代数基本定理」是本章的「出口」：不变量思想的两大用法在此会师；③ 地图的「下游」（覆叠、同调）不在图内——它们是下一章与第六章的地图。

三章地图的连读。第一章「放射状」（词汇）、第二章「双峰汇流」（两大不变量）、本章「漏斗状」（直觉层层收进群）——地图形状的变化就是书的进度条。

第三章 基本群：听见洞的声音第三章小结（上）：定义与直觉

★ 定义九条收齐；斜体为速记口诀。

直觉五条（每条对应一个定义）。① 绳子测柱 → 圈与零伦；② 变形影片 → 同伦；③ 编舞 → 道路乘法；④ 班级 → 同伦类；⑤ 音高 → 绕数。「几何直觉先行、代数定义跟进、同伦类收口」是本章的写作顺序，也是学习的复习顺序。

与第一章–第二章接口的三条。① 定端同伦的 「 缝合 」 用粘合引理（命题 1.6）；② 道路连通性是 「 换基点 」 定理（3.4）的前提（第二章 §2.3）；③ 「 基点更换差共轭 」 中的 「 共轭 」，在交换群（第六章同调）中消失——三章的地基在此合拢。

第三章 基本群：听见洞的声音第三章小结（下）：定理与计算流程

★★ 九条定理按 「 性质–计算–应用 」 分组。

计算流程卡（背下来）。① 道路连通？不连通先按分支处理。② 能形变收缩吗？收缩到骨架读 π₁。③ 是乘积/楔和吗？拆！④ 都不行：取 「 一厚一薄 」 开覆盖 U ∪ V，交连通，写生成元与交关系。⑤ 输出 「 生成元–关系 」 表现；验异时交换化比对。本章全部例题（3-A 至 3-E）皆循此五步。

反例随身包。连续双射非同胚（第一章，π₁ 判据的 「 前时代 」 反例）；U、V 单连通而 X 不单连通（交不连通，习题 3-12）；Möbius 带 π₁ = ℤ 但 「 扭转 」 不在 π₁ 中（§3.11——同调接手）；ℝ³ 挖点 π₁ = 0（余维 3，圈绕不住）。每个反例标出一条 「 边界 」：概念的有效半径。

第三章 基本群：听见洞的声音思想卡：群论听见形状的声音

★★★ 1872 年克莱因把 「 几何 」 定义为 「 群作用下的不变量研究 」；1895 年 Poincaré 把这句话推向更深处：每个空间自带一个群（π₁），空间的形状 「 写 」 在群里。克莱因的群在 「 空间之外 」（变换群作用于空间），Poincaré 的群在 「 空间之内 」（基本群由空间内部的道路制成）——从 「 群作用于形 」 到 「 形内蕴成群 」，代数与几何的指针反向对接。

这个 「 反向 」 是深刻的：问 「 空间是什么样 」 太难（无穷多细节），问 「 空间里圈怎么绕 」 是有限/离散的（群是离散结构）。π₁ 的哲学：把连续的对象（空间）投影到离散的对象（群），把 「 变形 」 的无限自由压缩成 「 拼字 」 的组合规则。投影必有损失（π₁ 听不见余维 ≥ 3 的洞、听不见扭转的 「 符号 」），但留在群里的信息都是 「 硬 」 信息——可计算、可比较、可写进证明。

「听洞」的三层境界，本册后面各占一层：本章的 π₁ 听 「 一维的洞 」（圈绕得住什么）——听见环面的两个洞、射影平面的 「 半转 」；第五章的分类定理用 「 不变量组合 」 听 「 全部曲面 」（χ + 可定向性 = 完整判据）；第六章的同调群听 「 各维的洞 」（H_k 是 「 k 维圈 」 的账本，π₁ 的交换化恰是 H₁）。听力的天花板是 「 完全不变量 」 的存在性——曲面世界的分类定理是全数学最完美的收账案例。

第三章 基本群：听见洞的声音挑战：Brouwer 不动点定理

★★★ §2.4 只证了一维；任意维数的 Brouwer 定理，本章的函子性武器可以拿下（n = 2 情形完整证，高维需 π_n 或同调，思路同构）。

证明（反证 + 收缩矛盾）。设 f(x) ≠ x 对一切 x ∈ D²。则对每点 x 可以构造 「 从 f(x) 出发穿过 x 的射线 」 与边界的交点 r(x) ∈ S¹（x 在 f(x) 与边界的连线上，射线延伸交边界恰一点）。r : D² → S¹ 连续（几何构造的分母 「 f(x) − x 」 恒非零），且对 x ∈ S¹（边界）：从 f(x)（盘内）穿过 x 延到边界——交点就是 x 自身，故 r|_S¹ = id：r 是 「 圆盘到边界的收缩 」。但收缩不存在：函子性（§3.7 应用框）——含入 i : S¹ → D² 与 r 复合为 id_S¹，取 π₁ 得 r♯∘i♯ = id_ℤ；而 π₁(D²) = 0（D² 凸、单连通），i♯ 是到平凡群的同态，r♯∘i♯ 平凡，与恒等矛盾。∎

「圆盘收缩不到边界」的拓扑事实 = 「搅动的面团有静止点」= 「方程 x = f(x) 有解」。一件纯粹的形状事实，长成了应用数学的地基。

第三章 基本群：听见洞的声音实验：同伦类的数值枚举与基本群对拍

★★ π₁ 是抽象群，但它最简单的样例（ℝ²∖{0} 的 ℤ）可以被数值对拍：绕数可从 「 角度和 」 直接算出。

import math

def winding(pts):
    s = 0.0
    n = len(pts)
    for i in range(n):
        x1, y1 = pts[i]
        x2, y2 = pts[(i + 1) % n]
        s += math.atan2(x1*y2 - y1*x2,
                        x1*x2 + y1*y2)
    return round(s / (2 * math.pi))

sq  = [(1,0), (0,1), (-1,0), (0,-1)]
sq2 = [(0.5*x, 0.5*y) for x, y in sq]
print(winding(sq))                        # +1
print(winding(sq[::-1]))                  # -1
print(winding(sq + [(0.5,0)] + sq2[::-1]))  # 0
print(winding(sq + [(0.5,0)] + sq2))      # +2

实跑输出（本册成书时实算）：

与理论预期逐项一致。「8 字形的正反双圈绕数抵消」正是 [γ][γ⁻¹] = e 的离散显形；「同向双圈 = 2」正是 [γ]² ↦ 2。

「转角求和、除以 2π、四舍五入」——三行代码把 Poincaré 的第一件不变量装进了任何一台计算机。代数拓扑的 「 可计算性承诺 」，从此不再是一句口号。

第三章 基本群：听见洞的声音〖札记〗中国结与结绳记事：绳上的不变量

★★ 「结绳记事」是中国最早的 「 信息编码 」：《周易·系辞》「上古结绳而治，后世圣人易之以书契」；秘鲁的奇普（quipu）同样以绳结记数记事。绳结能 「 记事 」，是因为 「 结法 」 有不变量——打法不同，解法不同。本章的 π₁ 与这门 「 绳上的学问 」 是直系亲属。

中国结的 「 不可解性 」。盘长结、吉祥结等传统编结的几何本质：一根绳在空间中的闭合绕法，其 「 打结 」 状态在 「 不剪断 」 的连续变形下不变——这正是纽结理论的定义：S¹ 在 ℝ³ 中嵌入的同伦类（相对 「 不自交 」 的约束）。三叶结 ≠ 平凡圆：一个 「 洞 」 都没有的两个圈，却因 「 绕法 」 不同而本质有别——π₁ 的精神在三维的直系后代：纽结的补空间的 π₁（「 结群 」）是区分纽结的主力不变量（Gordian 结纽结群的 Wirtinger 表现）。「解不开的结」与「缩不掉的圈」是同一种数学：变形的障碍。

结绳的 「 数据结构 」。奇普用 「 主绳 + 挂绳 + 结的位置与个数 」 编码十进制数与目录结构——离散结构（结的位置）承载信息，绳的连续性保证 「 不丢 」。与本章 「 圈的同伦类（离散整数）承载拓扑信息，绳的连续变形保证 「 同类不散 」 」 完全同构。信息论式的读法：不变量 = 把连续过程 「 量化 」 成离散符号的编码器；同伦 = 允许的 「 传输噪声 」（编码在此噪声下必须稳健）——绕数是这门 「 编码学 」 的最小完整样本。

「上古结绳而治」——绳子上的 「 记号 」 是最早的不变量，绳子的 「 解不开 」 是最古老的同伦障碍。本章把这件史前技术锻造成群：π₁ 是 「 结绳记事 」 的数学成人礼。

第三章 基本群：听见洞的声音第三章速查表

★ 单页索引；行文顺序 = 章节顺序。

常见错误五连。① 道路乘法在类层才严格结合（道路层需重参数化同伦）；② π₁ 只听余维 2 的障碍（挖点有声、挖球无声）；③ van Kampen 的交必须道路连通（否则关系漏算）；④ 同胚 ⟹ π₁ 同构，反向不成立（高维）；⑤ 绕数守恒要求全程不碰被挖点——同伦的 「 舞台 」 是 ℝ²∖{0} 而非 ℝ²。

第三章 基本群：听见洞的声音衔接讲义：通往覆叠——把圈展开成螺旋

★ §3.6 证明 π₁(S¹) = ℤ 时，真正干活的引擎是 「 提升 」：把道路搬到螺旋 ℝ 上。「螺旋 → 圆周」的结构有一个名字：覆叠——下一章的主角。

覆叠是什么。p : E → B 是覆叠映射，若每点 b ∈ B 有 「 均匀片 」 邻域：p⁻¹(片) = 若干开集的不交并，每片被 p 同胚地映到片上。「 圆周被螺旋均匀地盖住，每一层完全一样 」；S² → ℝP²（对径点粘合）是 「 两层 」 的覆叠；ℝ → S¹ 是 「 无穷层 」 的覆叠。

第三章听见洞的声音；第四章要把声音 「 展开 」：每一个绕法，都将在覆叠空间里找到自己的那条螺线。

第四章 覆叠空间：把圈展开成螺旋第四章导引：把圆周展开成一条直线

上一章末，π₁(S¹) ≅ ℤ 的证明里埋着一个引擎：把圆周上的圈搬到直线 ℝ 上、看它的落点。那个引擎有一个名字——覆叠。本章把它从 「 顺手用的技巧 」 提升为 「 一整章的主角 」：它同时是 π₁ 的计算器、是子群的可视化器、是几何直觉的仓库。

一句核心直觉。把 S¹ 「 剪开、拉直 」 得到 ℝ，ℝ 就是 S¹ 的覆叠空间：ℝ 上每一点都能连续、无冲突地 「 投 」 回 S¹，且每一点的邻居都被完整地复制了无穷多份。圆周上一条圈，存在 ℝ 上唯一一条 「 起点固定 」 的道路与之对应——这就是提升。圈绕几圈，提升就升高几层；绕数这件不变量，此刻现出原形：它是覆叠的 「 落差 」。

本章路线图。§4.1–4.2 立定义、罗列例子（ℝ → S¹、S² → ℝP²、z ↦ zⁿ）；§4.3 证明提升定理（道路与同伦唯一提升）——全章的地基；§4.4 揭示覆叠与 π₁ 的第一条纽带：π₁(覆叠) 单射入 π₁(底空间)；§4.5–4.6 展开本章的主定理——覆叠与 π₁ 的子群一一对应（Galois 对应），并把万有覆叠、正规覆叠安置在这个框架里（§4.7–4.8）；§4.9 回答存在性（哪些子群真能实现成覆叠）；§4.10 给出映射提升判据与函子性；§4.11–4.13 三场应用（Borsuk–Ulam、代数基本定理的覆叠证明、组合与打结）；§4.14–4.15 把视野推到纤维丛与机器人路径规划；§4.16 收束。

「 展开 」 是本章的关键词：把缠绕的对象展开到平坦的空间上，问题就从 「 绕不绕得开 」 变成 「 升了几层 」。覆叠的全部威力，都来自这条 「 展开即算术 」 的转换。

第四章 覆叠空间：把圈展开成螺旋4.1 覆叠空间：螺旋与多层楼

★★★ 覆叠的定义只有 「 局部 」 二字，威力却覆盖全局。

读定义的两个要点。① 「 局部 」 是同胚、「 全局 」 不是：p 全局地 「 卷 」，圆周被 ℝ 均匀地卷住；但每一点附近，p 就是一个 「 复印机 」，把 U 原样复印成若干不相交的 V_α。② 纤维的势是常数（当 B 连通）：沿 B 走一圈，纤维的层数被连续性钉死不变——「 层数不变 」 是覆叠的刚性，也是它可分类的根源。

第四章 覆叠空间：把圈展开成螺旋4.2 覆叠空间的例子与构造

★★ 三件标准例子，覆盖覆叠的三种 「 层型 」。

通用构造一：限制与乘积。覆叠对底空间的子空间封闭：U ⊂ B 开，则 p⁻¹(U) → U 仍是覆叠（限制均匀片）。覆叠对乘积也封闭：p₁ × p₂ : E₁ × E₂ → B₁ × B₂ 是覆叠。于是环面上的无穷铺满 ℝ² → T² ＝ S¹ × S¹ 立刻得到——两重 ℝ → S¹ 的乘积。「 拆成因子、各自覆叠、再相乘 」 是造高阶例子的流水线。

通用构造二：覆盖空间来自 「 离散群作用 」。若离散群 Γ 自由地、真不连续地作用在 E（每点有邻域与所有像不交），则商映射 E → E/Γ 是覆叠，层数 ＝ Γ 的势。例一、例二、例三全是这一构造的特例：ℤ 作用在 ℝ（平移）、ℤ/2 作用在 S²（对径）、ℤ/n 作用在 S¹（旋转 2π/n）。「 商掉一个群 = 卷起一层覆叠 」——这条以后将反过来读：覆叠变换群（§4.8）就是这个 Γ。

第四章 覆叠空间：把圈展开成螺旋4.3 路径提升与同伦提升

★★★ 全章的地基：覆叠之所以能 「 展开 」 道路，靠的是提升的存在唯一性。

「 唯一 」 比 「 存在 」 更重要。存在性来自 「 局部分析 + 紧致拼接 」，是分析的手法；唯一性来自 「 局部同胚单射 + 归纳 」，是代数的骨架。正是唯一性让 「 绕数 」 良定义：若同一圈可以提升到两个不同落点，π₁(S¹) ≅ ℤ 立刻崩塌。前章那道证明之所以成立，靠的就是这行唯一性。

提升是 「 展开 」 的严格化。π₁(S¹) ≅ ℤ 的证明在此完全透明：圈 γ 提升到 ℝ 上是一条从 0 到 n 的道路，n ＝ 落点差；同伦提升定理保证 n 在变形中不变。「 绕数守恒 」 不再是硬算，而是 「 提升落点是同伦不变量 」 的一句推论——覆叠把一件分析事实（绕数不变）降级为一件拓扑事实（提升唯一）。

第四章 覆叠空间：把圈展开成螺旋4.4 覆叠与基本群的单射

★★★ 覆叠与 π₁ 的第一条纽带：覆叠的 π₁ 更 「 小 」。

读法：覆叠的圈 「 映下去 」 不会失真。E 里不同的圈类，投影到 B 后仍不同——因为任何 「 变样 」 都能从 B 唯一提升回真实的过程。「 单射 」 是覆叠的最强特征：一般连续映射的 π₁ 诱导只是同态（可能丢信息），覆叠却把 E 的 π₁ 完好无损地嵌进 B 的 π₁。

覆叠把 「 底空间的一大堆圈 」 按 「 提升后闭不闭合 」 劈成一份 「 闭的 」（＝H）与一堆 「 开的 」（＝其余陪集）。劈法 = 子群与陪集分解——群论的位置，已经腾好了。

第四章 覆叠空间：把圈展开成螺旋4.5 覆叠的分类：子群与 G-集

★★★ 覆叠的 「 全部信息 」 全在半页代数里。

本定理一句话。纤维的点 ↔ π₁(B) 的陪集。层数 ＝ 陪集数 ＝ 指数 [G : H]（前者已知，后两者刚落地）。「 数层 」 从此是 「 数陪集 」——一件纯代数的事。

第四章 覆叠空间：把圈展开成螺旋4.6 基本群与覆叠的 Galois 对应

★★★ 本章的主定理：一张格对一张格。

对应为什么是 「 模共轭 」。选不同基点 ẽ₀ ∈ p⁻¹(b₀)，特征子群只差 π₁(B) 的一个内自同构（共轭，见第三章 §3.5）——共轭 = 视角差，与第三章换基点差共轭是同一条纪律。忽略视角，对应就是严格的一一对应。

Galois 对应把 「 几何问题 」 与 「 群论问题 」 焊死：问 「 B 有哪些覆叠 」，答案对 「 π₁(B) 有哪种子群结构 」 是逐字复述。这是 「 形状代数化 」 在本册里给出的最完美的一张对应表。

第四章 覆叠空间：把圈展开成螺旋4.7 万有覆叠空间

★★★ 最大、最 「 平 」、最有用的一张覆叠。

为什么叫 「 万有 」。因为它覆盖一切：任何覆叠 E → B 都能由 B̃ → B 「 因子分解 」——存在覆叠 B̃ → E 使三者合成。万有覆叠是覆叠谱的顶端（对应最小的子群，故层数最多、覆盖一切）。

万有覆叠与 「 和乐 」。固定基点 b₀，万有覆叠可显式构造为道路同伦类空间：B̃ ＝ {道路 λ：[0,1]→B, λ(0)＝b₀} / 定端同伦，投影 [λ] ↦ λ(1)。纤维 p⁻¹(b₀) ＝ 基点处的圈类 ＝ π₁(B) 本身——万有覆叠的纤维就是基本群。这条构造是万有覆叠存在的构造性证明（§4.9 详解）。

第四章 覆叠空间：把圈展开成螺旋4.8 覆叠变换群与正规覆叠

★★★ 覆叠自身的对称性：层与层之间的搬运。

证明思路。给定覆叠变换 τ，它把基点 ẽ₀ 送到纤维里另一点，对应陪集 gH；要求 τ 是 「 覆叠自同构 」，等价于该点诱发的 π₁ 嵌入仍是 H，即 gHg⁻¹ ＝ H，故 g ∈ N(H)。于是 Aut(E/B) ≅ N(H)/H。几何的对称群 = 代数的正规化子商。

覆叠变换群把 「 底空间的 π₁ 」 的一部分搬回了 「 覆叠自身的对称 」：万有覆叠时，π₁(B) 一字不差地就是万有覆叠的自同构群。绕法的群，成了 「 展开后地图的对称群 」。

第四章 覆叠空间：把圈展开成螺旋4.9 存在性：哪些子群可以实现

★★★ Galois 对应的另一半：由子群造覆叠。

关键前提：半局部单连通（semilocally simply connected）。每点 b 有邻域 U 使 π₁(U, b) → π₁(B, b) 的像平凡（U 内的圈在 B 中都能缩）。「 局部不藏大圈 」 是万有覆叠能干净铺开的必要条件。反例：夏威夷耳环（无穷个小圈在一点相切）不满足此条件，没有万有覆叠——它的 π₁ 太大太 「 局部 」，无处展开。这提醒：分类定理的适用范围有边界，边界由 π₁ 的局部行为划定。

第四章 覆叠空间：把圈展开成螺旋4.10 映射提升判据与覆叠的函子性

★★ 给一个映射，何时能 「 提升 」 成覆叠之间的映射？

判据的形态：把几何的 「 能否提升 」 翻译成代数的 「 子群包含 」。这正是 Galois 对应的 「 局部版 」：一个映射能否提升，只取决于它把 π₁ 送进了哪个子群。「 子群包含 」 是几何可提升性的充要判据。

第四章 覆叠空间：把圈展开成螺旋4.11 应用：Borsuk–Ulam 定理

★★★ 覆叠的第一场大胜：球面上的对径对称逃不出平面。

证明（覆叠 + 反证 + 奇偶性）。设无这样的点，即 f(x) ≠ f(−x) 恒成立。定义 g(x) ＝ (f(x) − f(−x)) / ‖f(x) − f(−x)‖ ∈ S¹——连续、且是 「 奇映射 」：g(−x) ＝ −g(x)（把 x 换 −x，分子变号）。于是问题化为：不存在从 S² 到 S¹ 的连续奇映射。

「 球面上的对径两点，在平面上无处可逃。」一句纯粹的对称性断言，用覆叠的绕数奇偶性一击而破——这是 「 展开技巧 」 的高光时刻。

第四章 覆叠空间：把圈展开成螺旋4.12 应用：代数基本定理的覆叠证明

★★★ 用覆叠，把代数基本定理证得更短、更透。

证明（两圈对照）。设 P 无根，则 f(z) ＝ P(z)/|P(z)| 是 S¹（充分大半径的圆）到 S¹ 的连续映射。看它的绕数 W(r) ＝ 半径 r 的圆周像的绕数。

覆叠的角色。绕数 W 的计算依赖覆叠 ℝ → S¹：把每段道路提升到 ℝ，落点差即绕数；「 同伦中绕数守恒 」（定理 4.3 推论）保证 W(r) 在 r 连续变动时不变。「 连续输入的整数值函数必须常值 」 是 「 覆叠的唯一提升 」 的直接推论——代数基本定理的全部重量，压在提升定理一行唯一性上。

第四章 覆叠空间：把圈展开成螺旋4.13 应用：组合学与打结中的覆叠技巧

★★ 「 展开 」 不止用于圆周，它在离散与三维场景同样锋利。

覆叠与 「 覆盖代码（covering code） 」 的借名。组合学中的 「 覆叠设计 」 与本章覆叠空间同名异义，但精神相通：用 「 一个整齐的上结构 」 去 「 无重叠地覆盖 」 一个下结构——图论里的展开树、编码论里的覆盖码，都是 「 无冲突复制 」 的思想。

从圆周到纽结，从自由群到 étale 覆叠——「 掀成一层、绕数变整数 」 这一个动作，贯穿了本册后半部与整个现代几何。

第四章 覆叠空间：把圈展开成螺旋4.14 纤维丛与覆叠的一步之遥

★★ 把 「 离散的层 」 放宽成 「 连续的纤维」，就走出本章、进入现代几何。

覆叠是纤维丛的特例。取 F 为离散点集（层），纤维丛就是覆叠——覆叠 = 纤维离散的纤维丛。把 F 从 「 离散 」 换成 「 连续 」，结构上仍是 「 局部是乘积、全局可能扭转 」，但工具立刻丰富起来（联络、示性类登场）。

第四章 覆叠空间：把圈展开成螺旋4.15 构型空间与机器人路径规划

★★ 一个出人意料的落地：覆叠出现在机器人的运动规划里。

关键观察：朝向引入覆叠。平面上一个机器人的位置是 (x, y)，朝向是一个角度 θ ∈ [0, 2π)——但 θ 与 θ+2π 是同一个朝向。于是朝向空间是 S¹，而它的万有覆叠是 ℝ（角度被 「 展开 」 成实数）。「 转了多少圈 」 是 ℝ 上的实数，不是 S¹ 上的角度——绕圈数在此成为可追踪的量，正是为了做 「 路径规划 」。

「 机器人绕了几圈 」 与 「 提升上升了几层 」 是同一件事。抽象的覆叠，在多关节机械臂与自动编队的运动规划里，是有日历意义的工具。

第四章 覆叠空间：把圈展开成螺旋4.16 收束：展开的螺旋

★ 回到那张螺旋图，本章已把它讲成定理。

与前后章的接口。① 承接第三章：π₁(S¹) ≅ ℤ 的证明在此被重做、被解释为 「 覆叠的落点差 」——第四章是第三章那件证明的 「 幕后 」；② 通往第五章：曲面分类要用 「 万有覆叠 + 覆叠变换 」（如环面的万有覆叠 ℝ² 由 ℤ² 作用、Klein 瓶的万有覆叠由不同群作用）——「 同一个万有覆叠、不同的群作用 」 竟能区分环面与 Klein 瓶；③ 通往第六章：同调群是 「 可计算的 π₁ 亲戚 」，而 H₁ ＝ π₁ 的交换化——交换化恰好抹掉覆叠变换群的共轭差异。

「 把圈展开成螺旋 」 这一招，用了整整一章。收获是一件残酷而美丽的事实：一个空间怎么 「 绕 」、能怎么 「 被展开 」，全部写在它的基本群里——几何的螺旋，就是代数的子群格。

第四章 覆叠空间：把圈展开成螺旋例题一：覆叠空间与提升的判定

★★★ 五道例题，覆盖定义、提升、层数、纤维。