自然対数

x の増加に伴って緩やかに正の無限大に発散し、x が 0 に近づくにともなって緩やかに負の無限大へ発散する（つまり y-軸はひとつの漸近線となる）。ここに、「緩やか」とは任意の冪乗則（冪函数あるいは多項式函数の増大度）との比較においてそれらよりも弱いことを意味する。
実解析において実数の自然対数（しぜんたいすう、natural logarithm）は、超越数であるネイピア数  を底とする対数を言う。x の自然対数を ln x や、より一般に  あるいは単に（底を省略して）log x などと書く。 通常の函数の記法に則って引数を指示する丸括弧を明示的に付けて、ln(x) や log(x) などのように書いてもよい特に、引数が単一の記号でない場合など、括弧を省けば引数の範囲が紛らわしくなるときには、括弧の省略は避けるべきである。。
定義により、x の自然対数とは 冪  が x 自身に一致するような冪指数 t のことに他ならない。例えば、1=ln(7.5) = 2.0149… となることは、 となることを理由とする。特に e の自然対数は  であり、1 の自然対数は  である。
自然対数は、任意の正数 a に対して 逆数函数 1=y = 1/x の 1 から a までの間のグラフの下にある面積（a  0) と 1=log(exp(x)) = x の成立を意味する。
他の任意の対数がそうであるように、自然対数は
 
なる意味で乗法を加法へ写す。これにより自然対数函数は正の実数の乗法群  から実数の加法群 (R, +) への写像  として
群の準同型になる。
以外にも、任意の正数 a ≠ 1 に対して、それを底とする対数を定義することができるが、そのような対数は自然対数の定数倍として得ることができる（例えば二進対数は自然対数の math|1/ln 2 倍である）し、通常はそうして自然対数から定義される。対数は未知の量がほかの適当な量の冪と見なされる問題を解く際に有用で、例えば指数函数的減衰問題における 減衰定数としての半減期を求めるときなどに利用できる。このように対数は、数学や自然科学の多くの分野において重要であり、また金融経済において複利を含む問題にも利用できる。
リンデマン–ヴァイアシュトラスの定理により、1 でない任意の（正の）代数的数に対してその自然対数は超越数となる。

**歴史**
自然対数の概念が表立って現れるのは、1649年より以前にGregoire de Saint-VincentとAlphonse Antonio de Sarasaによるの成した業績においてであり、その中にはhyperbolic sector の面積を決定することによる直交双曲線 1=xy = 1 の求積が含まれている。それら解法は、こんにち自然対数に結び付けられる性質を満足する「双曲対数」函数の必要から生じたものである。
自然対数への初期の言及はニコラス・メルカトルが1668年に著わした自身の著書 Logarithmotechnia（「対数の方法」） にあるが、既に1619年には数学教師のJohn Speidellが事実上の自然対数表を編纂している。

**記法の慣習**
記法 "ln x" および "" は何れも紛れなく x の自然対数を表しているが、底を明示しない記法 "log x" もまた自然対数を表すのに用いられることがある。このような記号の使い方は数学では広く用いられ、一部の自然科学の文脈やさまざまなプログラミング言語efn|C, C++, SAS, MATLAB, Mathematica, Fortran, and BASIC などが含まれる。でも用いられる。ただし、別の文脈では "log x" が常用対数（底 10 の対数）を表すのに用いられる。

**符号位置**

**「自然」の意味**
1=x = 1 から 6 までの面積 (橙の網掛け): この面積の値は 6 の自然対数と等しい
直観的には、常用の記数法が十進法|底 10 の位取りであるため、10を底とする「常用対数」がよほど「自然」に感じられるかもしれない。だが、数学的に見れば10は何ら著しい特徴を持つ数ではなく、10 を用いるのは文化的な理由（典型的には両手の指の数が10本あること）からだ。文化的な理由ではほかにも 5, 8, 12, 20, 60 などに基づく命数法がしばしば用いられる。
自然対数  が「自然」であるというのは、数学において自然に生じ、よく見かけるということを根拠とするものである。例えば対数函数の微分の問題 を考えるとき、底 b が e に等しいならば、この導函数は単に 1/x となり、1=x = 1 における微分係数は 1 に等しくなる。
別な意味で底 e の対数が最も自然と思わせる理由として、単純な積分やテイラー級数でそれが極めて容易に定義できること（それは他の対数ではできない）が挙げられる。この自然さの更なる意味は、微分積分学の中では見えてこないが、例えば自然対数を含む単純な級数が様々存在することによって知ることができる。 ピエトロ・メンゴリとニコラス・メルカトルがそれを「自然対数」(logarithmus naturalis) と呼んだのは、ニュートンとライプニッツが微分積分学を繰り広げるよりも、何十年か先んじる。

**定義**
ln(a) は曲線 1=f(x) = 1/x の 1 から a までの面積で視覚化できる。a iθ
と書けたとする。対数関数は指数関数の逆関数なので
1=log z = ln r + iθ
ということになる（1=ln z と書くことはあまりない）が、この θ の選び方は一通りではなく 、1=2π の整数倍だけ異なる値を選ぶことができる。したがって、複素数の対数関数は多価正則関数である。
定義域を制限することによって、その定義域の上では正則な一価関数となるように θ の選び方を定めることができる。定義域は 0 を含まない単連結領域ならどれでもよいが、よく使われるのは複素平面から 0 と負の実数を除いた領域であり、変数の偏角を 1=−π iθ ↦ ln r + iθ によって正則な一価関数が得られる。この関数を対数関数の主値と呼び、
1=Log z
と書く（1=Ln z と書くことはあまりない）。
複素対数関数は、実数での対数関数が満たす恒等式を満たすとは限らないので注意が必要である。例えば、1=Log ez = z や 1=Log (zw) = Log z + Log w は一般には成り立たない。
Image:NaturalLogarithmRe.png| 1=z = Re Log (x +iy)
Image:NaturalLogarithmImAbs.png| 
Image:NaturalLogarithmAbs.png| 
Image:NaturalLogarithmAll.png| これらを重ね合わせた図

**バナッハ環における対数関数**
を満たす x に対して、テイラー展開

が可能である。この級数展開も、1668年にメルカトルによって見出されたものである。
すべての固有値の絶対値が 1 より小さい正方行列 X が与えられたとき、このテイラー展開の変数に X を代入することにより、行列 1=I + X の対数 1=ln (I + X ) が定義される。ここで、I は X と同じサイズの単位行列である。これをさらに一般化して、和や積の構造と両立するノルムを持った完備な空間であるバナッハ環において、ノルムが 1 より小さい元 x に対し、上の式によって 1=1 + x の対数が定義できる。このとき、指数関数による 1=ln (1+x ) の像は可逆元 1=1+x になっている。

**脚注**

**注釈**

**出典**

**関連項目**
 常用対数- 二進対数- オイラーの定数- 2の自然対数- ジョン・ネイピア- 対数積分- 多重対数函数- フォン・マンゴルト関数

**外部リンク**
 id=logarithm- title=Natural Logarithim- title=natural logarithim- title=Logarithm of a number- title=Logarithmic function