リーマン積分とルベーグ積分

積分は曲線の下の領域に厳密な値を割り当てる。リーマン積分は定義域を分割することでこれを行う一方、ルベーグ積分は値域を分割し、はるかに広範な関数クラスを積分する。

Definition

リーマン積分は、定義域のより細かい分割における上限和と下限和の共通の極限である。ルベーグ積分は、測度によって測られる単純関数で関数を近似することによって定義され、積分をより広範なクラスに拡張し、極限の下で良好な振る舞いを示す。

Scope

このトピックでは、上限和と下限和によるリーマン積分の構成、リーマン可積分の基準、微積分学の基本定理、極限下でのリーマン積分の限界、および測度に基づいて構築されたルベーグ積分とその単調収束定理、ファトゥーの補題、優収束定理について扱う。

Core questions

• リーマン可積分な関数は正確にはどのようなものであり、それらを特徴づけるものは何か？
• 微積分学の基本定理は、積分と微分をどのように結びつけるのか？
• リーマン積分が多くの極限と可換でないのはなぜか？
• ルベーグ積分はこれらの限界をどのように克服するのか？

Key theories

リーマン可積分性のルベーグ基準

閉区間上の有界関数がリーマン可積分であるのは、その不連続点の集合の測度がゼロである場合に限られ、リーマン理論の適用範囲を正確に区切る。

微積分学の基本定理

微分と積分は逆演算である。導関数の積分は元の関数を回復し、積分の導関数は被積分関数を回復し、解析学の2つの中心的な演算を結びつける。

単調収束と優収束

ルベーグ積分の場合、単調増加列および優収束する関数の列は、極限と積分の交換を可能にし、リーマン積分にはない収束の力を持つ。

Clinical relevance

積分理論は、科学全体における面積、確率、期待値、および累積量の計算の基礎となる。ルベーグ積分の堅牢な極限挙動は、確率論、フーリエ解析、関数空間の完備性、および微分方程式の解の厳密な扱いに不可欠である。

History

リーマンは1854年に積分の最初の厳密な定義を与えた。多くの極限や不連続関数を扱えないというその限界が、ルベーグによる1902年の測度に基づく積分の動機となり、これは現代解析学と確率論の標準的なツールとなった。

Key figures

• Bernhard Riemann
• Henri Lebesgue
• Emile Borel

Seminal works

• rudin1976
• stein2005real

Frequently asked questions

なぜルベーグ積分は高度な解析学で好まれるのか？

より多くの関数を積分でき、決定的に重要なことに、緩やかな条件下で極限と積分を交換できるため、関数空間が完備になり、確率論やフーリエ解析において不可欠である。

2つの積分が一致しないことはあるか？

有界区間でリーマン可積分な関数については、2つの積分は同じ値を与える。ルベーグ積分は、リーマン積分が定義されないより大きなクラスの関数に適用されるだけである。