測度 - くたくたじゅうよん

測度

対象の「大きさ(長さ、面積、体積、確率、etc.)」を抽象的に取り扱うために用意された集合函数

定義

任意の可測空間$ (\Omega,\mathcal F)にて、完全加法的集合函数$ \mu:{\cal F}\to\R_{\ge0}を測度(measure)という

条件を並べるとこうなる

(P1)非負性 $ \forall A\in\mathcal F:\mu(A)\ge0

(P2)完全加法性$ \forall A:\N\to{\cal F}:(\forall i,j\in\N:A_i\cap A_j=\varnothing)\implies\mu\left(\bigcup_{i\in\N}A_i\right)=\sum_{i\in\N}\mu(A_i)

形式的定義 | 測度 - Wikipediaによると、$ \muの値域に$ \inftyが含まれてもいいらしい

逆に、$ \muが常に有限値になるときは、σ-有限測度と呼び分けるらしい？

どう定義するか、いくつか流儀がありそうtakker.icon

性質

完全加法の性質を参照

References