JOVANA
Explore Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

平面上的極限:為何方向至關重要

在實數線上,趨近一點只有左右兩條路;在平面上卻有無窮多條路徑。本文拆解複變函數極限存在的真正含意、為何所有趨近方向都必須一致,以及這如何悄悄為異常剛性的複數導數鋪好舞台。

從兩條路到無窮多條路

在實數線上,當你說「f(x) 在 x 趨近 a 時的極限」,其實只悄悄檢查了兩件事:函數從左邊想趨近的值,以及從右邊想趨近的值。兩者相符,極限就存在。一維世界的故事就這麼簡單。但一旦踏入複數平面,這個舒適的「兩側」圖像便瓦解了,因為現在一個點 z_0 可以沿著自東邊而來的直線、自南邊盤旋切入的曲線,甚至一條從不固定方向的鋸齒線來趨近。

因此複變函數的極限定義必須比實數版本更嚴格。我們說當 z 趨近 z_0 時 f(z) 趨向值 L,意思是:只要把 z 限制在 z_0 周圍夠小的圓盤內,就能強迫 f(z) 落入我們指定的、L 周圍任意小的圓盤裡。請留意這裡的幾何:「接近」是用來度量的,所以 |z - z_0| 很小與 |f(z) - L| 很小,講的是兩個平面中點與點之間的距離。這裡沒有左右之分,只有來自所有方向、同時成立的鄰近性。

每條路都必須通往同一處

理解這個定義最有用的圖像是:極限 L 存在,當且僅當不論你沿哪條路徑趨近 z_0,f 都把你帶到同一個目的地。這就是極限的方向無關性,也正是平面真正展露鋒芒之處。若沿實軸趨近得到一個答案、沿虛軸趨近得到另一個答案,那麼極限根本不存在,因為沒有一個 L 能讓所有路徑都認同。

最經典的警世例子是共軛映射 f(z) = z-bar,我們在 z_0 = 0 附近透過商 z-bar / z 來檢視它。沿實軸切入,此時 z = x 為實數,z-bar = x,商為 x / x = 1。再沿虛軸切入,此時 z = i y,z-bar = -i y,商為 (-i y)/(i y) = -1。兩條路、兩個不同的答案,所以這個商在 0 處沒有極限。這個小小的例子,正是 z-bar 在複數意義下無法可微的根源,而下一階梯將把這個主題講得更精確。

approach along real axis (z = x):    z-bar / z = x / x   = +1
approach along imag axis (z = i y):  z-bar / z = (-i y)/(i y) = -1
   1 != -1   =>   limit at 0 does NOT exist
兩個方向、兩個值:z-bar/z 在原點沒有極限。

把極限拆成實部與虛部兩半

這裡有一座通回你早已熟悉的微積分的友善橋樑。把函數寫成 f = u + i v,便把它拆成兩個雙變數的實值函數 u(x, y) 與 v(x, y)。結果是:f(z) 趨向 L = A + i B,恰恰等價於當點 (x, y) 趨近 (x_0, y_0) 時 u 趨向 A 且 v 趨向 B。一個複數極限,精確地就是兩個普通的雙變數極限疊在一起。

這確實令人安心,但要讀清楚附帶細則。雙變數的實數極限本身就是那種較難的極限,它早已要求沿著通過 (x_0, y_0) 的每一條路徑都一致——同樣那種對方向的挑剔,只是換上實座標的外衣罷了。所以拆成 u 與 v 並不會讓困難消失,只是把它搬到你多變數微積分已經備好應對的地盤。複數圖像與 (x, y) 圖像,是同一個要求的兩種視角。

理解同一想法的第二個把手,是透過平面上的數列:f 在 z_0 處有極限 L,當且僅當對每一個趨近 z_0 的數列 z_n(且 z_n 永不等於 z_0),都有 f(z_n) 趨向 L。數列觀點往往是否證極限最俐落的方式——找出兩個爬向 z_0 的數列,其像分別漂向不同的點,就大功告成了。

連續性:當極限恰好等於函數值

一旦掌握了極限,連續性就是輕鬆而意料之中的下一步。函數 f 在 z_0 處連續,是指 f(z) 在 z 趨近 z_0 時的極限存在且等於函數值 f(z_0)——沒有突兀的跳躍、沒有破洞、不依賴路徑。從幾何上看:把輸入點稍微挪動一點,目標平面中的輸出點也只移動一點點。你在前幾篇指南裡建立的映射圖像——平移、旋轉、平方映射、反演——在其定義域內處處都是連續的,這正是為何它們對區域的像會呈現平滑、連通的形狀。

而 u 加 i v 的橋樑也乾淨地延續過來:f 在 z_0 處連續,當且僅當兩個實場都連續。這就是 u 與 v 的連續性,它讓你能重用多變數微積分裡所有關於連續的事實——連續映射的和、積、商(在分母非零處)以及合成都是連續的。所以 z^2 在展開後是 x 與 y 的多項式,處處連續;而 1/z 則除了它甚至沒有定義的原點之外處處連續。

為何這一個概念投下如此長的陰影

這裡有個讓本篇值得細細品味的、安靜的回報。複數導數定義為差商 (f(z) - f(z_0)) / (z - z_0) 在 z 趨近 z_0 時的極限——而這個商,正是我們剛剛剖析過的 z-bar/z 那一類物件。導數要存在,這個比值就必須不論 z 從哪個方向進來,都趨向同一個數。複變分析的全部戲劇性,都藏在那一個詞裡:方向。

  1. 先選沿實軸的方向:差商必須趨向導數的值。
  2. 再選沿虛軸的方向:同一個商必須趨向同一個值。
  3. 強迫這兩個結果相等,就會掉出一組把 u 與 v 的偏導數綁在一起的約束——這便是柯西-黎曼方程的種子。

這就是為何方向無關性不是枯燥的技術細節,而是後續一切的引擎。僅僅要求沿兩個方向一致,就已釘死了一對方程;要求沿所有方向一致,則嚴苛到一個複數導數就能強迫函數無窮次可微、並等於它自身的冪級數——這種剛性在實數微積分裡毫無對應,那裡的函數可以只可微一次、之後再也不行。別讓任何人告訴你複數導數「不過是與實數版相同的極限」。它是把同一種極限,套用在一個遠為困難、徹底二維的問題上,而這正是全部關鍵所在。