測度空間 → 可測関数 → Lebesgue 積分 → ほとんど至る所収束 → 優関数 → 優収束定理
入口
測度空間
目標
優収束定理
進捗
ルート設計中
大きさを測れる集合の世界を用意する
測度と相性のよい関数を扱う
関数の値を測度で足し合わせる
無視できる例外を除いて収束を見る
関数列を上から押さえる可積分関数を置く
極限と積分を交換できる条件を得る