シュワルツの補題

シュワルツの補題（ドイツ語: Schwarzsche Lemma、英語: Schwarz lemma）は、ドイツの数学者ヘルマン・アマンドゥス・シュワルツにちなむ、複素解析における正則関数の性質に関する定理である。複素関数が正則であるために満たすべき、強い制約条件の1つを端的に示し、リーマンの写像定理、ピカールの定理など、複素解析学における重要な諸定理を証明する上で重要な働きをする。

定理

複素関数 f (z) は 複素平面 C の単位円板 D = {z : |z | < 1 } 上で正則かつ |f (z) | < 1 を満たし、さらに f (0) = 0 であるとする。このとき、D の任意の点 z で

[math]|f(z)| \le |z|[/math]

が成り立つ。

さらに D - {0} のある点 z₀ で |f (z₀) | = | z₀ | が成り立つか、または |f ' (0) | = 1 ならば、 | a | = 1 を満たす、ある定数 a が存在して、 D で

[math]f(z) = a z\ [/math]

である。

仮定がかなり強い特殊な定理に見えるかもしれないが、これは正規化の結果であり、実際は広く用いることのできる一般的な定理である。

証明

まず定理の前半を証明する。

[math]g(z) = \frac{f(z)}{z}[/math]

とおくと、g (z) は D - {0} で正則である。また

[math]\lim_{z\to 0}g(z) = \lim_{z\to 0} \frac{f(z)-f(0)}{z} = f'(0) \ [/math]

であり、 g (z) は 0 でも正則であるから、結局 g (z) は D 全体で正則である。

0 < r < 1 である実数 r を任意に選び、半径 r の円周 {z : |z | = r } を C_r 、その内側の領域 {z : |z | < r } を D_r とする。 最大絶対値の原理から D_r ∪ C_r 上では |g (z) | は最大値を C_r 上で取る。このとき D 上で |f (z) | < 1 という条件から、 D_r ∪ C_r 上で |g (z) | < 1 / r が成り立つ。

r を任意に 1 に近づけることを考えれば、 D 内の任意の点で |g (z) | は 1 を超えることができないことがわかる。実際、D 内のある点 z₀ で |g (z₀) | > 1 になったと仮定すると、 D_r が z₀ を含み、さらに |g (z₀) | > 1 / r となるように r を選ぶことができるので、矛盾が発生する。従って

[math]\forall z \in D, \ |g(z) | \le 1[/math]

が成り立つ。これを言い換えれば

[math]\forall z \in D, \ |f(z) | \le |z|[/math]

である。

後半を証明する。 D - {0} のある点 z₀ で |f (z₀) | = |z₀ | であれば、 |g (z₀) | = 1 である。または |f ' (0) | = 1 であれば g (0) = f ' (0) であるから |g (0) | = 1 である。どちらの場合でも、前半の証明から D 上で |g (z) | ≤ 1 であるので、最大絶対値の原理から g (z) は D で |g (z) | = 1 を満たす定数である。 これを a とおけば f (z) = az であり、定理の主張の通りである。

関連項目

• 複素解析
• 正則関数
• 最大絶対値の原理
• リーマンの写像定理
• ピカールの定理

参考文献

• 遠木幸成・阪井章　『関数論』　学術図書出版社、1966年。