対数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

対数（たいすう, logarithm）あるいは対数関数は、指数関数の逆関数となる関数である。

[編集] 概要

対数の概念は、16世紀末にヨスト・ビュルギ（1588年）やジョン・ネイピア（1594年）によって、便利な計算法として発見された。

a, x, y を正の実数、a ≠ 1 とする。a を底にとる指数関数

x = a^p

y = a^q

に対して指数法則

a^p a^q = a^p+q

が成り立つことを利用すると、多くの場合近似値による計算になるが、

対数表を用いて x を p に、 y を q に変換する。
p + q を計算する。
逆対数表を用いて（あるいは対数表から逆に読み取って） p + q の結果を a^p+q に変換する。

という手順によって、正の数 x, y の積は p + q という和に置き換えることができる。特に x や y の桁数が大きい場合、積を和に変換できるということは計算機がなかった時代において非常に便利な計算方法となった。ネイピアは、20年かけてこの対数表を作成し1614年に発表した。

対数は煩雑な計算にかける労力を大幅に減らし、ケプラーによる天体の軌道計算をはじめとして、その後の科学の急激な発展を支えた。関数電卓やパソコンなどが広く使われる現代においても、厳密な値を必要としない有効数字による計算をする際には非常に便利な方法である。

また、指数関数的に変化する量を対数で変換してみると線型性などの綺麗な性質が浮かび上がったり、双曲線の面積を求める時などに用いる積分∫ x⁻¹ dx に現れたりするなど対数は簡便な計算法以上の意味を持つことも多く、いろいろな場面で現れ、詳しく研究されてきた関数の一つでもある。

[編集] 定義

一般には複素数で定義されるが、その解説は自然対数の項目にゆずる。

[編集] 指数関数を用いた定義

正の実数 a ≠ 1 をとると、任意の正の実数 xに対し

x = a^p

を満たす実数 p が唯一つ定まる。この p を

p = log_a x

と書き、p のことを a を底（てい, base）とする x の対数という。このとき x のことを真数（しんすう,anti-logarithm）という。この対数の定義は、オイラーによる。（1728年）

[編集] 演算法則からの定義

正の実数 a ≠ 1 をとる。正の実数 x を変数にとる実数値連続関数 f(x) が

f(xy) = f(x) + f(y)

f(a) = 1

を満たすとき

f(x) = log_a x

と書き、 f のことを a を底とする対数関数という。

[編集] 特殊な底

自然対数など

1 以外の正の実数であれば底に何を用いてもよいが、分野によって慣例的によく用いられる底があり、底が省略されることも多い。

log x

のように底が省略されている場合は、前後の文脈や扱われている分野によって底が何か判断される。

底を a = 10 とした対数は常用対数 (common logarithm) あるいはブリッグスの対数 (Briggsian logarithms) と呼ばれ、実験などの測定値に用いることが多い。他の対数と区別するために Log などのように大文字を用いることがある。ヘンリー・ブリッグスは、1617年に1000未満の整数について8桁、1624年には1～2万と9万～10万の整数についての14桁の常用対数表を出版した。

底を a = e （ネイピア数）とした対数を自然対数 (natural logarithm) あるいはネイピアの対数 (Napierian logarithm) という。名前に用いられているもののジョン・ネイピア自身とは関係ない。微積分などの計算が簡単になるため、数学などの理論分野で用いられることが多い。他の対数と区別するために "ln" という記号を用いることがある。

底を a = 2 とした対数 (binary logarithm) は、情報理論の分野で情報量などを表現するのに用いられることが多い。他の対数と区別するために "lg" という記号を用いることがある。