測度
対象の「大きさ(長さ、面積、体積、確率、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
形式的定義 | 測度 - Wikipedia
#2025-02-01 17:42:15
#2025-01-31 12:30:09
#2025-01-22 14:15:11
#2024-10-16 21:51:34
#2023-11-26 15:31:28