1.2 微分流形与坐标卡

1.2 微分流形与坐标卡

摘要：坐标卡是流形上局部有效的记账方式，图册是一叠彼此衔接的坐标卡。本节给出微分流形的正式定义（局部欧氏 + 光滑衔接），用球面、环面、莫比乌斯带三份案例把定义盘活，并构造切空间，为度量张量在下一节落户做好准备。

地图册的比喻与它的精确化

测绘部门给一个地区出地图，从来不是一张画完，而是分幅出版：每幅覆盖一块区域，图幅之间留有重叠带，边缘地带在相邻两幅上各出现一次。读者拿着一叠分幅地图，靠重叠带把整块地区拼在脑中。数学把这个做法原样搬走：单幅地图叫坐标卡，一叠能光滑拼接的地图叫图册，被描述的对象就叫（微分流）形。

比喻到此处必须精确化，否则两处会走偏。其一，坐标卡的方向是「从地面到图纸」：一张卡是同胚映射 x: U \to V，把流形上的开集 U 对应到 \mathbb{R}^n 的开集 V，地面点 p 获得一组坐标 (x^1,\dots,x^n)。其二，重叠带上两套坐标必须能互相换算，且换算函数无穷次可微——这一条是「微分」二字在流形上的全部来源。流形上本来没有坐标，也没有现成的求导法则；全部微积分运算，都是先借坐标卡搬到 \mathbb{R}^n 里做完，再检查结果与选卡无关。选卡无关性成立，运算才配叫流形上的运算。

定义与首检清单

n 维微分流形是一个豪斯多夫拓扑空间 M，配备一个图册：一族坐标卡 \{(U_\alpha, x_\alpha)\}，卡的开集覆盖 M，且任意两卡在重叠区上的转换映射 x_\beta \circ x_\alpha^{-1} 是 \mathbb{R}^n 开集之间的光滑双射。

拿到一个点集，勘探队按四项检查它够不够格当流形：一查局部欧氏——每点有没有邻域同胚于 \mathbb{R}^n 的开集；二查转换光滑——重叠区换坐标是否无穷次可微；三查豪斯多夫——两个不同点能否用不相交邻域分开（排除「双原点直线」这类病态缝合）；四查可数基——图册能否用可数张卡实现（排除「长直线」这类不可测绘的怪物）。四项全过，发牌照。

图册的拼接结构

三份案例档案

案例一：球面至少要两张卡。 用球极投影造卡：以北极 N 为投影点，去掉北极的球面同胚于平面；再以南极 S 为投影点得到第二张卡。两张卡各瘸一个极点，但并起来覆盖全球，重叠区（去掉两极的球面）上的转换映射是分式函数，光滑。教训明确：没有一张卡能记下整个球面——任何把全球压进一张平面图的尝试必然在 somewhere 崩坏（正好呼应上一节摊不平橘子皮）。

案例二：环面一张卡不够、两维周期是关键。 环面参数化为 (\theta, \varphi) \mapsto ((R + r\cos\theta)\cos\varphi,\ (R + r\cos\theta)\sin\varphi,\ r\sin\theta)。(\theta,\varphi) 各以 2\pi 为周期，所以一张「方形卡」在边界处要把对边缝合；严格做法是把开区间 (0, 2\pi) 上的若干张卡拼起来。环面是「两维都是圆」的乘积流形 S^1 \times S^1，这个乘积视角在第七章还会回来。

案例三：莫比乌斯带与「定向」的初次照面。 长方形纸条拧半圈后首尾相粘。它每点都有邻域像 \mathbb{R}^2（局部完全正常），但整条带子的「正面」绕一圈后变成「反面」。这说明局部欧氏推不出全局无矛盾地选左右手。定向性是图册层面的整体性质，不是单卡能察觉的——第四章讨论整体几何时，它将升级为流形的拓扑不变量话题。

切空间：把向量安家落户

坐标卡到手后还缺一样东西：速度。队员沿路径 p(t) 走动，t_0 时刻的瞬时速度是一个向量——它该住在哪里？欧氏空间里向量贴着点即可；流形上点与点互不相邻，向量必须明确挂靠在某一点 p 上。

解法用「先记账、再对账」。在卡内，路径对应 \mathbb{R}^n 中的曲线 x(p(t))，求导得分量 (\dot{x}^1, \dots, \dot{x}^n)，这是记账。换一张卡，分量为 \dot{x}'^j = \sum_i \tfrac{\partial x'^j}{\partial x^i} \dot{x}^i，即用转换映射的雅可比矩阵线性变换。对账结论：虽然分量随卡而变，但「过 p 的所有曲线的速度等价类」这个集合本身与选卡无关。数学把这个集合定义为 p 点的切空间 T_pM——一个 n 维向量空间，本册所有向量、所有张量的户口都落在它上面。

💡 关键直觉：切空间是「流形上一点的全部可能速度方向」。球面一点处的切空间是贴在该点的切平面；切平面虽画在三维空间里，但它的一切运算（加法、数乘、取内积）都可以在二维内部完成，不欠外部空间的债。

光滑映射与常见的退化情形

流形之间放映射也要走坐标卡：f: M \to N 光滑，当且仅当任意卡上 y_\beta \circ f \circ x_\alpha^{-1} 作为欧氏映射光滑。据此有三类常用退化值得队员记住。浸入：导映射处处单射，如把开区间绕成平面上的八字结，参数域一维、像也「一维」，但像可能自交。嵌入：浸入且同胚到像上，如标准圆环线。参数化：f 单且可逆，像上的点与参数一一对应——第一节环面的参数式正是嵌入。三者关系是浸入最弱、嵌入最强；分不清它们，第五章讨论子流形时会出现账目混乱。

动手排错：三张「假流形」病历

定义读通不等于会用，四项检查的真实价值在反例中显形。病历一：双原点直线。取两条实线，把除原点外的部分按恒等粘合——每点都有邻域像开区间，但两个原点无法用不相交邻域分开，豪斯多夫检查报警，不发牌照（不分离的空间上极限不唯一，分析学无法开工）。病历二：方形粘边对。把正方形左右边同向粘合、上下边同向粘合，得到的是环面（合格流形）；但若上下边反向粘合，得到克莱因瓶——仍是流形，只是不可定向，嵌入三维空间时必然自交（除非升到四维）。病历三：带锥点的平面。原点处角度改为 4\pi（把平面剪开一角再粘），每点的邻域仍然「像」扇形，但锥点的任意小邻域绕行一周的角度是 4\pi 而非 2\pi——同胚检查不报警，转换映射却在锥点处失去光滑性，微分结构检查把它拦下。三份病历的共同教训：流形定义的每一条检查都不是学究式的洁癖，而是各自拦截一类会令微积分失灵的具体病灶。

顺带一个工程视角：计算机图形学里的三角网格就是「离散流形」的近似——每个顶点邻域是圆盘（局部欧氏），网格整体构成图册。网格处理中的「非流形边」（一条边被三个面共享）报错，正是四项检查的工业版；理解本章定义，三维建模软件的报错信息就从咒语变成诊断书。

本节要点回顾

• 坐标卡是地面到图纸的同胚，方向与直觉相反：先有空间，后生坐标；
• 图册靠重叠带的光滑转换衔接，流形上的微分运算全部借道坐标卡完成；
• 四项检查：局部欧氏、转换光滑、豪斯多夫、可数基，是发牌照的硬条件；
• 三份案例：球面两卡互补、环面双周期、莫比乌斯带暴露定向的整体属性；
• 切空间由曲线速度的等价类定义，换卡时分量按雅可比变换，空间本身坐标无关。