測度空間 → 測度の絶対連続性 → 符号付き測度 → 分解 → 密度関数 → Radon-Nikodym の定理
入口
測度空間
目標
Radon-Nikodym の定理
進捗
ルート設計中
集合の大きさを測る舞台を用意する
一方が無視する集合をもう一方も無視する条件を見る
正負をもつ測度を扱う
測度を基準測度に沿う部分へ分ける
測度の比を関数として読む
絶対連続な測度を密度関数の積分で表す