施瓦茨引理（Schwarz lemma）
/ shvarts /
想像你住在單位圓盤裡——也就是所有滿足 |z| < 1 的複數 z 所成的集合——而你只能用一個把你留在圓盤內、並把圓心 0 釘住不動的解析映射來搬動點。施瓦茨引理告訴你，你的自由比想像中少得多。你無法把任何一點推得比它原本離圓心更遠，你在圓心處也無法把東西拉伸。在固定原點的解析自映射之下，圓盤是剛性的：它抗拒從內部被擴張。
精確地說：設 f 在開單位圓盤上解析，對其中所有 z 都有 |f(z)| < 1，且 f(0) = 0。那麼對每個 z 都成立兩條不等式：|f(z)| <= |z|，以及在圓心處 |f'(0)| <= 1。更妙的是這些不等式以一種驚人的方式是緊的——若等號 |f(z_0)| = |z_0| 在 0 以外哪怕只有一個點 z_0 成立，或若 |f'(0)| = 1，則 f 必為一個精確的旋轉，f(z) = e^(i theta) z，其中 theta 是某固定角。證明是個乾淨的技巧：函數 g(z) = f(z)/z 在 0 處有可去奇點（因為 f(0) = 0），所以 g 在圓盤上解析；在圓 |z| = r < 1 上有 |g(z)| = |f(z)|/r < 1/r，令 r -> 1，最大模原理迫使 |g(z)| <= 1 處處成立，這正是 |f(z)| <= |z|。若 |g| 在內部達到 1，最大模原理便說 g 是模為 1 的常數——一個旋轉。
這條小引理是複分析中最強有力的剛性敘述之一。它是分類圓盤所有共形自同構的引擎，是施瓦茨-皮克引理與雙曲幾何背後的推手，也是無數唯一性與估界論證的核心。一個常見的驚訝：在實數線上，一個區間到自身、固定某點的光滑映射在該點附近幾乎可以為所欲為，但在複數世界裡，單單 f(0) = 0 加上「留在圓盤內」這個條件，就把整個映射壓制到 |f(z)| <= |z|。這就是解析性的魔法——一個複數約束會全域地傳播開來。
取圓盤上的 f(z) = z^2。它解析、把圓盤映入自身、且 f(0) = 0，故引理適用：確實 |z^2| = |z|^2 <= |z|（因為 |z| < 1），且 f'(0) = 0，遠低於 1。相對地，f(z) = e^(i theta) z 是邊界情形——它處處達到 |f(z)| = |z| 且 |f'(0)| = 1，且它是純粹的旋轉，正如等號條款所預言。
z^2 滿足嚴格不等式；旋轉 e^(i theta) z 則是剛性的等號情形。
兩條假設都不可或缺：去掉 f(0) = 0，界 |f(z)| <= |z| 便不成立（此時需要施瓦茨-皮克版本）。本引理特定地對單位圓盤與原點陳述；對其他中心，先與一個圓盤自同構複合即可。