単葉関数
単葉関数 (たんようかんすう、)は、複素解析における用語である。複素平面(ガウス平面)上のある開集合(領域)上で定義された複素関数が単射(1対1写像)である場合、その関数は単葉であると表現し、また、その関数を単葉関数と呼ぶ。正則である必要はないが通常は正則な単葉関数を考察の対象にする。このような正則かつ単葉な関数は、英語ではコンフォーマル(Conformal) であると表現するが、日本語では単に単葉正則であると表現する場合が多いようである。
"f" ("z") は複素平面のある連結領域 で定義された正則関数とし、その微分を "f′"("z") する。
(1) で"f" ("z") が単葉正則であるが、"f′"("z") の零点が存在すると仮定して矛盾を導く。
まず、"f′"("z") の零点の内の一つを任意に選んで"z"とする。"z" の近傍 を、その閉包 formula_1 がコンパクトで に含まれるように選ぶ。
上の仮定の下では、formula_1で "f′"("z") の零点の個数は有限である。なぜなら、零点が無限個存在するとすれば、formula_1はコンパクトであるからボルツァーノ＝ワイエルシュトラスの定理により全ての零点の集合は少なくとも1個の集積点を持つことになり、一致の定理から "f′"("z") は で 0 となり、"f" ("z") は単葉正則という仮定に反するからである。
"g" ("z") = "f" ("z") − "f" ("z") と置けば、"g" ("z") = 0 であり、"g′"("z") = "f′"("z") であるから"g′"("z") = 0 である。従って、"m" をある自然数として、"g" ("z") = ("z" − "z") "g" ("z") 、"g" ("z") ≠ 0と置くことができる。
"g′"("z") = "m" ("z" − "z") "g" ("z") + ("z" − "z") "g"′("z") であるから、"g′"("z") = 0 であるためには"m" ≥ 2 が条件になる。
"g" ("z") は formula_4上で零点を持たず、また formula_4 はコンパクトであるから、 formula_4 上の|"g" ("z") | の最小値は正数である。これをαとし、その絶対値がαより小さな正数となる複素数αを任意に選べば、formula_4で |α| < |"g" ("z") |であり、ルーシェの定理から 上で "g" ("z") と"g" ("z") + α の零点の全位数(位数"n"の零点は"n"個として数えた零点の総数)は等しく "m" となる。
"h" ("z") = "g" ("z") + αと置く。 "h′" ("z") = "f′"("z") である。"h" ("z") = α ≠ 0 であり、"h′" ("z") は で "z"以外に零点を持たないので、 の "h" ("z") の零点の位数は1である（重根を持たない）。 の "h" ("z")の位数は "m" (≥ 2) であるから"h" ("z") は で相異なる位数1の零点を "m" 個持つことになる。
"f" ("z") = "h" ("z") − α + "f" ("z") であるから、"f" ("z") は で同じ値となる相異なる点を2個以上持つことになり、"f" ("z") が で単葉であるという仮定に反する。
(2) "g" ("z") = "f" ("z") − "f" ("z") と置き、"z" の近傍 を、formula_1 はコンパクトで、その上では "g" ("z") の零点が "z" 以外ないように選ぶ (これは (1)と同じ論議で可能である)。
"g′"("z") = "f′"("z") ≠ 0 であるから "z" は "g" ("z") の1位の零点である。
"g" ("z") は formula_4 上で零点を持たず、また formula_4 はコンパクトであるから、 formula_4 上の|"g" ("z") | の最小値は正数である。これをαとし、その絶対値がαより小さな正数となる複素数αを任意に選べば、formula_4上で |−α| < |"g" ("z") |であり、ルーシェの定理から 上で "g" ("z") と "g" ("z") − α の零点の全位数は共に1に等しい。
これは |−α| < α であれば 上で α = "g" ("z") となる の点 "z" が唯一存在することを意味する。従って、 = {"z" | |"g" ("z") | < α} と置けば、 ⊂ であり、 と半径αの開円板は1対1対応することになる。つまり "f" ("z") = "g" ("z") + "f" ("z")は 上で単葉である。
"f" ("z") は複素平面のある領域 で定義された単葉正則関数とすれば、 "f" ("z") は単葉正則な逆写像 "f "(ω) を持ち、"f" ("z") の微分 "f "′(ω) は、合成関数の微分則から、
（ただし ω = "f" ("z") ）で与えられる。
単葉関数と関連する重要な定理がいくつか知られているが、ここでは次の一例のみを紹介する(この定理はリーマンの写像定理を証明する際に必要となる)。
複素平面のある領域 で定義された単葉正則関数の列 { "f"("z") } ( formula_13 ) が "f" ("z") に広義一様収束するのであれば、"f" ("z") は で単葉正則関数かまたは定数となる。
まず、 { "f"("z") } が単葉正則関数であっても "f" ("z") が定数となる例として "f"("z") = "z" / "n" がある。当然 "f" ("z") は定数 0 となる。
次に、 で "f" ("z") が定数でも単葉関数でもないと仮定する。この場合、少なくとも、"f" ("z") = "f" ("z") = "α" となる 内の異なる2点、"z"、 "z" が存在するはずである。
"g"("z") = "f"("z") − α、"g" ("z") = "f" ("z") − αと定義すれば、 { "g"("z") } は で定義された単葉関数の列であり、"g" ("z") に広義一様収束する。
"z"、"z" を含み、その閉包 formula_14 が に含まれる有界な領域 formula_15 を選ぶことができる。 formula_14 は有界な閉集合としてコンパクトであり、 { "g"("z") } はformula_14で "g" ("z") に一様収束する。
上の仮定の下では、formula_14で "g" ("z") の零点の個数は有限である。なぜなら、零点が無限個存在するとすれば、formula_14はコンパクトであるからボルツァーノ＝ワイエルシュトラスの定理により全ての零点の集合は少なくとも1個の集積点を持つことになり、一致の定理から "g" ("z") は で 0 となるが、これは "f" ("z") が定数でないという仮定に反するからである。
formula_15の境界 formula_21上に "g" ("z") の零点があると都合が悪いので、そのような場合にはformula_14の内側に、"z"、"z" を含み、しかもその境界上に "g" ("z") の零点が来ないように領域を取り、これを改めて formula_15とする(このような操作は "g" ("z") の零点が有限個であるから可能である)。
"g" ("z") は formula_21に零点を持たず、また formula_21 はコンパクトであるから、 formula_21 上の|"g" ("z") | の最小値は正数である。これをεとする。
従って、 "n" が十分大きな自然数であれば、 formula_21 上で |"g" ("z") | > |"g" ("z") − "g" ("z") | とでき、ルーシェの定理によりformula_15 での "g" ("z") と "g" ("z") の零点の個数は一致するはずであるが、"g" ("z") は単葉関数であるから零点の個数は高々1であり(上記基本定理から単葉正則関数の微分は 0 にならないのでその零点の位数は1である)、一方 "g" ("z") のそれは"z"、"z" を含めて2以上であるから矛盾である。従って、 で "g" ("z") は定数でなければ単葉関数であることになる。
formula_31 である任意の複素数 に対して formula_32 と定義すると、 formula_33 は単位開円板 formula_34 をそれ自身に写像するが、これは単位開円板を定義域とする単葉関数となる(この関数もリーマンの写像定理を証明する際に何度も繰り返して使用され、重要な働きをする)。
複素解析関数 (正則関数に一致する) の場合と異なって、実解析関数の場合では、上記のような性質は成り立たない。例えば "ƒ"("x") = "x" を考えると、これは
であり、この定義域で明らかに単射であるが、その微分は"x" = 0 で 0 であり、その逆写像は区間 (−1, 1)に渡って解析的ではない。ただし逆写像は"x" = 0 を除いて区間 (−1, 1)に渡って微分可能である。