兩篇延拓之後，樂觀者的疑問
到現在，解析延拓感覺幾乎是貪婪的。你從圓盤裡的一個冪級數出發，發現它在重疊處與某函數一致，便在一塊新的補丁上把那函數重建起來——接著再一塊、再一塊，一路爬過整個平面。第一篇給了你那部引擎，以及讓每一步都別無選擇的延拓的唯一性；第二篇教你沿著一條路徑拖動一個函數元，並警告你繞一圈迴路可能會交還一個不同的分支。隨之而來的是一種自然的樂觀：想必只要夠有耐心，你幾乎能把任何東西延拓到任何地方。本篇正是這份樂觀撞上一道誠實的牆之處。
先回想一下，什麼「不會」讓延拓停下來。一個孤立的奇點——極點、分支點、本質奇點——從來都不是障礙；它是你繞著走的一顆小石子。若一個冪級數的收斂圓盤半徑是 1，只因為恰好有一個壞點坐在圓周上，你只需以偏到一旁的某點為心重新展開這個函數，就能得到一個在石子遠側戳出舊圓周的新圓盤，然後繼續前進。泰勒級數的半徑永遠只延伸到最近的奇點——它告訴你「這個」圓盤在哪裡結束，而不是函數在哪裡結束。
於是問題變得更尖銳。邊界圓上單一個奇點是可繞過的，任何有限的一小撮也是——它們之間總有清水，能讓你穿過一個新圓盤。但若奇點不是有限多個呢？若它們沿著整條邊界圓堆積得如此密集，以致無論你把新圓盤瞄向何方，它的弧立刻就撞上另一個壞點呢？那就沒有空隙可穿，沒有地方能在另一側落腳。這道密集而無間斷的奇點之牆，就是自然邊界，而跨越它不是困難，而是不可能。
親手築牆：間隙級數
空談「密集堆積的奇點」並不令人信服，直到你親眼見到一個，所以這裡是整個複分析中最乾淨的例子。考慮級數 f(z) = sum z^(2^n)，n = 0, 1, 2, ...——也就是 z + z^2 + z^4 + z^8 + z^16 + ...，其中只出現指數為二的冪次的那些項。這是一個間隙級數（lacunary，源自拉丁文 lacuna，意為間隙）：每一項與下一項之間都隔著一道被略過的冪次所形成的巨大間隙，而正是這道間隙築起了那道牆。
它的收斂半徑恰好是 1：當 |z| < 1 時，每一項 z^(2^n) 都極小，級數在單位圓盤內收斂到一個完美而漂亮的全純函數；而當 |z| > 1 時，諸項會炸開。所以 f 一開始是單位開圓盤上一個誠實的全純函數。整齣戲都發生在邊界，也就是單位圓 |z| = 1 上。這個論斷——你第一次聽到時會覺得太離譜——是說那個圓上的「每一個」點都是奇點，因此 f 在任何地方都無法越過它哪怕一毫米。單位圓就是 f 的自然邊界。
其機制是一段優美的記帳。看看當 z 沿著指向某個單位根的射線跑向邊界時 f 會怎樣。取 z = r 乘上某個 2^k 次單位根，並把 r 推向 1。對於每個不小於 k 的 n，角度 2^n 乘以那個根的角度是 2 pi 的整數倍，所以 e^(i 乘上該角度) = 1，於是那無窮多項就變成一個由正數 z^(2^n) 構成的實級數，當 r 趨近 1 時它一路奔向無窮。只有有限個前面的項保持有限。所以 f 沿著每一條這樣的射線都炸開。
f(z) = z + z^2 + z^4 + z^8 + z^16 + ... (powers 2^n)
converges and is holomorphic for |z| < 1
diverges for |z| > 1
At z = r * w, where w is any 2^k-th root of unity:
for n >= k: (z)^(2^n) = r^(2^n) * w^(2^n)
= r^(2^n) * 1 (angle is a multiple of 2 pi)
so the tail r^(2) + r^(4) + r^(8) + ... -> +infinity as r -> 1
The 2^k-th roots of unity, over ALL k, are DENSE on the circle
=> f blows up on a dense set => no point of |z|=1 is regular
=> the unit circle is a NATURAL BOUNDARY為何一個稠密的壞點集封死了每一道空隙
關鍵詞是稠密。把所有 k = 1, 2, 3, ... 的 2^k 次單位根收集起來，它們無間隙地撒滿整個圓：圓上任意兩點之間，無論多近，總有這樣一個根。既然 f 在它們每一個上都炸開，f 的奇點就構成單位圓的一個稠密子集。現在試著逃出去。要越過邊界往外延拓，你需要一段不含奇點的圓弧——能讓新圓盤漂過去的清水。但一個稠密集不留任何一段自由的弧，無論多短。你伸手去開的每一扇門，都早已被一個坐在門上的奇點釘死了。
拿第一節那個友善的例子來對照，才好體會其中的差別。函數 1/(1 - z) 的收斂半徑也是 1，也來自單位圓上的一個奇點——但只有「一個」，在 z = 1 處。圓的其餘部分都是淨空的，所以你在遠離 z = 1 的任何地方重新取心，新圓盤就能穿過淨空處越過圓周，函數便愉快地延拓到除了單點 z = 1 以外的整個平面。間隙函數 f 則在任何地方都沒有淨空處。這就是可移除的障礙與真正的邊界之間的全部區別：一個奇點，相對於一整群稠密的奇點。
如何嗅出自然邊界將至：那些間隙
選用 2^n 這些冪次是特殊的嗎，還是有某種普遍的道理在起作用？是普遍的道理。指數 1, 2, 4, 8, 16, ... 增長得如此之快，以致相鄰指數之間的「間隙」無界地增大——每個指數至少是前一個的兩倍。一條奠基性的結果（阿達瑪間隙定理，這個招牌名稱你日後會正式遇到）說：若一個半徑為 1 的冪級數，其非零項所在的指數之間隙至少以某個大於 1 的固定比率增長，那麼收斂圓周自動成為自然邊界。係數可以是任何東西；真正把函數鎖在圓盤內的，是冪次的「稀疏」，是存活的諸項之間的那份靜默。
有一種生動的方式可以體會間隙為何會這樣。一個漂亮的、可延拓的函數，展成冪級數後，其係數會以一種協調的方式「知道」邊界上有個奇點——它們合謀讓函數在某個特殊位置炸開，而在其他各處乖乖表現。間隙級數拒絕協調：由於成整塊的係數被迫為零，存活的諸項無法把任何一個邊界方向挑出來當作特殊的，於是它們對所有方向一視同仁——而「在每個方向都以同樣的方式奇異」正是自然邊界的定義。對稱性禁止了任何逃生口，因為圓上沒有任何一點被允許比它的鄰居更不奇異。
自然邊界真正的含義
退一步問問，關於一個具有自然邊界的函數，我們究竟學到了什麼。單位圓盤不只是我們碰巧最先定義 f 的地方——它就是 f 的整個宇宙，是 f 作為全純函數所能存在的最大定義域。外面並不存在一個更大的函數、把我們的 f 當作它的碎片。用前幾篇的語言來說，你窮盡一切可能的延拓所建構出的那個完整解析函數，就只是圓盤上的 f，僅此而已。延拓這個過程，跑到它的絕對極限，交還的正是你出發時的那個圓盤。
誠實地把這一點與唯一性定理並排放在一起，免得兩者看似衝突。唯一性說：「若」延拓越過某區域而存在，它就是被迫定的、唯一的——延拓的「方式」從來沒有選擇餘地。自然邊界說：有時延拓根本「不存在」——沒有任何地方可供延拓「過去」。兩者完全相容。唯一性講的是「不可能有歧義」；自然邊界講的是「不可能有延拓」。兩者都從未許諾你每個函數都能抵達整個平面；那是樂觀者的盼望，而本篇正是對它的修正。
這也重設了你對本階梯其餘地形的地圖。函數確實分成不同的種類。有些，像 1/(1 - z)，幾乎處處可延拓，只在你繞道而過的孤立點上受阻。有些，像接下來要登場的平方根與對數，處處可延拓，卻在繞一圈迴路後以「不同」的分支回來——這是第二篇單值性定理所掌管的多值情形，也是黎曼曲面將要馴服的情形。還有些，像我們的間隙級數，乾脆在一道牆前戛然而止，牆外再無生命。知道你手裡握的是哪一種——可繞過的障礙、多值的歧義，還是無法穿越的牆——便已是這門學問一半的功夫。