對數的黎曼曲面

對數是最極端的多值函數：在每個非零 z 上它有無窮多個值，log z = ln|z| + i(arg z + 2 pi k)，對每個整數 k，彼此相差 2 pi i 的整數倍。它的黎曼曲面就是讓所有這些值單值地共存的幾何對象。圖像是一道無窮的螺旋坡道——像一座無盡的多層停車場，繞著 z = 0 的中央柱盤旋而上。每繞柱子一整圈帶你上到下一層，那裡 log 又增加了一個 2 pi i，而坡道永不繞回自身：有無窮多葉、每個整數一葉，疊成永無止境的螺線。

用黏接來建造它。為每個整數 k 取一份沿負實軸割開的平面；在第 k 葉上，對數是主值加 2 pi i k。現在把第 k 葉割縫的上緣黏到第 (k+1) 葉割縫的下緣，沿整數一路向上向下黏。結果是一道單一連通、沒有頂也沒有底的坡道，只在中央點 z = 0 相接，那是唯一的分支點——無窮階，因為你必須永遠盤旋才能耗盡各葉、而你永遠回不到出發的層。在這道坡道上，log 是一個完全普通的單值解析函數：繞中央軸走一圈把你移到下一層、使 log 恰好增加 2 pi i，各處都沒有跳變或含糊。

這個曲面生動地說明了為何主對數需要一條分支切割、以及為何 arg z 只定義到 2 pi 的倍數：選一個分支就是選停車場的「一」層、並拒絕走出它的邊緣，而分支切割就是你同意不跨越的那道割縫。從拓撲上看，對數的曲面很簡單——它就是那道螺旋坡道，是可收縮的（能被壓成一點），事實上它是去心平面的萬有覆蓋，是能從中讀出每個分支的最簡單的覆蓋空間。所以這個最狂野的多值初等函數，在幾何上卻擁有最乾淨的曲面之一。