べっこう色の記録

かつては日記でしたが、現在は数学のことを多く書いています

σ集合体

定義7.(\sigma集合環,\sigma集合体)
集合X \neq \emptyset
\mathcal{F} \subset 2^{X}とする.
\mathcal{F}が次の二条件を満たすとき\sigma集合環という.
(i)E_{j} \in \mathcal{F}, j \in \mathbb{N} ならば \cup_{j=1}^{\infty} E_{j} \in \mathcal{F}
(ii)E,F \in \mathcal{F} ならば E \setminus F \in \mathcal{F}
二条件に加え次の条件を満たすとき\mathcal{F}\sigma集合体という.
(iii)X \in \mathcal{F} □