不定積分
関数の不定積分という用語には次に挙げる四種類の意味で用いられる場合がある。
(逆微分) 0) 微分の逆操作を意味する：すなわち、与えられた関数が連続関数であるとき、微分するとその関数に一致するような新たな関数（原始関数）を求める操作のこと、およびその原始関数の全体(集合)を 逆微分としての不定積分（antiderivative）と言う。
(積分論) 1) 一変数関数 に対して、定義域内の任意の閉区間 上の定積分が に一致する関数 を関数 の 不定積分 (indefinite integral) と言う。
(積分論) 2) 一変数関数の定義域内の定数 から変数 までの（端点が定数でない）積分で与えられる関数を関数 の を基点とする不定積分 (indefinite integral with base point ) と言う。
(積分論) 3) ルベーグ積分論において定義域内の可測集合を変数とし、変数としての集合上での積分を値とする集合関数を関数 の 集合関数としての不定積分 (indefinite integral as a set-function) と言う。
海外の数学サイトでは wikipedia を含めて主として上記の (逆微分) 0) を記述している場合が多いが、岩波書店の数学辞典や積分論の現代的な専門書では上記の (積分論) での不定積分が記述されている。ただしこれらはそれぞれ無関係ではなく、後述するように、例えば (積分論) 1) は (積分論) 3) を数直線上で考えたものであって (逆微分) 0) と同等となるべきものであり、(積分論) 2) は本質的には (積分論) 1) や (積分論) 3) の一部分と見なすことができる。また (積分論) 2) から (逆微分) 0) を得ることもできるが、この対応は一般には全射でも単射でもない。これ以後、この項目で考える積分は、特に指定がない限り、リーマン積分であるものとする。
また後述するように、(積分論) の意味の不定積分を連続でない関数へ一般化すると、不定積分は通常の意味での原始関数となるとは限らなくなり、(初等数学) と一致しなくなるのだが、連続関数に対してはほぼ一致する概念であるため、しばしば混同して用いられる。
関数 (積分される関数という意味で被積分関数という) が与えられたとき、微分方程式 formula_1 の解となる関数 各々である特殊解を の原始関数といい、解となる関数 全体である一般解を の 逆微分としての不定積分 という。
関数 の不定積分は、端点を指定しないリーマン積分の記法（ライプニッツの記法）を用いて
のように表される。定義から、不定積分は一つの関数を表すものではないことに注意すべきである (実際、一階の微分方程式の一般解なのであるから、少なくとも一つの積分定数と呼ばれる任意定数を含む)。ただし、実用上は任意定数の値を決めるごとに原始関数が一つ現れるから、あたかも一つの関数であるかのように扱うことができる。
閉区間上の可積分関数 と定義域内の任意の閉区間 に対して、次の 微分積分学の基本公式 を満たす関数 を の 不定積分 という:
閉区間上の可積分関数 に対して、定義域内の定数 から変数 までの定積分
を の を基点とする不定積分 という。
ユークリッド空間 formula_2 の可測集合 におけるルベーグ可測集合族とルベーグ測度のなす測度空間上でルベーグ可積分な関数 に対して、可測集合 formula_3 を変数とする集合関数
を関数 の 集合関数としての不定積分 という。このとき、formula_4 は絶対連続な完全加法的集合関数となる。
を閉区間上の連続関数とする。このとき、不定積分と逆微分は次の意味で対応する。
連続関数 に対して、微分積分学の基本定理（第一基本定理）から
が成り立つから、 を基点とする不定積分で与えられる関数 formula_5 は の原始関数のひとつである。
さらに不定積分 の定義から、formula_6 は を基点とする不定積分 formula_7 に一致するから、 の原始関数のひとつであり、従って formula_8 もそうである。
逆に連続関数 の原始関数 が与えられれば、微分積分学の基本定理（第二基本定理）から、定義域内の任意の閉区間 に対して 微分積分学の基本公式
が成立するから、 は の不定積分である。
で が閉区間とし、基点 を固定する。formula_4 を 上の連続関数 の「集合関数としての不定積分」とするとき、変数 formula_10 に対して、formula_11 のとき formula_12 と、また formula_13 のとき formula_14 と置いて得られる関数 は、formula_15 を満たすから、 の「formula_16 を基点とする不定積分」を与える。
連続関数 の「formula_16 を基点とする不定積分」formula_7 は、基点 formula_16 を定義域内で任意に移動させることで「不定積分」の部分集合を与える。ただし、この対応は一般には全射にも単射にもならない。例えば formula_20 という連続関数を考えた場合、その「不定積分」は formula_21 であるが「formula_16 を基点とする不定積分」formula_23 からは formula_24 の場合しか得られず、同じ formula_25 を与える formula_16 の値が二つ存在する。
定積分を、定義から直接にリーマン和（微小長方形の面積の総和）の極限として求めるのは非常に困難であるが、連続関数の不定積分が初等関数で表せる場合は、微分積分学の基本公式 を用いると単純な計算問題に帰着させることができる。
以後、本項では特にことわらない限り関数は連続関数とし、「不定積分」という用語を逆微分という意味で用いる。
一つの連続関数に対する二つの原始関数は定数の違いしかなく、すべての変数項が一致することを証明 (黒丸印から開始) する。
実際、 を閉区間上の連続関数 の原始関数のひとつとし、同じ定義域における の他の原始関数 formula_27 をとると、
ゆえに の逆微分としての不定積分は任意定数 formula_28 を用いて
と書くことができる。
ここで任意定数 formula_28 は通常、積分定数 と呼ばれる。
従って特に formula_16 を基点とする不定積分と任意定数 formula_28 を用いて
と表すことができる。
閉区間上のルベーグ可積分関数 に対しても、定義域内の定数 formula_16 を一つ固定するとき、任意の定数 formula_28 を用いて表される
を の formula_16 を基点とする不定積分と呼ぶことができる。ただし、formula_67 の場合は formula_68 であり、formula_69 の場合は formula_70 である。この様な一般化を考えた場合は、 の値をとめるごとに、 の連続関数（実は絶対連続となる）を与えるが、 は必ずしも微分可能ではない。また、積分の値は測度 formula_71 の集合上で の値を取り換えたとしても変化しないから、 が微分可能な点においても、導関数が に一致するとは限らない。すなわち、この様な一般化を考えた場合には、一般には原始関数と不定積分は異なる概念となる。
あるいはもし、原始関数の概念をもさらに一般化し、例えばほとんどいたる所で微分可能でそこでの微分係数が に一致する連続関数 formula_27 を原始関数と呼ぶと、今度は二つの原始関数の差が定数であることが一般には成り立たなくなり、微分積分学の基本公式が成立しないことになる。
実際、カントール集合から作られる単調増加関数であるカントール関数は、定数関数でないのに、恒等的に値 formula_71 をとる定数関数のここでの意味の原始関数となっている。
ただしカントール関数は絶対連続ではなく、一般に原始関数にさらに絶対連続性を要求するのであればこの様な例は排除される。