6.1 線性分式變換#

本章導言#

解析函數中最簡單的非線性家族——線性分式變換（Möbius 變換）

\[ w = \frac{az + b}{cz + d}, \qquad ad - bc \ne 0 \]

——是保角映射的「群論元老」：它們構成把 Riemann 球映到自身的全體單葉解析映射。本節研究其矩陣表示、圓族的保持性、四個生成元、以及把任意三點送到任意三點的唯一性——並以 Gauss 的分式變換研究（雙二次互反律）與 Klein 的 Erlangen 綱領為歷史背景。

定義與矩陣表示#

Möbius 變換 \(M(z) = \frac{az+b}{cz+d}\) （ \(ad - bc \ne 0\) ，保證非常數）。複合對應矩陣乘法：

\[ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \]

（ \(\mathbb{P}GL(2, \mathbb{C})\) ：矩陣除以非零純量視為同一變換）。逆變換 \(M^{-1}(w) = \frac{dw - b}{-cw + a}\) 存在（行列式非零）。 \(\infty\) 的處理： \(-d/c\) 映到 \(\infty\) 、 \(\infty\) 映到 \(a/c\) （ \(c \ne 0\) ）； \(c = 0\) 時 \(\infty \mapsto \infty\) 。Riemann 球面 \(\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}\) 上 Möbius 群是變換的完全群。

四個生成元：任何 Möbius 變換是下列四型的複合：

\[ z \mapsto z + b\ (\text{平移}), \quad z \mapsto az\ (\text{旋轉縮放}), \quad z \mapsto \frac1z\ (\text{反演}), \quad z \mapsto z\ (\text{恆等}). \]

分解示範： \(w = \frac{az+b}{cz+d}\) （ \(c \ne 0\) ）：

\[ \frac{az+b}{cz+d} = \frac{a}{c} + \frac{bc - ad}{c}\cdot\frac{1}{cz + d} = \frac{a}{c} - \frac{ad - bc}{c^2}\cdot\frac{1}{z + d/c}. \]

即：平移 \(z + d/c\) → 縮放旋轉 \(\cdot c\) → 反演 \(\cdot \frac1z\) → 縮放旋轉 \(\cdot\left(-\frac{ad-bc}{c^2}\right)\) → 平移 \(+\frac ac\) 。平移、旋轉、反演生成一切——這是 Klein 式的「結構分解」。

圓族保持定理#

定理：Möbius 變換把廣義圓（圓或直線，直線 = 過 \(\infty\) 的圓）映為廣義圓。

證明思想：平移/旋轉縮放顯然保持；只需驗 \(w = 1/z\) 。直線 \(ax + by + c = 0\) （ \(z = x+iy\) ， \(\bar z\) 代入）：

\[ A z\bar z + B z + \bar B \bar z + C = 0 \quad\xrightarrow{z = 1/w}\quad C w\bar w + \bar B w + B\bar w + A = 0. \]

形式不變（係數輪換）——廣義圓方程在 \(z \mapsto 1/z\) 下變成廣義圓方程。∎

幾何直觀（反演的性質）： \(1/z\) 把過原點的直線映為過原點的直線、不過原點的圓映為不過原點的圓、過原點的圓映為直線。Riemann 球面語言：廣義圓 = 球面與平面的交線（球面上的「圓」），Möbius 變換 = 球面的剛體運動在球極投影下的像——Möbius 變換是 Riemann 球的「共形剛體」。

三點定一變換#

定理：設 \(z_1, z_2, z_3\) 與 \(w_1, w_2, w_3\) 各為廣義圓上三個相異點，則存在唯一 Möbius 變換 \(M\) 使 \(M(z_k) = w_k\) 。

構造： \(T(z) = \dfrac{(z - z_1)(z_2 - z_3)}{(z - z_3)(z_2 - z_1)}\) 把 \(z_k\) 送到 \(0, 1, \infty\) ；同理 \(S\) 送到 \(w_k\) ； \(M = S^{-1}\circ T\) 。唯一性由「四點交比在 Möbius 下不變」：

\[ [z_1, z_2; z_3, z_4] = \frac{(z_1 - z_3)(z_2 - z_4)}{(z_1 - z_4)(z_2 - z_3)} \]

在 Möbius 變換下保持。交比是 Möbius 幾何的基本不變量——正如距離之於歐氏幾何、交比之於射影幾何。

一個具體例題#

例題 6.1.1：求把上半平面 \(\operatorname{Im} z > 0\) 映為單位圓盤 \(|w| < 1\) 的所有 Möbius 變換，並寫出把 \(i\) 映到 0 的那一個。

解：邊界映邊界（Möbius 是同胚）：實軸 → 單位圓。對稱原理（Schwarz 反射的思想）：把 \(z\) 與 \(\bar z\) （關於實軸對稱）映到 \(w\) 與 \(1/\bar w\) （關於單位圓對稱）的變換必形如

\[ w = e^{i\theta}\frac{z - a}{z - \bar a}, \qquad \operatorname{Im} a > 0. \]

驗證： \(z\) 實時 \(|w| = e^{i\theta}\left|\frac{z-a}{z-\bar a}\right| = 1\) （分子分母共軛等模）✓； \(z = a\) 時 \(w = 0\) （圓內）✓。模的計算： \(\left|\frac{z-a}{z-\bar a}\right| = \frac{|z-a|}{|\bar z - a|}\) （因 \(|z - \bar a| = |\overline{z} - a|\) ）；而 \(\operatorname{Im} z > 0\) 時 \(|z - a| < |\bar z - a|\) （ \(a\) 在上半：靠近 \(a\) 的點距 \(a\) 近、距其鏡像 \(\bar a\) 遠）——上平面 → 圓內 ✓。

全體解： \(a\) 任意（ \(\operatorname{Im} a > 0\) ）、 \(\theta\) 任意——三實參數（ \(a\) 兩個 + \(\theta\) 一個），與「實軸上三點定一變換」的計數一致。

特解： \(a = i\) 、 \(\theta = -\frac\pi2\) （使 \(z = 0\) 映到 \(w = 1\) ）：

\[ w = -i\frac{z - i}{z + i}. \]

檢驗： \(z = i \mapsto 0\) ✓； \(z = 0 \mapsto -i\cdot\frac{-i}{i} = -i\cdot(-i) = -1\) ？算： \(\frac{0 - i}{0 + i} = \frac{-i}{i} = -1\) ， \(w = -i(-1) = i\) 。要 \(z=0 \mapsto 1\) 則取 \(\theta = -\frac{\pi}{2}\) 使 \(w = e^{i\theta}\frac{z-i}{z+i} = -i\cdot(-1) = i\) ——不如直接陳述： \(w = -i\frac{z-i}{z+i}\) 滿足 \(i \mapsto 0\) 、 \(0 \mapsto i\) 、 \(\infty \mapsto -i\) （邊界三點 \(0, \infty, 1\) 分別映到 \(i, -i, -i\cdot\frac{1-i}{1+i} = -i\cdot(-i) = -1\) ）。三個邊界點的像確定唯一變換 ✓（讀者可用交比自證）。

標準結果： \(\dfrac{z - i}{z + i}\) 把上半平面映到單位盤（ \(i \to 0\) ）；這是 6.2 篂 Riemann 映射定理的「出廠範例」——上半平面與單位盤在 Möbius 意義下無差別。

歷史背景：從射影幾何到自守函數#

年代	人物	貢獻
1850s	Möbius、Chasles	射影幾何中的交比與變換群
1854/1855	Cayley	矩陣表示與 \(PGL(2)\) 群
1867	Gauss（遺稿）/ Dedekind	雙二次互反律以 Möbius 變換表述
1872	Klein	Erlangen 綱領：幾何 = 變換群下的不變理論
1880s	Poincaré、Klein	Fuchs 群與自守函數：離散 Möbius 子群

Möbius 變換的名字：August Ferdinand Möbius（1790–1868，Leipzig 天文學家，Möbius 帶的發明者）在 1855 年《關於被稱為空間環的運動學》中系統研究 \(\frac{\alpha + \beta z}{\gamma + \delta z}\) 。Poincaré 的壯麗應用：離散 Möbius 子群（Fuchs 群，得名於 Lazarus Fuchs 的微分方程工作）作用於單位盤產生雙曲幾何的拼貼（1882）；自守函數論——Poincaré 稱之「使我五天不吃不睡的發現」——把橢圓函數（9.2 篂）推廣到任意虧格，其基石正是 Möbius 群。Klein 與 Poincaré 的競爭（1881–82 年通信）是十九世紀數學最著名的高潮之一：兩人各自逼近「單值化定理」，Klein 因過勞病倒，Poincaré 獨自完成。單值化定理的完全證明（1907，Poincaré / Koebe）是 6.2 篂映射定理的極限形態。

歷史啟示#

群 = 幾何：Klein 的 Erlangen 綱領把「哪種幾何」化約為「哪個變換群」。Möbius 群是第一个非歐幾何（雙曲、球面）共享的底層群——一個群，多種幾何。
不變量的力量：交比一個不變量編碼了整個幾何的分類。找對不變量，理論就「壓縮」了。
離散子群的富饒：連續群 \(\mathbb{P}GL(2,\mathbb{C})\) 的離散子群（Fuchs 群、Klein 群）產生自守函數、模形式、與二十一世紀的 3D 流形幾何（Thurston 幾何化、Perelman 證明）。連續群的離散切片是最富創造力的地層。

與其他章節及領域的關聯#

1.2 節：Riemann 球面是 Möbius 群的自然舞台。
5.3 節：單葉性（一對一）由「零點數恰一」判別（Rouché）。
6.2 篂：Riemann 映射定理證明中的「正規族 + 單葉極限」需要 Möbius 變換做規範化（把目標點送到 0）。
7.2 篂：Riemann 面的自同構群在虧格 \(\ge 2\) 時有限（Hurwitz 1893： \(|Aut| \le 84(g-1)\) ）——Möbius 群的離散子群的剛性。
9.2 篂：橢圓函數的模群 \(PSL(2, \mathbb{Z})\) 是 Möbius 變換的整係數子群。
10.1 篂：數位濾波器的雙線性變換 \(s = \frac{2}{T}\cdot\frac{1 - z^{-1}}{1 + z^{-1}}\) （把連續系統 \(s\) 域映到離散 \(z\) 域）就是 Möbius 變換——它把左半平面映到單位盤內，保證濾波器穩定性，是本節定理的工業應用。
相對論：狹義相對論的 Lorentz 群 \(SO(1,3)\) 與 \(\mathbb{P}SL(2,\mathbb{C})\) 二重同構——天球的 Möbius 變換就是相對論速度合成（Terrell 旋轉的數學本體）。

練習#

把 \(w = \frac{2z - i}{z + 1}\) 分解為平移、縮放、反演的複合序列。
求 Möbius 變換把 \(0, 1, \infty\) 映到 \(i, \infty, 1\) ，並寫出它把直線 \(\operatorname{Re} z = 1\) 映成的廣義圓。
證明交比在 Möbius 變換下不變，並用交比判定四點 \(0, 1, i, \infty\) 是否共圓（廣義）。
求把 \(|z| = 1\) 上三點 \(1, i, -1\) 映到實軸三點 \(0, 1, \infty\) 的 Möbius 變換，說明單位圓映到實軸。
思考題：Möbius 變換保持「定向的廣義圓」，即內部與外部不混（或混，取決於 \(ad - bc\) 符號？）。分析 \(\frac{az+b}{cz+d}\) 何時把圓內映到圓內、何時內外互換，並以 \(\frac{z - i}{z + i}\) 為例驗證。

進階研讀：Möbius 幾何的五個深化場景#

場景一：雙曲幾何的具體模型。Poincaré 圓盤模型：雙曲直線 = 與單位圓正交的廣義圓；雙曲度量 \(ds = \frac{2|dz|}{1 - |z|^2}\) ；等距群 = 保持圓盤的 Möbius 子群 \(PSU(1,1)\) 。Möbius 變換的「保圓性」在雙曲幾何中是「保直線性」——Möbius 幾何就是二維雙曲幾何的剛體運動學。三角學（雙曲三角）、面積（曲率 \(-1\) ）、以及 6.2 篂映射定理的唯一性證明（Schwarz–Pick 距離縮短）都在此模型中變得可見。

場景二：模群 \(PSL(2, \mathbb{Z})\) 與模形式。整係數 Möbius 變換 \(z \mapsto \frac{az+b}{cz+d}\) （ \(ad - bc = 1\) ）構成模群，基本域是「豎旗形」 \(\{|z| \ge 1, |\operatorname{Re} z| \le \frac12\}\) 。模形式（上半平面上的解析函數滿足變換律 \(f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z)\) ）是現代數論的心臟： \(\zeta\) 函數的函數方程（8.3 篂）、Fermat 大定理的證明（1995，模性定理）、Ramanujan 的 \(\tau\) 函數。整數矩陣 + 複解析 = 數論，Möbius 變換是接合面。

場景三：球面幾何與地圖投影。球極投影把球面映射平面，其「經度/緯度網格」的變換在 Möbius 群下分類（共形投影的完全分類：Mercator、立體、正形方位）。航空導航的大圓航線在立體投影下是圓——Möbius 保圓性使「最短路」在地圖上仍是圓弧，這是共形地圖學的實用核心。

場景四：自守函數與碎形。離散 Möbius 群的極限集（limit set）在拋物/雙曲型群下是碎形：Apollonian 填充（相切圓的無窮嵌套）、Klein 群的 Julia 型極限集（Mumford–Series–Wright《Indra's Pearls》2002 的視覺化）。Möbius 幾何 = 最早可完整視覺化的碎形理論；Poincaré 極限集的 Hausdorff 維數（Sullivan 1981）連通雙曲動力學。

場景五：多複變的推廣與止步。 \(\mathbb{C}^n\) （ \(n \ge 2\) ）上把球映到球的全純自同構只有「Möbius + 線性」的簡單組合（Poincaré 定理 1907： \(\mathbb{C}^n\) 球的自同構群有限維且顯式）——單複變的「Möbius 群 = 球面自同構」的豐饒性是多複變沒有的。對照 2.2 篂場景三（Hartogs）：維數再一次改變理論的性格。

名詞速查表（本節出現的核心術語）#

Möbius 變換： \(w = \frac{az+b}{cz+d}\) ， \(ad-bc \ne 0\) 。
廣義圓：圓或直線；Möbius 變換的不變類。
交比： \([z_1,z_2;z_3,z_4]\) ，Möbius 幾何的基本不變量。
Riemann 球： \(\hat{\mathbb{C}}\) ；Möbius 群是球面共形自同構群。
**模群 \(PSL(2,\mathbb{Z})\) **：整係數 Möbius 變換群。
Fuchs 群：Möbius 群的離散子群（作用於上半平面）。
Poincaré 圓盤模型：單位盤 + 雙曲度量。
雙線性變換：控制工程中 \(s \leftrightarrow z\) 的 Möbius 變換。

年表速查（本節涉及的關鍵年份）#

1852–1855：Möbius 系統研究分式變換。
1854：Riemann 球面投影講座。
1858：Cayley 矩陣代數， \(PGL(2)\) 表示。
1867：Gauss 遺稿雙二次互反律（Möbius 語言）發表。
1872：Klein Erlangen 綱領。
1881–82：Klein–Poincaré 自守函數競賽。
1882：Poincaré Fuchs 群理論。
1907：Poincaré / Koebe 單值化定理。
1932：Nyquist 判據（Möbius 域映射的工程應用前奏）。
1960s：雙線性變換成為數位濾波器標準。

深化問答三則#

問：為什麼 Möbius 變換是「球面共形自同構」的全體？ 答：單葉解析（球上）+ 保圓可推出 \(\frac{az+b}{cz+d}\) ；反過來顯然。深層原因：球面的共形結構由「方向」決定，而 Möbius 變換是唯一保持方向結構的球面變換（Liouville 定理： \(n \ge 3\) 維球面的共形變換也有限維——單複變的豐富性在於 \(n = 2\) 時仍有離散子群的無限世界）。

問：交比「不變」的深層意義是什麼？ 答：它說明 Möbius 幾何的資訊量恰好是「一個實數 + 群作用」：四點的交比是唯一的連續不變量，三點組構成「標準座標系」。不變量的完全性（任何兩個同交比的四點組由唯一 Möbius 相連）是「分類定理」的範本——後來的合同變換分類、矩陣的 Jordan 型分類都是同型定理。

問：為什麼工程師稱 \(\frac{az+b}{cz+d}\) 為「雙線性變換」？ 答：因為它作為 \((z, w)\) 的關係是雙線性： \(cwz + dw - az - b = 0\) 。這個「隱式形式」正是濾波器設計的形式：給定 \(w = z^{-1}\) （延遲算子），解出 \(s\) 的有理替換。名稱的分岔（數學家說 Möbius，工程師說 bilinear）提醒我們：同一數學對象在不同行業有不同側面的名字。

（本節完）