黎曼 · 弯曲的空间

「内角和一百八十度」在欧几里得的体系里不是开头的规矩，而是第五条公设的推论。第五公设说：两条直线被第三条所截，若一侧内角之和小于两直角，这两线必在该侧相交。它啰嗦、绕口，不像公理倒像定理——两千年来，无数人想把它从前四条推出来，全部失败。

失败的账本很有意思。托勒密试过；五世纪的普罗克洛斯试过，还顺手指出托勒密的错误；十一世纪的波斯人海亚姆、十三世纪的图西接着试；到十八世纪，意大利人萨凯里把归谬法推到了极限：他假设内角和小于、等于、大于一百八十度三种情形各推到底，推出一串「荒谬」——可惜每一条都不矛盾，只是不像欧氏几何。

十九世纪二十年代，罗巴切夫斯基与鲍耶各自走通了最后一步：把第五公设换掉，得到的几何照样自洽。三角形内角和可以小于一百八十度；过线外一点可以作不止一条平行线。数学头一次发现：原来「平直」是可以退换的设定。

高斯早二十年也想到了，只肯在私信里说。而黎曼，作为他的学生，读到的是另一个方向的问题：与其在欧氏几何旁边再立一套公设，不如退一步问——「几何」这个字，到底在说什么？

「内角和小于一百八十度」的几何听着玄，其实地表上就有它的样品——在球面上。

球面上的「直线」是什么？蚂蚁在球面上走，想走直，只能走大圆：球面被过球心的平面切出来的那个最大的圆。地球上的经线都是大圆，赤道是大圆，但纬线不是——纬线是「斜着」切出来的，不是最短路线。

拿大圆当直线画三角形：从北极出发，沿经线走到赤道，沿赤道走四分之一圈，再沿另一条经线回北极。这个三角形的每一个角都是直角——内角和二百七十度，比一百八十度多出九十度。三角形越大，超出得越多；缩到很小，就渐渐看不出偏差。

所以三种角和各有各的地盘：平面上恰是一百八十度；球面上大于；而「小于」的那一种，画在马鞍那样的鞍形曲面上。三种几何没有谁错，只是各自的「地盘」弯法不同。

可是球面有个毛病：它不是「自己站得住」的几何——它是躺在一个三维球里被弯出来的。要是空间弯不弯根本不用外援、自己就能说了算呢？这个问题，要等黎曼的回答。而回答的第一步，竟是一只甲虫。

高斯不是没有答案，是不肯交卷。他在给朋友的信里写过：非欧几何迟早会被承认，「我怕愚人的叫嚷」；他把另一套想法埋在心里几十年——几何或许不唯一，而空间究竟属于哪一种，要靠测量判定。

这些话他都只写在私信里。到了晚年，他把想法拆成了两份遗产：一份给测量学——曲率可以算，1827 年他证明了一个惊人的定理（第三幕细说）；一份给课堂上——一八四六年前后，他在哥廷根开的课里，偶尔流露出「空间的本性未必是欧氏的」这类话。台下坐着的学生里，后来只有一个人接住了这条暗线。

一八四六年的黎曼十九岁，刚进大学，学的还是神学。等到他转入数学系、开始读高斯的著作时，老人已经年过七十，讲课照做，深谈很少。两个人一生几乎没有私人交往的记录——但这条从公设之辩里抽出来的暗线，恰恰越过了纸面，落在了最合适的人手里。

黎曼接到的不是「证明第五公设」或者「推翻第五公设」的任务。他接到的是一个更大的问法：把「直线是平的」这条两千年默认的设定拿掉之后，还剩什么？他的答案会在一八五四年夏天揭晓。第二幕，先看那只甲虫。

平面上画两点，问哪条路最短——人人都知道是直线段。但这句话其实说反了：正因为直线被定义为最短路，「最短路是直的」才成了废话。倒过来想更有用：在一张陌生的曲面上，根本不必先知道直线是什么，只问最短——把所有连接两点的路线比一比，赢家就是「直线」。

数学里给这个赢家起的名字是测地线。球面上的测地线是大圆：环球飞行总挑最北的航线飞，看着绕远，其实走的是大圆的劣弧。圆柱面上的测地线最有趣：把纸筒沿一条线剪开展平，筒上的螺旋线立刻变成纸上的直线——所以纸筒上任意绕出的螺旋，只要剪对了剪开的方向，都是测地线。

测地线有个平面上没有的怪脾气：连接同两点的测地线可以不止一条。球面上取两个离得很远的点，沿着各自的大圆都能到，两条大圆弧都是「最短的」——各自在附近是最短，整体上却分长短。

把直线换成测地线，三角形、内角和这些老词立刻都有了新意思：甲虫世界里的一切几何，都可以从「最短」这个词重新盖起来。

甲虫能不能自己量出纸弯不弯？高斯在一八二七年给出了答案，那份答案的标题他自己选了一个词：绝妙（Theorema Egregium）。

定理说的是：曲面上有一个量，叫高斯曲率，它可以从曲面自己身上的距离算出来，一点也不需要外部空间帮忙。它的算法朴素得可以演示：在曲面上取一点，量一量以这点为中心的小圆的周长，跟半径成正比地偏离「两 π 乘半径」多少，曲率就藏在偏差里。

更妙的是它立刻解释了前面所有现象。纸卷成筒：高斯曲率不变，还是零——甲虫量不出，因为确实没变；纸揉出鼓包：曲率从零变了，甲虫立刻量得出——因为变的是内在几何，不是摆放姿势。

这也解释了橘子皮。剥下一块橘子皮想按平在桌上，必得撕裂或起皱：皮所在的那层球面，曲率大于零，而平面曲率是零；从正曲率摊到零曲率，面积放不平，几何规律不允许。反过来，一张平面纸可以随意卷成筒、弯成浪——那都是在曲率零的世界里挪动。

「弯不弯」从此有了两种含义：摆放的弯（甲虫量不到）与内在的弯（甲虫量得到）。黎曼要推广的，始终是后者。

内在几何还能解释一件日常的委屈：为什么没有一张不撒谎的世界地图。

地图是球面到平面的投射。绝妙定理说球面曲率是正的、平面是零，两种内在几何不同，而投射若要保持一切距离不变，内在几何就得原封不动——规律不允许。于是制图学只会做交换：保住了形状就丢掉面积（墨卡托投影把格陵兰画得比非洲还大），保住了面积就扭歪形状（等积投影的大陆像被挤过），没有两头都赚的。

高斯的大地测量干的就是这门受委屈的学问。一八一八到一八四七年，他主持汉诺威王国的三角测量，走遍全国立标测角；为了让曲面国土画上平面图时不失真，他专门研究了曲面到曲面的保持角度的投射——那篇一八二七年的曲面论文，一半是大地测量的副产品。

地图学的委屈还有个好看的边角：任何平面地图上，总有一个点到球面北极的距离是错的——更准确地，球面到平面的等距映射不存在，误差只能摊开藏进各处。甲虫若对着一幅「完美地图」找路，必然迷路。

所以弯与不弯，连地图都知道。黎曼的听众们从这个日常话题出发，会更容易听懂他第三幕那句话：距离，是可以规定的。

演讲开场，黎曼没有谈公设，没有谈平行线，甚至没有画图——通篇讲稿里几乎一个公式都没有。他先做了一件更根本的事：把「空间」这个词拆开。

他说，数学里真正能操作的对象，是「流形」：把一堆东西一个一个数过去，得到一维；两个方向各数各的，得到二维；有几个独立的「方向」，就是几维。一条线是一维流形，一张面是二维流形，我们住的空间是三维流形——而这套话可以一路数到 n 维，维数不过是「独立的量有几个」。

这一步妙在把「空间」从天花板下解放出来：几何不必只属于我们看见的三维；任何一个有 n 个独立量的系统——温度压强saltiness的一锅汤、经济学里 n 种商品的价格——都是 n 维流形，几何的语言立刻适用。

黎曼随后说：流形只有「维数」还不够，还得有度量——相邻两点离得多远。演讲的后半，全在度量两个字上。他在结尾谦虚地说，自己只是开个头；后来克莱因评价：这是德国科学文献里最著名的演讲之一，哲学的密度吓退了当时的听众——刊印时全文只有八页摘要，真正一鸣惊人是在他死后。

演讲真正的核心只有一句话：在流形上，距离是额外规定的。

先看二维的老朋友。一张曲面上，相邻两点的距离可以写成一个小小的平方式：沿两个方向各走一小步，总距离的平方由四个系数调配出来——这套系数就是度量的系数。平面的系数是单位表；球面的系数里藏着半径；每一种弯法，对应一套系数。黎曼的原文里，这是通篇唯一的符号表达式。

把这套话原样搬到 n 维流形：相邻两点的距离平方，由沿各方向的小步与一套 n 乘 n 的系数调配出来。系数表给定了，空间里一切几何——长度、角度、面积、曲率——就全部随之确定：两点沿哪条路最近，甲虫的尺子怎么量，都不必再问外部。

「距离可以规定」听起来轻描淡写，其实是把两千年翻了过来。欧几里得把平直写进公设；黎曼把「平直」降格为系数表的一种特例——全一的系数表。规定别的系数表，就得到别的空间；规定这规定本身，才是几何的第一性问题。

物理空间的系数表是什么样？黎曼说：那是经验的事。这句话在演讲结尾，第五幕会听到它的回声。

度量定了，下一个问题顺着第二幕而来：甲虫的尺子能量出曲率，那么在 n 维空间里，曲率还能从系数表里算出来吗？答案是黎曼演讲的第二个支柱。

在曲面上，曲率是一个数。在三维、四维乃至 n 维流形里，黎曼发现曲率不是一个数，而是一族数——在每个点、每一张二维小切片上各有一个，切片怎么取，数怎么变，它们之间又由规律牵着。后世纪念碑化这族数的名字，叫黎曼曲率张量。

曲面上的老经验，在 n 维里全部有对应的译本：切片曲率处处为零，空间就是「平」的，平行的规矩照旧；切片曲率处处同一正数，那是球型空间，三角形角和盈出，直线出发会回头；处处同一负数，那是鞍型空间，角和亏欠，平行线成片。

黎曼还挑明了最锋利的那一点：平不平，不再是一个空间的名字里带的属性，而是从度量里算出来的结果。系数表里全一的表，算出来处处是零曲率；稍一变形，曲率立刻不零。弯与直从「身份」变成了「读数」。

读数怎么定？还是那句：经验。第五幕将看到，宇宙学家的测量，正是在给宇宙读这个数。

黎曼的棋子是一条早已存在的曲线，欧拉一百年前造的：ζ 函数。它取所有自然数的倒数，按幂次加起来——一加二分之一的 s 次幂，加三分之一的 s 次幂，加下去，无穷无尽。取 s 大于一时，这条级数收敛，曲线有确定的值。

欧拉发现了一个石破天惊的秘密：这条看似只管「所有数」的曲线，其实是素数们各自贡献乘起来的——每一条曲线，都是一个无穷的乘积。级数与乘积之所以相等，靠的恰是算术基本定理：每个数都能唯一拆成素数的乘积。

这句话翻转了视角。素数一零零散散、毫无章法地撒在数轴上，可它们全体在 ζ 曲线里交着班：曲线的值，素数负有责任；曲线的性质，就是素数全体的性质。

欧拉用这个乘积证明了素数无穷多，还顺手算出 ζ 等于多少多少份 π 的平方。但他只把 ζ 当 s 大于一的曲线用。黎曼的八页纸，第一手就是把这条曲线请出它原来的地盘——延拓到几乎整个平面上。下一页说这一手。

ζ 曲线在 s 大于一的地盘上生长良好，越过 s 等于一的边界，级数发散——照老眼光，曲线到此为止。黎曼的第一手棋，是把曲线延拓出去：用一套自己的博士论文里练熟的复变函数手艺，把 ζ 重新定义在几乎整个平面上，只有 s 等于一处留一个空洞。

这步棋的妙处在复变函数论的一条铁律：全纯函数极难伪造——在一个小地盘上确定了，往外只能有一种延法。所以黎曼延拓出的不是「另一条像的曲线」，而是唯一的那条：曲线在新地盘上的值，被老地盘一寸一寸地决定着。

延拓之后，一件漂亮的事发生了：曲线在新旧地盘之间有一条对称——s 处的值与一减 s 处的值可以互相翻译（这个关系后世叫函数方程，黎曼给出了证明）。曲线在镜像两侧自己认识自己。

在对称中线的对面，曲线开始打结：有一批点，曲线在那里恰好取零。零点素数之局的第二主角登场了。黎曼发现，零点分两族：一族整整齐齐站在负偶数上，规矩得像仪仗队——这一族容易理解，人称平凡零点；另一族散在一竖条地带里，淘气得毫无规律可循——它们就是素数的钥匙。

延拓好的 ζ 曲线，黎曼拿它算了一笔素数的账。八页纸里他给出一条公式，把「一百万以内有多少素数」这类问题，拆成两部分：一部分是一条光滑的主波——素数大体上按「x 除以它的对数」的速度增长；另一部分是一列抖动的修正波，每一列修正波由 ζ 的一个零点吹出来。

素数看似随机的跳动，原来是一支合奏：主波给出基调，每个零点贡献一个音。零点摆在哪里，素数就偏偏怎么分布——这就是把素数叫作「音乐」的意思：分布的乐谱，写在零点的坐标里。

黎曼检验了几个零点的位置，发现它们个个不偏不倚，正落在那条对称中线上——实部恰是二分之一。他在论文中段用一句淡得几乎看不见的话问出：这批零点，是否全部都在这条线上？没有标题，没有强调，一句话而已。后世给它起了名字：黎曼猜想。

若猜想为真，素数的跳动就被锁定在最整齐的范围内，素数定理的误差也压到最小。一八九六年，阿达马与瓦莱·普桑沿零点的路走通了素数定理——他们证出零点不越出临界带，猜想最要紧的一半成了定理。剩下那一半，站着。

黎曼死后，戴德金接过了那摞纸。他是黎曼多年的挚友，也是代数数论的大师——「理想」概念的建立者。整理遗稿花了他十年：几何讲稿一八六八年刊出，与韦伯合编的《黎曼全集》一八七六年出版。

遗稿里的东西让编辑们吃惊。几何演讲之外，有物理学残篇——引力、电磁的几何化尝试；有哲学残篇——赫尔巴特式的概念笔记；还有 ζ 函数未写完的计算。一个人脑子里几条河并流的证据，全在纸上。

整理本身也是一门学问：哪些能发表、哪些只是草稿、哪些该断代，戴德金的判断为后世立了例。今天研究黎曼的学者仍在读这份遗稿——哥廷根的手稿室里，那几函纸页还在。

遗稿之外，还有一句更重的遗产。戴德金在传记里写黎曼的治学：他从不急于发表，宁肯把一个想法在心里养到完全长成——或者永远不发表。黎曼正式刊出的每篇论文都薄，薄得像提纲；提纲之所以能开河，靠的是后来者一代一代往下读。

一八六八年的复活动手稿，先落进几何学家的手里。头二十年，接力一棒一棒：贝尔特拉米造出负曲率空间的模型，让非欧几何眼见为实；克里斯托费尔把「怎样在弯曲空间里求导」这件麻烦事做成了一门算法——在弯曲的空间里，不同点的坐标系歪法不同，直接比较会出错，得先规定一套搬运的规矩。

这套搬运规矩的正式名字，要到一八八〇年代才由里奇—库尔巴斯特罗立起：他把「随坐标系变换而恰当地变换」的量统称为张量，把曲率、长度、角度全部写进张量的语言；一九〇〇年，他与学生列维—齐维塔发表《绝对微分法》，黎曼几何长成了一门有算法、有记号、能干活的学科。

只是当时谁也说不出这门学科有什么用。它描述的是 n 维弯曲空间，而现实空间似乎不弯；它是数学里最重的机器，重到没有物理问题配得上它。教科书里静静躺着，等一个人来。

一九〇七年，伯尔尼专利局里，一个二十六岁的审查员提出了一个想法：引力与加速度，在足够的范围内无法区分。这个人叫爱因斯坦。他缺的数学，恰好是那台重机器。

等效原理把引力与加速度画上等号之后，爱因斯坦花了八年找数学。起初他用的是加速度的相对论，自己都觉得不成体系。一九一二年回苏黎世任教，老同学格罗斯曼翻了翻他的手稿，说了一句改变物理史的话：这正是黎曼几何，去学它。

爱因斯坦于是从里奇与列维—齐维塔的书里学那台重机器。物理上的图景逐步成形：时间与空间合成四维时空；物质与能量告诉时空怎么弯——度量张量上多出的曲率，就是引力；弯曲的时空告诉物质怎么走——行星不走弯路，它走的是时空里的测地线，最直的那条。

一九一五年十一月，场方程定稿。用文字说：时空某一处的曲率，由该处的物质能量决定。黎曼演讲里那套「度量可规定、曲率可计算」的机器，一字未改地接住了这条方程——当年几何学家嫌它无处可用，物理学家等了它六十年。

爱因斯坦后来写过一句被反复引用的评语：只有黎曼几何的深刻几何思想，才使广义相对论成为可能；他还说，若不知道黎曼的工作，自己不可能建立相对论。第三幕里那句「物理空间的度量关系要由经验判定」，在此处兑现。