今日の目標 有限加法族に関する演習問題を解けるようになる。 この記事で使う記号や用語 集合 $X$ のべき集合を $\mc{P}(X)$ で表す。 全体集合 $X$ が定まっているとき、$A \subseteq X$ の補集合 $X \setminus A$ を単に $\overline{A}$ と書く。 $\NN$ を非負整数全体の集合とする。 有限加法族(集合代数)の定義 集合の基本操作で閉じてるシステム 定義(有限加法族) 集合 $X$ の部分集合からなる集合 $\mc{F} \subseteq \mc{P}(X)$ が3条件 非空性 $\mc{F} \neq \varnothing$ 補集合で閉じる $A \in \mc{F} \implies \overline{A} \in \mc{F}$ 有限和で閉じる $A, B \in \mc{F} \implies A \cup B \