対数

対数とは、ある数 x}} を数 b}} の冪乗 bp}} として表した場合の冪指数 p}} である。この p}} は「底を b}} とする x}} の対数」と呼ばれ、通常は log//b   x//}} と書き表される。また、対数 log//b   x//}} に対する x}} は真数と呼ばれる。数 x}} に対応する対数を与える関数を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常 log}} と表される。

通常の対数 log//b//   //x//}} は真数 x}}, 底 b}} を実数として定義されるが、実数の対数からの類推により、複素数や行列などの様々な数に対してその対数が定義されている。

実数の対数 log//b   x//}} は、底 b}} が 1}} でない正数であり 、真数 x}} が正数である場合  について定義される。 これらの条件を満たす対数は、ある x}} と b}} の組に対してただ一つに定まる。

実数の対数関数 log//b   x//}} は底 b}} に対する指数関数 bx}} の逆関数である。この性質はしばしば対数関数の定義として用いられるが、歴史的には対数の出現の方が指数関数よりも先である。

1. 定義
-----

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

1.1. 指数関数を用いた定義
---------------

1}} でない正の実数 a}} および正の実数 x}} に対し

を満たす実数 p}} がただ一つ定まる。この p}} を x}} の a}} を底とする対数として定義する。x}} に対して a}} を底とする対数を log//a   x//}} と表わせば、上記の方程式を満たす p}} は以下のように書き換えることができる。

この対数の定義はレオンハルト・オイラーによる。

1.2. 演算法則からの定義
--------------

正の実数 //a// ≠ 1}} について、正の実数 x}} を変数にとる実数値連続関数 1=//fa//   }} として

を満たすものを

と書き、この関数 1=log//ind を a}} を底とする対数関数と呼ぶ。//

1.3. 特殊な底
---------

1 以外の正の実数であれば底に何を用いてもよいが、分野によって慣例的によく用いられる底があり、底が省略されることも多い。log //x//}} のように底が省略されている場合は、前後の文脈や扱われている分野によって底がいくつであるかを判断する。

底を 1=//a// = 10}} とした対数は常用対数あるいはブリッグスの対数と呼ばれ、実験などの測定値に用いることが多い。ヘンリー・ブリッグスは、1617年に 1000 未満の整数について8桁、1624年には1～2万と9万～10万の整数についての14桁の常用対数表を出版した。他の対数と区別するために、"Log" のように大文字を用いたり、"lg" という記号を用いることがある 。 "lg" は二進対数の表記でもしばしば使用される。

底を 1=//a// = e}} とした対数を自然対数あるいはネイピアの対数という。ジョン・ネイピアの名前がとられているが、ネイピア自身が計算に用いた定義は現在の自然対数とは異なる。微積分などの計算が簡単になるため、数学などの理論分野で用いられることが多い。他の対数と区別するために "ln" という記号を用いることがある。

底を 1=//a// = 2}} とした対数は二進対数  といい、情報理論の分野で情報量などを表現するのに用いられることが多い。また、音楽の分野においても、1オクターブとは周波数比 1：2 のことであり、さらに、平均律においては半音が周波数比 1：21/12、全音が周波数比 1：22/12 と定義されているため、二進対数を用いると計算が簡便になる。他の対数と区別するために "lb" という記号を用いることがある 。また二進対数では"1=lg //n//}}"と表記されることがよくある。

2. 歴史
-----

対数の概念は、16世紀末にヨスト・ビュルギやジョン・ネイピアによって考案され、便利な計算法として広まった。天文学や航海学では膨大な数値計算がすでに必要とされており、三角関数表についてはヒッパルコスのころから存在していたとされ熊倉、ティコ・ブラーエは三角関数表を応用して掛け算を足し算に変換して計算する手法を使用していた伊達。ネイピアは、20年かけて対数表を作成し1614年に発表した。エドマンド・ガンターは対数の値を長さに換算した目盛りを持つ物差しを利用し、以上の計算手順を簡単に行えるようにした対数計算尺を発明した。対数は煩雑な計算にかける労力を大幅に減らし、ヨハネス・ケプラーによる天体の軌道計算をはじめとして、その後の科学の急激な発展を支えた。

記号としては1624年にケプラーが"Log"を使い、その後オイラーが常用対数に"log"を、それ以外の底の対数に"l"を使った。用語としての対数はネイピアがギリシャ語のロゴスとアリトモスを組み合わせたものだという。

対数表の近似精度を高めることはネイピア以降もしばしば行われ、産業政策にも利用された。1790年にフランスで ガスパール・ド・プロニー が失業中の理髪師たちを集めて雇用し計算させたのをはじめに、チャールズ・バベッジの階差機関への挑戦や20世紀初頭アメリカ・ニューディール政策における公共事業促進局の実施するプロジェクト  において精度向上の試みが行われた。

指数関数的に変化する量を対数に変換してみると、線型性などの綺麗な性質が浮かび上がる。また、双曲線などの面積を求める積分にも対数があらわれる。これらの例の他にも対数はいろいろな場面であらわれ、単なる「簡便な計算法」以上の意味を持つことも多い。そのため対数は、詳しく研究されてきた関数の一つでもある。

2.1. 古典的な定義}} オリジナルの定義
----------------------

ネイピアらが示した対数の定義は現在用いられているものとは異なっていた。

ネイピアによる対数の定義は次のようなものである：正の実数 x}} に対して

を満たす実数 p}} がただ一つ定まる。この p}} のことを ネイピアの対数という。この値は、1=−107 ln }} と 7 桁の精度で一致する。ネイピアは、1594年に対数の概念に到達し、この定義を用いて20年間計算を続け、7 桁の数の対数表を完成させて1614年に発表した。

ビュルギもまた対数の発見者であるが、ビュルギが用いた定義はネイピアのものとはわずかに異なっている。ビュルギによる対数の定義は次のようなものである：正の実数 x}} に対して

を満たす実数 p}} がただ一つ定まる。この p}} のことをビュルギの対数という。この値は、104 ln }} と4桁の精度で一致する。ビュルギは、ネイピアよりも早く1588年に対数の概念を発見したが、1620年まで公表しなかったため、対数の発見者としてはネイピアが称えられることが多い。

3. 冪の表記
-------

三角関数において例えば 2}} の意味で sin2 //x//}} と書くのと同様に、対数関数に対しても、2 以上の整数 n}} に対して log//n   x//}} という表記が使われることがある本橋Apostol。

4. 計算
-----

対数により、積の計算を、より簡単な和の計算に置き換えることができる。いくつかの例外を除き、有限の手順では対数の値を厳密に求めることはできないため、対数の計算には近似値を用いる。予め定めた近似の精度に応じて有効数字が決定される。対数の近似計算は計算量が多く高コストであるため、対数を含んだ計算には基本的に数表が用いられる。この対数値を列挙した数表を対数表という。対数表には限られた数しか値が載っていないため、対数表から対数値を参照する場合にはしばしば補間公式が用いられる。

2つの正の実数 //x//, //y//}} の積を求めたいとする。別の正の数 //a// ≠ 1}} に対して、

という置き換えがいつでも可能であり、指数法則

が成り立つことから、以下の手順によって積 xy}} を求めることができる。

対数表を参照するなどして x}} を p}} に、y}} を q}} に変換する。
和 //p// + //q//}} を計算する。
対数表を逆に参照するなどして //p// + //q//}} の結果を //a//   //p// + //q//}} に変換する。
これが求める積 xy}} である。

4.1. 具体例
--------

常用対数表を用いて積を求める例を示す。

345 × 4560 = 3.45 × 4.56 × 105}} ・・・
対数の性質より

log}}10 = log}}103.45 + log}}104.56
常用対数表より

log}}103.45 = 0.5378 , log}}104.56 = 0.6590
これより

log}}103.45 + log}}104.56 = 0.5378 + 0.6590 = 1.1968 = 0.1968 + 1
常用対数表より対数 0.1968 に近い真数を探すと

0.1968 ≒ log}}101.57
また、1 = log}}1010 であるから

log}}10 = log}}103.45 + log}}104.56 ≒ log}}101.57 + log}}1010 = log}}1015.7
これより、3.45 × 4.56 ≒ 15.7　・・・
をに代入して、

345 × 4560 ≒ 15.7 × 105}} = 1,570,000
これは 345 × 4560 = 1,573,200 に対して上から3桁までの値が一致している。


5. 対数の性質
--------

以下の節において、//a//, //b//}} は 1 ではない正の実数、//x//, //y//}} は正の実数、p}} は実数、ln //x//}} は自然対数を表す。

5.1. 基本的な演算
-----------

定義より

が成り立つ。

積の対数は対数の和に等しい。

商の対数は対数の差に等しい。

p}} 乗の対数は、対数の p}} 倍に等しい。

また、底の p}} 乗の対数は、対数の 1/p}} 倍に等しい。

5.2. 底の変換
---------

log//a   x//}} を用いた式から log//b   x//}} を用いた式へと変形するには、

となることから、

とすればよい。これを底の変換という。

これにより、特定の底・任意の真数での対数が分かる場合に、それらの値から任意の底での対数を得ることができる。たとえば、1=//b// = 10}} として常用対数表から log10   //a//}} と log10   //x//}} を引くこともできるし、底 b}} をネイピア数 e}} として後述のマクローリン展開で loge   //a//}} と loge //x//}} を計算してもよい。

特に、1=//x// ≠ 1}} ならば、1=//b// = //x//}} とすることにより

を得る。

また、1=//b// = 1///a//}} とすると、対数の符号が反転する。

5.3. 余対数
--------

逆数の対数

を a}} を底とする余対数と呼ぶ。

5.4. 対数の値の大きさに関する性質
-------------------

底の値によらず、真数が 1 のとき対数は 0 である。

//a// > 1}} の場合、対数は狭義単調増加

であり、

が成り立つ。

0 < //a// < 1}} の場合、対数は狭義単調減少

であり、

が成り立つ。

対数の発散は「とても緩やか」であり //p// > 0}} に対して

が成り立つ。

5.5. 解析学における公式
--------------

微分に関する公式

マクローリン展開

積分に関する公式

不等式

6. 符号位置
-------



7. 脚注
-----

7.1. 注釈
-------

7.2. 出典
-------

8. 参考文献
-------

9. 関連項目
-------

指数関数
自然対数
常用対数
二進対数
離散対数
計算尺
フラクタル
対数スケール
デシベル
ネーパー
マグニチュード
水素イオン指数
酸解離定数
片対数グラフ
両対数グラフ
多重対数関数

10. 外部リンク
---------

[1]
[2]
[3]
[4]
[5]
[6]