代数、準測度
📂測度論代数、準測度
定義
集合X=∅の部分集合のコレクション Aが下記の三条件を満たす時、集合Aを**X上の集合の代数**algebra of sets on Xという。
(a) E1, ⋯, En∈Aならば、⋃1nEn∈Aだ。
(b) E1, ⋯, En∈Aならば、⋂1nEn∈Aだ。
(c) E∈Aならば、Ec∈Aだ。
AをX上の代数としよう。下記の条件を満たす関数μ0 : A→[0,∞]を 準測度premeasureという。
(d) μ0(∅)=0
(e) {Ej}1∞がAの互いに素な集合の数列で、⋃1∞Ej∈Aとする。そうすると
μ0(1⋃∞Ej)=1∑∞μ0(E)j
説明
ここで、条件 (a)有限和集合、(b)有限交集合を加算和集合、加算交集合に変えるとシグマ代数になる。また、∅、X∈Aが成立するが、これは上の定義で簡単に確認できる。あるいはこの条件自体を定義に含めて話すこともある。
E∈Aならば、定義によってEc∈Aであり、またE∩Ec=∅∈Aだ。それ故に∅c=X∈A
(e) 加算和集合が代数に再び含まれる必要はないが、含まれる場合はその限りで加算加法性を持たなければならないということだ。