本课只解决一个问题

球面明明弯曲，为什么还可以用两个坐标做微积分？

关键不是整个球面像平面，而是每个足够小的邻域像平面。

1. 局部欧氏

二维拓扑流形 $M$ 的核心条件是：每个点 $p\in M$ 都有一个邻域 $U$ ，与平面中的开集 $V\subset\mathbb R^2$ 同胚。

同胚

\varphi:U\to V

称为坐标图。对曲面点 $q\in U$ ，二维数对

(u,v)=\varphi(q)

就是它在这张图中的坐标。

flowchart LR
    U[曲面小邻域 U] -->|坐标图 phi| V[平面开集 V]
    V -->|逆映射 phi^-1| U

2. 地图册类比的边界

地球表面可用多张地图覆盖，每张地图只负责一个区域。这个类比很有用，但要注意：

坐标图是数学映射，不只是图片；
图的目标必须是平面开集；
不要求保长度或角度；
两张图重叠时必须能平滑换坐标。

3. 为什么球面不能只用经纬度一张图

经纬度参数化可写为

\mathbf r(\theta,\phi) =(\sin\phi\cos\theta,\sin\phi\sin\theta,\cos\phi).

它有两个问题：

在南北极，所有经度 $\theta$ 表示同一点；
$\theta=0$ 与 $2\pi$ 是同一条接缝。

所以经纬度不是覆盖整个球面的单一合法坐标图。需要多张图，例如从南极和北极做两套立体投影。

4. 图册

一组坐标图

\{(U_\alpha,\varphi_\alpha)\}

若覆盖整个曲面：

M=\bigcup_\alpha U_\alpha,

则称为图册。

同一点可能同时出现在两张图中，这不是重复，而是为了描述图与图之间怎样接合。

5. 过渡函数

若 $U_\alpha\cap U_\beta\ne\varnothing$ ，一个点有两套坐标。换坐标映射为

\varphi_\beta\circ\varphi_\alpha^{-1}: \varphi_\alpha(U_\alpha\cap U_\beta) \to \varphi_\beta(U_\alpha\cap U_\beta).

阅读顺序从右到左：

用 $\varphi_\alpha^{-1}$ 把第一套坐标还原为曲面点；
再用 $\varphi_\beta$ 读出第二套坐标。

若所有过渡函数都无限可微，图册定义光滑结构， $M$ 称为光滑流形。

6. 为什么要要求 Hausdorff 和第二可数

完整定义还要求流形是 Hausdorff 且第二可数。

Hausdorff：两个不同点能用不相交邻域分开，避免点彼此“粘得无法区分”；
第二可数：存在可数拓扑基，排除过大的病态空间，并支持常见分析工具。

工程中的正常网格曲面通常满足它们，但理论定义不能省略。

7. 内在曲面不必先嵌入三维

流形的定义只用邻域与坐标图，不要求 $M\subset\mathbb R^3$ 。因此可以讨论：

抽象拼接得到的环面；
高维空间中的曲面；
只给出三角形及边长的离散曲面。

这体现“内在几何”的思想：先研究曲面自身，再问它如何放在外部空间中。

8. 参数化与坐标图的方向

微分几何常写参数化

\mathbf r:V\subset\mathbb R^2\to M,

它其实是坐标图逆映射 $\varphi^{-1}$ 。所以：

$\varphi$ ：曲面点变成坐标；
$\mathbf r=\varphi^{-1}$ ：坐标变成曲面点。

教材在两种方向间切换时，必须看清定义域和值域。

9. 常见误区

流形不是“光滑得像球”的三维物体；它可以抽象定义。
局部像平面不等于全局能无畸变铺平。
坐标奇点不一定是曲面奇点，可能只是所选图失效。
网格顶点的一环若不是圆盘或半圆盘型，可能不是二维流形网格。

10. 自测与答案

题 1。 圆 $S^1$ 是几维流形？

答案。 一维。每个小弧段都同胚于实数轴的开区间。

题 2。 球面是二维还是三维流形？

答案。 二维；描述局部点只需两个坐标。它可以嵌入三维空间，但内在维数为二。

题 3。 为什么坐标变换必须定义在两张图的重叠区？

答案。 只有重叠区中的同一曲面点才同时拥有两套坐标，才能比较。

前后课程

上一课：同胚与拓扑不变量｜下一课：边界与定向