延拓一個函數：解析延拓

一個知道自己未來的函數

這裡有一個你早已半遇見過的小奇蹟。在實數的世界裡，定義在一小段區間上的函數，一旦離開那段區間就可以為所欲為——你能用無窮多種真正不同、卻全都仍然光滑的方式，把一個光滑的實函數延伸過它的邊緣。複數的世界完全不是這樣。哪怕只定義在一個小圓盤、或一小段弧上的全純函數，對於如何繼續延拓也幾乎毫無自由：到任何更大的連通區域，至多只有一個全純延拓。在真切的意義上，這個函數已經知道了自己的未來。這個現象就叫做解析延拓。

把它說具體。幾何級數 f(z) = sum z^n = 1 + z + z^2 + z^3 + ... 只在單位圓盤 |z| < 1 上收斂——在它之外，各項會爆掉，總和毫無意義。所以作為一個級數，f 只活在那個圓盤上。但你知道它在圓盤內部加起來等於什麼：1 / (1 - z)。而這條公式 g(z) = 1 / (1 - z)，除了單獨一點 z = 1 之外，處處完美地全純。g 在 f 有意義的整個圓盤上都與 f 相符，然而 g 卻定義在幾乎整個平面上。我們說 g 就是 f 的解析延拓：同一個函數，終於獲准佔據它本就理當擁有的全部空間。

為什麼延拓是唯一的

為什麼延拓只能有一個？引擎就是恆等定理，那是你從冪級數階梯一路扛上來的、最深刻的剛性結果。它說：若連通區域上的兩個全純函數，在一個於該區域內部具有極限點的集合上相符——哪怕只在一小段弧上、或在某處堆積起來的一列點上——那麼它們在整個區域上就處處相符。全純函數無法悄悄地在一小片上與另一個吻合、然後再剝離開來；只要在任何有份量的片區上吻合，就把它們永遠鎖在了一起。

於是唯一性一行就出來了。假設 g_1 與 g_2 都是 f 到同一連通區域上的全純延拓。兩者在最初那一小片上都等於 f——所以 g_1 與 g_2 在那裡相符，在一整個圓盤上相符，而圓盤當然有極限點。由恆等定理，它們必在整個連通區域上相符。容不下兩個不同的答案。這恰恰就是解析延拓的唯一性：把一個全純函數延拓到給定的連通區域，至多只有一種做法。

串接圓盤：延拓究竟如何移動

唯一性告訴我們延拓是被逼定的，卻沒告訴我們怎麼找到它。具體的機器是冪級數串接。回想冪級數階梯：全純函數在一個圓盤上等於它的泰勒級數 sum a_n (z - z_0)^n，而圓盤會一直長大，直到收斂半徑抵達最近的奇點。所以在第一個圓盤內部、但靠近邊緣處挑一個新中心 z_1，在那裡重新算出泰勒係數，你就得到繞著 z_1 的一個新圓盤。若函數在 z_1 附近健康，這第二個圓盤就可能戳出到第一個圓盤之外——而在重疊處，兩個級數會自動相符，因為它們在那裡都等於同一個函數。

從一個冪級數 sum a_n (z - z_0)^n 出發，它在自己的收斂圓盤 D_0 上成立，即函數最初的家。
在 D_0 內挑一個新中心 z_1，靠近邊界，但朝著健康的方向（遠離任何奇點）。
重新展開：在 z_1 處算出同一個函數的泰勒係數，得到新圓盤 D_1 上的一個新級數。
若 D_1 戳出到 D_0 之外，你就誠實地把函數延拓了——而在重疊處 D_0 ∩ D_1，兩個級數由恆等定理相符，所以延拓毫不含糊。
重複此舉，沿著一條路徑一個中心接一個中心地走，把圓盤縫到圓盤上，直到覆蓋了函數所容許的、盡可能大的一片平面。

把這套機器跑在我們的幾何級數上，以 z_0 = 0 為中心、圓盤為 |z| < 1。在 z_1 = -1/2 處重新置中：1/(1-z) 的新泰勒圓盤一路抵達 z = 1 處的奇點，所以它的半徑是距離 |1 - (-1/2)| = 3/2，溢出到原本 |z| < 1 之外老遠。每一次重新展開都只在真正的奇點 z = 1 處停下，從不在第一條級數碰巧斷氣的那個人造圓 |z| = 1 上停。如此一步步繞行，這條串接最終在整個平面去掉一點 1 上重建出 g(z) = 1/(1-z)——這正是唯一性早已保證、只要有延拓就必定存在的那個延拓。

什麼會被帶過去——以及一個警告

延拓還順帶捎來一份美麗的紅利：恆等式會在它之下存活下來。這就是函數關係的延續性。若一個全純函數在它最初的片區上滿足某條方程式——比方說指數函數遵守 e^(z+w) = e^z e^w，或某函數平方後得到 z——那條關係本身既是全純函數之間的一條方程式，便會憑著同樣的恆等定理論證，在你延拓到的任何地方都成立。實的指數函數、正弦、以及伽瑪函數，正是這樣被延拓到複平面、同時保住你所信賴的那套代數的。延拓出去的，不只是外頭某個函數；它是那個誠實的延拓，是尊重原函數所代表之一切的那一個。

  D_0 (around z_0=0)        D_1 (around z_1)        D_2 ...
  series in z          ->   series in (z - z_1) ->  ...
  |z| < 1                   reaches farther out      keeps going
     \______ agree on overlap (identity theorem) ______/
  the union of all reachable disks = the complete analytic function

延拓沿著一條路徑把彼此重疊的收斂圓盤縫接起來；恆等定理保證相鄰者在每個重疊處相符，而整片可達的聯集就是完全解析函數。

現在來看警告，而它正是這整個階梯的核心。唯一性是對一個固定的連通區域而保證的。但延拓是沿著一條路徑移動的，而通往同一目的地的不同路徑，可能以不同的方式繞著一個奇點旋轉。一旦如此，圓盤串接抵達同一個終點時，可能捎著一個不同的值——答案取決於走哪條路，而不只是終點。經典的肇事者是平方根與對數，它們的值是貨真價實地多值的：把平方根繞原點延拓一圈，它回來時竟成了自己的相反數。把所有這些路徑相依的片段、縫合成一個前後一致的物件，就是完全解析函數——只有在我們對「走了哪條路」誠實以對之後，它才是單值的。

這一階梯要去向何方

你現在握住了核心想法：全純函數是剛性的，所以到一個連通區域至多只有一種延拓方式，而圓盤串接就是執行延拓的具體工具。接下來四篇追逐它的後果。緊鄰的下一篇把路徑相依性精確化為沿路徑的延拓，並釘死「兩條路徑何時給出相同答案」——也就是單值性定理。接著我們追問延拓何時根本無法前進，撞上一道由密集到無一扇窗能穿過的奇點所築成的自然邊界。

然後是宏大的化解。迴路之所以能改變平方根或對數的值，是因為我們一直逼著一個多值的物件去住在平坦的平面上，而它根本不合身。黎曼給出的解藥是換掉舞台：造一個新的彎曲定義域，一張黎曼曲面，它恰好有足夠多的葉片，讓函數誠實地變回單值——繞原點走一圈，會把你降落在另一葉上，而不是回到出發點。最後兩篇會為平方根與對數明確地造出這些曲面，把本篇的每一個悖論都化作乾淨的幾何。眼下，只要握住驅動這一切的那一個想法：在局部，全純函數毫無自由；唯一的自由，在於那條路徑的整體形狀。