2.1 複變函數與極限#

本章導言#

複數有了平面上的家（第 1 章），接下來的問題是：兩個平面之間可以建立什麼樣的對應？ 複變函數 \(f: \mathbb{C} \to \mathbb{C}\) 表面上就是平面到平面的映射，但本章將揭示一個驚人的事實：加上一條看似溫和的條件——可微——函數的性質會發生質變，剛性強到「一個小區域上的值決定全部值」。本節先把舞台搭好：複極限、複連續與複導數的定義，並觀察「複可微」與「實可微」的鴻溝從何而來。

從實數到複數：一維到二維的語言升級#

複變函數 \(w = f(z)\) ， \(z = x + iy\) ， \(w = u(x,y) + iv(x,y)\) 。一個複函數等於兩個實二元函數 \((u,v)\) 。這個分解既是工具（可借用實多變數微積分），也是陷阱：並非任取兩個「好」的實函數都能拼出好複函數。例：

\(u, v\) 無窮光滑，但 \(f\) 將在第 (c) 問中看到處處不可微。複變數的結構深藏在「 \(z\) 與 \(\bar z\) 是兩個獨立變數」的觀察中（見本節末場景二）——這正是 2.2 節 Cauchy–Riemann 方程的伏筆。

複極限：平面上的接近#

定義： \(\displaystyle\lim_{z \to z_0} f(z) = w_0\) 意謂：對每個 \(\varepsilon > 0\) ，存在 \(\delta > 0\) ，使得凡 \(0 < |z - z_0| < \delta\) 就有 \(|f(z) - w_0| < \varepsilon\) 。

形式上與實極限的 \(\varepsilon\) – \(\delta\) 完全相同，內容上卻苛刻得多：實極限中 \(x \to a\) 只有兩條路（左右）；複極限中 \(z \to z_0\) 有無窮多條路徑——從任何方向、沿任何曲線接近， \(f(z)\) 都必須收斂到同一個 \(w_0\) 。因此：

• 路徑檢驗：若沿兩條路徑極限不同，則複極限不存在。
• 這是複變極限「不存在」的常用證明法；反過來，「存在」需要封住所有路徑，證明難度相應提高（通常借助 2.2 節的方程式結構）。

複連續與實情形平移： \(f\) 在 \(z_0\) 連續 \(\iff\) \(\lim_{z\to z_0} f(z) = f(z_0)\) 。緊集上的連續函數有界、達到極值——這些一般拓撲事實在複數平面（ \(=\mathbb{R}^2\) ）上原樣成立。

複導數：同一個定義，更高的門檻#

定義： \(f\) 在 \(z_0\) 複可微，若極限

存在。 \(h\) 是複數：它可以從任何方向趨於 0。這個「除以複數 \(h\) 」的除法，等價於要求差商在所有方向上收斂到同一複數——即： \(f\) 在 \(z_0\) 附近的行為近似於一個「旋轉 + 縮放」（乘以複數 \(f'(z_0)\) ）。這就是 6.1 節保角映射的種子。

例證鴻溝： \(\bar z\) 處處不可微#

沿實方向 \(h = t\) （ \(t \in \mathbb{R}\) ）：

沿虛方向 \(h = it\) ：

兩方向差商 \(1 \ne -1\) ，故 \(f'(z)\) 處處不存在。對照： \(f(z) = z\) 兩方向差商都是 1，處處可微。可見「可微」在複變世界裡是稀缺品， \(\bar z\) 、 \(|z|^2 = z\bar z\) 、 \(\operatorname{Re} z\) 這類自然函數全部出局。

重要澄清：複可微一點存在，與在一個開區域上處處可微，有天壤之別。後者稱為解析（analytic / holomorphic），是全書的主角。例如 \(f(z) = |z|^2\) 僅在 \(z=0\) 一點複可微（差商 \(= h\bar h / h = \bar h \to 0\) ），但在任何非空開集上都不是解析函數。解析性的「區域性」將在 3.2 節（Cauchy 定理需要閉曲線內部整片區域）發揮決定性作用。

指數函數：第一個全域解析函數#

定義 \(e^z = e^x(\cos y + i\sin y)\) （即第 1 章 Euler 公式的變元推廣）。性質：

• \(e^{z+w} = e^z e^w\) （指數律在複數上成立）；
• 週期性： \(e^{z + 2\pi i} = e^z\) ——純虛方向上的週期函數，這在實指數完全沒有對應物；
• 處處可微且 \((e^z)' = e^z\) （驗證留作練習，或見 2.2 節用 Cauchy–Riemann 方程一驗即得）。

\(e^z\) 的週期性立即產生後果： \(\log z\) 成為多值函數、 \(\sin z\) 與 \(\cos z\) 成為有 \(2\pi\) 複週期的整函數。複數使三角函數與指數函數合流（Euler 公式），也使「函數的定義域」問題複雜化（第 7 章）。

歷史背景：十九世紀的奠基者群像#

複變函數論的系統建立集中在 1814–1851 年，三大源流：

Cauchy 從實積分的力學計算問題出發（1814 年關於雙重積分的論文），逐步發現「複積分的路徑無關性」是核心；Riemann 1851 年的 Göttingen 博士論文《單複變函數一般理論之基礎》以幾何直觀與 Dirichlet 原理重建整個理論，並首創 Riemann 面；Weierstrass 則從冪級數出發，以「解析函數 = 可延拓的冪級數芽層」的純代數–分析觀點重鑄一切。三人三種哲學，同一座大廈——這是數學史上理論多元並存的罕見範例，詳見 4.1 與 7.1 節的展開。

先驅還應記住 d'Alembert：1752 年論流體阻力時已寫下 Cauchy–Riemann 方程（見 2.2 節），Euler 1777 年也系統使用過；但「方程 → 解析理論」的大廈是十九世紀才完工的。命名的滯後（方程掛 Cauchy–Riemann，不掛 d'Alembert）提醒我們：提出關係式與建立理論是兩種貢獻。

一個具體例題#

例題 2.1.1：設 \(f(z) = \dfrac{z^2}{z}\) （形式上），討論：(a) \(f\) 在 \(z \neq 0\) 處的解析性；(b) \(\displaystyle\lim_{z\to 0} f(z)\) 是否存在；(c) 若補定義 \(f(0) = 0\) ， \(f\) 在 0 處是否連續、是否可微。

解：

(a) 對 \(z \neq 0\) ， \(f(z) = \dfrac{z^2}{z} = z\) （除法合法）。恆等函數 \(z \mapsto z\) 處處可微（差商恆為 1），故 \(f\) 在 \(\mathbb{C}\setminus\{0\}\) 上解析且 \(f'(z) = 1\) 。

(b) 極限 \(\lim_{z\to0} \dfrac{z^2}{z} = \lim_{z\to0} z = 0\) 存在。注意：這裡「消去 \(z\) 」之所以合法，是因為極限過程中 \(z \ne 0\) ，除法有意義。複極限的本質是：把壞點挖掉後看周圍的行為。

(c) 補定義 \(f(0) = 0\) 後 \(f(z) \equiv z\) 處處成立，故 \(f\) 在 0 連續且可微， \(f'(0) = 1\) 。補值消去可去間斷是複分析中的常規操作，且比實分析更有效力：在複變世界，若 \(f\) 在 \(z_0\) 的鄰域（除 \(z_0\) ）有界，則 \(z_0\) 必為可去奇點（Riemann 的定理，4.3 節）——「有界就能補好」，這種剛性在實變數中完全沒有（實變數的 \(g(x) = \sin(1/x)\) 有界卻無法補成連續）。

歷史啟示#

• 定義的微小增強，後果天差地別：把「 \(h \to 0\) 沿實軸」改為「 \(h \to 0\) 沿所有方向」，可微函數從「遍地都是」變成「剛性晶體」。數學進步常繫於這類「方向數」的改變。
• 一點可微 ≠ 區域解析：概念的分層（可微／解析／整函數）是複分析的骨架，讀者必須從第一節就建立精確的層級意識。
• 三大進路的分工：Cauchy 給計算、Riemann 給幾何、Weierstrass 給邏輯；學習者應三線並進，缺一則殘。

與其他章節及領域的關聯#

• 2.2 節：Cauchy–Riemann 方程把「所有方向的可微性」翻譯成 \(u, v\) 的偏微分方程組——解析性的代數化。
• 3.1 節：複積分沿平面上曲線進行，極限語言是其嚴格基礎。
• 4.1 節：解析函數可展為冪級數——這是「一點可微 → 全域晶體」的第一個表現。
• 5.3 節：輻角原理需要「解析 + 無零點」的區域性假設，正是本節區域概念的運用。
• 實分析：本節是 \(\varepsilon\) – \(\delta\) 語言在 \(\mathbb{R}^2\) 的重演；微積分教材（如本系列《微積分》1.2 節）的極限嚴格化是必要前置。
• 偏微分方程：Cauchy–Riemann 方程是史上第一個一階橢圓型方程組；現代 PDE 的特徵線/橢圓分類以它為範例。
• 機器學習：複可微性的「方向剛性」與自動微分中「全微分 vs 偏導數」的區別同構——良好數學訓練的轉移價值。

練習#

1. 用路徑檢驗證明 \(\displaystyle\lim_{z\to0} \frac{\bar z^2}{z}\) 不存在。（提示：分別沿 \(z = t\) 與 \(z = it\) 。）
2. 證明 \(f(z) = z^3\) 處處可微且 \(f'(z) = 3z^2\) 。（用二項式展開估計 \(|(f(z+h)-f(z))/h - 3z^2| \le C|h|\) 。）
3. 驗證 \(e^z\) 的實虛分解 \(u = e^x\cos y\) 、 \(v = e^x\sin y\) 滿足 \(u_x = v_y\) 、 \(u_y = -v_x\) （這預告了 2.2 節的方程組），並由此得出 \((e^z)' = e^z\) 。
4. 設 \(f(z) = |z|\) 。證明 \(f\) 在 \(z = 0\) 連續但處處不可微；再證 \(g(z) = \operatorname{Re} z\) 處處不可微。
5. 思考題： \(f(z) = \bar z\) 滿足 \(u_x = 1, v_y = -1\) ，「幾乎」滿足 Cauchy–Riemann 卻差一個符號。說明為什麼「差一個符號」在複可微性中是「全有或全無」的差別。

進階研讀：極限與解析性的五個深化場景#

場景一：路徑依賴的無窮維版本。實極限的路徑只有左右，複極限的路徑是所有連續曲線。把「路徑」想成「接近方式的空間」，則複極限要求函數在所有接近方式上的一致行為——這正是一致收斂（4.1 節）思想的局部版。Weierstrass 的畢生工作（函數列的雙重極限何時可交換）可視為「路徑依賴」問題的系統化。

場景二： \(z\) 與 \(\bar z\) 的形式微積分。把 \(x = \frac{z+\bar z}{2}\) 、 \(y = \frac{z-\bar z}{2i}\) 代入，任何光滑 \(f = u+iv\) 可形式地寫成 \(f(z, \bar z)\) 。形式求導定義 \(\frac{\partial}{\partial z} = \frac12\left(\frac{\partial}{\partial x} - i\frac{\partial}{\partial y}\right)\) 、 \(\frac{\partial}{\partial \bar z} = \frac12\left(\frac{\partial}{\partial x} + i\frac{\partial}{\partial y}\right)\) ，則**複可微 \(\iff\) \(\frac{\partial f}{\partial \bar z} = 0\) **（在該點）。這個「反全純導數為零」的表述是現代多複變與 PDE 理論的標準語言； \(\bar z\) 不可微的謎底即 \(\frac{\partial \bar z}{\partial \bar z} = 1 \ne 0\) 。

場景三：緊性與極值原理的預告。複數平面的有界閉集是緊的，連續函數在其上達到最大模。這條平凡的拓撲事實，加上解析性的剛性，在 4.3 節將成為最大模原理（解析函數的模不能在內點達到極大，除非恆常）——從而催生 5.3 節的證明技術與 6.2 節映射定理的論證骨幹。「緊 + 解析」的組合是複分析論證的萬能螺絲。

場景四：賦距的選擇自由。複數平面上可以用歐氏距離，但 \(\mathbb{C}\) 與 \(\mathbb{R}^2\) 同構不唯一（可取任何線性座標）。然而解析性在座標旋轉與平移下不變（這正是「旋轉 + 縮放」近似的對稱性）：解析性不是座標的產物而是複數結構的產物。這種「結構不改變性質」的思維是現代數學（不變數理論、流形論）的核心；Riemann 1851 年論文正是以這種思維寫成的。

場景五：初等函數的複定義審查。 \(\sin z = \frac{e^{iz} - e^{-iz}}{2i}\) 、 \(\tan z = \frac{\sin z}{\cos z}\) 、 \(z^a = e^{a\log z}\) （多值！）。逐項檢查：(1) \(\sin z\) 、 \(\cos z\) 是整函數但不有界（ \(\sin iy = i\sinh y \to \infty\) ）——「實世界的大小直覺」全部失效；(2) \(\tan z\) 的極點在 \(z = \frac{\pi}{2} + k\pi\) （實數位置！）；(3) \(z^a\) 的多值性（7.3 節）。複變數把「熟悉的函數」變成「熟悉的陌生人」，複習每個初等函數的複行為是本章的實戰功課。

名詞速查表（本節出現的核心術語）#

• 複變函數： \(w = f(z) = u(x,y) + iv(x,y)\) ，平面到平面的映射。
• 複極限：對所有接近路徑一致收斂的 \(\varepsilon\) – \(\delta\) 極限。
• 複可微（在一點）：差商沿所有複方向收斂到同一值。
• 解析（holomorphic）：在開集上處處複可微；本書主角。
• 整函數（entire）：在整個 \(\mathbb{C}\) 上解析，如 \(e^z\) 、 \(z^n\) 、 \(\sin z\) 。
• 反全純導數： \(\partial f/\partial \bar z\) ，其在區域內恆零等價於解析。
• 可去奇點：有界即可補值修復的孤立壞點（Riemann 定理，4.3 節）。
• 路徑檢驗：用兩條路徑的不同極限否定複極限存在。

年表速查（本節涉及的關鍵年份）#

• 1752：d'Alembert 論流體，先寫下 Cauchy–Riemann 型方程。
• 1777：Euler 系統使用 \(u + iv\) 記法與相關方程。
• 1814：Cauchy 論雙重積分，複積分理論起點。
• 1825：Cauchy 複積分定理（第 3 章主角）。
• 1843：Cauchy 積分公式與級數展開的系統化。
• 1851：Riemann 博士論文《單複變函數一般理論之基礎》。
• 1867：Hankel 形式化複數的有序對構造。
• 1874–1886：Weierstrass 解析函數講義體系成形。

深化問答三則#

問：複可微與「兩個實偏導存在」差在哪裡？ 答：差在方向的一致性。 \(u, v\) 有偏導只保證沿水平、垂直方向的一階近似；複可微要求「旋轉 + 縮放」的一致近似，即全微分 \(df\) 必須是複線性的（ \(df(\lambda h) = \lambda df(h)\) ， \(\lambda \in \mathbb{C}\) ），而非僅實線性。複線性 = 實線性 + 交換性條件 = Cauchy–Riemann 方程（2.2 節）。「一個交換性條件」就是全部剛性的來源。

問：為什麼解析函數那麼「剛硬」，它與多項式像在哪裡？ 答：因為解析函數由任意小鄰域的值決定全域（解析延拓，7.1 節），正如多項式由有限個係數決定。這種「局部決定全域」來自可微性經 Cauchy 積分公式（3.3 節）轉化為「內部值由邊界積分表出」。實可微函數沒有這種轉化機制，所以實分析裡有「皺褶函數」（如處處連續處處不可微的 Weierstrass 函數），複分析裡沒有。

問：一點可微的函數有什麼用？ 答：幾乎沒有分析用途，但有對照價值： \(|z|^2\) 僅在原點可微，說明「可微點集」可以是非開的瘦集，從而凸顯「解析 = 開集上處處可微」這個定義的必要性。教學上，這類反例是防止概念滑坡（把「在 \(z_0\) 可微」說成「在 \(z_0\) 解析」）的最佳疫苗。

（本節完）