我們要獵捕的是什麼，以及圓盤為何配得上
一個區域的自同構，是把那個區域映成自身、一對一且具有全純反函數的全純映射——在複分析眼中，它就是這個區域的一個對稱。對開單位圓盤 D = { |z| < 1 }，我們想要完整的名單：每一個全純雙射 f : D 到 D。本篇將徹底回答這個問題，而答案小巧、乾淨、又有點出人意料。轉動曲柄的主角，正是你在第 1 篇見過的施瓦茨引理。
首先，一個熱身來搞定簡單情形。施瓦茨引理說：若 f : D 到 D 全純且 f(0) = 0，則 |f(z)| 處處不超過 |z|，而且只要在一個內點達到等號，就逼出 f(z) = e^(i alpha) z，一個純旋轉。所以在固定圓心的自同構之中，除了旋轉別無他物。真正的工作，是當映射被允許把圓心移到別處時會發生什麼——而要處理這一點，我們需要一個能把任一選定內點滑回 0 的工具。
Blaschke 因子：圓盤的一把滑尺
固定圓盤內一點 a，|a| < 1。a 的 Blaschke 因子就是底下寫出的那個莫比烏斯變換。它的構造使得它把 a 送到 0、把 0 送到 a，而且——這就是奇妙之處——它把圓盤恰好映成自身，邊界圓對到邊界圓。所以每一個 Blaschke 因子本身就是 D 的一個自同構，一個把圓盤重新以選定點 a 為心的自同構。
a - z
phi_a(z) = ----------- ( |a| < 1 )
1 - a-bar z
phi_a(a) = 0 phi_a(0) = a phi_a( phi_a(z) ) = z
On the boundary |z| = 1 : |phi_a(z)| = 1 (circle stays a circle)邊界的論斷值得親手驗證一次，因為它正是這個因子留在圓盤內的全部理由。取 |z| = 1，於是 z z-bar = 1。那麼 |phi_a(z)| = |a - z| / |1 - a-bar z|。把分母改寫：|1 - a-bar z| = |z| |z-bar - a-bar| = |z-bar - a-bar| = |z - a|（最後一步是因為取共軛不改變模長，而 |z| = 1）。於是分子分母模長相等，|phi_a(z)| = 1。由最大模原理，一個邊界模長為 1 的全純映射會把內部送到內部，所以 phi_a 確實是 D 的自映射——又因為它是自身的反函數，故為雙射。
分類定理
現在來收割。每一個圓盤的自同構都具有 f(z) = e^(i alpha) phi_a(z) 的形式，其中 alpha 是某個實角、a 是 D 中某點——一把 Blaschke 滑尺再接上一個旋轉。等價地，差一個旋轉因子，f(z) = e^(i alpha) (a - z)/(1 - a-bar z)。因此整個圓盤自同構群只由 a 中的兩個實數加上一個角度來參數化：總共三個實參數。一份簡短而完整的戶口普查。
證明是一手漂亮的柔道，把一般情形摔到固定圓心的情形上。設 f 是任一自同構，令 a = f^(-1)(0) 為 f 送到原點的那個點。組成複合 g = f 接著 phi_a（回憶 phi_a 把 0 送到 a，f 再把 a 送到 0）。那麼 g 又是 D 的一個自同構，而現在 g(0) = 0。由施瓦茨引理的旋轉形式，g 必為純旋轉，g(z) = e^(i alpha) z。把複合拆回去，f = g 接著 phi_a^(-1) = g 接著 phi_a（它是自身的反函數），於是得 f(z) = e^(i alpha) phi_a(z)。完成。
- 給定一個自同構 f，找出落在圓心上的那個點 a = f^(-1)(0)。
- 與 Blaschke 因子 phi_a 複合，造出 g = f 接著 phi_a；驗證 g(0) = 0 且 g 仍是自同構。
- 對 g 套用施瓦茨引理的等號情形：固定圓心的自同構必為旋轉，g(z) = e^(i alpha) z。
- 把 phi_a 剝回去，還原出 f(z) = e^(i alpha) phi_a(z)——每個自同構都是 Blaschke 因子的一個旋轉。
為何施瓦茨引理強到足以辦成此事
停下來想想剛才發生了什麼，因為這正是整個階梯的寓意。我們用一條全部內容只是一個不等式加上一個決勝的等號情形的引理，就把一個無窮的映射群分類完了。那個不等式（|f(z)| 不超過 |z|）在這裡甚至從未以不等式的形式被用到；扛起所有重活的，是等號情形裡的剛性——「若你無法收縮，你就必須是個旋轉」。D 的一個雙射自映射無法真正收縮，因為那樣它的反函數就得擴張，而引理禁止擴張。於是 f 與 f^(-1) 都活在等號的邊界上，剛性便把它們釘得死死的。
這就是複分析一再帶來的震撼：一個看似弱到不行的假設（一個複導數，或一個模長界限），所釘住的東西遠超它在實變數中的表親所能企及。一個區間映成自身的光滑實雙射有多到離譜的形式；而圓盤的全純雙射全擠在一份三參數的名單上。全純性就是這麼剛硬。這與劉維爾定理和恆等定理背後是同一種剛性——局部的資料把整體的映射綁進緊身衣裡。
同一個群，穿著半平面的衣裳
圓盤不是這個故事唯一的舞台。上半平面 H = { Im z > 0 } 在共形意義下與圓盤是完全相同的區域，由凱萊變換 w = (z - i)/(z + i) 黏合在一起，它把 H 雙射地映成 D。對稱沿著這座橋通行：若你用凱萊變換對一個圓盤自同構作共軛，就得到一個半平面自同構，反之亦然。所以這兩個自同構群不只是相似——它們是同一個群，只是透過兩扇不同的窗子來看。
而在半平面這扇窗裡，這個群穿著一身有名的制服：半平面的自同構恰恰是實莫比烏斯映射 z mapsto (a z + b)/(c z + d)，其中 a、b、c、d 為實數且 ad - bc > 0。那就是通常寫作 PSL(2, R) 的群——同一個對象既掌管數論裡的模形式，也掌管雙曲曲面的動力學。我們僅憑一條「圓盤自映射」的引理就抵達了這個豐富的群。把這本對照詞典留在手邊：後續各篇會用這些映射來量距離，而你常會發現，看不動點落在圓盤或半平面哪一側比較順手，計算就在那一側更容易。