測度空間

定義

台集合

∅↦0

完全加法性

終域 = 0..∞

可測空間 × 測度

対と 見ても 良い し、3つ組に した と見ても 良い。

= ((X, M), μ) = (X, M, μ)

特殊化

有限測度空間

∀m∈cod(μ). m<∞

max < ∞

注意: σ-有限測度 および その空間と 区別せよ。

特に cod(μ) = 0..1

一般化

premeasure（有限加法的函数）

測度ではない。

ref.

『』