1.1 学科起源与发展脉络
侦探事务所的卷宗：拓扑学怎样从一道桥题起步
我们开宗明义地把这门学问摆成一个侦探机构。客户送来一件物品——一只咖啡杯、一张网络图、一段被揉皱的纸——问我们：它与另一只东西，是不是“同一种形状”？欧几里得几何那套尺规量法在这里会失灵，因为客户并不关心边长、面积、夹角。他要我们回答的是：在不许撕开、不许粘连的前提下，把它任意拉扯揉拧之后，哪些特征死活去不掉。这种“怎么动都还在”的特征，我们管它叫不变量；而 topological 这门手艺，本质就是一套用不变量给空间做身份鉴定的技术。
这桩买卖的起点不在书斋，而在河边。十八世纪东普鲁士的柯尼斯堡有两条河穿城，河上七座石桥连着四块陆地，市民拿一个赌局消遣：能不能从某块地出发，每座桥恰好踩一次再回到原地。这个问题欧拉接手时，没去穷举走法，也没去量桥长，而是把四块陆地压成四个点、七座桥压成七条线，城市退化成一张图 G = (V, E) ，其中 V = \{A,B,C,D\} 是四个顶点。原问题立刻换成：这张图里有没有一条不走重复边、又能回起点的闭合迹？欧拉看出一条硬道理——若某点是路线中途经过的，进去几次就得出来几次，它的度数（连着的边数）必为偶数；起点兼终点同样得是偶数度。所以他给出判定：图存在欧拉回路，当且仅当每个顶点度数都是偶数。
柯尼斯堡那四块地的度数分别是 3, 3, 3, 5，清一色奇数，结论干脆利落：走不通。我们在事务所白板上画两幅图比照，左边是带尺寸的实地，右边是剥光尺度后的关系网。
这张对照图想说明的事很朴实：能不能过桥，跟桥有多长、河水流多快毫无关系，只跟“谁挨着谁”这张关系网有关。欧拉那一步等于把几何里最金贵的预设——度量——先搁到一边，留下“连还是不连”这个最朴素的二元判断。我们事务所把这次操作记为第一号卷宗，因为它第一次让人自觉地把空间看成连接方式的集合，而不是数值属性的集合。
可惜这颗种子埋了一百多年才发芽。高斯在琢磨电磁学里的力线缠绕时，记下过“链环数”这个只取决于两条闭曲线怎么相互环绕的整数，私下发牢骚说它在连续变形下不变，却没发表。真正把这门手艺立成招牌的是他的学生李斯廷，一八四七年那本《初等拓扑学》头一回用了 Topologie 这个词，词根 topus 是希腊语的“位置”，定义也直白：只管空间里各部分相对位置，不去算大小形状。到这儿，它还只是块待开垦的地，不是成形的学科。
我们翻到地基那一层。十九世纪末康托尔在研究无穷点集时，问了个刁钻问题：两个无穷集合什么时候算“一样大”？他拿一一对应当尺子，量出自然数集 \mathbb{N} 和有理数集 \mathbb{Q} 一样大（可数无穷），却和实数集 \mathbb{R} 不一样大（不可数）。更关键的是他顺手定义了聚点——点 x 是集合 A 的聚点，只要 x 的任意邻域里都还藏着 A 中不等于 x 的点。请注意，这个定义压根没提距离等于多少，只靠“邻域”这个模糊却管用的念头撑着。康托尔没写出拓扑空间的公理，却用实例把逻辑跑通了：空间一旦规定了每点有哪些子集算“邻域”，连通、紧致、分离这些性质就全埋在里头了。我们事务所因此把“邻域系统”列为第二块基石。
公理化是二十世纪初的整风运动。弗雷歇一九零六年在博士论文里为了对付函数序列收敛，抛出度量空间：一个集合 X 配一个距离函数 d: X \times X \to \mathbb{R}_{\geq 0} ，要求非负、同一、对称、满足三角不等式；由此开球 B(x,r) = \{y \in X \mid d(x,y) < r\} 自然成了邻域的样板，连续、紧致都只靠它生的开集说话。可弗雷歇很快发现，连续性这类东西其实用不着完整的距离，只要知道哪些集合是“开的”就够了。一九一四年豪斯多夫在《集合论纲要》里落锤，给出拓扑空间的首个现代定义：
取非空集合 X，再取它的一个子集族 \tau \subseteq \mathcal{P}(X)，满足三条：
- \emptyset \in \tau 且 X \in \tau；
- \tau 里任意多个成员的并仍在 \tau 中；
- \tau 里有限个成员的交仍在 \tau 中。
这样的 (X, \tau) 叫拓扑空间，\tau 里的元素叫开集。
第三条只认有限交，这是故意的：你想想实数轴上以 0 为中心、半径 1/n 的那串开区间，交起来只剩一个点，点却不是开集，所以无限交不能保证还是开集。豪斯多夫还补了一条分离公理——任意两个不同点 x, y 都能找到互不相交的开邻域 U \ni x, V \ni y，保证空间分得清点，后来的 T_2 空间由此得名。我们用下面这张演化链把来路串起来：
公理化不是给旧货贴新标，而是重新铸造概念。离散空间（啥子集都开）、余有限空间（开集是空集或补集有限的集合），只要够那三条就是合法空间。我们由此拿到一门描述“空间该有什么逻辑结构”的元语言，好比化学家不单研究水盐铁，而是排出了元素周期表。
地基打好后，这门手艺分出三条查案路线。第一条叫代数拓扑，专给形状发“身份证”：两个空间若同胚（存在连续双射且逆也连续），它们领到的代数不变量必然同构。庞加莱一八九五年写《位置分析》时搭起同调论的架子，把空间拆成单纯复形，定义链群 C_n(X) 和边界算子 \partial_n: C_n \to C_{n-1}，再写出同调群
[
H_n(X) = \ker(\partial_n) / \operatorname{im}(\partial_{n+1})
]
分子是可当“圈”的闭链，分母是能缩成点的边界，商掉之后剩下的秩就是第 n 维“独立洞”的个数。环面 T^2 当场报出
[
H_0(T^2) \cong \mathbb{Z}, \quad H_1(T^2) \cong \mathbb{Z} \oplus \mathbb{Z}, \quad H_2(T^2) \cong \mathbb{Z}
]
——一个连通块、两条腰带般的独立一维洞、一个体内空腔，全写在一行代数里。霍普夫那批人接着搞同伦论，核心是基本群 \pi_1(X,x_0)，数空间里以 x_0 为基点的环路在连续变形下分几类。圆周 S^1 的基本群是无限循环群 \pi_1(S^1) \cong \mathbb{Z}，球面 S^2 却是平凡群 \pi_1(S^2) \cong 0：一个有绕圈的自由度，一个没有，立刻判明两者不同胚。
第二条路线是微分拓扑，把“连续”升级成“光滑”。它盯微分流形——局部像欧氏空间 \mathbb{R}^n、坐标变换无穷可微的拓扑空间。米尔诺一九五六年扔出一颗炸弹：七维球面 S^7 上能披多种互不相容的光滑外衣，存在一个拓扑流形与标准 S^7 同胚，却找不到微分同胚连起二者。这说明同一个拓扑形状在七维可以穿多件不兼容的“光滑外套”。莫尔斯理论更绝：流形上光滑函数的临界点（峰、谷、鞍）的指标，就能把整个空间的同调群重建出来，等于说一座山的起伏走势编码了它肚里洞的数目。
第三条是点集拓扑，也叫一般拓扑，是前面两条共用的语法手册。它只认开集公理孵出的纯粹性质：连通性（空间不能拆成两个非空不相交开集之并）、紧致性（任意开覆盖都有有限子覆盖，在欧氏空间等价于有界且闭，却更普适）、分离公理从 T_0 排到 T_6。它不给任何具体空间特殊待遇，却给所有空间发一套体检表——我们事务所离了它，连单纯复形都没法定义。
这门手艺今天早已不是在纸上办案。数据科学里“拓扑数据分析”用持续同调，给点云按尺度参数 \varepsilon 由小到大长出一族嵌套复形，盯着同调类（洞）从诞生到消亡的寿命，画成 barcode 或 persistence diagram，拿去分癌症亚型、认晶体结构、看脑网络连接。物理学里拓扑绝缘体内部绝缘、表面却有受拓扑保护的零耗散导电通道，根子上是电子能带结构的陈数——一个由曲率积分定的整数不变量，二零一六年诺奖明说把拓扑概念搬进了凝聚态。计算机科学里分布式系统的 FLP 不可能性定理，把进程状态空间建成单纯复形、把共识协议当成复形上的连续映射，不可解性最终归结为“连不通的空间映不到不连通的目标”，计算的极限竟是空间本身的拓扑设的卡。
我们写这卷宗，不为排年表，只为把一条暗线拉直：欧拉在河边悬置了度量，康托尔在无穷点集里埋下邻域，豪斯多夫拿公理刻出骨架，分支们在数据、物理、计算的田野上结果。贯穿始终的那句问话始终是——连续变形里，到底什么死赖着不走。