從曲線的彎曲到曲面的彎曲
在前面講 Frenet-Serret 標架 的那一篇裡，你學會了度量一條曲線如何彎曲：一個數，曲率 kappa，告訴你沿曲線行走時單位切向量轉得有多快。曲面更難，也更有趣，因為在每一點它沿不同方向可以彎曲不同的量。站在馬鞍上：朝一個方向走地面向上彎，朝垂直方向走地面向下彎。一個數再也兜不住這件事，於是我們需要新機器。本篇用兩個對象來搭建它，它們傳統上叫做第一與第二基本形式。
把圖景具體地搭起來。用一個映射 r(u, v) 來描述曲面，它把一塊平坦的 (u, v) 座標貼片放進三維空間——把 (u, v) 想成地球儀上的經度和緯度，把 r 想成把每一對數釘到球面某點上的法則。兩個偏導數 r_u 和 r_v 是速度向量：固定 v 增大 u 時 r_u 指向曲面之內的方向，增大 v 時 r_v 指向曲面之內的方向。這兩個切向量張成該點的切平面，即在那裡最貼合曲面的那張平面——這恰是曲線切線在曲面上的對應物。
與那張切平面垂直地立著一個方向，即單位法向量 N。你把它造成 r_u 叉乘 r_v，再除以其長度使它大小為一。N 是曲面在每一點的「哪邊朝上」，而關於彎曲的幾乎一切，都來自觀察 N 在你移動時如何傾斜。記住這三件套——躺在曲面裡的 r_u、r_v，和指出曲面外的 N——因為兩個基本形式無非就是對它們之間點積的仔細記帳。
第一基本形式：一把住在曲面裡的尺
第一基本形式回答一個問題：若我在座標裡邁出微小一步 (du, dv)，它在曲面上描出的路徑有多長？曲面上的一個小位移是 dr = r_u du + r_v dv，其長度平方是點積 dr . dr。展開得 ds^2 = E du^2 + 2F du dv + G dv^2，其中 E = r_u . r_u，F = r_u . r_v，G = r_v . r_v。這三個隨位置變化的函數，正是你在度量那裡見過的線元在二維曲面上寫開的樣子——E、F、G 就是化了裝的度量張量的分量。
一旦有了 E、F、G，你就能在從不離開曲面的情況下做出全部內蘊幾何。曲線長度來自對 sqrt(E du^2 + 2F du dv + G dv^2) 積分——這是參數曲線弧長積分的曲面版。兩個方向之間的夾角來自這個形式所編碼的點積。面積來自對 sqrt(EG - F^2) du dv 的二重積分。量 EG - F^2 是 r_u 與 r_v 張成的小平行四邊形面積的平方——它是曲面自己的雅可比行列式，是平坦座標與真實面積之間的伸縮因子。
第二基本形式：曲面如何彎離
第一基本形式對彎曲是盲的——一個捲起來的圓柱面把它徹底騙過。要看見彎曲，你必須觀察曲面如何從它自己的切平面剝離，而這正是第二基本形式所記錄的。邁出小小一步 (du, dv)；曲面上的點到二階像一條小拋物線那樣移動，而它沿法向量 N 抬離切平面的量是 II = L du^2 + 2M du dv + N_2 dv^2。這裡 L = r_uu . N，M = r_uv . N，N_2 = r_vv . N，是 r 的二階偏導數與單位法向量的點積。每個係數都在問：沿這個座標方向，曲面朝 N 捲得有多強？
還有一種更俐落地感受第二基本形式的方式：盯著單位法向量 N 的傾斜。在一張平面上 N 從不改變——沒有彎曲。在球面上你邊走 N 邊穩穩地散開，而它擺動得越快，曲面就彎得越急。N 隨你沿切方向移動而轉動的速率，由一個算子（形狀算子）刻畫，而第二基本形式恰是你從它讀出的彎曲。這是前面那條曲線想法在曲面上的迴響——在那裡彎曲是切方向轉動的速率；如今則是法方向轉動的速率。
現在來切曲面。讓一張平面穿過該點，包含法向量 N 和一個選定的切方向；交線是一條曲線，它在那張平面裡的普通曲率叫做該方向上的法曲率。當你繞 N 旋轉切割平面時，法曲率時高時低。它的最大值與最小值 kappa_1 與 kappa_2 是主曲率，而達到它們的那兩個互相垂直的方向是主方向——把馬鞍的「向上的谷」與「向下的脊」說精確了。
高斯曲率與平均曲率：把兩個數合併的兩種辦法
兩個主曲率 kappa_1 與 kappa_2 含納了局部彎曲，但我們通常想要一個單一的概括數。把它們合併有兩種自然辦法，而且二者都要緊。高斯曲率是乘積，K = kappa_1 kappa_2；平均曲率是平均，H = (kappa_1 + kappa_2)/2。同樣兩個數的乘積與平均表現得很不一樣，而這種不一樣正是曲面如何彎曲的全部故事。
讀 K 的符號，你就讀出了形狀。在球面上兩個主曲率朝同一方向彎，所以 K = kappa_1 kappa_2 > 0：曲面呈穹頂狀，整個落在它切平面的同一側。在馬鞍上它們朝相反方向彎，一正一負，所以 K < 0：曲面穿過它的切平面。在圓柱面或圓錐面上有一個主曲率為零（那個筆直的方向根本不彎），所以即便東西明明捲著，K 仍 = 0。平均曲率 H 講的是另一個故事：處處 H = 0 的曲面是極小曲面，是肥皂膜為使面積最小而採取的形狀，比如張在兩個圓環之間的懸鏈面。
Both curvatures from the fundamental-form coefficients
first form: E F G second form: L M N2
Gaussian curvature K = (L*N2 - M^2) / (E*G - F^2)
Mean curvature H = (E*N2 - 2*F*M + G*L) / (2*(E*G - F^2))
Principal curvatures kappa_1, kappa_2 are the roots of
kappa^2 - 2*H*kappa + K = 0
so K = kappa_1 * kappa_2 and H = (kappa_1 + kappa_2)/2
Unit sphere of radius a: kappa_1 = kappa_2 = 1/a
-> K = 1/a^2 (>0) H = 1/a
Saddle z = x^2 - y^2 at origin: kappa_1 = +2, kappa_2 = -2
-> K = -4 (<0) H = 0 (a minimal point)高斯絕妙定理：從內部就能感知的曲率
再看看我們是怎麼定義這些東西的。第一基本形式 (E, F, G) 是內蘊的——從內部可測。第二基本形式 (L, M, N_2) 看上去無可救藥地外在，因為每個係數都是與法向量 N 的點積，而 N 指向內部螞蟻夠不著的周圍空間。K 和 H 都由兩個形式搭成。所以你會賭：哪個曲率都不可能從內部得知。對平均曲率 H，這一賭押對了。對高斯曲率 K，它錯得驚心動魄，而這正是高斯的絕妙定理——拉丁文意為「了不起的定理」，這個詞是他親自挑的。
定理說：高斯曲率 K 只依賴於第一基本形式 E、F、G 及其導數——那個看似外在的第二形式從答案裡完全抵消掉了。所以 K 是內蘊的：那隻平面螞蟻，僅憑一把尺、從不看見第三維，就能通過測量它世界裡的長度、角度、面積偏離平坦歐幾里得預期多少，來算出 K。具體地說，螞蟻畫一個半徑為 rho 的小測地圓並量它的周長；在平面上那本該是 2 pi rho，但在彎曲曲面上它是 2 pi rho 乘以 (1 - K rho^2/6 + ...)。這點虧空，通過對 rho 的泰勒展開讀出，就把 K 的值交到螞蟻手裡，全然不必援引外部。
這就是為什麼你無法把球面無失真地攤到紙上，也是為什麼每一張平面世界地圖都在撒謊。球面有 K = 1/a^2 > 0；平面有 K = 0；既然 K 是內蘊的，再多的不拉伸彎折也永遠無法把一個變成另一個——那會改變兩邊都被迫認同的一個數。同一條定理解釋了為什麼圓柱面能完美攤平（起步就 K = 0），而橘子皮從來攤不平（K > 0）；也解釋了為什麼一塊比薩從外緣捏平時會耷拉下來，折成 U 形槽卻挺立不倒：折疊造不出 K = 0 所禁止的曲率，於是這塊比薩從它逃不開的幾何裡借來了剛性。
為什麼這是通往廣義相對論的門
絕妙定理不只是關於橘子的一樁迷人小事；它是整套現代彎曲空間觀念的種子。高斯證明了對二維曲面，曲率是內蘊的——僅憑度量便可得知。他的學生黎曼問了那個自然的下一問：若你手裡從頭到尾只有度量，在任意維數下，而沒有可退守的周圍空間，又會怎樣？答案就是黎曼曲率張量，它純粹從推廣到 n 維的第一基本形式來打包曲率，正是高斯所分離出的那份內蘊數據。再也沒有任何「外部」來定義一個法向量 N——而絕妙定理向你保證：你從來就不需要它。
這恰恰是廣義相對論所需要的舞台。時空是一個帶度量的四維之物，沒有第五維可供從外窺看；引力就是那個度量的內蘊曲率，被物質感受為測地線——最直可能的路徑，即直線在曲面上的推廣——的彎曲。你接下來要遇到的機器，協變導數與克氏符號，正是那件讓你僅憑度量、無需任何外部參照便能在彎曲空間上求導的工具。三維中的曲面是熱身，在那裡你還能靠偷瞄法向量作弊；從此以後，高斯開啟的內蘊視角，就是唯一存在的視角。