4.1 拓扑流形基础
4.1 拓扑流形基础
第四章：几何与微分拓扑：流形与形状分析
4.1 拓扑流形基础：先立规矩，再谈比较形状
不变量侦探所每天都会收到同一类委托：两件展品摆在台上，委托人的问题是它们到底算不算同一种形状。左手的篮球浑圆一体，右手的救生圈则绕出一圈贯通的洞。假使允许随意弯折、拉伸与扭转，只禁止撕裂和黏合，我们便瞬间失去了目测的自信——可供利用的变形实在太多。要让这场比对有章可循，第一步不是急着数洞，而是先圈定候选空间必须具备的资格，再为它们配上统一的局部语言。拓扑流形，正是这份资格名单的正式名称。
把视线放回脚下的地球。天安门广场的方砖可以照常丈量，手机地图在任何街区都能铺成平面，这说明地表的每一点附近都长得像二维平面；可整片地表并不能被一张不撕开的地图摊平，绕行地球一周后方向还会悄悄掉头。这种局部与整体之间的落差，正是流形概念的温床。数学上的表述是：一个拓扑空间 M 如果同时满足三条公理，就称为 n 维拓扑流形。
其一，M 是豪斯多夫空间。任意两个不同的点，都能被互不相交的开集分别包住。不要小看这条看似温和的分离律：它专门负责把带双重原点的直线这类怪物挡在门外。所谓带双重原点的直线，是取两条实数轴，除 0 之外的点逐一等同，唯独留下两个都叫 0 的副本；它每一小片仍同胚于 R，可一旦考察经过原点的曲线，极限会同时滑向两个副本，收敛性就此作废。其二，M 的拓扑基可数，即第二可数性。它平日不显山露水，却暗中保证我们能数出可数张坐标卡、能搭起单位分解——那是日后一切积分与光滑对象得以成立的脚手架。
其三，也是决定流形二字灵魂的一条：局部欧氏性。对每一点 p∈M，都存在开邻域 U 以及同胚 φ，把 U 映为 R^n 中的开集 V。φ 相当于一张局部地图，U 上的每一点由此获得 n 个实数作地址。合起来，M 被称为 n 维；当 M 连通时，各点的维数彼此一致，而 M 若由几个不连通的分支组成，不同分支可以各定各的维数，教科书通常先讨论纯维数的情形。
请特别留意第三条公理拿捏的分寸：它不要求 M 真地坐在某个 R^N 里，也不承诺存在覆盖全空间的单一坐标系，只说每一个小窗望出去都是欧氏模样。这种看似退让的设计，恰恰是流形思想最解放的一步——一个对象的身份由它内部小块的缝合规则决定，而不是由包围它的外部宇宙决定。一张揉皱的地图，纸面上处处是平的，摊开的却是球面的一部分；莫比乌斯带无论怎样摆都进不了平面而不自交，两张带重叠的矩形纸条却足以盖满它，且每张纸上的坐标都如实反映局部几何。它们都不是 R^2，可全都局部是 R^2。
案卷一：地图如何拼出大陆
坐标同胚的选择充满自由，单凭一套地址并不可靠。于是我们把每一份开集加坐标的配对称为一张坐标卡 (U,φ)，再把盖满 M 的一组坐标卡并成一本图册。单张卡说明不了问题，真正的信息藏在卡的接缝处：当 (U_α,φ_α) 与 (U_β,φ_β) 两张卡在 M 中重叠，同一地点就会同时拥有两套读数，二者之间的换算规则由复合映射
给出。它是定义在 R^n 两个开集之间的同胚，正则性的强弱决定了图册的段位：转移映射全连续是底线；若全是 C^k（前 k 阶导连续，k≥0），图册称 C^k 图册；到 C^∞ 便是光滑图册；更强还有解析图册。段位的升降，直接影响流形上能开展哪一层分析。
比单本图册更重要的是图册之间的相容关系。两本图册若能合并，且合并后新冒出来的全部转移映射仍维持既定正则层级，就称它们相容；把一族彼此相容的图册并到极限，得到装得下所有相容卡的极大图册，这个极大对象才配叫光滑结构。用词差异背后是令人不安的数学事实：同一个拓扑流形可以容纳互相水火不容的光滑结构，甚至在四维多到无法一一列举。R^4 是最著名的现场——作为拓扑空间它与标准 R^4 毫无区别，四维的规范理论却表明，它上面彼此不微分同胚的光滑结构竟有不可数无穷多种。光滑结构于是不是白送的礼物，而是流形上必须主动选择的附加约定；光滑流形这四个字的完整含义，是拓扑流形加一个指定的极大光滑图册。
光滑结构一旦落地，分析便有了血肉：过 p 的光滑曲线按在 p 处一阶接触取等价类，得到切空间；全体切空间再粘合成切丛；向量场、微分形式、联络由此陆续登场。这些阶梯留给 4.2 细说，此处只需留一个结论：图册是拼图的语法，光滑结构是被极大化后的语法全书，微分同胚则是两本语法全书之间保持全部结构的对译。图 4-1 把这条从空间到分析的推进路线压缩成了一张流程图。
图注：从拓扑流形出发，坐标卡经由转移映射的正则性分级，决定流形所能支撑的分析层级。
案卷二：两枚待登记的印痕
有些流形在局部缝合规则之外，还额外携带两枚拓扑印痕，入档时必须登记。第一枚是手性能否全球一致，即定向。回顾 R^n，一组基的正负由行列式符号判定；所谓流形的定向，就是把这套正负逐点分派给切空间，并保证相邻点之间连续过渡。翻译成图册语言则干脆得多：存在一本图册，使其中每个转移映射的雅可比行列式在定义域上处处为正：
就称 M 可定向；办不到则不可定向。莫比乌斯带沿中线走一圈会把手性颠倒，克莱因瓶更是把这种颠倒封进了自身，两者是这类档案的固定样本。
这枚印痕绝非档案室的消遣。斯托克斯公式 ∫M dω=∫{∂M}ω 能写下来，前提正是 M 与其边界 ∂M 的定向事先协调；三维图形学中网格面法向若前后不一，光照与消隐立刻出错。到 4.2 处理微分形式的积分时，我们还会反复动用这份登记记录。
第二枚印痕是有没有边。将上半空间 H^n={x∈R^n:x_n≥0} 与整空间 R^n 并列为两块局部模板：所谓 n 维带边流形，指每个点都有邻域同胚于 R^n 的开集或 H^n 的开集。凡邻域只能取自 H^n、且同胚把该点送到超平面 x_n=0 上的点，划入边界 ∂M；其余点算作内点。于是边界可以完全不借助外部容器来定义，而 ∂M 自身恰是一具无边的 (n−1) 维流形：实心圆盘 D^2 的边界是 S^1，单位区间 [0,1] 的边界是两个孤立点，实心轮胎的边界是环面。若再要求 M 可定向，∂M 还会自动继承一枚定向——沿边界行走，让 M 恒在左手边，行进的朝向即 ∂M 的正向。格林公式与高斯公式背后那种里外、顺逆的朴素直觉，拓扑源头就在这里。
案卷三：维数锁得住吗
边界与内点能够分家，依赖的并不是常识而是定理：布劳威尔的不变域定理断言，若 U⊂R^n 为开集、f:U→R^n 为连续单射，则 f(U) 仍是开集且 f 自动是同胚。这条定理顺手锁死了维数：作为它的标准推论，m≠n 时 R^m 的开集与 R^n 的开集不可能同胚。反过来说，边界点与内点、二维与三维之间的差别，都不是坐标系能够偷偷抹平的。维数于是成为名副其实的拓扑不变量：它不靠占满多少维宇宙之类的外在说法撑腰，而是由局部同胚目标空间的维数钉死，任凭同胚揉搓也不改。
把两枚最常用的限定词并在一起：紧致而无边的流形称为闭流形。球面、环面、射影平面都是闭流形，闭圆盘与圆柱侧面则因带边而落选。闭流形是众多计数定理最偏爱的舞台——4.2 的配边分类、4.3 的莫尔斯不等式都以它为默认背景，因为紧致性保证了剖分、临界点等对象只有有限多个。至于把流形摆进展柜给人看，即通过光滑手段浸入或嵌入到欧氏空间，那是 4.2 才会启用的展示方式；展示与否并不改变流形的身份，这正是流形理论绝对地自足的体现。
案卷四：二维曲面的全量档案
一维流形只有直线与圆周两类，平平无奇；真正让分类思想大放异彩的是二维。曲面分类定理给出了一份穷尽式的结案陈词：任何紧致连通曲面，在同胚意义下必为下列三种装配之一。
- 球面 S^2：可定向，无边界，可视为亏格 g=0；
- 亏格 g≥1 的可定向曲面：由 g 个环面的连通和构成；
- k≥1 个实射影平面 RP^2 的连通和：不可定向，无边界。
允许边界时，还需补充边界分支的数目 b≥0。于是一张紧致连通曲面被三个整数完全钉死：可定向的归入 (g,b) 一系，不可定向的归入 (k,b) 一系，两系不可混用。欧拉示性数则负责最后一道核算：可定向时 χ=2−2g−b，不可定向时 χ=2−k−b。这三个数不仅是刻画参数，更是完备的不变量：两张紧致曲面同胚，当且仅当这套读数完全相同。从光滑的苹果表皮到布满沟回的脑皮层，再到呈分数维粗糙的肺泡壁，无限多样的曲面在这份清单前统统只剩下一串短数字。
定理的构造性一面也值得记一笔：把曲面适当剪开后沿边粘合，可以还原为一张基本多边形。亏格 g 的可定向闭曲面展开成 4g 边形，边按 a_1b_1a_1^{-1}b_1^{-1}⋯a_gb_ga_g^{-1}b_g^{-1} 配对；k 个 RP^2 的连通和则对应 2k 边形，按 a_1a_1a_2a_2⋯a_ka_k 粘合。几何装配在此被翻译成一串字母的字运算，代数与拓扑的第一场联姻就此完成。图 4-2 描绘了曲面分类的判定树。
图注：紧致连通曲面的判定流程——可定向性先行分流，亏格或交叉帽数与边界数随后定格，最后交给欧拉示性数核算。
结案札记
把四份案卷串起来看，取证动作其实非常机械。先验明对象是否通过三条公理，锁定其维数与分支结构；再查验坐标说明书接缝处的正则层级，确定光滑结构的存在性与唯一性；随后登记手性与国境线，必要时补上维数与紧致性的证明；若对象恰好是二维，直接调出全量档案比对读数即可，维度更高则把接力棒交给微分拓扑乃至代数拓扑。全程没有任何一个环节要求我们把对象放进某个标准空间再观察。
拓扑流形理论真正回答的，不是某个空间长什么样，而是空间凭哪些自足的证据证明自己是自己。这份自证逻辑，是 4.2 微分拓扑、4.3 莫尔斯理论与 4.4 纽结理论共同的地基，也是本章所有比较得以展开的出发点。
