跳轉到

1854 - Riemann 幾何（高斯自己找上門）#

案件摘要#

1854 年 6 月 10 日，22 歲的 Bernhard Riemann 在哥廷根大學的演講中， 把非歐幾何的「線索」從 Gauss 手裡接過來，完成了人類史上最重要的幾何演講： 《論曲面論所表現的幾何假設》：

\[ \text{幾何} = \text{度規 } g \quad\Longrightarrow\quad \text{曲率 } K \text{ 完全決定內在幾何}. \]

他提出了四個思想，兩百年後全部兌現： 1. 流形（manifold）：幾何研究的「空間」不一定是平面。 2. 度規張量：距離由二次型給出（相對論的數學基礎）。 3. 曲率 \(K\) ：一個曲面「內在」的彎曲程度——不需要「外部空間」就知道它彎不彎。 4. 「一般自然」的原則：由「幾何中蘊含的一般性原則」逐級推導。

前因 -- 為什麼會有這個案子#

  • 高斯 1813 年的一張便箋： Gauss 在 1813 年發現「歐拉示性數」的同時寫下一段：

    「這個問題最終會導致一個完全不同的世界觀……那些我們稱為『平面』的東西， 將只剩下『一張圖紙』的地位。」 他在 1844 年寫給 Jacobi 的信：「我常在考慮的問題之一是……是否應考慮不同維數、不同曲率的 『更一般的空間』。」

  • 1848 年：Gauss 的〈論曲面上的量〉（Disquisitiones generales circa superficies curvas）： Gauss 建立了曲面的內在幾何（intrinsische Geometrie）：
\[ \text{曲面上的圖} \xrightarrow{\text{只保留微分 }} \text{曲率的內在表示（1 頁的解釋）}. \]

但他不敢發表（他對非歐幾何的恐懼），只發表了第 1 頁作為「導論」。 - Riemann 的機會（1851）： Riemann 是一個思想實驗的天才。他聽了 Gauss 的研究（Gauss 在 Göttingen 教 Riemann）， 在 1851 年寫下〈Grundlagen für eine allgemeine Theorie der Flächen Functionen〉： 提出「空間是連續流形」，並用「黎曼度量」定義局部幾何。 - Riemann 的演講（1854 年 6 月 10 日，哥廷根）： Riemann 在數學系答辯（Promotion）前的演講，題為 Über die Hypothesen, welche der Geometrie zu Grunde liegen（《論幾何所基於的假設》）， 只需回答兩個問題： 1. 「什麼是空間？」 2. 「哪些與空間有關的假設可以被經驗證？」 He 的答案是：

\[ \text{空間} = \text{連續、可微分、帶度規 } g_{ij}\text{ 的流形},\qquad K = \text{唯一可測的內在不變量}. \]

線索與推理 -- 數學式、程式、理論#

第一條線索：黎曼度規（距離的二次型）#

一條曲線 \(x^i(t)\) 的弧長由度規 \(g\) 給出：

\[ ds^2 = \sum_{i,j} g_{ij}(x)\, dx^i dx^j. \]
  • 歐氏空間： \(g_{ij} = \delta_{ij}\) （對角為 1 的單位矩陣）。
  • 球面（半徑 \(R\) ，角座標 \(\theta, \varphi\) ）：
\[ ds^2 = R^2(d\theta^2 + \sin^2\theta\, d\varphi^2). \]

注意 \(\sin^2\theta\) 因子——這就是彎曲的數學來源。 - 雙曲平面（Poincaré 上半平面）：

\[ ds^2 = \frac{dx^2 + dy^2}{y^2}. \]

\(y\to\infty\) （接近「無窮遠」）時 \(ds\to 0\) ——邊界「無限遠」； \(y\to 0\) （接近邊界）時 \(ds\to\infty\) ——邊界是「無限」。

\[ K = -1/y^4 \ \text{（負曲率）}. \]

第二條線索：高斯曲率的內在表示（Riemann 1854）#

關鍵的Gauss「奇妙定理」（Theorema Egregium, 1828）：

\[ \boxed{\text{曲率 } K \text{ 只依賴 } g \text{ 本身，不依賴它在 } \mathbb{R}^3 \text{ 的嵌入（isometric embedding）}} \]

黎曼把它寫成一個內在量：

\[ K = -\frac{1}{2\sqrt{g}}\left[\frac{\partial^2\sqrt{g}}{\partial x^2_{ij}} - \frac{\partial^2\sqrt{g}\,g^{ij}}{\partial x^i\partial x^j}\right] \quad\Rightarrow\quad K = \frac{R_{ijkl}R^{ijkl}}{2} - R_{ij}R^{ij}. \]
  • 符號歧義： \(K>0\) 球面、 \(K=0\) 平面、 \(K<0\) 雙曲。
  • 一般化：Gauss–Bonnet 定理：
\[ \int_M K\, dA + \sum_{\text{角}} \text{外角} = 2\pi\chi(M). \]

第三條線索：Riemann 的四個思想（1854 演講）#

  1. 流形的「均質性」：
\[ n\text{ 維流形} = \text{局部 } \mathbb{R}^n\text{ 的座標 + 整體粘合}. \]
  1. 度量的局部性： \(K\) 是局部量，整體則是「整體不變量」。
  2. 最大自由度的原則：「讓每個點的鄰域最大可能地成為歐氏空間」。
  3. 「一般自然」的原則：
\[ \text{先寫最一般的公理} \xrightarrow{\text{導出}} \text{最一般的空間（黎曼空間）}. \]

這是今日「廣義相對論」在數學上的對應。

理論與數學式：黎曼度規與曲率#

黎曼的框架：度規是一個正定對稱張量 \(g\) ，長度、角度、面積全部由它計算——

\[ ds^2 = \sum_{i,j} g_{ij}\, dx^i dx^j. \]
空間 度規 Gauss 曲率
球面（半徑 \(R\) ） \(ds^2 = R^2(d\theta^2 + \sin^2\theta\, d\varphi^2)\) \(K = \dfrac{1}{R^2}\)
歐氏平面 \(ds^2 = dx^2 + dy^2\) \(K = 0\)
雙曲平面（上半平面） \(ds^2 = \dfrac{dx^2 + dy^2}{y^2}\) \(K = -1\)

曲率決定三角形的內角和（Gauss–Bonnet 的三角形特例）：

\[ \alpha + \beta + \gamma = \pi + \int_{\triangle} K\, dA. \]

等邊球面三角形（單位球、邊長 \(a\) ）由球面餘弦定律 \(\cos A = \dfrac{\cos a}{1 + \cos a}\) ：

邊長 \(a\) （單位球） 每個內角 內角和
0.1 \(60.08°\) \(180.25°\) （略大於 \(\pi\) ）
0.5 \(62.13°\) \(186.40°\)
1.0 \(69.47°\) \(208.40°\)
1.5 \(86.21°\) \(258.64°\)

**內角和隨尺寸偏離 \(\pi\) **，偏離量 \(= K \cdot A\) ——三角形面積越大偏得越多。 雙曲平面則相反（內角和 \(< \pi\) ，且面積 \(= \pi - (\alpha+\beta+\gamma)\) ， 見「1829-羅巴切夫斯基非歐幾何.md」）。 曲率 \(K\) 是「內在不變量」——只看度規 \(g\) ，不管嵌入方式（Gauss 奇妙定理， 見「1827-高斯內在幾何.md」）。

結案 -- 後果與影響#

  • Riemann 幾何成為「現代幾何」的主流語言（1854–1900）： Riemann 的演講是一個「未發表的草稿」——但 1876 年 Riemann 死後， 他的演講稿被整理出版（Gesammelte Werke），成為 20 幾何學的聖經。
\[ \text{Riemann（1854）}} \xrightarrow{\text{20 世紀}} \text{微分幾何} \xrightarrow{\text{微分方程}} \text{廣義相對論}. \]
  • 相對論的數學基礎（1915–）：
  • Einstein（1915） 讀了 Riemann 的演講，明確表示：「我們必須用 Riemann 的曲率理論來理解引力」。
  • 廣義相對論的時空是4 維偽黎曼流形（Lorentz 簽名 \((-,+,+,+)\) ）：
\[ ds^2 = -c^2 dt^2 + dx^2 + dy^2 + dz^2 \quad \text{（閔考斯基度規）}. \]
  • 引力 \(\leftrightarrow\) 黎曼曲率張量 \(R_{\mu\nu}\) ：
\[ R_{\mu\nu} - \frac12 R g_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu}. \]
\[ \text{Riemann 幾何（1854）} \xrightarrow{61 \text{ 年}} \text{廣義相對論（1915）}. \]
  • 黎曼猜想的誕生（1859）： Riemann 在 1859 年 Basel 的演講中提出 \(\zeta\) 函數的一個等價命題：
\[ R(s) = \sum_{\mu} \frac{1}{\mu^s} \quad \text{（Riemann zeta 函數）}. \]

「 \(\zeta\) 函數的非平凡零點全在 \(\text{Re}(s)=1/2\) 的直線上」—— 這是 Riemann 猜想的源頭（見 數論/1859-黎曼猜想.md），至今未解。 - 幾何的「暴君」：Gauss–Bonnet 定理的擴展： - Gauss（1827, Disquisitiones）：曲面面積分 \(\int K dA\) = \(2\pi - 2g\pi\) （高斯曲率的總和）。 - Chern（1944）：擴展到任意流形上：

\[ \int_M K\, dA + \sum \text{外角} = 2\pi\chi(M). \]

$ - 物理：Gauss–Bonnet 定理是量子重力的基石；Maldacena 猜想（1997）中的度規/曲率計算。 - Riemann 這個名字的傳奇（2006）： Riemann \(\zeta\) 函數的零點分布的「Riemann 假設」， 是 Clay 研究所的千禧年難題之一（$1,000,000 美元懸賞）—— 至今（2026）未解。

關鍵人物與文獻#

  • B. Riemann：〈論幾何所基於的假設〉（1854 演講，1876 出版）；《曲面的一般理論》（1851）。
  • C. F. Gauss：Disquisitiones generales circa superficies curvas（1828）。 Gauss 奇妙定理： \(K\) 是內在的。
  • T. T. R. Chern：Chern–Gauss–Bonnet 定理 (1944)；微積分幾何。
  • P. Finsler：Finsler 幾何（1939，廣義度規）。
  • A. Einstein：《廣義相對論的原理》(1916)——「我們需要黎曼幾何來理解時空」。
  • 相關案件：1882-彭加萊圓盤模型.md、1829-羅巴切夫斯基非歐幾何.md、1899-希爾伯特幾何基礎.md、相對論/1915-廣義相對論.md。