領著一個函數元素沿路前行
在上一篇裡你認識了跨越重疊圓盤的解析延拓：一個在 z_0 附近收斂的冪級數，與第二個在鄰近點附近收斂的級數相符，而在它們圓盤重疊之處，由恆等定理它們必然一致。把一個中心與它的收斂級數配成的那一對，就是一個函數元素——一塊微小、完全自足的全純函數碎片，住在一個圓盤上。現在我們讓這個元素動起來。挑一條路徑，一條從起點 a 到終點 b 的連續道路 gamma(t)，試著把這個元素沿著它一路搬運過去。
機制就在這裡，而且美妙地具體。用一串重疊的圓盤 D_0, D_1, ..., D_n 蓋住這條路：D_0 以 a 為心，承載你的起始元素，D_n 以 b 為心，而每相鄰一對都在道路經過的一塊區域裡重疊。在 D_0 上你有一個級數。把它在落於 D_1 內的重疊處某點重新展開——這就給出一個新級數，即 D_1 上的元素。再展進 D_2，如此繼續，一次推進一個圓盤地把元素往前送，直到你抵達 b。這種一個圓盤接一個圓盤的接力，正是我們所說的 沿路徑延拓。
a = c_0 --- c_1 --- c_2 --- ... --- c_n = b (centers along the road)
( D_0 )
( D_1 )
( D_2 ) ... overlapping disks
... ( D_n )
element on D_0 -> re-expand in overlap -> element on D_1 -> ... -> element on D_n
The FINAL element on D_n is "the continuation of f along gamma".路徑舉足輕重：兩條路，兩個答案
現在來看給整個主題帶來戲劇性的那個驚奇。你最終得到的延拓，不只取決於你從哪裡出發、在哪裡停下，還取決於 你走了哪條路。把同一個起始元素沿一條路從 a 搬到 b，你可能落在某個函數元素上；沿另一條路搬到同一個 b，你卻可能落在一個確實不同的元素上。城鎮是同一座；你交付的訪客卻不是同一個。這不是方法的瑕疵——而是方法忠實地報告了關於該函數的某種真實之事。
最乾淨的例子是對數。從 z = 1 附近出發，那裡取元素 log z = 0，展開主分支。現在把那個元素逆時針繞原點一圈，沿一個回到 z = 1 的迴圈搬運。每一步你都誠實地重新展開，而 arg z 的值在每個圓盤上都悄悄往上爬一點。等到道路在 z = 1 處閉合回來，幅角已累積了整整 2 pi，於是你帶著抵達的元素讀作 log 1 = 2 pi i，而不是 0。你走了一個閉合迴圈，回到了家，卻帶著一個 不同的函數 回家。這正是 繞迴圈所得的分支 的頭條含義。
為何在這裡迴圈改變了答案，而對於比方說函數 1/z——你可以繞原點延拓它並原封不動地復原它——卻不會？因為 log z 在繞 0 的去心圓盤上沒有單值的全純延拓——它本質上是多值的，而繞行它在原點的分支點，會把你從它的值的一個葉片移到下一個葉片。這種路徑相依性，是函數透過接力告訴你：原點是特殊的。延拓從不說謊；它只是記錄了奇點所在之處的拓撲。
什麼保持不變：小幅扭動無關緊要
在答案能以任何有意義的方式依賴於路徑之前，我們得先知道它不依賴於微小、無關的細節——你究竟怎麼選圓盤、把路切得多細。而它確實不依賴。蓋住 同一條 路徑的兩串不同圓盤，會在 b 處產生 同一個 最終元素。證明純粹是延拓的唯一性：凡是兩場接力都各有元素之處，那些元素在重疊上一致，恆等定理便把它們釘死在一起。所以沿一條固定路徑的延拓是良好定義的；唯一能改變結果的，是改變路徑本身。
還更強：你可以連續地形變路徑，而答案保持不動——只要你絕不把它拖過一個延拓失效之處。若你以一個微小、連續的推擠把 gamma 滑到鄰近的路徑 gamma'，保持兩端點固定、並讓道路待在處處都能延拓的區域之內，那麼 b 處的最終元素就不會改變。這與你為圍道積分認識過的同倫不變性是同一種精神：穿過良好地帶的連續形變不會動到結果。鬆動一條路；什麼也不會壞。唯有當你被迫掃過一個禁止之點時，那個值才有機會跳變。
單值性定理
現在我們可以陳述那個把整幅圖像組織起來的結果。單值性定理說：若一個函數元素能沿區域內 每一條 路徑延拓，而該區域是單連通的（它沒有洞——其中每個迴圈都能收縮成一點），那麼延拓便在整個區域上給出一個單一、良好定義的全純函數。無論你走哪條路到某一點，你都抵達同一個值。多值性根本無法出現。「monodromy」一詞源自希臘文，意為「繞一圈」；這定理恰恰是說：在無洞區域裡繞一個迴圈，會讓你原封不動地回到原處。
- 確認該元素能沿區域內每一條路徑延拓——在任何道路上的任何一點，半徑都不會縮為零、也沒有奇點擋路。
- 確認該區域是單連通的：其中每個閉合迴圈都能在不離開區域的情況下連續收縮成一點（沒有穿孔、沒有洞）。
- 取任一迴圈。由同倫不變性，它能收縮成一點，而繞一個極小迴圈延拓什麼也不改變——所以繞整個迴圈延拓同樣什麼也不改變。
- 由此斷定：每一點的值都與抵達它所用的路徑無關，所以延拓拼接成整個區域上一個單值的全純函數。
帶著這個結論回頭看對數，謎團便消散了。挖去原點的平面 不是 單連通的——繞 0 的那個迴圈，不穿過穿孔就無法收縮成一點。那個唯一的洞，正是單值性定理在別處處處堵住的漏洞，也正是 log z 逃向新分支之處。沿一條從原點出發的射線把平面割開，你就禁止了那個環繞的迴圈；被割開的區域變成單連通，單值性定理適用，於是主對數在那裡誠實地變成單值的。
葉片，與一個更好定義域的承諾
退一步，看看這種路徑相依性真正在告訴我們什麼。每當你把對數繞原點一圈，你得到的不是胡言亂語——而是 下一個 完美良好的分支，arg 又移了 2 pi。再繞一圈，又是 2 pi。往另一個方向繞，減去 2 pi。這些分支整整齊齊地疊成一座塔，每一片都是一張單值的葉片，而迴圈則是一部在樓層之間移動你的電梯。把這些元素 全部 收集在一起——你能憑每一條路徑抵達的每一個分支——便組裝成所謂的完全解析函數：這函數以其完整、多值的全貌出現，同時持有它所有的葉片。
這正是通往本階梯其餘部分的門扉。若一張平坦的平面太小，容不下一個單值的對數——因為一個迴圈就把你送到了不同的樓層——那麼也許誠實的定義域根本不是平面，而是一個由把那些樓層疊起來、並在迴圈交叉處把它們連接起來所造出的曲面。在那個更大的曲面上，電梯變成一道尋常的樓梯，每一個值都坐落在恰好一個地址，而函數又重新變成單值的。建造那個曲面，並看著平方根與對數終於在其上被馴服，正是後面那幾篇黎曼曲面導引要做的事。
再帶一個誠實的提醒往前走。單值性定理要求元素能沿區域內 每一條 路徑延拓——這個前提實實在在地在出力，不能省去。若一個本來單連通的區域裡哪怕只潛伏著一個障礙（一個延拓乾脆失效的點），結論就可能崩塌。而且有些函數，無論走哪條路徑，都根本無法越過某條曲線繼續延拓：它們的定義域以一堵牆告終。那個現象，自然邊界，正是下一篇接手之處，它要問的是：當延拓不只是改變了答案、而是徹底停住時，會發生什麼。