我們有資格分類的對象
在這一階的第一篇導引裡,你學會停止量度、改為觀察什麼在拉伸下存留:當一個同胚把一個形狀搬到另一個之上時,兩個形狀就是相同的——這是一種連續形變,連它的「還原」也是連續的。在第二篇裡,你遇見一個能在一切這類形變下存留的數——歐拉示性數 chi = V - E + F。現在我們把這些工具用到它們最宏大的場合。這個問題雄心驚人:我們能不能寫下一張完整清單,列出所有可能的曲面,使得你所能畫出的任何曲面,在同胚的意義下,都落在這張清單上的某處?了不起的是,答案是肯定的——但前提是我們要小心說清,所指的是哪一類曲面。
一個曲面是一個近看顯得平坦的空間:每一點都有一小塊鄰域,不過是平面上一個被拉開的圓盤,就像螞蟻覺得地面是平的,儘管地球是圓的。乾淨的分類適用於同時是封閉的曲面——意即緊緻且沒有邊界。緊緻(取自第二階的詞彙)排除了那些跑向無窮的東西,例如一張無盡的平面。沒有邊界排除了帶有一道你能用手指沿著滑過的生硬邊緣的曲面,例如一個平的圓盤或一截開口的管子。球面是封閉的;甜甜圈表面(環面)是封閉的。相對地,一張紙有邊界,而一個無窮平面不緊緻——兩者都不在我們的清單上。把這條限制說白:我們即將遇見的這條漂亮定理,恰恰分類的是封閉曲面;若聲稱它涵蓋了一切曲面,那便是謊言。
虧格:數一數把手
從最簡單的封閉曲面——球面——開始:它是一顆球的表面,完全沒有洞。現在想像拿起這個球面,從它長出一個把手,就像咖啡杯的把手:你戳出兩個小洞,黏進一根彎曲的管子把它們接起來。結果與甜甜圈的表面同胚,這就是環面。你能把手指穿過的那一個洞,正是一個把手的標誌。長出第二個把手,你便得到一個有兩個洞的曲面,像一個蝴蝶餅或一個8字形的點心;第三個把手給你三個洞,依此類推。虧格記作 g,就是把手的數目——等價地說,就是你能穿過一條線的洞的數目。球面的虧格是 0,環面是 1,雙環面是 2。
有一個製造高虧格曲面的整齊辦法,叫做連通和,用符號 # 來寫。要構成 A # B,你從曲面 A 切下一個小的開圓盤,從曲面 B 切下一個小的開圓盤,再沿著你剛剛露出的兩道相配的圓形邊緣,把兩個曲面黏在一起。從球面切下一個圓盤再黏到任何東西上,什麼也沒改變(去掉一個圓盤的球面不過是一個圓盤,把圓盤黏回去就填平了洞),所以球面是單位元:對每一個曲面 A 都有 S # A = A。而環面是基本積木:一個虧格為 g 的曲面,恰恰就是 g 個環面的連通和,T # T # ... # T 共 g 份。連通和不過是把虧格相加——把一塊虧格 1 黏到一塊虧格 2 上,得到虧格 3。
虧格與歐拉示性數是同一枚硬幣
在上一篇導引裡,你算出球面的任何三角剖分都給出 chi = V - E + F = 2,而環面的任何三角剖分都給出 chi = 0。那絕非巧合,而且這個規律是精確的:對一個虧格為 g 的可定向封閉曲面,歐拉示性數是 chi = 2 - 2g。從你已知的情形把它讀出來:g = 0 給出 chi = 2(球面),g = 1 給出 chi = 0(環面),g = 2 給出 chi = -2,而每多一個把手,chi 就恰恰減 2。描述曲面的這兩種方式——數把手,或把 V - E + F 加起來——不只是相關而已;它們承載同一份資訊,只是穿了不同的衣裳。
orientable closed surfaces surface genus g chi = 2 - 2g ---------------------------------------- sphere 0 2 torus 1 0 double torus 2 -2 triple torus 3 -4 solve the relation for genus: g = (2 - chi) / 2
這個可逆性正是整一階在實用上的核心。假設有人遞給你一個畫得令人費解的複雜封閉可定向曲面。你不需要用肉眼找出把手。隨你高興地把它三角剖分——答案不會依賴於剖分方式,那正是歐拉示性數的教訓——數出 V、E、F,組成 chi = V - E + F,再解出 g = (2 - chi)/2。一個整數,由誠實的計數得來,就完整地命名了這個曲面。一個連續的形狀,被化約成了算術。
可定向性:清單的另一半
單憑虧格還不能完成這件工作,因為關於曲面還有第二個獨立的問題:它有沒有一致的兩面之分,還是只有一面?一個曲面若能用兩種顏色——裡與外——上色而兩色永不相遇,便是可定向的。球面與環面是可定向的。著名的反例是莫比烏斯帶:你把一條紙帶扭半圈再把兩端黏起來就能做出它——一隻沿著它走的螞蟻會回到出發點,卻成了鏡像翻轉,途中造訪了「兩面」而從未越過任何邊緣——因為它只有一面。這類曲面是不可定向的。
莫比烏斯帶有一道邊界,所以它不是封閉的——但你能用同樣的單面把戲造出封閉的不可定向曲面。最簡單的是射影平面:取一條莫比烏斯帶與一個圓盤,沿著它們各自唯一的圓形邊界把它們黏起來。它無法在普通的三維空間中構造而不穿過自身,這就是為何它較難想像,但作為一個抽象曲面它千真萬確。其次是克萊因瓶,環面那不可定向的表親——一個沒有內外之分的曲面,它同樣只能在我們的空間中以一個它本不具有的自交來畫出。完整的分類兩個族都需要:可定向的那族(黏了 g 個把手的球面),以及不可定向的那族(由射影平面拼成)。
誠實陳述的分類定理
這就是整張清單,而且它很短。每一個封閉曲面都恰好與下列之一同胚:球面;黏了 g 個把手的球面(虧格為 g 的可定向曲面,g = 1, 2, 3, ...);或 k 個射影平面的連通和(不可定向曲面,k = 1, 2, 3, ...)。它們全在這裡了,沒有重複,也沒有遺漏。兩個封閉曲面在拓樸上是同一個形狀,若且唯若它們在兩個不變量上相符:它們的可定向性(是或否)以及它們的歐拉示性數。這兩份資料是一份完整的指紋——讓它們相符,曲面便同胚;其中任一不同,便不同胚。
這樣一個包羅萬象的陳述是怎麼證明的?誠實的回答是:完整的證明是真功夫,超出一個入門階所能承載的——但那個想法美得具體,值得一見。任何封閉曲面都能被三角剖分,然後沿著邊切開、攤平成單一個多邊形,其各邊再成對黏回。每個曲面都由一個字編碼,記錄各邊如何配對:環面是字 a b a-逆 b-逆,射影平面是 a a,克萊因瓶是 a b a b-逆。一連串耐心的切開再重黏動作(沿對角線切,再沿一條相配的邊黏)總能把任何這樣的字化簡成清單上的某個標準形式。於是分類成了一個作用在字上的演算法——完整做完很長,但精神上是基本的。
有一條告誡讓這幅圖保持誠實,它也呼應了曲面那一階的一個主題。拓樸分類比幾何上的相同更粗:它看得見把手與面數,卻刻意對大小、距離與曲率視而不見。一個圓鼓鼓的貝果與一個細長的甜甜圈在這裡是同一個曲面(都是虧格 1),儘管它們的高斯曲率逐點各不相同。分類回答的是「哪一個曲面?」(在拉伸的意義下),而不是「哪一個確切的度量形狀?」。那種粗糙並非弱點——它恰恰是力量所在:藉由丟掉距離,你得到一張短到能寫在一行裡的清單,以及一個任憑怎麼彎折都改不掉的整數。
實際運用,以及它通向何方
- 先確認曲面是封閉的——緊緻且沒有邊界。若它有一道你能描畫的邊緣,或跑向無窮,這套精確的分類就不適用。
- 判定可定向性:你能一致地把兩面上色嗎?兩面的曲面可定向;單面的(含有莫比烏斯帶的)則不可定向。
- 隨你方便地三角剖分,並算出 chi = V - E + F。這個值不依賴你選的剖分方式。
- 若可定向,虧格便是 g = (2 - chi)/2,曲面就是黏了 g 個把手的球面。可定向性連同 chi,便在清單上唯一地命名了它。
值得停下來體會這種處境有多稀有而珍貴。在數學的大多數領域裡,區分兩個對象很難,把它們全部列出更是無望。封閉曲面是少數幾個我們擁有完整且可計算分類的地方:一份有限的配方,餵進任何封閉曲面,便確定無疑地回傳它的名字。那正是分類定理所追求的黃金標準,而曲面正中靶心。再上一個維度——封閉的三維流形——艱難得多,相應的綱領花了一個世紀、用上龐加萊猜想才總算開始有解。
還有一條線索回伸進你先前爬過的曲面那一階。在那裡你看見曲率 K 是一個局部的、量度出的量;接著高斯—博內定理揭示:一個封閉曲面的總曲率等於 2 pi 乘以它的歐拉示性數——而透過 chi = 2 - 2g,那個總量單由虧格便已釘死。所以你在這裡純粹靠拉伸與黏合所數出的整數,暗中掌管著這個曲面的光滑版本整體上必須彎曲多少。拓樸遞給幾何一份它無法超支的預算。虧格正是那場對話的開端;在往後的導引裡,迴圈與基本群將給你一件更銳利的器具,來分辨這些形狀。