跳轉到

4.3 黎曼幾何:從彎曲空間到廣義相對論#

1854 年 6 月 10 日:一場為了就職而講的演講#

伯恩哈德·黎曼(Bernhard Riemann, 1826–1866)出身漢諾威鄉下牧師家庭,家中貧寒,靠兄長接濟在哥廷根讀書。依德國學制,他取得授課資格(Privatdozent)須提交就職論文並作公開講演。高斯指定了講題——「幾何學基礎的假設」:這是高斯藏了三十年不肯發表的想法,他似乎想看看這個二十七歲的年輕人能走到哪裡。

1854 年 6 月 10 日的講演後來出版為《論作為幾何學基礎的假設》。它在數學史上地位極高,卻刻意寫得哲學化、幾乎沒有公式——因為聽眾包括哲學系教師。黎曼做的正是羅巴切夫斯基們沒做的事:不糾纏於否定哪條公設,而是從頭追問——

空間的測量,取決於什麼概念?「距離」這個概念本身,可以怎樣推廣?

三個關鍵觀念#

一、流形(Mannigfaltigkeit)。先拋開空間,只問:一個由「狀態」組成的集合,局部可連續變化、可用 \(n\) 個座標標定,就是 \(n\) 維流形。空間是 \(n = 3\) 的例子;顏色空間、氣體的狀態(壓力, 體積, 溫度)是別的例子。幾何的對象從此不必是「看得見的空間」——維數成為可自由討論的量。

二、度量(metric)。在流形上,把無窮小的弧長定義為座標微分的二次形式:

\[ds^2 = \sum_{i,j} g_{ij}\, dx^i\, dx^j\]

那組係數 \(g_{ij}\)(黎曼度量)決定曲線的長度、角與曲率。換一組 \(g_{ij}\),就換一種幾何。歐氏幾何只是 \(g_{ij}\) 取常數的特例;雙曲幾何與球面幾何都是常曲率的特例。第五公設問題就此消解——它從「真理之爭」降格為「度量選擇」。

三、曲率的內在性。黎曼採納高斯在《曲面通論》(1827)中的洞見:曲面的曲率可以完全由曲面內部的測量(沿曲面量長度與角度)確定,無須借助嵌入的高維空間——高斯稱之為「絕妙定理」(theorema egregium)。空間的幾何性質是內在的,這是後來「時空可以自己彎曲」的數學前提。

高斯聽完講演,向系裡大力稱許——這是他對非歐幾何公開表態的最接近的一次。

從數學到物理:六十年的等待#

黎曼本人患肺結核,1866 年死於義大利,年僅三十九歲。他生前已提出:物理現象或許可由度量的局域變化來解釋。這個猜想等了半個世紀。

年 事件
1827 高斯:曲面內在幾何
1854 黎曼講演:流形與度量
1868 貝爾特拉米給非歐幾何具體模型
1887 里奇(Ricci)發展張量分析(絕對微分學)
1912–1915 愛因斯坦轉向彎曲時空;格羅斯曼介紹里奇—勒維奇維塔理論
1915 廣義相對論場方程確立
1919 愛丁頓日食遠征:星光偏折符合廣義相對論預言

愛因斯坦 1905 年建立狹義相對論後,苦於無法把引力納入框架。1907 年他悟出「自由落體中感覺不到重力」的等效原理,意識到引力或許不是一種「力」,而是時空幾何本身。但他缺數學工具——那個工具(張量分析)當時只是數學文獻裡冷僻的支流。1912 年他向老同學、蘇黎世理工數學教授格羅斯曼求助,後者介紹他里奇與勒維奇維塔的絕對微分學。1915 年 11 月,愛因斯坦寫出場方程:

\[R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}\]

用物理學家惠勒的話概括:物質告訴時空如何彎曲,時空告訴物質如何運動。 1919 年日食觀測確認光線在太陽附近偏折,報紙頭條一夜之間把黎曼幾何送上大眾舞台——一門純粹數學,在其講演六十五年後成為宇宙的語言。

度量化的世界#

黎曼幾何的經濟與技術後果一直延伸到今天。GPS 衛星定位必須同時修正狹義與廣義相對論效應(每天約 38 微秒的鐘差),否則定位每天漂移十公里量級;宇宙學以弗里德曼方程(廣義相對論在宇宙尺度上的解)描述膨脹宇宙;引力波探測(2015 年 LIGO 首次偵測)直接測量的就是度量的漣漪。回頭看,那場 1854 年的講演是一條最長的投資回報鏈:牧師之子 → 就職講演 → 張量分析 → 時空幾何 → 衛星導航與黑洞照片。

黎曼講演的結尾有一段常被引用的話:空間的度量關係是一個經驗問題,必須由物理觀測決定;而在無窮小的尺度上,幾何或許會呈現完全不同的性質。一百六十年後,量子引力研究者仍在處理這句話的下半段。異端空間的降生者中,走得最遠的人預先留下了下一場革命的伏筆。


下一章:5.1 克萊因的愛爾朗根綱領