從一對一到有限的面積
上一篇指南裡，你認識了單位圓盤上單葉函數的類 S，它被正規化成 f(0) = 0 且 f'(0) = 1，泰勒級數為 f(z) = z + a_2 z^2 + a_3 z^3 + ...。整個學科都懸在一條看似簡單的約束上：f 是單射的，它絕不取同一個值兩次。幾何函數論的藝術，就在於把「一對一」這個詞，化成關於係數 a_n 的硬邦邦的數字。本篇指南做出第一個這樣的轉換，而撬動它的槓桿，是一件你早已完全信任的事——面積不可能是負的。
畫面是這樣的。一個單葉映射把圓盤送到某個沒有重疊的區域——這張像在任何地方都不會疊到自己身上，所以它有一個定義良好的面積，而當圓盤鋪滿時，這個面積是一個真實、有限的數。竅門在於，把這個面積化成沿係數的一個求和而顯現出來。為了乾淨地做到這點，我們不直接對 f 動手；反之，我們跨到圓盤之外，去看那個互補的區域，在那裡「沒有重疊」的幾何，會變成一條乾淨的不等式。那一段繞路，正是面積定理的核心。
面積定理
跨到圓盤之外。考慮這樣一類函數 Sigma：它們在單位圓盤的外部（區域 |z| > 1，含無窮遠點）上單葉，並在那裡被釘住，使得在無窮遠附近 g 看起來像帶尾巴的恆等映射：g(z) = z + b_0 + b_1/z + b_2/z^2 + ...。這不過是一條繞無窮遠的羅朗級數。因為 g 是一對一的，它的像會漏掉一個緊緻的「洞」E——也就是這個映射從平面中刻出的那個有界集。那個洞有某個面積，而面積至少是零。面積定理把這單獨一件事，化成對 b_n 的一條約束。
用格林定理計算那個洞的面積——沿圓 |z| = r 的像積分，再讓 r 縮向 1——會塌縮成一個極為簡潔的結果。被略去之集 E 的面積，等於 pi 乘上（1 減去 n |b_n|^2 沿 n = 1, 2, 3, ... 的求和）。既然這個面積不可能為負，括號裡的量便不可能為負，於是我們得到面積定理：n |b_n|^2 之和至多為 1。每一個係數，都被其他所有共享這一個單位重量的係數擠壓著——一份貨真價實的預算，全由「不重疊」這個幾何買單。
g(z) = z + b_0 + b_1/z + b_2/z^2 + ... (univalent on |z| > 1) Area of the omitted hole E = pi * ( 1 - sum over n>=1 of n |b_n|^2 ) >= 0 ==> sum over n>=1 of n |b_n|^2 <= 1 (the area theorem) In particular |b_1| <= 1 , with equality only when all other b_n = 0.
先讀出最廉價的推論：只取 n = 1 那一項，便得 |b_1| 至多為 1，而等號逼得其餘每一個 b_n 都消失。那個極端情形，是一個略去了盡可能最大之洞的映射——一整條線段，也就是單位重量下最舒展的形狀。把這個等號情形記在心裡；本階梯的整個風味就是：精確的界，總由某個特殊、被拉伸到極致的映射所達到，而我們正要去圓盤內部，見見它的表親。
跨回內部：界 |a_2| <= 2
面積定理活在圓盤之外，但類 S 活在圓盤之內。我們需要一座橋。這座橋，是一個巧妙的代數代換，把一個內部單葉的 f，變成一個外部單葉的 g，於是 g 係數上的預算，便化為 f 係數上的預算。標準的做法是平方根變換：由 f(z) = z + a_2 z^2 + ... 出發，取 f(z^2)/z^2 的平方根的一個單值分支，再求逆，造出一個新映射。它被精心構造，使得第一個外部係數 b_1 恰好等於 -a_2/2。
平方根憑什麼可以取？因為 f(z)/z = 1 + a_2 z + ... 在圓盤上絕不為零（f 只在原點為零，而那裡 z 把它約掉了），所以一旦你選定在原點取值為 1 的那個分支，它就有一個定義良好的全純平方根——沒有分支切割線橫越圓盤。這正是把多值性的提醒妥善處理的方式：我們並非對任意函數草率地開平方；我們檢查了函數不取零值，並刻意選定了分支。g 造好之後，面積定理的「|b_1| 至多為 1」便直接讀作「|a_2/2| 至多為 1」。
通分一下，你便得到比貝爾巴赫界：對 S 中的每一個 f，|a_2| 至多為 2。這是整個領域的奠基定理——一張無窮長係數界清單上的頭一位成員——而它直接從「面積非負」掉了出來，只是跨橋翻譯了一遍。等號 |a_2| = 2 逼得 b_1 的模為 1，而我們剛剛看到這逼得其餘每一個外部係數消失，這又把 f 釘死成恰恰一種形狀。那個形狀，正是下一節的主角。
克貝函數：那個極值形狀
來見見那個達到 |a_2| = 2 的函數：克貝函數 k(z) = z/(1 - z)^2。把幾何尾巴展開，它讀作 k(z) = z + 2 z^2 + 3 z^3 + 4 z^4 + ...，所以它的第 n 個係數恰好是 n。特別地 a_2 = 2——它不偏不倚地坐在比貝爾巴赫界上。克貝函數對本學科的意義，正如那個極值範例對後續每一篇指南的意義：一切「精確性」都拿它來衡量的那唯一一個映射。每當 S 中的某個係數界被取到極致，把它取緊的，就是克貝函數（或它的一個旋轉）。
它實際長什麼樣子？克貝函數把單位圓盤映成整個平面，只挖掉一道狹縫——也就是沿負實軸、從 -1/4 一路向外伸到無窮遠的那條射線。想像你抓住圓盤的邊界點 z = -1，把它永遠向外拉伸，同時把其餘部分釘住：得到的像就是整個平面減去那一道切口。這張像大得驚人，卻刻意拒絕沿負軸比 -1/4 這一點更靠近原點。那個數字 -1/4 並非巧合；它正是本篇指南的整個笑點所在。
四分之一定理
現在來看頭條。克貝四分之一定理說：對 S 中的每一個 f——不只是克貝函數——像 f(圓盤) 都包含以原點為心、半徑為 1/4 的整個開圓盤。無論這個單葉映射如何拉伸、扭轉、開縫，它的像都無法避開任何與 0 距離小於 1/4 的點。正規化條件 f'(0) = 1 定下了一個尺度，而一對一性禁止這張像在原點附近擠得太緊：它必須為一個保證半徑為 1/4 的圓盤騰出空間。
證明是一段華麗的小論證，全程都騎在我們剛掙到的那個界上。假設 f 略去了某個值 c——也就是 f(z) 在圓盤上絕不等於 c。那麼對 f 做一次默比烏斯調整，即映射 c f(z)/(c - f(z))，仍是正規化的，且依然單葉，所以它也屬於 S，於是它的第二個係數的模也以 2 為界。把這個新的第二係數寫明白，得到 a_2 + 1/c，而同時要求 |a_2| 至多 2 與 |a_2 + 1/c| 至多 2，便逼出 |1/c| 至多 4，也就是 |c| 至少 1/4。每一個被略去的值，與原點的距離都至少為 1/4——所以那個半徑 1/4 的圓盤永遠不會被略去。
- 假設 S 中的 f 略去了值 c（即 c 不在像中）。目標是證明 |c| >= 1/4。
- 構造 h(z) = c f(z) / (c - f(z))。由於 f 永不取 c，分母絕不為零，而單葉函數經默比烏斯映射後仍單葉；驗證 h(0) = 0 且 h'(0) = 1，故 h 屬於 S。
- 把 h 展開到二階：它的第二係數算出來是 a_2 + 1/c。對 f 與 h 兩者都用比貝爾巴赫界，得 |a_2| <= 2 與 |a_2 + 1/c| <= 2。
- 用三角不等式把兩個界相加：|1/c| = |(a_2 + 1/c) - a_2| <= 2 + 2 = 4，故 |c| >= 1/4。每個被略去的值，距離至少為 1/4。
而常數 1/4 是可能最好的，因為克貝函數確實略去了 -1/4 這一點（它狹縫的尖端），且不略去更近的任何點。所以這條定理是精確的：你無法把 1/4 改進成任何更大的數，因為 S 中有一個映射恰好坐在邊緣上。這就是整個本階梯一再出現的形態——一條對全 S 成立的乾淨普適界，加上孤零零站在邊界上的克貝函數，證明它無法再被收緊。也請留意施瓦茨引理在這一切中的位置：施瓦茨管控的是固定原點且留在圓盤內的映射，而這裡，單葉性加上固定的導數，管控的是這張像必須伸展多遠。兩者都是剛性陳述——一個約束，逼出必然的後果——而下一篇指南，會把這一條磨利成完整的增長與畸變定理。