正則性公理

正則性公理（せいそくせいこうり、英: axiom of regularity）は、別名「基礎の公理」（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。選択公理と同様、様々な同値な命題が存在する。

定義

空でない集合は必ず自分自身と交わらない要素を持つ。

$\forall A(A\neq \varnothing \Rightarrow \exists x\in A\forall t\in A(t\notin x))$

以下の3つの主張はいずれもZF公理系の他の公理の元で同値であり、どれを正則性公理として採用しても差し支えない。

• 任意の空でない集合xに対して、$\exists {y}{\in }x,x{\cap }y=0$
• $\forall x$について、∈がx上整礎関係
• V=WF

ここで、Vは集合論の宇宙を指し、WFは整礎的集合全体のクラス（フォン・ノイマン宇宙）を指す。

ZF公理系内に限って話を進める。各順序数$\alpha$に対して$R(\alpha )$を次のように定義する。

1. $R(0)=0$
2. $R(\alpha +1)=P(R(\alpha ))$
3. $\alpha$が極限順序数のとき　$R(\alpha )=\bigcup _{\beta <\alpha }R(\beta )$

クラスWFはこれらを全て集めたものとして定義される。

• $WF=\bigcup \{R(\alpha ):\alpha {\in }ON}\$

ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx= {x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。

性質

• 任意の α∈ON に対して、

1. $R(\alpha )$は推移的
2. ${\forall }\beta \leq \alpha ,R(\beta ){\subseteq }R(\alpha )$

証明

超限帰納法による。$\alpha =0$ のときは明らかである。$\forall \beta <\alpha$ に対して成り立っていると仮定する。$\alpha =\beta +1$ のとき、仮定より $R(\beta )$ は推移的であり、$R(\alpha )=P(R(\beta ))$ も推移的になる。また、$R(\beta )\subset P(R(\beta ))=R(\alpha )$。$\alpha$ が極限順序数のとき、仮定より$\forall \beta <\alpha$に対して$R(\beta )$は推移的であり推移的集合の和集合が推移的になることにより

$R(\alpha )=\bigcup _{\beta <\alpha }R(\beta )$

も推移的になる。さらに

${\forall }\beta <\alpha ,R(\beta )\subset \bigcup _{\beta <\alpha }R(\beta )=R(\alpha )$ も同様。

WFの定義より、x∈WFのとき$x\in R(\alpha )$を満たす最小の順序数$\alpha$は後続順序数になる。実際、$\alpha$を極限順序数として$x\in R(\alpha )$及び$\forall \beta <\alpha ,x\notin R(\beta )$が成り立っているとすると、

$x\notin \bigcup _{\beta <\alpha }R(\beta )=R(\alpha )$

となって矛盾する。

そこで、集合xのランクを次のように定義する。

x∈WFのとき、$x\in R(\beta +1)$を満たす最小の$\beta$を集合xのランクといい、$\mathrm {rank} (x)$で表す。

よって、$\mathrm {rank} (x)=\beta$ ならば

$\forall \alpha >\beta ,x{\in }R(\alpha )$

が成り立ち、$x\notin R(\beta )$かつ$x\subset R(\beta )$となる。また、このランクの概念を用いて$R(\alpha )$は次のように特徴付けられる。

• $\forall \alpha ,R(\alpha )=\left\{x{\in }WF:\mathrm {rank} (x)<\alpha \right\}$

及び、

• ${\forall }x{\in }WF,\mathrm {rank} (x)<\alpha \Leftrightarrow \exists \beta <\alpha ,x{\in }R(\beta +1){\Leftrightarrow }x{\in }R(\alpha )$

ランクを計算するときに次の補題を使う。

$y\in WF$のとき、

$x\in y\Longrightarrow x{\in }WF$

かつ

$\mathrm {rank} (x)<\mathrm {rank} (y)$

$\mathrm {rank} (y)=\alpha$ とすると $y\in R(\alpha +1)=P(R(\alpha )).$

$x\in y$ ならば $x\in R(\alpha )=\{x\in WF:\mathrm {rank} (x)<\alpha \}$だから$\mathrm {rank} (x)<\alpha .$

参考文献

• Halmos, Paul R. (2015-04-22), Naive Set Theory (paperback ed.), Benediction Classics, ISBN 978-1-78139-466-3 
• ポール・ハルモス『素朴集合論』富川滋 訳、ミネルヴァ書房、1975年。ISBN 4-623-00986-6。 
• Kunen, Kenneth (1980). Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 9780444868398 

関連項目

• 整礎的集合
• 公理的集合論
• 集合論

外部リンク

• 西村敏男『集合論』 - コトバンク
• Weisstein, Eric W. "Axiom of Foundation". mathworld.wolfram.com (英語).