シュワルツの補題とその応用
シュワルツの補題は、単位円板上の正則関数に対する強力な評価を与える定理だ。見た目は単純だが、等角写像の理論やリーマンの写像定理の証明など、複素解析の様々な場面で活躍する。
補題の主張
を単位円板 \mathbb{D} = \{z \in \mathbb{C} : |z| < 1\} から への正則関数で、 を満たすとする。このとき
が成り立つ。さらに、ある で となるか、または ならば、(回転写像)の形に限る。
証明の概略
と定義する。 なので は でも正則に拡張でき、 となる。|z| = r < 1 上で
最大値原理により、 でも が成り立つ。 とすれば 、すなわち を得る。
等号成立の場合は最大値原理の等号条件から が定数となり、 が従う。
シュワルツ・ピックの定理
原点を固定する条件を外した一般化がシュワルツ・ピックの定理だ。 が正則ならば、任意の に対して
が成り立つ。左辺と右辺はそれぞれ双曲距離(ポアンカレ距離)を用いた表現で、正則関数は双曲距離を縮小するという主張になっている。
という条件付きで を主張
条件なしで双曲距離の非増大性を主張。より一般的で幾何学的
応用:自己同型群の決定
シュワルツの補題を用いると、単位円板の正則自己同型写像が完全に決定できる。 が全単射かつ正則ならば、 はメビウス変換
f(z) = e^{i\theta} \frac{z - a}{1 - \bar{a} z}, \quad |a| < 1
の形に限る。これは の自己同型群が と同型であることを意味する。
応用:リウヴィルの定理の別証明
有界な整関数が定数であるというリウヴィルの定理も、シュワルツの補題から導ける。 が有界整関数で とすると、 は から への正則関数で 。シュワルツの補題から 、すなわち が任意の で成り立つ。 で を得る。同様の議論を任意の点で行えば となり、 は定数だ。