我們的位置：從單一空間到序對與碎片
本級第一篇從頭建造了奇異同調：射入空間 X 的連續單形、由鏈構成的自由交換群、滿足 d 接 d 等於零的邊界映射，以及作為循環模去邊界的同調群 H_n(X)。我們也看到 H_n 是函子，且同倫的映射在同調上誘導出相同的映射——其關鍵技術輸入是一個鏈同倫。這些全都正確而漂亮，但若你想直接從奇異單形算出 H_n(S^2)，你會滅頂：單形多到不可數，群也大得驚人。本篇交給你的工具，讓同調真正可算，而無須清點任何一個單形。
策略是幾何裡最古老的一招：切。若你能把 X 切成你已知其同調的碎片，並掌握沿切口發生了什麼，你就應該能把 H_n(X) 重新拼回去。本級的奇蹟在於，「拼回去」竟成為一道精確的代數程序——沒有湊數的因子、沒有誤差項，只是誠實地記帳：碎片中的循環如何彼此契合、或如何契合不上。這套記帳的通貨，就是正合序列，而兩件切割工具是序對的長正合序列與 Mayer-Vietoris 序列。在背後驅動二者的隱藏引擎，是切除定理。
正合性：一切所憑藉的唯一代數觀念
一列交換群與同態 ... -> A -> B -> C -> ...，在 B 處正合，是指進來那個映射的像等於出去那個映射的核。慢慢讀這句：像等於核同時說了兩件事——其一，連續兩個映射的複合為零（像落在核內），這正是你已信任的鏈複形中 d 接 d 為零的條件；其二，更銳利的反向，核裡沒有任何剩餘（核落在像內）。一個鏈複形只要求第一件。正合性要求兩者，而這份額外的要求，恰恰是「此處無同調」的度量。
有兩個小情形值得記成反射動作。一條短正合序列 0 -> A -> B -> C -> 0 說的是：A 嵌入 B（在 A 處正合）、映射 B -> C 為滿（在 C 處正合）、而 C 恰是商群 B/A（在 B 處正合）。所以一條短正合序列，不過是「B 由子群 A 與商 C 組裝而成」的一種講究寫法。而 0 -> A -> B -> 0 的正合性，逼使 A 與 B 同構。這些極小的事實，重複數千次，便是「追圖」的實際內容——由每一處的像等於核所逼出的局部推演。
序對的長正合序列
取一個空間 X 與其中的子空間 A——一個序對 (X, A)。相對鏈由商 C_n(X)/C_n(A) 定義：X 中的鏈，把整個落在 A 裡的鏈宣告為零。它們的同調是相對同調 H_n(X, A)，精神上是「X 中尚未住在 A 裡的那部分同調」。鏈群的包含組裝成一條鏈複形的短正合序列 0 -> C.(A) -> C.(X) -> C.(X,A) -> 0，於是上一節的代數立刻產出序對的長正合序列。
把它寫開來，這條序列讀作 ... -> H_n(A) -> H_n(X) -> H_n(X,A) -> H_{n-1}(A) -> H_{n-1}(X) -> ...，朝兩個方向永無止境地延伸。前兩個映射由包含 A -> X 與商 C.(X) -> C.(X,A) 誘導；第三個映射 H_n(X,A) -> H_{n-1}(A) 是來自蛇引理的連接同態，是唯一把次數降一的那個。
如何真正使用它：這條序列是一道約束，讓你從鄰居解出未知的群。若你知道 H_*(A) 與 H_*(X) 而想求 H_*(X,A)，或知道三欄中任兩欄，正合性便把第三欄釘定到只差一個擴張。連接映射 d_*: H_n(X,A) -> H_{n-1}(A) 有個鮮明的意義——一個相對 n 循環是 X 中一條其邊界被迫落在 A 裡的鏈，而 d_* 恰恰把那條邊界記錄為 A 的一個循環。所以 d_* 就是「取那條在 X 內被切除允許忽略、卻被 A 記住的邊界」。
一個立即的回報：當 A 是單獨一點 p 時，相對群 H_n(X, p) 對所有 n 都與 X 的約化同調一致——長正合序列退化，因為 H_n(一點) 除零次外皆消失，而存活下來的片段恰好剪去未約化的 H_0 總會多帶的那個多餘的 ℤ。這就是為何約化同調——你在第一篇曾把它當作一種正規化遇見過——並非事後追補，而是帶基點的序對序列自然的產物。
切除：那條讓你動刀的深定理
序對序列是純代數，若沒有一個幾何輸入聲明相對同調確實是局部的，它便毫無生氣。那個輸入就是切除定理：若子集 Z 安坐於 A 之內部——確切地說，若 Z 的閉包落在 A 的內部裡——則把 Z 從 X 與 A 中一併切走，並不改變相對同調，H_n(X, A) 同構於 H_n(X 去掉 Z, A 去掉 Z)。一句口號：相對同調只看見 A 與 X 其餘部分之間邊界附近發生的事；A 的深處內部是隱形的，可以被切除掉。
為何它成立，又為何困難？其證明是整個本級的技術核心：重心細分。你不能假設一個任意的奇異單形小到足以塞進開覆蓋的某一塊裡，於是你把單形反覆細分成更小的，並透過一個明確的鏈同倫證明細分不改變同調。細分夠多次後，每條鏈都由各自完全落在 A 的內部、或完全落在 Z 的補集裡的單形組成，切除同構便由此落地。這是初等同調裡你會真正流汗的唯一一處；其回報是，此後每一個切割論證都不費分文。
Mayer-Vietoris：切開，再把碎片加總
現在來到你會天天伸手去拿的工具。用兩個開集 U 與 V 覆蓋 X，使 X 等於其聯集。Mayer-Vietoris 序列把 X 的同調與 U、V 及其交集的同調聯繫起來。它同樣是某條鏈複形短正合序列的長正合序列——由能塞進 U 或塞進 V 的鏈構成，而切除提供了那關鍵事實：那些「小」鏈算出的同調，與整個 X 的同調相同。所以 Mayer-Vietoris 就是穿上工作服的切除。
... -> H_n(U cap V) -> H_n(U) (+) H_n(V) -> H_n(X) -> H_{n-1}(U cap V) -> ...- 計算 H_*(S^2)。用兩個略微重疊的開帽 U 與 V 覆蓋球面，各為一個開圓盤，故各自可縮：H_*(U) = H_*(V) = H_*(一點)。它們的交集 U 交 V 是赤道附近的一條開帶，形變收縮為一個圓，故 H_*(U 交 V) = H_*(S^1)。
- 把這些餵進 Mayer-Vietoris。在二次：H_2(U)(+)H_2(V) = 0，故序列逼使 H_2(S^2) 同構於從 H_1(U 交 V) = ℤ 出去的下一個映射之核。在一次：赤道圓射入兩個可縮帽的兩個包含映射都把它扼殺，故那個映射為零。
- 讀出答案。於是連接映射 H_2(S^2) -> H_1(U 交 V) = ℤ 是一個同構，給出 H_2(S^2) = ℤ。正合性接著把 H_1(S^2) = 0 擠出來，而因球面連通故 H_0(S^2) = ℤ。所以 H_*(S^2) 在零次與二次為 ℤ、其餘為零——恰恰是內部的空洞與外部的連通，一個單形也沒清點。
把同一台機器開在更高的球面上，你便得到歸納 H_n(S^n) = ℤ 而其餘（約化後）皆消失，因為 S^n 是沿赤道 S^{n-1} 黏合的兩個帽；連接映射每次把頂端的類降低一個維度。這一個歸納計算，是這門領域的脊樑：它驅動了映射 S^n -> S^n 之次數這個同倫不變的概念、所有維度的 Brouwer 不動點定理，以及區域不變性。一個開覆蓋，遞迴地施用，球面便被徹底理解了。
退一步看：公理、適用範圍與誠實的界限
有一條乾淨的途徑可看清這一切為何奏效，在你盲目信任它之前值得知道。Eilenberg 與 Steenrod 提煉出一份簡短的性質清單——函子性、同倫不變性、序對的長正合序列、切除，以及一條把一點的同調釘定的維度公理——並證明這套 Eilenberg-Steenrod 公理在合理的空間上唯一地決定了通常同調。你上面算的一切都只用了這些公理，從未用到奇異鏈本身。這正是為何單純同調與奇異同調一致：它們滿足相同的公理。鏈是鷹架；公理才是建築。
要誠實面對這套工具箱的邊界。其一，Mayer-Vietoris 要求兩個集合是開的，或至少構成一個可切除偶；沿非開的接縫黏合可能悄悄使它失效，而初學者常為一個看似無虞、卻在內部假設上失敗的分解耗掉數小時。其二，這些序列只把群算到差一個擴張的程度——正合性告訴你核與像，但短正合序列 0 -> ℤ -> ? -> ℤ/2 -> 0 不只一個解，故你有時需要額外的論證來解開這份含混。其三，連接映射雖具體，其符號與方向卻因教科書而異；挑定一個來源，忠誠到底。
最後，要抗拒一個誘人的誇大：這些工具計算同調，它們本身並不分類空間。兩個同調完全相同的空間，可以是真正不同的——同調是比同倫軌道上的基本群更粗的不變量，而後者已能區分同調無法區分的空間。你所獲得的雖巨大卻有界：一台可靠、公理化、切開再拼回的同調群引擎。下一篇將把這台引擎開在一個 CW 複形上，以讀出貝蒂數與歐拉示性數，屆時同一套正合序列邏輯將化為一場有限、近乎機械的計算。