|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 正 ： [ただし, せい, しょう] 【名詞】 1. (logical) true 2. regular ・ 正則 ： [せいそく] 1. (adj-na,n,adj-no) correct 2. proper 3. formal 4. regular 5. systematic 6. normal ・ 公 ： [こう] 1. (n,suf) prince 2. lord 3. duke 4. public 5. daimyo 6. companion 7. subordinate ・ 公理 ： [こうり] 【名詞】 1. axiom 2. maxim 3. self-evident truth ・ 理 ： [り] 【名詞】 1. reason
正則性公理(せいそくせいこうり、Axiom of regularity) は別名基礎の公理(きそのこうりAxiom of foundation) とも呼ばれ、選択公理と同様、様々な同値な命題が存在する公理。ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。 ==定義== 空でない集合は必ず自分自身と交わらない要素を持つ。 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 *任意の空でない集合xに対して、 *∀xについて、∈がx上well-founded *∀xについて、無限下降列である は存在しない。 * ここで、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラスを指す。 ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx=のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。 WFは通常の集合演算に関して閉じているため、ZF公理系から得られる全ての真なる命題がZF公理系においても真となることが分かる。このため、WF内で通常の数学を展開できることが知られている。実際、x=のような集合の存在はZF公理系からは独立だが、数学を展開する上でこのような集合が現れることはない。その一方で、正則性の公理は必ずしもZF公理系を拡張するために必要なものではないが、ZF公理系と他のいくつかの命題が独立であることを証明する際にその効果を発揮する。 ZF公理系内に限って話を進めると、各順序数aに対してR(α)を次のように定義する。 # # # α が極限順序数のとき 簡単に言えば、R(α)は0に冪集合の演算をa回繰り返して得られる集合のことを指す。クラスWFはこれらを全て集めたものとして定義され、後に示すように、WFは全てのwell-founded集合からなる。 * また、次が成り立つ。 *任意のα∈ON に対して、 #R(α)は推移的 # 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「正則性公理」の詳細全文を読む スポンサード リンク
|