単葉関数

単葉関数 (たんようかんすう、テンプレート:Lang-en-short)は、複素解析における用語である。複素平面(ガウス平面)上のある開集合(領域)上で定義された複素関数が単射(1対1写像)である場合、その関数は単葉であると表現し、また、その関数を単葉関数と呼ぶ。正則である必要はないが通常は正則な単葉関数を考察の対象にする。このような正則かつ単葉な関数は、英語ではコンフォーマル(Conformal) であると表現するが、日本語では単に単葉正則であると表現する場合が多いようである。

基本的な性質

定理 (単葉正則関数の基本定理)

$f(z)$ を複素平面のある連結領域 テンプレート:Mvar で定義された正則関数とし、その微分を $f^{\prime }(z)$ で表す。

(1) $f(z)$ が テンプレート:Mvar で単葉であれば テンプレート:Mvar で $f^{\prime }(z)\ne 0$ である。

(2) テンプレート:Mvar の点 $z_0$ で $f^{\prime }(z_0)\ne 0$ であれば、$z_0$ の近傍 テンプレート:Mvar を、テンプレート:Mvar で$f(z)$ が単葉になるように選ぶことができる。

証明

(1) テンプレート:Mvar で$f(z)$が単葉正則であるが、$f^{\prime }(z)$ の零点が存在すると仮定して矛盾を導く。

まず、$f^{\prime }(z)$ の零点の内の一つを任意に選んで $z_0$ とする。$z_0$ の近傍 テンプレート:Mvar を、その閉包 $\bar{U}$ がコンパクトで $\bar{U}\subset D$ となるように選ぶ。

この仮定の下では、$\bar{U}$ で $f^{\prime }(z)$ の零点の個数は有限である。なぜなら、零点が無限個存在するとすれば、ボルツァーノ＝ワイエルシュトラスの定理により $\bar{U}$ において全ての零点の集合は少なくとも1個の集積点を持つことになり、一致の定理から テンプレート:Mvar で $f^{\prime }(z)=0$ となり、$f(z)$ は単葉正則という仮定に反するからである。

テンプレート:Mvar で $z_0$ 以外に零点が存在する場合は、閉包がその零点を含まないようにテンプレート:Mvarを選び直す（このような操作は零点が有限個であるから可能である）。

$g(z)=f(z)-f(z_0)$ と置けば $g(z_0)=g^{\prime }(z_0)=0$ である。従って $z=z_0$ における $g$ の位数は2以上で、これを $n$ とすれば $g(z)=(z-z_0{)}^n{g}_1(z)$、$g_1(z_0)\ne 0$ と置くことができる。

$g$ は $\partial U$ 上で零点を持たず、また $\partial U$ はコンパクトであるため、$0<|\alpha |<\underset{z\in \partial U}{\min }|g(z)|$ を満たす複素数 $\alpha$ を任意に選べば、ルーシェの定理から テンプレート:Mvar における $g(z)$ と$h(z)=g(z)+\alpha$ の位数を含めた零点の個数はともに $n$ となる。

$h$ について、$h(z_0)=\alpha \ne 0$ であり、$h^{\prime }(z)=f^{\prime }(z)$ は テンプレート:Mvar で $z_0$ 以外に零点を持たないので、 テンプレート:Mvar における $h$ の零点の位数は1である（重根を持たない）。したがって $h$ はテンプレート:Mvarで位数1の相異なる零点を $n(\ge 2)$ 個持つことになる。

以上から、$f(z)=h(z)+f(z_0)-\alpha$ は テンプレート:Mvar で同じ値となる点を複数持つことになり、$f(z)$ が テンプレート:Mvar で単葉であるという仮定に反する。

(2) $g(z)=f(z)-f(z_0)$ と置き、(1) と同様にして、$z_0$ の近傍 テンプレート:Mvar を、$\bar{U}$ がコンパクトで、その上では $z_0$ のみが $g(z)$ の零点となるように選ぶ。

$g(z_0)=0$、$g^{\prime }(z_0)=f^{\prime }(z_0)\ne 0$ であるから $z_0$ は $g$ の1位の零点である。

$g$ は $\partial U$ 上で零点を持たず、また $\partial U$ はコンパクトであるため、$0<|-\alpha |<\underset{z\in \partial U}{\min }|g(z)|$ を満たす複素数 $\alpha$ を任意に選べば、ルーシェの定理から テンプレート:Mvar における $g(z)$ と $g(z)-\alpha$ の零点の全位数は共に1である。

すなわち、$g(z)=\alpha$ となる点が テンプレート:Mvar においてただ一つ存在する。$V=\{z\mid |g(z)|<\underset{z\in \partial U}{\min }|g(z)|\}\subset U$ と置けば、テンプレート:Mvar 上で $g(z)$ および $f(z)=g(z)+f(z_0)$ は単葉である。

系

$f(z)$ を複素平面のある領域 テンプレート:Mvar で定義された単葉正則関数とすれば、$f(z)$ は単葉正則な逆写像 $f^{-1}(\omega )$ を持ち、連鎖律から、

$\frac{d{f}^{-1}(\omega )}{d\omega }=\frac{1}{f^{\prime }(z)},\omega =f(z)$

となる。

関連する定理

単葉関数と関連する重要な定理がいくつか知られているが、ここでは次の一例のみを紹介する(この定理はリーマンの写像定理を証明する際に必要となる)。

定理 (単葉正則関数の収束定理)

複素平面のある領域 テンプレート:Mvar で定義された単葉正則関数の列 { f_n(z) } ( $n\in \mathbb{N}$ ) が f (z) に広義一様収束するのであれば、f (z) は テンプレート:Mvar で単葉正則関数かまたは定数となる。

証明

まず、 { f_n(z) } が単葉正則関数であっても f (z) が定数となる例として f_n(z) = z / n がある。当然 f (z) は定数 0 となる。

次に、 テンプレート:Mvar で f (z) が定数でも単葉関数でもないと仮定する。この場合、少なくとも、f (zテンプレート:Sub) = f (zテンプレート:Sub) = α となる テンプレート:Mvar 内の異なる2点、zテンプレート:Sub、 zテンプレート:Sub が存在するはずである。

g_n(z) = f_n(z) − α、g (z) = f (z) − αと定義すれば、 { g_n(z) } は テンプレート:Mvar で定義された単葉関数の列であり、g (z) に広義一様収束する。

zテンプレート:Sub、zテンプレート:Sub を含み、その閉包 $\overline{D^{\prime }}$ が テンプレート:Mvar に含まれる有界な領域 $D^{\prime }$ を選ぶことができる。 $\overline{D^{\prime }}$ は有界な閉集合としてコンパクトであり、 { g_n(z) } は$\overline{D^{\prime }}$で g (z) に一様収束する。

上の仮定の下では、$\overline{D^{\prime }}$で g (z) の零点の個数は有限である。なぜなら、零点が無限個存在するとすれば、$\overline{D^{\prime }}$はコンパクトであるからボルツァーノ＝ワイエルシュトラスの定理により全ての零点の集合は少なくとも1個の集積点を持つことになり、一致の定理から g (z) は テンプレート:Mvar で 0 となるが、これは f (z) が定数でないという仮定に反するからである。

$D^{\prime }$の境界 $\partial D^{\prime }$上に g (z) の零点があると都合が悪いので、そのような場合には$\overline{D^{\prime }}$の内側に、zテンプレート:Sub、zテンプレート:Sub を含み、しかもその境界上に g (z) の零点が来ないように領域を取り、これを改めて $D^{\prime }$とする(このような操作は g (z) の零点が有限個であるから可能である)。

g (z) は $\partial D^{\prime }$に零点を持たず、また $\partial D^{\prime }$ はコンパクトであるから、 $\partial D^{\prime }$ 上の|g (z) | の最小値は正数である。これをεとする。 { gテンプレート:Sub(z) } は$\overline{D^{\prime }}$で g (z) に一様収束するから、ある N ∈ $\mathbb{N}$ が存在して n ≥ N であれば |gテンプレート:Sub(z) − g (z) | < εとできる。

従って、 n が十分大きな自然数であれば、 $\partial D^{\prime }$ 上で |g (z) | > |gテンプレート:Sub (z) − g (z) | とでき、ルーシェの定理により$D^{\prime }$ での g_n (z) と g (z) の零点の個数は一致するはずであるが、gテンプレート:Sub (z) は単葉関数であるから零点の個数は高々1であり(上記基本定理から単葉正則関数の微分は 0 にならないのでその零点の位数は1である)、一方 g (z) のそれはzテンプレート:Sub、zテンプレート:Sub を含めて2以上であるから矛盾である。従って、 テンプレート:Mvar で g (z) は定数でなければ単葉関数であることになる。

例

$|a|<1$ である任意の複素数 テンプレート:Mvar に対して ${\varphi }_a(z)=\frac{z-a}{1-\overline{a}z}$ と定義すると、 ${\varphi }_a$ は単位開円板 $\{z\mid |z|<1\}$ をそれ自身に写像するが、これは単位開円板を定義域とする単葉関数となる(この関数もリーマンの写像定理を証明する際に何度も繰り返して使用され、重要な働きをする)。

実関数との比較

複素解析関数 (正則関数に一致する) の場合と異なって、実解析関数の場合では、上記のような性質は成り立たない。例えば ƒ(x) = x³ を考えると、これは

$f:(-1,1)\to (-1,1)$

であり、この定義域で明らかに単射であるが、その微分はx = 0 で 0 であり、その逆写像は区間 (−1, 1)に渡って解析的ではない。ただし逆写像はx = 0 を除いて区間 (−1, 1)に渡って微分可能である。

参考文献

• John B. Conway. Functions of One Complex Variable I. Springer-Verlag, New York, 1978. ISBN 0-387-90328-3.

• John B. Conway. Functions of One Complex Variable II. Springer-Verlag, New York, 1996. ISBN 0-387-94460-5.

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

関連項目

• リーマンの写像定理