我們的位置：一套無法計算的可行理論
至此你手上已握有一套真正的同調理論。第一篇從單體的連續映射出發建構了奇異同調，將結果打包成一個帶邊界算子、滿足 d ∘ d = 0 的鏈複形，並證明它具函子性與同倫不變性。第二篇加上了重型工具：序對的長正合序列、切除，以及梅耶-菲托里斯序列，讓你能把空間拆成幾塊、再把各塊的同調縫合回去。一切都行得通。只剩一個問題，而它在實務上是致命的。
奇異鏈群 C_n(X) 是以每一個從標準 n-單體到 X 的連續映射為基的自由阿貝爾群。光是圓 S^1，每一維就已有不可數多個生成元；環面更糟。你無法對一個不可數的矩陣做列化簡。梅耶-菲托里斯靠歸納法救得了幾個小空間，但那是巧妙的繞道，而非你能交給學生、說一句「現在去算 H_*(虧格 3 曲面)」的方法。我們需要一個又小——最好是有限——卻能算出完全相同那些群的鏈複形。這個複形就是胞腔同調，而通往它的橋樑，是 CW 結構。
CW 複形：一次黏一個胞腔來搭建空間
CW 複形是把維數遞增的胞腔逐一黏合而成的空間。先從一組離散的點開始，即 0-胞腔。要造出 1-骨架，就黏上 1-胞腔（區間），把它的兩個端點黏到既有的 0-胞腔上。要造出 2-骨架，就黏上 2-胞腔（圓盤），透過一個連續的黏合映射把每個圓盤的邊界圓黏到 1-骨架上。如此繼續：一個 n-胞腔是一份開 n-圓盤的副本，沿其邊界 (n−1)-球面、藉一個映入 (n−1)-骨架的黏合映射黏入。CW 兩字代表「閉包有限（Closure-finite）」與「弱拓撲（Weak topology）」，這兩個技術條件確保結果行為良好；對有限複形它們自動成立。重點在於：一個 CW 複形把一個空間記錄成一份由胞腔與黏合映射構成的有限配方。
兩個小例子能把這個想法說具體，並將承載本篇其餘部分。圓 S^1 是最廉價的有趣 CW 複形：一個 0-胞腔 v 與一個 1-胞腔 e，e 的兩端都黏到那唯一的頂點 v 上——一個點上黏了一個環。環面 T^2 = S^1 × S^1 則是那個著名的例子：一個 0-胞腔、兩個 1-胞腔 a 與 b，以及單獨一個 2-胞腔，其邊界正方形沿著字 a b a^{-1} b^{-1} 黏合。最後那個黏合字，正是環面的全部幾何被壓縮成的四個字母；它說「沿 a 走、再沿 b 走、再沿 a 退回、再沿 b 退回」，這恰恰就是你把一個正方形的對邊黏合以做出甜甜圈的方式。
胞腔鏈複形：每個胞腔一個生成元
升級在此。胞腔鏈群 C_n^{CW}(X) 是以 X 的n-胞腔為基的自由阿貝爾群——有限多個生成元，而非不可數多個映射。其深層的輸入（用第二篇骨架序對的長正合序列證得）是：這個小群同構於 n-骨架對 (n−1)-骨架的相對同調 H_n(X^n, X^{n−1})，且所有「維數不對」的相對群都消失。正是這兩件事使整個構造合法：它們讓你能用胞腔的數目組裝出一個道地的鏈複形。所得的胞腔同調，依一條定理，同構於奇異同調——同樣的群，卻是劇烈縮小了的記帳量。
這個小複形的邊界映射是什麼？它是胞腔邊界 d_n，由映射度公式算出。要找出 (n−1)-胞腔 f 在 n-胞腔 e 的邊界中的係數，就取 e 的黏合映射（一個從 S^{n−1} 映入 (n−1)-骨架的映射），接上把除 f 以外一切都壓成一點的商映射，便得到一個 (n−1)-球面到自身的映射。那個係數，就是該映射的映射度——它帶符號地纏繞的次數。於是胞腔邊界帶符號地記錄了每個高維胞腔的邊界如何繞著每個低維胞腔纏繞。整個拓撲如今編碼進一個有限的整數矩陣裡。讓我們從頭跑一遍環面；同樣這五個步驟能算出你會遇到的每一個 CW 複形，而唯一非平凡的資料，就是黏合字 a b a^{-1} b^{-1}。
- 依維數列出胞腔並寫出鏈群。環面有一個 0-胞腔、兩個 1-胞腔、一個 2-胞腔，故 C_0 = Z、C_1 = Z + Z、C_2 = Z，而 n ≥ 3 時 C_n = 0。
- 以映射度公式計算 d_1。每個 1-胞腔（a 或 b）的兩個端點都黏到那唯一的頂點 v 上，故其邊界為 v − v = 0。因此 d_1 = 0。
- 以讀取黏合字計算 d_2。當 2-胞腔的邊界圓沿 a b a^{-1} b^{-1} 走一圈時，胞腔 a 被正向經過一次（+1）、反向經過一次（−1），淨映射度為 0；b 同樣淨為 0。故 d_2 = 0 亦成立。
- 取核與像。既然每個邊界映射皆為零，ker d_n 便是整個群，而 im d_n 在每一維都是平凡的。
- 讀出 H_n = ker d_n / im d_{n+1}。既然所有邊界皆為零，這就是鏈群本身：H_0 = Z、H_1 = Z + Z、H_2 = Z。那唯一的 H_2 = Z 即基本類——那個不被任何邊界消滅的 2-胞腔，亦即環面的「定向」。
把這與克萊因瓶對照，它唯一的差別在於黏合字 a b a b^{-1}。如今 2-胞腔沿 b 正向、反向各經過一次（對 b 的淨映射度為 0），但對 a 卻是正向經過兩次，給出對 a 的映射度 2。胞腔邊界 d_2 把 2-胞腔送到 2a，而這單一個係數 2，正是克萊因瓶在其整數 H_1 帶有 2-撓元、且 H_2 消失的全部緣由。黏合字裡的一個字母、矩陣裡的一個整數，拓撲便從可定向翻轉為不可定向。正是這份敏感，使映射度公式分量十足、值得倚重。
貝蒂數：逐維數計算「洞」的個數
一旦有了群 H_n(X)，貝蒂數 b_n 便是它們的自由秩——亦即 Z 的副本數，忽略任何有限的撓部。具體而言，b_n = dim H_n(X; Q)，即在有理數上的維數；這是最乾淨的定義方式，因為與 Q 張量會自動消去撓部。一句夠誠實、值得記住的口號：b_n 計算 n 維的「洞」。對環面，貝蒂數為 b_0 = 1、b_1 = 2、b_2 = 1：一個連通的塊、兩個你無法收縮的獨立環圈（即兩個圓 a 與 b），以及一個被圍住的二維空腔。
有一則值得直說的告誡，因為那句口號言過其實。貝蒂數只看見自由部分；它們對撓部視而不見。克萊因瓶與圓柱在有理數上都有 b_0 = 1、b_1 = 1、b_2 = 0，但兩者並非同倫等價——克萊因瓶在其整數 H_1 裡藏著一個 Z/2，而有理貝蒂數偵測不到它。所以「b_1 = 1」並不意味「相當於一個圓的 H_1」；它意味「相當於一個自由圓的份量，外加可能不可見的撓部」。若你需要分辨這類空間，就必須保留完整的整數同調，而非僅僅貝蒂數。用數洞的圖像來簡化，但切莫忘了它丟棄了什麼。
歐拉示性數：一位舊識，如今成了定理
你在第一冊見過凸多面體的 V − E + F = 2——即歐拉多面體公式。胞腔同調把它從一則奇趣升格為一條結構性定理。把歐拉示性數定義為各維胞腔數目的交錯和：χ(X) = c_0 − c_1 + c_2 − ...，其中 c_n 是 n-胞腔的個數。對一個多面體的表面，這恰是頂點數減邊數加面數。奇蹟在於：這個交錯和是一個拓撲不變量——它不依賴於你選了哪個 CW 結構，儘管各維胞腔的個數本身會劇烈變動。
它為何不變？因為對鏈複形施以一段乾淨的線性代數：對任何有限生成群構成的鏈複形，鏈群秩的交錯和等於同調群秩的交錯和。寫成符號，χ(X) = c_0 − c_1 + c_2 − ... = b_0 − b_1 + b_2 − ...，即貝蒂數的交錯和。左邊依賴 CW 結構；右邊只依賴同調，而同調是空間內稟的。把兩者畫上等號，便逼使胞腔計數版的它成為不變量。對環面：由胞腔得 1 − 2 + 1 = 0，由貝蒂數亦得 1 − 2 + 1 = 0——環面的歐拉示性數為 0，與你能在其上畫出的任何三角剖分皆一致。
這解鎖了什麼，以及接下來是什麼
胞腔同調是這門學問其餘部分的主力。有了它，你能一行算出閉曲面：可定向的虧格 g 曲面有 χ = 2 − 2g，故球面 χ = 2（與 V − E + F = 2 相符）、環面 χ = 0、虧格 2 的曲面 χ = −2。把同一台機器開在球面 S^n（兩個胞腔，χ = 1 + (−1)^n）、實與複射影空間、以及經由 Künneth 模式的乘積上——一切都化為有限的線性代數。關係式 χ = b_0 − b_1 + b_2 − ... 也意味著：若你知道歐拉示性數與部分貝蒂數，有時便能推出其餘的。
再往上爬之前，兩則誠實的告誡。其一，胞腔同調是計算上的捷徑，而非基礎：它依一條定理與奇異同調相符，而那份相符（可由第二篇裡你見過框架的艾倫伯格-史汀羅公理證得）才是許可你使用小複形、同時信賴大複形裡證得的同倫不變性的依據。別把方便的模型誤認作定義。其二，歐拉示性數是強大卻粗糙的不變量——它只是單一個整數，許多本質不同的空間共有它（環面與克萊因瓶的 χ 都是 0）。它約束貝蒂數，卻不決定它們。
把這篇指南記在心裡有個乾淨的辦法：同調由奇異鏈定義，卻由胞腔計算。CW 結構藉映射度公式把不可數的複形縮成一個有限的整數矩陣；貝蒂數讀出它的自由秩；而胞腔數目或貝蒂數任一者的交錯和，給出那唯一的不變整數 χ。第四篇將把這整幅圖像對偶化——以上鏈取代鏈來建構上同調，那裡同樣這些胞腔將透過杯積攜帶一個環結構，而歐拉示性數會以自相交數的面貌重新登場。