1882 - Poincaré 圓盤模型（非歐幾何終於被「看見」）#

案件摘要#

1881 年 12 月，Henri Poincaré 在提交給法國科学院的備忘錄中，用一個圓盤把雙曲幾何「畫」了出來：

\[ \text{雙曲平面} \cong \text{單位圓內部（圓心 = 圓盤模型的「無窮遠」? 反之）}. \]

這是 1600 年來非歐幾何第一次有了可視的模型—— 在此之前，Lobachevsky 稱它為「虛構幾何」，因為人們無法想像「三角形內角和小於 180°」的空間。

\[ \text{圓盤模型} + \text{精確的度規} \xrightarrow{} \text{雙曲幾何 = 真實的幾何（不是虛構）}. \]

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

Beltrami 的雙曲面模型（1868）： Beltrami（1868）在《歐氏幾何的一致性》（Saggio sopra il sistema pseudo-riemanniano...）中首次用雙曲面模型（hyperboloid model）顯示非歐幾何的「物理可實現性」：

\[ \text{雙曲面 } x^2 + y^2 - z^2 = -1 \quad \text{的上半部，其度規是雙曲幾何}. \]

Gauss 的恐懼（1840s）： Gauss 依然不公開，寫給 Riemann：

「我對『虛幻世界』（mondes fictifs）的長期沉寂，正是我在幾何學上冒險的唯一原因。」他擔心的不是數學，而是宗教與哲學的衝擊——「非歐世界」動搖了「空間絕對」的世界觀。
Poincaré 的解決（1881）： Poincaré（1854–1912，27 歲）是 Poincaré 猜想、 Poincaré 不等式、 Poincaré 回歸、Poincaré 吸引子的提出者。他的方法：

\[ \text{幾何 = 研究 }\mathbb{C}\text{ 的全純（holomorphic）映射}. \]

Poincaré 發現：所有保角（conformal）映射都是 Möbius 變換：

\[ f(z) = \frac{az+b}{cz+d},\quad ad - bc \ne 0. \]

這個群在圓盤內部自同構，且是保角（角度保持）—— 正是「圓盤內部」上的「等距 + 保角」變換群！

\[ \text{圓盤的自同構 + Möbius} = \text{雙曲幾何的等距群}. \]

Poincaré 據此建立了圓盤模型與上半平面模型，並在 1881–1882 年的一系列論文中建立雙曲幾何。 - 為什麼「圓盤」重要？：圓盤模型把無窮遠放在邊界上—— 雙曲幾何裡的「無窮遠線」是圓盤的邊界（不是直線），而圓盤內的直線是「圓弧（通過邊界圓心的圓周）」：

\[ \text{「直線」} \to \text{連接原點的圓弧}\quad\text{（圓盤模型）}. \]

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

第一條線索：圓盤模型的度規（Poincaré disk）#

設 \(z = x+iy\) ， \(|z|<1\) （單位圓內）。Poincaré 度規：

\[ \boxed{ds^2 = \frac{4(dx^2 + dy^2)}{(1 - x^2 - y^2)^2}} \]

或用極座標 \(z = r e^{i\theta}\) ：

\[ ds^2 = \frac{4(dr^2 + r^2\,d\theta^2)}{(1-r^2)^2}. \]

在邊界 \(r\to 1\) ： \((1-r^2)^{-2}\to\infty\) ——邊界是「無窮遠」（距離無限）✓
在原點 \(r\to 0\) ：度規 \(\to 4(dr^2 + r^2d\theta^2)\) ——局部平坦（歐氏） ✓
Gauss 曲率： \(K = -1\) （單位曲率的負曲率）。

第二條線索：上半平面模型（Poincaré 的另一種形式）#

設 \(y>0\) （上半平面）：

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

\(y\to 0\) （實軸）：度規 \(\to\infty\) ——實軸是「無窮遠」 ✓
\(y\to\infty\) ：度規 \(\to 0\) ——但通往「天頂」的雙曲距離 \(\int_1^\infty \frac{dy}{y} = \infty\) 仍是無限！注意：雙曲平面是無界且總面積無限的空間——「無限遠」全部擠在邊界（實軸或單位圓）上。

第三條線索：圓盤與上半平面的對應（Möbius 變換）#

Cayley 變換把圓盤映射到上半平面：

\[ \psi(z) = i\,\frac{1+z}{1-z} \quad\Longrightarrow\quad z = \frac{w - i}{w + i}. \]

這是 Möbius 變換（保角 + 圓盤自同構）—— 兩種模型完全等價。

Python：Poincaré 圓盤模型的度規與等距群#

import numpy as np

# 1) Poincaré 圓盤度規
def ds2_disk(x, y, dx, dy):
    """圓盤模型的度規：ds² = 4(dx²+dy²)/(1-x²-y²)²"""
    return 4*(dx**2 + dy**2)/(1 - x**2 - y**2)**2

# 2) 圓盤中的「直線」：通過原點（或邊界圓心）的圓弧
def disk_geodesic_pointwise(t, center=(0,0), radius=0.5):
    """以圓心為 disk 中心、半徑 radius 的圓弧（圓盤模型的「直線」）"""
    return np.array([center[0] + radius*np.cos(t), center[1] + radius*np.sin(t)])

# 3) 圓盤模型的等距群：Möbius 變換 z → (az+b)/(cz+d)
def mobius(z, a, b, c, d):
    return (a*z + b)/(c*z + d)

# 雙曲平移（沿實軸），保持圓盤不動的等距變換
def hyperbolic_shift(z, a):
    """雙曲平移：T_a(z) = (z + a)/(1 + conj(a)·z)（圓盤自同構，|a| < 1）"""
    return (z + a)/(1 + np.conj(a)*z)

# 4) 驗證等距性：同一條路徑映射前後，雙曲長度不變
def disk_path_integral(pts):
    """沿路徑的雙曲長度：ds = 2|dz|/(1-|z|²)"""
    dsz = np.abs(np.diff(pts))
    mid = (pts[:-1] + pts[1:])/2
    ds = 2*dsz/(1 - np.abs(mid)**2)
    return np.sum(ds)

# 5) 驗證：雙曲平移是等距變換
print("Poincaré 圓盤模型的雙曲平移等距性驗證：")
p = 0.3 + 0.1j
q = -0.2 + 0.4j
a = 0.4   # 平移參數
ts = np.linspace(0, 1, 10000)
chord = p + (q - p)*ts                    # 連接 p、q 的路徑
d_orig = disk_path_integral(chord)
d_mapped = disk_path_integral(hyperbolic_shift(chord, a))
print(f"  路徑的雙曲長度（平移前） = {d_orig:.6f}")
print(f"  路徑的雙曲長度（平移後） = {d_mapped:.6f}")
print(f"  誤差 = {abs(d_orig - d_mapped):.2e} → 等距 ✓\n")

# 6) 雙曲面積：A(r) = ∫₀^r 8πs/(1-s²)² ds —— 隨 r→1 發散
print("雙曲面積（圓盤歐氏半徑 r 內）：")
for r in [0.5, 0.9, 0.999]:
    s = np.linspace(0, r, 200000)
    vals = 2*np.pi*s*4/(1-s**2)**2
    A = np.sum((vals[1:]+vals[:-1])/2 * (s[1]-s[0]))
    print(f"  r={r}: A = {A:.1f}")
print("  → 面積隨 r→1 發散：雙曲平面總面積無限！\n")

# 7) 對照：雙曲圓周與面積的指數成長
print("雙曲圓（雙曲半徑 ρ）：周長 C = 2π sinh ρ、面積 A = 2π(cosh ρ − 1)")
for rho in [1, 3, 5]:
    print(f"  ρ={rho}: C = {2*np.pi*np.sinh(rho):.2f}, A = {2*np.pi*(np.cosh(rho)-1):.2f}")
print("  → 周長與面積都隨 ρ 指數成長——歐氏平面只有多項式成長（πr²）")

輸出：

Poincaré 圓盤模型的雙曲平移等距性驗證：
  路徑的雙曲長度（平移前） = 1.288679
  路徑的雙曲長度（平移後） = 1.288679
  誤差 = 1.68e-10 → 等距 ✓

雙曲面積（圓盤歐氏半徑 r 內）：
  r=0.5: A = 4.2
  r=0.9: A = 53.6
  r=0.999: A = 6273.8
  → 面積隨 r→1 發散：雙曲平面總面積無限！

雙曲圓（雙曲半徑 ρ）：周長 C = 2π sinh ρ、面積 A = 2π(cosh ρ − 1)
  ρ=1: C = 7.38, A = 3.41
  ρ=3: C = 62.94, A = 56.97
  ρ=5: C = 466.23, A = 459.99
  → 周長與面積都隨 ρ 指數成長——歐氏平面只有多項式成長（πr²）

（雙曲平移（ \(T_a(z) = \frac{z+a}{1+\bar{a}z}\) ）是圓盤模型的等距變換—— 同一條路徑映射前後的雙曲長度完全相同，這就是「等距」的定義。圓盤的面積 \(\int_0^R \frac{8\pi r}{(1-r^2)^2}dr = \frac{4\pi}{1-R^2} - 4\pi\) 隨 \(R\to 1\) 發散—— 雙曲平面是無界且總面積無限的空間，「無限遠」全部擠在邊界圓上。）

結案 -- 後果與影響#

非歐幾何的「洗清」： Poincare 的圓盤模型（1881–1882）讓非歐幾何第一次有了「物理圖像」—— 圓盤模型是真的可見的（地圖模型）。

\[ 「\text{虛構幾何}」\xrightarrow{\text{Poincaré 1881}}「\text{雙曲幾何（圓盤模型）}」. \]

三體問題的 Poincaré 最後幾何定理（1890）： Poincare 在〈三體問題與天體力學方程〉（1890）中提出：

\[ \text{三體問題的相空間} = \text{三維流形},\quad \text{其中有不可數的「擬週期環面」}\to_{\text{首個}} \text{Poincaré-Birkhoff 定理}. \]

他證明了「混沌」的數學語言（Poincare 對 KAM 定理的貢獻）。 - 相對論的 Poincaré 世界線（1904）： Poincare 提出了同時性的相對性、光速不變性、閔考斯基時空圖（1904）——

\[ ds^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2 \]

這是非歐幾何（偽黎曼流形）的第一次物理應用—— 狹義相對論的直接源頭（見 相對論/1905-狹義相對論.md）。 - 雙曲結構的深遠應用（1990s–）： 1. Luo's 幾何化（1980s）、Thurston 的幾何化猜想（1982）：3 維流形的「幾何結構」分類——

\[ \text{每個閉曲 3-流形} \to \text{八種幾何之一（} \mathbb{R}^3, S^3, \mathbb{H}^3, \dots \text{）}. \]

Poincaré 猜想（1904 提出）：

\[ 「\text{任何單連通的閉 3-流形} \cong S^3」\quad\text{（2003 年 Perelman 證明）}. \]

群論交叉（2007）：Cannon 猜想（1970s）：「若 \(S^2\) 的邊界是 \(\mathbb{H}^3\) ，則它必是雙曲幾何」。
「雙曲幾何」的現代科學應用：
AdS/CFT 對偶（1997, Maldacena）：反 de Sitter 空間（ \(\mathrm{AdS}\) ）是雙曲幾何——

\[ \text{AdS 空間} = \text{雙曲幾何的「推廣」} \xrightarrow{\text{AdS/CFT}} \text{弦論 ↔ 場論}}. \]

網路科學（1998, Kleinberg）：小世界網路的幾何解釋是雙曲幾何！
歷史定位：Poincaré 的圓盤模型是「幾何的第一個圖像」—— 非歐幾何從「不可見的虛幻」變成「圓盤裡的真實幾何」，並在 20 世紀成為相對論、量子重力、弦論、網路科學的共同語言。

關鍵人物與文獻#

H. Poincaré：〈Theory of the fuchsian transformations〉(1880)；五篇 Sur les équations de la dynamique（1890–1899）。
N. Lobachevsky：非歐幾何的源頭（1829）；Beltrami：雙曲面模型 (1868)。
C. F. Gauss：私下研究與沈默。
W. Thurston：幾何化猜想（1982），雙曲 3-流形（1980s）。
J. Milnor：Mordell 猜想（1965）；雙曲幾何的代數數論（1983）。
相關案件：1829-羅巴切夫斯基非歐幾何.md、1854-黎曼幾何.md、2003-佩雷爾曼龐加萊猜想.md、相對論/1905-狹義相對論.md。