甜甜圈上的一段繩
兩篇之前你學會了用計數來區分曲面：歐拉示性數 chi = V − E + F，並由它得到虧格 g，也就是孔洞的數目。那套計數運作得漂亮，但它從外部觀看曲面，像個清點頂點與面的會計。這一篇要遞給你一個從內部探測空間的工具，所憑的不過是一條繩圈——而我們竟要從這條繩裡，建起一個群。從橡皮膜的圖像到代數的這座橋，是全數學中最精彩的幾步之一，而它比聽起來更觸手可及。
實驗如下。挑一個拓樸空間——比方說甜甜圈的表面，一個環面——並把一個念頭的一端釘在一個選定的點上，叫它基點 P。一條迴圈是一條從 P 出發、在曲面上隨意遊走、最後回到 P 的路徑。現在問那唯一要緊的問題：你能否一邊把這迴圈滑動、收縮，一邊讓它留在曲面上、兩端釘在 P，直到它塌縮成 P 這單獨一點？有些迴圈可以。你在環面某一塊上隨手畫的小圓圈，就像橡皮筋放鬆一樣縮成烏有。但一條繞過甜甜圈孔洞的迴圈——穿過中央那個環——卻被困住了。無論你怎麼拉，孔洞都擋在路上，迴圈永遠收不緊成一點。
能相乘的迴圈
目前為止我們有了迴圈的類。要得到一個群，還需要一種組合它們的方法——一種乘法。它再自然不過了：給定兩條都以 P 為基點的迴圈 a 與 b，先走完 a，整圈繞回 P，接著立刻走 b。結果寫作 a * b，是一條更長的迴圈，先做 a 的旅程、再做 b 的，同樣以 P 起終。我們只是把它們接起來：描一條，再描另一條。迴圈的乘法，不過就是「先做這個，再做那個」。
現在來查驗它是否配稱為群，因為每一條群公理都披著同倫的偽裝現身。單位元是那條從不離開 P 的懶迴圈——把它接上去，到同倫為止毫無改變。迴圈 a 的反元素是同一條路徑倒著走，寫作 a^(-1)；沿 a 出發，再沿它的逆向直直走回，這趟來回能被收捲成常數迴圈，所以 a * a^(-1) 就是單位元。結合律，即 (a * b) * c 與 a * (b * c) 相同，之所以成立，是因為唯一的差別只在你換迴圈的時間點，而同倫能自由地滑動那個時間點。關鍵在於：這三件事全都是到同倫為止成立的——對字面上的路徑它們會失敗，一旦我們改用同倫類，就變得分毫不差。
把這一切組裝起來，你就得到了空間在基點 P 處的基本群，寫作 pi_1(X, P)——P 處迴圈的同倫類所成的集合，配上接合的乘法。「pi_1」讀作「pi 一」；那個 1 標明它是這一整座不變量之塔中的第一個、也是最基本的一個。它是拓樸學裡最重要的第一個不變量，因為它把一個關於你抓不住的形狀的軟綿綿問題，轉換成一個關於群的剛硬問題，而群是你真能去計算的。
三個空間，三個答案
抽象的東西要靠例子來證明價值，所以讓我們算三個。首先是平面，或任何圓盤——任何沒有孔的東西。每一條迴圈，無論遊走到哪，都能被直直收捲回基點；沒有東西能勾住它。於是每條迴圈都與單位元同倫，基本群恰好只有一個元素。我們稱這樣的空間單連通：它的 pi_1 是平凡的。球面也是同一個故事——畫在地球儀上的迴圈總能滑到一旁縮掉，因為一條二維的迴圈套不住一個二維的球面。球面也是單連通的。
現在看圓本身——只有那圈邊緣，一個一維的迴圈狀空間。一條在圓裡的迴圈，是一條沿邊緣跑一圈又回到家的路徑。同倫唯一不能改變的，是你繞行的淨次數：順時針一圈、逆時針一圈、繞兩圈、或一圈也不繞。那個整數，纏繞數，就是完整的不變量，而纏繞數在接合時相加（繞兩圈，再繞三圈，你就繞了五圈）。所以圓的基本群恰好是整數在加法下所成的群，寫作 Z。這個小小的計算——pi_1(圓) = Z——是整套理論的晶種；幾乎所有更豐富的東西，都是靠與它比較而建起來的。
這頭幾個答案已在做真正的工作。若兩個空間有不同的基本群，它們便絕不可能同胚——pi_1 是拓樸不變量，任何連續伸縮都改不了它，所以它是一張隨空間旅行的護照。圓盤（平凡群）與圓（整數 Z）因此是貨真價實不同的形狀，由代數證明它們相異。這就是回報：一個關於變形橡皮的問題，用肉眼難以了斷，卻變成一個關於比較兩個群的問題，而那是鋒利明確的。
當迴圈拒絕交換
回到甜甜圈，驚奇就住在那裡。環面有兩種獨立的、不會縮掉的繞法：一種沿管子繞長的一圈（叫它 a），一種穿過中央孔洞（叫它 b）。環面上任一迴圈，到同倫為止，都是若干趟 a 加上若干趟 b，而在這裡兩種繞法能自由地彼此滑過——先 a 後 b，與先 b 後 a，落在同一個同倫類。環面的基本群因此是 Z x Z，兩個獨立的整數計數器，一個對應一個孔的方向，而且它是交換的：次序無關緊要。
現在來看那個讓基本群如此強大的轉折。取一個不同的曲面——帶兩個把手的球面，即虧格 2 的「椒鹽卷餅」，或挖掉兩個點的平面，使迴圈能環繞任一穿孔。在這些上面，先繞孔 A 再繞孔 B，與先繞 B 再繞 A，並不同倫。你造訪這些孔的次序留下了永久、無法變形的痕跡。基本群是非交換的——a * b 不等於 b * a——而這一個事實正在做一件歐拉示性數根本辦不到的事：它記錄的不只是孔的數目，還有環繞它們的迴圈如何交織。代數長出了一份純計數永遠看不見的、關於結構的記憶。
把空間攤開，看清它的迴圈
究竟有誰真的去證明 pi_1(圓) = Z，而非只是相信它？誠實的答案用上一個美麗的伴生念頭，覆蓋空間，即使完整的證明住在這一階稍高之處，它仍值得一瞥。想像一條無限的螺旋，一道盤旋的梯，懸在圓的上方，讓它筆直地往下投影：螺旋的每一整圈都恰好落在圓的正上方，所以圓被它上方的螺旋纏繞了無限多次。那條螺旋是覆蓋空間，而那道往下的投影是覆蓋映射。
現在來看這招。一條繞著圓跑的迴圈，能被提升到螺旋上，描成梯子上的一條路徑。繞一圈的迴圈，提升後恰好沿螺旋爬上整整一階；反向繞則降一階；完全不繞則停在同一個平台。迴圈在樓下重新閉合，但它在樓上的提升，終點卻離起點整整差了一層樓——而它落在哪一層，恰恰就是纏繞數。螺旋把圓那些纏結的迴圈，攤開成你能直接讀出的、誠實的整數高度。這就是 pi_1(圓) = Z 背後的引擎，而覆蓋空間是一般用來計算基本群的標準機器。
covering of the circle by the helix (real line over the circle)
helix: ... -2 ---- -1 ---- 0 ---- 1 ---- 2 ... (integer floors)
| shadow straight down
v
circle: a single loop, basepoint P
loop winding +1 -> lift climbs from floor 0 to floor 1
loop winding -1 -> lift drops from floor 0 to floor -1
loop winding 0 -> lift stays on floor 0
ending floor = winding number => pi_1(circle) = Z (integers, +)誠實的界限，與接下去的路
讓我坦白說清基本群做得到與做不到什麼，秉持這座梯子賴以建立的精神。第一，它取決於基點 P——但對任何連成一塊的空間，即連通空間，你從某個基點得到的群，與從任何其他基點得到的相同（同構），所以人們索性只寫 pi_1(X)。第二，pi_1 只看得見一維的迴圈；它對更高維的孔洞視而不見。球面有著完全平凡的基本群，儘管它分明不是個圓盤——它中空的內部是一個二維的空腔，繩圈感覺不到。要偵測它，需要更高的不變量 pi_2、pi_3，以及同調群，那座塔的其餘樓層，而你正站在它的地面層上。
還有一個對誇大的告誡。平凡的基本群本身並不證明一個空間是球面——對曲面而言它確實能，那是一條貨真價實的定理，而高一維的類比敘述，即三維球面的龐加萊猜想，抵抗了一個世紀的證明，直到培瑞爾曼在 2000 年代將它了結。所以 pi_1 是一台強大的偵測器，而非神諭：群相等是兩空間相符的有力證據，但完整的分類還需要更多。然而誠實地使用，它鋒利得驚人——它已能把圓盤、圓、環面、椒鹽卷餅乾淨地一一區分開，而這是肉眼獨力難以辦到的。
你方才從計數跨進了代數。歐拉示性數給了你每個曲面一個數；基本群給了你一整個群，精細到能感受迴圈繞著孔洞編織的次序。從這裡開了兩道門。一道通向結，是本階的最後一篇，我們將藉由計算結的補空間的基本群，來分辨一個打了結的迴圈與一個沒打結的——而那個群的非交換性，恰恰是逮住打結的東西。另一道，遙望在前方，通向幾何群論，那裡空間的迴圈群本身成了名正言順的幾何物件。你進來時只能數孔；你離開時已能聽見它們如何纏結。