正則性公理

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

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

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

 に対して、
について、 が  上整礎関係

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

ZF公理系内に限って話を進める。各順序数  に対して  を次のように定義する（ は冪集合）。

 
 
  が極限順序数のとき、

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

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

性質 

 の定義より、 のとき、 を満たす最小の順序数  は後続順序数になる。実際、 を極限順序数として  及び  が成り立っているとすると、

となって矛盾する。

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

 のとき、 を満たす最小の  を集合  のランクといい、 で表す。

よって、 ならば

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

及び、

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

のとき、

かつ

 とすると 

 ならば だから

脚注

参考文献

関連項目
整礎的集合
公理的集合論
集合論

外部リンク

集合論
公理
数学に関する記事
集合論の公理