ルベーグ積分
数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと 軸の間の面積と見なすことができる。ルベーグ積分（ルベーグせきぶん、）は、より多くの関数を積分できるように拡張したものである。。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。
数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかしながら、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。
ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまたの中枢部でもある。
「ルベーグ積分」(Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線（あるいは -次元ユークリッド空間）の特定の部分集合（特にルベーグ可測集合）上定義されたルベーグ可測関数を積分するという特定の場合を意味することもある。
積分を厳密なものにしようという動きは、19世紀からである。ベルンハルト・リーマンが提案したリーマン積分はこの目的に向けて大きな前進であった。リーマンは関数の積分を「簡単に計算できる積分」で近似することによって定義した。この定義による積分は、それまで解答が知られていた問題に対してそのままの結果をもたらしたし、他の問題に対しては新しい結果を与えることになった。しかし、リーマン積分は関数列の極限と相性が悪く、積分と極限が同時に現れるような場面では解析が困難な場合がある。それに対して、ルベーグ積分は、積分記号の下での極限がより扱いやすくなっている。ルベーグ積分は、リーマン積分と異なる形の「簡単に計算できる積分」を考えており、このことがルベーグ積分がリーマン積分よりよく振舞う理由となっている。さらに、ルベーグ積分ではリーマン積分より広い種類の関数に対して積分を定義することが可能になっている。例えば、無理数で 0 を有理数で 1 をとる関数（ディリクレの関数）を閉区間 [0, 1] 上で考えると、リーマン積分では積分が定義されないが、ルベーグ積分では積分できる。
積分の定義方法の違いを直感的に理解できるように、山の（海抜より上の部分の）体積を計算する例を考えよう。この山の境界ははっきりと定まっているとする（これが積分範囲である）。有理数体 Q の定義関数 1（ディリクレの関数）を考える。この関数は至るところ不連続である。ルベーグ積分を定義するためには、きちんとした測度の概念が必要になる（これは言ってみれば、実数からなる集合 に対し、集合 の「大きさ」となる非負の実数 を割り当てるものである）。ここでいう「大きさ」というのは、区間や区間の非交和に対してはそれらの通常の意味での「長さ」に一致するべきものである。さて函数 は非負実数値函数であるものとして、「 の値域を分割する」という哲学のもと、 の積分は と の間にある水平な細い帯状領域が占める基本面積を に関して加えた総和となるものである。このような基本面積はちょうど formula_2 に等しい。ここに formula_3 と置けば、 のルベーグ積分は formula_4 と定義される（ただし、右辺の積分は広義リーマン積分の意味でとる。 が非負の単調増大函数であり、したがって区間 に値をとる広義リーマン積分が定まることに注意する）。適当なクラスに属する函数（可測函数）に対して、これはルベーグ積分を定義する。
一般の（非負とは限らない）可測函数 がルベーグ可積分となるのは、 のグラフと -軸に囲まれた領域の面積が有限、つまり formula_5 となるときである。この場合の積分の値は（リーマン積分のときと同様に）-軸より上にある面積から -軸より下にある面積を引いた　formula_6 で与えられる。ここで、formula_7 は の二つの非負値函数への分解であり、各々は formula_8 と与えられる（正成分と負成分の項を参照）。
ルベーグ積分論は、可測集合とその上の測度に関する理論（測度論）と可測函数とその積分に関する理論（積分論）の二段構えになっている。
当初、測度論は線分、平面図形、立体などの長さ、面積、体積などの精密な解析のために考え出されたものである 。特に 実数全体の集合 R の部分集合について、その部分集合の長さとは何か、という問いに対して整然とした解答を与えるものであった。
集合論の発展によって、自然な加法性を持ち、平行移動不変になるように、実数体 R のすべての部分集合に長さを定義することが不可能であることがわかった。このことにより、可測集合と呼ばれる種類の部分集合にのみ長さを定義する必要が生まれた。測度が満たすべき適当な条件については測度論を参照されたい。
現代では測度と積分は公理的に定義される。測度というのは、集合 "X" の適当な条件を満たす部分集合の族 Σ 上で定義された適当な条件を満たす関数 "μ" であれば何でもよく、"X" がユークリッド空間であったり、Σ の元が面積を計算したい図形であったりする必要はないし、"μ" の値が面積とかけ離れたものでもよい。そこで、ユークリッド空間の図形の面積を与える測度は特別にルベーグ測度という名前がついている。
リーマン積分では長方形 ["a", "b"] × ["c", "d"] の面積が ("b" − "a")("d" − "c") で計算できることを基礎としている。リーマン積分は積分を近似するための「簡単に計算できる積分」として、長方形を並べたものを使っており、測度に関するより深い議論を必要としなかったのである。
測度空間として ("X", "M", "μ") が与えられたとする。例えば、"X" としてユークリッド空間、"M" をルベーグ可測集合全体、"μ" としてルベーグ測度などが考えられる。確率論においては測度空間として "μ"("X") = 1 であるような測度空間（確率空間）を使う。
ルベーグ積分において、被積分関数になる関数は可測関数と呼ばれる関数である。"X" 上で定義された実数または±∞に値をとる関数 "f" が可測関数あるいは "M"-可測関数であるとは、任意の実数 "a" について ("a", +∞] = ("a", +∞) ∪ {+∞} の "f" による逆像が "M" に属すること：
が成り立つことである。複素数値関数は、その実部と虚部が共に可測関数のとき、可測関数あるいは "M"-可測関数であるという。このように関数の可測性を定めれば、可測関数の全体からなる集合は代数的な操作（和、差、積、商、実数倍または複素数倍）に関して閉じていることが分かる。可測関数の全体の集合は、実数体または複素数体の上の線型空間を成すことも分かる。また、完全加法族 "M" の性質から、R ∪ {+∞, −∞} の任意の部分集合 "I" の可測関数 "f" による逆像 "f"("I") も "M" に属することも分かる。重要なことは、多くの関数列の極限に関して閉じていることである。例えば、可測関数の列 "f" に対して
で与えられる関数もまた可測関数になる。従って、可測関数列が各点収束していれば極限関数もまた可測関数である。
ルベーグ積分の定式化の一つの方法として、単函数（有限個の指示函数の実係数線型結合）を用いるものがある。単函数は、可測函数の値域を帯状に分割することにより、可測函数を近似することができる。単函数の積分は各帯状領域の測度にその高さを掛けたものに等しい。非負値をとる一般の可測函数の積分はその函数の単函数による近似の上限として定義され、非負と限らない場合には函数を正成分と負成分の二つの非負値函数の差に分解してそれらの積分の差として可測函数の積分を定義する。
与えられた測度 に関する可測集合 に対して、 の定義関数 formula_12 の積分を formula_13 とする。測度 が有限測度でない限り、この積分値が となる場合があることに注意する。以下積分が となる場合も許して、「積分が存在する」と言うことにする。
実数の定数列 と -可測集合列 から作られる、有限線型結合 formula_14 を可測単函数と呼ぶ。可測単函数の積分は、指示函数の積分を線型に拡張したもので与えられる。より詳しく書けば、非負値可測単函数（すなわち の場合）に対する積分は formula_15 で定める。ここで、 の不定形が生じる場合が想定できるが、規約として を用いるものとする。また前目と同じく積分は となり得る。
与えられた単函数を指示函数の線型結合として表す方法が複数あったとしても、上記のように定義した積分が常に同じ値となることに留意する。これは測度の加法性からくるものである。
非負とは限らない一般の実数値単函数の場合も同様なのであるが、不定形 の値は「定義しない」（あるいは「無意味」）として扱うので、それが現れることは避けなければならない。よって、非負とは限らない であってもそれを formula_16 と表したとき「 となる場合には必ず 」とできるという仮定を満たすものであれば、上で述べた積分の定義式は意味を為し、非負値の場合と同様に表し方に依らず定まる。
拡張実数値（実数以外に も値として許す）可測函数 の積分は を正成分　 と負成分 の差 formula_19 に分解する（ここに であり、これらおよび formula_20 が非負可測函数となることに注意する）ことでformula_21と定義される。左辺の積分が（ の場合も許して）存在するためには、右辺の二つの積分のうちいずれか一つでも有限値でありさえすればよいことに留意すべきである。しかし、 がであるというときには、左辺が（存在するだけでなく）有限確定値であることを要求する。非負とは限らない（拡張）実数値可測函数 がルベーグ可積分となるための必要十分条件は formula_22となることである。絶対値の積分が有限確定であるという意味でともいう。
複素数値可測函数の場合も同様で、積分は函数を実部と虚部の和に分解することで定義できる。複素数値可測函数 が実数値ルベーグ可積分函数 を用いて と書けるならば、 の積分は formula_23 で定義される。
複素数値可測函数がルベーグ可積分となるための必要十分条件は、その絶対値がルベーグ可積分となることである。
ルベーグ積分における技術的な目的のために、その積分領域は（可測空間の適当な部分集合という）「集合」であり、そのために積分領域は向きを持たないことに留意すべきである。初等的な微分積分学では、積分する向きを反映して formula_24 と定義するし、さらにこれを高階の微分形式の積分の場合にまで一般化するのであった。これと対照に、ルベーグ積分は「部分集合を測度に関して積分する」という別な方向への一般化を与えるのである。一次元で積分区間が であるとき、formula_25 のように書くことで、それが部分集合 での積分であるということを示唆することは可能である。 のとき閉区間 は空集合であるから、その場合の積分値は である。
ルベーグ積分においては零集合の上でのみ異なる値をとる関数を区別しない。
正確に言うと、関数 "f" と "g" がほとんど至るところ等しいとは
をみたすことであり、
と書く。ルベーグ積分は以下の性質を持っている。
線型性: 可積分関数 "f", "g" と実数 "a", "b" に対して、"af" + "bg" も可積分になり
単調性: 0 ≤ "f" ≤ "g" ならば
単調収束定理: {"f"} を非負値可測関数の増大列とする。つまり
このとき
が成立する。
注意: 左辺または右辺の一方が正の無限大に発散すれば、もう一方の辺も同様である。
ファトゥーの補題: {"f"} を非負値可測関数の列とする。このとき
が成立する。
この定理においては左辺が正の無限大に発散すれば、右辺も正の無限大に発散する。
ルベーグの収束定理: {"f"} を可測関数の列で "f" に概収束するとし、可積分関数 "g" によって、 "E" のほとんど至るところで任意の "k" に対して |"f" | ≤ "g"と上下から押さえられているとする。このとき、極限関数 "f" も可積分であり
が成立する。
測度論を全く使わない方法としては、リーマン積分はコンパクト台を持つ任意の連続関数に対して定まっているので、関数解析の手法を用いることでより一般の関数にこの積分を拡張する方法がある。"C" を R 上定義された実数値関数でコンパクト台を持つもの全体とする。ノルムをリーマン積分を用いて
により定める。
これにより "C" は線形ノルム空間となる。距離空間の完備化 (Hausdorff completion) によって完備な空間に拡張したものを "L" とする。この空間はルベーグ可積分な関数からなる空間と（ほとんど至るところ等しい関数は同一視したとして）同型となる。さらに、リーマン積分は "C" 上の連続な線形汎関数であり、"C" は "L" の稠密な部分空間であるから、"L" 上の線形汎関数にただ一通りに拡張できる。この拡張は、ルベーグ積分と一致する。
この方法の問題点は関数を空間の点として定めていることであり、この抽象的な点を関数として表現する方法が自明ではないことである。とりわけ、関数列の各点収束と積分との関係を示すことは非常に難しい。このアプローチを一般化して局所コンパクト空間上のラドン測度に関する積分の理論を構築することができる。これは によって採用されたアプローチである。詳細は局所コンパクト空間上のラドン測度を参照。