ルベーグ積分

数学において、一変数の非負値関数の積分は、最も単純な場合には、その関数のグラフと x 軸の間の面積と見なすことができる。ルベーグ積分（ルベーグせきぶん、英: Lebesgue integral）は、積分をより多くの関数へ拡張したものである。ルベーグ積分においては、被積分関数は連続である必要はなく、至るところ不連続でもよいし、関数値として無限大をとることがあってもよい。さらに、関数の定義域も拡張され、測度空間と呼ばれる空間で定義された関数を被積分関数とすることもできる。 数学者は長い間、十分滑らかなグラフを持つ非負値関数、例えば有界閉区間上の連続関数、に対しては、「曲線の下部の面積」を積分と定義できると理解しており、多角形によって領域を近似する手法によってそれを計算した。しかし、より不規則な関数を考える必要が、例えば解析学や確率論において極限を考えるときに生じたため、より注意深い近似の手法が適切な積分を定義するために必要なことが明らかとなった。また、局所コンパクト群のような、実数直線よりも一般の空間上で積分をしたいことがある。ルベーグ積分はこの重要な仕事をするために必要な正しい抽象化を与える。例えば、フーリエ級数などの関数列の極限として表される関数に対して、積分と極限操作が可換となるかどうかをリーマン積分で考えると非常に繊細な議論が必要だが、ルベーグ積分では、積分と極限操作の交換が可能であるための簡単な十分条件が分かっている。 ルベーグ積分は実解析と呼ばれる数学の分野に属する確率論や、他の多くの数理科学分野において、重要な役割を果たす。ルベーグ積分という名前は、その積分を導入した数学者アンリ・ルベーグ (Henri Lebesgue, 1875–1941) に由来している。それはまた公理的確率論（英語版）の中枢部でもある。 「ルベーグ積分」(Lebesgue integration) という用語は、カラテオドリに始まる一般の測度に関する関数の積分の一般論を意味することもあるし、ルベーグ測度に関して実数直線（あるいは n-次元ユークリッド空間）の特定の部分集合（特にルベーグ可測集合）上定義されたルベーグ可測関数を積分するという特定の場合を意味することもある。 積分を厳密なものにしようという動きは、19世紀からである。ベルンハルト・リーマンが提案したリーマンの積分はこの目的に向けて大きな前進であった。リーマンは関数の積分を「簡単に計算できる積分」で近似することによって定義した。この定義による積分は、それまで解答が知られていた問題に対してそのままの結果をもたらしたし、他の問題に対しては新しい結果を与えることになった。しかし、リーマン積分は関数列の極限と相性が悪く、積分と極限が同時に現れるような場面では解析が困難な場合がある。それに対して、ルベーグ積分は、積分記号の下での極限がより扱いやすくなっている。ルベーグ積分は、リーマン積分と異なる形の「簡単に計算できる積分」を考えており、このことがルベーグ積分がリーマン積分よりよく振舞う理由となっている。さらに、ルベーグ積分ではリーマン積分より広い種類の関数に対して積分を定義することが可能になっている。例えば、無理数で 0 を有理数で 1 をとる関数（ディリクレの関数）を閉区間 [0, 1] 上で考えると、リーマン積分では積分が定義されないが、ルベーグ積分では積分できる。 積分の定義方法の違いを直感的に理解できるように、山の（海抜より上の部分の）体積を計算する例を考えよう。この山の境界ははっきりと定まっているとする（これが積分範囲である）。 リーマン積分による方法 ケーキを切るときのように、山を縦方向に切り分けて細分する。このとき、各パーツの底面は長方形になるようにする。次に、各パーツで最も標高が高いところを調べ、底面の面積とその標高を掛け合わせる。各パーツごとに計算したその値を足したものを、上リーマン和と呼ぶことにする。同様のことを、最も標高が低いところに対して行い、下リーマン和と呼ぶことにする。分割を細かくしていったときに、上・下のリーマン和が同じ値に収束するときに、リーマン積分可能であるといい、その極限値が山の体積になる。 ルベーグ積分による方法 山の等高線を地図にする。等高線にそって地図を裁断して、地図をいくつかのパーツに分解する。各パーツは面積を計算できる平面図形なので（測度が分かっているので）、パーツの面積とそのパーツの最も低い点の標高を掛け合わせる。各パーツのこの値を足したものを「ルベーグ和」と呼ぶことにする。この「ルベーグ和」はルベーグ積分の構成にあった、単関数の積分に相当する。等高線の間隔を半分にしていったときの「ルベーグ和」の極限値が山の体積になる。 有理数体 Q {\displaystyle \mathbb {Q} } の定義関数 1 Q {\displaystyle 1_{\mathbf {Q} }} （ディリクレの関数）を考える。この関数は至るところ不連続である。 1 Q {\displaystyle 1_{\mathbf {Q} }} は [0, 1] 上でリーマン可積分ではない：[0, 1] をどのように区間に分割しても、各区間には有理数と無理数の両方が少なくとも1つは入っている。よって、上積分は常に 1 であり、下積分は常に 0 になり、リーマン可積分ではない。 1 Q {\displaystyle 1_{\mathbf {Q} }} は [0, 1] 上でルベーグ可積分である：集合の定義関数の積分は定義より ∫ [ 0 , 1 ] 1 Q d μ = μ ( Q ∩ [ 0 , 1 ] ) = 0 {\displaystyle \int _{[0,1]}1_{\mathbf {Q} }\,d\mu =\mu (\mathbf {Q} \cap [0,1])=0} ルベーグ積分を定義するためには、測度の概念が必要になる（これは言ってみれば、実数からなる集合 A に対し、集合 A の「大きさ」となる非負の実数 μ(A) を割り当てるものである）。ここでいう「大きさ」というのは、区間や区間の非交和に対してはそれらの通常の意味での「長さ」に一致するべきものである。さて函数 f : R → R + {\displaystyle f:{\mathbb {R} }\rightarrow {\mathbb {R} }^{+}} は非負実数値函数であるものとして、「f の値域を分割する」という考えのもと、f の積分は y = t と y = t + dt の間にある水平な細い帯状領域が占める基本面積を t に関して加えた総和となるものである。このような基本面積はちょうど μ ( { x ∣ f ( x ) > t } ) d t {\displaystyle \mu (\{x\mid f(x)>t\})\mathrm {d} t} に等しい。ここに f ∗ ( t ) := μ ( { x ∣ f ( x ) > t } ) {\displaystyle f^{*}(t):=\mu (\{x\mid f(x)>t\})} と置けば、f のルベーグ積分は ∫ f d μ = ∫ Ω f ( t ) μ ( d t ) := ∫ 0 ∞ f ∗ ( t ) d t {\displaystyle \int f\,\mathrm {d} \mu =\int _{\Omega }f(t)\,\mu (\mathrm {d} t):=\int _{0}^{\infty }f^{*}(t)\,\mathrm {d} t} と定義される（ただし、右辺の積分は広義リーマン積分の意味でとる。f* が非負の単調増大函数であり、したがって区間 [ 0 , ∞ {\displaystyle 0,\infty } ] に値をとる広義リーマン積分が定まることに注意する）。可測函数のクラスに属する函数に対して、これはルベーグ積分を定義する。 一般の（非負とは限らない）可測函数 f がルベーグ可積分となるのは、f のグラフと x-軸に囲まれた領域の面積が有限、つまり ∫ | f | d μ < + ∞ {\displaystyle \int |f|\,\mathrm {d} \mu <+\infty } となるときである。この場合の積分の値は（リーマン積分のときと同様に）x-軸より上にある面積から x-軸より下にある面積を引いた　 ∫ f d μ = ∫ f + d μ − ∫ f − d μ {\displaystyle \int f\,\mathrm {d} \mu =\int f^{+}\,\mathrm {d} \mu -\int f^{-}\,\mathrm {d} \mu } で与えられる。ここで、 f = f + − f − {\textstyle f=f^{+}-f^{-}} は f の二つの非負値函数への分解であり、各々は f + ( x ) = max { f ( x ) , 0 } = { f ( x ) , if  f ( x ) > 0 , 0 , otherwise f − ( x ) = max { − f ( x ) , 0 } = { − f ( x ) , if  f ( x ) < 0 , 0 , otherwise. {\displaystyle {\begin{aligned}f^{+}(x)&=\max\{f(x),0\}&&{}={\begin{cases}f(x),&{\text{if }}f(x)>0,\\0,&{\text{otherwise}}\end{cases}}\\f^{-}(x)&=\max\{-f(x),0\}&&{}={\begin{cases}-f(x),&{\text{if }}f(x)<0,\\0,&{\text{otherwise.}}\end{cases}}\end{aligned}}} と与えられる。 ルベーグ積分論は、可測集合とその上の測度に関する理論（測度論）と可測函数とその積分に関する理論（積分論）の二段構えになっている。 当初、測度論は線分、平面図形、立体などの長さ、面積、体積などの精密な解析のために考え出されたものである (Lebesgue 1902)。特に 実数全体の集合 R {\displaystyle \mathbb {R} } の部分集合について、その部分集合の長さとは何か、という問いに対して整然とした解答を与えるものであった。 集合論の発展によって、自然な加法性を持ち、平行移動不変になるように、実数体 R {\displaystyle \mathbb {R} } のすべての部分集合に長さを定義することが不可能であることがわかった。このことにより、可測集合と呼ばれる種類の部分集合にのみ長さを定義する必要が生まれた。測度が満たすべき適当な条件については測度論を参照されたい。 現代では測度と積分は公理的に定義される。測度というのは、集合 X の適当な条件を満たす部分集合の族 Σ 上で定義された適当な条件を満たす関数 μ であれば何でもよく、X がユークリッド空間であったり、Σ の元が面積を計算したい図形であったりする必要はないし、μ の値が面積とかけ離れたものでもよい。そこで、ユークリッド空間の図形の面積を与える測度は特別にルベーグ測度という名前がついている。 リーマン積分では長方形 [a, b] × [c, d] の面積が (b − a)(d − c) で計算できることを基礎としている。リーマン積分は積分を近似するための「簡単に計算できる積分」として、長方形を並べたものを使っており、測度に関するより深い議論を必要としなかったのである。 測度空間として (X, M, μ) が与えられたとする。例えば、X としてユークリッド空間、M をルベーグ可測集合全体、μ としてルベーグ測度などが考えられる。確率論においては測度空間として μ(X) = 1 であるような測度空間（確率空間）を使う。 ルベーグ積分において、被積分関数になる関数は可測関数と呼ばれる関数である。X 上で定義された実数または ± ∞ {\displaystyle \pm \infty } に値をとる関数 f が可測関数あるいは M-可測関数であるとは、任意の実数 a {\displaystyle a} について ( a , + ∞ ] = ( a , + ∞ ) ∪ { + ∞ } {\displaystyle (a,+\infty ]=(a,+\infty )\cup \{+\infty \}} の f による逆像が M に属すること： f − 1 ( ( a , ∞ ] ) ∈ M {\displaystyle f^{-1}((a,\infty ])\in M} が成り立つことである。複素数値関数は、その実部と虚部が共に可測関数のとき、可測関数あるいは M-可測関数であるという。このように関数の可測性を定めれば、可測関数の全体からなる集合は代数的な操作（和、差、積、商、実数倍または複素数倍）に関して閉じていることが分かる。可測関数の全体の集合は、実数体または複素数体の上の線型空間を成すことも分かる。また、完全加法族 M の性質から、 R ∪ { + ∞ , − ∞ } {\displaystyle \mathbb {R} \cup \{+\infty ,-\infty \}} の任意の部分集合 I の可測関数 f による逆像 f−1(I) も M に属することも分かる。重要なことは、多くの関数列の極限に関して閉じていることである。例えば、可測関数の列 fk に対して lim _ k ∈ N ⁡ f k , lim ¯ k ∈ N ⁡ f k {\displaystyle \varliminf _{k\in \mathbb {N} }f_{k},\quad \varlimsup _{k\in \mathbb {N} }f_{k}} で与えられる関数もまた可測関数になる。従って、可測関数列が各点収束していれば極限関数もまた可測関数である。 X の部分集合 E 上定義された実数値可測函数 f に対する積分 ∫ E f d μ = ∫ E f ( x ) d μ ( x ) {\displaystyle \int _{E}f\,d\mu =\int _{E}f(x)d\mu (x)} を定義するにはいくつか方法がある。 ルベーグ積分の定式化の一つの方法として、単函数（有限個の指示函数の実係数線型結合）を用いるものがある。単函数は、可測函数の値域を帯状に分割することにより、可測函数を近似することができる。単函数の積分は各帯状領域の測度にその高さを掛けたものに等しい。非負値をとる一般の可測函数の積分はその函数の単函数による近似の上限として定義され、非負と限らない場合には函数を正成分と負成分の二つの非負値函数の差に分解してそれらの積分の差として可測函数の積分を定義する。 与えられた測度 μ に関する可測集合 S に対して、S の定義関数 1 S {\displaystyle 1_{S}} の積分を ∫ X 1 S d μ := μ ( S ) {\displaystyle \int _{X}1_{S}\,d\mu :=\mu (S)} とする。測度 μ が有限測度でない限り、この積分値が + ∞ {\displaystyle +\infty } となる場合があることに注意する。以下積分が + ∞ {\displaystyle +\infty } となる場合も許して、「積分が存在する」と言うことにする。 実数の定数列 ak と μ-可測集合列 Sk から作られる、有限線型結合 ∑ k a k 1 S k {\displaystyle \sum _{k}a_{k}1_{S_{k}}} を可測単函数と呼ぶ。可測単函数の積分は、指示函数の積分を線型に拡張したもので与えられる。より詳しく書けば、非負値可測単函数（すなわち ak > 0 (∀k) の場合）に対する積分は ∫ X ( ∑ k a k 1 S k ) d μ := ∑ k a k ∫ X 1 S k d μ = ∑ k a k μ ( S k ) {\displaystyle \int _{X}{\Bigl (}\sum _{k}a_{k}1_{S_{k}}{\Bigr )}\,d\mu :=\sum _{k}a_{k}\int _{X}1_{S_{k}}\,d\mu =\sum _{k}a_{k}\mu (S_{k})} で定める。ここで、 0 × ∞ {\displaystyle 0\times \infty } の不定形が生じる場合が想定できるが、規約として 0 × ∞ = 0 {\displaystyle 0\times \infty =0} を用いるものとする。また前目と同じく積分は ∞ {\displaystyle \infty } となり得る。 与えられた単函数を指示函数の線型結合として表す方法が複数あったとしても、上記のように定義した積分が常に同じ値となることに留意する。これは測度の加法性からくるものである。 非負とは限らない一般の実数値単函数の場合も同様なのであるが、不定形 ∞ − ∞ {\displaystyle \infty -\infty } の値は「定義しない」（あるいは「無意味」）として扱うので、それが現れることは避けなければならない。よって、非負とは限らない f であってもそれを f = ∑ k a k 1 S k {\displaystyle f=\sum _{k}a_{k}1_{S_{k}}} と表したとき「ak ≠ 0 となる場合には必ず μ ( S k ) ≤ ∞ {\displaystyle \mu (S_{k})\leq \infty } 」とできるという仮定を満たすものであれば、上で述べた積分の定義式は意味を為し、非負値の場合と同様に表し方に依らず定まる。 X の可測部分集合 B と可測単函数 s に対して、積分領域 B 上の s の積分は ∫ B s d μ = ∫ 1 B s d μ = ∑ k a k μ ( S k ∩ B ) {\displaystyle \int _{B}s\,d\mu =\int 1_{B}\,s\,d\mu =\sum _{k}a_{k}\,\mu (S_{k}\cap B)} で与えられる。 非負値可測関数（ ∞ {\displaystyle \infty } も値として許す） f の積分を ∫ X f d μ = sup s ↑ f { ∫ X s d μ ∣ s :  simple, non-negative } {\displaystyle \int _{X}f\,d\mu =\sup _{s\uparrow f}\{\int _{X}s\,d\mu \mid s\colon {\text{ simple, non-negative}}\}} で定める。 拡張実数値（実数以外に ± ∞ {\displaystyle \pm \infty } も値として許す）可測函数 f の積分は f を正成分　f+ と負成分 f− の差 f = f + − f − {\displaystyle f=f^{+}-f^{-}} に分解する（ここに f+(x) = max{f(x), 0}, f−(x) = −min{0, f(x)} であり、これらおよび | f | = f + + f − {\textstyle |f|=f^{+}+f^{-}} が非負可測函数となることに注意する）ことで ∫ X f d μ := ∫ X f + d μ − ∫ X f − d μ {\displaystyle \int _{X}f\,d\mu :=\int _{X}f^{+}d\mu -\int _{X}f^{-}d\mu } と定義される。左辺の積分が（±∞ の場合も許して）存在するためには、右辺の二つの積分のうちいずれか一つでも有限値でありさえすればよいことに留意すべきである。しかし、f がルベーグ可積分であるというときには、左辺が（存在するだけでなく）有限確定値であることを要求する。非負とは限らない（拡張）実数値可測函数 f がルベーグ可積分となるための必要十分条件は ∫ X f + d μ < ∞ ∧ ∫ X f − d μ < ∞ ( ⟺ ∫ X | f | d μ < ∞ ) {\displaystyle \int _{X}f^{+}\,d\mu <\infty \land \int _{X}f^{-}\,d\mu <\infty \qquad (\iff \int _{X}{\mathopen {|}}f{\mathclose {|}}d\mu <\infty )} となることである。絶対値の積分が有限確定であるという意味で絶対可積分ともいう。 複素数値可測函数の場合も同様で、積分は函数を実部と虚部の和に分解することで定義できる。複素数値可測函数 h が実数値ルベーグ可積分函数 f, g を用いて h = f + ig と書けるならば、h の積分は ∫ X h d μ = ∫ f d μ + i ∫ g d μ {\displaystyle \int _{X}h\,d\mu =\int f\,d\mu +i\int g\,d\mu } で定義される。 複素数値可測函数がルベーグ可積分となるための必要十分条件は、その絶対値がルベーグ可積分となることである。 ルベーグ積分における技術的な目的のために、その積分領域は（可測空間の適当な部分集合という）「集合」であり、そのために積分領域は向きを持たないことに留意すべきである。初等的な微分積分学では、積分する向きを反映して ∫ b a f := − ∫ a b f {\displaystyle \int _{b}^{a}f:=-\int _{a}^{b}f} と定義するし、さらにこれを高階の微分形式の積分の場合にまで一般化するのであった。これと対照に、ルベーグ積分は「部分集合を測度に関して積分する」という別な方向への一般化を与えるのである。一次元で積分区間が A = [a, b] であるとき、 ∫ A f d μ = ∫ [ a , b ] f d μ {\displaystyle \int _{A}f\,d\mu =\int _{[a,b]}f\,d\mu } のように書くことで、それが部分集合 [a, b] での積分であるということを示唆することは可能である。a > b のとき閉区間 A は空集合であるから、その場合の積分値は 0 である。 ルベーグ積分においては零集合の上でのみ異なる値をとる関数を区別しない。 正確に言うと、関数 f と g がほとんど至るところ等しいとは μ ( { x : f ( x ) ≠ g ( x ) } ) = 0 {\displaystyle \mu (\{x:f(x)\neq g(x)\})=0} をみたすことであり、 f = g a.e. {\displaystyle f=g\quad {\text{a.e.}}} と書く。 非負値可測関数 ( ∞ {\displaystyle \infty } を関数値として許す) f と g がほとんど至るところ等しいならば ∫ E f d μ = ∫ E g d μ . {\displaystyle \int _{E}f\,d\mu =\int _{E}g\,d\mu .} 可測関数 ( ± ∞ {\displaystyle \pm \infty } を関数値として許す) f と g がほとんど至るところ等しいならば、f が可積分であることと g が可積分であることは同値であり、積分の値は等しい。 ルベーグ積分は以下の性質を持っている。 線型性: 可積分関数 f, g と実数 a, b に対して、af + bg も可積分になり ∫ E ( a f + b g ) d μ = a ∫ E f d μ + b ∫ E g d μ {\displaystyle \int _{E}(af+bg)\,d\mu =a\int _{E}f\,d\mu +b\int _{E}g\,d\mu \,} 単調性: 0 ≤ f ≤ g ならば ∫ E f d μ ≤ ∫ E g d μ {\displaystyle \int _{E}f\,d\mu \leq \int _{E}g\,d\mu } 単調収束定理: {fk}k∈N を非負値可測関数の増大列とする。つまり 0 ≤ f k ( x ) ≤ f k + 1 ( x ) ∀ k ∈ N ,  a.e.    x ∈ E . {\displaystyle 0\leq f_{k}(x)\leq f_{k+1}(x)\quad \forall k\in \mathbb {N} ,{\text{ a.e. }}\ x\in E.} このとき lim k ∫ f k d μ = ∫ lim k f k d μ . {\displaystyle \lim _{k}\int f_{k}\,d\mu =\int \lim _{k}f_{k}\,d\mu .} が成立する。 注意: 左辺または右辺の一方が正の無限大に発散すれば、もう一方の辺も同様である。 ファトゥーの補題: {fk}k∈N を非負値可測関数の列とする。このとき ∫ lim _ k ⁡ f k d μ ≤ lim _ k ⁡ ∫ f k d μ {\displaystyle \int \varliminf _{k}f_{k}\,d\mu \leq \varliminf _{k}\int f_{k}\,d\mu } が成立する。 この定理においては左辺が正の無限大に発散すれば、右辺も正の無限大に発散する。 ルベーグの収束定理: {fk}k∈N を可測関数の列で f に概収束するとし、可積分関数 g によって、 E のほとんど至るところで任意の k に対して |fk | ≤ gと上下から押さえられているとする。このとき、極限関数 f も可積分であり lim k ∫ f k d μ = ∫ f d μ {\displaystyle \lim _{k}\int f_{k}\,d\mu =\int f\,d\mu } が成立する。 測度論を全く使わない方法としては、リーマン積分はコンパクト台を持つ任意の連続関数に対して定まっているので、関数解析の手法を用いることでより一般の関数にこの積分を拡張する方法がある。Cc を R 上定義された実数値関数でコンパクト台を持つもの全体とする。ノルムをリーマン積分を用いて ‖ f ‖ = ∫ | f ( x ) | d x {\displaystyle \|f\|=\int |f(x)|\,dx} により定める。 これにより Cc は線形ノルム空間となる。距離空間の完備化 (Hausdorff completion) によって完備な空間に拡張したものを L1 とする。この空間はルベーグ可積分な関数からなる空間と（ほとんど至るところ等しい関数は同一視したとして）同型となる。さらに、リーマン積分は Cc 上の連続な線形汎関数であり、Cc は L1 の稠密な部分空間であるから、L1 上の線形汎関数にただ一通りに拡張できる。この拡張は、ルベーグ積分と一致する。 この方法の問題点は関数を空間の点として定めていることであり、この抽象的な点を関数として表現する方法が自明ではないことである。とりわけ、関数列の各点収束と積分との関係を示すことは非常に難しい。このアプローチを一般化して局所コンパクト空間上のラドン測度に関する積分の理論を構築することができる。これは Bourbaki (2004) によって採用されたアプローチである。詳細は局所コンパクト空間上のラドン測度を参照。 [脚注の使い方] ^ Lebesgue 1904. ^ H. Lebesgue (1902), Intégrale, longueur, aire, Ann. Mat. Pura Appl., (3) 7, 231–359. doi:10.1007/BF02420592 ^ 伊藤 1963, p. 78—「なお，初めに述べた一般の測度空間での積分を Lebesgue 式積分または単に Lebesgue 積分ということもある」 ^ a b Lieb & Loss 2001, p. 14. Bourbaki, Nicolas (2004). Integration. I. Chapters 1–6. Translated from the 1959, 1965 and 1967 French originals by Sterling K. Berberian. Elements of Mathematics (Berlin). Berlin: Springer-Verlag. xvi+472. ISBN 3-540-41129-1. MR2018901  伊藤清三『ルベーグ積分入門』裳華房、1963年。  Lebesgue, Henri (1904), Leçons sur l'intégration et la recherche des fonctions primitives, Paris: Gauthier-Villars  Lieb, Elliott; Loss, Michael (2001). Analysis. Graduate Studies in Mathematics. 14 (2nd ed.). American Mathematical Society. ISBN 978-0821827833  高木貞治『定本 解析概論』岩波書店 寺澤順『はじめてのルベーグ積分』日本評論社 猪狩惺『実解析入門』岩波書店 「数学セミナー」2010年8月号、日本評論社（「実解析」とは何か） 新井仁之『ルベーグ積分講義』日本評論社, 2003 森真『ルベーグ積分超入門』共立出版 松浦武信・高橋宣明・吉田正廣『物理・工学のためのルベーグ積分入門』東海大学出版会 谷島賢二『ルベーグ積分と関数解析』朝倉書店 谷島賢二『新版 ルベーグ積分と関数解析』朝倉書店 黒田成俊『関数解析』共立出版 伊藤清三, ルベーグ積分入門,裳華房, 1963 竹之内脩, ルベーグ積分, 培風館, 1980 R. M. Dudley, Real Analysis and Probability, Wadsworth & Brookes/Cole, 1989. P. R. Halmos, Measure Theory, D. van Nostrand Company, Inc. 1950. L. H. Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand Company, Inc. 1953. H. Lebesgue, Oeuvres Scientifiques, L'Enseignement Mathématique, 1972 M. E. Munroe, Introduction to Measure and Integration, Addison Wesley, 1953. W. Rudin, Principles of Mathematical Analysis Third edition, McGraw Hill, 1976. W. Rudin, Real and Complex Analysis, McGraw Hill, 1966. ^ Very thorough treatment, particularly for probabilists with good notes and historical references. ^ A classic, though somewhat dated presentation. ^ Includes a presentation of the Daniell integral. ^ Good treatment of the theory of outer measures. ^ Known as Little Rudin, contains the basics of the Lebesgue theory, but does not treat material such as Fubini's theorem. ^ Known as Big Rudin. A complete and careful presentation of the theory. Good presentation of the Riesz extension theorems. However, there is a minor flaw (in the first edition) in the proof of one of the extension theorems, the discovery of which constitutes exercise 21 of Chapter 2. 積分法 完全加法族 測度 ルベーグ測度 零集合 実解析 Weisstein, Eric W. "Lebesgue Integral". mathworld.wolfram.com (英語). Lebesgue integration in nLab Lebesgue integral - PlanetMath.（英語） Definition:Lebesgue Integral at ProofWiki Definition:Integral of Integrable Function at ProofWiki Vinogradova, I.A. (2001), “Lebesgue integral”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Lebesgue_integral