不定積分
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年9月) |
関数の不定積分(ふていせきぶん)という用語には次に挙げる四種類の意味で用いられる場合がある。
- (逆微分) 0)
- 微分の逆操作を意味する:すなわち、与えられた関数が連続であるとき、微分するとその関数に一致するような新たな関数(原始関数)を求める操作のこと、およびその原始関数の全体(集合)[注 1]を 逆微分(antiderivative)と言う(積分定数は無視する)。
- (積分論) 1)
- 一変数関数 f(x) に対して、定義域内の任意の閉区間 [a, b] 上の定積分が F(b) − F(a) に一致する関数 F(x) を関数 f(x) の 不定積分 (indefinite integral) と言う。
- (積分論) 2)
- 一変数関数の定義域内の定数 a から変数 x までの(端点が定数でない)積分で与えられる関数を関数 f(x) の a を基点とする不定積分 (indefinite integral with base point a) と言う。
- (積分論) 3)
- ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 f の 集合関数としての不定積分 (indefinite integral as a set-function) と言う。
文献によって、逆微分の意味で「不定積分」を扱っている場合と、上述の積分論1〜3の意味で扱っている場合があり、注意を要する。例えば岩波数学辞典では後者の積分論における不定積分が記述されている。ただしこれらはそれぞれ無関係ではなく、後述するように、例えば (積分論) 1) は (積分論) 3) を数直線上で考えたものであって (逆微分) 0) と同等となるべきものであり、(積分論) 2) は本質的には (積分論) 1) や (積分論) 3) の一部分と見なすことができる。また (積分論) 2) から (逆微分) 0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。
また後述するように、(積分論) の意味の不定積分を連続でない関数へ一般化すると、不定積分は通常の意味での原始関数となるとは限らなくなり、(初等数学) と一致しなくなるのだが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。
逆微分の定義
関数 f(x) (積分される関数という意味で被積分関数という) が与えられたとき、微分方程式
プロジェクト 数学
- 原始函数のページへのリンク