自然対数
自然対数（しぜんたいすう、natural logarithm）は、ネイピア数を底とする対数 (logarithm) である。
歴史的には、オランダのニコラス・メルカトルによって、1668年に、1/xの積分として見出された。 テンプレート:Indent
自然対数の定める関数 log x は指数関数 ex の逆関数である。
分野によっては、log x と書いたときに常用対数や底が 2 の対数と紛らわしい場合などがあるため、ラテン語: logarithmus naturalis であることを強調して、特に<math>{\rm ln}\,x</math>と記すこともある。
複素数の対数関数
0 でない複素数 z を極座標表示して テンプレート:Indent と書けたとする。対数関数は指数関数の逆関数なので テンプレート:Indent ということになるが、この θ の選び方は一通りではなく 2π の整数倍だけ異なる値を選ぶことができる。このことにより、複素数の対数関数は多価正則関数である。
定義域を制限することによって、その定義域の上では正則な一価関数となるように θ の選び方を定めることができる。定義域は 0 を含まない単連結領域ならどれでもよいが、よく使われるのは複素平面から 0 と負の実数を除いた領域であり、変数の偏角が-π < θ < π の範囲を動き、<math>r e^{i\theta} \mapsto \mathrm{ln}\,r + i\theta</math>によって正則な一価関数が得られる。この関数を対数関数の主値と呼び、 テンプレート:Indent と書くことがある（Ln z とすることはあまりない）。
- 複素平面上での対数関数の主値
- NaturalLogarithmRe.png
z = Re(ln(x+iy))
- NaturalLogarithmIm.png
z = Im(ln(x+iy))
- NaturalLogarithmAbs.png
- NaturalLogarithmAll.png
これらを重ね合わせた図
バナッハ環における対数関数
|x| < 1 を満たす x に対して、テイラー展開 テンプレート:Indentn x^n</math>}} が可能である。なお、上記の級数展開も、1668年にニコラス・メルカトルにより見出されたもの。
すべての固有値の絶対値が 1 より小さい正方行列 X が与えられたとき、このテイラー展開の変数に X を代入することにより、行列 I + X の対数 ln(I + X) （I は X と同じサイズの単位行列）が定義される。より一般的に、和や積の構造と両立するノルムを持った完備な空間であるバナッハ環において、ノルムが 1 より小さい元 x に対し上の式によって 1 + x の対数が上と同じ式によって定義できる。このとき指数関数による ln(1 + x)の像は可逆元 1 + x になっている。
自然対数の様々な表示
指数関数xt = et log xのt に関する導関数がxtlog xと書けることから、次のような自然対数の表示が得られる： テンプレート:Indent
