logo

分類 公理形 📂集合論

分類 公理形

公理 1

XAa(aA    (aXp(a))) \forall X \exists A \forall a \left( a \in A \iff ( a \in X \land p(a)) \right) 任意の集合 XX に対して、性質 pp を持つ要素で構成された部分集合 AA が存在する。


説明

AAXX の部分集合として限定する理由は、ラッセルの逆理のような問題が起こるのを防ぐためだ。公理ではなく公理形である理由は、この公理が無限に多くの p(x)p(x) に基づいて無限に存在するからだ。異なる二つの命題関数 p1(x)p_{1}(x)p2(x)p_{2}(x) があるとすれば、{aX:p2(a) is truth}X\left\{ a \in X : p_{2}(a) \text{ is truth} \right\} \subset X の存在を保証するのは「p1(x)p_{1}(x) に関する分類公理」ではなく「p2(x)p_{2}(x) に関する分類公理」だ。

交わりと差集合の定義 2

分類公理形は、以下のように定義される交わりの存在を保証する。

xAxB    xAB x \in A \land x \in B \iff x \in A \cap B 任意の二つの集合 AABB に対して、両方に属する要素の集合を AABB交わりといい、ABA \cap B と表示する。

ここで、集合 AA に対して与えられた命題関数は p(x):xBp(x): x \in B で、具体的に AB={xA:xB}A \cap B= \left\{ x \in A : x \in B \right\} のように書ける。もし AB=A \cap B = \emptyset ならば AABB互いに素disjointという。

勿論、分類公理形は交わりの存在だけでなく、特定の条件を満たす全ての部分集合の存在も保証する。これは集合を表現する方法の一つである条件提示法そのものと見ることもできる。

xAxB    xAB x \in A \land x \notin B \iff x \in A \setminus B 任意の二つの集合 AABB に対して、AA には属するが BB には属さない要素の集合を AA に対する BB差集合といい、ABA \setminus B と表示する。

集合 UU に対して UAU \setminus AAA補集合といい、AcA^{c} と表示する。このように補集合を考えるとき、集合 UU全集合とも呼ぶ。

集合論は無限だが、数学の全ての分野が抽象的な世界全体を探求する必要はない。通常、必要に応じてある全集合を設定し、位相数学のような分野はこれらの概念を特に多く使用する。補集合と全集合に関して、以下のいくつかの性質を紹介する。

基本性質

集合 AABB が全集合UU の任意の部分集合であるとする。

  • [1] (Ac)c=A \left(A^{c} \right)^{c} = A
  • [2] c=UUc= \emptyset^{c} = U \\ U^{c} = \emptyset
  • [3] AAc=AAc=U A \cap A^{c} = \emptyset \\ A \cup A^{c} = U
  • [4] AB    BcAc A \subset B \implies B^{c} \subset A^{c}
  • [5] AB=ABc A \setminus B = A \cap B^{c}

証明

[5]

xAB    xA and xB    xA and xBc    xABc \begin{align*} x \in A \setminus B &\iff x \in A \text{ and } x \notin B \\ &\iff x \in A \text{ and } x \in B^{c} \\ &\iff x \in A \cap B^{c} \end{align*}


  1. 李興天 訳, You-Feng Lin. (2011). 集合論(Set Theory: An Intuitive Approach): p81. ↩︎

  2. 李興天 訳, You-Feng Lin. (2011). 集合論(Set Theory: An Intuitive Approach): p87, 95. ↩︎