等角写像とリーマン写像定理：正則関数が描く「角度を保つ地図」

0. この記事の要点

• $f$ が正則で $f'(z_0) \neq 0$ ならば、$f$ は $z_0$ の近くで「回転と拡大の合成」に見えます。その結果、$z_0$ で交わる 2 曲線の交角が向きを込めて保たれます。これがコーシー・リーマンの関係式の幾何学的な意味です。
• $f'(z_0) = 0$ のときは角度が保たれません。$f(z) - f(z_0)$ の零点の位数が $m$ なら、角は正確に $m$ 倍になります。
• 一次分数変換（メビウス変換）はリーマン球面 $\hat{\mathbb{C}}$ の全単射で、円と直線をひとまとめにした「一般化された円」の族を保ちます。これが円円対応です。
• 相異なる 3 点を相異なる 3 点へ写すメビウス変換はただ 1 つしかなく、交比がメビウス変換の完全な不変量になります。
• シュワルツの補題から単位円板の正則自己同型がすべて決まり、それは $e^{i\theta}\dfrac{z-a}{1-\bar{a}z}$ の形をしています。
• リーマンの写像定理：$\mathbb{C}$ 全体ではない空でない単連結領域は、どれも単位円板と双正則に写り合います。境界がとがっていようと分かりにくかろうと、いっさい関係しません。

1. 動機：微分できるとは「無限小の相似変換」であること

地図を作るとき、球面を平面に写す方法は無数にありますが、面積を正しく写すことと角度を正しく写すことは両立しません。航海者にとって死活的なのは角度のほうです。海図の上で測った針路の角を、実際の海の上でそのまま舵角として使えなければ困るからです。メルカトル図法が 16 世紀から使われ続けているのは、それが角度を保つ写像だからです。ガウスは 1822 年、「ある曲面の各部分を別の曲面の各部分に、最小の部分において相似となるように写す」という問題でコペンハーゲン科学アカデミーの懸賞論文に応えました。「最小の部分において相似」という表現が、これから扱う等角性の正体です。

一方でリーマンは 1851 年の学位論文で、複素関数論をこの幾何学的な言葉で組み立て直しました。この記事の主役である写像定理はそこで提出されたものです。

なぜ「相似」なのかを、実 2 変数の言葉で確かめておきます。領域 $\Omega \subseteq \mathbb{R}^2$ 上の $C^1$ 級写像 $F(x,y) = (u(x,y), v(x,y))$ を考えると、点 $p$ での一次近似はヤコビ行列

$$DF(p) = \begin{pmatrix} u_x & u_y \\ v_x & v_y \end{pmatrix}$$

で与えられます。この行列の成分は 4 つとも自由で、一般には平面を引き伸ばし、ひしゃげさせ、角度をめちゃくちゃにします。ところが $F$ を複素関数 $f = u + iv$ と見て $f$ が $z_0 = x_0 + iy_0$ で複素微分可能だとすると、コーシー・リーマンの関係式 $u_x = v_y$、$u_y = -v_x$ が成り立つので、$a = u_x(p)$、$b = v_x(p)$ とおいて

$$DF(p) = \begin{pmatrix} a & -b \\ b & a \end{pmatrix} = r\begin{pmatrix} \cos\alpha & -\sin\alpha \\ \sin\alpha & \cos\alpha \end{pmatrix}, \qquad r = \sqrt{a^2+b^2},\quad \alpha = \arg(a+ib)$$

となります（$r > 0$ のとき。$r = \sqrt{a^2+b^2} = |f'(z_0)|$、$\alpha = \arg f'(z_0)$ です）。つまり複素微分可能性とは、「一次近似が回転と相似拡大の合成になっている」という条件そのものです。4 つの自由度が 2 つに落ちる代わりに、写像は幾何学的に非常に硬くなります。コーシー・リーマンの関係式については 正則関数とコーシー・リーマンの関係式 の コーシー・リーマンの関係式（必要性）（Theorem 4.1）［Holomorphic Functions and the Cauchy-Riemann Equations］ を参照してください。

ここから自然な問いが 2 つ出てきます。

1. 逆に、角度を保つ写像は正則関数に限るのか。
2. 2 つの領域が与えられたとき、それらの間に角度を保つ全単射（双正則写像）は存在するのか。

実の世界では 2 番目の問いはほとんど内容がありません。平面の空でない単連結開集合はどれも $\mathbb{R}^2$ と微分同相だからです。しかし複素の世界では正則関数が硬いぶん、答えは自明ではなくなります。驚くべきことに、リーマンの答えは「単連結でありさえすれば、$\mathbb{C}$ 自身という 1 つの例外を除いて、いつでも存在する」というものでした。この記事はその主張までの道を、メビウス変換とシュワルツの補題という 2 つの具体的な道具を経由して歩きます。

2. 準備

領域とは、$\mathbb{C}$ の空でない連結開集合のことをいいます。以下、記号を次のように固定します。

• $D(a,r) = \{z \in \mathbb{C} : |z-a| < r\}$（中心 $a$、半径 $r$ の開円板）
• $\mathbb{D} = D(0,1) = \{z \in \mathbb{C} : |z| < 1\}$（単位円板）
• $\mathbb{H} = \{z \in \mathbb{C} : \operatorname{Im} z > 0\}$（上半平面）
• $\hat{\mathbb{C}} = \mathbb{C} \cup \{\infty\}$（リーマン球面）

リーマン球面 $\hat{\mathbb{C}}$ は、立体射影によって単位球面 $S^2$ と同一視される位相空間です。$\infty$ の近傍は $\{z : |z| > R\} \cup \{\infty\}$ の形の集合とします。この 1 点を付け加えることで「$1/z$ は $0$ を $\infty$ へ写す」といった言い方が、例外なしの全単射の言葉になります。

Definition 2.1（双正則写像・等角同値）

$\Omega_1, \Omega_2$ を $\mathbb{C}$ の領域とする。写像 $f : \Omega_1 \to \Omega_2$ が双正則であるとは、$f$ が正則な全単射であり、かつ逆写像 $f^{-1} : \Omega_2 \to \Omega_1$ も正則であることをいう。$\Omega_1$ から $\Omega_2$ への双正則写像が存在するとき、$\Omega_1$ と $\Omega_2$ は等角同値であるという。

Remark 2.2

実は「逆写像も正則」という条件は自動的に満たされます。$f$ が領域 $\Omega_1$ 上で正則かつ単射ならば、$f'$ は $\Omega_1$ 上で零点を持たず、$f(\Omega_1)$ は開集合で、$f^{-1}$ は正則になります。これは開写像定理と、零点の位数に関する偏角の原理から従います（正則関数の強力な性質 を参照）。したがって以下では「単射な正則写像」と「像の上への双正則写像」を同じものとして扱います。

この記事では、既出の次の事実を断りなく使います。いずれも前章までで証明したものです。

使う事実	内容
最大値原理	領域上の正則関数 $g$ について $\lvert g\rvert$ が内点で最大値をとれば $g$ は定数
リウヴィルの定理（Theorem 4.2）［正則関数の強力な性質］	有界な整関数は定数
開写像定理	定数でない正則関数は開集合を開集合に写す
除去可能特異点定理（Theorem 3.3）［留数定理と定積分への応用］	孤立特異点の近くで有界な正則関数はそこへ正則に延びる

3. 正則関数の等角性

Definition 3.1（等角性）

$\Omega$ を領域、$f : \Omega \to \mathbb{C}$ を連続写像、$z_0 \in \Omega$ とする。$z_0$ を通る任意の $C^1$ 級曲線 $\gamma : (-\varepsilon, \varepsilon) \to \Omega$（$\gamma(0) = z_0$、$\gamma'(0) \neq 0$）に対して像曲線 $f \circ \gamma$ が $t = 0$ で $0$ でない接ベクトルを持ち、さらに $z_0$ を通る任意の 2 つのそのような曲線 $\gamma_1, \gamma_2$ について

$$\arg \frac{(f\circ\gamma_2)'(0)}{(f\circ\gamma_1)'(0)} = \arg \frac{\gamma_2'(0)}{\gamma_1'(0)} \pmod{2\pi}$$

が成り立つとき、$f$ は $z_0$ で等角であるという。領域の各点で等角な単射写像を等角写像という。

この定義は「交角の大きさだけでなく、向き（どちらからどちらへ測るか）も保つ」ことを要求している点が要です。たとえば複素共役 $z \mapsto \bar{z}$ は角の大きさを保ちますが向きを逆にするので、等角ではありません（このような写像は反等角と呼ばれます）。

Theorem 3.2（正則写像の局所的な角度）

$\Omega$ を領域、$f : \Omega \to \mathbb{C}$ を正則関数、$z_0 \in \Omega$ とする。

1. $f'(z_0) \neq 0$ ならば、$f$ は $z_0$ で等角である。さらに $z_0$ を通る曲線の接ベクトルはどれも一様に偏角 $\arg f'(z_0)$ だけ回転し、長さは一様に $|f'(z_0)|$ 倍される。
2. $f$ が定数でなく、$f - f(z_0)$ が $z_0$ で位数 $m \ge 1$ の零点を持つとする。このとき $z_0$ を通る $C^1$ 級曲線 $\gamma$（$\gamma(0) = z_0$、$\gamma'(0) \neq 0$）に対し、極限

$$\theta(\gamma) = \lim_{t \to 0+} \arg\bigl(f(\gamma(t)) - f(z_0)\bigr)$$

が $2\pi$ を法として存在し、2 つの曲線 $\gamma_1, \gamma_2$ について

$$\theta(\gamma_2) - \theta(\gamma_1) = m\left(\arg \gamma_2'(0) - \arg \gamma_1'(0)\right) \pmod{2\pi}$$

が成り立つ。すなわち $z_0$ における交角はちょうど $m$ 倍される。

Proof（Theorem 3.2）

(1) $\gamma$ を $\gamma(0) = z_0$、$\gamma'(0) \neq 0$ を満たす $C^1$ 級曲線とします。$f$ は $z_0$ で複素微分可能なので、合成関数の微分法により

$$(f\circ\gamma)'(0) = f'(z_0)\,\gamma'(0).$$

仮定 $f'(z_0) \neq 0$ と $\gamma'(0) \neq 0$ から $(f\circ\gamma)'(0) \neq 0$ です。よって像曲線は $0$ でない接ベクトルを持ちます。2 本の曲線 $\gamma_1, \gamma_2$ に対して比をとると、共通因子 $f'(z_0)$ が約分されて

$$\frac{(f\circ\gamma_2)'(0)}{(f\circ\gamma_1)'(0)} = \frac{f'(z_0)\gamma_2'(0)}{f'(z_0)\gamma_1'(0)} = \frac{\gamma_2'(0)}{\gamma_1'(0)}$$

となり、偏角も一致します。これは Definition 3.1 の条件そのものです。また $(f\circ\gamma)'(0) = f'(z_0)\gamma'(0)$ の偏角は $\arg f'(z_0) + \arg\gamma'(0)$、絶対値は $|f'(z_0)|\,|\gamma'(0)|$ ですから、後半の主張も従います。

(2) $f - f(z_0)$ は $z_0$ で位数 $m$ の零点を持つので、$z_0$ の近傍で正則な関数 $g$ が存在して

$$f(z) - f(z_0) = (z-z_0)^m g(z), \qquad g(z_0) \neq 0$$

と書けます（テイラー展開（Theorem 5.2）［正則関数の強力な性質］ $f(z) - f(z_0) = \sum_{n \ge m} a_n (z-z_0)^n$ から $g(z) = \sum_{n\ge m} a_n (z-z_0)^{n-m}$ とおけばよく、$g(z_0) = a_m \neq 0$ です）。ここで $\gamma$ を条件を満たす曲線とすると、$\gamma$ が $t=0$ で微分可能であることから $\gamma(t) - z_0 = t\gamma'(0) + o(t)$ なので

$$\frac{f(\gamma(t)) - f(z_0)}{t^m} = \left(\frac{\gamma(t)-z_0}{t}\right)^{m} g(\gamma(t)) \xrightarrow{\ t\to 0+\ } \gamma'(0)^m\, g(z_0) \neq 0.$$

$t^m > 0$ なので、$\arg(f(\gamma(t)) - f(z_0))$ は $\arg\bigl(\gamma'(0)^m g(z_0)\bigr) = m \arg\gamma'(0) + \arg g(z_0)$ に収束します（$2\pi$ を法として）。これが $\theta(\gamma)$ の存在です。2 本の曲線について差をとると、$\gamma$ に依らない項 $\arg g(z_0)$ が消えて

$$\theta(\gamma_2) - \theta(\gamma_1) = m\arg\gamma_2'(0) - m\arg\gamma_1'(0)$$

を得ます。なお $m = 1$ は $f'(z_0) \neq 0$ と同値なので、(2) は (1) の一般化になっています。

∎

Remark 3.3

逆も成り立ちます。$F : \Omega \to \mathbb{R}^2$ が $C^1$ 級で、各点で $\det DF > 0$ かつ角度を保つならば、$F$ は正則です。実際、線型写像 $T$ が角度を保つとしましょう。$e_1, e_2$ を標準基底とすると、$e_1 \perp e_2$ より $\langle Te_1, Te_2\rangle = 0$ です。また $e_1+e_2$ と $e_1-e_2$ も直交するので $\langle T(e_1+e_2), T(e_1-e_2)\rangle = |Te_1|^2 - |Te_2|^2 = 0$、すなわち $|Te_1| = |Te_2| =: \lambda > 0$ です。したがって $\lambda^{-1}T$ は正規直交基底を正規直交基底に写す直交変換で、$\det T > 0$ より回転になります。つまり $DF$ は各点で「正数倍された回転」であり、これは §1 で見たとおりコーシー・リーマンの関係式にほかなりません。等角写像と単射正則写像は同じものだ、と言ってよいわけです。

Example 3.4（2 乗写像：第一象限を上半平面へ）

$Q = \{re^{i\theta} : r > 0,\ 0 < \theta < \pi/2\}$（第一象限）上で $f(z) = z^2$ を考えます。$z = re^{i\theta} \in Q$ に対し $f(z) = r^2 e^{2i\theta}$ で、$\theta \mapsto 2\theta$ は $(0,\pi/2)$ から $(0,\pi)$ への全単射、$r \mapsto r^2$ は $(0,\infty)$ から $(0,\infty)$ への全単射ですから、$f$ は $Q$ から $\mathbb{H}$ の上への全単射です。$Q$ 上では $f'(z) = 2z \neq 0$ なので、Theorem 3.2 (1) より $f$ は $Q$ の各点で等角です。

一方、境界点 $z_0 = 0$ では様子が変わります。$f(z) - f(0) = z^2$ は $0$ で位数 $2$ の零点を持つので、Theorem 3.2 (2) より角は $2$ 倍されます。実際、$Q$ の境界がなす直角（正の実軸と正の虚軸のなす角 $\pi/2$）は、像では平角 $\pi$（実軸全体）になっています。角が保たれない点はここだけで、しかもそれは $f'(0) = 0$ という 1 つの等式に完全に記録されています。

Example 3.5（指数写像：帯を上半平面へ）

$S = \{z \in \mathbb{C} : 0 < \operatorname{Im} z < \pi\}$ とし、$f(z) = e^z$ を考えます。

単射性。 $e^{z_1} = e^{z_2}$ ならば $z_1 - z_2 \in 2\pi i \mathbb{Z}$ です。$z_1, z_2 \in S$ なら $|\operatorname{Im}(z_1-z_2)| < \pi < 2\pi$ なので $z_1 = z_2$ となります。

像。 $z = x+iy \in S$ に対し $e^z = e^x(\cos y + i \sin y)$ で、$0 < y < \pi$ より $\sin y > 0$、したがって $\operatorname{Im} e^z = e^x \sin y > 0$ です。よって $f(S) \subseteq \mathbb{H}$。逆に $w \in \mathbb{H}$ を $w = \rho e^{i\phi}$（$\rho > 0$、$0 < \phi < \pi$）と極形式で書けば、$z = \log\rho + i\phi \in S$ が $e^z = w$ を満たします。ゆえに $f(S) = \mathbb{H}$ です。

$f'(z) = e^z \neq 0$ なので $f$ は等角写像であり、$S$ と $\mathbb{H}$ は等角同値です。この写像は格子の像を見ると直感がつかめます。水平線 $\operatorname{Im} z = c$（$0 < c < \pi$）は偏角 $c$ の半直線 $\{\rho e^{ic} : \rho > 0\}$ に写り、垂直線分 $\operatorname{Re} z = c$ は半円 $\{e^{c}e^{i\phi} : 0 < \phi < \pi\}$ に写ります。左側で直交していた格子が、右側でも直交したままであることが等角性の目に見える表れです。

指数写像による格子の対応。左の帯の直交格子（垂直線と水平線）が、右では上半平面の同心半円と放射状の半直線に写り、交角の直角がそのまま保たれます。

4. 一次分数変換と円円対応

等角写像のもっとも基本的な供給源が、次の変換の族です。これらはリーマン球面全体の等角同型をすべて尽くすことが知られており、複素関数論のあらゆる場面に顔を出します。

Definition 4.1（一次分数変換（メビウス変換））

$a,b,c,d \in \mathbb{C}$ が $ad-bc \neq 0$ を満たすとき、

$$T(z) = \frac{az+b}{cz+d}$$

で定まる写像を一次分数変換またはメビウス変換という。$T$ は $\hat{\mathbb{C}}$ 上の写像として、次の規約で定義域を拡張する。

• $c \neq 0$ のとき：$T(-d/c) = \infty$、$T(\infty) = a/c$
• $c = 0$ のとき：$T(\infty) = \infty$

条件 $ad-bc \neq 0$ は本質的です。$ad-bc = 0$ なら $T$ は定数写像になってしまい（たとえば $c \neq 0$ のとき $a = \lambda c$, $b = \lambda d$ と書けて $T \equiv \lambda$）、写像としての意味を失います。

Proposition 4.2（メビウス変換の基本性質）

メビウス変換全体のなす集合を $\mathcal{M}$ と書く。

1. $\mathcal{M}$ は写像の合成に関して群をなし、各元は $\hat{\mathbb{C}}$ から $\hat{\mathbb{C}}$ への全単射である。
2. 正則行列

$$A = \begin{pmatrix} a & b \\ c & d\end{pmatrix} \in GL_2(\mathbb{C})$$

に対し $T_A(z) = (az+b)/(cz+d)$ と定めると、$\Phi(A) = T_A$ で与えられる写像 $\Phi : GL_2(\mathbb{C}) \to \mathcal{M}$ は全射群準同型で、その核は $0$ でないスカラー行列全体である。したがって $\mathcal{M} \cong PGL_2(\mathbb{C})$。 3. 各メビウス変換は、平行移動 $z \mapsto z+\beta$、回転と拡大 $z \mapsto \alpha z$（$\alpha \neq 0$）、反転 $z \mapsto 1/z$ の有限個の合成として表せる。

Proof（Proposition 4.2）

(2) から示します。$T_j(z) = (a_jz+b_j)/(c_jz+d_j)$（$j=1,2$）に対して

$$T_1(T_2(z)) = \frac{a_1\dfrac{a_2z+b_2}{c_2z+d_2}+b_1}{c_1\dfrac{a_2z+b_2}{c_2z+d_2}+d_1} = \frac{(a_1a_2+b_1c_2)z + (a_1b_2+b_1d_2)}{(c_1a_2+d_1c_2)z + (c_1b_2+d_1d_2)}$$

となります（分母・分子に $c_2z+d_2$ を掛けました）。右辺の係数は行列の積

$$\begin{pmatrix} a_1 & b_1 \\ c_1 & d_1\end{pmatrix}\begin{pmatrix} a_2 & b_2 \\ c_2 & d_2\end{pmatrix} = \begin{pmatrix} a_1a_2+b_1c_2 & a_1b_2+b_1d_2 \\ c_1a_2+d_1c_2 & c_1b_2+d_1d_2\end{pmatrix}$$

の成分そのものです。行列式は積で保たれるので $\det \neq 0$ も保たれます。よって $\Phi$ は準同型で、定義から全射です。核については、$T = \mathrm{id}$ は $az+b = z(cz+d)$ すなわち $cz^2 + (d-a)z - b = 0$ がすべての $z$ で成り立つことと同値で、多項式の係数比較から $c = 0$, $b = 0$, $a = d$、つまりスカラー行列に限ります。

(1)：単位行列は恒等写像を与え、逆行列（成分を上から順に $d, -b, -c, a$ とし、全体を $ad-bc$ で割ったもの）に対応する変換が $T$ の逆写像になります。準同型性から $T \circ T^{-1} = T^{-1}\circ T = \mathrm{id}$ で、これは $\hat{\mathbb{C}}$ 上の等式です（$\infty$ や極での規約もこの計算と整合します。実際、$\hat{\mathbb{C}}$ を複素射影直線 $\mathbb{P}^1(\mathbb{C})$ と $z \mapsto [z:1]$、$\infty \mapsto [1:0]$ で同一視すれば、$T$ は同次座標に対する線型写像 $[z:w]\mapsto [az+bw : cz+dw]$ の誘導する写像そのものであり、規約は自動的に正しくなります）。したがって各 $T$ は全単射で、$\mathcal{M}$ は群です。

(3)：$c = 0$ のときは $ad \neq 0$ より $T(z) = (a/d)z + (b/d)$ で、拡大と平行移動の合成です。$c \neq 0$ のときは、分子を $az+b = \frac{a}{c}(cz+d) + b - \frac{ad}{c}$ と書き直して

$$T(z) = \frac{a}{c} + \frac{bc-ad}{c}\cdot\frac{1}{cz+d}$$

を得ます。よって $T_1(z) = cz+d$、$T_2(w) = 1/w$、$T_3(w) = \frac{bc-ad}{c}w$、$T_4(w) = w + \frac{a}{c}$ とおけば $T = T_4\circ T_3\circ T_2\circ T_1$ です。$T_1$ は拡大と平行移動、$T_3$ は拡大（$bc-ad\neq 0$ に注意）、$T_2$ は反転です。

∎

4.1. 円円対応

$\hat{\mathbb{C}}$ の一般化された円とは、$\mathbb{C}$ 内の円、または直線に $\infty$ を付け加えた集合のことをいいます。立体射影のもとで、これらはちょうど球面 $S^2$ 上の円（平面による切り口）に対応します。直線が「北極を通る円」になるわけで、$\infty$ を足すという操作がこの言い換えを可能にしています。

Theorem 4.3（円円対応）

メビウス変換は $\hat{\mathbb{C}}$ の一般化された円を一般化された円に写す。より詳しく、$\mathbb{C}$ の部分集合が円または直線であることは、$A, C \in \mathbb{R}$、$B \in \mathbb{C}$、$|B|^2 > AC$ を満たすある組 $(A,B,C)$ によって

$$A z\bar{z} + \bar{B}z + B\bar{z} + C = 0$$

と表されることと同値であり（$A \neq 0$ なら円、$A = 0$ なら直線）、メビウス変換はこの形の方程式をこの形の方程式に移す。

Proof（Theorem 4.3）

まず方程式の形を確かめます。$z = x+iy$、$B = \beta_1 + i\beta_2$ とおくと $\bar{B}z + B\bar{z} = 2\operatorname{Re}(\bar{B}z) = 2(\beta_1x + \beta_2 y)$ なので、方程式は

$$A(x^2+y^2) + 2\beta_1 x + 2\beta_2 y + C = 0$$

と書けます。$A \neq 0$ のとき、両辺を $A$ で割って平方完成すると

$$\left(x + \frac{\beta_1}{A}\right)^2 + \left(y+\frac{\beta_2}{A}\right)^2 = \frac{|B|^2 - AC}{A^2}$$

となり、$|B|^2 > AC$ のときちょうど中心 $-B/A$、半径 $\sqrt{|B|^2-AC}/|A|$ の円を表します。$A = 0$ のときは $|B|^2 > 0$ より $B \neq 0$ で、方程式は実 1 次方程式 $2\beta_1x+2\beta_2y + C = 0$、すなわち直線です。逆に任意の円・直線がこの形に書けることは同じ計算を逆にたどればわかります。

次に Proposition 4.2 (3) により、平行移動・拡大・反転の 3 種類について方程式の形が保たれることを見れば十分です。以下、$z$ の方程式を $w$ の方程式に書き直します。

平行移動 $w = z+\beta$。 $z = w - \beta$ を代入すると、$A|w-\beta|^2 + \bar{B}(w-\beta) + B(\bar{w}-\bar{\beta}) + C = 0$、すなわち $A w\bar w + \overline{(B - A\beta)}w + (B-A\beta)\bar w + (A|\beta|^2 - 2\operatorname{Re}(\bar B \beta) + C) = 0$ です。新しい係数を $A' = A$, $B' = B - A\beta$, $C' = A|\beta|^2 - 2\operatorname{Re}(\bar B\beta)+C$ とすると、$A', C'$ は実数で、直接計算すると $|B'|^2 - A'C' = |B|^2 - AC > 0$ が成り立ちます。

拡大・回転 $w = \alpha z$（$\alpha \neq 0$）。 $z = w/\alpha$ を代入し、両辺に $|\alpha|^2$ を掛けると $A w\bar w + \overline{B\alpha}\,w + B\alpha\,\bar w + C|\alpha|^2 = 0$。よって $A'=A$, $B'=B\alpha$, $C'=C|\alpha|^2$ で、$|B'|^2 - A'C' = |\alpha|^2(|B|^2-AC) > 0$。

反転 $w = 1/z$。 $z = 1/w$ を代入して両辺に $w\bar w$ を掛けると $A + \bar{B}\bar{w} + Bw + C w\bar{w} = 0$。すなわち $A' = C$, $B' = \bar{B}$, $C' = A$ で、$|B'|^2 - A'C' = |B|^2 - CA > 0$ です。

以上より 3 種類すべてで形が保たれ、条件 $|B|^2 > AC$ も保たれます。最後に $\infty$ の扱いを確認します。一般化された円が $\infty$ を含むのは $A = 0$（直線）のときちょうどで、$0$ を含むのは $C = 0$ のときちょうどです。反転は $0$ と $\infty$ を入れ替えますが、上の計算はまさに $A$ と $C$ を入れ替えており、辻褄が合っています。

∎

Caution

円円対応は「円が円に写る」であって「円の中心が中心に写る」ではありません。反転 $z\mapsto 1/z$ で円 $|z-2|=1$ は円に写りますが、中心 $2$ の像 $1/2$ は像の円の中心ではありません。実際、直径の端点 $1, 3$ の像は $1, 1/3$ なので、像は中心 $2/3$、半径 $1/3$ の円です。

4.2. 3 点定理と交比

Theorem 4.4（3 点の対応で決まる）

$z_1,z_2,z_3 \in \hat{\mathbb{C}}$ を相異なる 3 点、$w_1,w_2,w_3 \in \hat{\mathbb{C}}$ を相異なる 3 点とする。このとき $T(z_j) = w_j$（$j=1,2,3$）を満たすメビウス変換 $T$ がただ 1 つ存在する。

Proof（Theorem 4.4）

存在。 まず $(w_1,w_2,w_3) = (0,1,\infty)$ の場合を作ります。$z_1,z_2,z_3$ がすべて有限のとき

$$S(z) = \frac{z-z_1}{z-z_3}\cdot\frac{z_2-z_3}{z_2-z_1}$$

とおきます。これは $S(z) = (az+b)/(cz+d)$ の形で、$a = z_2-z_3$、$b = -z_1(z_2-z_3)$、$c = z_2-z_1$、$d = -z_3(z_2-z_1)$ です。行列式を計算すると

$$ad-bc = -z_3(z_2-z_3)(z_2-z_1) + z_1(z_2-z_3)(z_2-z_1) = (z_2-z_3)(z_2-z_1)(z_1-z_3)$$

となり、3 点が相異なることから $0$ ではありません。よって $S$ はメビウス変換で、代入すれば $S(z_1)=0$、$S(z_2)=1$、$S(z_3)=\infty$ を満たします。$z_j$ のいずれかが $\infty$ のときは、その因子を $1$ に置き換えた式（たとえば $z_1=\infty$ なら $S(z) = \frac{z_2-z_3}{z-z_3}$）を使えば同じ結論を得ます。同様に $w_1,w_2,w_3$ を $0,1,\infty$ へ写すメビウス変換 $S'$ をとれば、Proposition 4.2 (1) より $T = S'^{-1}\circ S$ がメビウス変換で、$T(z_j) = w_j$ を満たします。

一意性。 $T_1, T_2$ がともに条件を満たすとすると、$U = S' \circ T_1 \circ T_2^{-1}\circ S'^{-1}$ は $0,1,\infty$ を固定するメビウス変換です。$U(z) = (az+b)/(cz+d)$ と書きます。$U(\infty)=\infty$ から $c = 0$（$c\neq 0$ なら $U(\infty)=a/c \neq \infty$）、よって $U(z) = (az+b)/d$ で $ad \neq 0$。$U(0)=0$ から $b = 0$、$U(1)=1$ から $a = d$。ゆえに $U = \mathrm{id}$ です。$S'$ は全単射なので $T_1 = T_2$ を得ます。

∎

Definition 4.5（交比）

相異なる 3 点 $z_1,z_2,z_3 \in \hat{\mathbb{C}}$ と $z \in \hat{\mathbb{C}}$ に対し、$z_1 \mapsto 0$、$z_2 \mapsto 1$、$z_3 \mapsto \infty$ を満たす唯一のメビウス変換 $S$（Theorem 4.4）による像

$$(z, z_1, z_2, z_3) := S(z) = \frac{z-z_1}{z-z_3}\cdot\frac{z_2-z_3}{z_2-z_1}$$

を、この 4 点の交比という（$z_j$ が $\infty$ のときは対応する因子を $1$ と読む）。

交比はメビウス変換で不変です。実際、$T$ をメビウス変換とし、$S'$ を $Tz_1, Tz_2, Tz_3$ を $0,1,\infty$ に写す唯一の変換とすると、$S'\circ T$ は $z_1,z_2,z_3$ を $0,1,\infty$ に写すメビウス変換なので Theorem 4.4 の一意性から $S'\circ T = S$ です。したがって

$$(Tz, Tz_1, Tz_2, Tz_3) = S'(Tz) = S(z) = (z,z_1,z_2,z_3)$$

が成り立ちます。この不変性は実用的です。「$z_1,z_2,z_3$ を $w_1,w_2,w_3$ へ写す変換」を求めたければ、$(w,w_1,w_2,w_3) = (z,z_1,z_2,z_3)$ を $w$ について解けばよいのです。

Remark 4.6

交比 $(z,z_1,z_2,z_3)$ が実数（または $\infty$）であることは、4 点 $z,z_1,z_2,z_3$ が同一の一般化された円の上にあることと同値です。実際、$\hat{\mathbb{R}}=\mathbb{R}\cup\{\infty\}$ は $0,1,\infty$ を通る一般化された円であり、$S^{-1}$ が Theorem 4.3 により $\hat{\mathbb{R}}$ を $z_1,z_2,z_3$ を通る一般化された円へ写すからです。この事実は円円対応の別証明にもなっています。

Example 4.7（ケーリー変換：上半平面から単位円板へ）

$C(z) = \dfrac{z-i}{z+i}$ をケーリー変換といいます。これが $\mathbb{H}$ から $\mathbb{D}$ の上への双正則写像であることを確かめます。

$ad-bc = 1\cdot i - (-i)\cdot 1 = 2i \neq 0$ なのでメビウス変換です。核心は次の同値変形です。

$$|C(z)| < 1 \iff |z-i| < |z+i| \iff z \text{ が } -i \text{ より } i \text{ に近い} \iff \operatorname{Im} z > 0.$$

最後の同値は、$|z-i|^2 - |z+i|^2 = -4\operatorname{Im}z$ を直接計算すれば確かめられます。よって $C(\mathbb{H}) \subseteq \mathbb{D}$ であり、まったく同じ計算で $|C(z)| > 1 \iff \operatorname{Im}z < 0$、$|C(z)|=1 \iff z \in \mathbb{R}$ がわかります。$C$ は $\hat{\mathbb{C}}$ の全単射（Proposition 4.2）なので、$\mathbb{H}$ は $\mathbb{D}$ の上へ写ります。逆写像は $w(z+i) = z-i$ を $z$ について解いて

$$C^{-1}(w) = i\,\frac{1+w}{1-w}$$

です。境界の対応も見ておきましょう。$C(0) = -1$、$C(1) = \frac{1-i}{1+i} = \frac{(1-i)^2}{2} = -i$、$C(\infty) = 1$ なので、$\hat{\mathbb{R}}$ 上を $0 \to 1 \to \infty$ と進むとき像は単位円周上を $-1 \to -i \to 1$ と、下半分を通って進みます。どちらの場合も進行方向の左手側が領域（$\mathbb{H}$ とその像 $\mathbb{D}$）であり、向きが保たれていることがわかります。また $C(i) = 0$ なので、$\mathbb{H}$ の「中心」にあたる $i$ が円板の中心へ行きます。

5. シュワルツの補題と単位円板の自己同型

リーマンの写像定理は「単位円板へ写せる」という形で述べられます。そこで基準となる単位円板そのものの対称性を先に調べておきます。鍵になるのは、最大値原理のごく素直な帰結である次の補題です。

Lemma 5.1（シュワルツの補題）

$f : \mathbb{D} \to \mathbb{D}$ を正則で $f(0)=0$ を満たすものとする。このとき

$$|f(z)| \le |z| \quad (z \in \mathbb{D}), \qquad |f'(0)| \le 1$$

が成り立つ。さらに、ある $z_0 \in \mathbb{D}\setminus\{0\}$ で $|f(z_0)| = |z_0|$ となるか、または $|f'(0)| = 1$ となるならば、$|\lambda| = 1$ なる定数 $\lambda$ が存在して $f(z) = \lambda z$（すべての $z\in\mathbb{D}$）である。

Proof（Lemma 5.1）

$f$ は $\mathbb{D}$ 上正則で $f(0)=0$ なので、テイラー展開は $f(z) = \sum_{n\ge 1}a_nz^n$ の形です。そこで

$$g(z) = \sum_{n \ge 1} a_n z^{n-1} = \begin{cases} f(z)/z & (z \neq 0)\\ a_1 = f'(0) & (z = 0)\end{cases}$$

とおくと、右辺のべき級数は $f$ の級数と同じ収束半径（$\ge 1$）を持つので、$g$ は $\mathbb{D}$ 上正則です。

$0 < r < 1$ を固定します。$|z| = r$ のとき $|f(z)| < 1$（$f$ の像が $\mathbb{D}$ に入るから）なので $|g(z)| = |f(z)|/r < 1/r$ です。$g$ は閉円板 $\overline{D(0,r)}$ で正則、その内部で最大値原理が使えるので、$|g|$ の $\overline{D(0,r)}$ 上の最大値は境界 $|z|=r$ で達成されます。ゆえに $|z| \le r$ なるすべての $z$ で $|g(z)| \le 1/r$ です。

ここで $z \in \mathbb{D}$ を固定し、$r$ を $|z| < r < 1$ の範囲で $1$ に近づけると $|g(z)| \le 1/r \to 1$、すなわち $|g(z)| \le 1$ を得ます。これは $z \neq 0$ のとき $|f(z)| \le |z|$、$z=0$ のとき $|f'(0)| \le 1$ を意味します（$z=0$ では $|f(0)|=0=|0|$ も成り立ちます）。

等号の場合を見ます。$|f(z_0)|=|z_0|$（$z_0 \neq 0$）なら $|g(z_0)| = 1$、$|f'(0)|=1$ なら $|g(0)|=1$ です。いずれの場合も $|g|$ は領域 $\mathbb{D}$ の内点で最大値 $1$ に達しているので、最大値原理より $g$ は定数 $\lambda$、しかも $|\lambda| = 1$ です。よって $f(z) = \lambda z$ となります。

∎

Tip

シュワルツの補題の主張は「原点を固定する円板の自己写像は、原点からの距離を縮める」と読めます。回転以外に等号は起こらない、という剛性がこのあと効いてきます。

つづいて、円板の点 $a$ を中心へ動かす標準的な写像を用意します。$a \in \mathbb{D}$ に対し

$$\varphi_a(z) = \frac{z-a}{1-\bar{a}z}$$

とおきます。分母の零点は $z = 1/\bar{a}$ で、$|1/\bar a| = 1/|a| > 1$（$a\neq 0$ のとき）ですから、$\varphi_a$ は $\overline{\mathbb{D}}$ を含む開集合上で正則です。$ad-bc = 1\cdot 1 - (-a)(-\bar a) = 1-|a|^2 \neq 0$ なのでメビウス変換でもあります。基本的な性質を確認しておきます。

• $|z| = 1$ のとき $|1-\bar{a}z| = |z|\,|\bar{z}-\bar{a}| = |\overline{z-a}| = |z-a|$ なので $|\varphi_a(z)| = 1$。すなわち単位円周は単位円周へ写ります。したがって最大値原理から $\mathbb{D}$ 上で $|\varphi_a| \le 1$ であり、$\varphi_a$ は定数でないので $|\varphi_a| < 1$、つまり $\varphi_a(\mathbb{D}) \subseteq \mathbb{D}$ です。
• $\varphi_{-a}\circ\varphi_a = \mathrm{id}$。実際

$$\varphi_{-a}(\varphi_a(z)) = \frac{\dfrac{z-a}{1-\bar{a}z}+a}{1+\bar{a}\dfrac{z-a}{1-\bar{a}z}} = \frac{(z-a)+a(1-\bar{a}z)}{(1-\bar{a}z)+\bar{a}(z-a)} = \frac{z(1-|a|^2)}{1-|a|^2} = z.$$

同様に $\varphi_a \circ \varphi_{-a} = \mathrm{id}$ なので、$\varphi_a$ は $\mathbb{D}$ から $\mathbb{D}$ の上への双正則写像です。

• $\varphi_a(a) = 0$、$\varphi_a(0) = -a$。

Definition 5.2（単連結領域）

領域 $\Omega \subseteq \mathbb{C}$ が単連結であるとは、$\Omega$ 内の任意の閉曲線が $\Omega$ の中で 1 点にホモトープであることをいう。同値な言い換えとして、$\Omega$ が単連結であることは $\hat{\mathbb{C}}\setminus\Omega$ が連結であることと同値であり、また「$\Omega$ 上の任意の正則関数が原始関数を持つ」「$\Omega$ 上の零点を持たない任意の正則関数が正則な対数を持つ」とも同値である。

$\mathbb{D}$、$\mathbb{H}$、凸領域、星形領域はいずれも単連結です。一方、円環 $\{1 < |z| < 2\}$ や穴あき円板 $\mathbb{D}\setminus\{0\}$ は単連結ではありません。Definition 5.2 に挙げた同値条件のうち「零点を持たない正則関数が正則な対数（したがって正則な平方根）を持つ」は、リーマンの写像定理の証明で決定的に効きます。

Theorem 5.3（単位円板の自己同型群）

$\mathrm{Aut}(\mathbb{D})$ を $\mathbb{D}$ から $\mathbb{D}$ の上への双正則写像全体（合成に関する群）とすると、

$$\mathrm{Aut}(\mathbb{D}) = \left\{ z \mapsto e^{i\theta}\,\frac{z-a}{1-\bar{a}z} \ :\ \theta \in \mathbb{R},\ a \in \mathbb{D}\right\}.$$

とくに $\mathbb{D}$ の自己同型はすべてメビウス変換であり、$\mathrm{Aut}(\mathbb{D})$ は $\mathbb{D}$ に推移的に作用する。

Proof（Theorem 5.3）

（$\supseteq$） 上で確かめたとおり $\varphi_a \in \mathrm{Aut}(\mathbb{D})$ であり、回転 $z \mapsto e^{i\theta}z$ も明らかに $\mathbb{D}$ の自己同型（逆写像は $z\mapsto e^{-i\theta}z$）ですから、その合成 $e^{i\theta}\varphi_a$ も $\mathrm{Aut}(\mathbb{D})$ に属します。

（$\subseteq$） $f \in \mathrm{Aut}(\mathbb{D})$ とし、$a = f^{-1}(0) \in \mathbb{D}$ とおきます。$g = f \circ \varphi_{-a}$ と定めると、$\varphi_{-a} = \varphi_a^{-1}$ も自己同型なので $g \in \mathrm{Aut}(\mathbb{D})$ であり、

$$g(0) = f(\varphi_{-a}(0)) = f(a) = 0$$

です（$\varphi_{-a}(0) = -(-a) = a$ を使いました）。$g$ は $\mathbb{D}$ から $\mathbb{D}$ への正則写像で $g(0)=0$ なので Lemma 5.1 より $|g(z)| \le |z|$ です。同じ議論を $g^{-1}$（これも $\mathrm{Aut}(\mathbb{D})$ の元で $g^{-1}(0)=0$）に適用すると $|g^{-1}(w)| \le |w|$ で、$w = g(z)$ を代入して $|z| \le |g(z)|$ を得ます。両者を合わせて $|g(z)| = |z|$ がすべての $z$ で成り立つので、$z \neq 0$ を 1 つとれば Lemma 5.1 の等号の場合が適用でき、$|\lambda|=1$ なる $\lambda$ を用いて $g(z) = \lambda z$ と書けます。$\lambda = e^{i\theta}$ とおけば

$$f = g \circ \varphi_{-a}^{-1} = g\circ\varphi_a, \qquad \text{すなわち} \quad f(z) = e^{i\theta}\varphi_a(z)$$

です。推移性は、任意の $a, b \in \mathbb{D}$ に対し $\varphi_b^{-1}\circ\varphi_a$ が $a$ を $b$ へ写すことからわかります。

∎

6. リーマンの写像定理

ここまでで、円板・上半平面・帯・第一象限といった具体的な領域が互いに等角同値であることを見てきました。では、もっと複雑な領域はどうでしょうか。境界がフラクタルのようにギザギザな領域や、細長く曲がりくねった領域も円板と等角同値なのでしょうか。リーマンの答えは「$\mathbb{C}$ 全体でない単連結領域なら、いつでもそうだ」という、驚くほど強いものです。

Theorem 6.1（リーマンの写像定理）

$\Omega \subseteq \mathbb{C}$ を単連結領域で $\Omega \neq \mathbb{C}$ を満たすものとし、$z_0 \in \Omega$ とする。このとき、双正則写像 $f : \Omega \to \mathbb{D}$ で

$$f(z_0) = 0, \qquad f'(z_0) > 0$$

（$f'(z_0)$ が正の実数）を満たすものがただ 1 つ存在する。とくに、$\mathbb{C}$ でない単連結領域はすべて互いに等角同値である。

Proof（Theorem 6.1）

ここでは一意性を示します。存在の証明は Appendix に回します。

$f, g$ がともに条件を満たすとします。$h = f \circ g^{-1} : \mathbb{D}\to\mathbb{D}$ は双正則写像の合成なので $h \in \mathrm{Aut}(\mathbb{D})$ であり、$h(0) = f(g^{-1}(0)) = f(z_0) = 0$ です。Theorem 5.3 より $h(z) = e^{i\theta}\varphi_a(z)$ と書けますが、$h(0) = e^{i\theta}\varphi_a(0) = -e^{i\theta}a = 0$ から $a = 0$、すなわち $h(z) = e^{i\theta}z$ です。

次に $h$ の $0$ での微分を計算します。合成関数の微分法と逆関数の微分法から

$$h'(0) = f'(g^{-1}(0))\cdot (g^{-1})'(0) = \frac{f'(z_0)}{g'(z_0)}.$$

仮定より $f'(z_0) > 0$、$g'(z_0) > 0$ なので $h'(0) > 0$ です。一方 $h'(0) = e^{i\theta}$ ですから、$e^{i\theta}$ は正の実数で絶対値 $1$、つまり $e^{i\theta} = 1$。よって $h = \mathrm{id}$、すなわち $f = g$ です。

最後の主張は、$\Omega_1, \Omega_2$ が条件を満たす領域のとき、$f_j : \Omega_j \to \mathbb{D}$ を上の写像とすれば $f_2^{-1}\circ f_1 : \Omega_1 \to \Omega_2$ が双正則であることからわかります。

∎

正規化条件「$f(z_0)=0$ かつ $f'(z_0) > 0$」は、Theorem 5.3 が示す $\mathrm{Aut}(\mathbb{D})$ の自由度（$a$ が 2 次元、$\theta$ が 1 次元の計 3 次元）をちょうど消し去るために置かれています。写像は 1 つに決まりますが、$z_0$ の取り方を変えれば別の写像になります。

Remark 6.2

2 つの仮定はどちらも落とせません。

$\Omega \neq \mathbb{C}$ が必要。 もし双正則写像 $f : \mathbb{C}\to\mathbb{D}$ があれば、$f$ は有界な整関数なのでリウヴィルの定理から定数となり、全単射であることに矛盾します。したがって $\mathbb{C}$ は単連結ですが $\mathbb{D}$ と等角同値ではありません。$\hat{\mathbb{C}}$、$\mathbb{C}$、$\mathbb{D}$ の 3 つが単連結リーマン面の同型類のすべてである、というのが一般化された形（一意化定理）です。

単連結性が必要。 双正則写像は同相写像でもあるので、$\Omega$ が $\mathbb{D}$ と等角同値なら $\Omega$ は $\mathbb{D}$ と同相であり、単連結性は位相的性質ですから $\Omega$ も単連結です。つまり単連結性は必要条件でもあります。

さらに、単連結でない領域では「形」が連続的な不変量として残ります。円環 $A(r,R) = \{z : r < |z| < R\}$ と $A(r',R')$ が等角同値であるための必要十分条件は $R/r = R'/r'$ であることが知られています。比 $R/r$（の対数）は円環のモジュラスと呼ばれ、連続的に変化する不変量です。したがって二重連結領域に対する写像定理は成り立ちません。証明は Ahlfors の教科書の円環の章にあります。

Remark 6.3

リーマンの写像定理は純粋な存在定理で、写像を具体的に書き下す方法は与えません。実際、明示的な公式が得られる領域は限られています。多角形に対してはシュワルツ・クリストッフェルの公式があり、内角 $\alpha_1\pi, \ldots, \alpha_n\pi$ の多角形の内部へ $\mathbb{H}$ を写す双正則写像は

$$f(z) = C_1 + C_2\int_{z_1}^{z}\prod_{k=1}^{n}(\zeta - x_k)^{\alpha_k - 1}\,d\zeta$$

の形になります（$x_k \in \mathbb{R}$ は頂点に対応する境界点）。ただし $x_k$ を所望の多角形に合わせて決める部分は、一般には数値的にしか解けません。

境界の対応についてはカラテオドリの定理があります。$\Omega$ の境界がジョルダン曲線（単純閉曲線）ならば、リーマン写像 $f:\Omega\to\mathbb{D}$ は閉包の間の同相写像 $\overline{\Omega}\to\overline{\mathbb{D}}$ に延長されます。定理の主張自体は境界に何も要求しないのに、境界が良ければ写像も境界まで良く延びる、というわけです。

Example 6.4（上半円板を単位円板へ写す）

$D^{+} = \{z \in \mathbb{D} : \operatorname{Im}z > 0\}$（上半円板）は凸領域なので単連結で、$\mathbb{C}$ とは異なります。Theorem 6.1 により $\mathbb{D}$ と等角同値ですが、この場合は写像を手で作れます。3 段階に分けます。

第 1 段：$D^{+} \to Q$（第一象限）。 $T(z) = \dfrac{1+z}{1-z}$ とおきます。$T$ はメビウス変換（$ad-bc = 1\cdot 1 - 1\cdot(-1) = 2 \neq 0$）で、$T(-1) = 0$、$T(i) = \dfrac{1+i}{1-i} = \dfrac{(1+i)^2}{2} = i$、$T(1) = \infty$ です。Theorem 4.3 より、上半単位円周（$-1, i, 1$ を通る一般化された円の一部）は $0, i, \infty$ を通る一般化された円、すなわち虚軸に写ります。同様に区間 $(-1,1)$ は $0$ と $\infty$ を結ぶ実軸の一部、正の実軸に写ります（$T(0) = 1 > 0$ による）。内点 $z = i/2$ の像は

$$T(i/2) = \frac{1+i/2}{1-i/2} = \frac{(1+i/2)^2}{|1-i/2|^2} = \frac{3/4 + i}{5/4} = \frac{3}{5}+\frac{4}{5}i$$

で第一象限にあります。$T$ は $\hat{\mathbb{C}}$ の全単射で境界が第一象限の境界に写ることから、$T(D^{+}) = Q$ です。

第 2 段：$Q \to \mathbb{H}$。 Example 3.4 の $w \mapsto w^2$ です。

第 3 段：$\mathbb{H}\to\mathbb{D}$。 Example 4.7 のケーリー変換 $C$ です。

合成すると

$$F(z) = C\left(\left(\frac{1+z}{1-z}\right)^{2}\right) = \frac{(1+z)^2 - i(1-z)^2}{(1+z)^2 + i(1-z)^2}$$

（分母・分子に $(1-z)^2$ を掛けました）が $D^{+}$ から $\mathbb{D}$ への双正則写像です。検算しましょう。$z = i/2$ のとき第 1 段の像は $\frac35+\frac45 i$、第 2 段でその 2 乗 $-\frac{7}{25}+\frac{24}{25}i$（確かに上半平面）、第 3 段で

$$\frac{-\frac{7}{25}+\frac{24}{25}i - i}{-\frac{7}{25}+\frac{24}{25}i+i} = \frac{-7-i}{-7+49i} = \frac{-(7+i)}{7(-1+7i)} = \frac{-(7+i)(-1-7i)}{7\,|-1+7i|^{2}} = \frac{50i}{7\cdot 50} = \frac{i}{7}$$

となります（$-(7+i)(-1-7i) = -(-7-49i-i+7) = 50i$ と $|-1+7i|^2 = 50$ を使いました）。確かに $|i/7| < 1$ で、$\mathbb{D}$ の中に入っています。

flowchart LR
A["上半円板"] -->|"(1+z)/(1-z)"| B["第一象限"]
B -->|"2 乗"| C["上半平面"]
C -->|"(z-i)/(z+i)"| D["単位円板"]

上半円板を単位円板へ写す 3 段階。各段はメビウス変換・べき乗・メビウス変換で、いずれも等角です。

7. 応用：調和関数の移送とディリクレ問題

等角写像が単なる幾何学的な余興ではなく道具になるのは、次の性質があるからです。実 2 変数関数 $u$ が領域 $\Omega$ 上で調和であるとは、$u$ が $C^2$ 級でラプラス方程式 $\Delta u = u_{xx}+u_{yy} = 0$ を満たすことをいいます。定常温度分布、静電ポテンシャル、非圧縮非回転流れの速度ポテンシャルなど、物理に現れる場の多くが調和関数です。

Proposition 7.1（調和性は正則写像で保たれる）

$\Omega, \Omega'$ を領域、$f : \Omega \to \Omega'$ を正則写像、$u : \Omega' \to \mathbb{R}$ を調和関数とする。このとき $u \circ f$ は $\Omega$ 上で調和である。さらに恒等式

$$\Delta(u\circ f) = \bigl((\Delta u)\circ f\bigr)\,|f'|^2$$

が成り立つ。

Proof（Proposition 7.1）

調和性は局所的な性質なので、各点の近傍で示せば十分です。$z_1 \in \Omega$ をとり、$w_1 = f(z_1) \in \Omega'$ とします。$\Omega'$ は開集合なので円板 $D = D(w_1, R) \subseteq \Omega'$ がとれます。

円板上で $u$ は正則関数の実部になる。 $g = u_x - i u_y$ とおきます。$u$ が調和で $C^2$ 級（実は調和関数は $C^\infty$ 級です）なので、$g = P + iQ$（$P = u_x$、$Q = -u_y$）に対して

$$P_x = u_{xx} = -u_{yy} = Q_y, \qquad P_y = u_{xy} = u_{yx} = -Q_x$$

が成り立ちます。1 つ目の等号で $\Delta u = 0$ を、2 つ目で偏微分の順序交換（シュワルツの定理（Theorem 7.1）［多変数関数の微分と偏微分］、$u \in C^2$）を使いました。これはコーシー・リーマンの関係式なので $g$ は $D$ 上正則です。$D$ は円板なので $g$ は原始関数 $F$ を持ちます（$D$ 上の正則関数の積分は経路に依らない、という コーシーの積分定理（Theorem 4.3）［コーシーの積分定理と積分公式］ の帰結です。コーシーの積分定理と積分公式 を参照）。$F = U+iV$ と書くと、コーシー・リーマンの関係式から $F' = U_x + iV_x = U_x - iU_y$ です。$F' = g = u_x - iu_y$ と比べて $U_x = u_x$、$U_y = u_y$、すなわち $u - U$ は連結集合 $D$ 上で定数です。この定数を $F$ に足して $u = \operatorname{Re}F$ としてよいことになります。

合成。 $V_1 = f^{-1}(D)$ は $z_1$ を含む開集合で、その上で $F\circ f$ は正則関数の合成なので正則です。したがって

$$(u\circ f)(z) = \operatorname{Re}\bigl(F(f(z))\bigr) \qquad (z \in V_1)$$

は正則関数の実部であり、$V_1$ 上で調和です（正則関数の実部・虚部が調和であることは、コーシー・リーマンの関係式を微分して得られます。実部・虚部は調和関数（Corollary 5.7）［Holomorphic Functions and the Cauchy-Riemann Equations］）。$z_1$ は任意だったので $u\circ f$ は $\Omega$ 全体で調和です。

恒等式については、$u$ が調和でない一般の $C^2$ 級関数についても、$f = p+iq$ と書いて連鎖律を 2 回使い、コーシー・リーマンの関係式 $p_x = q_y$、$p_y = -q_x$ と $p, q$ の調和性を用いると、交叉項が消えて $\Delta(u\circ f) = (u_{xx}+u_{yy})\circ f\cdot(p_x^2+q_x^2) = ((\Delta u)\circ f)|f'|^2$ が得られます。

∎

この命題は、ディリクレ問題（領域 $\Omega$ 上で調和、境界で与えられた値をとる関数を求める問題）を「解ける領域」へ移す道を開きます。$\Omega$ から解ける領域 $\Omega'$ への双正則写像 $f$ があり、$f$ が境界まで連続に延びるならば、$\Omega'$ 上の解 $u$ を引き戻した $u\circ f$ が $\Omega$ 上の解になるからです。

Example 7.2（上半円板のディリクレ問題を解く）

$D^{+} = \{z\in\mathbb{D} : \operatorname{Im}z > 0\}$ 上で調和で、直径部分 $(-1,1)$ で値 $0$、上半円周 $\{e^{i\phi} : 0 < \phi < \pi\}$ で値 $1$ をとる関数 $u$ を求めます。

上半平面・第一象限では解ける。 主枝の対数 $\operatorname{Log}w = \log|w| + i\operatorname{Arg}w$（$-\pi < \operatorname{Arg}w < \pi$）は $\mathbb{C}\setminus(-\infty,0]$ 上で正則（対数の主枝の正則性（Theorem 6.9）［Holomorphic Functions and the Cauchy-Riemann Equations］）なので、その虚部 $\operatorname{Arg}w$ はそこで調和です。第一象限 $Q$ 上では $\operatorname{Arg}w \in (0,\pi/2)$ で、正の実軸に近づけると $0$、正の虚軸に近づけると $\pi/2$ に収束します。したがって

$$v(w) = \frac{2}{\pi}\operatorname{Arg}w$$

は $Q$ 上で調和、正の実軸で $0$、正の虚軸で $1$ という境界値を持ちます。

引き戻す。 Example 6.4 の第 1 段で見たとおり、$T(z) = \dfrac{1+z}{1-z}$ は $D^{+}$ を $Q$ の上へ双正則に写し、直径 $(-1,1)$ を正の実軸へ、上半円周を正の虚軸へ写します。よって Proposition 7.1 により

$$u(z) = v(T(z)) = \frac{2}{\pi}\operatorname{Arg}\frac{1+z}{1-z}$$

は $D^{+}$ 上で調和で、$T$ が境界まで連続（$z = 1$ を除く）であることから所望の境界値をとります。

値をひとつ計算する。 $z = i/2$ では $T(i/2) = \frac35+\frac45 i$ なので

$$u(i/2) = \frac{2}{\pi}\arctan\frac{4/5}{3/5} = \frac{2}{\pi}\arctan\frac43 = \frac{2 \times 0.9273}{3.1416} = 0.590\ldots$$

です。$i/2$ は直径からも円周からも距離 $1/2$ ですが、円周のほうが「見込む角」が大きいぶん、値が $1/2$ より大きくなっています。この $u$ は物理的には、直径を $0$ 度、円弧を $1$ 度に保った半円板の定常温度分布です。

8. 演習

Exercise 8.1易

恒等写像でないメビウス変換 $T$ の $\hat{\mathbb{C}}$ における不動点（$T(z)=z$ を満たす $z$）は、たかだか 2 個であることを示してください。またこれを用いて、Theorem 4.4 の一意性の部分に別証明を与えてください。

Solution

$T(z) = \dfrac{az+b}{cz+d}$、$ad-bc \neq 0$、$T \neq \mathrm{id}$ とします。

場合 1：$c \neq 0$。 このとき $T(\infty) = a/c \neq \infty$ なので $\infty$ は不動点ではありません。有限な不動点は $\dfrac{az+b}{cz+d} = z$、すなわち

$$cz^2 + (d-a)z - b = 0$$

の解です。$c \neq 0$ なのでこれは真の 2 次方程式で、解はたかだか 2 個です。

場合 2：$c = 0$。 このとき $ad \neq 0$ で $T(z) = \alpha z + \beta$（$\alpha = a/d \neq 0$、$\beta = b/d$）と書け、$\infty$ は不動点です。有限な不動点は $\alpha z + \beta = z$ の解です。$\alpha \neq 1$ なら $z = \beta/(1-\alpha)$ のただ 1 個で、不動点は合計 2 個。$\alpha = 1$ かつ $\beta \neq 0$ なら有限な不動点はなく、合計 1 個。$\alpha = 1$ かつ $\beta = 0$ は $T = \mathrm{id}$ で除外されています。

いずれの場合もたかだか 2 個です。

一意性の別証明。 $T_1, T_2$ がともに $z_j \mapsto w_j$（$j=1,2,3$）を満たすとすると、$T_2^{-1}\circ T_1$ はメビウス変換（Proposition 4.2）で、相異なる 3 点 $z_1,z_2,z_3$ をすべて固定します。上で示したことから、不動点を 3 個以上持つメビウス変換は恒等写像しかないので $T_2^{-1}\circ T_1 = \mathrm{id}$、すなわち $T_1 = T_2$ です。

Exercise 8.2標準

帯 $S = \{z : 0 < \operatorname{Im}z < \pi\}$ から単位円板 $\mathbb{D}$ への双正則写像を 1 つ具体的に構成し、それが Theorem 6.1 の正規化条件を $z_0 = i\pi/2$ に対して満たすことを確かめてください。

Solution

Example 3.5 より $z \mapsto e^z$ は $S$ から $\mathbb{H}$ への双正則写像、Example 4.7 より $C(w) = \dfrac{w-i}{w+i}$ は $\mathbb{H}$ から $\mathbb{D}$ への双正則写像です。双正則写像の合成は双正則なので

$$f(z) = \frac{e^{z}-i}{e^{z}+i}$$

は $S$ から $\mathbb{D}$ への双正則写像です。

$z_0 = i\pi/2$ では $e^{z_0} = e^{i\pi/2} = i$ なので $f(z_0) = \dfrac{i-i}{i+i} = 0$ で、第 1 の条件を満たします。

微分を計算します。$w = e^z$ とおくと $\dfrac{dC}{dw} = \dfrac{(w+i)-(w-i)}{(w+i)^2} = \dfrac{2i}{(w+i)^2}$、$\dfrac{dw}{dz} = e^z$ なので、連鎖律より

$$f'(z) = \frac{2i\,e^{z}}{(e^{z}+i)^{2}}, \qquad f'\!\left(\frac{i\pi}{2}\right) = \frac{2i\cdot i}{(i+i)^2} = \frac{-2}{-4} = \frac12 > 0.$$

よって第 2 の条件も満たします。Theorem 6.1 の一意性から、この $f$ が $(S, i\pi/2)$ に対するリーマン写像そのものです。

Exercise 8.3標準

上半平面の自己同型群が

$$\mathrm{Aut}(\mathbb{H}) = \left\{ z\mapsto \frac{az+b}{cz+d} \ :\ a,b,c,d\in\mathbb{R},\ ad-bc > 0\right\}$$

であることを示してください。

Solution

（$\supseteq$） $a,b,c,d$ を実数、$ad-bc>0$ とし、$T(z)=(az+b)/(cz+d)$ とします。分母を実数化すると

$$T(z) = \frac{(az+b)\overline{(cz+d)}}{|cz+d|^2} = \frac{ac|z|^2 + adz + bc\bar{z} + bd}{|cz+d|^2}$$

で、分子の虚部は $ad\operatorname{Im}z + bc\operatorname{Im}\bar{z} = (ad-bc)\operatorname{Im}z$ です（$ac|z|^2$ と $bd$ は実数）。よって

$$\operatorname{Im}T(z) = \frac{(ad-bc)\operatorname{Im}z}{|cz+d|^2}.$$

$ad-bc>0$ なので $\operatorname{Im}z>0 \Rightarrow \operatorname{Im}T(z)>0$、つまり $T(\mathbb{H})\subseteq\mathbb{H}$ です。逆変換 $T^{-1}$ の係数 $d, -b, -c, a$ も実数で行列式は同じ $ad-bc>0$ ですから、同じ理由で $T^{-1}(\mathbb{H})\subseteq\mathbb{H}$。したがって $T \in \mathrm{Aut}(\mathbb{H})$ です。

（$\subseteq$） $f\in\mathrm{Aut}(\mathbb{H})$ とします。ケーリー変換 $C$（Example 4.7）を使うと $g = C\circ f\circ C^{-1} \in \mathrm{Aut}(\mathbb{D})$ で、Theorem 5.3 より $g$ はメビウス変換です。よって $f = C^{-1}\circ g\circ C$ もメビウス変換です（Proposition 4.2 の群構造）。

$f$ は $\hat{\mathbb{C}}$ の同相写像で $f(\mathbb{H})=\mathbb{H}$ なので、境界も境界へ写り $f(\hat{\mathbb{R}}) = \hat{\mathbb{R}}$ です。そこで $x_1 = f^{-1}(0)$、$x_2 = f^{-1}(1)$、$x_3 = f^{-1}(\infty)$ とおくと、これらは $\hat{\mathbb{R}}$ の相異なる 3 点です。$f$ は $x_1,x_2,x_3$ を $0,1,\infty$ へ写すので、Theorem 4.4 の一意性から $f$ は Definition 4.5 の $S(z) = (z,x_1,x_2,x_3)$ に一致します。この $S$ の係数は $x_1,x_2,x_3$ の有理式で、$x_j$ が実数（または $\infty$）なのですべて実数にとれます。

最後に符号です。上で導いた式に $z = i$ を代入すると $\operatorname{Im}f(i) = \dfrac{ad-bc}{|ci+d|^2}$ で、$f(i)\in\mathbb{H}$ より左辺は正、よって $ad-bc>0$ です。

なお係数を $ad-bc=1$ と正規化すれば（全体を $\sqrt{ad-bc}$ で割る）、$\mathrm{Aut}(\mathbb{H}) \cong PSL_2(\mathbb{R}) = SL_2(\mathbb{R})/\{\pm I\}$ が得られます。

Exercise 8.4難

（シュワルツ・ピックの補題）$f : \mathbb{D}\to\mathbb{D}$ を正則とする。任意の $z_1, z_2 \in \mathbb{D}$ に対し

$$\left|\frac{f(z_1)-f(z_2)}{1-\overline{f(z_2)}\,f(z_1)}\right| \le \left|\frac{z_1-z_2}{1-\bar{z}_2 z_1}\right|$$

が成り立つことを示してください。さらに $z_1 \to z_2$ の極限をとって、微分形

$$\frac{|f'(z)|}{1-|f(z)|^2} \le \frac{1}{1-|z|^2} \qquad (z\in\mathbb{D})$$

を導いてください。

Solution

$a = z_2 \in \mathbb{D}$ を固定し、$b = f(a) \in \mathbb{D}$ とおきます。§5 で導入した $\varphi_a(z) = \dfrac{z-a}{1-\bar{a}z}$ を用いて

$$g = \varphi_b \circ f \circ \varphi_{-a}$$

と定めます。$\varphi_{-a} = \varphi_a^{-1} : \mathbb{D}\to\mathbb{D}$、$f:\mathbb{D}\to\mathbb{D}$、$\varphi_b:\mathbb{D}\to\mathbb{D}$ はいずれも $\mathbb{D}$ を $\mathbb{D}$ の中へ写す正則写像なので、$g : \mathbb{D}\to\mathbb{D}$ は正則です。さらに $\varphi_{-a}(0) = a$ より

$$g(0) = \varphi_b(f(a)) = \varphi_b(b) = 0$$

です。したがって Lemma 5.1 が適用でき、$|g(w)| \le |w|$（$w\in\mathbb{D}$）を得ます。

ここで $w = \varphi_a(z_1)$ とおくと $\varphi_{-a}(w) = z_1$ なので $g(w) = \varphi_b(f(z_1))$ で、不等式は

$$\left|\varphi_{f(z_2)}\bigl(f(z_1)\bigr)\right| \le \left|\varphi_{z_2}(z_1)\right|, \qquad\text{すなわち}\qquad \left|\frac{f(z_1)-f(z_2)}{1-\overline{f(z_2)}f(z_1)}\right| \le \left|\frac{z_1-z_2}{1-\bar{z}_2z_1}\right|$$

となります。これが求める不等式です。

微分形。 $z_2 = z$ を固定し、両辺を $|z_1 - z|$ で割ります。左辺は

$$\frac{|f(z_1)-f(z)|}{|z_1-z|}\cdot\frac{1}{\left|1-\overline{f(z)}f(z_1)\right|} \xrightarrow{\ z_1\to z\ } |f'(z)|\cdot\frac{1}{1-|f(z)|^2}$$

（$f$ の $z$ での微分可能性と、$f$ の連続性から $f(z_1)\to f(z)$、および $1-|f(z)|^2 > 0$ を使いました）。右辺は $\dfrac{1}{|1-\bar{z}z_1|} \to \dfrac{1}{1-|z|^2}$ です。よって

$$\frac{|f'(z)|}{1-|f(z)|^2}\le\frac{1}{1-|z|^2}$$

を得ます。これは、円板上の計量 $\dfrac{2|dz|}{1-|z|^2}$（ポアンカレ計量）に関して、$\mathbb{D}$ の任意の正則自己写像が距離を伸ばさないことを意味します。Theorem 5.3 の元はこの不等式で等号を与え、ポアンカレ計量の等長変換になっています。

参考文献

• L. V. Ahlfors, Complex Analysis, 3rd ed., McGraw-Hill, 1979 — 第 3 章（等角性・一次分数変換）と第 6 章（等角写像とリーマンの写像定理、円環の等角同値）。
• W. Rudin, Real and Complex Analysis, 3rd ed., McGraw-Hill, 1987 — 第 14 章 Conformal Mapping（単連結性の同値条件の一覧、写像定理、カラテオドリの定理）。
• E. M. Stein and R. Shakarchi, Complex Analysis, Princeton University Press, 2003 — 第 8 章 Conformal Mappings（具体的な写像の辞書とモンテルの定理を用いた証明）。
• 高橋礼司『新版 複素解析』東京大学出版会、1990 — 等角写像とリーマンの写像定理の章。
• B. Riemann, “Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse”, Inauguraldissertation, Göttingen, 1851（写像定理が最初に述べられた学位論文）。
• T. A. Driscoll and L. N. Trefethen, Schwarz–Christoffel Mapping, Cambridge University Press, 2002 — 多角形への等角写像の理論と数値計算。

Appendix: リーマンの写像定理の存在部分の証明

Theorem 6.1 の一意性は本文で示しました。ここでは存在の証明の筋道を、使う道具を明示しながらたどります。証明の戦略は「$|f'(z_0)|$ を最大にする単射写像を取り出すと、それが自動的に全射になる」という極値問題です。

使う 3 つの道具。 いずれも正則関数の族に関する標準的な定理です。

• モンテルの定理：領域 $\Omega$ 上の正則関数の族が一様有界（ある $M$ について族のすべての元が $|f|\le M$ を満たす）ならば正規族である。すなわち、その族の任意の点列は $\Omega$ 上で局所一様収束する部分列を持つ。
• ワイエルシュトラスの定理：正則関数列が局所一様収束すれば極限も正則で、導関数の列も導関数へ局所一様収束する。
• フルヴィッツの定理の系：領域上の単射正則関数の列が局所一様収束するとき、極限は単射であるか、または定数である。

第 1 段：$\Omega$ を単位円板の中に押し込める。 $\Omega \neq \mathbb{C}$ なので $a \in \mathbb{C}\setminus\Omega$ がとれます。$z \mapsto z-a$ は $\Omega$ 上で零点を持たない正則関数なので、$\Omega$ が単連結であること（Definition 5.2 の同値条件）から正則な平方根 $h$、すなわち $h(z)^2 = z-a$ を満たす正則関数が存在します。

この $h$ は単射です。$h(z_1)=h(z_2)$ なら両辺を 2 乗して $z_1 - a = z_2 - a$、よって $z_1 = z_2$ だからです。さらに $h(\Omega)$ と $-h(\Omega)$ は交わりません。もし $h(z_1) = -h(z_2)$ なら 2 乗して $z_1 = z_2$、したがって $h(z_1) = -h(z_1)$ すなわち $h(z_1)=0$ となり、$z_1 = a \notin \Omega$ となって矛盾するからです。

$h$ は定数でない正則関数なので、開写像定理から $h(\Omega)$ は開集合です。そこで $D(w_0,\rho)\subseteq h(\Omega)$ となる $w_0, \rho > 0$ をとると、上の非交叉性から $D(-w_0,\rho)$ は $h(\Omega)$ と交わりません。つまりすべての $z\in\Omega$ で $|h(z)+w_0| \ge \rho$ です。ここで

$$\psi(z) = \frac{\rho}{2\bigl(h(z)+w_0\bigr)}$$

とおくと、$\psi$ は $\Omega$ 上正則、$|\psi(z)| \le 1/2 < 1$、そして $h$ が単射でメビウス変換が単射だから $\psi$ も単射です。最後に $\varphi_{\psi(z_0)}\circ\psi$（$\varphi$ は §5 の写像）を考えれば、$\Omega$ から $\mathbb{D}$ への単射正則写像で $z_0$ を $0$ へ写すものが得られます。

第 2 段：極値問題を解く。 上で存在を確かめた族

$$\mathcal{F} = \{\,f : \Omega\to\mathbb{D} \ \text{単射正則},\ f(z_0)=0\,\}$$

は空ではありません。$\overline{D(z_0,r)}\subseteq\Omega$ となる $r>0$ をとると、コーシーの評価式（Proposition 4.1）［正則関数の強力な性質］ から任意の $f\in\mathcal{F}$ で $|f'(z_0)| \le 1/r$ です。したがって

$$M = \sup_{f\in\mathcal{F}}|f'(z_0)| \le \frac{1}{r} < \infty$$

は有限で、$\mathcal{F}$ の元は単射なので定数ではなく、$M > 0$ です。

$|f_n'(z_0)| \to M$ となる列 $f_n \in \mathcal{F}$ をとります。$\mathcal{F}$ は $|f|<1$ で一様有界なのでモンテルの定理より正規族で、局所一様収束する部分列 $f_{n_k}\to f$ がとれます。ワイエルシュトラスの定理より $f$ は正則で $f_{n_k}'(z_0)\to f'(z_0)$、ゆえに $|f'(z_0)| = M > 0$ です。とくに $f$ は定数ではないので、フルヴィッツの定理の系から $f$ は単射です。また $|f|\le 1$ で、$f$ は定数でないから最大値原理により $|f| < 1$、すなわち $f(\Omega)\subseteq\mathbb{D}$ です。$f(z_0) = \lim f_{n_k}(z_0) = 0$ なので $f \in \mathcal{F}$ であり、上限 $M$ は実際に達成されます。

第 3 段：最大値を与える写像は全射である。 $f$ が全射でないと仮定し、$w_0 \in \mathbb{D}\setminus f(\Omega)$ をとります。$\varphi_{w_0}\circ f$ は $\Omega$ 上で零点を持たない正則関数なので（$f(z) \neq w_0$ より）、単連結性から正則な平方根 $G$、つまり $G^2 = \varphi_{w_0}\circ f$ を満たす $G$ が存在します。$|G|^2 = |\varphi_{w_0}\circ f| < 1$ より $G$ は $\mathbb{D}$ に値をとり、$G(z_1)=G(z_2)$ なら 2 乗して $\varphi_{w_0}(f(z_1)) = \varphi_{w_0}(f(z_2))$、$\varphi_{w_0}$ と $f$ の単射性から $z_1=z_2$ なので $G$ は単射です。

そこで $\tilde{f} = \varphi_{G(z_0)}\circ G$ とおくと、$\tilde f$ は単射正則で $\mathbb{D}$ に値をとり、$\tilde f(z_0) = \varphi_{G(z_0)}(G(z_0)) = 0$ ですから $\tilde f \in \mathcal{F}$ です。

ここで $s(w) = w^2$ とし、

$$\Phi = \varphi_{w_0}^{-1}\circ s \circ \varphi_{G(z_0)}^{-1} : \mathbb{D}\to\mathbb{D}$$

とおきます。これは正則で、$\varphi_{G(z_0)}^{-1}(0) = G(z_0)$、$s(G(z_0)) = \varphi_{w_0}(f(z_0)) = \varphi_{w_0}(0) = -w_0$、$\varphi_{w_0}^{-1}(-w_0) = 0$ より $\Phi(0)=0$ を満たします。さらに

$$\Phi\circ\tilde f = \varphi_{w_0}^{-1}\circ s\circ\varphi_{G(z_0)}^{-1}\circ\varphi_{G(z_0)}\circ G = \varphi_{w_0}^{-1}\circ s\circ G = \varphi_{w_0}^{-1}\bigl(\varphi_{w_0}\circ f\bigr) = f$$

が成り立ちます。$\varphi_{w_0}^{-1}$ と $\varphi_{G(z_0)}^{-1}$ は全単射で $s$ は $\mathbb{D}\setminus\{0\}$ 上 2 対 1 なので、$\Phi$ は単射ではありません。したがって $\Phi$ は回転 $w\mapsto \lambda w$（$|\lambda|=1$）ではありえず、Lemma 5.1 の等号の場合が排除されて $|\Phi'(0)| < 1$ を得ます。連鎖律より

$$M = |f'(z_0)| = |\Phi'(0)|\cdot|\tilde f'(z_0)| < |\tilde f'(z_0)| \le M$$

となって矛盾します。ゆえに $f$ は $\mathbb{D}$ の上への全単射で、Remark 2.2 により双正則です。

仕上げ。 最後に $f'(z_0) = |f'(z_0)|e^{i\alpha}$ と書いて $e^{-i\alpha}f$ に取り替えれば、$e^{-i\alpha}f$ も $\mathcal{F}$ の元で $\mathbb{D}$ の上への双正則写像であり、その $z_0$ での微分は $|f'(z_0)| = M > 0$ です。これで正規化条件を満たす写像の存在が示されました。