logo

代数、準測度 📂測度論

代数、準測度

定義

集合XX \ne \varnothingの部分集合のコレクション A\mathcal{A}が下記の三条件を満たす時、集合A\mathcal{A}を**XX上の集合の代数**algebra of sets on Xという。

  • (a) E1E_{1}, \cdots, EnAE_{n}\in \mathcal{A}ならば、1nEnA\bigcup \nolimits_{1}^n E_{n} \in \mathcal{A}だ。

  • (b) E1E_{1}, \cdots, EnAE_{n}\in \mathcal{A}ならば、1nEnA\bigcap \nolimits_{1}^n E_{n} \in \mathcal{A}だ。

  • (c) EAE \in \mathcal{A}ならば、EcAE^c\in \mathcal{A}だ。

A\mathcal{A}XX上の代数としよう。下記の条件を満たす関数μ0 : A[0,]\mu_{0}\ :\ \mathcal{A} \rightarrow [0,\infty]準測度premeasureという。

  • (d) μ0()=0\mu_{0} (\varnothing)=0

  • (e) {Ej}1\left\{ E_{j} \right\}_{1}^\inftyA\mathcal{A}互いに素な集合の数列で、1EjA\bigcup \nolimits_{1} ^\infty E_{j} \in \mathcal{A}とする。そうすると μ0(1Ej)=1μ0(E)j \mu_{0} \left( \bigcup \limits_{1}^\infty E_{j}\right)=\sum \limits _{1} ^\infty \mu_{0} (E)_{j}

説明

ここで、条件 (a)有限和集合(b)有限交集合を加算和集合、加算交集合に変えるとシグマ代数になる。また、\varnothingXXA\in \mathcal{A}が成立するが、これは上の定義で簡単に確認できる。あるいはこの条件自体を定義に含めて話すこともある。


EAE \in \mathcal{A}ならば、定義によってEcAE^c \in \mathcal{A}であり、またEEc=AE\cap E^c=\varnothing \in \mathcal{A}だ。それ故にc=XA\varnothing^c=X\in \mathcal{A}


(e) 加算和集合が代数に再び含まれる必要はないが、含まれる場合はその限りで加算加法性を持たなければならないということだ。