從界定映射到打造映射
這一階梯至今的一切都是條單行道：你交給我一個你已經知道屬於類別 S 的函數，我告訴你它做不到什麼——它的第二個係數不能超過 2，它的像必須覆蓋半徑 1/4 的圓盤，由德布朗日每個 |a_n| 都遵守 |a_n| <= n。很美，但請留意藏在每一句話裡的那個彆扭環節。它們全都以「設 f 為單葉」起頭。它們預設了那件事——單射——而那正是整門學問中最難真正去檢驗的性質。一個單葉函數是整體而微妙的；你無法靠目視從冪級數讀出單射。
最後這一篇藉由反方向走來把這個圈閉合。假設你手上只有一條公式，而你想要一張它單葉的證書——卻不必在無窮的定義域上親手去測 f(z_1) = f(z_2)。幾何函數論提供了兩種截然不同的證書。第一種是幾何的：若像是一個乖巧到一望即知不可能重疊的形狀——一顆你能一眼望穿的星，或一塊沒有凹陷的區域——那麼單射就隨之而來，而那形狀可由 f 上的一道不等式偵測。第二種是解析的，近乎魔法：施瓦茨導數，一個附在 f 上的數，它的小迫使單葉性當場成立。兩條路，都通往你整條階梯所追逐的那個詞：單射。
星形：沿著射線看見每個點
想像你站在像區域內部的原點上。若從那一個觀景點，你能沿著一條從不離開區域的直線望見區域裡其他每一個點——正像站在一顆星的核心、沿著每根尖芒向外望——這區域就是（相對於 0）星形的。形式上說，對像中每個 w，從 0 到 w 的整條線段都留在區域內。以 0 為心的圓盤是星形的；柯貝割縫像也是，因為唯一缺失的方向只是單獨一條射線，你沿著其他每個方向仍看得見。一彎新月則不是——它有一部分藏在缺口背後。
可愛之處在這裡：那個視覺條件有個精確的代數翻譯。一個星形函數是像相對於 0 為星形的 S 中的 f，而檢驗就是一道不等式，對圓盤中所有 z 皆有 Re( z f'(z) / f(z) ) > 0。直覺很直接。當你讓 z 沿著圓 |z| = r 逆時針行進，z f'/f 這個量量度的是從原點看去、像點 f(z) 的幅角轉得多快。要求它的實部保持為正，就是說那旋轉從不倒退——arg f(z) 穩穩攀升，從不回頭。從原點看去、其方向只會向前旋轉的點，正是你總能沿著一條毫無阻擋的射線抵達的點。幅角這種單調的纏繞就是星形性。
凸：沒有凹陷，以及更小的界限
把形狀再收緊一檔。一塊區域若不論你挑哪兩個內部的點——不只是原點與另一個點——連接它們的直線段都完整留在內部，這區域就是凸的。沒有凹陷、沒有缺口、沒有被咬掉的部分。圓盤、半平面、橢圓內部：凸。星或新月：不凸。一個凸單葉函數是像為凸集的 S 中的 f，而又一次有道乾淨的檢驗：對圓盤中所有 z 皆有 Re( 1 + z f''(z) / f'(z) ) > 0。1 + z f''/f' 這個量追蹤的是沿著像邊界的切線方向如何轉動；保持它的實部為正，就是說邊界始終朝同一方向彎、從不反轉它的曲折——這正是「沒有凹陷」的意思。
兩件整齊的事實讓這個家族顯得理所當然。其一，一條層級：每個凸映射都是星形，每個星形映射都是近凸的，而這三者都單葉。（凸要求每條弦都在內部；星形只要求從 0 出發的弦；所以凸是更強的要求，坐在頂端。）其二，亞歷山大定理把這兩道檢驗連成彼此的導數：f 為凸，當且僅當 z f'(z) 為星形。所以凸的世界不過是星形的世界求了導，一筆令人滿意的記帳，讓你能把一道正性條件換成另一道。
而這裡就是把這一篇繫回整條階梯的回報。因為凸映射受到如此沉重的約束，它們的係數遠小於一般類別所允許的：對凸的 f，每個 n 都有 |a_n| <= 1——而非 |a_n| <= n。極值是半平面映射 f(z) = z/(1 - z) = z + z^2 + z^3 + ... ，其係數全都恰為 1，把圓盤映到一個半平面。拿它跟有 a_n = n 的柯貝函數 z/(1 - z)^2 比一比，後者是無約束類別的極值。凸的界限 1 遠落在普適界限 n 之下——更剛性的幾何，以更尖銳的算術回報你。
把這三個類別並排放好，規律便清晰起來。凸映射通過 Re( 1 + z f''/f' ) > 0 並遵守 |a_n| <= 1，以半平面映射 z/(1 - z) 為極值。星形映射通過較寬鬆的 Re( z f'/f ) > 0 並遵守 |a_n| <= n，以柯貝割縫映射 z/(1 - z)^2 為極值。完整的類別 S 只知道單葉，並以同一個柯貝極值迎上同樣的 |a_n| <= n。凸蘊含星形、蘊含近凸、蘊含單葉這條層級，從頂端最緊的幾何與最小的界限，一路向下走到底端最寬、最寬容的類別——每往外走一步就鬆開形狀，並在能鬆的地方鬆開算術。
施瓦茨導數：離默比烏斯映射的距離
當像恰好是個漂亮形狀時，幾何檢驗很美妙，但大多數單葉映射既非星形亦非凸。要一張普適的證書，我們需要對那些平凡映射視而不見、只對真正的彎曲敏感的東西。那東西就是施瓦茨導數。回憶共形那一階梯，默比烏斯變換 (az + b)/(cz + d) 是可能最簡單而非平凡的全純映射——它保圓、保角，並由三點所決定。施瓦茨導數被設計成恰好無視這些映射：它正好在默比烏斯變換上消失，所以它量度的是 f 偏離默比烏斯有多遠。
Schwarzian derivative of f (where f' is nonzero):
Sf = (f''/f')' - (1/2) (f''/f')^2
= f'''/f' - (3/2) (f''/f')^2
key properties:
Sf = 0 exactly when f is Mobius, (a z + b)/(c z + d)
S(M of f) = Sf post-composing with any Mobius M leaves Sf unchanged第二條性質——在後接默比烏斯映射下的不變性，S(M of f) = Sf——才是深刻的那條。它說施瓦茨導數早已把默比烏斯這份自由商掉了，正是我們在第 1 篇藉由標準化 f(0) = 0、f'(0) = 1 所商掉的那份自由。所以施瓦茨導數只看見 f 中施瓦茨引理與標準化都無法立法消去的那一部分：那內在的、更高階的彎曲。這正是該偵測單葉性的那種量，因為單葉性在 f 之後接上一個單射的默比烏斯映射時，也同樣保持不變。
內哈里準則：一道不等式認證單射
現在來到讓施瓦茨導數不可或缺的關鍵句。內哈里準則說：若 f 在單位圓盤上全純，而它的施瓦茨導數保持得夠小——精確地說，對圓盤中每個 z 皆有 |Sf(z)| <= 2/(1 - |z|^2)^2——那麼 f 在整個圓盤上單葉。一道不等式，逐點檢驗，整體的單射就掉了出來，根本不必直接去跟 f(z_1) = f(z_2) 角力。那個權重 2/(1 - |z|^2)^2 並非隨意：它是圓盤上自然的雙曲量尺，正是「保持得小」具有默比烏斯不變意義的那把規。而常數 2 是緊的——你無法把它換成更大的數。
- 從你那在圓盤上 f' 從不為零的全純 f 出發，算出比值 f''/f'（它的對數導數）。
- 作出施瓦茨導數 Sf = (f''/f')' - (1/2)(f''/f')^2。由構造它抹掉 f 的任何默比烏斯部分，所以它只回報真正的彎曲。
- 在整個圓盤上檢驗那道單一的逐點不等式 |Sf(z)| <= 2/(1 - |z|^2)^2，拿你的施瓦茨導數去跟那個雙曲權重比較。
- 若它處處成立，便斷定 f 在圓盤上單葉——一張從局部檢驗掙得的整體證書，從不必親手去測單射。
為這一階梯收尾
退一步，看清整條階梯的形狀。你從分離出那一個多餘的詞「單射」開始——它把全純映射變成單葉的——並標準化到了類別 S。你看著單射留下它的指紋 |a_2| <= 2，那是透過面積定理證明的，你也見到了坐在每一道邊緣上的柯貝割縫映射。你看了四分之一定理、成長與扭曲定理，最後是比伯巴赫猜想 |a_n| <= n 那場六十九年的圍城，由德布朗日了結。那每一樣都是對已知單葉的映射所下的界限。
這一篇補上了缺失的那個方向：起初要如何認證單葉。幾何遞給你星形與凸的子類別，那裡一個看得見的形狀——一顆你一眼望穿的星、一塊沒有凹陷的區域——化成 f 上的一道正性檢驗，而更緊的形狀換來更小的係數界限（凸的 |a_n| <= 1，對上普適的 n）。解析遞給你施瓦茨導數與內哈里不等式，一把對默比烏斯視而不見的量尺，它的小當場迫出單射。兩者合起來回答了整條階梯默默預設的那個問題：不只是單葉函數能做什麼，而是我怎麼知道我手上有一個。
帶著那兩條讓這些工具保持鋒利的誠實但書往前走。幾何檢驗繫於一個中心與一個標準化：星形性永遠是「相對於 0」，而乾淨的數字 1、2、1/4、n 也只在圓盤上標準化過的類別 S 裡才有它們的意義。而那些證書只朝一個方向走：凸蘊含星形、星形蘊含近凸、近凸蘊含單葉，內哈里界限蘊含單葉——但這些箭頭一個都不反轉，所以一個單葉映射可能不屬於這些形狀中的任何一個，也可能通不過內哈里測試。它們是充分的證書，不是刻劃。把這守得誠實，你如今便掌握了這套理論的兩半：界定單葉映射的界限，以及打造它們的檢驗。