藏在整座階梯背後的一個問題
到目前為止，你已研讀過好幾種感覺確實不同的幾何。歐幾里得的平面在乎距離與角；圓錐曲線那一章仍在量離心率與焦距；變換那一階讓你滑動、旋轉、翻轉一個圖形而每一段長度都完好；而你剛離開的射影平面把距離、角、甚至平行性都丟了，只留下直與關聯。它們顯然不是同一門學問。但一個尖銳的問題潛伏在它們底下，下面幾階的人都不必回答：究竟是什麼，讓一種幾何成為某一種特定的幾何，而不只是「做點幾何」？
1872 年，二十三歲的菲利克斯·克萊因在他愛爾蘭根大學的就職演講裡給了一個答案，重整了整門學問。這個如今稱為愛爾蘭根綱領的念頭是這樣的：要指定一種幾何，別去列舉它的定理、別去畫它的圖形。反過來，你只要說明你被允許施行的那群運動——那麼這套幾何就是那些無論你套用哪個容許運動都保持為真的敘述所成的集合。兩個圖形在那套幾何裡算「相同」，正當有某個容許運動能把一個搬到另一個之上。換掉容許的運動，你就自動而徹底地換掉了幾何。
兩樣材料：一個群，與一個不變量
整部機器靠兩樣你已零碎見過的材料運轉。第一樣是變換群：空間上一組運動，對複合封閉（先做一個、再做一個，結果仍在這組裡）、含有什麼都不做的恆等運動、且其中每個運動都能被組裡的另一個運動還原。變換那一階的平面剛體運動恰好構成這樣一個群——把兩個滑動－旋轉－翻轉複合起來會得到第三個，讓平面原封不動也算數，而任何剛體運動都有一個把一切放回去的逆運動。封閉、恆等、逆元這一束，就是這裡「群」的意思。
第二樣材料是幾何不變量：圖形的某個性質，或附在它上頭的某個量，在群裡每一個運動套用之後都算出同樣的值。對剛體運動而言，距離 |AB| 是不變的——這正是「等距變換」一詞被造出來的字面意思。角的度量 m(angle ABC) 也是，三角形的面積也是。這些不是隨機的倖存者；它們恰恰是你把一張硬挺透明薄片拿起又放下時改不動的那些東西。克萊因的洞見在於把這層關係倒過來讀：歐氏幾何不是「距離剛好要緊的那種幾何」——它就是剛體運動群的不變量之研究，不多也不少。
群如何作用，又把什麼攪在一起
要把這講精確，我們需要群作用的念頭：那條規則說明群裡每個運動如何搬動空間中每個點，且這搬動尊重複合。先做運動 g、再做運動 h，必須和做那個合併成單一個的運動「h 接在 g 之後」效果相同——作用與群的乘法步調一致。這是抽象的群與它所推動的具體點之間的正式握手。一旦作用固定下來，每個圖形在每個群元素下都有確定的去向，而「這兩個圖形是不是相同？」這個問題便獲得了清晰的意義。
這裡有一幅讓克萊因的念頭一拍即合的圖。固定單一個點 P，把群裡每個運動都套到它身上；P 所能落到的所有位置構成的雲，就是它的軌道。在剛體運動下，任何點的軌道是整個平面——你能把任一點滑到任一點——所以從群的立場看，所有點長得都一樣，這正是歐氏幾何沒有特權原點的緣故。兩個圖形落在同一條軌道上，正當有一個運動把其一搬到其二，而這恰恰就是克萊因所謂的「全等」「等價」「相同」。在這個觀點下，一套幾何是被它的群切成一條條軌道的空間，而它的定理是關於某圖形住在哪條軌道裡的敘述。
放鬆群，失去一些不變量
現在看看當我們擴大群、容許更多運動時會發生什麼。從剛體運動出發，加進均勻縮放——把圖形放大或縮小卻不使其變形的伸縮。擴大後的群是相似變換群，它更大，所以能撐過其全部的東西更少。距離 |AB| 沒了，因為一個相似變換能把它加倍；但兩段距離的比值撐住了，每個角也撐住了。這正是相似世界成為「相似三角形」自然居所的緣故：在其中，兩個角相等的三角形真的是同一個對象，因為有一個相似變換把其一恰好搬到其二之上。
把群推得更鬆些。容許任何把直線送成直線、且讓平行線維持平行的變換，連那些不均勻地錯切與拉伸的也算——這些是仿射映射，而它們所保持不變的幾何是仿射幾何。現在連角、連任意長度之比都沒了；一個錯切能把正方形變成歪斜的平行四邊形、把直角變成鈍角。但平行性按構造撐住了，沿同一直線量得的兩段長之比也撐住了，中點的念頭也撐住了。每當群成長一次，一層不變量便剝落——而剩下的、更耐命的不變量，恰恰就是那套更鬆的幾何的內容。
ENLARGE THE GROUP --> FEWER SURVIVING INVARIANTS group of motions what stays invariant ------------------------ ----------------------------------- rigid motions (isometry) distance, angle, ratio, parallel, line similarities -- angle, ratio, parallel, line affine maps -- -- ratio*, parallel, line projective maps -- -- -- -- line (* ratio only along one line, generalizing to the cross-ratio) bigger group = coarser geometry = fewer theorems, more equal figures
層級，以及一條岔出去的旁支
把這些群疊起來，一座乾淨的階梯便出現了——幾何的層級。剛體運動坐在相似變換裡，相似變換坐在仿射映射裡，仿射映射坐在射影映射裡：每個歐氏運動都是相似變換，每個相似變換都是仿射的，每個仿射映射都可延拓成射影映射。因為每個群都包含它下面的那些群，較大群的每個不變量自動也是它裡頭較小群的不變量——所以一條射影定理在這四套幾何裡都成立，而一條關於距離的歐氏定理連往上一步都未必撐得住。整座塔讀作射影 > 仿射 > 相似 > 歐氏，頂端最鬆、底端最嚴，恰好映照你剛看過的那張表。
並非每套幾何都掛在這條主脊上，這點值得誠實說明。有一條極美的旁支：保角幾何，也就是莫比烏斯幾何，它的群由圓上的反演連同剛體運動與縮放搭建而成。一個莫比烏斯變換能把直線彎成圓，所以「直」——那個定義整條射影主脊的不變量——在這裡不被保持。它所保持的是兩條曲線相交時的角；這就是「保角」的意思。所以這套幾何犧牲了仿射層與射影層所保留的那樣東西，卻搶救回那兩層丟掉的角——這是一筆貨真價實不同的交易，不只是同一座階梯上的又一階。
你如今帶著什麼，這一階又往哪去
握緊這次重新定位，因為它改變了你閱讀下面一切的方式。一套幾何不再是一袋關於某種特定圖景的零散定理；它是一群容許運動的群配上它的不變量，而定理不過是把不變量寫明白罷了。全等、相似與射影等價不再是三種互不相干的關係，而成為同一種關係——同一條軌道——只是用三個不同的群來度量。這就是你爬這一階為了得到的那單一個念頭，它比它所組織的任何一條定理都更值錢。
接下來四篇導引是這樣把它兌現的。第二篇放慢腳步講群作用本身——軌道，以及一個點的穩定子（把它釘在原處不動的那些運動）——好讓這套機械成為你能拿來計算、而非只能讚嘆的東西。第三篇走遍從射影到歐氏的完整層級，看著不變量隨你下降而累積。第四篇單獨落腳在仿射幾何，精確地問它看得見與看不見什麼。第五篇則順著那條旁支進入保角與莫比烏斯幾何，在那裡圓與線合為一族、角為王。
為這趟攀登打包一句誠實的提醒。克萊因的綱領是一面壯麗的組織透鏡，但它不是幾何的全部，這麼說並非貶低它。黎曼於 1854 年開啟的彎曲空間——曲率逐點變化的曲面與流形——一般而言根本沒有什麼大的變換群，所以沒有全域運動可供其保持不變，克萊因的配方也就構不到它們。那些幾何需要另一具引擎，也就是你在前頭微分幾何各階會遇見的、內蘊而微觀的那一具。愛爾蘭根的念頭是一束強力探照燈，而不是覆蓋每塊田地的泛光燈——而曉得它的光束在哪裡止住，是把它用好的一部分。