1.1 从汉诺威三角网到内在几何

1.1 从汉诺威三角网到内在几何

摘要：黎曼几何的第一推动力不是抽象公理，而是一个具体矛盾：生活在曲面内部的居民，能否不跳到外部、仅凭内部测量判断自己的世界是否弯曲。本节从剥橘子的日常反例进入高斯的汉诺威大地测量现场，讲清「绝妙定理」为何把曲率变成内部可测量，并确立贯穿全册的内在性立场。

一个剥橘子的反例

把橘子皮整块剥下，按在桌面上抚平——总有一处要裂开，或者起褶。换一张纸，同样的操作毫无困难。差别不在皮的韧性，而在几何本身：橘子皮每一点的内在度量结构，与平纸的度量结构本质不同，无论怎么剪切都不可能无损地摊平。这就是曲面「弯曲」最朴素的证据，而且注意，得出这个证据全程不需要第三个维度——裂口和褶皱是表面内部就能观察到的事实。

这个反例逼出一个纲领性问题：如果一张曲面自己会「报告」弯曲，那么生活在曲面上的二维居民，能不能只靠皮尺和量角器，系统地把弯曲程度测出来？黎曼几何对这个问题给出的答案是肯定的，而肯定答案的第一份证明材料，来自高斯在汉诺威的野外作业。

高斯在汉诺威的野外现场

十九世纪初，高斯受命主持汉诺威王国的大地测量。他的队伍在相互通视的山丘上竖立标志，白天测基线，夜间用信号灯测角，把大地分割成一个个三角形。整套流程只需要两类原始数据：边的长度、边的夹角——全部在地面附近获得，没有任何一步需要「跳到太空俯瞰」。

长年的三角网作业让高斯反复摆弄同一件事：在曲面上画三角形，量三条边、三个角，检查内角和。平面上的经验是内角和等于二直角；可当三角网覆盖足够大的地面时，观测与计算之间总存在无法用仪器误差完全解释的系统偏差。高斯意识到，这个偏差不是测量的敌人，而是大地在报告自己的弯曲。

顺带一提，高斯本人真的在书信里讨论过：如果光线沿着弯曲的空间传播，我们在地球表面做的所有三角测量，测到的其实是弯曲空间的几何。这段猜想比黎曼的演讲早了几十年。

绝妙定理：内部测量决定一切

高斯把上述直觉锻造成了「绝妙定理」（Theorema Egregium）：曲面的高斯曲率 K 完全由第一基本形式（也就是曲面内部的长度度量）决定，与曲面在三维空间中如何摆放、如何弯曲嵌入毫无关系。

这个定理的分量需要放在当时的框架里看。高斯的老师那一辈已经知道，曲面有两个「主曲率」，是拿曲面外部的法平面去截曲面量出来的——这是外部观察者的量具。绝妙定理说的是：这两个外部量虽然方便，但它们的乘积（即高斯曲率）其实有一个纯内部的等价定义，纸上测长度和角度就能算出来。

一张纸，摊开是平的，卷成圆筒后两个主曲率都变了，但卷纸没有拉伸任何一处，内部距离丝毫未动，于是 K 保持为零——这解释了为什么圆筒上的几何和平面局部一样（蚂蚁在圆筒上无法用内部测量区分它与平面）。橘子皮则相反，无论怎么摆，内部度量决定了它的 K 处处为正，摊平必然撕裂。

勘探队三角网工作法

案例：球面三角形的完整测量过程

把勘探规程落到一个能算的例子上，看内在测量如何直接给出弯曲结论。

背景：队员被空投到一顆星球表面（事先不告知是球面还是平面），随身装备只有测距轮和量角器。

操作：从北极点出发，沿经线向南直行一段弧到纬度 \theta_0；沿该纬线圈直行四分之一圈；再沿经线回到北极。三条路径都是「走起来不拐弯」的路线（测距轮方向不变，这个概念第三章将正式命名为测地线，纬线圈那段是例外，暂且视为已测边）。

结果：三个内角分别是北极角 \tfrac{\pi}{2}、另外两个底角各 \tfrac{\pi}{2}（经线与纬线处处垂直）。内角和 \tfrac{3\pi}，超出平面值 \pi 多出 \tfrac{\pi}{2}。用球面几何的已知公式核算：盈余 = K \times \text{面积}，半径为 R 的球面 K = 1/R^2，该三角形面积占全球的八分之一即 \tfrac{\pi R^2}{2}，两者相乘恰为 \tfrac{\pi}{2}，与实测吻合。

解读：队员全程没离开星球表面，没看过一眼「球」这个形状，却测出了 K > 0 且推出 R。这就是内在测量的完整闭环——观测（角盈）→ 定律（角盈正比于面积与曲率）→ 反演（由角盈率定标半径）。

变式：把同一规程搬到伪球面（马鞍面局部）上，内角和会小于 \pi，角盈变号；搬到圆筒上，内角和严格等于 \pi，任何三角形都测不出弯曲——因为圆筒内在平坦，这与「卷纸不改变内部几何」一致。三种曲面、三种符号，规程一行不改，这正是内在性纲领的力量。

内在性立场：本册的队规

有了以上铺垫，可以把全册立场明确成三条队规。第一，一切几何量必须给出内部定义或内部测量方案；外部嵌入只允许作为构造手段出现，不允许进入定义。第二，坐标系只是记账工具：同一空间允许无数套坐标卡，任何结论若依赖特定坐标才有意义，就还不是几何结论。第三，公式要能落到测量：每学一个新量（联络、曲率、测地线），都要问一句「队员拿什么仪器、按什么流程读出它」。

行话提示：数学文献把「只依赖内部度量」的性质叫内蕴性质（intrinsic property），把依赖外部嵌入的性质叫外在性质（extrinsic property）。看到这两个词，就回到剥橘子与卷纸的两个例子。

从曲面到高维：黎曼的一纸纲领

高斯解决了二维曲面的内在几何，把接力棒交给黎曼的，是一场就职演讲。黎曼要回答评审团（高斯本人位列其中）出的题目：几何学的基础应当是什么。他的答卷绕开了「点、线、面」的传统公理路线，直接给出构造：先承认一个 n 维流形（他称为「多重延展」），允许每点局部用 n 个数记账；再在每点配一个正定二次型作为长度平方——即本册第一章的度量张量。几何学的全部对象由此变为「流形 + 度量」的配对，而欧氏几何、球面几何、双曲几何都降格为这个框架里的特例（度量取特定形式的情形）。

这份纲领的两句纲领性宣言值得原文转述其意：其一，关于空间的先验假设应当清除，几何性质必须由测量决定；其二，流形的维数与度量都不必是三维——这句在当时近乎哲学狂想的话，在一个半世纪后成为物理学的日常用语（广义相对论的四维时空、弦论的高维紧化，都住在这句话划出的地基上）。

常见疑问与解答

问：既然蚂蚁测不出卷纸与平面的区别，卷纸算不算「真的」弯了？ 答：分两层。内在层上卷纸完全平坦——高斯曲率为零，这是蚂蚁能验证的全部；外在层上它有非零主曲率（法向弯曲），但这需要第三维的外部观察者才能定义。黎曼几何的立场是把「弯曲」一词默认保留给内在层，外在弯曲属于嵌入理论的术语。这个区分在第 1.3 节与第三章会反复用到。

问：内在测量真的能做到「完全」吗？角度仪器要不要外部参照？ 答：角度可以用曲面内的闭路定义（绕一点转一圈回来，方向转了多少），长度用测地线弧长定义，面积用长度积分定义——三项全内部。绝妙定理的深层含义正是：这套内部仪器已经完备，多出来的外部信息对内在几何毫无增益。

本节要点回顾

• 反例开路：橘子皮摊不平、纸卷成筒不改变几何，是「弯曲属于内部」的日常证据；
• 高斯现场：三角网的角盈偏差是历史上第一个系统性的内部曲率测量方案；
• 绝妙定理：高斯曲率由第一基本形式完全决定，外部嵌入方式与它无关；
• 测量闭环：角盈观测 → 面积定律 → 反演曲率，全程不出曲面；
• 三条队规：内部定义优先、坐标无关、公式落到仪器，将约束全册后续每一章。