ルベーグ積分

ルベーグ積分：リーマン積分の拡張と測度論の導入

数学における積分は、関数のグラフとx軸の間の面積として直感的に理解されます。リーマン積分は、この直感的な理解を厳密化したものであり、関数を長方形で近似することで積分値を求めます。しかし、リーマン積分は、不連続な関数や関数列の極限に対しては扱いにくいという欠点がありました。

ルベーグ積分は、これらの欠点を克服するために開発された積分法です。リーマン積分が関数の定義域を分割するのに対し、ルベーグ積分は関数の値域を分割します。これは、関数の値の集合の「大きさ」（測度）を考慮することで実現されます。

リーマン積分とルベーグ積分の違い：山の体積を例に

山の体積を計算することを考えてみましょう。

リーマン積分では、山を縦方向にスライスし、各スライスの体積を計算して足し合わせます。各スライスの高さを、そのスライス内の最大標高または最小標高として近似します。スライス幅を小さくすることで、より正確な体積が得られます。

ルベーグ積分では、山の等高線を描き、各等高線に沿って山を分割します。各部分の面積とその高さを掛け合わせ、それらの総和を計算します。等高線の間隔を狭くすることで、より正確な体積が得られます。

この違いは、リーマン積分が定義域を分割するのに対し、ルベーグ積分が値域を分割することに対応しています。

ルベーグ積分の定義：測度と可測関数

ルベーグ積分の定義には、測度論の概念が不可欠です。測度とは、集合の「大きさ」を測る関数です。例えば、区間[a, b]の測度はb - a（長さ）となります。

ルベーグ積分において、積分される関数は「可測関数」と呼ばれます。可測関数とは、その逆像が可測集合となる関数です。可測集合とは、測度が定義可能な集合です。

ルベーグ積分の定義は、いくつかのステップで行われます。まず、簡単な関数である「単関数」の積分を定義します。単関数は、有限個の値しか取らない関数です。単関数の積分は、各値の測度とその値の積の和として定義されます。

次に、非負値の可測関数を単関数の列で近似し、その積分の極限として非負値可測関数の積分を定義します。最後に、一般の可測関数を正の部分と負の部分に分解し、それぞれの積分の差として積分を定義します。

ルベーグ積分の性質と定理

ルベーグ積分は、以下の重要な性質を持ちます。

線型性: 積分は線形演算子です。つまり、af(x) + bg(x) の積分は、af(x) の積分とbg(x) の積分の線形結合になります。
単調性: f(x) ≤ g(x) ならば、f(x) の積分は g(x) の積分以下になります。
単調収束定理: 非負値可測関数の増加列の積分の極限は、極限関数の積分と一致します。
ファトゥーの補題: 非負値可測関数の列の下極限の積分は、積分の下極限以下になります。
* ルベーグの収束定理: ほとんど至るところで収束する可測関数の列の積分の極限は、極限関数の積分と一致します（ある条件下で）。

これらの定理は、ルベーグ積分が関数列の極限とよく合うことを示しています。

ルベーグ積分の応用

ルベーグ積分は、確率論、実解析、関数解析、フーリエ解析など、多くの数学分野で重要な役割を果たしています。特に、確率論では、ルベーグ積分は確率変数の期待値を定義するために用いられます。また、フーリエ[[級数]]などの関数列の収束性を議論する際にも、ルベーグ積分は強力なツールとなります。

まとめ

ルベーグ積分は、リーマン積分を拡張した、より強力な積分法です。測度論の導入により、より広い範囲の関数に適用可能になり、関数列の極限との整合性も向上しています。現代数学において、特に確率論や実解析において不可欠な概念です。様々な分野での応用を通じて、その重要性が広く認識されています。

もう一度検索