絕妙定理(Theorema Egregium)
/ teh-oh-REH-mah eh-GREH-gee-um /
以下是這條定理所解釋的日常奇蹟。為什麼地球的平面地圖永遠無法把所有距離都弄對?為什麼一片披薩在外緣對折後會沿長度方向變硬挺?為什麼紙能平順地捲成管子,想包球卻會皺成一團?這些都是同一個事實:曲面有一種內蘊曲率,你無法靠不拉伸的彎曲改變它,而且你不必離開曲面就能偵測到它。那事實就是高斯絕妙定理——拉丁文意為「卓越的定理」。
精確的陳述令人吃驚。高斯曲率 K 原是用主曲率定義的,而主曲率描述曲面在周圍三維空間中如何坐落與彎曲(外在資料)。高斯卻證明 K 竟可完全由第一基本形式 E、F、G 及其導數算出——也就是說,由一隻困在曲面上的螞蟻拿尺所能作的量度算出,根本不必見到第三維。以符號說,K 只依賴 E、F、G(及其一、二階導數),不依賴 e、f、g。其後果是:K 是內蘊的。它在任何局部等距變換下保持不變——任何使所有曲面距離不變的彎曲。把平紙(K = 0)捲成圓柱,它仍是 K = 0;這是被迫如此,而非僥倖。
其影響無處不漣漪。它解釋了為什麼球面(K = 1/R^2)的平面地圖無法保持所有距離——彎曲曲面的度量根本不可能是平面度量,所以每種地圖投影都必須扭曲某物。它解釋了披薩對折技巧為何有效:把切片彎成曲線(一個主曲率非零)迫使垂直方向保持筆直,因為乘積 K 必須維持為 0,從而帶來剛性。它開創了內蘊微分幾何,並透過黎曼,催生了愛因斯坦在廣義相對論中用於彎曲時空的整套框架。一個要內化的尖銳提醒:這正是為什麼曲線的曲率 kappa(外在,彎一根鐵絲就輕易改變)與曲面的高斯曲率 K(內蘊,彎曲無法改變)絕不可混為一談——「絕妙」之處正在於:曲面曲率不管表象如何,竟活在曲面之內。
拿一張紙,處處 K = 0。把它捲成圓柱:雖然現在明顯彎曲,絕妙定理保證 K 始終為 0,因為捲動不拉伸紙上任何距離。現在試著把同一張紙平順地包在球上,那裡 K = 1/R^2 > 0。不撕不皺是辦不到的——內蘊曲率 0 與 1/R^2 根本不匹配,再怎麼彎也無法調和。包球時禮物紙日常的起皺,正是這條定理被看見的樣子。
紙(K = 0)能捲上圓柱,卻永遠無法平順地包上球面(K > 0)。
定理說 K 是內蘊的,並非說所有曲率都是內蘊的。平均曲率 H 與第二基本形式仍是外在的,且在彎曲下確實改變(平紙 H = 0,由它捲成的圓柱 H = 1/(2R))。只有特定組合 K = k_1*k_2 被鎖在度量上。