正則性公理

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

定義

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

\forall A{\bigl (}A\neq \varnothing \implies \exists x\in A,\forall t\in A(t\notin x){\bigr )}

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

∀x ≠ ∅ に対して、∃y∈x; x ∩ y = ∅
∀xについて、∈ が x 上整礎関係
V = WF

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

ZF公理系内に限って話を進める。各順序数 α に対して R(α) を次のように定義する（ ${\mathcal {P}}$ は冪集合）。

$R(0)=\varnothing$
$R(\alpha +1)={\mathcal {P}}(R(\alpha ))$
α が極限順序数のとき、 $R(\alpha )=\bigcup _{\beta <\alpha }R(\beta )$

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

{\mathit {WF}}=\bigcup _{\alpha \in {\mathit {ON}}}R(\alpha )

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

性質

定理 ― 任意の α ∈ ON に対して、

$R(\alpha )$ は推移的
$\forall \beta \leq \alpha ;R(\beta )\subseteq R(\alpha )$

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

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

も推移的になる。さらに

\forall \beta <\alpha ;R(\beta )\subset \bigcup _{\beta <\alpha }R(\beta )=R(\alpha )

も同様。

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

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

となって矛盾する。

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

x ∈ WF のとき、x ∈ R(β + 1) を満たす最小の β を集合 x のランクといい、rank(x) で表す。

よって、rank(x) = β ならば

\forall \alpha >\beta ;x\in R(\alpha )

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

\forall \alpha ;R(\alpha )=\{x\in {\mathit {WF}}\mid \operatorname {rank} (x)<\alpha \}

及び、

\forall x\in {\mathit {WF}}{\bigl (}\operatorname {rank} (x)<\alpha \iff \exists \beta <\alpha ;x\in R(\beta +1)\iff x\in R(\alpha ){\bigr )}

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

$y\in {\mathit {WF}}$ のとき、

$x\in y\implies x\in {\mathit {WF}}$

かつ

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

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

$x\in y$ ならば $x\in R(\alpha )=\{x\in {\mathit {WF}}\mid \operatorname {rank} (x)<\alpha \}$ だから $\operatorname {rank} (x)<\alpha$

脚注

^ Kunen 1980, p. 101, Ⅲ, §4.1

参考文献

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 (英語).

集合論

基本

演算

関係

性質	反射関係推移関係推移閉包対称関係非対称関係反対称関係完全関係同値関係同値類 well-defined 整礎関係逆関係関係の合成
写像	定義域終域値域単射全射全単射逆写像像と逆像恒等写像制限包含写像合成射影商写像指示関数配置集合族添字集合順序対順序組列集合族グラフ部分写像対応
順序	前順序有向半順序全順序整列稠密有界単調写像順序同型辞書式順序順序型推移的集合順序数 0 後続極限自然数ハッセ図超限帰納法ツォルンの補題整列可能定理整礎的集合フォン・ノイマン宇宙