第三章 曲率与测地线

第三章 曲率与测地线：记录搬运偏差，走出惯性路线

章节摘要：本章是全册的枢纽。第一节把上一章交换子中幸存的组合项正式命名为曲率张量，并给出分量、对称性与几何读法；第二节压缩信息，导出截面曲率、里奇曲率与数量曲率；第三节从「长度一阶变分为零」推出测地线方程并手算球面案例；第四节把仪器开到球面、伪球面、环面三处现场做系统对比实验。读完本章，曲率从名词变成可计算、可测量的对象。

学习目标

1. 能写出曲率张量的交换子定义与坐标分量公式，并叙述其六条代数对称性；
2. 能计算球面的全部非零曲率分量，并用回路偏转公式核对角盈；
3. 能由曲率张量导出截面曲率、里奇张量与数量曲率，说明三者的信息压缩关系；
4. 能从弧长泛函出发推导测地线方程，并在球面上验证大圆是测地线、纬线一般不是；
5. 能在球面、伪球面、环面三类曲面上执行同一套曲率测量规程并解释读数差异。

核心概念速览

金句：联络记录搬运如何修正，曲率记录修正如何对不上账；测地线则是在这套账目下，走得最「不自觉」的那条路。

子章节导航

• 第一节 曲率张量的来历：从二阶协变导数的交换子到 R^l{}_{kij} 的完整推导，坐标分量公式、对称性清单，以及球面曲率的全套手算与回路实验核账。
• 第二节 截面曲率与里奇曲率：四阶张量信息过载，截面曲率按二维切片读数、里奇曲率按方向平均、数量曲率压缩成一个数——三种压缩各服务什么问题。
• 第三节 测地线方程手推：从「长度泛函一阶变分为零」到测地线方程的变分推导，与「切向量沿自身平行移动」的动力学表述等价性证明，球面大圆与纬线的对照核算。
• 第四节 三大曲面曲率实验：同一套规程测球面、伪球面（负曲率样板）与嵌入环面（混合曲率样板），完成内角和、回路偏转、周长面积比的三组读数对比。

子章节之间的逻辑关系

本章是「记账 → 压缩 → 行走 → 实测」的完整流水线：第一节立账（曲率张量），第二节出报表（截面与里奇），第三节根据账本定路线（测地线），第四节到野外验收（三曲面实验）。

交换子(3.1) ──压缩──> 截面/里奇(3.2)
    │                    │
  回路核账              场方程原料(→第六章)
    └──> 测地线(3.3) ──> 三曲面实验(3.4)
           │                  │
        指数映射(→第四章)   正负零曲率词典
​

前置知识与后续延伸

前置：第二章全部——克氏符号公式、张量协变导数、交换子结构；第一章的球面度量与手推流程。本章手算密度全册最高，建议每节配纸笔，代码实验随节执行。

延伸：第四章的完备性与比较定理全部以曲率符号为前提；第六章爱因斯坦场方程的左端就是里奇张量组合，几何分析的里奇流以里奇张量为演化对象；测地线方程则直接生长成第四章的指数映射与第六章的测地线距离学习。可以说，后面每一章都在消费本章的产出。

手推任务清单

本章的实操强度需要一张清单管理，完成一项勾一项：任务一，球面克氏符号全算（第二节，输入第一章度量）；任务二，曲率分量与坍缩公式算出 K = 1（第一节，三重核账）；任务三，能量泛函到测地线方程的完整变分（第三节，重点盯「度量导数组合成克氏符号」那一步）；任务四，赤道与非赤道纬线的代入判定（第三节，两个具体反例）；任务五，三曲面曲率的机器复核（第四节，代码可直接改度量复用）。五个任务的共同纪律是「先手推、后机器、再对表」——任何一步两版数字对不上，先查符号约定再查漏项，这正是第三章训练的真正价值：它教会的是可迁移的核算习惯，而不只是几何结论本身。