関数に対応する測度

定義 6.3（「符号付き測度と Radon–Nikodym の定理」§6）

$G:\mathbb{R}\to\mathbb{R}$ が増加かつ右連続なとき、定理 5.2［測度空間と Carathéodory の拡張定理］の測度を $\mu_G$ と書く（ $\mu_G((c,d])=G(d)-G(c)$ ）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。