高校数学では指数関数を先に学び、その後に対数関数を学ぶことが一般的です。しかし、数学的には逆の順序で構成されることがあります。特に解析学では、まず分数関数1/xの原始関数として自然対数を定義し、その逆関数として指数関数を導入します。なぜこのような定義が採用されるのかを解説します。
自然対数は積分によって定義できる
指数関数を使わなくても、分数関数1/xの積分は定義できます。
そこで自然対数log xは、次の定積分によって定義されます。
log x＝∫1x(1/t)dt
この定義は指数関数を一切使わずに成立します。
さらに微積分学の基本定理より、
(log x)’＝1/x
が直ちに得られます。
なぜ先に対数関数を作るのか
数学では、できるだけ少ない前提から理論を構築することが重視されます。
もし指数関数を先に定義すると、その性質を証明するために多くの仮定が必要になります。
一方で自然対数は積分だけで定義できるため、解析学の体系の中で非常に自然な存在になります。
つまり、「積分→対数→指数関数」という流れの方が論理的に整理しやすいのです。
指数関数は逆関数として誕生する
自然対数log xは単調増加関数なので逆関数が存在します。
その逆関数をexp(x)と定義します。
つまり、
y＝exp(x)
ならば
x＝log y
が成立します。
このexp(x)こそが自然指数関数であり、後にexと表記される関数です。
この定義から指数法則が導かれる
自然対数には積分から導かれる重要な性質があります。
log(ab)＝log a＋log b
です。
逆関数である指数関数に変換すると、
exp(x+y)=exp(x)exp(y)
が得られます。
つまり指数法則は定義として与えるのではなく、対数関数の性質から自然に導かれる結果なのです。
微分すると自分自身になる理由
指数関数の最大の特徴は、微分しても自分自身になることです。
逆関数の微分公式を利用すると、
(exp(x))’=exp(x)
が証明できます。
これは自然対数の導関数が1/xであることから導かれる性質です。
解析学では、この性質を持つ関数が自然に現れるため、指数関数は非常に重要な役割を果たします。
まとめ
指数関数が「分数関数1/xの原始関数である自然対数の逆関数」として定義されるのは、数学をできるだけ少ない前提から構築するためです。
まず積分によって自然対数を定義し、その逆関数として指数関数を導入することで、指数法則や微分公式などの重要な性質が論理的に導かれます。
高校数学では指数関数から対数関数へ進みますが、大学以降の解析学では対数関数から指数関数を構成する流れがより本質的な考え方とされています。
コメント