ZFCの公理一覧と誤解しやすいポイント

集合論,ZFC

7172

はじめに

比較的軽度の誤解をしてる人向けです。

この記事ではZFCの公理一覧と誤解しやすいポイントについてまとめています。

ZFCの公理一覧

まず、論理式の略記と自由変数についてです。

$P$を論理式とする.

$P(x)$は「$P$の中に現れる変数$x$に注目する」の意味で, $P$と$P(x)$は同じ文字列.
$\forall x\in a\ P(x)$は$\forall x(x\in a\Rightarrow P(x))$の略記.
$\exists x\in a\ P(x)$は$\exists x(x\in a\wedge P(x))$の略記.
$\exists! x\ P(x)$は$\exists x(P(x)\wedge\forall y(P(y)\Rightarrow x = y))$の略記.
$\exists! x\in a\ P(x)$は$\exists! x(x\in a\wedge P(x))$の略記.
$x\not\in y$は$\neg x\in y$の略記
$\Rightarrow,\ \vee,\ \wedge,\ \Leftrightarrow,\ \neg,\ \forall,\ \exists,\ =,\ \in$と変数記号だけで書かれた論理式を集合論の論理式とよぶ.
(読みやすさのための括弧$(\ )$やカンマ,も含む)
(ざっくり) $\forall, \exists$の直後にない変数を自由変数とよぶ.

今回は$\emptyset$や$\subseteq$などを一切定義せずにZFCを書きます。

ZFC

外延性公理
$\forall x\forall y((\forall z(z\in x \Leftrightarrow z\in y)) \Rightarrow x = y)$
分出公理図式
$P$を集合論の論理式, $P$の$x,\ z$以外の自由変数は$w_0,\ \ldots,\ w_{i−1}$で, $y$は$P$の自由変数でないとする.
$\forall w_0\ldots\forall w_{i-1}\forall x\exists y \forall z(z\in y \Leftrightarrow (z\in x \wedge P(z)))$
対公理
$\forall x\forall y\exists p(x\in p \wedge y\in p)$
和集合公理
$\forall x\exists u\forall y\in x\ \forall z\in y\ z\in u$
冪集合公理
$\forall x \exists p \forall z((\forall y\in z\ y\in x) \Rightarrow z\in p)$
無限公理
$\exists N((\exists e\in N\ \forall z\ ~ z\not\in e) \wedge \forall x\in N\ \exists s\in N\ \forall z(z\in s \Leftrightarrow (z\in x \vee z = x)))$
置換公理図式
$P$を集合論の論理式, $P$の$a,\ x,\ y$以外の自由変数は$w_0,\ \ldots,\ w_{i−1}$で, $b$は$P$の自由変数でないとする.
$\forall w_0\ldots\forall w_{i-1}\forall a((\forall x\in a\ \exists! y\ P(x,y)) \Rightarrow \exists b\forall x\in a\ \exists y\in b\ P(x,y))$
基礎の公理
$\forall x\forall w\in x\ \exists y\in x\ \forall z\in x\ z\not\in y. $
選択公理
$\forall a((\forall x\in a\ \exists w\ w\in x) \Rightarrow$
　$((\forall x,\ y\in a\ \forall z\in x\ (z\in y \Rightarrow x = y)) \Rightarrow \exists c\forall x\in a\ \exists! y\in c\ y\in x))$

公理図式

ZFCの公理の数は無限個

分出公理図式と置換公理図式は条件を満たす論理式$P$ごとに一つの公理があって、それを全部集めたものです。

なのでZFCの公理の数は無限個になります。

自由変数

分出公理図式と置換公理図式に「自由変数でない」という条件がついています。

読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。

まずは分出公理図式です。

やらかした分出公理図式

$P$を集合論の論理式, $P$の$x,\ z,$$y$以外の自由変数は$w_0,\ \ldots,\ w_{i−1}$とする.
$\forall w_0\ldots\forall w_{i-1}\forall x\exists y \forall z(z\in y \Leftrightarrow (z\in x \wedge P(z)))$

やらかした分出公理図式を仮定すると$\forall x\forall z\ z\not\in x$.

$z\in x$とする.

やらかした分出公理図式の$P$に$z\not \in y$を代入すると

$\exists y \forall z(z\in y \Leftrightarrow (z\in x \wedge z\not \in y))$.

$z\in y$とすると$z\not \in y$となり矛盾.

よって$z\not\in y$.

$z\in x$と$z\not\in y$より$z\in y$となり矛盾. $\square$

よって、すべての集合が空集合なので対公理などと矛盾します。

次に置換公理図式です。

やらかした置換公理図式

$P$を集合論の論理式, $P$の$a,\ x,\ y,$$b$以外の自由変数は$w_0,\ \ldots,\ w_{i−1}$とする.
$\forall w_0\ldots\forall w_{i-1}\forall b\forall a((\forall x\in a\ \exists! y\ P(x,y)) \Rightarrow \exists b\forall x\in a\ \exists y\in b\ P(x,y))$

やらかした置換公理図式を仮定すると$\forall a\forall b((\forall x\in a\ x\not\in b) \Rightarrow \forall x\ x\not\in a)$.

$\forall x\in a\ x\not\in b$とする.

$\forall x\in a\ \exists! y\ (x = y \wedge y\not\in b)$は明らか.

やらかした置換公理図式の$P$に$x = y \wedge y\not\in b$を代入すると

$\exists b\forall x\in a\ \exists y\in b\ (x = y \wedge y\not\in b)$.

$b$を$b'$に書き直して

$\exists b'\forall x\in a\ \exists y\in b'\ (x = y \wedge y\not\in b')$.

$x\in a$とすると

$\exists y\in b'\ (x = y \wedge y\not\in b')$

より$y\in b'$かつ$y\not\in b'$となり矛盾. $\square$

よって、すべての互いに素な集合は空集合なので、空集合の存在や対公理などと矛盾します。