高斯 vs 黎曼：几何学革命

对话背景#

卡尔·弗里德里希·高斯（Carl Friedrich Gauss, 1777–1855）在数论、代数、分析、统计和微分几何都留下可核对的工作。1827 年 10 月 8 日他向哥廷根皇家学会提交《关于曲面的一般研究》（Disquisitiones generales circa superficies curvas，1828 年刊出），其中的绝妙定理（Theorema Egregium）表明：曲面的高斯曲率完全由第一基本形式决定，不依赖于曲面如何嵌入三维欧氏空间。

伯恩哈德·黎曼（Bernhard Riemann, 1826–1866）于 1851 年在高斯审阅下取得博士学位。按哥廷根的资格程序，申请人须提交三个试讲题目，由教授会选定其一。高斯选定了几何。1854 年 6 月 10 日，黎曼在哲学教授会前宣读《论作为几何学基础的假设》（Über die Hypothesen, welche der Geometrie zu Grunde liegen）。讲稿几乎不用公式，把高斯的二维内在几何推到任意维流形，并明确说：使空间区别于其他三维量的那些性质，只能从经验取出。全文在黎曼去世后由戴德金整理，1868 年刊于哥廷根科学协会论文集。

第一幕：曲面的内在几何#

高斯：黎曼先生，我关心的不是曲面在空间里看起来弯成什么样，而是住在曲面上的人用尺和角能测到什么。绝妙定理说：高斯曲率 $K$ 可以由第一基本形式——也就是曲面上的距离度量——完全写出来。弯曲一张不伸展的纸，$K$ 不变；这不是审美判断，是计算。

黎曼：老师，这意味着几何可以是“内在的”。曲面上的居民不必爬到三维里去“从外面看”自己的世界，只要能测长度和角，就能知道这里是平的、球的，还是马鞍的。

高斯：正是。若一张曲面能等距展开到平面上，则 $K$ 处处为零。圆柱可以铺开，球面不能。汉诺威大地测量逼我面对这件事：把地面上的三角形投影到海平面之后，角盈来自地球的形状，不是来自绘图员的心情。1821 到 1825 年我测了王国的三角网，其中霍厄哈根—布罗肯—大因塞尔斯贝格那组大三角形，边长大约七十到一百公里。我用自己做的日光反射器读角。角盈的数量级与把地球当作球面时的预期相符；测量误差不允许我再往下宣称“三维空间本身是弯的”。

黎曼：后世常把这组山峰写成您在检验欧几里得空间。档案里更清楚的动机是测地与地球形状。恩斯特·布赖滕贝格后来的考证也偏向这一边。您本人在 1827 年给奥尔伯斯的信里承认：要用大地三角形去判决空间是不是欧氏的，误差太大。

高斯：传说比三角网好讲。萨托里乌斯·冯·瓦尔特斯豪森在我去世后的回忆里，把布罗肯—霍厄哈根—因塞尔斯贝格写成对欧氏几何的经验检验；马克斯·雅默等后来的叙述跟着走。测地史家指出：那组大三角形是用来校核二十六组小三角形、并估计地球偏离正球体的程度。角盈大约十五角秒，与球面预期同量级，残差落在测量噪声里。我愿意把传说降回测地。真正能写进定理的，是内在曲率，不是山峰轶事。

第二幕：从曲面到流形#

黎曼：1854 年的试讲把您的二维方案推到任意维。一个 $n$ 维黎曼流形是一个 $n$ 维空间，上面给定度量张量 $g_{ij}$。线元写成 $ds^2 = \sum_{i,j} g_{ij}\, dx^i dx^j$。在二维曲面上，这就是您的第一基本形式；在 $n$ 维上，$g_{ij}$ 是随位置而变的对称正定矩阵。

高斯：教授会要的是概念清楚、少写公式的公开讲演。你几乎没在黑板上展开计算，却把“多重延伸的量”从一般量概念里造出来。这比再证明一条曲面公式更大胆。

黎曼：资格论文和公开试讲不是同一件事。为了取得授课资格，我花了大约两年半。按规定提交三个题目，我指望教授会点前两个——更靠近我正在做的数学物理。您点了几何。我写信给父亲说完全没料到。讲稿必须概念清楚，不能把分析展开成计算；所以它短，几乎没有公式。开头我承认自己不熟哲学表述，所能依靠的，只有您在二次剩余第二篇论文、哥廷根学术通报和周年纪念文里的简短提示，以及赫尔巴特的一些讨论。戴德金后来写：您选这个题目，是想听一个年轻人如何处理如此困难的对象。

高斯：那么曲率呢？二维里它是一个数 $K$。高维里它还是一个数吗？

黎曼：不是。高维曲率由黎曼曲率张量 $R_{ijkl}$ 描述，独立分量个数是 $\dfrac{n^2(n^2-1)}{12}$。二维时它退回到高斯曲率。截面曲率是：在每一点、每一个二维方向上，取出那一层的高斯曲率。空间不必处处同一类几何。

第三幕：非欧几何，以及三种流形#

高斯：你知道我私下考虑过否定平行公设的几何，却没有发表。罗巴切夫斯基和波尔约把一种自洽的非欧系统写了出来。我的曲面语言让这事变得可画：曲率的符号就是几何的类型。

黎曼：在常曲率的情形里可以这样排：

• $K = 0$：欧几里得几何
• $K > 0$：椭圆几何，球面是模型
• $K < 0$：双曲几何，马鞍面是局部模型

一旦允许曲率随位置和方向变化，分类就不再是三种“世界”，而是一种语言：任何光滑到足够阶的度量都可以拿来问测量问题。

高斯：你还写了离散的可能。

黎曼：是的。流形可以是连续的，也可以是离散的——元素之间有没有连续过渡。第三种选择最容易被当成玄谈。我要说的更窄：连续性、维数、线元是否二次型，这些都是假设，不是从一般量概念推出来的必然。离散流形里，度量关系已经含在概念本身里；连续流形里，度量的根据必须从外面来——来自作用在它上面的约束。

高斯：这句话把几何交给了物理。

黎曼：交给经验。数学列出可能，测量挑选哪一种在给定尺度上可用。

第四幕：空间的本质#

高斯：于是问题变成：空间是欧氏的还是非欧的——这是数学定理，还是物理命题？

黎曼：物理命题。几何学预设了空间概念和一套构造原则，却只给名义定义；真正把空间和其他三维量分开的那些性质，只能从经验取出。它们像所有事实一样，并非必然，只具有经验的确定性，所以是假设。我们可以问：把它们延拓到可观测范围之外——向无限大，也向无限小——是否正当。

高斯：我同意几何需要经验。汉诺威的三角形在精度内与欧氏加地球曲率的模型一致，这只排除了“在那一尺度上有大得测得出的空间曲率”，没有证明空间在所有尺度上都是平的。

黎曼：试讲的后半段把重点放在无限小，而不是无限大。关于无限大的问题，对解释自然几乎没有用；关于无限小的问题则不然。固体和光线这些建立度量的经验概念，在无限小处可能失效。因此我们完全有自由假定：无限小处的度量关系并不服从通常几何的假设；若这样能更简单地解释现象，我们就应当这样假定。我甚至写了：线元不必是二次微分的平方根，更复杂的关系也可以存在。这不是为了炫技，是为了把“二次型”也标成假设，而不是标成空间的本质。

高斯：自由假定不是证明。你把“应当”写进了讲稿，等于邀请下一代用实验来否决或收留这假设。

黎曼：是邀请，不是预言。1854 年我没有任何实验室能进入那个尺度。

第五幕：物理应用来得更晚#

高斯：那么，你的几何有没有当代的物理应用？

黎曼：在我有生之年（1826–1866）没有直接应用。我能主张的只是：若空间有曲率，曲率应当能被测量；若无限小处的度量另有根据，物理必须改写“刚体”和“光线”的用法。

高斯：后来发生了什么？我们两人都不在场，但这场对话若只停在 1854 年，读者会以为讲稿当时就征服了物理。

黎曼：讲稿被遗忘了十几年。1868 年戴德金把它印出来之后，数学家才慢慢读。1915 年爱因斯坦把引力写成时空度量的方程，1916 年发表《广义相对论的基础》。在那套理论里，引力不再是一种额外的力，而是度量如何随物质分布变化。物质告诉时空如何弯曲，时空告诉自由下落如何走。这是事后的物理选择，不是 1854 年的必然推论。

高斯：纯数学被后来的物理选中，常被说成“不合理的有效性”。更老实的说法是：你提供了一族可能的度量，爱因斯坦的场方程在这族里挑了一个与观测相容的动力学。多数度量仍然不描述任何已知物理。

黎曼：数学列出可能性，物理学在其中选择。选择可以被新观测推翻。这正是我把欧几里得规则叫做假设的原因。

第六幕：高斯的赞叹，以及那句找不到出处的话#

高斯：黎曼先生，后世喜欢给那天的试讲配一句我的话，仿佛我当众说你“超过了我”。

黎曼：我没有听到这样的句子。戴德金在传记里写的是：试讲结束后，您对韦伯异常兴奋地谈起讲稿的深度。韦伯的回忆也止于热情，没有逐字引语。数学史家后来核对过：若您曾把类似的话当面告诉我，没有留下记录。连我自己也没有推动这篇讲稿发表。

高斯：这更像我。我吝啬称赞，也不习惯把课堂上的激动写成可引用的箴言。1851 年你的博士论文评语我写过：深刻而有穿透力的研究、真正数学的研究精神、值得称道的独立性，整体不仅达到学位论文的通常要求，而且远超它们；同时也希望某些部分的安排再透明些。那是公文，不是戏剧。试讲当天没有留下问答记录。赞叹若要有根据，应当停在戴德金—韦伯这条二手链条上，不要再发明一句更响亮的“超过了我”。威廉·克利福德 1873 年把讲稿译成英文，读者才在德语圈子之外读到那份假设表。

黎曼：没有那句台词，工作仍然成立。出发点仍是您的内在几何。没有二维的绝妙定理，我没有理由去写 $n$ 维的度量。

高斯：每一代人在前人停下来的尺度上再问一次：哪些是定理，哪些只是假设。进步看起来像站在肩膀上，其实是把假设重新编号。

第七幕：数学与物理的分工#

高斯：你的工作暗示几何可以成为引力的语言。克莱因 1872 年的爱尔兰根纲领按变换群给几何分类，部分是在回应你把度量从空间概念里拆出来之后留下的空位。这是巧合，还是结构上的邻近？

黎曼：结构上的邻近，不是宿命。物理世界有可测的关系：距离、角、体积、自由下落的轨迹。几何研究的正是这类关系。群论分类回答“什么在变换下不变”，我的度量回答“什么可以被尺量到”；两套问题相邻，并不互相推导。若未来的物理决定时空在普朗克尺度上不再是光滑流形，我的语言就只是一种有效近似——正如欧氏几何是日常尺度上的有效近似。

高斯：连续数学比离散数学更顺手：微分方程、流形、拓扑都靠连续性。若空间真是离散的，我们会不会因为不习惯而拒绝测量？

黎曼：顺手不等于正确。试讲已经把这句话写下来了：在离散流形里，度量的根据在概念内部；在连续流形里，根据必须来自外部的约束力。二十世纪的圈量子引力、因果集，都在不同技术路线上重提“连续也许只是近似”。它们不是我的预言应验，是同一类经验问题被重新打开。

第八幕：维度，以及尚未完成的讲稿#

高斯：你在试讲里允许维数不必是三。后来的弦论把十维或十一维写进拉氏量。那是物理实在，还是计算装置？

黎曼：1854 年我只能说：三维是经验事实，不是逻辑必然。额外维若不能被测量约束，就仍是假设。假设可以非常有用，只要不假装已经观测到。

高斯：机器学习里的“流形学习”把高维数据看成低维曲面。这与引力无关，却仍在用你的词。

黎曼：词被借用，不自动证明结构同一。数据流形没有爱因斯坦方程。它只说明：内在度量这个想法，可以在统计里再次被试验。每一次借用都要重新问：这里的 $ds^2$ 是测出来的，还是被算法定义出来的？

高斯：问到这里，几何就不再是黑板的装饰。它是一份关于哪些句子可以被经验撤回的清单。

黎曼：而这正是 1854 年 6 月 10 日我想留给教授会的东西：不是又一条更漂亮的公式，而是一份更短的假设表。

分析#

高斯把曲率变成内在量，黎曼把内在量变成任意维的语言。这一步改变的不是“谁更天才”，而是几何与经验的边界：欧几里得规则从公理降为可检验的假设。讲稿在黎曼生前未刊，1866 年他在意大利去世，1868 年戴德金才把它从遗稿里取出。广义相对论是六十年后的一次成功选用，不是讲稿的必然结局。量子引力若最终放弃光滑流形，也只是把黎曼已经写在结尾的那条许可——无限小处可以不服从通常几何——重新兑现为具体理论。机器学习借用“流形”一词，同样要重新声明：$ds^2$ 在那里是算法定义，不是引力动力学。

两人真正分开的地方在于力度。高斯用大地测量把经验限制在误差范围内，并拒绝把山峰三角形写成对三维空间的判决。黎曼把同一经验原则推进到无限小，并允许离散。后世把高斯的赞叹编成一句“超过了我”，档案只支持“对韦伯表示兴奋”。虚构对话可以让他们把话说完；不可把佚事升级成引语。

延伸阅读#

• 高斯，《关于曲面的一般研究》（1827 年提交，1828 年刊出）
• 黎曼，《论作为几何学基础的假设》（1854 年宣读，1868 年由戴德金刊出）
• 爱因斯坦，《广义相对论的基础》（1916）
• Dedekind, R. “Bernhard Riemann’s Lebenslauf.” 见黎曼全集（1876）
• Breitenberger, E. (1984). Gauss’s geodesy and the axiom of parallels. Archive for History of Exact Sciences.