複素対数函数
複素解析における複素対数函数（ふくそたいすうかんすう、）は、実自然対数函数が実自然指数函数の逆函数であるのと同様の意味において、複素指数函数の逆「函数」である。すなわち、複素数 の対数 とは を満たす複素数を言い、そのような を ' や ' などと書く。任意の非零複素数 は無限個の対数を持つから、そのような表記が紛れのない意味を為すように気を付けねばならない。
極形式を用いて と書くならば、 は の対数の一つを与えるが、これに の任意の整数倍を加えたもので の対数はすべて尽くされる。
逆函数を持つためには、函数は一対一（単射）でなければならないが、複素指数函数は単射でない（実際、任意の に対して が成り立つことが、 に を加える操作が を反時計回りに ラジアン回転させることから言える）し、さらに悪いことに垂直線上に等間隔に並ぶ無限個の複素数の列 formula_1 がすべて、指数函数によって同一の複素数へ写されるのである。したがって、複素指数函数は通常の意味での逆函数は持たない。
この問題の解決法として、二通り考えられる:
枝をとる方法は、一つの複素数に対して値が評価できる点で優位性がある。他方、リーマン面上の函数と見る方法は、 の全ての枝をひとまとめに扱えて、定義に任意性のある選択を含めなくてよいという点において筋が良い。
各非零複素数 に対して、その対数の主値 とは、虚部が区間 に属する対数を言う。 を満たす複素数 は存在しないから、式 はやはり定義されない。
この主値はいくつか別のやり方でも記述できる。
特に断りなく のように書かれた場合には、一般には主値について言っているものと考えたほうが安全である。そうすれば特に、 が正の実数のときの実数値の と矛盾しない。しかし主値を他の対数と区別する目的では、頭文字を大文字化する記法を用いて と書くのが適当である。
実自然対数 の満足する等式は、複素数に拡張した場合には必ずしも成立しない。任意の に対して等式 は成立する（これは単に は の対数（の一つ）であると言っていることに相違ない）が、等式 は帯状領域 の外側では正しくない。この理由により、等式 の両辺に を施して を得ることは常にはできない。また、等式 の両辺は の整数倍だけ異なり得る。
函数 は各負の実数において不連続だが、それ以外の の各点において連続である。この不連続性を説明するために、 が負の実数 へ近づくときに に何が起きるのかを考える。 が に上から近づくならば、 は に近づくが、 が に下から近づくならば は に近づく。ゆえに は が負の実軸をまたぐとき だけ値が跳び、その結果 も だけ跳ぶ。
もっと別な方法を用いれば、各非零複素数に対して対数を一つずつ選んでできる函数 が の全ての点上で連続となることができるであろうか、残念ながら答えは「否」である。その理由を見るために、そのような対数函数を単位円に沿って追跡する（つまり、 を、 が から まで増加させるときの、 において評価する）ことを考えよう。簡単のため、初期値は と仮定すれば、 の増加につれて が連続なるためには は に一致しなければならない（差は離散集合 に値をとる の連続函数でなければならないから）。特に、 でなければならないが、そもそも なのだから、これは の仮定に反する。
したがって、複素数に対して定義された連続な対数函数を得るためには、定義域をガウス平面のより小さな部分集合 に制限することが必要となる。目的の一つとしてその函数が微分可能となるようにしたいので、定義域の各点の近傍においてそれが定義されていると仮定することには意味がある。つまり としては開集合をとるべきである。また、 の異なる連結成分上で定義される函数値は互いに関連性がないものに取り得ることを考えれば、 が連結と仮定することも自然である。そういったことを取り纏めて、この文脈では枝を以下のようなものとして定める:一つ枝をとって固定する場合には、紛れの虞がないならば単に "" と書くことができる。異なる枝は特定の複素数の対数に対して異なる値を割り当て得るから、それゆえに "" が明確な意味を持つようにするためには、「あらかじめ」枝を固定しておかなければならない。
先に述べた単位円を用いた論法を一般化すれば、原点 を周る閉曲線を含む開集合 上で定義された の枝が存在しないことが示せる。この論法を回避するために、 は典型的には原点から適当な方向に無限遠まで延びる半直線や半曲線（端点として原点は含む）の補集合が選ばれる。この場合、そのような曲線は ("branch cut") と呼ぶ。例えば、主値は負の実軸に沿った分岐切断を持つ。
函数 がその分岐切断上の一点において定義されるように拡張されるならば、 はその点で不連続でなければならない。よくて、負の実数における主値 のように、「片側」連続になるだけである。
開集合 上で定義された の各枝は複素指数函数の制限（具体的には の による像への制限）の逆函数である。指数函数は正則（つまり複素微分可能）かつその導函数が消えることはないから、複素函数版の逆写像定理が適用できて、 は の各点において正則で、 が成り立つ。これはコーシー–リーマン方程式の成立を見ることによっても証明できる。
実自然対数函数 は積分公式 によって定義することができる。あるいは積分の下の限界を から に取り換えて、定義式を とすることもできる。
同じことを「複素」対数に対しても議論するならば、さらなる複雑さが生じる。複素積分を定めるには積分路を決めなければならないが、今の場合はたまたま被積分函数が正則であるから、積分値は積分路を（端点を固定して）連続的に変形しても変わらず、また単連結領域 （「穴のない」領域）では から へ行く 内のどの道も連続的な変形で互いに移りあう。ゆえに以下のように言うことができる:
の枝は、正則かつ導函数 は 上で消えないから、上記の命題により等角写像を定める。
例えば、主枝 は から垂直帯状領域 への写像と見て上記の性質を満たすから、等角性を極形式で書いた直接の帰結として以下のことが言える:
上記の -平面上の各円と各半直線は直角に交わる。それらの による像はそれぞれ -平面の垂直線分と水平線だから、それらも直角に交わる。これは主枝 の等角性の発露の一つである。
の複数の枝を貼り合わせて一つの函数 を得ることは、二つの相異なる枝がそれらの両方が定義される点においてさえ異なる値をとり得ることにより、不可能である。例えば 上で定義され、虚部 が に入る主枝 と、 上で定義され、虚部 が に入る枝 とは、上半平面では一致するが下半平面では一致しないから、これらの枝の定義域を「上半平面のコピーに沿ってだけ」貼り合わせることには意味を持たせることができる。貼り合わせで得られる領域は連結だが下半平面のコピーは二つ持つ。これら二つのコピーを二階建ての駐車場に譬えると、 の階の下半平面から の階の下半平面まで、 を反時計回りに360°周って行くことができる。それには、 の階で初めて正の実軸をまたいだときに共有された上半平面に入り、 の階の負の実軸をまたいで の階の下半平面に入るのである。
同様の貼り合わせを、虚部 が に入る枝、 に入る枝、…… に対して、あるいは別方向の、虚部 が に入る枝、 に入る枝、…… とどんどん続けることができる。そうして最終的に得られる連結な曲面は、先ほどの駐車場の喩えで言えば、上にも下にも無限に伸びる無数の階が螺旋状に連なった駐車場になる。この曲面を複素対数函数 に付随するリーマン面 と呼ぶ。
対数のリーマン面 上の点は、複素数 とその偏角の取り得る値 との対 と考えることができる。これにより は に埋め込める。
各枝の定義域はそれらの値が一致する開集合に沿ってしか貼り合わされないから、貼り合わせで一つの矛盾なく定義された函数 が与えられる。この函数は各点 を に写す。もともとの枝 に両立する正則函数を貼り合わせて拡張する過程は解析接続と呼ばれる。
リーマン面 から への（螺旋を「平らに」押しつぶす）「射影」が存在して、 は に写される。任意の に対して、 の「真上」にある全ての点 をとって、それらの点を で評価すれば、 の対数がすべて得られる。
上でやったように、特定の枝を選んで貼り合わせる代わりに、 のすべての枝をとって、枝の対 , を の と が一致する最大の開部分集合に沿って貼り合わせることを、任意の対に対して同時に行っても、前節のと同じリーマン面 と函数 が得られる。このやり方は、絵に描くことはやや困難だが、特定の枝をどのように選ぶかは問わない点で、より自然である。
射影 は を の被覆空間として実現する。実はこれは、（ を に写す同相写像が生成する） に同型な群を持つになる。
複素多様体として は、 を通じて に双正則である（逆写像は を に写す）。これは が単連結であることを示しており、したがって は の普遍被覆となる。
実数のときと同様に、複素数 に対して
と定義することができるが、 において定義される の枝の選択によって値が変わることには気を付けなければならない。例えば主値を用いれば
となる。
の連結開集合上定義された正則函数 に対し、 上定義された の枝とは、 上の連続函数 で を満たすものを言う。そのような函数 は を満たす正則函数であることが必要である。
と定めることによって構成できる。