從空間中的曲面，到自成一格的空間
在曲面那一階，你把一個曲面握在手裡：一個正則曲面是一張坐落在普通三維空間裡的薄片 x(u, v)，你總能從外面指著它。然而那一階最深的教訓是：曲面居民真正感受到的幾何——長度、角度、面積、高斯曲率——都是內在的：從內部可算，完全不需要周圍的空間。這個教訓藏著一句安靜的挑釁。如果周圍空間只是死重，何必留著它？流形就是你終於把它扔掉之後得到的東西。
請記住這幅圖。一個住在球面上的平面國居民，沒有「往球外向上」的概念；她的整個宇宙就是那層二維的皮。要做幾何，她不需要球面被嵌入任何東西——她只需要鄰域的局部地圖，以及一套比較重疊地圖的一致方法。流形正是這樣：一個局部看起來像平坦的 n 維空間 R^n 的空間，儘管整體上它可能閉合、扭轉或帶有洞。「看起來像平坦空間」的意思是：在每一點周圍都有一塊區域，你能在上面鋪一張座標網格，正如曲面上的 (u, v) 網格——只是如今網格是唯一的真實，底下沒有任何外圍空間。
圖卡與圖冊：以拼貼來做幾何
要描述一個沒有外面的空間，怎麼辦？就用你在平面紙上描述圓地球的同一招：用一本由重疊地圖組成的圖冊。單一張圖卡，是流形的一塊區域 U 連同一個把它攤平到一片 R^n 上的映射 phi——給每一點誠實的座標，就像曲面區塊的 (u, v)。一張圖卡幾乎永遠蓋不住全部：眾所周知，球面無法不撕裂地攤平到單一平面上，所以你至少需要兩張圖卡才能覆蓋它（想想世界地圖冊裡的兩個半球）。能一起覆蓋整個流形的全套圖卡，就是它的圖冊。
真正的內容住在重疊處。當兩張圖卡蓋住同一塊區域時，一個點便有兩組座標，而有一個函數——轉換映射——把一組翻譯成另一組，正如把同一段海岸線的兩種地圖投影聯繫起來的公式。使流形光滑的要求說來簡單：每個轉換映射都必須光滑（無窮可微），好讓兩套座標系在重疊處逐階吻合。這就是光滑流形的全部定義——一個帶有圖冊、且其轉換映射全都光滑的空間。其中任何地方都不出現外圍空間。
two charts overlap:
chart 1 chart 2
phi_1(p) = (x, y) phi_2(p) = (a, b) same point p
transition map T = phi_2 . phi_1^(-1)
takes (x, y) --> (a, b)
SMOOTH MANIFOLD : every such T is smooth
(infinitely differentiable)為何「局部平坦」不等於「平坦」
人們很容易把「局部看起來像 R^n」誤讀成「其實偷偷就是 R^n」。並非如此，而這道落差正是整門學問。局部平坦只是關於小區塊的陳述：對任一點放大到足夠近，圖卡就看起來像一片普通的平坦座標空間。但整體的形狀——區塊被如何縫合——可以與 R^n 截然不同。一個圓局部是一段線段，整體卻閉合。一個球面局部是一張平坦地圖，整體卻沒有邊、面積有限。轉換映射正是這份整體性格被編碼之處；單看區塊永遠看不出它。
還有第二種、更深的不平坦，是局部性同樣藏起來的：曲率。一個球面在上述拓樸意義下局部平坦，卻在曲面那一階所教的度量意義下確實彎曲——它的高斯曲率不為零，而平面國居民從內部就能偵測到，根本無須離開。所以「流形」本身只是那座光禿、鬆軟的舞台：它帶有光滑性與維度的概念，但就其自身而言，完全沒有距離、角度或曲率的概念。要把那些找回來，我們得在上面再鋪一層額外結構——而那層結構，黎曼度量，正是第一基本形式為流形而重生的版本，也正是緊接著下一篇導引的主題。
一座小小的流形動物園
具體的例子讓定義有了呼吸。最樸素的流形是平坦空間 R^n 本身——一張圖卡、恆等映射，便覆蓋一切。圓是最簡單的閉合例子：一個一維流形，需要兩段弧作為圖卡，在它們重疊處有光滑的轉換。球面是二維的招牌主角，由兩張圖卡覆蓋（常用從各極點出發的球極平面投影），每個轉換都光滑。環面——甜甜圈的表面——是一個帶洞的二維流形，而它有個可愛的性質：儘管看起來彎曲，卻在內在意義下是平坦的，很像曲面那一階裡捲成的紙圓柱。
三句老實的提醒，免得這座動物園誤導你。第一，並非每個形狀都是流形：一個「8」字形在交叉點失敗，那裡的鄰域看起來像一個 X，而非一條線——沒有任何圖卡能把那個交叉攤平。圓錐在它尖銳的頂點因類似的理由失敗。第二，維度不總是二；時空，這一階的終點，是一個四維流形，而物理學家慣常處理的維度遠多於此。第三，也最微妙：有些流形根本無法不自我相交地畫進普通空間——克萊因瓶是著名的例子——這正是為何內在地、無須外圍空間地構築幾何，不是奢侈而是必需。
流形如何記得自己的整體形狀
如果每個流形近看都像平坦的，它怎麼記得自己是球還是甜甜圈？答案是：有些量只取決於整體的縫合，而不取決於任一張圖卡——它們是拓樸不變量。你在多面體的故事裡已經遇過最乾淨的一個：歐拉示性數 chi = V − E + F。把一個曲面三角剖分——隨你喜歡的方式，用頂點、邊與面覆蓋它——而 V − E + F 這個組合永遠落在同一個數上，無論你怎麼剖分。對球面它是 2；對環面它是 0。那個數是整體形狀的指紋，沒有任何局部圖卡能改變它。
這不只是記帳——它是前方最深主題的第一個徵兆。歐拉示性數是純粹的拓樸：它在任何光滑的彎折或拉伸下都存活。然而曲面那一階末尾瞥見的高斯—博內定理，把它綁到了曲率——一個度量量——之上：累積在整個閉合曲面上的總曲率，被迫等於 2 pi 乘以 chi，把一個鬆軟的拓樸數鎖在度量的剛硬彎曲上。完整的機器——聯絡、曲率張量——還在梯子上幾篇之外，但寓意在這裡已然可見：流形的整體形狀，約束了你被允許披在它上面的幾何。
這一階通向何方
讓我們老實地把這條路標出名字，好讓你把整一階看成一道弧。你現在握有舞台：一個光滑流形，一個只透過圖卡與光滑轉換來認識的空間，帶有光滑性與維度，卻還沒有距離。下一篇導引安裝黎曼度量——流形自己的第一基本形式——透過它的切空間，把長度與角度在每一點交還，而切空間正是你在曲面上遇過的切平面的抽象繼承者。
從那裡，這一階以老實的步伐攀升。手握度量，我們便問：如何比較不同點上的向量並微分它們——那就是聯絡與平行移動，通向最直的可能路徑：測地線。接著曲率張量精確而內在地量度一個空間如何不平坦。最後一篇導引把整套裝置對準宇宙本身：在廣義相對論裡，時空就是一個四維流形，它的曲率正是我們感受為重力的東西。你已攀過的每一階——尤其是曲面的內在幾何——都在悄悄為的正是這件事做準備。舞台已就緒；現在我們把燈點上。