測度空間 → 積測度 → 可測関数 → 非負関数の積分 → 可積分性 → Fubini の定理
入口
測度空間
目標
Fubini の定理
進捗
ルート設計中
積分の舞台を用意する
二つの空間を合わせた測度を作る
積空間上の関数を扱う
まず符号のない場合で積分を整理する
符号のある関数でも積分できる条件を見る
二重積分を反復積分として計算する