從一個係數界到處處掌控
到現在，你已經掙得了關於正規化類的兩個珍寶。第一篇搭好舞台：當一個函數 f 在單位圓盤上單葉（單射且全純），並正規化成 f(0) = 0、f'(0) = 1 時，它就屬於S 類，於是它的泰勒級數寫作 f(z) = z + a_2 z^2 + a_3 z^3 + ...。第二篇接著從面積定理裡擠出真實的汁液，給出著名的比貝爾巴赫界 |a_2| <= 2，以及它幾何上的影子——科貝四分之一定理：像 f(D) 永遠包含以原點為心、半徑 1/4 的圓盤。
那兩個結果講的是單一個數（第二係數）與單一個點（原點）。增長定理與扭曲定理，正是那份局部掌控擴散開來、覆蓋整個圓盤的時刻。它們回答關於任何 S 類中 f 的兩個非常物理的問題。其一：若我走到離圓心距離 r = |z| 的點 z，f(z) 離原點最遠能多遠、又必須留得多近？其二：映射在那裡能把長度拉伸或壓縮到什麼程度——導數 |f'(z)| 能多大、又能多小？兩種情形的答案都不是「看情況」；而是一對明確、最佳可能的不等式。
扭曲定理：導數可以拉伸到什麼程度
我們先陳述兩者中較銳利的那個，因為增長定理可以從它積分得出。扭曲定理說：對每一個 S 類的 f、每一個 |z| = r < 1 的 z，導數都被夾在兩面只依賴於 r 的牆之間：(1 - r) / (1 + r)^3 <= |f'(z)| <= (1 + r) / (1 - r)^3。慢慢讀。導數的模是一個拉伸因子——它告訴你 f 把 z 處一個小圓放大了多少。所以這定理保證：無論映射多巧妙，沒有任何 S 映射能在半徑 r 處把長度拉伸超過 (1 + r)/(1 - r)^3，也不能把它壓縮到低於 (1 - r)/(1 + r)^3。
for every f in S and every |z| = r < 1: growth: r / (1 + r)^2 <= |f(z)| <= r / (1 - r)^2 distortion: (1 - r)/(1 + r)^3 <= |f'(z)| <= (1 + r)/(1 - r)^3 as r -> 1 the upper walls blow up; the lower walls go to 0. the Koebe function K(z) = z / (1 - z)^2 hits every wall.
證明的引擎在這裡，而且它美妙地可重複使用。我們已經知道每個 S 類函數都有 |a_2| <= 2。竅門在於，這個界不只適用於 f 本身；它適用於一整族 f 的喬裝副本。固定圓盤裡的一點 z_0，先把 f 與那個把 z_0 滑到圓心的圓盤自同構做複合，再把結果重新正規化回 S 類。新函數仍在 S 類，所以它自己的第二係數也服從 |a_2| <= 2——但當你把那個第二係數用 f 在 z_0 處的量展開時，這不等式就化為一句關於 f'(z_0) 與 f''(z_0) 的陳述。一個關於對數導數的銳利界便掉了出來，把它積分就得到扭曲定理的牆。
增長定理：像能跑多遠
現在來積分。要求 |f(z)|，你可以沿著從 0 到 z 的直線半徑往外走，一路累積拉伸 |f'|。把扭曲定理的牆餵進那個積分，便乾淨地收攏，增長定理隨之落下：對每一個 S 類的 f，在 |z| = r 處有 r / (1 + r)^2 <= |f(z)| <= r / (1 - r)^2。下牆是更令人吃驚的那個。它說一個 S 映射絕不能把模為 r 的點塌縮得太靠近原點——它的像至少停在距離 r/(1 + r)^2 之外。又一次，是單射性禁止映射把圓盤往自己身上摺。
而四分之一定理在此免費地、作為一個極限重新現身。讓下界 r/(1 + r)^2 裡的 r 往 1 攀升。它在整個圓盤上可能取到的最小值，是 r -> 1 的極限，也就是 1/(1 + 1)^2 = 1/4。所以在最壞的情形下，像的每一點模都至少是 1/4——恰好是你上一篇遇到的科貝圓盤半徑。四分之一定理並不是一個獨立的奇蹟；它是增長定理下牆的邊界情形，在圓盤邊緣讀出來的那個值。
- 從扭曲定理的下界出發：沿著從 0 到 z 的半徑，|f'(t e^(i theta))| >= (1 - t)/(1 + t)^3，其中 t 從 0 跑到 r。
- 由於 |f(z)| 不小於那條半徑之像的長度、而後者又不小於 |f'| 沿線的積分，把下界從 t = 0 積到 t = r。
- (1 - t)/(1 + t)^3 從 0 到 r 的初等積分恰好是 r/(1 + r)^2——這就是增長定理的下牆。
- 令 r -> 1：這面牆趨於 1/4，於是每個邊界方向之像都停在至少 1/4 的距離外，重新得到科貝四分之一定理。
科貝函數抵住每一面牆
一個界的厲害程度，全看它有多銳利，所以自然的疑慮是：這些牆構得到嗎，還是寬鬆有餘？它們是完美緊的，而且單單一個函數就同時觸碰到所有的牆。科貝函數 K(z) = z / (1 - z)^2 是貫穿整道階梯、亦正亦邪的常客。它的泰勒展開是 z + 2 z^2 + 3 z^3 + 4 z^4 + ...，所以 a_2 = 2 恰好抵住比貝爾巴赫界，而一般地 a_n = n。它把圓盤單葉地映到去掉一條裂縫的整個平面上——那條裂縫是沿負實軸從 -1/4 出發向 -infinity 的射線——這正是為何它的像恰恰好差一點點就蓋不住 -1/4 這個點。
看它如何抵住那些牆。取 z = r 落在正實軸上，則 K(r) = r/(1 - r)^2，恰好是增長定理的上牆——所以 |f(z)| 的上界被達到。改取 z = -r，則 K(-r) = -r/(1 + r)^2，其模 r/(1 + r)^2 恰好是增長定理的下牆。微分得 K'(z) = (1 + z)/(1 - z)^3；在 z = r 處給出 (1 + r)/(1 - r)^3，即扭曲定理的上牆，在 z = -r 處給出 (1 - r)/(1 + r)^3，即下牆。本篇的每一條不等式，都被這同一個映射的旋轉以等號觸到。這就是「銳利」的意思。
為何重要，與道路接下來通往何方
退一步，感受一下我們手上之物的形狀。S 類是一個無窮維的映射空間，變化萬千——然而你一旦問起大小或拉伸，那所有的變化就全被圈進兩條普適曲線之間的一條窄帶裡，由科貝函數騎在邊緣上。這正是你在施瓦茨引理裡初嚐的同一味剛性，在那裡固定住原點便逼出 |f(z)| <= |z|。幾何函數論本質上是一門技藝：把一個正規化（這裡是 f(0) = 0、f'(0) = 1）轉換成全域、定量、最佳可能的掌控。
這裡也有實用的回報。增長定理的上牆 r/(1 - r)^2 給你一個即時、無須額外假設的先驗界，適用於任何圓盤的單葉映射——只要你把它重新正規化進 S 類；每當你用數值方法構造共形映射、並需要確信它們不會太快奔向無窮時，這就派上用場。下牆則保證映射不會退化。這些正是讓 S 類成為一個良性、封閉之族的緊性估計，而那正是這門學問各個存在定理底下的技術基石。
而科貝函數留給我們一條撩人的線索，預示接下來的內容。它的係數是 a_n = n，端端正正落在整數上，而它的第二係數恰恰停在比貝爾巴赫界 a_2 = 2。這個巧合並非偶然：它低聲說出整個領域裡最大膽的猜測——對每個 S 類的 f 都有 |a_n| <= n，且科貝函數是唯一的極值。那個猜測就是比貝爾巴赫猜想，它懸而未決達六十九年，正是下一篇的主題，德布朗熱定理與洛伊納鏈在那裡終於將它合攏。