複素指数函数の逆函数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/31 07:10 UTC 版)
「複素対数函数」の記事における「複素指数函数の逆函数」の解説
逆函数を持つためには、函数は一対一（単射）でなければならないが、複素指数函数は単射でない（実際、任意の w とすべての整数nに対して ew+2nπi = ew が成り立つことが、w に iθ を加える操作が ew を反時計回りに θ ラジアン回転させることから言える）し、さらに悪いことに垂直線上に等間隔に並ぶ無限個の複素数の列 … , w − 4 π i , w − 2 π i , w , w + 2 π i , w + 4 π i , … {\displaystyle \ldots ,\;w-4\pi i,\;w-2\pi i,\;w,\;w+2\pi i,\;w+4\pi i,\;\ldots } がすべて、指数函数によって同一の複素数へ写されるのである。したがって、複素指数函数は通常の意味での逆函数は持たない。 この問題の解決法として、二通り考えられる: 一つは、指数函数の定義域をどの二つの数も 2πi の整数倍の差を持たないような領域に制限することである。この方法では、自然に log z の枝（定義域に属する各数の対数を一つずつ切り出して得られる函数）を定義することになる。これは例えば、逆正弦函数 arcsin x の [−1, 1] 上定義された枝を、正弦函数 sin θ の区間 [−π/2, π/2] への制限の逆函数として定めるのと同様である（上記範囲内の x に対し sin θ = x を満たす実数 θ は無限個存在するが、それでも（いくぶん作為的ながら）[−π/2, π/2] に入るものを考えれば、それは一つしかないのであった）。 もう一つは、対数函数をガウス平面上の函数でなく、穴あき (つまり原点を除く) ガウス平面を無限個貼り合わせた被覆空間としてのリーマン面上で定義された函数と見ることによって、対数の不定性を解決することである。 枝をとる方法は、一つの複素数に対して値が評価できる点で優位性がある。他方、リーマン面上の函数と見る方法は、log z の全ての枝をひとまとめに扱えて、定義に任意性のある選択を含めなくてよいという点において筋が良い。
※この「複素指数函数の逆函数」の解説は、「複素対数函数」の解説の一部です。
「複素指数函数の逆函数」を含む「複素対数函数」の記事については、「複素対数函数」の概要を参照ください。
- 複素指数函数の逆函数のページへのリンク
