単関数を対象にルベーグ積分の概念を定義するとともに、その性質について解説します。
単関数のルベーグ積分を踏まえた上で、有限測度を持つ可測集合上に定義された有界関数のルベーグ積分を定義します。
有限測度を持つとは限らないルベーグ可測集合上に定義されるとともに、有界であるとは限らない非負値をとる一般のルベーグ可測を対象に、そのルベーグ積分を定義します。
一般のルベーグ可測関数を対象としたルベーグ積分を定義します。
ルベーグ可測関数系が一様可積分であることの意味を定義します。