不定積分とは何か
不定積分とは、下端が定数で上端が変数の積分であり、たんに原始関数を求めるだけの原始積分とは区別されるべきである。また、原始積分に含まれる原始積分定数と不定積分の下端が作りだす不定積分定数も区別されるべきである。積分は微分の逆演算とよく言われるが、これは数学的には間違いである。原始関数の集合と非積分関数の集合との対応関係は一対一ではなく、多対一であるから、逆写像の関係は成り立たない。微分と積分は分析と総合の関係にあり、導関数は元の関数の情報の一部しか持たないので、それだけで全体の情報を復元することはできない。

1. 不定積分に対する従来の説明
不定積分とは何か。これに対する私の答えを出す前に、まずは、従来、不定積分がどのように説明されてきたかを確認しよう。説明の仕方は説明者によってまちまちだが、私が観察するところ、以下のようのものが多い。
不定積分(indefinite integral)とは、微分することで所与の導関数が得られるという条件を満たすすべての関数またはその関数を求めることと定義され、原始積分(primitive integral)とも呼ばれる。また、その関数は、もとの導関数に対して原始関数(primitive function)あるいは、英語圏では、逆導関数(antiderivative)と呼ばれる。これに対して、導関数の方は、積分される関数という意味で、被積分関数と呼ばれる。
定数は微分するとゼロになるので、原始関数を復元する時には、導関数(被積分関数)ではゼロとなっている任意の積分定数 C を加えなければならない。すなわち、被積分関数 f(x) の原始関数を F(x) + C とすると、数式1 が成り立つ。
原始関数 F(x) + C を微分すると被積分関数 f(x) となり、被積分関数を積分するともとの原始関数となることから、微分と積分は逆演算の関係にあると言われることがある[1]。この逆演算の関係を明示するのが、以下の微分積分学の基本定理(fundamental theorem of calculus)であるというのだ。すなわち、f(x) を閉区間 [a, b] で定義された連続関数とし、F(x) を閉区間 [a, b] で連続で、開区間 (a, b) で微分可能な原始関数とする。この時開区間中のすべての x に対して、
という式が成り立つ。この基本定理に基づいて、下端が定数(a)で、上端が変数(x)の積分を不定積分と同一視する人もいる[2]。他方で、そうでない人もいて、この点に関しては、解説者によって意見が分かれる。
積分記号を使った原始関数の定義の方法は、その見解の相違に加えて、積分定数を付けるかどうかによって以下の四通りが考えられる。
数式5, 6 における下端の a を省略する表記方法もあるが、下端が定数であることには変わりがないので、式としては同じである。
2. 不定積分と原始積分は区別するべきである
以上のような従来の不定積分の説明に混乱があることは、積分記号を使った原始関数の定義の方法が複数あるところに表れている。もちろん、どれも微分すれば同じ被積分関数になるのだが、どれでもよいということはない。四つあるうち特に問題なのは、数式5 で、ウィキペディア日本語版でそのような記述がみられる[3]。
数式5 の積分を実行すると、
となるが、ここで -F(a) を積分定数 C とみなせば、たしかに、F(x)+C という形になる。しかし、これでは原始関数のすべてを表せない場合がある。例えば、余弦関数を積分する場合、
となるが、-sina は、a が何であれ、
というように変域が制限されるので、任意の積分定数を表すことはできない。
こうした混乱を防ぐためにも、私は不定積分と原始積分を区別することを提案したい。すなわち、原始積分はたんに原始関数を求めるだけの積分と定義する。
“P”という添え字は、原始積分であることを強調する記号で、もちろん省略してもよい。その場合、数式3 の定義と同じになる。
他方で、不定積分を下端が定数で上端が変数の積分と定義しよう。
下端が変数で上端が定数の積分や両方とも変数の積分も広義の不定積分と呼んでもよいが、微積分学の基本定理(数式2)ゆえに狭義の不定積分が最も重要である。
数式11 で、変数 x の代わりに定数 b を代入すれば、定積分となる。そこからわかるように、原始積分は不定積分においても定積分においても同様に使われる要素的な積分である。
3. 積分定数には二種類がある
従来、積分定数と呼ばれてきたものは、原始積分において加えられる定数であるが、これと不定積分の下端が作り出す定数は、概念的に区別されるべきである。そこで、前者を原始積分定数、後者を不定積分定数と名付けることにしよう。原始関数を微分する時、微分によってゼロになるのは原始積分定数であるが、微分積分学の基本定理で、微分によってゼロになるのは不定積分定数で、原始積分定数は、微分する前に相殺されて、ゼロとなっている。
二つの積分定数の違いを、グラフで確認しよう。以下の図1 は、
という微分方程式の解を方向場(direction field)として表したもので、三本の解曲線が例示されている。

で、原始積分定数だけが 4 ずつ異なっている。これに対して、不定積分定数は下端における値で、三本の解曲線では異なる値を取る。しかし、下端を 2、上端を 3 とすると、どの解曲線においてもその区間における積分(赤い線分の長さ)は同じであることが見て取れる。
4. 不定積分は微分の逆演算ではない
従来の説明でよく見かけるもう一つの間違いは、不定積分あるいは私が定義した意味での原始積分を微分の逆演算とみなすことである。数学における逆演算(inverse operation 逆操作)とは、逆写像(inverse mapping)を行う演算で、したがって、微分と積分が写像と逆写像の関係になっているかどうかが問題となる。
今、f は、集合 X の元を集合 Y の元にマッピングする写像であるとする。
この写像が全射(surjection)かつ単射(injection)の全単射 (bijection) 、すなわち、X から Y への一対一かつ上への写像であるなら、
という逆写像を持ち、写像と逆写像を合成すると、
という全称命題が成り立つ。例えば、f が 0 以外の数による割り算で、f -1 が 0 以外の数による掛け算なら、この全称命題が成り立つので、両者は逆演算の関係にあるということができる。
集合 X を原始関数の集合、集合 Y を被積分関数の集合とすると、f は微分、f -1 は積分に相当する写像ということになる。ある関数を積分してから微分すると元に戻るが、微分してから積分しても元の関数には戻らない。つまり、この全称命題(数式19)は成り立たないということである。これは、原始関数の集合と被積分関数の集合とが一対一対応ではなくて、多対一対応であることによる。
一対一対応は情報保存的(information-preserving)であるが、多対一対応は情報喪失的(information-losing)である。被積分関数を積分する時、原始積分なら原始積分定数、すなわち初期値の情報が、不定積分ならそれに加えて不定積分定数、すなわち下端の情報が必要である。これらの情報は、微分の際に失われている。しかし、もしもこれらの情報を得ることができるなら、微分してから積分しても元の関数を復元することができる。
微分と積分は、逆演算の関係にはないものの、分析と総合の一種であり、逆方向の認識作業であるということは言える。微分が全体を要素へと分解するのに対して、積分はそれらを全体へと再統合する。カントの分析判断と総合判断を引き合いに出すまでもなく、総合されたものは分析されたものよりも多くの情報を持つ。一般的に積分が微分よりも難しいのも、前者が後者よりも多くの情報を必要としているからであろう。
積分法は、古代ギリシャにおける取り尽くし法を起源とし、微分法とは独立に開発されたが、面積が未知の図形を面積が既知の要素へと分割することで全体面積の複雑性を縮減しようとする試みは、完全には成功しなかった。昔のシステム論者なら「全体は部分の総和以上である」というホーリズムの命題を唱えてあきらめたかもしれない。しかし、要素還元主義自体が間違っているわけではなく、全体を可視的な部分の総和以上にしている不可視の要素、すなわち関数の確定性を十分利用していなかっただけのことである。
積分の計算は、ジェームズ・グレゴリー、アイザック・バロー、アイザック・ニュートン、ゴットフリート・ライプニッツが、微分積分学の基本定理を完成させたことで、容易になった。図形の境界線を形成する関数を面積の変化率と認識し、面積をその変化率の蓄積と扱うことで面積計算を可能にしたのである。積分法は、面積のみならず、あらゆる変数と関数値の積の計算に応用されるようになった。微積分学は、全体を要素へと分解し、それらを再び全体へと組み立てるデカルト的な要素還元主義の成功例となったのである。
5. 参照情報
- ↑青本 和彦, 砂田 利一.『微分と積分1 - 岩波講座 現代数学への入門 1』 岩波書店 (October 5, 1995). p. 107.
- ↑黒田 成俊. 『微分積分 - 共立講座 21世紀の数学 1』 共立出版 (September 1, 2002). p. 145.
- ↑Wikipedia. “不定積分." 2012年5月24日 (木) 02:39.
- ↑Pbrks. “Slope field of the equation dy/dx=x^2-x-2." 6 June 2008. Licensed under CC-0.
ディスカッション
コメント一覧
微積分の根底をさぐる [単行本]
稲葉 三男 (著)
のパクリじゃないですか
このページに書いたことは、自分の頭で考えたことであり、私が読んだ文献には書かれていないことです。私は、御紹介いただきました『微積分の根底をさぐる』という本を読んでいないのですが、そこにはどのようなことが書かれているのでしょうか。
P.S. 修正しておきましたが、URL は直接書き込まずに、アンカータグとして入れてください。
パクリと言われたので、ほんとにそうなのかどうかを確認するために、『微積分の根底をさぐる』を入手して読んでみました。しかし、私がここで論じているのと同じことはどこにも見当たりません。強いて私と近い論調の箇所を引用するならば、以下の箇所でしょうか。
稲葉は、不定積分を求めることができない(被積分関数が初等関数ではない)楕円関数のようなケースもあるだから、微分の逆としての不定積分から定積分を導入するという教え方だけでは問題があると言っているのであって、不定積分とは何かに関して本稿で行っているような分析をしているわけではありません。だから、「パクリ」という非難は適切ではありません。
ちょい別の見方
微分というのは線形演算、つまり線形作用素をかける事と等価である。
線形作用素は、それが単射でないときには核、kernelを持ちそれは線型空間になる。
微分作用素の核は定数関数全体である。
だから、
dF/dx=f
は一次方程式
Diff*F=f
という事になり、この方程式をみたすFは、
Diff*G=f
を満たす特殊解Gを使って、
G+Kernel(Diff)
もしくは
{G+g|g∈Kernel(Diff)}
で表現される。
集合から集合への関数で考えれば Diff-1 は
Diff-1({f})={G+g|g∈Kernel(Diff)}
で、一点集合から線形空間への写像って見ることもできるな。
集合関数的な視点で見れば、不定積分は逆変換と言うことも可能だと思う。
たしかに、集合を要素として扱えば、そういうことも言えるでしょう。
こんにちは。記事を拝読させていただきました。以下の箇所で質問があります。
「三番目の積分を実行すると、
![\int_a^x f(t)dt =\left [ F(t)+C \right ]_{a}^{x}=\left ( F(x)+C-(F(a)+C) \right )=F(x)-F(a)](https://s0.wp.com/latex.php?latex=%5Cint_a%5Ex+f%28t%29dt+%3D%5Cleft+%5B+F%28t%29%2BC+%5Cright+%5D_%7Ba%7D%5E%7Bx%7D%3D%5Cleft+%28+F%28x%29%2BC-%28F%28a%29%2BC%29++%5Cright+%29%3DF%28x%29-F%28a%29+&bg=ffffff&fg=000&s=1&c=20201002)
![\int_a^x cos\theta\, d\theta =\left [\, sin\theta+C\, \right ]_{a}^{x}=sinx-cosa](https://s0.wp.com/latex.php?latex=%5Cint_a%5Ex+cos%5Ctheta%5C%2C++d%5Ctheta+%3D%5Cleft+%5B%5C%2C++sin%5Ctheta%2BC%5C%2C++%5Cright+%5D_%7Ba%7D%5E%7Bx%7D%3Dsinx-cosa+&bg=ffffff&fg=000&s=1&c=20201002)
となるが、ここで -F(a) を積分定数 C とみなせば、たしかに、F(x)+C という形になる。しかし、これでは原始関数のすべてを表せない場合がある。例えば、余弦関数を積分する場合、
となるが、-cosa は、a が何であれ」
五行目,sinx-cosaではなくsinx-sinaになりませんか?
御指摘ありがとうございます。私の不注意で、sina が、cosa になっていたので、三箇所の cosa を sina に置き換えました。但し、置換しても、他には影響はありません(正弦でも余弦でも値域は同じなので)。
こんにちは。不定積分に興味があったので記事を読みました。
不定積分
と原始関数 F(x)+C の両者を等号記号で結ばれたもの S(x)=F(x)+C を使って不定積分を求める方法を見たとき、まるで不定積分が原始関数を表すものだと思って混乱しながら教科書を見たものです。どうして、等号記号が付くのだろうかと思った次第です。
不定積分 S(x) と原始関数 F(x)+C の差を表す関数 G(x):=S(x)-(F(x)+C) を考えることで、S(x)=F(x)+C の意味を考えます。dG(x)/dx=0 より G(x) が定数 C0 で表されるので、そのような定数 C0 を求めると C0=G(a)=S(a)-(F(a)+C)=-F(a)-C となって、これにより G(x)=-F(a)-C を得ます。S(x)=F(x)+C のときは G(x)=0 なので、G(x)=0 を満たす C は G(x)=-F(a)-C より C=-F(a) です。よって、S(x)=F(x)-F(a) です。つまり、S(x)=F(x)+C にある C は、任意の数を表すものと言うよりも、C に関する方程式です。
ただ、S(x)=F(x)+C の表記は混乱を招くところもあるので、積分定数に関して混乱を招かないように Eq.11 のように定義したことは面白いことだと思いました。この場合は、
と置いて、恒等的に H(x)=0 になることを示すべく、dH(x)/dx=0 と H(a)=0 を示す必要があります。~続きあり~
定積分を求めるときに 2 つのアプローチ「微分の逆としての不定積分から定積分」、「微小な量の和の極限から定積分を求める」を書いたのち、「微分と積分の関係」を下に書きます。不定積分が原始関数と同一視されることは、たぶん、後者の定積分を求めるアプローチに関係することだと思います。微分と積分の関係のついては、屁理屈っぽいですが、集合を元として写像を考えることで、微分と積分との間に互いに逆写像の関係にあることが言えます。しかし、これは微分と積分が全単射ではないことを否定するものではありません。
微分の逆としての不定積分から定積分を求めるならば、不定積分
の x による微分 dS(x)/dx=f(x) によって S(x) が f(x) の「原始関数のひとつ」になることから、何らかの定数 C を用いて S(x)=F(x)+C と書き表され、S(a)=F(a)+C から C を求めることで不定積分S(x) が得られるので、S(x) の x のところに定数 b を代入して定積分が得られます。
微小な量の和の極限から定積分を求めるならば、
とおいて Sn を
の近似でありその極限は


を満たす
が存在するために
を得て、これによって
を得るべく (1), (2), (3), (5) を使うと
を得ます:


(1)
と置くと Sn は
(2)
ですが、この Sn について
(3)
となるように f(x) の原始関数 F(x) ( f(x) の原始関数ならば、なんでもよい) を用いて、yn, xを
(4)
と定めると、ラグランジュの平均値の定理より
(5)
を得るので、
(6)
微分と積分との関係性については、集合を元とする集合
(7) A:={{F(x)+c : c は任意の定数}}, B:={{f(x)}}
に対して、写像 φ を集合 A から集合 B への写像として写像 ψ を集合 B から集合 A への写像として、各 U∈A と 各 V∈B に対して
(8) φ(U):={dG(x)/dx : G(x)∈U}
(9) ψ(V):={H(x) : dH(x)/dx∈V}
と定めれば、φ が微分を表す写像で ψ が積分を表す写像で、互いに逆写像の関係にあります。~終わり~
HTMLで読みやすく表示されるように書き換えたので、ご了承ください。なお、上付き文字は、<sup>上付き文字</sup>、下付き文字は、<sub>下付き文字</sub>というようにタグ付けして、上付き文字上付き文字、あるいは、下付き文字下付き文字というように表すことができます。LaTeX で数式を入力するときは、Online LaTeX Equation Editor などで数式のソースコードを作成して、
というようにしてくれれば、わかりやすく表示されます。
ところで、本題ですが、monozuki さんが言っていることは、m2 さんの主張と同じなのでしょうか。