18/12/19 11:23:00.92 MIIBJv3l.net
>>162
つづき
複素指数函数の逆「函数」
逆函数を持つためには、函数は一対一（単射）でなければならないが、複素指数函数は単射でない（実際、任意の w に対して e^(w+2πi) = ew が成り立つことが、w に iθ を加える操作が ew を反時計回りに θ ラジアン回転させることから言える）
この問題の解決法として、二通り考えられる:
・一つは、指数函数の定義域をどの二つの数も 2πi の整数倍の差を持たないような領域に制限することである。この方法では、自然に log z の枝（定義域に属する各数の対数を一つずつ切り出して得られる函数）を定義することになる。
これは例えば、逆正弦函数 arcsin x の [?1, 1] 上定義された枝を、正弦函数 sin θ の区間 [?π/2, π/2] への制限の逆函数として定めるのと同様である（上記範囲内の x に対し sin θ = x を満たす実数 θ は無限個存在するが、それでも（いくぶん作為的ながら）[?π/2, π/2] に入るものを考えれば、それは一つしかないのであった）。
・もう一つは、対数函数をガウス平面上の函数でなく、穴あき (つまり原点を除く) ガウス平面を無限個貼り合わせた被覆空間としてのリーマン面上で定義された函数と見ることによって、対数の不定性を解決することである。
枝をとる方法は、一つの複素数に対して値が評価できる点で優位性がある。
他方、リーマン面上の函数と見る方法は、log z の全ての枝をひとまとめに扱えて、定義に任意性のある選択を含めなくてよいという点において筋が良い。
(引用終わり)
以上