分出の公理(Separation Schema)
分出の公理
は適当な論理式です.
集合 に対して, その要素で を満たすもの全てを集めた集合 が存在すると主張してます.
この を と書くことにします.
これも外延性の公理から一意に定まります.
はパラメータです.
パラメータはいくつでも増やすことができます.
分出の公理はラッセルのパラドックスが起きないよう, パラメータの及ぶ範囲を予め与えられた集合 の要素のみに絞っています.
集合 の一部は集合 よりは大きくなり得ないことから, 充分に小さく, したがって集合であると考えても問題ないだろう, ということです(ラッセルのパラドックスは, 大きすぎる"集まり"を考えてしまったのが原因です.).
厳密に言うと, 分出の公理は各論理式毎に与えられるものなので, 公理と言うよりむしろ公理図式です(Schema は図式の意).
クラスの概念を使うと, もっと簡単な形で表現できます.
ここでクラスとは
で定義されるもので, ラッセルのパラドックスから全てのクラスが集合になるわけではないことが分かり, 集合論の内部では集合しか扱えないことから, 集合でないクラス(真のクラス)は集合論の内部で直接的に扱うことができないのですが, 予め を定めておけば, の略記として と書くことができることが, クラスというものを考える利点です.
集合論の宇宙(univerce)と呼ばれる, 集合論の世界は
で定義されます.
とすると,今の場合, 分出の公理は
と表すことができます.
このことから, 任意のクラスと任意の集合の交わり(intersection)は集合になることが分かり, したがって任意の集合と別の任意の集合の交わりもまた集合になることが分かります.
そんなわけで, 集合の共通部分を定義することができます.
ここで の部分が分出の公理における論理式にあたります.
同様にして, 差集合
も定義できます.
さて, 今まで集合というものが確かに存在するということを前提に話してきましたが, それは実は明らかなことではありません.
そこで, この世界には少なくとも一つは集合というものが存在するという公理
が必要になってくるのですが, あとで述べる無限の公理から集合というものが存在することが帰結するので, 通常は集合の存在公理は ZFC に含めたりはしません.
それはともかく, 集合が少なくとも一つ存在したとし, それを とおくと, 要素を一つも持たない集合=空集合 を定義できます.
すなわち,
です.
は一階述語論理において成り立っているので, なる集合 は存在しないのです.
これで, また新しい概念について考えることができるようになります.
のとき, と は互いに素(disjoint)であると言います.
が空集合でないクラスのとき,
と定義します(最初の二つは最後の一つを表す記法です).
すると, は集合になります.
実際, 任意の に対して なので, クラスと集合の交わりが集合であることにより確かめられます.
それから,
です.