施瓦茨-皮克引理與雙曲度量

只在中心管用的那條引理

本階梯第一篇交給你施瓦茨引理：若 f 是把單位圓盤映入自身的全純映射，且 f(0) = 0，則處處有 |f(z)| <= |z|，且 |f'(0)| <= 1。從幾乎沒有假設裡擠出這麼驚人的控制——但仔細看，你會發現一根拐杖。一切都釘在 0 這單一點上。結論拿 |f(z)| 與 |z| 相比，而 |z| 正是從 0 算起的歐氏距離；導數的界也是在 0 取的。把舞台挪到別處，引理就啞了。

那個正規化 f(0) = 0 一直像是一種方便，而不是自然律——它確實如此。修法恰恰是你在第二篇花功夫搭起來的那一族映射：圓盤自同構，圓盤到自身的全純雙射。回想它們的樣子——每一個都是一個布拉施克因子披上一個旋轉，對圓盤內一點 a 而言 phi_a(z) = (a - z)/(1 - a-bar z)，或許再合成一個旋轉 z -> e^(i theta) z。眼下我們只需要一條性質：phi_a 交換 a 與 0，即 phi_a(a) = 0 且 phi_a(0) = a。

把中心滑到你需要的地方

整個想法一口氣說完。取任一個從圓盤到圓盤的全純 f，在裡頭挑兩點 z_1 與 z_2。設 w_1 = f(z_1)、w_2 = f(z_2)。造一個新映射 g：前面合成那個把 z_1 拖到 0 的自同構，後面合成那個把 0 拖回 w_1 的自同構。於是 g 把 0 送到 0，它仍是圓盤的全純自映射，所以樸素的施瓦茨引理可以毫不客氣地套到 g 身上。

令 phi_(z_1) 是滿足 phi_(z_1)(z_1) = 0 的自同構，phi_(w_1) 是滿足 phi_(w_1)(w_1) = 0 的自同構。
造 g = phi_(w_1) o f o (phi_(z_1))-inverse。每一塊都是圓盤的全純自映射，所以 g 也是。
驗證 g(0) = 0：把 0 餵進 (phi_(z_1))-inverse 得 z_1，再經 f 得 w_1，再經 phi_(w_1) 把 w_1 送回 0。
對 g 套用樸素的施瓦茨引理，再把自同構解開回到 f、z_1、z_2——讀出結論。

當你執行那段解開時，該追蹤的正確組合不是 |w_1 - w_2| 除以 |z_1 - z_2|，而是帶自同構味道的比值。定義偽雙曲距離 d(z_1, z_2) = |(z_1 - z_2)/(1 - z_1-bar z_2)|——注意潛伏其中的布拉施克形狀，正是那個讓自同構奏效的分母。施瓦茨引理套在 g 上，說的恰恰是 d(w_1, w_2) <= d(z_1, z_2)。這就是施瓦茨-皮克引理：圓盤的每一個全純自映射，都把任兩點之間的這個距離縮短（或保持），而不只是從中心量起的距離。

從點到尺：無窮小形式

這條引理還有第二張臉，更耐人尋味。讓 z_2 滑向 z_1，使兩點合而為一。它們之間的偽雙曲距離變得無窮小，而在極限中除掉 |z_1 - z_2| 便撈出導數。結果是在每一個點上都成立的乾淨不等式：|f'(z)| / (1 - |f(z)|^2) <= 1 / (1 - |z|^2)。把它讀成一句關於微小切向量如何被拉伸的話：當長度用權重 1/(1 - |z|^2)、而非普通歐氏權重來量時，f 從不放大長度。

Euclidean length of a step dz at z:   |dz|

hyperbolic (Poincare) length:         2 |dz| / (1 - |z|^2)

Schwarz-Pick, infinitesimal form:

      |f'(z)|              1
   --------------  <=  -----------
    1 - |f(z)|^2        1 - |z|^2

equality everywhere  <=>  f is a disk automorphism

同一把尺，兩種讀法：龐加萊度量把歐氏步長乘上 2/(1 - |z|^2)，而施瓦茨-皮克引理說全純自映射絕不把它拉長。

那個權重就是圓盤上的龐加萊度量（也叫雙曲度量）：在點 z 處，你把一步 dz 不量成 |dz|，而是量成 2|dz|/(1 - |z|^2)。因子 2 是慣用的正規化，選它是為了讓曲率恰好等於 -1；有些書省掉它，本質毫無改變。關鍵特徵是當 |z| 趨近 1 時權重的爆漲：在圓盤邊緣附近，長度被無限制地放大。邊界是無窮遠的。你絕無法靠走有限的雙曲距離抵達它。

何時取等，以及等距變換是什麼

施瓦茨引理有一條銳利的取等條款——在某個內點 |f(z)| = |z| 就逼出 f 是旋轉——而施瓦茨-皮克引理繼承了一條更美的。只要對某一對相異點有 d(w_1, w_2) = d(z_1, z_2)，或在某一點的無窮小不等式中取等，就逼出 f 是圓盤自同構。換句話說：在圓盤所有的全純自映射裡，恰好保持（而非縮短）雙曲尺的那些，正是自同構群的成員。其餘每一個都是貨真價實的收縮。

這終於解釋了，為何第二篇的自同構配得上那麼多注意。它們不只是個代數趣談；它們是一種幾何的剛體運動。等距變換是保距離的映射，而我們剛剛發現：配上龐加萊度量的圓盤，其等距變換恰恰是圓盤自同構（若允許反定向的，再加上反射 z -> z-bar）。布拉施克因子把點滑來滑去，旋轉把它們轉動，但它們之中沒有一個改變任何雙曲距離——它們就是一個非歐世界裡的剛性旋轉與平移。

一整套幾何，以及它接下來通往何處

退一步，感受剛才發生了什麼。我們從一條關於固定中心的映射的單點引理出發。靠著在前後滑入自同構，把它升格為一句在每一對點上都成立的陳述，再升格為一句關於加權尺的無窮小陳述，而那把尺竟在圓盤上定義出一套完整、齊性、負曲率的幾何——就是你來來回回映射過十幾次的那同一個圓盤。施瓦茨引理從來不真是關於中心的。它是那個事實的第一聲低語：圓盤的全純自映射，是某個隱藏度量的收縮。

如今兩扇門打開。第四篇會把第一扇徹底走完：認真把龐加萊圓盤當作雙曲平面的模型——它的測地線是直徑與垂直交於邊界的圓弧，它的三角形內角和小於 pi，而歐幾里得的平行公設以最慷慨的方式失效，過一點有無窮多條平行線。你在此處證明的「自同構即等距」，正是讓那個模型運轉的引擎。

第二扇門更出人意料。本階梯的全副精神——用一段最大模原理的論證把函數逼向邊界，再靠巧妙的共形換區搬移過去——正是驅動最後一篇的東西。在那裡你會遇見弗拉格門-林德洛夫原理與三線定理，同一個直覺（在帶狀區域的邊上界住一個全純函數，便推得內部受控）會把你帶離圓盤，登上無界區域。圓盤教會了你文法；第五篇用一種新方言把它說出來。