把那個商弄得貨真價實
第二篇留給你一句口號：閉與恰當之間的缺口是資訊。現在我們替這道缺口命名。固定一個光滑流形 M。閉的 k 形式（即 d omega = 0 者）構成一個向量空間 Z^k，也就是 d 在 k 次的核。恰當的 k 形式（即形如 d eta 者）構成一個子空間 B^k，也就是 d 從 k-1 次升上來的像。因為 d^2 = 0 保證每個恰當形式都閉，B^k 坐落在 Z^k 之內，於是這個商定義良好。第 k 個德拉姆上同調正是那個商：H^k(M) = Z^k / B^k =（閉 k 形式）/（恰當 k 形式）。
H^k(M) 的一個元素不是單一個形式，而是一個上同調類 [omega]：與 omega 僅相差一個恰當形式的那一整族閉形式。兩個閉形式 omega 與 omega' 若 omega - omega' = d eta，就稱為上同調的；它們是 H^k 中的同一個點。所以一個類確實是比形式更粗的對象——你可以任意加上任何你喜歡的 d eta，而你並沒有移動。這門學問的藝術，在於從同一個類裡挑出一個好積分、或好看的代表元（一旦你有了度規，就是調和的那個——但那是霍奇理論的故事，還在好幾篇之後）。
H^0 已經告訴你什麼：數連通分支
從最底層 k = 0 開始，這裡一切都能徒手算出。0 形式是光滑函數 f，而不存在 (-1) 形式，所以 B^0 = 0——零次裡沒有任何東西是恰當的。閉的 0 形式是那些 d f = 0 的函數，意思是梯度處處為零。在連通流形上，這迫使 f 為常數。所以連通的 M 之 H^0，正是常函數所成的那條線，一個一維空間 R。
現在去掉「連通」二字。若 M 有好幾塊，一個導數為零的函數可以在每一塊上取不同的常數——局部常數，而非整體常數。所以 H^0(M) = R^c，其中 c 是 M 的連通分支個數。最起頭的這個上同調群，正在做誠實的拓樸記帳：dim H^0 字面上數的就是塊數。這是整套哲學最乾淨的一個示範——一個分析的核（d f = 0 的解）回贈了一個拓樸的計數。
你看得見的孔洞：圓與環面
爬到 H^1，孔洞就現身了。在圓 S^1 上，角形式 d theta 是閉而不恰當的——正是第二、三篇的那個例子——而龐加萊引理救不了你，因為圓並非可縮。它的類 [d theta] 不為零，而且可證每個閉 1 形式都與它的某個倍數上同調：那個倍數恰好是 (1 / 2 pi) 乘上繞迴圈一圈的積分。所以 H^1(S^1) = R，一維，而這唯一的一維就是圓的那一個孔洞。又因圓是連通的，H^0(S^1) = R。
環面 T^2 才是你該真正放在腦中把玩的例子。把它想成帶有兩個角座標 theta 與 phi，各自繞著自己的圓跑。現在有兩個獨立的角形式 d theta 與 d phi，兩者都閉、都不恰當——它們纏繞著甜甜圈的兩個相異迴圈。所以 H^1(T^2) = R^2，這兩個生成元偵測出迴圈的兩種本質不同的方式。再往上一階，d theta ^ d phi 是一個閉的最高階形式，且不恰當（它在整個環面上的積分是面積，非零），給出 H^2(T^2) = R。完整的清點是 dim H^0 = 1、dim H^1 = 2、dim H^2 = 1。
manifold H^0 H^1 H^2 Betti numbers (b_0, b_1, b_2) -------------------------------------------------------------- point R 0 0 (1, 0, 0) circle S^1 R R - (1, 1) sphere S^2 R 0 R (1, 0, 1) torus T^2 R R^2 R (1, 2, 1) b_k = dim H^k(M) (the k-th Betti number) Euler char chi = sum_k (-1)^k b_k : S^2 -> 2, T^2 -> 0
貝蒂數與歐拉示性數
對一個合理的 M（譬如緊緻），每個 H^k(M) 結果都是有限維的，其維數就是第 k 個貝蒂數 b_k = dim H^k(M)。要記住的口號：b_0 數連通塊數，b_1 數獨立的一維迴圈，b_2 數獨立的二維空腔或被圍住的腔室，依此沿梯而上。球面 S^2 的 b = (1, 0, 1)：一塊、沒有縮不掉的迴圈、一個被圍住的空腔——它的表面圍出一個球形的洞。環面的 b = (1, 2, 1)。這些數正是「度量孔洞」一語的定量內容。
把貝蒂數打包成一個整數，某個熟悉的東西就掉了出來。交錯和 chi(M) = sum_k (-1)^k b_k 就是歐拉示性數，而對曲面而言，它恰好等於你在流形那一級從三角剖分算出的 V - E + F。對 S^2，chi = 1 - 0 + 1 = 2；對 T^2，chi = 1 - 2 + 1 = 0。分析的上同調維數重現了那個古老的組合計數，這是你第一份硬證據，證明德拉姆上同調雖由微積分築成，卻暗中看見了拓樸——而曲線曲面那一級的高斯-博內定理，把同一個 chi 繫上了總曲率。
為何這些孔洞是不變的，以及接下來
讓這些數值得信賴的，是它們不依賴於構造過程中的冗餘。因為 d 與拉回可交換，任何光滑映射都在上同調上誘導一個線性映射，而一個微分同胚誘導一個同構——所以微分同胚的流形有完全相同的德拉姆上同調。更強也更令人意外的是：上同調是一個同倫不變量。若兩個映射光滑同倫，它們在 H^k 上誘導相同的映射，於是一個光滑同倫等價迫出一個同構。這就是何以可縮空間有著與一點相同的上同調（龐加萊引理升級為整體陳述），也是何以 H^k 分不出 R^3 與一點。
我們所做的與所宣稱的之間有一道真實的缺口。我們是靠聰明的猜測算出 S^1、T^2、S^2 的——擺出形式，再論證它們生成——但這不可規模化。我們從未證明 H^k 一般而言有限維，也沒給出一個有系統的引擎。這兩道缺口下一篇都會補上。梅耶-菲托里斯序列正是那台歸納機器，它從兩塊較簡單的開集及其重疊算出一個空間的 H^k，把上面那種耐心的猜測變成一套真正的演算法。
而最深的承諾，正是那座橋本身。我們一直說這些分析不變量聞起來很拓樸；德拉姆定理證明它們確實如此，它斷言由光滑形式算出的 H^k(M)，與 M 取實係數的奇異上同調典範同構——後者是一個純粹的拓樸對象，對微積分一無所知。這個同構，經由把形式沿著鏈用斯托克斯定理（第三篇）積分而成，是整個本級的妙處所在。它正是何以一個關於流、場與積分的問題，竟能用數孔洞來回答。第五篇會謹慎地陳述它，並讓它運轉起來。