黎曼几何初步 · 从弯曲曲面到弯曲空间

本书怎么读：一门关于「度量决定几何」的学问

本书讲一门学问：黎曼几何——它研究的不是画在纸上的图形，而是空间本身：一个没有外部参照、只能靠自己在内部量长度与角度的空间，究竟能有多「弯」。它回答的问题朴素而深刻：如果手里只有一把尺子（在每个点、每个方向上量长度的规则），我们能重建出多少几何？为什么在地球上沿经线一直向北走会撞到极点，而在一个马鞍面上同样的走法却不会？为什么绕一个三角形走一圈、把一支箭始终「保持平行」地搬运，回到起点时箭头竟转了角度？为什么二十世纪最重要的物理理论——广义相对论——会把它当作语言？从高斯 1827 年在《关于曲面的一般研究》里写下那条被他自己称为「绝妙」的定理，到黎曼 1854 年在哥廷根的就职演讲里把「曲面」推广成任意维的「流形」，再到 Ricci 流在 2003 年证出庞加莱猜想，黎曼几何两百年只做一件事：由度量这一份数据，推演出全部几何——联络、测地线、曲率、整体形状，都是这份数据的推论。

本书按章组织：绪论从 1854 年那场演讲讲起，说清这门学问要回答哪三个问题；第一章建立「空间」的精确定义——光滑流形与它的切空间；第二章给空间配上尺子，即黎曼度量；第三章解决「在没有直线的世界里怎么求导」，引入联络、平行移动与测地线；第四章定义曲率，把「平行移动绕一圈回来差多少」写成 Riemann 曲率张量；第五章从局部走向整体，用比较定理把曲率与整体形状挂钩；第六章把度量从「长度」换成「时间」，走进广义相对论、黑洞与 Ricci 流；综合站用年表、人物谱、方法总图、实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与图形先行：每一个概念都从一张图、一个具体的小例子讲起——先看见地球表面为什么「局部像平面」、切向量怎样像一支插在曲面上的箭头、平行移动沿闭合回路回来为何转了角度，再抽成定义。② 一步一图：凡能画的都画——坐标卡的覆盖、切空间与切丛、度量的作用、联络缝合不同点的切空间、曲率作为「绕圈的和乐」、测地线偏离与共轭点。黎曼几何最迷人的地方，正藏在「一份数据（度量）能推出多少结构」这条线索里。③ 自给自足：所需工具在书内随用随补——一元与多元微积分（偏导、链式法则、隐函数定理）、线性代数（向量空间、内积、双线性型、特征值）、常微分方程的存在唯一性定理，以及最必要的拓扑常识（开集、紧致、连通、基本群），都在需要它的那一页现学现用，不假设手边另有教材。个别深刻的整体性结论（Hopf–Rinow、球面定理、Poincaré 猜想、正质量定理）给出精确陈述、证明思路与文献指引，数值对拍在实验页随附。

页型节奏。每章以 导引 开篇（一页说清这一章要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每章配 例题 与 习题（末附提示）；每章收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照，并在章末用一页 衔接讲义 指向前方。每页右上角标页码，页眉灰色小字标出所属章与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 会求导与线性代数即可，★★ 需要一点多元微积分与偏导链式法则（书内自给），★★★ 需要一点内积、双线性型与常微分方程的存在唯一性（书内自给），★★★★ 需要一点拓扑与合作者、张量分量的系统推导（书内自给），★★★★★ 需要整体性论证与曲率估计的深水区（第五章后半、第六章与综合站余韵）。若只求理解主线，读绪论、第一章的切空间、第二章的度量、第三章的测地线、第四章的曲率张量、第五章的 Hopf–Rinow 与 Bonnet–Myers 即可；若求完整掌握，按章顺序逐页推进，并把每章习题做完。

三条线索贯穿全书：

① 明线——从度量到几何：先建立空间（光滑流形）与它的切空间（第一章）；再在每一点的切空间上指定一个内积，得到度量（第二章）；度量确定一个自然的求导法则与「最直的线」，即联络与测地线（第三章）；联络的不可交换性给出曲率（第四章）；曲率又反过来约束整体的形状与测地线的命运（第五章）；最后把度量从正定推广到不定，就得到时空与广义相对论（第六章）。

② 暗线——内蕴与外在。「哪些量只用尺子就能量出，哪些必须离开空间去外面看」是贯穿全书的追问。第一章先立起「不依赖外部空间」的立场：流形是内蕴的对象，无需先嵌入某个大空间。第二章的度量、第三章的联络与测地线、第四章的曲率，全部是内蕴量——它们在换坐标下不变，也不问空间「怎样弯在大空间里」。到第四章 §4.13，高斯绝妙定理以黎曼曲率的形式被重新讲一遍：曲率可以被内部量出。这条线索最终收在一句话上：几何就是可以由度量算出的那些东西。

③ 接口——通往三个邻域。黎曼几何与分析、拓扑、物理直接相接：与分析（测地线方程要用常微分方程；比较定理要用 Jacobi 场的分析；热核与谱几何要用偏微分方程，第三、四、五章）；与拓扑（流形的定义、基本群与覆叠、示性类、庞加莱猜想，第一、五、六章）；与物理（广义相对论把度量解释为时空几何，Einstein 场方程是 Ricci 曲率与能量的等式，第六章）。三条线索之外还有一条捷径贯穿始终：把空间搬到自己身上来量——这既是测绘与航海里「沿罗盘方向走出的航线」背后的几何，也是一切现代几何与物理的起点。

写法约定（TEX 标准）：流形记 M, N，切空间记 T_pM，度量记 g 或 g_ij，联络记 ∇，测地线记 γ(t)，曲率张量记 R，Ricci 曲率记 Ric、数量曲率记 S。变量与函数名用斜体（u、v、t、K），数字与运算符正体；度量张量的分量记 g_ij，Christoffel 符号记 Γ^k_ij；流形上的内积与配对记 ⟨·,·⟩。关键一步配图，公式与图形逐章对照。

绪论 从哥廷根的演讲出发从哥廷根的演讲出发

1854 年 6 月 10 日，德国哥廷根大学。一位二十八岁的年轻人要做他的就职试讲。按惯例，他呈上三个题目由教授们挑选；主持人是年迈的高斯——数学界的「王子」，此时已七十七岁。高斯跳过前两个熟悉的题目，挑中了第三个：《论几何学的基础假设》。这是一个危险而艰深的题目，前人很少敢碰。

演讲者叫黎曼（Bernhard Riemann）。他讲的核心只有一句话：我们凭什么认为空间的几何一定是欧几里得的？空间的「度量」——怎么量长度、怎么量角度——完全可以换一套；换一套度量，就得到一种新的几何。几何的基础，不是先天的直观，而是可以选择的假设。那天在座者大多没有听懂，只有高斯听懂了——据说高斯在回家的路上罕见地表达了热烈赞赏，认为讲的正是他多年思索却未能成形的东西。

这句话的分量，要过半个世纪才被人真正掂量出来。爱因斯坦用它写出广义相对论：行星不是被一种力「拉着」走，而是在一张被质量弄弯的度量上，沿着最直的线自由下落。Hamilton 与 Perelman 用它证出庞加莱猜想。而今天，「度量决定几何」已经成为从纯数学到图像处理、从机器学习到宇宙学的共同语言。

本册要讲的，就是这门由度量生长出来的学问：黎曼几何。它从三个层层递进的问题出发——空间是什么？怎么在上面量东西？它弯不弯？——一路走到曲率张量、比较定理、爱因斯坦场方程与 Ricci 流。

读法建议：本册分六章——第一章建立空间（流形与切空间）；第二章给空间一把尺（黎曼度量）；第三章解决「在弯曲中怎么求导」（联络、平行移动与测地线）；第四章定义曲率（Riemann 的遗产）；第五章从局部走向整体（比较定理与分类）；第六章把几何交给物理（时空、黑洞与 Ricci 流）。若时间有限，读绪论、第二章的度量、第三章的测地线、第四章的曲率，就能把握骨架。

绪论 从哥廷根的演讲出发1854 年哥廷根的那场演讲

★ 高斯自己在 1827 年做过一件让整个数学界震动的事：他证明了曲面上的高斯曲率——一个乍看必须离开曲面、到外面的空间里才能算出的量——其实完全由曲面上量长度的方法决定，与曲面怎样弯在空间中毫无关系。这条「绝妙定理」（Theorema Egregium）意味着：弯曲可以被曲面内部量出来。可高斯只是在一张二维曲面上说这件事。27 年后，黎曼问了一个高斯没敢正面回答的问题：如果空间本身不是欧几里得的，我们凭什么知道？

黎曼的答案分两层。第一层是认识论的：空间是不是「平」的，无法靠直观判定，只能靠测量；而测量需要一套度量规则，规则可以由我们指定。第二层是数学的：一旦指定了度量规则，全部几何——长度、角度、最直的线、弯曲的程度——都被它唯一确定。于是「几何学」第一次变成了一门「由一份数据推演出全部结论」的学科。

为什么这条断言如此有力？因为它把几何从「欧氏还是非欧」的二选一里解放出来：欧氏几何只是「曲率处处为零」的最简单一员。就像函数的概念包含了常函数，度量的概念包含了欧氏度量。从此，几何不必再争「哪一种才是真的」，而可以问「给定这一种，会推出什么」。

黎曼的措辞比后来人想象的更彻底：他说度量是「无穷小」给出来的——也就是说，只需要知道在每一点、每个方向上走「无穷小的一步」有多长，整个空间的几何就被锁定了。这一句「无穷小」，正是微积分最擅长的战场，也是本册第一章到第三章要逐步兑现的承诺。

绪论 从哥廷根的演讲出发Riemann 的三个问题：空间、度量、曲率

★ 黎曼的演讲其实是在回答三个层层递进的问题：什么是空间？怎么在上面量东西？它弯不弯？这三个问题至今仍是黎曼几何的全部骨架，也正好对应本册的编排。

三个问题依次推进，每一步都建立在前一步之上：

这三个问题的次序为什么必须如此：没有空间概念，就无处放置尺子；没有尺子，就无从谈弯曲。这也是本册的展开次序——第一章解决「空间是什么」，第二章解决「怎么量」，第三章解决「怎么求导、怎么走直路」，第四章才定义曲率，第五、六章走向整体与应用。跳过任何一步，后面的概念都会悬空。

绪论 从哥廷根的演讲出发从曲面到流形：黎曼几何是什么

★★ 要理解黎曼几何究竟研究什么，最好的办法是沿着「曲面 → 流形」这条线走一遍，看每一步多出了什么。

第一步：曲面。一张曲面（比如球面）活在三维空间里，我们可以说它「弯」。此时「弯」有两种含义：从内部量（沿曲面走、比长度），和从外部看（它相对背景空间的样子）。高斯 1827 年的定理说，这两种含义对高斯曲率而言竟然一致——这给了黎曼启发。

第二步：去掉背景空间。黎曼的革新在于：把「背景空间」整个删掉。他问，如果只留下一套在每点量长度的规则，能不能重新长出几何？答案是能。这样的对象叫流形——它不需要先「活」在某个更大的欧氏空间里。

第三步：几何的身份变了。在欧氏几何里，长度、角度、平行是「天生」的；在黎曼几何里，它们全部由度量这份数据推导出来。于是「几何」从一门描述既成图形的学问，变成一门从数据出发的推演。

这张卡片其实就是全册的目录：第二章讲度量，第三章讲联络与测地线，第四章讲曲率。而第五章会揭示一件事——曲率不只是局部数据，它像一只看不见的手，规定着空间的整体命运：正曲率逼出紧致，非正曲率给出可缩。这正是黎曼几何比古典曲面论更深刻的地方。

一个常见误解：以为黎曼几何是「弯曲的欧氏几何」。更准确的说法是——黎曼几何是一族几何的框架，欧氏几何只是其中曲率处处为零的一员。框架的力量在于，它可以容纳无穷多种几何，而它们共享同一套语言：度量、联络、测地线、曲率。

绪论 从哥廷根的演讲出发三百年路线图：从 Gauss 到 Einstein 与 Perelman

★★ 黎曼几何的历史有一条极清晰的脉络：每一步都在多问一句「这份度量还能推出什么」。沿着这条线走一遍，全册的结构就一目了然。

1827 · Gauss 的绝妙定理。高斯证明高斯曲率只由曲面上的尺子决定，开启「内在几何」。这是整条线索的起点，本册第四章 §4.13 会用黎曼曲率把它重讲一遍。

1854 · Riemann 的演讲。黎曼把「曲面」推广成任意维的「流形」，几何第一次可以脱离外部空间而自立。这一年通常被视为现代几何的开端，也是本册绪论的题目来源。

1915 · Einstein 的广义相对论。爱因斯坦把引力解释为时空的弯曲，用的正是黎曼半个世纪前铺好的路。第六章会把这条物理线索讲透。

1917 · Levi-Civita 的平行移动。列维-齐维塔给出「沿曲线搬运向量」的严格定义，让「曲率＝平行移动不可交换」这一直觉有了精确形式——这是第三章与第四章的枢纽。

1982–2003 · Hamilton 与 Perelman 的 Ricci 流。让度量按自己的 Ricci 曲率流动，几何竟能被「加热」到均匀。Perelman 用这套工具证出庞加莱猜想，把黎曼几何推上了当代数学的巅峰。

把这条线连起来看，可以发现它其实是一条抽象度递增的线：从一张具体的曲面，到任意维的流形，再到把度量当变量让它动起来。本册的六章，正是这条线的一次巡礼。

绪论 从哥廷根的演讲出发预备工具箱：微积分、线性代数与拓扑

★★ 黎曼几何站在三样旧工具的肩膀上。这一页把它们清点一遍，并声明本册的自给自足约定：凡是要用到的结论，都在需要它的那一页现学现用；文末设速查表，随时可回查。

关于记号的一处约定。本册统一采用「指标记号」与「无指标记号」双轨制：凡涉及具体计算（曲率分量、Christoffel 符号），用带上下指标的分量式；凡讲结构与定理（联络的公理、比较定理的陈述），用无指标记号。两套记号在第四章 §4.2 正式打通。

绪论 从哥廷根的演讲出发本书的地图与读法

★ 最后交代读法。本册的八站一线，可以按三种节奏读。

关于例题、习题与实验。每章的例题页演示「怎么算」，习题页给出「自己动手」的题目（末附提示），挑战页是全章最硬的一道题（多是某个经典定理的完整证明），实验页则把公式写成可运行的脚本，用数值对拍验证解析结论——公式、代码与数据在同一页上握手，这是本册的一条硬性要求。

关于札记。每章末尾的〖札记〗做一次中西对照：把当章的概念放到中国数学传统与现代史的双重视野里看。它们不承担主线推导，但能让人看见同一件事在不同传统里的不同面孔。

下一页开始，我们从「空间是什么」讲起——这是全册的第一站，也是最基础的一站。

绪论 从哥廷根的演讲出发绪论地图：全书路线图

★★ 一张图收下全册的路线，一张表交代各章的任务与出口。

提醒一句：本册的每一站都不是孤岛。读到第四章的曲率时，回想绪论这张图，便会发现：从第一站的「空间」到第四站的「曲率」，中间只隔了一份度量。这就是黎曼几何最迷人的地方：一份数据，推演出全部几何。

第一章 光滑流形与切空间第一章导引：地球表面为什么看起来是平的

站在旷野上环顾四周，大地看上去是一张平面；可坐飞机绕地球一圈，它分明是一个球。这个再普通不过的经验里藏着黎曼几何的第一课：「平」与「弯」不是绝对属性，而是相对于尺度而言的。一个空间可以局部像欧氏空间、整体却完全不同——把这条经验提炼成精确的数学定义，就是本章的任务。

要造的对象叫光滑流形：一个「每一点附近都有一张与平面开集对应的地图（坐标卡）、且地图之间光滑粘合」的空间。它把「曲面」推广到任意维：球面、环面是二维的，而相空间、时空、矩阵群可以是四维、五维乃至无穷维（本册只做有限维）。

光有空间还不够做微积分——微积分的对象是「变化率」，需要「方向」。于是本章还要造出第二件工具：切空间。在弯曲空间里，「过一点的速度向量」不再能借用外面的空间来定义；本章给出它的三种等价面孔——曲线的速度、方向导数、导子——并证明它们殊途同归。有了切空间，才能谈「每一点上的线性代数」，进而才能谈度量（第二章）。

本章是全册的地基。它不涉及「量长度」（那是第二章的事），只回答一个问题：什么是一个不需要外部参照的空间，以及在这样的空间里「方向」意味着什么。

第一章 光滑流形与切空间1.1 从曲面到流形：局部像欧氏空间

★ 从一张世界地图说起。「局部像欧氏空间」这句话有三个关键词，每一个都要说清。

关键词一：局部。「局部像平面」不等于「整体是平面」。球面整体是弯的，但任取一小块（比如一个城市），它与平面的一小块几乎无法区分。数学上的说法是：对每一点，都存在一个包含它的小邻域，这个邻域与平面某个开集一一对应。注意是「存在一个」，而不是「整个空间」——这正是曲率藏身的地方。

关键词二：欧氏空间。记 ℝⁿ 为 n 维实向量空间带上标准的坐标与内积。所谓「像 ℝⁿ 的开集」，就是与它的某个开子集（比如一个方块）之间存在一一对应。维数 n 是空间的本质属性——可以证明，连通流形上不同点的「局部维数」必须一致（这需要一点拓扑，本册从简）。

关键词三：不需要外部空间。这是黎曼立场最彻底的一步。曲面论里，曲面「活」在三维空间里；但流形不需要。一张流形就是它自己，它的「存在」由「局部像 ℝⁿ」这一条性质定义。我们不再问「它在哪儿弯着」，只问「它自己内部量出了什么」。

把这三点合起来：「流形是一个每点局部都像欧氏空间的空间」。球面是流形，环面是流形，一个 Möbius 带也是流形（虽然不可定向）；而一个「有两个尖点交叉的8字形曲线」不是流形——交叉点附近无论多小都不像一段直线。

第一章 光滑流形与切空间1.2 拓扑流形与坐标卡

★★ 把上一页的直觉写成定义，需要先准备一点拓扑语言。

条件①②看似技术性，实则缺一不可：Hausdorff 排除「两点粘成一点」的病态；第二可数保证单位分解（§1.15）存在，从而度量的存在性（第二章 §2.8）成立。本册默认流形满足这两条。

坐标卡是什么？它就是一张地图：把流形的一小块「摊平」到平面上，给每个点发一组坐标。地球仪配一本地图册，正是同一件事——每页地图覆盖一片区域，整本地图册覆盖整个地球。

两张卡的重叠带（如赤道附近的环带）上，一个点同时拥有两组坐标。若两张卡的定义域 U₁ 与 U₂ 相交，则「先经 φ₁ 到平面、再经 ψ₁∘ψ₂⁻¹ 换到另一组」定义了平面开集之间的同胚，称为转移映射。它就是两张地图互相换算的规则。

一个术语提醒：坐标卡 φ : U → ℝⁿ 常被省写为「局部坐标 (x¹, …, xⁿ)」——即把 U 中的点 p 对应到它的 n 个坐标分量。两种说法完全等价。

第一章 光滑流形与切空间1.3 光滑结构：图册与相容性

★★ 拓扑流形只规定了「连续」，还没规定「光滑」。要在上面做微积分，必须补上最后一块拼图。

问题出在转移映射上。两张卡重叠处的换算规则 φ₂∘φ₁⁻¹ 是平面开集之间的映射——它可以光滑，也可以不光滑。若它不光滑，那么「一个函数在卡 A 里光滑」到了卡 B 里就可能不光滑：「光滑」将失去坐标无关的意义。

这个定义的说服力在一条引理上：

证。设 φ、ψ 是两张相容的卡，f∘φ⁻¹ 光滑。则 f∘ψ⁻¹ ＝ (f∘φ⁻¹)∘(φ∘ψ⁻¹)，是两个光滑映射的复合，故光滑。∎

这条引理值一个章的篇幅：它说明光滑性不再属于坐标，而属于流形本身。以后凡说「光滑」，都指这条意义；具体验证时，随手取一张方便的卡即可。

一个著名的事实（了解即可）：同一个拓扑流形可以有不完全等价的光滑结构（四维欧氏空间 ℝ⁴ 有不可数多种）。这说明光滑结构是附加的数据，不是拓扑自动附带的。本册固定一张光滑结构后不再变动。

第一章 光滑流形与切空间1.4 光滑映射与微分同胚

★★ 有了光滑结构，「光滑映射」立即可以定义。

注意定义只要求「局部」能取到相容的卡——这是光滑结构相容性自动兑现的：换别的卡，复合仍然光滑（与上一页引理同理）。于是「光滑」再次成为坐标无关的属性。

微分同胚是黎曼几何里「相同」的概念：两个微分同胚的流形，在只讨论光滑结构时不可区分。注意它与「同胚」的差别：同胚只要求连续的双射，微分同胚还要求两边都光滑。一个有趣的例子：球面与一个「压扁成椭球」的球面微分同胚（压扁映射及其逆都光滑），但球面与环面连同胚都不是——因为它们的基本群不同（本册第五章会用比较定理再次触碰这一点）。

「局部像 ℝⁿ」在光滑语言下的准确表述是：每一点都有邻域微分同胚于 ℝⁿ 的开子集。坐标卡的本质，就是一张「局部的微分同胚」。

第一章 光滑流形与切空间1.5 切向量：三种等价的面孔

★★ 现在造本章的主角：切向量。困难在于——在弯曲空间里，「过一点的方向」不能再用「从这一点指向另一点的箭头」来定义，因为那样就借用了外部空间。黎曼立场要求完全从内部定义。有三条路，殊途同归。

面孔一最直观：切向量就是「一点上跑动的瞬时速度」。面孔二最有用：它把向量变成一台「吃函数、吐数字」的机器，可直接计算。面孔三最抽象也最干净——下一页展开。

为什么三种定义等价？面孔一里，同一速度类的曲线在任一卡里一阶导数相同，因此面孔二给出的数与曲线的具体选取无关（只需卡里一阶导数相同）；面孔二里，若两条曲线的方向导数对所有函数一致，则它们在卡里的一阶导数必相同（取坐标函数即可验证），故是同一面孔一。三条定义互逆贯通。

一个记号约定：p 点的切向量记 v ∈ T_pM，读「v 属于 p 点的切空间」。面孔二常写作 v[f] 或 df(v)。

第一章 光滑流形与切空间1.6 切空间与导子

★★★ 面孔三把切向量定义成导子（derivation）。这是现代教材的标准定义，值得完整展开。

Leibniz 律就是乘积求导法则——它是「导数」的灵魂。任何满足它的规则，都表现得像一个「沿某个方向求方向导数」的操作。下面这条定理把直觉变成事实。

维数为什么恰好是 n？取一张卡 φ，坐标函数 x¹, …, xⁿ。定义 ∂/_∂xⁱ 为「对第 i 个坐标的方向导数」（面孔二直接给出）。可以证明：任何导子 v 都能唯一写成 v ＝ Σ vⁱ ∂/_∂xⁱ，其中 vⁱ ＝ v(xⁱ)。证明的关键一步是：对任何光滑函数 f，在 p 附近用 Taylor 展开写 f(f(x) ＝ f(p) ＋ Σ (xⁱ − pⁱ)·g_i(x)，g_i(p) ＝ ∂f/∂xⁱ(p))，再让导子作用——常数项被吃掉，交叉项被 Leibniz 律消掉，只剩坐标方向。∎

切空间 T_pM 是线性代数的世界：向量、线性映射、内积、行列式，全部适用。黎曼几何的分工由此确立——非线性与弯曲留给流形，线性代数发生在每一点的切空间里。第二章的度量，正是在每个切空间里放一个内积。

第一章 光滑流形与切空间1.7 坐标基与向量的分量

★★ 上一页已出现「坐标基」。这一页把它正式立起来，并算清分量的变换规则——这是本册计算的基本功。

分量的几何意义。vⁱ ＝ v(xⁱ)：第 i 个分量就是「v 作用于第 i 个坐标函数」的值——即沿 v 走一步，第 i 个坐标的变化率。

换卡时分量怎么变？设另一张卡给出坐标 (y¹, …, yⁿ)，转移映射 y ＝ y(x)。链式法则直接给出：

这正是线性代数里「基变换下坐标的变换规则」：向量本身不变，分量随基变。本册后面所有「张量」的定义，都以这条规则为模板——分量按特定规则变换的对象才叫张量。

算一个具体例子：球面的地理坐标 (θ, φ)（θ 极角，φ 方位角）。向东的速度向量 = ∂/∂φ，向北的速度 = ∂/∂θ。注意这两个「坐标基向量」的长度并非常数——这与第二章的度量直接相关，届时回头再看。

第一章 光滑流形与切空间1.8 映射的微分：推前

★★ 切空间解决「一点上的方向」，映射的微分解决「方向如何被映射搬运」。这件工具叫推前（pushforward）。

想法一句话：光滑映射 F : M → N 把曲线推成曲线（γ ↦ F∘γ），曲线有速度，于是把速度也推了过去。

分量式。取 M 的坐标 xⁱ 与 N 的坐标 y^a，则

即推前的矩阵就是 Jacobi 矩阵——多元微积分里「导数＝线性近似」这件事，在流形上获得了坐标自由的身份。

推前是全册出场率最高的工具之一：第三章用它定义「沿曲线的向量场」，第五章用它比较不同空间的切空间，第六章把它用到时空上。

第一章 光滑流形与切空间1.9 向量场与积分曲线

★★ 切向量定义在「一点」上；把它逐点铺开，就是向量场。

向量场最生动的形象是「流」：把它想象成空间里处处都在流动的水流，每点一个速度。顺着水流走出的曲线称为积分曲线：

在局部坐标里，积分曲线方程就是一组常微分方程 dxⁱ/dt ＝ Xⁱ(x(t))——常微分方程的存在唯一性定理立即给出：过每一点、每个方向，恰好有一条积分曲线（局部）。这是第三章测地线「存在且唯一」的直接模板。

流（flow）。把所有积分曲线打包：φ_t(p) ＝「p 点的水滴走了时间 t 后的位置」。它是一个局部定义的映射族，满足群的规律 φ_t∘φ_s ＝ φ_t+s（先流 s 再流 t 等于流 t+s），称为 X 的流。流是「空间在自己的方向场上滑动」——一个内在的、不需要外部参照的运动。

一个例子：圆周上的常速场 X ＝ ∂/∂θ（θ 为角度坐标）的流是旋转 φ_t(θ) ＝ θ + t；而场 X ＝ sin(θ)·∂/∂θ 的流在 θ ＝ 0 处停住——那里是「源」（不稳定平衡）或「汇」（稳定平衡）。

第一章 光滑流形与切空间1.10 Lie 括号：向量场的对易子

★★★ 两个向量场 X、Y，它们「互相不交换到什么程度」？这个问题问出了一个深刻的不变量。

在平面上，这问题可以借着「方向」的直觉理解：先向东走 1 步再向北走 1 步，与先北后东，终点相同——因为平移交换。但在弯曲空间（甚至平面上变方向的场）里，这两个终点未必相同。「先 X 后 Y」与「先 Y 后 X」的差，就是 Lie 括号。

基本性质。① 反对称：[X, Y] ＝ −[Y, X]；② Jacobi 恒等式：[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] ＝ 0；③ 对函数的 Leibniz 律：[fX, Y] ＝ f[X, Y] − (Yf)·X。这三条合起来说明：M 上的向量场在 Lie 括号下构成一个 Lie 代数——「对称性」的代数框架。

什么时候括号为零？[X, Y] ＝ 0 称为 X、Y 对易。此时两股流可交换：先沿 X 流 s 再沿 Y 流 t，与先 Y 后 X 结果相同。对易性是「坐标系可以同时拉直」的判据——本册后面讲法坐标（第三章 §3.13）时将再次用到。

第一章 光滑流形与切空间1.11 切丛与向量场的模结构

★★★ 把所有切空间摞在一起，得到一个更大的空间——切丛。它是黎曼几何的舞台。

「TM 是流形」需要一点手续：给 TM 配坐标。取 M 的卡 (U, φ)，则 U 上的切向量由 (x¹, …, xⁿ; v¹, …, vⁿ) 唯一表示，这就给 π⁻¹(U) 配了一张 2n 维的卡。相容性由 §1.7 的分量变换规则保证。

向量场是切丛的截面。一个向量场 X 是一个映射 X : M → TM，满足 π∘X ＝ id_M（每点映回自己脚下的切空间）。换句话说：向量场就是「在每一点头上插一支箭」的光滑选择。

𝔛(M) 的代数结构。向量场可以相加（X + Y 逐点相加）、可以乘函数（fX 逐点缩放），故 𝔛(M) 是光滑函数环 C^∞(M) 上的一个模——「模」就是「系数不再取域、而取环」的向量空间。此外 Lie 括号让 𝔛(M) 成为 Lie 代数（上一页的三条性质）。代数与几何在此握手：几何对象（向量场）构成代数对象（模与 Lie 代数），研究代数就是在研究几何。

「切丛是否平凡」是个深刻的问题：若 TM ≅ M × ℝⁿ（作为向量丛），称 M 可平行化。球面 S² 不可平行化（毛球定理的推论），而环面可平行化——这也是「环面上有处处非零的平坦度量」的原因之一。本章挑战页会回到它。

第一章 光滑流形与切空间1.12 光滑函数环与切空间

★★ 有一个反过来「由函数决定切空间」的观点，值得单独一页：它把「几何对象＝代数对象的谱系」这一现代思想第一次摆上台面。

核心观察：切空间 T_pM 完全由「作用在光滑函数环 C^∞(M) 上」的方式决定。事实上，导子 v 的全部信息就是它对每个函数给出的数——知道 v 怎样吃函数，就完全知道 v。于是切空间可以「从函数一侧」重建：

这不仅是换个说法，它带来三个收获。

一个反直觉的推论：常数的导数是零。由 Leibniz 律：v(1) ＝ v(1·1) ＝ v(1) + v(1)，故 v(1) ＝ 0；由线性 v(c) ＝ c·v(1) ＝ 0。这一行计算是所有「导数消灭常数」证明的模板。

余切空间一瞥（第三章的主角，此处只预告）。导子 v 作用在函数 f 上给出数 v(f)——这个「配对」对 f 固定时是 v 的线性函数。于是「函数的微分」df 定义为：df(v) ＝ v(f)，它是 T_pM 上的线性函数，即属于余切空间 T^*_pM。度量 g 会住在余切空间的张量积里（第二章 §2.3），这是「协变」与「逆变」的根源。

第一章 光滑流形与切空间1.13 子流形与嵌入

★★ 本册反复使用的例子——球面、环面、旋转曲面——都是「住在欧氏空间里的流形」。这层关系叫嵌入。

推前处处是单射这一条，正是「F 局部不折叠、不压扁」的条件：两个不同的方向被送到两个不同的方向。球面到三维空间的包含映射是嵌入；而「把圆周按8字形浸到平面里」的映射不是嵌入——交叉点处两个方向被压成同一个，推前不再是单射。

这给了一条实用的桥梁。对嵌入子流形，「内在的切空间」与「外在的切平面」是同一个东西：前者是抽象定义的导子空间，后者是「贴着曲面的那张平面」。高斯时代的人用后者思考，黎曼立场用前者思考——两者一致，正是「内在几何」成立的根据。

由此也看清楚「流形」与「子流形」的分工：流形是内在的（不问住在哪儿），子流形是带嵌入的流形（附带一个住处）。本册主角是前者；但为了画图与计算，例子几乎总以子流形的面貌出现——这是「用画图帮助理解、用定义保证严格」的常见分工。

第一章 光滑流形与切空间1.14 流形上的方向导数

★★ 把前几节的工具合起来，看「流形上的微积分」长什么样。本页建立三件东西：微分、梯度（预告）、以及一条恒等式。

① 光滑函数的微分。对 f : M → ℝ 与 v ∈ T_pM，定义 df_p(v) ＝ v(f)。这是推前的特例（把 ℝ 当一维流形）。在坐标里，

其中 dxⁱ 是坐标函数的微分，满足 dxⁱ(∂/_∂x^j) ＝ δⁱ_j（第 i 个坐标方向上只认第 i 个坐标）。

② 链式法则（流形版）。对光滑映射 F : M → N 与函数 h : N → ℝ，

即「先推前、再微分」＝「复合后微分」。这是推前定义的直接推论，也是全部计算的工具。

③ 方向导数与 Lie 括号的恒等式。对函数 f 与向量场 X、Y：

（这正是 Lie 括号的定义。）它有一个漂亮的推论：二阶方向导数一般不可交换——「先沿 X 再沿 Y」与「先 Y 后 X」作用于 f 之差恰是 [X,Y](f)，一个一阶量。弯曲空间里「求导次序不交换」，第四章的曲率正是这一现象的精确度量。

到这里，「在流形上做微积分」的工具已经齐备：切空间（方向）、推前（映射搬运方向）、向量场（逐点方向场）、Lie 括号（不交换的度量）。下一节起处理最后一个技术问题：怎样把「局部」的信息拼成「整体」的对象。

第一章 光滑流形与切空间1.15 单位分解：把局部拼成整体

★★★ 流形只有「局部坐标」；可很多对象（度量、积分、向量场）需要「整体」。把局部拼成整体的黏合剂，叫单位分解（partition of unity）。

它为什么存在？拓扑流形的「第二可数」条件保证存在可数的局部有限加细覆盖，而 ℝⁿ 上有现成的「凸组合光滑台阶」函数（例如 exp(−1/t) 一族的商），把它贴到每张卡上再归一化，就得到单位分解。证明是纯技术性的，本册从略；重要的是它会用。

标准用法（本册将用三次）。要在整个流形上定义一个「整体」对象，而手头只有「每张卡上一个局部对象」：把局部对象乘上 ρ_α，再对 α 求和。因为每一点附近只有有限个 ρ_α 非零（局部有限），求和有意义；因为 ρ 求和为 1，结果不偏不倚。

一句要点：单位分解是「局部数据 → 整体数据」的通用转换器。黎曼几何的一切存在性论证（度量存在、联络存在），背后都是它。

第一章 光滑流形与切空间1.16 常见流形图鉴

★★ 认识几个本册反复出场的流形。每个都给出维数、图册要点与一句话特征。

读这张图鉴的方法。三个问题逐个问：① 维数多少（局部像 ℝⁿ 的哪个 n）？② 怎么配卡（需要几张、重叠处怎么粘）？③ 整体有什么「洞」或「扭」（连通性、基本群、定向）？前两问是第一章的事，第三问在第五章比较定理与整体分类里会有回响。

一个重要的「非流形」。把两条线段在中点交叉（8 字形）得到的图形不是一维流形：交叉点无论取多小的邻域都含四个分支，不像一段开区间。这条反例说明「局部像欧氏」是实质性的约束，不是自动成立的。

第一章 光滑流形与切空间例题一：坐标卡与切向量的计算

★★ 例题页演示「怎么算」。本页把球面上的切向量算一遍，体会「分量随基变」。

第一章 光滑流形与切空间例题二：向量场、积分曲线与 Lie 括号

★★★ 本页在平面上把向量场的三个动作各算一遍：求流、求括号、验证对易。

体会一下：对易与否不是「计算游戏」。例 1-4 的零括号意味着两股流可交换次序；例 1-5 的非零括号意味着不可交换——Lie 括号是把「次序差」变成可计算量的机器。第四章将看到：曲率正是「联络的 Lie 括号」式对象。

第一章 光滑流形与切空间习题课（一）：流形与切空间基本功

★★ 先做基本功。前四题只用到定义，后两题需要一点计算。

做完这六题，§1.1–1.8 的定义就不再是文字，而是可以动手操作的工具。

第一章 光滑流形与切空间习题课（二）：向量场与推前的进阶

★★★ 进阶题：向量场、流、Lie 括号与推前。

题 1-10 的现象提醒我们：完备性不是免费的，它是第五章 Hopf–Rinow 定理的核心假设。

第一章 光滑流形与切空间第一章地图：概念依赖关系

★★ 一张图收下第一章。

第一章 光滑流形与切空间第一章小结（上）：定义清单

★ 本章定义较多，全部收进一张清单，按「空间 → 光滑 → 切空间 → 场与丛」四组排列。

第一组：空间。① 拓扑流形：Hausdorff＋第二可数＋每点局部同胚 ℝⁿ。② 坐标卡：局部同胚 φ : U → ℝⁿ。③ 图册：覆盖全空间的卡之族。

第二组：光滑。④ 相容：转移映射 φ₂∘φ₁⁻¹ 双向光滑。⑤ 光滑结构：极大相容图册；(M, 结构) ＝ 光滑流形。⑥ 光滑映射：卡复合后光滑。⑦ 微分同胚：双向光滑的双射——「相同」的标准。

第三组：切空间。⑧ 切向量的三张面孔：曲线速度 / 方向导数 / 导子。⑨ 导子：线性＋Leibniz 律。⑩ 切空间 T_pM：全体导子，n 维向量空间。⑪ 坐标基：∂/∂xⁱ；分量 vⁱ ＝ v(xⁱ)。⑫ 余切空间（预告）：df(v) ＝ v(f)。

第四组：场与丛。⑬ 推前 dF_p：Jacobi 矩阵的坐标自由版。⑭ 向量场：逐点切向量的光滑选择。⑮ 积分曲线与流：γ′ ＝ X 的解；φ_t 满足群律。⑯ Lie 括号：[X,Y](f) ＝ X(Yf) − Y(Xf)。⑰ 切丛 TM：全部切空间摞成的 2n 维流形；向量场 ＝ 截面。⑱ 嵌入：微分同胚到像；子流形的切空间是环境切空间的子空间。⑲ 单位分解：ρ_α 从属于覆盖、和为 1。

记忆的抓手：三个「世界」——点组成流形（非线性），切空间是线性代数（每点一个），函数环是代数（导子从代数侧看几何）。本章全部定义都是这三者之间的来回翻译。

第一章 光滑流形与切空间第一章小结（下）：定理与方法

★★ 把本章的定理与方法按「为什么成立 / 怎么用」整理。

三个最容易犯的错。① 把切向量分量当长度（长度需要度量！）；② 在换卡时忘记 Jacobi 矩阵取决于「新坐标是旧坐标的函数」这一方向；③ 把 Lie 括号当成二阶对象——二阶项恰好相消。

一句话收束本章：流形给出了「空间」，切空间给出了「方向」，光滑结构保证了「坐标自由」——但到此为止，我们还无法回答「从 p 走到 q 有多远」。这把尺子，下一章就造。

第一章 光滑流形与切空间思想卡：流形——把「局部平坦」变成公理

第一章 光滑流形与切空间挑战：球面的切丛不是平凡的

★★★★ 本章最硬的一题。断言：不存在 S² 上处处非零的光滑切向量场——即切丛 TS² 不同构于 S²×ℝ²。这条结论有个形象的名字：毛球定理（无法把一个球上的毛全部梳平）。

证明路线（借一臂之力＋完整验算）。主武器是 Poincaré–Hopf 指标定理：对紧致流形 M 上只有孤立零点的向量场 X，把每个零点处的「指标」（零点附近场的环绕圈数）加起来，总和恰等于 Euler 示性数 χ(M)。这一定理的完整证明超出本章（需要同调论或 Gauss 映射的度数理论，第六章的语境里会给出球面情形的初等证明），此处作为引用；而把它应用到 S² 的验算，我们完整地做。

延伸一问：环面 T² 上存在处处非零的切向量场吗？存在（两个坐标方向场 ∂/∂θ₁、∂/∂θ₂ 处处非零、处处线性无关）。χ(T²) ＝ 0——指标定理再次对上账。χ 是否为零，正是「能否梳平」的第一道关卡。

第一章 光滑流形与切空间实验：坐标变换与切向量的数值核验

★★ 本册实验页的规矩：公式、代码与数据在同一页上握手。本页验证 §1.7 的分量变换规则——同一个向量在直角与极坐标下的分量，由 Jacobi 矩阵互相换算。

实验设计。取点 P（r ＝ 2.5，θ ＝ 30°）上的向量 v，其直角坐标分量为 (1.5, 2.0)。按变换规则算极坐标分量，再由极坐标分量重建直角分量，看是否回到 (1.5, 2.0)。

import math
V = (1.5, 2.0)                    # 直角坐标分量
r, th = 2.5, math.radians(30.0)   # 点 P 的极坐标
c, s = math.cos(th), math.sin(th)
# 分量变换（Jacobi）：vj = Σ (∂yj/∂xi) vi
v_r =  c * V[0] + s * V[1]
v_t = (-s * V[0] + c * V[1]) / r
# 重建：v = v_r * e_r + v_t * e_t（e_r=(c,s), e_t=(-r*s, r*c)）
wx = v_r * c + v_t * (-r * s)
wy = v_r * s + v_t * ( r * c)
print((v_r, v_t), (wx, wy))

实跑输出（与上图逐字一致）：

(2.299038105676658, 0.39282032302755117) (1.5000000000000004, 1.9999999999999998)

换一组样本再拍一次（P：r ＝ 3、θ ＝ 60°；v ＝ (2, −1)）：极坐标分量为 (0.1340, −0.7440)，重建误差 0.00e+00。两次重建误差分别为 2.22×10⁻¹⁶ 与 0——正是机器精度的水平。结论：分量变了（1.5, 2.0 → 2.299, 0.393），向量纹丝不动。

第一章 光滑流形与切空间〖札记〗《周髀算经》的「地方如棋局」与大地测量

★★ 「大地是平的」是人类最古老的直觉，也是流形概念最好的反面教材。

中国最古老的天文数学文献《周髀算经》（约成书于公元前 1 世纪，素材更早）开篇记载了周公问算于商高的一段对话：「方属地，圆属天，天圆地方。」——大地被想象成一块平整的方棋盘（「地方如棋局」），天是扣在上面的圆盖。在这个图景里，大地是二维欧氏平面，两点间直线最短，勾股定理处处成立。陈子的「日高术」正是在这张平面上，用两根表杆的影子差与距离，按相似三角形推算日高：同一时刻南北两地立表测影，影差与地面距离成比例，比例由相似形给出——整套算法都以「大地是平的」为前提。

但这个前提是可以被测量检验的。古希腊的埃拉托色尼（约公元前 240 年）注意到同一时刻赛伊尼的井底阳光直射、而亚历山大城的方尖碑有 7.2° 的影子——若大地是平的，两地的阳光方向理应完全一致。他用这个角度差除以两地距离，量出了地球周长，误差在现代单位的百分之几量级。「平」从此不再是理所当然，而是一个可以用一次测量推翻的假设。

流形概念把这个教训提炼成逻辑结构：「局部平坦」可以成立，同时「整体形状」完全自由——地球表面正是最好的例子：每一小块都近乎平面（测绘时我们每天都这么用），整体却是一个封闭球面。中国传统测绘里同样积累了这类「局部平、整体弯」的经验：元代郭守敬主持「四海测验」，在全国设二十七个观测点测影量天，其「以地面距离换算天顶差」的做法，实际上已经在球面几何的边缘工作（本册第二章札记会回到弧度测量与郭守敬的「四海测验」）。

一句收束。黎曼的第一步——把「局部像欧氏空间」立为定义、把「整体是什么形状」留给度量去回答——在观念上，正是把《周髀》的棋盘与埃拉托色尼的角度差放进同一个框架：平，是局部的假设；弯，是整体的测量结果。

第一章 光滑流形与切空间第一章速查表

★ 一页收下本章全部公式与定义。

使用建议：做题时把这张表摊在手边；第三章讲联络时，「分量变换」与「推前」两行会被反复引用。

第一章 光滑流形与切空间衔接讲义：通往度量——只有切空间还不够

★ 第一章的装备清单上还缺一件最关键的东西。清点一下已有什么、缺什么。

已有。空间（流形）——「在哪里」；切空间——「每一点上有哪些方向」；光滑结构——「什么叫做可微」；向量场与流——「方向场与沿场运动」。

缺什么？三个「无法回答」：从 p 走到 q 有多远？（第一章完全无法回答——没有长度的概念。）两个方向夹角多大？（无法回答——没有角度。）这块小区域多大？（无法回答——没有面积。）

三个「无法」指向同一处缺口：切空间里没有内积。方向有了，但「方向的长度」没有定义——向量场 X 在每点给出一个箭头，可这箭头多长、两支箭头夹角多少，全都不在第一章的公理里。

于是第二章的任务精确地锁定为：给每一点的切空间配一个内积。这件装备叫黎曼度量 g。它看似只是「每点一个线性代数对象」，但我们将看到，就这一份数据足够推出全部几何：

一份数据，四层推论——这就是「黎曼几何」四个字的全部分量。下一页开始造这把尺子。

预告一个容易忽略的要点：度量的「存在」由单位分解保证（任意流形上都能造出度量），但度量的「选择」完全自由——同一个流形上可以有无穷多种度量，每一种都定义一套几何。第二章 §2.8 正式讲这一点。

第二章 黎曼度量：给空间一把尺第二章导引：一把随身携带的尺子

上一章结束时，我们手里有一个空间（流形）和每一点上的方向（切空间），却无法回答「从 p 走到 q 有多远」。本章补上这块拼图：黎曼度量——在每个切空间上指定一个内积。

这件事初看平淡，细看惊人。它的「平淡」在于：内积是线性代数里最熟悉的对象，定义只有一行。它的「惊人」在于：就这一份数据，足够推出全部几何——曲线的长度、两条线的夹角、区域的面积与体积、什么是「直」（测地线）、空间「弯不弯」（曲率），全部由它算出。第二章先兑现前一半（长度、角度、体积），后一半留给第三、四章。

本章的路线：先定义度量并看它在坐标里的样子（度量张量 g_ij）；再由它导出三大几何量——弧长、夹角、体积元；然后参观几个标准模型（欧氏、球面、双曲、环面），看「继承」（诱导度量）与「复制」（等距、保角）这两种最基本的关系；最后用单位分解证明任何流形上都有度量，并讲清「度量是坐标无关的」这条立身之本。

读完本章应当能回答：为什么说「度量是几何的全部输入」？球面的尺子是怎么从三维空间「继承」下来的？为什么圆柱面摊平后长度不变？

第二章 黎曼度量：给空间一把尺2.1 度量：在切空间上给一个内积

★ 先回忆线性代数：向量空间 V 上的内积是一个双线性、对称、正定的函数 ⟨·,·⟩ : V×V → ℝ。它给出向量的长度 ⟨v,v⟩^1/2 与夹角 cos θ ＝ ⟨v,w⟩/(|v||w|)。

黎曼的做法是把这台机器逐点安装：在每一点 p 的切空间 T_pM 上放一个内积。逐点装配本身没有难度，真正的要求是「光滑」——当 p 移动时，内积随 p 光滑地变化。这条光滑性要求正是「内积场」成为几何对象的门槛。

度量的几何图像。一个内积等价于一个「单位球」：所有满足 ⟨v,v⟩ ≤ 1 的向量构成切空间里的一个椭球（正定保证是椭球）。于是「给度量」可以直观地理解为：在每个点上规定「单位长度的箭头长什么样」。

为什么从内积出发，而不是直接定义「两点间的距离」？因为黎曼的洞察：几何的全部信息都在「无穷小」处——只要知道每一点、每个方向上「走一小步有多长」，两点间的距离就可以定义为「所有路径长度的下确界」（本页 §2.4 形式化）。无穷小定全局，这正是微积分的精神。

第二章 黎曼度量：给空间一把尺2.2 黎曼度量的定义

★★ 把上一页的直觉写成定义。

用第一章的语言重述：g 是一个「吃两个向量场、吐一个光滑函数」的映射 g : 𝔛(M) × 𝔛(M) → C^∞(M)，满足：

这种「逐点线性代数、整体光滑」的模式是黎曼几何的通用语法——第三章的联络、第四章的曲率都按同一模式定义。值得在此把语法练熟：一切「逐点对象」的检验，都化作「作用在光滑场上给光滑函数」。

黎曼度量的存在与唯一。存在：任何（第二可数的）流形上都有度量——§2.8 用单位分解证明。唯一：完全没有！同一个流形上有无穷多种度量，每种都定义一套自己的几何。「选一个度量」是黎曼几何的起点而非终点；反过来问「哪些度量使这个空间有某种好性质」则是深层问题（第六章的 Einstein 度量与 Ricci 流正是这类问题）。

一个立即可得的推论：长度、角度、体积都是相对度量而言的。「M 上两点距离多远」这句话在不指定 g 时根本没有意义。黎曼几何里一切量的第一问都是：用哪把尺子？

第二章 黎曼度量：给空间一把尺2.3 局部坐标下的度量张量

★★ 取局部坐标 (x¹, …, xⁿ)，坐标基 ∂/∂xⁱ。度量在这组基下的 n×n 矩阵

称为度量张量的分量。它是 p 的光滑函数，对称（g_ij ＝ g_ji），且处处正定（作为矩阵：所有主子式为正，等价于特征值全正）。反之，给一组对称正定的光滑函数 g_ij(x)，就给定了这片区域上的度量。

两个向量内积的分量为

这正是线性代数里「双线性型用矩阵算」的标准公式——只是矩阵随点变化。

线元。记号上，度量常写成「二次型」形式：

读法：无穷小位移的长度平方。这条公式是全册出场率最高的一行——它的每一项系数 g_ij 就是尺子的全部信息。欧氏平面上 ds² ＝ dx² ＋ dy²；球面上（§2.7）ds² ＝ dθ² ＋ sin²θ dφ²。比较两行 ds²，立刻读出两种几何的不同。

第二章 黎曼度量：给空间一把尺2.4 度量诱导的几何量：长度、角度与体积

★★ 度量到手，三大几何量立即可以计算。

① 曲线长度。光滑曲线 γ : [a,b] → M 的长度：

两点间的距离定义为：d(p, q) ＝ inf{ L(γ) | γ 连接 p 与 q }。这条定义使 (M, d) 成为度量空间（拓扑意义下），且由它诱导的拓扑与原拓扑一致——「度量决定几何」由此落地为一句可以严格陈述的话。

② 夹角。两条曲线在交点的夹角＝它们速度向量的夹角：

③ 体积。n 维体积元由 Gram 行列式给出：

公式看起来吓人，直觉却简单：度量把坐标方格「捏」成平行六面体，它的体积由 Gram 行列式记账。n ＝ 2 时叫面积元，n ＝ 1 时退化为弧长元。

第二章 黎曼度量：给空间一把尺2.5 欧氏空间与标准模型

★ 四个标准模型是本册的「常备样品」。每个都写出 ds² 并读出一句话。

① 欧氏空间 ℝⁿ。ds² ＝ dx² ＋ dy²（＋…）。g_ij ＝ δ_ij（单位矩阵），处处一样。均匀、平直——「平直」的精确定义（曲率为零）在第四章。

② 环面 T²（平坦乘积度量）。把 ℝ² 按格点粘起来，ds² ＝ du² ＋ dv²（u, v 是两个周期方向）。它局部与欧氏完全一样——虽然整体是「弯」的环状。这提示：弯曲感可以纯粹来自整体拓扑，与局部度量无关（第四章把这句话精确化）。

③ 球面 S²。地理坐标 (θ, φ)：

系数 sin²θ 随纬度变化：赤道处（θ ＝ π/2）为 1，两极处为 0——这就是「经线在极点汇拢」的代数表达。§2.7 将看到这行公式的来历。

④ 双曲平面（庞加莱上半平面）。ds² ＝ (dx² ＋ dy²)/y²（y > 0）。离边界越近，分母越小，实际距离被拉得越长——「边缘远在天边」：到边界的距离是无穷（习题验证）。负曲率的模型（第四章）。

四个模型、三种曲率符号——本册的「三色样本」。第五章将证明：常曲率空间整体上恰好分成这三类，别无分店。

第二章 黎曼度量：给空间一把尺2.6 诱导度量：子流形怎样继承尺子

★★ 球面的尺子是哪来的？答案是「继承」：它住在三维欧氏空间里，环境空间自带尺子，把环境尺子限制到子流形的切空间上，就得到子流形自己的尺子。

例：球面。S² 嵌入 ℝ³（半径 R）。地理坐标下，纬线方向的步长：经度变化 dφ 时实际走了 R sin θ dφ（纬线半径是 R sin θ）；经线方向步长 R dθ。于是

——§2.5 的公式得到了「从环境继承」的解释：两个系数都是「实际步长」直接读出来的。

例：圆柱面。参数化 (cos u, sin u, v)：u 方向步长 1·du（半径 1 的圆周），v 方向步长 dv。ds² ＝ du² ＋ dv²。与平面完全相同！这正是 §2.9「圆柱可摊平」的代数根源。

诱导度量把第一章的两个世界接通了：外在的（住在环境空间里）与内在的（自己量自己）。球面与圆柱都由环境继承尺子；但黎曼立场问的是：只拿 ds² 这一行公式、删掉环境，还能推出什么？——答案（第三、四章）是：几乎一切。

第二章 黎曼度量：给空间一把尺2.7 球面与双曲空间的度量

★★ 两个最负盛名的度量，各给一页细读。

球面（半径 R）。继承度量 ds² ＝ R²(dθ² ＋ sin²θ dφ²)。读三个信息：① 纬线圈周长 2πR sin θ，在 θ ＝ π/2（赤道）最大，向两极收缩为 0——「网格在高纬变密」的精确版；② 面积元 dA ＝ R² sin θ dθ dφ，总面积 ∫∫ R² sin θ dθ dφ ＝ 4πR²；③ 到北极的距离 θR——极角 θ 本身就是距离坐标（这是「测地极坐标」的预演，第三章 §3.13）。

双曲平面（上半平面模型）。ds² ＝ (dx² ＋ dy²)/y²。三个信息：① 水平线 y ＝ c 的「实际长度」：∫ dx/c ＝ (区间长)/c——越靠近边界（y 小）同样坐标长度代表的实际距离越大；② 到边界（y ＝ 0）的距离：∫ dy/y ＝ ln(y₀/y) → ∞——边界在无穷远处；③ 面积元 dA ＝ dx dy/y²，在上半平面的有限区域可以装下无穷的「双曲面积」。

为什么这两个度量地位特殊？它们是「常曲率」的两个代表：球面处处 ＋1/R²，双曲处处 −1（第四章正式定义曲率并验证）。常曲率 ＝ 完全均匀 ＝ 每点每方向都一样弯——这样的空间只有三种（第三种是曲率 0 的欧氏），而它们的度量被完整写进了上面两行 ds²。宇宙学的标准模型（第六章）正是这三者的时间依赖版本。

第二章 黎曼度量：给空间一把尺2.8 单位分解与度量的存在性

★★★ 本节兑现 §2.2 的承诺：任何光滑流形上都有黎曼度量。这是单位分解（§1.15）的第一次正式上岗。

证明的读法。三步各有份量：「局部造」（每张卡里抄欧氏内积）、「加权求和」（单位分解的通用动作）、「正定保住」（凸组合保持正定——内积的正锥是凸的）。「局部造、加权拼」这个三段式，是流形上一切存在性证明的模板；第三章造联络时将再次照抄。

存在≠唯一，重申一遍。证明过程依赖卡的选取与分解的选取，换一套做法得到另一个 g。同一个 S² 上既有「标准圆球」度量（继承来的），也可以有「压扁的椭球」度量——两者都合法，但几何不同（前者曲率处处 ＋1，后者随纬度变化）。「几何」不是一个流形自带的，而是流形＋度量一起决定的。

第二章 黎曼度量：给空间一把尺2.9 等距与局部等距

★★ 「两套度量算不算同一套几何？」这是本节的问题。答案由等距给出。

等距保什么？由定义，它保内积，因此保长度（|dF(v)| ＝ |v|）、保角度、保体积、保「由度量算出的一切」——包括弧长积分（换元即可证）与距离函数 d(F(p), F(q)) ＝ d(p, q)。第三、四章将看到它还保联络与曲率。「由度量算出的量」全体构成等距不变量——这句话反过来用更有力：若能找到一个由 g 算出的量在两空间取值不同，则两空间不等距。

圆柱的教训。圆柱面在三维空间里「看起来弯」，但它的诱导度量 ds² ＝ du² ＋ dv² 与平面等距。「外在看起来弯」与「内在真的弯」是两回事——黎曼立场只认后者，第四章的曲率将把「内在的弯」精确定义出来，而圆柱的内在曲率是零。

第二章 黎曼度量：给空间一把尺2.10 保角映射与共形度量

★★ 等距之外还有一层松一些的「像」：只保角度、不保长度。

「倍数不随方向变」正是「保角」：两个方向的夹角由内积与长度的比值给出，同倍数缩放后分子分母同乘 λ²，角度不变。

庞加莱圆盘与上半平面互相共形又互相等距（本章挑战页完整验证）：Cayley 变换把圆盘映到上半平面，同时把双曲度量拉回双曲度量——两个模型其实是同一套双曲几何的两张地图。

共形在现实里的名字是「地图投影」。墨卡托投影正是把球面共形地摊到平面（保角、不保面积）：罗盘方向在图上量得准，代价是高纬度面积膨胀。第一章绪论的世界地图之谜，在「共形」这个概念下得到精确表述——地图学就是球面到平面的共形几何。

第二章 黎曼度量：给空间一把尺2.11 拉回度量与嵌入

★★ §2.6 的诱导度量其实是一个一般构造的特例：拉回。这一页把它正式立起来。

三种情形一张表：

拉回的思想值得停一停。它把「长度」的定义方向反了过来：不是「在 M 上量」，而是「把 M 的方向送到 N 里去量」。这提供了一种强大的造法：要给 M 配一把有特殊性质的尺子，可以先找一个「好」的映射把 M 送进某个已知空间，再把尺子拉回来。第二章札记的郭守敬量天、第一章的球面继承，都是这个动作。

Nash 定理与黎曼立场的关系很微妙：立场说「不问空间住在哪儿」，定理说「其实每个都住得进去」。两者并不矛盾——前者是方法论的宣言（不依赖住处做几何），后者是存在性的保证（住处总有）。「可以嵌入」给了画图的底气，「不必嵌入」给了抽象的自由。

第二章 黎曼度量：给空间一把尺2.12 度量与积分：体积元

★★ 本页把体积元算清楚——积分是第五章比较定理（体积比较）与第六章宇宙学（可观测体积）的核算单位。

体积元的来历。坐标方格的边向量 ∂/∂x¹, …, ∂/∂xⁿ 在度量下各有长度、彼此有夹角；它们张成的平行六面体的体积，由线性代数的 Gram 公式给出：

于是区域 Ω 的体积 ＝ ∫_Ω √(det g) dx¹⋯dxⁿ。

两个必会例题。① 球面：g ＝ diag(R², R²sin²θ)，det ＝ R⁴sin²θ，√det ＝ R²sin θ——面积元 R² sin θ dθ dφ，总面积 4πR²。② 双曲上半平面：g ＝ diag(1/y², 1/y²)，√det ＝ 1/y²——面积元 dx dy/y²，区域 {x∈[0,1], y∈[1,A]} 的面积 ∫₁^A dy/y² ＝ 1 − 1/A → 1 当 A → ∞：一块「有限坐标大小」的区域贴着无穷边界，竟只围出有限面积——负曲率空间的典型景象（第五章 Bishop–Gromov 比较定理将给出系统版本）。

换坐标时 √det g 怎么变？由 §2.3 的二重 Jacobi 规则，det g′ ＝ (det J)² · det g（J 是坐标变换的 Jacobi 矩阵），故 √(det g′) dx′ ＝ √(det g) dx——体积元是坐标无关的，积分良定义。这一行同时是「面积元不必显式写出 g」的原因：球面上我们直接写 R²sin θ dθ dφ。

到这里，度量「能干什么」已清点完毕：长度、角度、体积三件套。还剩一个元问题：这些计算依赖坐标吗？下一页正面回答。

第二章 黎曼度量：给空间一把尺2.13 度量的坐标无关性

★★ 本章最后一个问题，也是最要紧的一个：换坐标，几何量变吗？

答案分两层。第一层：几何量不变。长度是积分（被积函数按 §2.3 规则变换、体积元按 Jacobi 换，恰好相消）；角度、体积由内积与 Gram 行列式定义，定义本身没提坐标。第二层：分量式会变。g_ij 的数值随坐标变——但变的规则（二重 Jacobi）恰好保证「算出来的量」一致。一句话：分量是表达，几何是内容。

这个「代入后相消」的动作，本册将出现几十次：每一次都验证同一件事——定义是坐标自由的，而分量规则恰好是它的代数影子。第四章将把这层关系升格为「张量」的正式定义：分量按特定规则变换者，才是几何对象。

操作建议。既然坐标无关，就可以挑最省力的坐标做每一道题：算球面用地理坐标，算旋转对称用 (r, θ)，算双曲用上半平面。坐标只是脚手架，拆掉后剩下的是几何本身。

本章收官一句话：度量 g 是黎曼几何唯一的输入；长度、角度、体积是它的直接输出；求导、直线与曲率，是它接下来的输出——那是后面两章的事。

第二章 黎曼度量：给空间一把尺例题一：度量张量的计算

★★ 例题页演示「怎么算」。本页把三套度量的 g_ij 各算一遍。

方法总结：算 g_ij 的两条路——「直接量步长」（几何直观，例 2-1 第一解）与「推后代入」（机械可靠，例 2-1 验算）。复杂场合永远用第二条。

第二章 黎曼度量：给空间一把尺例题二：球面、双曲与共形度量

★★★ 本页做三个稍深的计算，都是后续章节的地基。

三个例子三件工具：沿路径积分量距离（例 2-4）、沿坐标线读周长（例 2-5）、对比 λ 判共形（例 2-6）。第五章的比较定理，本质上就是把例 2-4 的「距离积分」在曲率控制下做出比较。

第二章 黎曼度量：给空间一把尺习题课（一）：度量与线元基本功

★★ 先做基本功：写线元、算 g_ij、求长度。

题 2-4 值得多想一分钟：度量（内积）→ 距离（下确界）→ 度量空间。黎曼空间同时活在两个世界里——线性代数的（切空间）与拓扑的（距离空间）。

第二章 黎曼度量：给空间一把尺习题课（二）：诱导与共形度量的进阶

★★★ 进阶题：继承、拉回与共形。

题 2-9 的正交性检查是「度量决定角度」的直接操练；它也是庞加莱圆盘模型美感的来源——直与圆在双曲度量下重新洗牌。

第二章 黎曼度量：给空间一把尺第二章地图：概念依赖关系

★★ 一张图收下第二章。

第二章 黎曼度量：给空间一把尺第二章小结

★★ 一页收束本章。

三个最容易犯的错。① 「坐标分量大的方向实际步长大」——错！极坐标里 v^θ ＝ 1 对应实际步长 r（还要乘 √(g_θθ)）。② 「体积元就是 dx dy」——错！要乘 √(det g)。③ 「球面纬线周长 2πR」——错！是 2πR sin θ。

一句话收束：度量是黎曼几何唯一的输入；本章取出了它的三大直接输出（长度、角度、体积）并学会了造它、比较它。下一章开始问更难的问题：在弯曲空间里，怎么求导？

第二章 黎曼度量：给空间一把尺思想卡：度量是几何的全部输入

第二章 黎曼度量：给空间一把尺挑战：双曲平面的两种模型互为等距

★★★★ 本章最硬的一题。断言：Cayley 变换

把庞加莱圆盘（双曲度量 4|dz|²/(1 − |z|²)²，|z| ＜ 1）等距地映到上半平面（双曲度量 |dw|²/(Im w)²）。

分母上的 |z ＋ i|⁴ 恰好消干净——两把尺子严格相等。∎

延伸：庞加莱还有第三种模型（Klein 圆盘，测地线是直线段）。它与圆盘模型的变换是共形而非等距——「直线看起来更直」的代价是角度失真。三种模型的分工，正是等距与共形两种「像」的分工。

第二章 黎曼度量：给空间一把尺实验：度量决定长度与体积的数值对拍

★★ 本页把「度量决定几何」送上数值法庭。两组对拍：同一曲线在两套度量下的长度，与球面面积的解析—数值对拍。

实验设计。平面度量 g ＝ e^2(x＋y)(dx²＋dy²)（共形因子 λ ＝ e^x＋y）。两条线段：γ₁ 从 (0,0) 到 (1,1)（欧氏长度 √2 ≈ 1.4142）、γ₂ 从 (0,0) 到 (1,0)（欧氏长度 1）。长度公式 L ＝ ∫λ·|γ′| dt，用 Simpson 法（1000 段）数值积分，与解析值对拍；另对球面面积 4πR² 做数值重积分。

import math
def simpson(f, a, b, n=1000):
    if n % 2: n += 1
    h = (b - a) / n; s = f(a) + f(b)
    for i in range(1, n):
        s += (4 if i % 2 else 2) * f(a + i * h)
    return s * h / 3
# g = e2(x+y)(dx2+dy2)：lambda = ex+y
num1 = simpson(lambda t: math.sqrt(2)*math.exp(2*t), 0, 1)
ana1 = math.sqrt(2)*(math.exp(2)-1)/2
num2 = simpson(lambda t: math.exp(t), 0, 1)
ana2 = math.e - 1
area = simpson(lambda th: 2*math.pi*math.sin(th), 0, math.pi, 2000)

实跑输出：

段一 数值 4.517745 vs 解析 4.517745（误差 4.08e-13）
段二 数值 1.718282 vs 解析 1.718282（误差 1.04e-14）
球面面积 12.566371 vs 4π 12.566371（误差 4.25e-13）

结论。① 同一条线段，共形度量下的长度是欧氏的 3.2 倍（γ₁）与 1.7 倍（γ₂）——「多远」完全取决于尺子；② 球面面积数值积分与解析值 4π ≈ 12.566371 吻合到 10⁻¹³——面积元 R²sin θ dθ dφ 上的解析推导被数值法庭当庭证实。

第二章 黎曼度量：给空间一把尺〖札记〗郭守敬量地与弧度测量

★★ 「尺子是继承来的」——这个现代概念，在中国古代的量地术里有一个朴素的对应物：用天上的尺度量地面。

《周髀算经》时代的「日高术」用两表测影推算日高，前提是大地平坦。到唐代，一行（张遂）主持了历史上第一次子午线实地测量（724 年）：从铁勒到交州，设点观测同一时刻的日影与北极星高度，发现「日影差一寸、南北距离」并非常数——平坦假设被实地数据推翻。一行由此算出「北极高度差一度、南北相距三百五十一里八十步」，这是子午线弧长的最早实测之一。

元代郭守敬的「四海测验」（1279 年）把这件事做到了全国规模：南起南海（北纬约 15°）、北至北海（约 64°），设二十七个观测点，同时测影、量北极出地高度。郭守敬的工作有一处极现代的细节：他不再试图给出「天下一寸影对应几里地」的普适常数，而是逐点建立「天顶角差 ↔ 地面距离」的对应——正是球面上「弧长 ＝ 半径 × 圆心角」这一关系（弧度思想）的操作性使用。清初梅文鼎在《环中黍尺》里进一步用球面三角系统整理这些测天量地的算法，明确以「弧」为基本对象。

把这页与本章概念对读：「地面的尺子」是从「天球」继承来的——先在天球上量出角度（天顶差、北极出地），再由角度换算地面距离，这与「子流形从环境空间拉回度量」（§2.6、§2.11）在结构上完全同构：观测者并不知道大地的「内在度量」，他们借用更外层的参照系（天球）把尺子拉回地面。

一句收束。从「地方如棋局」到郭守敬的二十七站，中国人用了上千年学会一件事：尺子不必是先天的，它可以被继承、被测量、被修正——这正是黎曼「度量是可选择的数据」这一立场的前史。

第二章 黎曼度量：给空间一把尺第二章速查表

★ 一页收下本章全部公式。

使用建议：算任何题先写 ds²；查正负号时回到 g_ij 的矩阵；判断「是否共形」先找 λ。下一页，带着这把尺子去学求导。

第三章 联络与测地线：在弯曲中求导第三章导引：在没有直线的世界里求导

「两点之间直线最短」——这句话在欧氏空间里是常识，在弯曲空间里却是需要重新定义每一部分的问题：什么是「直线」？什么是「最短」？甚至，「求导」都成了问题：要谈函数在一点的变化率，就要比较「这一点」与「邻近一点」的值；要谈向量场的变化率，就要比较两个不同切空间里的向量——可它们住在不同的线性空间里，天生无法相减。

本章解决这个核心难题，分三步。第一步联络：规定「沿一个方向，向量场变化得多快」（协变导数）——它就是弯曲空间里的求导法则。第二步度量的自然选择：联络有无穷多种，但黎曼度量唯一地挑出一个「与度量相容、又无挠」的联络——Levi-Civita 联络，其分量就是 Christoffel 符号。第三步测地线：协变导数为零的曲线，即「自己不转弯」的曲线——弯曲空间里的「直线」。

沿路我们将得到几件强有力的工具：平行移动（把向量沿曲线搬运，本章开场图 3-1 的事件）、指数映射（把切空间的直线卷成测地线）、法坐标（让度量的分量在一点上退化成欧氏），以及一笔关键的账：和乐——沿闭合回路搬运向量回来转了多少角。这一笔正是下一章曲率的雏形。

读完本章应当能回答：为什么弯曲空间里需要专门的求导法则？为什么 Levi-Civita 联络是「度量的自然选择」？球面上什么曲线是「直」的？为什么沿纬线搬一圈向量会转角？

第三章 联络与测地线：在弯曲中求导3.1 为什么要协变导数

★★ 先把困难看清楚。在欧氏空间 ℝⁿ 里，比较两个不同点的向量毫不费力：把它们「平移」到同一点再相减。这套操作之所以合法，是因为 ℝⁿ 的所有切空间天生就是同一个空间（向量空间自身）。

弯曲空间里这套操作失灵：T_pM 与 T_qM 是两个不同的向量空间，中间没有天然的「平移」。「v_q − v_p」这个式子根本没有定义。

但求导恰恰需要这个减法：向量场 X 的导数应当是「X 在 q 的值减去在 p 的值，除以距离」的极限。减法不存在，导数就无法定义——这就是弯曲空间里求导的全部困难。

出路：把「怎么比较」变成数据。黎曼立场的典型动作再次上演：既然「平行」不是天生的，那就把它作为一份附加结构指定下来。这份结构规定「沿任意方向，任意向量场的变化率是多少」——它就是联络。有了联络，不同点的切空间被「缝」了起来，微积分重新上路。

一个类比：切空间好比每座城市自带的坐标系。「联络」就是一套「从一个城市的坐标系换算到另一个城市」的规则。没有规则，跨城市的比较无从谈起。

第三章 联络与测地线：在弯曲中求导3.2 仿射联络的定义

★★ 把「求导法则」写成公理。

逐条读一遍。第一条：沿「放大两倍的方向场」求导，结果也放大两倍——但系数是函数而非常数（注意与对 Y 的规则不同！）。第二条：Leibniz 律——「对乘积求导」的规则，与第一章切向量的导子一脉相承。第三条：联络是局部对象，可以用坐标卡逐片研究。

∇_XY 的几何意义。它是「Y 沿 X 方向的变化率的向量场」：在每一点 p，∇_XY(p) ∈ T_pM 度量「Y 在 X_p 方向上偏离「平直搬运」多少」。特别地，∇_XY ＝ 0 说的是「Y 沿 X 方向被平行搬运」。

与 Lie 括号的关系。注意 ∇_XY − ∇_YX 一般不等于 [X, Y]（它们的差叫挠率，本章 §3.7 会处理）。Lie 括号不需要联络就有定义（第一章），它是「向量场不对易」的内蕴度量；联络是额外的结构。括号免费，联络收费——这句话帮助分清两者的身份。

联络有无穷多种（同一流形上）。哪一种「对」？单看定义无法回答——需要度量来裁决（§3.7）。

第三章 联络与测地线：在弯曲中求导3.3 联络系数的变换规则

★★ 取局部坐标 (xⁱ)，把联络写成系数：

n³ 个光滑函数 Γ^k_ij 称为联络系数（对 i, j 对称与否，看联络有无挠率）。由 ∇ 的公理，任意两个向量场的协变导数立即可以计算：

第一项就是欧氏的分量求导；第二项是「基向量本身在变化」的修正——弯曲空间的全部信息都藏在这项里。

Γ^k_ij 是张量吗？不是。换坐标时，它的变换规则多出一个「非齐次项」（来自二阶导数 ∂²x/∂y∂y）：

这个「不完美」恰恰是好消息：在每一点总能选坐标让 Γ 全部为零（法坐标，§3.13）——联络本身是几何的，而它的系数不是张量、可以局部消掉。第四章的曲率张量正是用 Γ 的组合拼出的真张量：非齐次项在组合中相消。

第三章 联络与测地线：在弯曲中求导3.4 协变导数：沿向量场求导

★★ 本页把协变导数的性质补齐——它是全章一切计算的基本功。

性质①值得停一停：协变导数对「求导方向」是逐点的——这与普通方向导数一致，但与 Lie 括号不同（[X, Y] 依赖 X 的一阶导数）。正是这一点使 ∇_XY 成为一阶算子，[X, Y] 成为「二阶抵消后的一阶量」（第一章 §1.14）。

性质③是全册的转折点。两个协变导数套起来再减去沿括号的那个，剩下的东西只依赖逐点数据——即它是一个「可以逐点计算的机器」。这台机器吃什么、吐什么？吃三个向量场、吐一个：它就是曲率张量（第四章 §4.2）。本页只立路标，不展开。

梯度、散度预告。有了度量与联络，欧氏的分析工具逐件搬来：梯度 grad f 由 ⟨grad f, v⟩ ＝ df(v) 定义（第二章的 df 加上度量「提指标」）；散度 div X ＝ trace(v ↦ ∇_vX)；Laplace 算子 Δf ＝ div grad f。第六章的 Ricci 流方程 ∂g/∂t ＝ −2Ric 中，Ric 的收敛正是对 Δ 的推广——分析学与几何学在此完全合流。

到这里，「在弯曲空间求导」的语法已经完备：联络给法则，坐标给算法，张量性给不变量。接下来把这语法用在三件事上：搬向量（§3.6）、走直线（§3.9）、拼坐标（§3.13）。

第三章 联络与测地线：在弯曲中求导3.5 沿曲线的协变导数

★★ 向量场定义在整个流形上；但物理与几何常常需要「只在一条曲线上」的场——比如沿轨道运行的卫星姿态。本节把协变导数精确地搬到曲线上。

分量式。沿 γ（坐标 xⁱ(t)），对 V ＝ V^k∂_k：

两项分工明确：第一项是分量自身的导数，第二项是「坐标基沿曲线转动」的补偿。在欧氏直线上 Γ ＝ 0，两项合一就是普通导数——协变导数是它的弯曲推广。

一个重要特例：加速度。曲线 γ 自身的加速度定义为 ∇_γ′γ′（而非分量的二阶导数）。在弯曲空间里，「分量直线走」（ẍ ＝ 0）与「不转弯」（∇_γ′γ′ ＝ 0）是两回事——前者依赖坐标，后者才是几何。测地线（§3.9）正是后者的名字。

物理对照（第六章主角）：广义相对论里自由落体的加速度恰好为零——行星沿时空的测地线走，「不感觉力」。牛顿的「重力加速度」是坐标效应（把弯曲的时空摊到平直坐标里的假象）。几何 language 的一步到位，此处已见端倪。

第三章 联络与测地线：在弯曲中求导3.6 平行移动：让向量自己走

★★ 「D V/dt ＝ 0」的解，就是本章开场那个「搬向量」事件的严格版。

三条基本性质（由 ODE 理论直接读出）。① 线性：P_t 是线性同构（逆是往回走）；② 保范：与度量相容的联络下，|P_tv| 沿途不变——向量「又平又不变长」；③ 依赖路径：从 p 到 q 的平行移动与路径有关——图 3-1 的和乐正是它的定量表现。

与欧氏的对照。平面上沿任何闭合回路平行移动一圈，向量原样归来（P 为恒等）。弯曲空间里不再如此：球面纬线 θ₀ ＝ 60° 上搬一圈，向量转了 180°。「转角不为零」是曲率的直接显影——第四章将把「和乐角／所围面积」写成曲率的定义。

第三章 联络与测地线：在弯曲中求导3.7 Levi-Civita 联络：度量的自然选择

★★★ 联络有无穷多种。度量的裁决只有两句话。

两条公理为何恰好钉死一个联络？直观账本：无挠使 Γ^k_ij 对 (i, j) 对称——砍掉一半未知数；相容性给出 ⟨∂_kg_ij, …⟩ 的三个方程循环相减——剩下的未知数恰好被解出（§3.8 的 Koszul 公式就是这份解）。「唯一的自然求导法则」——这份唯一性是黎曼几何区别于一般联络几何（如第六章的洛伦兹几何仍取 Levi-Civita；规范场论取带挠联络）的关键。

两条公理各自的含义。相容性：平行移动是「刚体搬运」——长度与角度都不变，尺子不因搬运而变形。无挠：「坐标方块不扭转」——∇_XY − ∇_YX 与括号一致，几何上对应「无穷小平行四边形闭合」。弯曲允许，扭曲禁止——曲率（第四章）允许联络绕圈转回来不对齐，挠率则连「无穷小的方块」都会拧斜。

命名小史：Levi-Civita 与 Ricci-Curbastro（师生二人）在 1900 年前后把这套算法整理成「绝对微分学」；1915–17 年爱因斯坦与 Levi-Civita 的通信中，平行移动的概念正式成形——数学与物理在同一套记号里相遇。

第三章 联络与测地线：在弯曲中求导3.8 Koszul 公式与 Christoffel 符号

★★★ 本页把「存在唯一」落到「会算」。

Christoffel 符号的计算公式。取坐标基，Koszul 公式化简为：

其中 g^kl 是度量矩阵的逆。这行公式是黎曼几何的「工作马达」：度量（一阶导）→ 联络的一切算法从这里出发。

算 Γ 的口诀：先写 g 矩阵与逆，再对 g 的每个非零元求偏导，最后按公式组合。度量的一阶导全部信息 → 联络；下一节看它的第二个应用：测地线方程。

第三章 联络与测地线：在弯曲中求导3.9 测地线：协变导数为零的曲线

★★ 现在回答本章标题的第二问：什么是「直线」？

欧氏对照。平面上 Γ ＝ 0，条件化为 γ″ ＝ 0——匀速直线运动。弯曲空间里测地线是「惯性运动」的化身：第六章将把这句话变成物理定律（自由落体＝时空测地线）。

球面上的测地线是大圆。直观验证：沿大圆走，速度向量始终「沿大圆」——把球面沿该大圆所在的平面切开，运动完全落在平面里，肉眼可见「不转弯」。而纬线（除赤道外）不是：沿它走必须持续向极点方向「拐弯」——Γ^θ_φφ ≠ 0 正是这个「拐」的代数量。

测地线与最短线的区分（易混点）。测地线是「局部上不转弯」；最短线是「连接两点的所有曲线中长度最小」。二者关系（§3.12）：测地线局部最短（短于附近的一切弯路），但整体未必——球面上沿大圆走过一半之后，继续走反而变长；「对跖点」之后同一条大圆不再是两点间的最短路。第五章 Hopf–Rinow 与割迹将把这件事算清。

一句话：测地线＝惯性；最短线＝全局冠军；局部两者一致，全局可能分道扬镳。

第三章 联络与测地线：在弯曲中求导3.10 测地线方程

★★ 把定义写成方程。

速度的守恒。相容性直接给出：|γ′| 沿测地线恒定（⟨γ′,γ′⟩ 的导数 ＝ 2⟨∇_γ′γ′, γ′⟩ ＝ 0）。所以测地线方程实际是「方向不转弯」——「快慢」自动不变。重参数化注记：把 γ(t) 换成 γ(φ(t))，一般不再测地（除非仿射变换）——测地性对参数敏感，这正是「仿射参数」名字的来历；弧长参数（§2.4）是标准选择。

方程看一眼即忘不掉：加速度 ＝ −Γ(速度, 速度)。「弯曲空间的惯性定律」——Γ 扮演重力场，坐标惯性力与几何弯曲在方程里完全同形。这正是爱因斯坦「引力＝几何」的数学雏形。

第三章 联络与测地线：在弯曲中求导3.11 指数映射

★★ 测地线的存在唯一性 theorem 有一个漂亮的打包形式。

为什么叫「指数」？矩阵群上它退化为矩阵指数（GL(n) 的测地线 e^tA）——同一套结构在两种语言里的重名。

这个定理的分量：它给出一个不带任何奇性的「极坐标」——切空间是线性的、处处平坦，指数映射把它「铺」到流形上，铺图在原点附近无褶皱。法坐标（§3.13）正是用 exp_p 反过来定义坐标；第五章的比较定理全部在「exp_p 的性质」上做文章（Jacobi 场＝exp_p 的导数满足的方程）。

整体何时有定义？并非永远：圆柱面上从一点出发的测地线（螺旋线）可以一直走（完备）；但「缺一点的平面」上指向缺口的测地线会在有限时间撞出去。「exp_p 在整个切空间有定义」＝ 测地完备——第五章 Hopf–Rinow 定理将证明它等价于「作为度量空间完备」，并进一步等价于「任意两点有最短线相连」。

第三章 联络与测地线：在弯曲中求导3.12 测地线的局部最短性

★★★ 「测地线局部最短」这句话的精确版与证明思路。

「唯一最短」的区域有多大？答案由割迹（cut locus）刻画：从 p 出发，沿每个方向的测地线「保持最短」的距离称为割距；割迹就是各方向割距的端点集合。球面上：从北极出发，割距恒为 π，割迹是南极一个点——过了对跖点，沿原方向继续走反而远离。环面上：割迹是两条闭合曲线——拓扑的复杂性直接写进了割迹的形状（第五章 §5.3 详述）。

与「最短线必是测地线」的合并。两个方向合起来：① 任何足够短的连线，最短者存在且是测地线；② 测地线在割距内最短。「测地」与「最短」在局部完全咬合，全局的分歧由割迹记账——这是本章与第五章之间最重要的一座桥。

第三章 联络与测地线：在弯曲中求导3.13 法坐标与测地极坐标

★★★ 指数映射送来两件「定制坐标」。

法坐标的直接红利。曲率分量的计算（第四章）将在法坐标原点进行——Γ 为零使 Riemann 张量只剩 g 的二阶导信息：曲率 ＝ 度量的二阶导这一直觉在法坐标里字面成立。这也是「曲率是内蕴量」的代数预演（第四章 §4.13）。

测地极坐标。固定 p，把切空间换极坐标 (r, θ)（r ＝ |v|，θ 方向角），经 exp_p 推到流形上：r 曲线＝测地射线，θ 曲线＝测地球面。度量呈现「高斯形式」：

欧氏平面 G ＝ r；球面 G ＝ R sin(r/R)；双曲 G ＝ R sinh(r/R)。比较三个 G，就是比较三种几何——第五章的比较定理把这组例子升格为定理：曲率控制 G，G 控制测地线的聚散与球体积。

第三章 联络与测地线：在弯曲中求导3.14 和乐：绕一圈回来转了多少

★★★ 本章最后一件工具，也是通往曲率的最后一站：和乐（holonomy）。

一个可以完整算出的例子（球面纬线）。单位球面上沿纬线 θ₀ 平行移动一周。取初始向量沿经线方向（V^θ(0) ＝ 1, V^φ(0) ＝ 0），平行移动方程（例 3-1 的 Γ 代入）：

解耦得 V^θ ＝ cos(ωt)（ω ＝ cos θ₀），V^φ ＝ −sin(ωt)/sin θ₀。一圈（t ＝ 2π）后相对局部标架的转角：

θ₀ ＝ 60°：转角 180°；θ₀ ＝ 45°：约 105.4°；θ₀ ＝ 30°：约 48.2°——p91 实验把三组数字全部数值复现，误差 10⁻¹⁴。注意 α 是纬线所围球冠面积的 2π 倍除以 2πR²——和乐角 ∝ 所围面积，比例系数正是曲率（第四章 §4.1 从这里起飞）。

和乐群本身是个深刻的分类对象（球面 O(n)、复凯勒 U(n)、特殊和乐 SU(n)、G₂…），本册只取「绕圈转角」这一维切片。下一章：把「转角」除以「面积」，取极限——曲率正式登场。

第三章 联络与测地线：在弯曲中求导3.15 联络的几何解释

★★ 十五节走下来，「联络」换了三副面孔。本页把三副面孔并排放好，再补上最后一块拼图：挠率。

为什么要挑无挠？因为「沿 X 走 ε 再沿 Y 走 δ」与「沿 Y 走 δ 再沿 X 走 ε」应当是同一只小平行四边形的两条对边——求导的语法不该引入额外的「拧劲」。允许挠率的几何（第六章的规范场论视角会提一句）是更广的宇宙；黎曼几何选择的是最「干净」的那一个。

三副面孔一句话串起：联络是「如何比较邻近点」的完整说明书——代数上是一个求导规则，几何上是一套搬运工路线图，坐标上是一组 Γ。下一章将证明：说明书的「不一致程度」就是曲率。

第三章 联络与测地线：在弯曲中求导3.16 联络的收束

★★ 收束本章。先看那条从度量一路铺到和乐的链条。

本章做的事，本质是为「弯曲空间上的微积分」立法：把「变化率」「不变」「最直」这些平直世界的直觉逐个重新立法。全部法律的总纲只有一条——一切以度量 g 为唯一依据。下一章开始执法检查：这套语法自身「弯」了多少，就是曲率。

第三章 联络与测地线：在弯曲中求导例题一：Christoffel 符号的计算

★★ 例题页演示「怎么算」。本页把三套度量的 Γ 各算一遍。

方法总结：算 Γ 的流程是固定的——写 g_ij 矩阵、求逆、列出非零偏导、套公式。例 3-4 的价值在于它是负曲率世界里最便宜的计算样本，p91 实验与第四章的比较定理都要回头用它。

第三章 联络与测地线：在弯曲中求导例题二：测地线与指数映射

★★★ 本页做三个稍深的计算：解测地线方程、验测地线、算指数映射。

三道例题合起来是一句话：测地线方程是机器，指数映射是产品目录——球面的目录在 π 处合拢（收敛半径），双曲的目录无限延伸（完备，第五章 Hopf–Rinow 回收此话）。

第三章 联络与测地线：在弯曲中求导习题课（一）：联络与协变导数基本功

★★ 先做基本功：算 Γ、求协变导数、验相容。

题 3-2 的「两个通道」值得强调：算协变导数永远可以先在方便的坐标里算，再拉回需要的坐标——联络的定义保证了答案是同一个。坐标是脚手架，联络才是建筑。

第三章 联络与测地线：在弯曲中求导习题课（二）：测地线与平行移动的进阶

★★★ 进阶题：解方程、找守恒量、算和乐。

题 3-10 与题 3-7 摆在一起，就是下一章曲率的「实验设计」：和乐角随回路缩小的变化率 ≠ 0，那个极限就是曲率。欧氏是平凡情形（比值为 0），球面是常数情形（比值恒为 K）。

第三章 联络与测地线：在弯曲中求导第三章地图：概念依赖关系

★★ 一张图收下第三章。

第三章 联络与测地线：在弯曲中求导第三章小结（上）：联络与协变导数

★★ 前半章（§3.1–3.8）：从「怎么求导」到「唯一的自然求导法则」。

两个最容易犯的错。① 「Γ 是张量，该像一个量那样整体变换」——错！多出来的二阶导项正是非张量的证据；② 「协变导数就是把分量求导」——错！漏掉 Γ 修正项，极坐标里的「常向量场」立刻露馅。

一句话收束前半章：联络是度量派驻到每一点的「求导领事馆」——领事由度量任命（唯一性），领事馆之间用相容与无挠两条款互通。

第三章 联络与测地线：在弯曲中求导第三章小结（下）：平行移动、测地线与和乐

★★ 后半章（§3.9–3.16）：求导法则的三大应用与一个整体量。

三个最容易犯的错。① 「平行移动保持坐标分量」——错！保的是内积；球面纬线的例子坐标分量明明在转；② 「测地线处处最短」——错！只是局部最短（球面上超过半圈的大圆反而绕远）；③ 「和乐角是一个确定的实数」——错！mod 2π 才有定义，转 270° 与转 −90° 是同一件事。

一句话收束后半章：联络把「变化」合法化，测地线把「惯性」合法化，和乐把「累积」量化——曲率就是这套累积的密度。

第三章 联络与测地线：在弯曲中求导思想卡：联络——把不同点的切空间缝起来

第三章 联络与测地线：在弯曲中求导挑战：测地线方程的第一次积分

★★★★ 本章最硬的一题。旋转曲面 ds² ＝ dr² ＋ f(r)²dφ²（题 3-1 的 Γ）上，证明测地线满足Clairaut 关系：

延伸：双曲平面的「旋转曲面」版本（f(r) ＝ sinh r，双曲极坐标）同样满足 Clairaut：sinh r·sin α ＝ c。负曲率世界里测地线不再折返，而是被「弹」向边界——两种符号的命运分岔，p91 实验的数值里已经能看到影子。

第三章 联络与测地线：在弯曲中求导实验：球面与双曲面上平行移动的数值核验

★★ 本页把和乐公式送上数值法庭。两组对拍：球面纬线（K ＝ ＋1，公式 α ≡ −2πcos θ₀ mod 2π）与双曲圆（K ＝ −1，公式 α ≡ −2π(cosh ρ − 1) mod 2π）——统一写法是 α ≡ K·所围面积 (mod 2π)。

实验设计。在坐标标架下用 RK4（40000 步）积分平行移动方程 dV^k/dt ＋ Γ^k_ijẋⁱV^j ＝ 0 一整圈：球面用例 3-1 的 Γ，双曲用例 3-4 的 Γ；投影到正交标架读出转角，与解析公式（mod 2π 取主值）对拍。双曲圆取双曲半径 ρ、中心 i：欧氏圆心 (0, cosh ρ)、欧氏半径 sinh ρ。

import math
def rk4(f, y0, ts):
    y = list(y0); out = [list(y)]
    for i in range(len(ts) - 1):
        t0, t1 = ts[i], ts[i+1]; h = t1 - t0
        k1 = f(t0, y)
        k2 = f(t0 + h/2, [y[j] + h/2*k1[j] for j in range(2)])
        k3 = f(t0 + h/2, [y[j] + h/2*k2[j] for j in range(2)])
        k4 = f(t1, [y[j] + h*k3[j] for j in range(2)])
        y = [y[j] + h/6*(k1[j] + 2*k2[j] + 2*k3[j] + k4[j]) for j in range(2)]
        out.append(list(y))
    return out
def sphere_pt(th0, n=40000):        # 球面纬线 th0，初值 V = d_theta
    s, c = math.sin(th0), math.cos(th0)
    f = lambda t, V: [s*c*V[1], -(c/s)*V[0]]      # 例 3-1 的 Gamma
    ts = [2*math.pi*i/n for i in range(n+1)]
    V = rk4(f, [1.0, 0.0], ts)
    return math.atan2(s*V[-1][1], V[-1][0])       # 正交标架下的转角
def hyp_pt(rho, n=40000):           # 双曲圆，上半平面 Gamma（例 3-4）
    rc, rs = math.cosh(rho), math.sinh(rho)
    pos = lambda t: (rs*math.cos(t), rc + rs*math.sin(t))
    def f(t, V):
        x, y = pos(t); dx, dy = -rs*math.sin(t), rs*math.cos(t)
        return [(dy*V[0] + dx*V[1])/y, (-dx*V[0] + dy*V[1])/y]
    ts = [2*math.pi*i/n for i in range(n+1)]
    V = rk4(f, [1.0, 0.0], ts)
    ye = pos(ts[-1])[1]
    return math.atan2(ye*V[-1][1], ye*V[-1][0])

实跑输出：

球面  th0= 60°  数值 -180.000°  预测 -180.000°  误差 7.6e-15 弧度
球面  th0= 45°  数值 +105.442°  预测 +105.442°  误差 1.1e-14 弧度
球面  th0= 30°  数值  +48.231°  预测  +48.231°  误差 2.7e-15 弧度
双曲  rho= 0.5  数值  -45.945°  预测  -45.945°  误差 8.0e-15 弧度
双曲  rho= 1.0  数值 +164.491°  预测 +164.491°  误差 1.8e-15 弧度
双曲  rho= 1.5  数值 -126.867°  预测 -126.867°  误差 1.1e-13 弧度

结论。① 六组全部吻合（沿程 |V| ＝ 1 稳到 12 位小数，等距搬运的守恒律被数值方案自己保住了）；② 球面正曲率、双曲负曲率，同一条律 α ≡ K·面积 (mod 2π) 两头都对——「转角 ∝ 面积，比例系数是曲率」从一句直觉升级为被数值法庭盖章的定律。

第三章 联络与测地线：在弯曲中求导〖札记〗从方位角导航到平行移动：航海术里的几何

★★ 「保持方向走」在海上有一个古老的版本：定向航行。这一页把航海术的三件旧物与本章的新概念对读。

牵星术。明代郑和船队（十五世纪）的「过洋牵星术」用牵星板量星辰出地高度：北极星的高度角就是纬度，船队「北辰指路」，靠的是天球这块刚性的外层参照系。这与第二章札记的「四海测验」同构：大地自身的方向感不足，就向更外层借——观测者搬运「北」这个方向，用的不是大地的联络，而是天球的。

恒向线与大圆航线。罗盘时代的水手走「恒向线」：与所有经线保持同一夹角——罗盘读数不变，掌舵省心。但球面上「对经线场保持固定夹角」不是平行移动：经线场本身在纬线圈上随行走而转动（本章的账本：转角 −2πcos θ₀），保持夹角不变的船其实在悄悄转弯。走大圆（真正的测地线）反而要持续修正罗盘读数。1569 年墨卡托投影的伟大之处正在于此：它把恒向线拉成直线，让「错的方向」画起来最顺——工程学与几何学的这场妥协，本质是两种「不变」（对罗盘不变 vs 平行不变）的分家。

傅科摆。1851 年傅科在巴黎先贤祠悬挂 67 米长摆：摆面相对地面缓慢旋转，约 11.3°/小时（巴黎北纬约 48.8°，理论值 2π·sin 48.8° ≈ 271°/天，实测与预言相符）。这就是和乐的实时演出：摆锤在惯性系里「保持方向」，地面标架随地球每天转一圈——摆面与地面标架的夹角变化，正是沿纬线圆平行移动一周的和乐角。p91 实验里 θ₀ ＝ 60°（纬度 30°）的 180°，换成「一天」的时间轴，就是傅科摆在北纬 30° 城市的一天。

一句收束。牵星借天球的联络，恒向线对罗盘守恒，傅科摆给惯性标架做和乐记账——人类在知道「联络」这个词之前，已经在海上与穹顶下使用了它几百年。平行移动不是数学家的发明，而是航海者、天文学家与钟摆早已遵行的法则；黎曼几何只是把它写成了宪法。

第三章 联络与测地线：在弯曲中求导第三章速查表

★ 一页收下本章全部公式。

使用建议：算任何题先写 Γ（套例 3-3/3-4 的流程）；判「是不是平行移动」查 dV^k/dt ＋ Γ… ＝ 0；判「是不是测地线」把 ẍ 项代进去；和乐角永远记得 mod 2π。下一页，带着这套语法去见它要度量的东西——曲率。

第三章 联络与测地线：在弯曲中求导衔接讲义：通往曲率——平行移动绕一圈回来会怎样

★★ 三章工具备齐：度量（第二章）量出距离与角度，联络（第三章）管住求导与搬运。现在问本章最后留下的那个问题：绕一个小圈把向量平行搬运一周，回来转了多少？

p91 的实验已经给出常曲率世界的答案：转角 α ≡ K·所围面积 (mod 2π)。但一般曲面上 K 逐点变化，公式不会这么干净。做物理学家做的事——把圈缩到无穷小，看转角与面积的比值趋于什么：

球面与双曲平面上，答案就是 K 本身——而且与圈的位置、形状无关。一般曲面上，这个极限依赖方向：绕不同的圈（长的、扁的、斜的），比值不同。把「所有方向的比值」打包成一个双线性对象，它就是曲率张量的第一张面孔；在二维，它只剩一个自由度，恰是 Gauss 的 K；在高维，它是一整座数据塔。

还有第二条等价的进入路线：协变导数一般不可交换，∇_X∇_Y − ∇_Y∇_X − ∇_[X,Y] 作用在向量场上一般不为零——在平直世界它是零（偏导数可交换），在弯曲世界它不为零，而「不为零的程度」恰恰由同一个张量度量。和乐（搬运一圈）与交换子（求导两次）从两个门进来，看见的是同一头兽——这是下一章的第一个大定理。

工具链齐了，账本翻开：第四章，曲率正式登场。

第四章 曲率：Riemann 的遗产第四章导引：绕一圈回来，向量转了多少

★★★ 第三章结束时留了一个问号：把向量绕小圈平行搬运一周，回来的转角除以圈内的面积，极限是什么？一般曲面上，这个极限依赖方向——把所有方向的答案整理成一个对象，它就是本章的主角：曲率张量。

曲率不是新工具，而是前三章工具的结账单：度量（第二章）定了尺子，联络（第三章）定了语法，曲率回答「这套语法自身弯了多少」。它将带来本章的四份遗产：

阅读提示：本章计算密度全书最高，但每一格账都能在球面与双曲平面上验证——p121 实验把九个数字全部数值对拍。读完本章，「从曲率读出几何」（§4.15）这把钥匙就交到手上。

第四章 曲率：Riemann 的遗产4.1 从平行移动的不可交换性说起

★★ 平直世界里，先向东一步再向北一步，与先北后东，落在同一个点——方向的操作彼此交换。弯曲世界里，平行移动不交换。

这个几何现象在代数里早有影子：协变导数一般不可交换，∇_X∇_YZ − ∇_Y∇_XZ − ∇_[X,Y]Z 一般不为零（平直世界的偏导数可交换，所以那里此项为零）。第三章我们已经会算它——把 Γ 的公式代进去，发现它对 Z 是「求两次导加修正」的组合。

从搬运到求导。绕无穷小平行四边形搬运一周的转角，与协变导数交换子的差，是同一件事的两种语言：前者是几何的（搬一圈转多少），后者是代数的（求导两次差多少）。第三章的和乐是它的积分版（绕整圈），交换子是它的微分版（绕无穷小圈）。下一节给这个「微分版」起正式名字。

一句话记住本节：「先后次序影响结果」是弯曲世界的日常——平行移动的不可交换性，就是曲率的雏形。Riemann 的贡献是把这份直觉锻造成一个按方向记账的张量。

第四章 曲率：Riemann 的遗产4.2 Riemann 曲率张量

★★★ 全书最核心的定义，来了。

两条性质立即可见。① 反对称：R(Y,X) ＝ −R(X,Y)（定义式换位即得）；② 几何读法：把 Z 绕由 X, Y 张成的无穷小平行四边形（边长 ε, δ）平行搬运一周，回来的向量满足

Z_回来 ＝ Z − ε δ R(X,Y)Z ＋ 更高阶小量

——转角的小算子正是 −R(X,Y)·面积。这就是「曲率 ＝ 绕圈搬运的微分密度」的准确含义，p94 之问至此有了对象。

为什么定义里要有 −∇_[X,Y] 项？因为「先 X 后 Y」与「先 Y 后 X」两条路径的端点本身差一个括号 [X,Y]——这一项把「路径不同」与「搬运不交换」干净分离，剩下的才是纯粹的曲率。

一句话记住本节：R(X,Y)Z 读作「沿 X、Y 两个方向走一小方格，Z 被转动多少」——它是一个「每单位面积的方向修正器」，而它居然是张量：曲率是坐标骗不了的量。

第四章 曲率：Riemann 的遗产4.3 曲率张量的对称性

★★ 定义给了四个槽位（X, Y; Z, W，取内积 ⟨R(X,Y)Z,W⟩ ＝ R(X,Y,Z,W)）。对称性把这座「n⁴ 座仓库」压缩到很小。

压缩比例触目惊心：四维时空的曲率账册从 256 页压到 20 页。这份「薄」不是巧合，而是对称性与 Bianchi 恒等式对「什么样的量才能是曲率」的资格审查——第六章 Einstein 场方程的合理结构，正藏在第 20 页账册的格局里。

一句话记住本节：对称性是免费的压缩算法——四条对称把 n⁴ 压到 n²(n²−1)/12。看到任何候选「曲率」，先查这四条资格。

第四章 曲率：Riemann 的遗产4.4 坐标下的曲率分量

★★★ 定义要落到 Γ 上才能计算。坐标分量（∂_i ＝ ∂/∂xⁱ）：

四件套：两个导数项＋两个乘积项。导数项单独不是张量（Γ 的仿射变换律会漏出二阶导），乘积项单独也不是——但两组的非张量部分严格相消。验证它的办法只有一个：真算一遍（p112 例题、p121 实验）。

指标 conventions。本书约定 R(∂_i,∂_j)∂_k ＝ R^l_kij∂_l，Ricci 取 R_ij ＝ R^k_ikj（§4.6）。不同书的符号与指标顺序略有出入，读到别处时先对约定再对数——球面 K ＝ ＋1、双曲 K ＝ −1 永远是试金石：用它们一验便知约定。

一句话记住本节：公式长，但结构只有一句——「导数之差＋乘积之差」。非张量的部分相消、张量的部分留下；二维只剩一个数 R₁₂₁₂，它就是 K。

第四章 曲率：Riemann 的遗产4.5 截面曲率

★★ 四槽张量太抽象，第一刀收缩：切到一个二维方向上。

读法。K(σ) 是「σ 方向上那张小曲面的 Gauss 曲率」：把过 p、切于 σ 的测地线铺成一张二维小片，它的 Gauss 曲率就是 K(σ)。所以截面曲率不是新几何，而是把高维曲率翻译回 Gauss 语言的一台翻译机。

基准值。单位球面：任何截面 K ＝ 1（p113 例 4-4 验证）；双曲平面：K ＝ −1；欧氏：0。二维只有一个截面，K(σ) 就是 K 本身——Gauss 曲率换了个张量户口。

一句话记住本节：高维曲率的记法是「按方向切片」——K(σ) 说明往哪个方向看时空间有多弯；球面处处每方向 ＋1，S²×ℝ 这类乘积世界则「有的方向弯、有的方向平」（例 4-5）。

第四章 曲率：Riemann 的遗产4.6 Ricci 曲率与数量曲率

★★ 第二刀、第三刀收缩：从「按方向」压到「按点」。

Einstein 度量。Ric ＝ λg 的度量称为 Einstein 度量——曲率在各方向完全均匀。球面与双曲都是（λ ＝ ±(n−1)）；第六章的真空时空也要求 Ric ＝ 0（λ ＝ 0 的特例）。「均匀」是最稀缺也最有用的性质：常曲率 ⟹ Einstein，逆命题在 n ≥ 3 时几乎成立（Schur，p120）。

一句话记住本节：收缩两次，账册从「按方向」变成「按点」——Ric 是方向平均，R 是再平均。二维里全部信息早就在 K，收缩只是换记账格式。

第四章 曲率：Riemann 的遗产4.7 Bianchi 恒等式

★★★ 曲率不是随便什么张量——它被两条恒等式锁住。这是本章最「late-blooming」的一节：内容短，后果深。

两个立即可得的推论。① n ＝ 2：第二 Bianchi 缩并后给出 ∇ⁱR_ij ＝ ½ ∂_jR——数量曲率的梯度被 Ricci 的散度锁定；② 一般维数：缩并两次得缩并 Bianchi ∇ⁱ(R_ij − ½R g_ij) ＝ 0。这个对象 G_ij ＝ R_ij − ½R g_ij 称为 Einstein 张量——它的「自动无散」性质，恰是第六章场方程 ∂ 项需要的守恒结构：几何自己准备好了账目平衡，物理只管往右边填「物质」。

维数账。n ＝ 2：R ＝ 2K，Riemann 由 K 定（1 个数）；n ＝ 3：Riemann 由 Ricci 完全决定（6 ＝ 6）；n ≥ 4：Riemann 比 Ricci 多——多出来的部分叫 Weyl（§4.11）。「维数越高，自由越多」这条账目线贯穿本章。

一句话记住本节：第一 Bianchi 管静态资格，第二 Bianchi 管动态流动——后者缩并出的 Einstein 张量自动无散，是广义相对论场方程在几何侧的「天然合法性」。

第四章 曲率：Riemann 的遗产4.8 常曲率空间：球面、欧氏与双曲

★★ 如果每点每方向的截面曲率都是同一个数 K——这样的世界长什么样？答案是只有三种模板。

读表的姿势。在球面上画圆，周长比欧氏「应该」的 2πr 短（sin r ＜ r）——因为正曲率把空间往回拢；双曲则长（sinh r ＞ r）——负曲率把空间往外撑。「量圆周长」因此成了不出门测曲率的土办法：第五章的整体定理将把这个土办法升级成定理。

一句话记住本节：常曲率世界只有三套模板，差异全部装进一个函数 S_K——sin、恒等、sinh，三个函数、三种几何、三种命运。

第四章 曲率：Riemann 的遗产4.9 曲率的几何意义：测地偏离

★★ 公式是骨架，偏离是血肉。曲率最直观的化身：相邻测地线怎么分、怎么合。

两个物理原型。① 球面经线（K ＞ 0）：各自向正北「直行」的两艘船会逐渐靠近——经线都汇于极点。若把 J 理解为「两船距离」，方程说距离的二阶导 ＝ −K·J：正曲率是引力，把平行的命运拉成重逢。② 双曲（K ＜ 0）：回复力反向，J 指数增长——相邻的「直线」迅速分道扬镳，这是双曲几何里「三角形内角和 ＜ π」等一切现象的动力学根源。

零曲率的对照。欧氏平面：R ＝ 0，J″ ＝ 0——J 线性变化。初始平行的测地线永远保持固定间隔，「平行」名副其实。三种命运同框对照：弹簧方程一个符号位，三种宇宙。

一句话记住本节：曲率是分离向量场的「加速度」——不必会算分量，只要能观察「平行出发的队伍散不散」，就已在测量曲率。

第四章 曲率：Riemann 的遗产4.10 Jacobi 方程与 Jacobi 场

★★★ 把测地偏离方程认真当 ODE 解，就得到 Jacobi 场——第五章整体定理的主力工具，本章先建库。

与指数映射的深刻牵连。初值 J(0) ＝ 0、J′(0) ＝ w 的 Jacobi 场，恰是 d exp_p 在 t·γ′ 方向对 w 的导数：「变分邻居测地线」与「求指数映射的导数」是同一件事。于是 exp 在哪里退化（丢单射性、丢微分同胚性），哪里就有非零 Jacobi 场在 t 处「归零」——Jacobi 场的零点是指数映射奇点的哨兵。

立刻的两个读数。① 球面（K ＝ 1）：S₁(t) ＝ sin t 在 t ＝ π 归零——从一点发出的测地线束在对径点全部重逢，exp 在那里退化（例 3-6 的 injectivity radius π 由此获得动力学解释）；② 双曲（K ＝ −1）：sinh t 永不归零——exp_p 处处局部微分同胚，这是第五章 Hadamard 定理的雏形。

一句话记住本节：Jacobi 场把「弯曲」变成可以初值求解的方程；S_K 的零点表就是指数映射的奇点表——解一个 ODE，读出整体命运。

第四章 曲率：Riemann 的遗产4.11 曲率的分解：Weyl 张量

★★ n ≥ 4 时，Riemann 比 Ricci 多出来的部分需要一个名字。分解（∧ 表示 Kulkarni–Nomizu 乘积——由度量按固定格式拼出的「面积元算子」）：

读法。缩并是「平均」，平均看不见的就是「各向异性」：W 记录的是方向与方向之间曲率的不均匀。Sⁿ 的 W ＝ 0（处处均匀）；乘积空间 S²×S² 的 Ricci 各向同性但 W ≠ 0（两个方向族曲率相同、组合却有各向异性——p115 习题 4-10 算过）。第六章引力波的全部涟漪，都住在 W 里：真空（Ric ＝ 0）不等于无曲率，只是曲率退到了「Ricci 看不见」的 W 部分。

一句话记住本节：R ＝ W（各向异性）＋ Ricci 拼盘（平均）；缩并丢掉的那部分不是垃圾，是引力波的住址——「平均数之外的世界」。

第四章 曲率：Riemann 的遗产4.12 曲率与和乐

★★ 第三章以和乐收尾，本章以曲率开场——本节把两者接通。

对账本。① 欧氏（R ＝ 0）：和乐平凡（题 3-10）；② 常曲率 K：绕任何小圈的转角都一样 → 和乐群是全体旋转 SO(n)（常曲率 ⟺ 和乐满：这是「各向同性」的群论说法）；③ 平坦环面（R ＝ 0）：和乐平凡——虽然住在弯曲的环面形状里，内在搬运从不转弯（第三章题 3-10 的世界）；④ 二维曲面：和乐群 ⊂ SO(2)，每点曲率就是一个「绕圈转角密度」。

方法论的回收。第三章末尾说「和乐角除以面积趋于曲率」，本章前四节兑现了承诺；本节补上对称句——曲率的全部信息也能攒回和乐。微分（局部）与积分（沿圈）两条通路闭环，这是几何学里罕见的完整对账。

一句话记住本节：和乐是曲率的积分版，曲率是和乐的密度版——一个数「转多少」，一个数「每单位面积转多少」。傅科摆（p92）转一整天，是和乐；它每小时匀速转，就是曲率在时间轴上的密度。

第四章 曲率：Riemann 的遗产4.13 Gauss 方程与绝妙定理的黎曼版

★★★ 1827 年 Gauss 在汉诺威大地测量中发现「绝妙定理」：曲面的 Gauss 曲率由第一基本形式（度量）完全决定，与外在嵌入无关。黎曼版的一句话：

为什么它「绝妙」。Gauss 之前，曲率被理解为「曲面在外在空间里弯了多少」（第二基本形式的世界）。绝妙定理说：把曲面剪下来揉一揉（保长度地变形），K 一克不少——纸卷成筒，K 仍是 0；球面无论怎么揉，K 恒为 ＋1。曲率从「外在的姿势」变成了「内在的事实」。

Gauss 方程的位置。嵌入子流形的世界里，环境空间（如 ℝ³）的曲率、子流形的内在曲率 K、外在弯曲 II 三者由 Gauss 方程联系：环境曲率 ＝ 内在曲率 ＋ II×II 项。在平直环境（ℝ³）里，它退化为「K ＝ II 的行列式比」——Gauss 原版。而在黎曼几何的立场上，根本不需要环境：K ＝ R₁₂₁₂/det g，右端只有 g。第六章的宇宙没有「外面」，居民靠的正是这条内蕴路线。

数值落实。p121 实验的程序只吃 g 的分量（Brioschi 公式，纯内蕴），却精确复现了环面的外在公式 cos v/(r(R＋r cos v))——绝妙定理的数值演出：内外两条路，同一个数。

一句话记住本节：曲率是度量的影子，不是嵌入的姿势——这既是 Gauss 的发现，也是黎曼几何全部合法性的根基：内蕴数据，内蕴结论。

第四章 曲率：Riemann 的遗产4.14 曲率分量的计算实战

★★ 计算流水线定型：写 g → 求 Γ（§3.8 流程）→ 代四件套（§4.4）→ 缩并读数。本页把三个标准世界各走一遍全程。

计算的三条纪律。① 先定约定再动笔（指标顺序、R 与 Ric 的缩并槽位），球面 K ＝ ＋1 是最好的验约定标本；② 非对角度量先算 det g 与逆矩阵，别心算；③ 二维世界最后一步必是「除以 det g」——R₁₂₁₂ 本身随坐标缩放，K 才是坐标无关的真身。

一句话记住本节：三套标准答案入库：K ＝ ＋1、−1、0——第四章的一切抽象概念，都有这三只试金石可以立刻验算。

第四章 曲率：Riemann 的遗产4.15 从曲率读出几何

★★ 概念备齐，本页把它们编成一本「速译词典」——从曲率的数值直接读出几何与整体的命运。

词典的用法。拿到一个流形的曲率数据，先问三件事：① 符号（正、负、变号）？② 是否常值（或 Einstein）？③ 缩并到哪一层（K、Ric、R）信息够用？第五章将证明：仅凭这些粗信号，就能锁死直径、基本群、同调等级别的整体不变量——局部的曲率账本，写着整体的身份证。

物理的接口。第六章 Einstein 场方程的右端是「物质」，左端是 Ricci：物质分布决定平均曲率。而 W（§4.11）不受物质约束——引力波与潮汐各向异性住在那里。「Ricci 听物质的，W 自由传播」——这本词典也是引力理论的语法书。

一句话记住本节：曲率是局部数据，拓扑是整体问题；第五章的全部内容就是证明「前者约束后者」——词典的右栏将在下一章逐一变成定理。

第四章 曲率：Riemann 的遗产4.16 曲率的收束

★★ 收束本章。先看那张从定义一路铺到内蕴性的链条。

本章做的事，本质是给「弯曲」建立会计制度：定义（R）管原始凭证，对称性与 Bianchi 管审计，三层收缩管报表，绝妙定理管内裆合规。下一章拿着这张报表走出局部——问曲率在多大范围里说话。

第四章 曲率：Riemann 的遗产例题一：曲率张量的分量计算

★★ 例题页演示「怎么算」。本页把三套度量的曲率各算到底。

方法总结：二维曲率计算的最后一步永远是「除以 det g」；会变号的场合（环面）先找特殊圈（v ＝ 0、π/2、π）定锚，再写一般公式。

第四章 曲率：Riemann 的遗产例题二：常曲率与截面曲率

★★★ 本页做三个稍深的计算：全截面相等、乘积世界、共形公式。

三道例题三句口诀：对称性给答案（例 4-4）、乘积按因子分账（例 4-5）、共形只动 λ（例 4-6）。第五章的比较定理将反复调用这三句。

第四章 曲率：Riemann 的遗产习题课（一）：曲率张量与对称性基本功

★★ 先做基本功：验对称、数分量、算 Ricci。

题 4-2 的数数是「对称性即压缩」的直接体验：从 256 到 20，账册薄了九成——这份薄，正是第六章场方程可能存在的统计学前提。

第四章 曲率：Riemann 的遗产习题课（二）：Ricci 曲率与常曲率的进阶

★★★ 进阶题：Einstein 度量、共形公式、乘积与和乐。

题 4-9 的结论值得咀嚼：「每点各向同性」在 n ≥ 3 时自动升级为「处处均匀」——对称性有惯性。第六章宇宙学的「时空各向同性 ⟹ 曲率常数」正是这一惯性。

第四章 曲率：Riemann 的遗产第四章地图：概念依赖关系

★★ 一张图收下第四章。

第四章 曲率：Riemann 的遗产第四章小结（上）：从定义到三层收缩

★★ 前半章（§4.1–4.7）：曲率的会计制度。