連續性與實部、虛部

把連續性說清楚

上一篇指南建立了複變函數的極限，並展示了它有多嚴苛——每一條趨近 z_0 的路都必須對同一個值 L 取得共識。連續性則是它平靜的續集。函數 f 在 z_0 處連續，當且僅當三件事同時成立：f 在那裡有定義、f(z) 在 z 趨近 z_0 時的極限存在，而且這個極限等於真正的函數值 f(z_0)。撇開術語，它說的不過是：當你悄悄逼近 z_0 時 f 想要的值，正是它在那裡真正擁有的值。沒有破洞、沒有跳躍、沒有意外。

在你一路帶著的雙平面圖像裡，這在幾何上既溫和又直觀。把輸入點 z 在 z 平面裡稍微挪動一點，輸出點 f(z) 在 w 平面裡也只移動一點點。連續映射絕不會把平面撕裂，也絕不會在接縫處把兩塊相距遙遠的部分焊在一起。你先前描繪過的平移、旋轉、平方與反演映射，在其定義之處全都連續——正是這份平滑，使得它們對漂亮區域的像呈現為漂亮、連通的形狀，而非被撕碎的紙花。

化身的兩個曲面

這裡就是賦予本篇標題、也撐起它大半價值的想法。把函數寫成 f = u + i v，將它拆成實值場 u(x, y) 與實值場 v(x, y)。那麼 f 在 z_0 = x_0 + i y_0 處連續，當且僅當 u 與 v 兩者在點 (x_0, y_0) 處皆以普通的雙變數意義連續。這就是 u 與 v 的連續性，而且它是一個等價關係——不是單行道。一個複數連續性，精確地就是兩個實連續性背靠背地站著。

f(z) = u(x, y) + i v(x, y)

f continuous at z_0   <=>   u continuous at (x_0, y_0)
                            AND
                            v continuous at (x_0, y_0)

(the link:  |f(z) - f(z_0)|^2 = (u - u_0)^2 + (v - v_0)^2)

複數連續性，不過是兩個實部的聯合連續性。

這個等價為何成立？因為 w 平面裡的距離是由 u 與 v 經畢氏定理組成的：|f(z) - f(z_0)|^2 = (u - u_0)^2 + (v - v_0)^2。若左邊很小，右邊兩項都不可能大，於是 u 與 v 都被釘在它們的目標值附近；反過來，若右邊兩項都很小，整個和也就很小。「小」可以雙向滲透。複數輸出的鄰近性，與每一個實座標的鄰近性，是同一件事。

借來整套工具箱

u 與 v 這座橋的回報，是你再也不必從零開始重新證明連續性。多變數微積分裡每一條連續性規則都原封不動地過渡過來：連續函數的和、差、積都連續；商在分母不為零之處連續；連續映射的合成也連續。常數與恆等映射 z 顯然連續，於是逐步搭建上去，每一個 z 的多項式都在整個平面上連續。

看它如何作用在你已熟悉的映射上。平方映射給出 u = x^2 - y^2 與 v = 2 x y；兩者都是 x、y 的多項式，因而處處連續，所以 z^2 在整個平面上連續。反演映射 1/z 是分母為 z 的商，於是除了 z = 0 之外處處連續，而那一點它甚至沒有定義——正是它唯一搆不到的點。就連那個惹麻煩、沒有複數導數的共軛映射 z-bar 也完美連續：它的部分是 u = x 與 v = -y，溫順得不能再溫順。連續性的寬容，正是可微性（你很快就會看到）所斷然不具備的。

當連續性給你更多回報：緊緻集與均勻性

連續性本身是一個局部的承諾——只關乎每一個單點附近發生的事。但把區域升級，連續性便開始一次跨越整個集合地發放紅利。在平面上的緊緻集上——具體地說，就是一個有界閉集，像一個含邊界的實心圓盤或實心矩形——連續函數自動有界，而且真的會在內部某處取到它最大與最小的模長。這就是緊緻集上的有界性，是你在閉區間上信賴的極值定理在平面上的孿生兄弟。

在同一個緊緻集上，連續性還以第二種方式變強：它變成均勻連續。普通連續性容許你所需的 δ 隨著從一點移到另一點而縮小；均勻連續性則承諾一個單一的 δ，無論 z_0 落在何處，都能在整個集合上一體適用。談論映射時你並不需要這層精緻化，但它日後是安靜的主力：正是它讓你能逼近沿曲線的積分、為交換極限的次序辯護，並信賴一個函數不會在有界的小塊上以任意快的速度抖動。

連續映射對曲線做了什麼

映射最生動地作用其上的物件，不是孤零零的點，而是一整條路。描述一條曲線的辦法，是讓一個實參數 t 跑過一個區間，寫成 z(t) = x(t) + i y(t)；當 t 一路掃過，點 z(t) 就在 z 平面裡描出一條路徑。把這條路徑推過一個連續的 f，你就在 w 平面裡得到一條新的路徑 w(t) = f(z(t))。連續性恰恰是這條像之路本身不會斷裂的保證——一條連通的曲線，絕不會被折成分離的碎片。正是這點讓你能畫出映射：餵給它一格網格線，看著像的網格平滑地彎折，而非碎裂。

在 z 平面裡挑一個測試形狀——例如水平線 y = 1，參數化為 z(t) = t + i，t 為實數。
套上映射並化簡成 w = u + i v：對 f(z) = z^2，得到 w = (t^2 - 1) + i (2 t)。
把像讀成一條曲線：此處 u = t^2 - 1 且 v = 2 t，消去 t 得到 u = (v/2)^2 - 1——一條側躺的拋物線。
因為 f 連續，這條拋物線是一段連通而不斷裂的弧——連續性正是讓你能一筆描完、無須提筆的依據。

不過要把連續性放在恰當的位置看。它是一個確實溫和的條件——強度與你在實數微積分裡認識的相同，只是作用在二維的輸入上。它還不會強迫任何神奇的事。複變分析聞名的那種剛性——一個導數就逼出無窮次可微與一個冪級數——住在上一階梯的複可微性裡，在那裡我們要求的不是 f 的極限，而是差商的極限，並堅持它沿每一個方向都一致。連續性搭好了舞台；真正的戲劇要到下一階梯才開演。