邊界算子(boundary operator)
一個填滿的三角形的邊界是它由三條邊組成的邊緣;一條邊的邊界是它的兩個端點;一個實心四面體的邊界是它的四個三角形面。邊界算子 d 就是取每塊並回傳此邊緣的代數裝置——符號的選取使得邊緣的邊緣永遠是空無。最後這件事,邊緣的邊緣為空,正是整個理論的引擎。
在一個奇異或單純 n 單純形 [v_0, ..., v_n] 上,邊界是其各面的帶符號和 d[v_0, ..., v_n] = sum over i from 0 to n of (-1)^i [v_0, ..., v_i-hat, ..., v_n],其中第 i 項刪去頂點 v_i。線性延拓到鏈上使 d_n: C_n -> C_{n-1} 成為同態。交錯符號不是裝飾:它們恰恰是迫使關鍵恆等式 d_{n-1} 與 d_n 的合成 = 0 的東西。當你取兩次邊界時,每個餘維 2 的面在雙重和中恰好出現兩次,符號相反,因而抵消。所以 d 的平方永遠是零映射。
幾何上 d 平方 = 0 編碼了「邊界無邊界」的直覺:圓盤的邊緣是圓,而圓沒有端點。正是這使邊界(d 的像)落在閉鏈(d 的核)之內,並使同調商 H_n = ker d_n / im d_{n+1} 定義良好。因此邊界算子不只是若干成分之一——它是結構的心臟;選錯符號則 d 平方失效,一切崩潰。
當心其對偶夥伴:在上同調中,上邊界算子 delta 升高次數,delta: C^n -> C^{n+1},同樣滿足 delta 平方 = 0,但它往另一方向推。把邊界(降次數,同調)與上邊界(升次數,上同調)混淆是常見的疏失;符號規則本質相同但箭頭反轉。
取三角形 [a, b, c]。其邊界為 d[a,b,c] = [b,c] - [a,c] + [a,b]。再取其邊界:d([b,c] - [a,c] + [a,b]) = (c - b) - (c - a) + (b - a) = 0。所有端點兩兩抵消——d 平方 = 0 在單個三角形上化為可見。
在一個三角形上 d 平方 = 0:六個端點項兩兩抵消。
交錯符號是必要而非美觀的:去掉它們,d 平方便不再為零,於是定義同調的商不再有意義。流形的邊界(幾何概念)與邊界算子(代數概念)相關卻是不同的概念。