ルベーグ測度

定義 4.6（「可測集合とルベーグ測度」§4）

外測度 $m^{*}$ を可測集合族 $\mathcal{M}$ に制限したものを $m$ と書き、ルベーグ測度という。すなわち $E \in \mathcal{M}$ に対し $m(E) = m^{*}(E)$ 。

閉包の状態

定義

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

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

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