第一章 流形与坐标卡

第一章 流形与坐标卡：先画出勘探底图

章节摘要：任何测量都始于一张底图。本章解决黎曼几何开工前的两个先决问题——空间允许用什么方式描述（微分流形与坐标卡），以及距离和角度用什么量具度量（黎曼度量张量）。读完本章，你将能独立判断一个点集是否够格叫流形，能用参数化把球面、环面写成坐标卡，并手推球面极坐标度量的完整过程。

学习目标

1. 能叙述流形的局部欧氏性质，并说明「局部像 \mathbb{R}^n」为何不等于「整体是 \mathbb{R}^n」；
2. 能为球面、环面、莫比乌斯带各写出至少一张坐标卡，并指出坐标失效的位置；
3. 能用第一基本形式从嵌入曲面推出诱导度量，并解释它是内蕴量的原因；
4. 能手推球面极坐标下的度量表达式 ds^2 = d\theta^2 + \sin^2\theta\, d\varphi^2 的每一步；
5. 能用 SymPy 验证度量矩阵的正定性，并计算球面上大圆弧的弧长数值。

核心概念速览

金句：流形给出「在哪里」，度量给出「有多远」；没有度量的流形是张白纸，落了度量才成底图。

子章节导航

• 第一节 从汉诺威三角网到内在几何：从高斯的大地测量现场出发，理解「绝妙定理」为什么把几何学交给空间内部的居民，并认识本册贯穿始终的内在性立场。
• 第二节 微分流形与坐标卡：坐标卡的正式定义、图册的光滑衔接条件、切空间的构造；用球面与莫比乌斯带做首批案例。
• 第三节 黎曼度量张量：度量的公理化定义、分量矩阵、正定性；从嵌入曲面的第一基本形式推出诱导度量，确立「度量是 2 阶对称正定张量场」的定位。
• 第四节 球面度量手推实验：全章的实操收官——不查表、不背结论，从三维欧氏度量出发，经变量代换与链式法则，一步步推出球面度量，再用数值积分复核弧长。

子章节之间的逻辑关系

本章是一条「从故事到仪器」的装配线：第一节给动机（为什么要内在地测量），第二节造出图纸（流形），第三节装上量具（度量），第四节开机校准（手推与数值互证）。

动机(内在性) → 图纸(流形) → 量具(度量) → 校准(球面实验)
   1.1    →    1.2    →    1.3    →    1.4
                └──── 坐标卡是度量的落点: g 的分量必须写在坐标卡上 ────┘
​

前置知识与后续延伸

前置：线性代数中的对称矩阵与正定性判定、多元微积分中的链式法则与雅可比矩阵。若这两处生疏，建议先补再进。

延伸：本章拿到的度量张量 g_{ij} 是第二章的全部输入——联络系数 \Gamma^k_{ij} 将完全由度量及其一阶偏导数算出。换言之，第一章交付的是量具，第二章才规定使用量具的规程。第四节的手推流程也将在第三章测地线方程的推导中完整复用。

学习障碍与对策

本章最常见的三处卡壳，提前给出对策。其一，「坐标卡方向搞反」：映射是从流形到欧氏空间的，写参数化时（如球面的 r(\theta,\varphi)）方向恰好相反，做题时先在纸上标注箭头方向再动手。其二，「度量的分量与本体混淆」：看到极坐标下 g_{rr = 1}, g_{\varphi\varphi} = r^2 就觉得「空间变了」，其实空间没变、只是账本换了；判别标准始终是第 1.3 节的变换公式。其三，「正定性不知道拿来干嘛」：正定保证长度非零、夹角余弦落在负一到正一之间，是「测量」二字得以成立的最低门槛，第三节的三条性质清单应能默写。

工具准备：装好 Python 与 SymPy 即可（第四节代码无需其他依赖），纸笔全程在场——本章的克氏符号到第三章还要逐项复用，现在偷懒后面还债。