從點到路
在這一階梯裡,我們一路看著複變函數作用於平面:一個區域在平移、旋轉、平方映射、反演下的像。但這一切描繪,其實都悄悄倚賴一個你只匆匆瞥見過的、更謙遜的物件——曲線。當你畫出 z^2 對單位圓做了什麼、或 1/z 如何彎折一格網格時,你真正追蹤的,是映射對一條畫在 z 平面裡的「路」做了什麼。曲線才是這門學問真正的畫布,而本階梯這最後一篇,就把它請上舞台中央。
平面上的一條曲線,是讓一個實參數 t 跑過一個區間 [a, b],寫成 z(t) = x(t) + i y(t)。當 t 從 a 掃到 b,點 z(t) 便在平面裡描出一條路——這就是一條參數化路徑。t 遞增的方向甚至替這條路賦予了走向,一種從起點 z(a) 行向終點 z(b) 的行進感。一個實數輸入、一個移動的複數輸出:曲線是最簡單的「以實變數為輸入的複值函數」,而正是這份簡單,使它成為最適合讓映射推過的物件。
映射對一條路做了什麼
接下來這一步,把映射觀點變成你真正畫得出來的東西。取輸入平面裡一條路徑 z(t),把它的每一個點都餵過一個連續函數 f。輸出平面裡便冒出一條全新的路徑 w(t) = f(z(t))。映射逐點把整條路搬運過去,而由於 f 連續,像的那條路絕不會撕裂——輸入曲線上相近的點,在輸出曲線上仍然相近。這正是你兩篇之前認識的連續性所帶來的回報,如今正做著看得見的工。
親手算一遍就記牢了。把單位圓 z(t) = e^(i t)(t 跑過 [0, 2 pi))送進平方映射。則 w(t) = (e^(i t))^2 = e^(i 2 t):當 t 繞行一圈,輻角 2t 便繞行兩圈,所以像是被走了「兩遍」的單位圓。你在第二篇抽象見過的「輻角加倍」行為,在這裡化成一條路上具體、可數的事實——映射把這個圓繞著原點整整纏繞了兩圈。
z(t) = e^(i t), t in [0, 2 pi) input: unit circle, once around f(z) = z^2 w(t) = f(z(t)) = (e^(i t))^2 = e^(i 2 t) as t: 0 -> 2 pi the angle 2t: 0 -> 4 pi => image is the unit circle traversed TWICE
兩條實座標的路,交織成一
整個階梯一路穩住我們的 f = u + i v 拆分,在這裡同樣穩住我們。路徑 w(t) = f(z(t)) 本身是複數,所以它拆成一個實座標 u(t) 與一個虛座標 v(t),各自都是實參數 t 的一個普通實值函數。於是畫出像曲線,不過就是隨 t 推進、把平面點 (u(t), v(t)) 描出來罷了——這正是你早先的微積分早已教你描繪過的那種參數曲線。
讓一個具體例子把整個階梯收束在一起。取輸入平面裡的垂直線 z(t) = 1 + i t,把它平方:w = (1 + i t)^2 = (1 - t^2) + i (2 t),於是 u = 1 - t^2、v = 2 t。用 t = v/2 消去 t,得 u = 1 - v^2/4——一條橫躺的拋物線。z 平面裡一條筆直的路,化成 w 平面裡一條彎曲的路,而你只動用 u 與 v 就能精確地叫出這條曲線的名字。這便是映射觀點、極限、連續性,以及 u 加 i v 那座橋樑,全在一幅圖裡兌現了出來。
把這當成你的反射動作。當一個映射讓你摸不著頭緒,別再盯著公式,餵它一條路。把一條簡單的測試曲線參數化——一條網格線、一條從原點射出的射線、一個圓——推過去,分成 u(t) 與 v(t),再消去 t。像曲線的形狀,往往一筆就比好幾頁代數更能告訴你這個映射的脾性,而且無論公式看起來多嚇人都管用。
我們將信賴哪些路、哪些區域
並非每條路都同樣乖巧,而前方的理論對它接納哪些路相當挑剔。一條「簡單」曲線絕不自我交叉;一條「封閉」曲線回到它的起點,所以 z(a) = z(b);一條「簡單封閉」曲線兩者兼備,畫出一個有著乾淨內外的單一迴圈。而要在曲線上做微積分,我們通常要求它「光滑」——由一些速度 z'(t) 存在、且絕不停滯為零的小段拼成。這些都不是迂腐的標籤;每個條件都在那裡,是因為日後某個定理將倚靠它。
曲線也讓我們能精確地談論「區域」,這正是為何本篇悄悄把第一篇裡那個含糊的「區域」一詞升級了。一個區域是單連通的,當它內部畫出的每一個封閉迴圈都能在不離開該區域的前提下連續地縮成一點——一個開圓盤合格,但一個圓心被戳了個洞的圓盤就不合格,因為繞著那個洞的迴圈會被它鉤住。請用雙手牢牢抓住這個區別:它正是那個將決定「繞封閉迴圈的積分」究竟等不等於零的關鍵假設。
前方的道路
標題就在這裡賺到了它的名分。你所建立的一切——映射、極限、連續性、u 加 i v 的拆分,以及如今的曲線——都匯聚到複分析其餘部分賴以構成的兩大主題上。第一個是導數。下一階梯要求差商 (f(z) - f(z_0))/(z - z_0) 在 z 沿「任何」一條路趨近 z_0 時的極限存在,並要求所有路都一致。這唯一的要求,就是複可微,而它比它的實數表親強悍得無從相比:一個複數導數,就逼得函數無窮次可微、並等於它自身的冪級數——這種剛性在實變數裡毫無對應。別讓任何人把它當成「和微積分裡相同的極限」賣給你。
第二個大主題,正是曲線一路悄悄替我們鋪墊的那個:積分。複分析不是在一個區間上積分,而是沿著一條路徑積分——一個圍道積分,非正式地寫成「z 沿路行進時所累積的 f(z) dz 之和」。這正是為何稍早被標記為「額外資訊」的路徑方向與走法,原來是承重的:把路反過來走,積分就變號。從這唯一的想法綻放出柯西理論——對單連通區域上一個乖巧的函數,繞任何封閉迴圈的積分都消失為零——再由此長出留數、頑固實積分的求值,以及這門學問的大半威力。