圍道變形與繞數

從「積分為零」到「積分不會動」

上一篇指南留給你一把銳利的工具，卻帶著一個惱人的限制：柯西積分定理只在迴路沒有圍住壞點時才給出零。一旦有奇點被困在內部——想想原點周圍的 1/z，它頑固的值是 2 pi i——零這個答案就失效了。本篇把一切都救了回來。關鍵在於一個微小卻有力的觀點轉換：與其問積分是不是零，不如問當你移動圍道時，積分會不會改變。

以下是圍道變形的乾淨陳述。設 f 在某個區域裡處處全純，而你有兩條封閉圍道 C_1 與 C_2，它們能在停留於該區域內的情況下連續地互相滑動——過程中絕不掃過任何 f 不全純的點。那麼這兩個積分相等：C_1 上 f dz 的積分 = C_2 上 f dz 的積分。曲線的形狀不再要緊；要緊的只是它越過或沒越過哪些洞。

為何變形其實是柯西定理的化身

變形不變性不是一條新定理；它是舊定理換個角度去看的樣子。要看出兩條迴路 C_1 與 C_2 為何給出同一個積分，請建構一條單一的封閉路徑：沿 C_1 出發，經過一道細橋走到 C_2，以相反方向繞 C_2 一圈，再沿原橋返回。這條複合迴路沒有圍住任何奇點——壞點落在兩曲線之間的縫隙裡，在被掃過的區域之外——所以由柯西定理，它的總積分為零。

現在把各部分讀出來。沿細橋的兩趟行程在同一條路徑上方向相反，於是恰好抵消。剩下的是 C_1 上的積分加上反向的 C_2 上的積分。令總和為零，便得 C_1 上的積分 = C_2 上的積分。這就是整個證明——一道橋、一次抵消，加上一次運用你早已信賴的定理。同樣這幅圖，把一道切口換成兩道，就能處理中間被挖了一個洞的區域。

用符號寫，這條複合迴路是 C_1、向外的橋、反向走的 C_2、再走回的橋：一條沒有圍住奇點的單一封閉曲線，所以它的總積分為零。橋段相互抵消，剩下 C_1 上的積分減去 C_2 上的積分等於零——也就是說，兩個積分一致。值得細細品味這代價有多小：一條輔助曲線，加上你早已信賴的定理，變形便免費掉了出來。

同倫：「互相滑動」的精確說法

「連續地互相滑動」這句話值得一個真正的定義，那就是同倫。區域裡的兩條迴路若同倫，是指存在一族連續的迴路，以一個從 0 跑到 1 的時間參數 s 標記，起於第一條迴路、終於第二條，且全程停留在區域內。想像一段影片：第 0 格顯示 C_1，第 1 格顯示 C_2，而中間每一格都是一條避開所有洞的合法迴路。積分的同倫不變性說，這段影片的每一格都帶著同一個值。

這把前兩篇指南重述成了一句話。在單連通區域裡，每條迴路都與一點同倫——你能把它整個收縮掉——而一個常數點迴路的積分為零，所以每條迴路的積分都是零。這正是柯西定理。在多連通區域裡，環繞某個洞的迴路無法收縮成一點，因為洞擋住了去路；這樣的迴路落在不同的同倫類裡，其積分不必為零。決定一切的是區域的拓撲，而非曲線的代數。

繞數：數一數繞了幾圈

圍繞單一個洞的同倫類，由一個整數標記，那個整數就是繞數。封閉圍道 C 對一點 z_0 的繞數，計算 C 淨逆時針繞 z_0 多少圈——圓繞一圈給出 +1，繞兩圈給出 +2，同一個圓順時針走給出 -1，而從不環繞 z_0 的迴路給出 0。奇妙的是，這個純幾何的計數，由一個特定的積分算出。

n(C, z_0)  =  (1 / (2 pi i))  *  integral over C of  dz / (z - z_0)

   one CCW circle about z_0 :  n = +1
   k times CCW            :  n = +k
   one CW circle          :  n = -1
   z_0 outside the loop   :  n =  0

繞數是一個總是回傳整數的積分——淨逆時針繞圈的次數。

這個公式從何而來？它是 1/z 積分披著的偽裝。回想 1/(z - z_0) 有多值原函數 log(z - z_0)；當你逆時針繞 z_0 一圈，輻角增加 2 pi，而模長回到起點，於是積分每繞一圈恰好累積 2 pi i。除以 2 pi i，便剝出純粹的圈數。答案總是整數，這本身就是一樁小小的奇蹟：一個連續的積分，被拓撲逼著落在整數上。

把它們合起來：留數計數機器

變形與繞數合成一條完整的記帳規則。取任何一條迴路，以及一個除了少數幾個孤立壞點外處處全純的函數。在不越過那些點的前提下，把迴路變形成一束小圓，每個緊貼它所圍住的一個奇點。由變形，原積分等於這些小圓上積分的總和，而每個小圓的貢獻，是它的繞數乘上附在那個奇點上的一個數。那個附著的數，你很快就會學到，就是留數。

列出 f 的奇點，並確認圍道 C 不通過其中任何一個。
對每個奇點 z_k，計算繞數 n(C, z_k)——對一條簡單逆時針迴路內部的點通常就是 +1，外部的點則是 0。
在不碰到任何 z_k 的情況下，把 C 變形成各自分開的小圓，每個圍住一個被圈進的奇點；總積分保持不變。
把積分讀成 2 pi i 乘以「對所有奇點求和的 (繞數) x (該點的留數)」。這一行就是留數定理。

這便是留數定理的雛形，是下一階梯的引擎；你現在看得出，它無非是變形加上繞數推到底的結論。同一套機器運用到 f(z)/(z - z_0)，便坍縮成柯西積分公式；而更抽象的柯西定理的同調形式，不過是一次過陳述任意圍道的這套繞數記帳。一個誠實的想法——你能自由彎折圍道直到撞上一個洞，而整數負責數洞——已悄然成為複數積分的脊梁。