翻訳と辞書 Words near each other ・ 基督教独立学園高等学校 ・ 基督教視聴覚センター ・ 基督紀元 ・ 基督聖協団 ・ 基督青年会館 ・ 基石 ・ 基研 ・ 基礎 ・ 基礎、基本、基底 ・ 基礎づけ主義 ・ 基礎の公理 ・ 基礎らせん ・ 基礎スキー ・ 基礎スラブ ・ 基礎パッキン ・ 基礎付け主義 ・ 基礎代謝 ・ 基礎代謝(安静時代謝) ・ 基礎代謝率 ・ 基礎代謝率(量) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 基礎の公理 ： ウィキペディア日本語版 正則性公理[せいそくせいこうり] 正則性公理(せいそくせいこうり、Axiom of regularity) は別名基礎の公理(きそのこうりAxiom of foundation) とも呼ばれ、選択公理と同様、様々な同値な命題が存在する公理。ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。 ==定義== 空でない集合は必ず自分自身と交わらない要素を持つ。 $(AxtAA(tx))$ 以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。 *任意の空でない集合xに対して、$\backslash existsx,xy=0$ *∀xについて、∈がx上well-founded *∀xについて、無限下降列である $xx\_1x\_2...$ は存在しない。 *$V=WF$ ここで、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)=0$ # $R(\backslash alpha+1)=P(R(\backslash alpha))$ # α が極限順序数のとき $R(\backslash beta)\; =\backslash bigcap\_R(\backslash beta)$ 簡単に言えば、R(α)は0に冪集合の演算をa回繰り返して得られる集合のことを指す。クラスWFはこれらを全て集めたものとして定義され、後に示すように、WFは全てのwell-founded集合からなる。 *$WF=\backslash bigcap$ また、次が成り立つ。 *任意のα∈ON に対して、 #R(α)は推移的 # 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「正則性公理」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Axiom of regularity 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.