単葉関数

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

## 基本的な性質

### 定理 (単葉正則関数の基本定理)
f(z) を複素平面のある連結領域  で定義された正則関数とし、その微分を f'(z) で表す。
:**(1)** f(z) が  で単葉であれば  で f'(z) \ne 0 である。
:**(2)**  の点 z_0 で f'(z_0) \ne 0 であれば、z_0 の近傍  を、 でf(z) が単葉になるように選ぶことができる。

### 証明

**(1)**  でf(z)が単葉正則であるが、f'(z) の零点が存在すると仮定して矛盾を導く。

まず、f'(z) の零点の内の一つを任意に選んで z_0 とする。z_0 の近傍  を、その閉包 \overline{U} がコンパクトで \overline{U} \subset D  となるように選ぶ。 

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

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

g(z) = f(z) - f(z_0) と置けば g(z_0) = g'(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 を任意に選べば、ルーシェの定理から  における g(z) とh(z)=g(z)+\alpha の位数を含めた零点の個数はともに n となる。 

h について、h(z_0)=\alpha\ne0 であり、h'(z)=f'(z) は  で z_0 以外に零点を持たないので、  における h の零点の位数は1である（重根を持たない）。したがって h はで位数1の相異なる零点を n (\ge 2) 個持つことになる。

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

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

g(z_0) = 0、g'(z_0) = f'(z_0) \ne 0 であるから z_0 は g の1位の零点である。

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

すなわち、g(z) = \alpha となる点が  においてただ一つ存在する。V = \{ z \mid |g(z)|  と置けば、 上で g(z) および f(z) = g(z) + f(z_0) は単葉である。

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

:\frac{df^{-1}(\omega)}{d\omega} = \frac{1}{f'(z)}, \quad \omega = f(z)

となる。

## 関連する定理

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

### 定理 (単葉正則関数の収束定理)
複素平面のある領域  で定義された単葉正則関数の列 { *f<sub>n</sub>*(*z*) } ( n \in \mathbb{N} ) が *f* (*z*) に広義一様収束するのであれば、*f* (*z*) は  で単葉正則関数かまたは定数となる。

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

次に、  で *f* (*z*)  が定数でも単葉関数でもないと仮定する。この場合、少なくとも、*f* (*z*)  = *f* (*z*)  = *α* となる   内の異なる2点、*z*、 *z* が存在するはずである。

*g<sub>n</sub>*(*z*) = *f<sub>n</sub>*(*z*) − α、*g* (*z*) = *f* (*z*) − αと定義すれば、 { *g<sub>n</sub>*(*z*) } は  で定義された単葉関数の列であり、*g* (*z*) に広義一様収束する。

*z*、*z* を含み、その閉包 \overline{D'}\  が  に含まれる有界な領域 D'\  を選ぶことができる。 \overline{D'}\  は有界な閉集合としてコンパクトであり、 { *g<sub>n</sub>*(*z*) } は\overline{D'}\ で *g* (*z*) に一様収束する。

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

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

*g* (*z*) は \partial D'\ に零点を持たず、また \partial D'\  はコンパクトであるから、 \partial D'\  上の|*g* (*z*) | の最小値は正数である。これをεとする。
{ *g*(*z*) } は\overline{D'}\ で *g* (*z*) に一様収束するから、ある *N* &isin; \mathbb{N} が存在して *n* &ge; *N* であれば |*g*(*z*) − *g* (*z*) | \partial D'\  上で |*g* (*z*) | > |*g* (*z*) − *g* (*z*) | とでき、ルーシェの定理によりD'\  での *g<sub>n</sub>* (*z*) と *g* (*z*) の零点の個数は一致するはずであるが、*g* (*z*) は単葉関数であるから零点の個数は高々1であり(上記基本定理から単葉正則関数の微分は 0 にならないのでその零点の位数は1である)、一方 *g* (*z*) のそれは*z*、*z* を含めて2以上であるから矛盾である。従って、  で *g* (*z*) は定数でなければ単葉関数であることになる。

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

## 実関数との比較

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

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

であり、この定義域で明らかに単射であるが、その微分は*x*&nbsp;=&nbsp;0 で 0 であり、その逆写像は区間&nbsp;(&minus;1,&nbsp;1)に渡って解析的ではない。ただし逆写像は*x*&nbsp;=&nbsp;0 を除いて区間&nbsp;(&minus;1,&nbsp;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年。

## 関連項目
* リーマンの写像定理