單葉函數與類別 S

多加一個詞：單射

等你爬到這一階梯，全純函數早已像個老朋友：在複數意義下可微一次，於是無窮可微，於是是個收斂冪級數，於是擁有前面各階梯所教的那一切剛性。幾何函數論對這樣的函數問一個更尖銳的問題。不只問它是不是全純的，而是問它是不是一對一的？一個定義域上的全純映射 f，若 f(z_1) = f(z_2) 必然逼出 z_1 = z_2，就稱為單葉的——舊名叫 schlicht，德文意為「平整」或「單純」。它從不把兩個相異的輸入點黏到同一個輸出上。一個單葉函數，恰好就是一個在其定義域上同時為單射的全純函數。

多了這一個詞，一切都變了，因為單射是個整體的要求，而全純性是由局部資料建起來的。冪級數只知道函數在某點附近的樣子；單射卻是對整個定義域一次性的承諾。平方，f(z) = z^2，要多全純有多全純，可是它在整個平面上並不單葉：它把 z 與 -z 送到同一個值，把平面對折成兩半。但把它限制到右半平面——在那裡 z 與 -z 不可能同時存在——在那個較小的定義域上，z^2 就成了單射。單葉性不是某條公式的性質；它是一條公式連同你把它放上去的那個定義域的性質。

為什麼選圓盤，又為什麼要標準化

這門研究的天然家園是單位圓盤 D = { |z| < 1 }，而且有個深刻的理由。由共形映射那一階梯，黎曼映射定理說，任何不是整個平面的單連通域，都是圓盤在某個單葉映射下的共形像。所以圓盤上的單葉函數並不是眾多例子中的一個——它們，在一次座標變換的意義下，就是所有單連通平面區域、以及圓盤如何被拉伸到它們上頭的全套目錄。搞懂 D 的單葉映射，就是搞懂世上每一幅共形圖景。（記得這條定理是非構造性的，而且明確把整個平面排除在外——平面沒有這樣的映射。）

但自由度太多了。若 f 在 D 上單葉，那麼對任意常數 a（非零）與 b，a f(z) + b 也單葉——把像平移、縮放，仍然是單射，給出的本質上是同一套幾何，只是挪了位置、改了尺寸。為了得到一套乾淨的理論，我們透過標準化把這份自由釘死。我們約定只研究 D 上滿足 f(0) = 0（圓心送到原點）以及 f'(0) = 1（映射以單位速度起步，在圓心處既不放大也不無窮小地縮小）的單葉函數 f。每個單葉的 f 都能藉由減去 f(0)、再除以 f'(0) 化成這個形式，所以我們並沒有失去任何真正的一般性——我們只是為每一種幾何形狀選了個標準代表。

Class S  =  { f holomorphic and univalent on D = {|z|<1} }
            with the two normalizations
                  f(0)  = 0
                  f'(0) = 1

so the Taylor series at 0 reads

     f(z) = z + a_2 z^2 + a_3 z^3 + a_4 z^4 + ...
            \_/   \____________ the interesting part ___________/
          forced by
          normalization

類別 S：標準化過的單位圓盤單葉映射，使其級數從 z + a_2 z^2 + ... 起頭。整門學問就是研究係數 a_2, a_3, a_4, ... 。

這個標準化過的家族就是著名的類別 S——S 取自 schlicht。因為 f(0) = 0，常數項為 0；因為 f'(0) = 1，一次項係數恰為 1，所以每個成員都有冪級數 f(z) = z + a_2 z^2 + a_3 z^3 + ... 。f 的幾何如今完全編碼在較高的係數 a_2, a_3, a_4, ... 之中。這一階梯的宏大綱領——而它確實是整門學問的脊樑——就是去發現：當函數被逼著保持單射時，那些係數被允許能有多大。單射是個強烈的約束；它理應在數字 a_n 上留下指紋。

類別中的主角：柯貝函數

每套好理論都有個把每道界限推到極致的極值例子，對類別 S 而言，那個例子就是柯貝函數。從簡單的幾何級數 1/(1 - z) = 1 + z + z^2 + ... 出發，建出 k(z) = z / (1 - z)^2。看出它級數的快速辦法：把 1/(1 - z) 求導得 1/(1 - z)^2 = sum n z^(n-1)，再乘上 z，你就落在 k(z) = sum n z^n = z + 2 z^2 + 3 z^3 + 4 z^4 + ... 。注意係數是 a_n = n：要多大有多大、又多麼整齊。柯貝函數在 S 之中，而它的係數恰好線性地成長。

它在幾何上做了什麼？柯貝函數把單位圓盤單葉地映到整個平面、僅挖去一條割縫——從 -1/4 沿著負實軸一直伸向負無窮的那條射線。所以它把圓盤拉伸到幾乎覆蓋整個平面，只饒過一道細細的割口，而像在那個缺失方向上最靠近原點的地方，就是 -1/4 這個點。記住 -1/4 這個數：它絕非偶然，下一篇的四分之一定理會證明，S 中沒有哪個函數能把原點的鄰域清出得比柯貝函數更乾淨。它是一切的邊界情形。

第一道真正的界限：|a_2| <= 2

讓我們真的逮住單射在留下指紋，就在第一個自由係數 a_2 上。由比伯巴赫得出的乾淨結果，就是界限 |a_2| <= 2：對類別 S 中的每個 f，第二個泰勒係數滿足 |a_2| <= 2，等號只在柯貝函數（及其旋轉）成立。柯貝級數從 z + 2 z^2 + ... 起頭，所以它的 a_2 恰好是 2——它不偏不倚地打中界限，正如上面那則提示所承諾的那樣。

從 S 中的 f 出發，作平方根變換 g(z) = sqrt( f(z^2) )。因為 f(0) = 0 是單零點，f(z^2) 在 0 處有個二重零點，所以平方根在 0 附近是單值且全純的——選取使 g'(0) = 1 的那一支。
驗證 g 是奇函數且依然單葉：g(z) = z + (a_2/2) z^3 + ... ，是 S 的一個成員，其級數只含奇次冪。f 的單射性透過這個構造傳遞給了 g。
對 1/g(1/w)——外圓盤的一個單射映射——套用面積定理（下一篇）。面積定理逼使這類映射的係數平方和至多為 1——這是一句『被圍出的面積不能為負』的陳述。
從那個和讀出最前面的係數不等式；它說的恰好就是 |a_2| <= 2。等號把其餘所有自由度都壓到零，把 f 釘定為柯貝函數。

別讓它的簡短騙了你——那條鏈是真正的邏輯骨架，而引擎室是面積定理，這也正是它成為第 2 篇主題的原因。值得帶往下走的寓意，是這個論證的形狀：一個整體的幾何事實（面積非負），透過一次巧妙的變換，被翻譯成對某個係數的一道堅硬的算術界限。單射確實留下了它的指紋，而那指紋寫著『至多是 2』。

前方的路：比伯巴赫猜想與同伴們

一旦你知道 |a_2| <= 2、又知道有著 a_n = n 的柯貝打中了它，那個顯而易見的賭注就令人難以抗拒：也許每個係數對 S 中的每個 f 都遵守 |a_n| <= n，而柯貝函數是唯一的極值。這就是 1916 年提出的比伯巴赫猜想。它是分析學中的偉大故事之一：陳述容易，證明卻艱難得殘酷，懸而未決了六十九年，a_3、a_4、a_5、a_6 各自都是在認真的單獨苦戰之後才被攻下。它終於在 1985 年由路易·德布朗日了結，而德布朗日定理——一舉證明對所有 n 都有 |a_n| <= n——正是第 4 篇的高潮。攻破它的工具，洛溫那把單葉映射穿越一族不斷長大的割縫域去演化的想法，是真正美麗的，我們會在那裡相遇。

在這裡與那座頂峰之間，這一階梯造訪了待在 S 中的種種日常後果。第 2 篇證明面積定理與四分之一定理（像永遠覆蓋圓盤 |w| < 1/4）。第 3 篇把 |a_2| <= 2 的界限化成帶有施瓦茨引理味道的成長與扭曲定理，它們把 |f(z)| 與 |f'(z)| 夾在僅依賴 |z| 的明確比值之間——又一次有柯貝坐在兩邊緣上。而第 5 篇則切割出最乖巧的子家族，即星形與凸的單葉函數，那裡單射性由像的一種看得見的幾何形狀來保證，連同施瓦茨導數——一個透過量度映射偏離默比烏斯變換多遠來偵測單葉性的小裝置。

往上爬時，口袋裡揣著兩條誠實的提醒。其一，這裡的一切都棲身於圓盤上，並假設那兩個標準化 f(0) = 0、f'(0) = 1；把它們剝掉，乾淨的數字 2、1/4、n 就溶解了，因為它們量的是相對於某個固定起點的偏離。其二，單葉性是整體而微妙的——切莫單憑導數不為零就推斷它，正如 e^z 的例子所警告的。把這些但書守得誠實，類別 S 便是整個分析學中最有回報的遊樂場之一，在那裡，單射這一個詞，綻放成一套尖銳而美麗的算術。