我們在階梯上的位置
你來到這裡時，已能流利地操作同倫。你認識了基本群 pi_1(X)，分類過覆疊空間，也知道一個 CW 複形是如何一個胞腔接一個胞腔黏起來的。同倫論強而有力，卻頑固地非交換、難以計算：一束圓的 pi_1 是自由群，而即便是 2-維球面的高階同倫群，也是一片著名的泥沼。同調正是你為奪回可計算性而做的交換。它刻意丟掉那些非交換的資訊，把「迴圈在同倫意義下的群」換成你能以整數上的線性代數釘死的阿貝爾群。這筆交易是誠實的：你失去某些精細度，換來一部真能轉動曲柄的機器。
開始前先誠實一句。這些是研究所層級的主題；我們假設你已熟稔點集拓撲、抽象代數（群、環，尤其是整數上的模），以及上一級的同倫概覽。同胚、同倫、CW 複形這類詞在此直接使用，不再重新推導。也請留意，貫穿代數拓撲並沒有單一被迫的次序：許多課程像我們這樣先講同倫再講同調，但同調也可以先建，且某種意義上更簡單。我們走「先同倫後同調」這條路，只是為了能對照兩者；下文沒有任何東西暗地裡依賴 pi_1。
標準單形與奇異單形
整套構造從每個維度裡一個剛性的模型形狀出發：標準 n-單形 Delta^n。Delta^0 是一個點，Delta^1 是一條線段，Delta^2 是一塊填滿的三角形，Delta^3 是一個實心四面體，而一般而言 Delta^n 是 R^(n+1) 中 n+1 個標準基底點 e_0, e_1, ..., e_n 的凸包。它自帶一個頂點的排序，而這個排序不是裝飾——它正是稍後讓我們得以附上符號的東西。空間 X 中的一個奇異 n-單形，則無非就是一個連續映射 sigma: Delta^n -> X。「奇異」二字是一張警告標籤：sigma 不必是單射、不必光滑，可以把三角形壓成一點，或把它折疊在自身上。我們容許每一個連續映射，而正是這份慷慨，使得奇異同調對任何拓撲空間皆有定義。
由這些映射，我們替它們建一個棲身之所。奇異 n-鏈群 C_n(X) 是所有奇異 n-單形所成集合上的自由阿貝爾群：一條鏈是像 3*sigma - 2*tau + sigma' 這樣的有限形式整數組合，其中每一被加項都是三角形映入 X 的連續映射，而整數則是記帳用的重數。別把這些係數過度詮釋；一條鏈不是 X 的子集，而是一筆形式的帳目登錄。我們之所以取整係數的形式和、而非單形的單純集合，是因為我們想要加減，並且想要負號——而負號接下來將擔起全部的活兒。
邊界算子，以及為何 d 接 d 為零
現在來看那個關鍵小裝置，邊界算子 d_n: C_n(X) -> C_(n-1)(X)。作用在單一單形 sigma 上時，它吐出 sigma 各面的交錯和。Delta^n 的第 i 個面，是刪去頂點 e_i 所得的 (n-1)-單形，而把 sigma 限制到該面，便給出一個奇異 (n-1)-單形，記作 sigma 與第 i 個面嵌入的合成。邊界就是把所有這些以交錯符號加起來：d sigma = 對 i 求和 (-1)^i 乘以（sigma 的第 i 個面）。對一條由點 a 到點 b 的邊 sigma: Delta^1 -> X，這讀作 d sigma = b - a，即終點減起點——恰是你會畫出的那個帶符號的邊界。這些交錯符號，正正是我們堅持保留的頂點排序所貢獻的。
一切都繫於一條恆等式：d_(n-1) 與 d_n 的合成是零映射，簡記為 d^2 = 0。具體而言，邊界的邊界恆為零。取一塊填滿的三角形 sigma: Delta^2 -> X，頂點為 0, 1, 2。它的邊界是三條邊 [1,2] - [0,2] + [0,1]，以這些符號遍歷，從而首尾相接地繞迴圈一圈。再施一次 d：每條邊以符號貢獻它的兩個端點，而當你把各項收攏，每個頂點恰好以相反符號出現兩次而抵消。其中道理是結構性的、非僥倖——先刪頂點 i 再刪頂點 j，與先刪 j 再刪 i 給出同一個子單形，而交錯符號的安排，正使兩種次序成對抵消。這單一的抵消，正是「邊界沒有邊界」這項幾何事實的代數陰影：圓盤的邊緣是一個圓，而圓沒有端點。
d sigma = sum_{i=0}^{n} (-1)^i ( sigma restricted to the i-th face )
edge [a,b] : d = b - a
triangle [0,1,2]: d = [1,2] - [0,2] + [0,1]
d^2 = 0 (boundary of a boundary is always zero)
... --d_3--> C_2(X) --d_2--> C_1(X) --d_1--> C_0(X) --> 0
with d_n o d_{n+1} = 0 at every stage圈、邊界與同調群
恆等式 d^2 = 0 把這些鏈群組織成一個鏈複形：一列阿貝爾群配上邊界映射，使得每個合成皆為零。單憑這個條件，我們便能在每個 C_n(X) 內命名兩個子群。一條圈是滿足 d z = 0 的鏈 z；n-圈群為 Z_n = ker d_n。一條邊界是形如 d w 的鏈，其中 w 為某 (n+1)-鏈；n-邊界群為 B_n = image d_(n+1)。因為 d^2 = 0，每條邊界都是圈——對 d w 再施 d 得零——所以 B_n 作為子群坐落在 Z_n 之內。d^2 = 0 的全部用意，正是保證這個包含關係，而正是它讓下一個定義合法。
第 n 個奇異同調群是商群 H_n(X) = Z_n / B_n：圈模掉邊界。這句口號值得背下——不是邊界的圈，偵測出孔洞。一條圈是個沒有自身邊緣的封閉物；它在同調裡變得平凡，恰當它是高一維某物的邊界、亦即可被填補之時。所以環面（圓環）中繞著孔的一條 1-圈是個道地的類，因為圓環內沒有東西填補它；而平面中圍出一塊圓盤的 1-圈在 H_1 裡為零，因為那塊圓盤把它填了。當兩條圈之差為邊界時，稱它們同調；H_n(X) 便是這些同調類所成的群。對一個道路連通的空間，H_0(X) 恆為整數 Z，因為 0-圈是點，而任兩點都經由其間的道路而同調——H_0 不過數著道路分支。
函子性：映射化為同態
這裡是把一個定義化為工具的那項特徵。一個連續映射 f: X -> Y 在鏈上誘導出一個同態：把奇異單形 sigma: Delta^n -> X 推前為 f 與 sigma 的合成 Delta^n -> Y。這個鏈映射 f_# 與邊界算子對易——f_# 作用於 d sigma 等於 d 作用於 f_# sigma，因為與 f 合成並不更動你取哪些面——而一個尊重 d 的鏈映射，自動把圈送到圈、把邊界送到邊界。因此它下降為同調上的一個同態 f_*: H_n(X) -> H_n(Y)。兩條乾淨的記帳事實免費奉送：恆等映射誘導恆等，且 (g 與 f 的合成)_* 等於 g_* 與 f_* 的合成。用範疇的語言說，H_n 是從拓撲空間到阿貝爾群的一個函子。這正正是同調之所以有用、而不僅僅是被定義出來的全部理由。
函子性正是讓同調以純然形式的壓力證出定理的東西。設想兩個空間的同調僅僅事後恰巧同構；然而因為 H_n 是函子，一個同胚 X -> Y 便逼出一個同構 H_n(X) -> H_n(Y)，所以同調是個道地的拓撲不變量——同調不同的空間不可能同胚。更妙的是，同調還是同倫不變量：同倫的映射誘導同一個同態，其深層理由在於，映射之間的一個同倫，會構造出它們鏈映射之間一個顯明的鏈同倫，這個代數小裝置一旦存在，便逼使 f_* = g_*。於是一個同倫等價在每個 H_n 上都給出同構。「無收縮定理」與布勞威爾不動點定理，便是這樣近乎機械地掉出來的：圓盤收縮到其邊界圓的收縮映射，會逼出恆等映射通過 H_1 的一個不可能的分解，而函子拒絕了它。
同一理論的兩副面孔，以及接下來是什麼
奇異同調美在極為一般——對任何空間皆有定義、顯然是函子、明擺著同倫不變——但要直接計算它卻無望：C_1(S^1) 已是不可數多個映射上的自由阿貝爾群。它計算上的孿生兄弟是單純同調，你把空間三角剖分成有限多個單形，於是鏈群變成有限秩，同調便字面上成了一個以整數矩陣作「核模像」的計算，正是你會親手做的那套史密斯標準形線性代數。藉細分證得的奇蹟在於：對任何可三角剖分的空間，這兩套理論一致——單純同調與奇異同調典範地同構。你既得奇異的概念整潔，又得單純的有限可計算，並可在兩者間自由切換。
讓我誠實地說明這篇指南建立了什麼、又沒建立什麼。我們構造了群 H_n(X)，驗證了 d^2 = 0，並概略地證了函子性與同倫不變性——但兩根真正困難的支柱仍欠著。我們並未完整證出同倫映射誘導相等的同態（那需要構造出鏈同倫的稜柱算子），也並未證出切除定理，那條真正使同調算得動的剪貼原理。兩者都是實打實的活兒，留待本級第二篇，屆時對的長正合序列、切除與邁耶-菲托里斯序列，會把這些定義化成你能在環面、克萊因瓶與各球面上實際運算的演算。請把以上內容當作承重的定義，而非完工的理論。
最後一個值得記住的連結，因為它預示了幾何階梯的其餘部分。「一列群、一個平方為零的微分、以及同調作為圈模邊界」這個模式，並非拓撲所獨有。你已見過它光滑的表親：配上外微分 d 的微分形式滿足 d^2 = 0，而它們的「圈模邊界」便是德拉姆上同調。德拉姆定理斷言，在實數上，這個上同調與此處所建奇異同調對偶的上同調一致。所以你方才認識的鏈複形是拓撲的骨架，而光滑形式替它添上血肉——同一套代數，兩副化身。順帶一提，H_n 的秩便是第 n 個貝蒂數，那個 n 維孔洞的整數計數，我們會在第三篇明確地把它讀出來。