[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
347(2): 2021/06/18(金)20:56 ID:ZHLrkwL7(3/8) AAS
>>342-343
正則性公理は、下記”Koga”が分かり易い
「最小値」と
「Φ に還元される」と
この二つが重要キーワードです
外部ﾘﾝｸ[html]:www.cs-study.com
集合論：正則性 (Regularity)
27th June 2019 (Updated)
24th Jan. 2018 (First)
Akihiko Koga
省13
348: 2021/06/18(金)20:57 ID:ZHLrkwL7(4/8) AAS
>>347
つづき
正則性公理は，集合の要素として，それ以上要素を持たない「もの」としてΦ以外に 許すとき（そのような「もの」をアトム(atom)と言ったり，Urelementというが），
∃ y∈x (x ∩ y = Φ)
の形では言うことができない．例えば，a をアトムとして，「もの」
a
の中には要素がないので，上のような y∈a の存在は言えない．小さいことを 言うようだが，
set(x) → ∃ y∈x (x ∩ y = Φ)
のように x が集合ならという条件 set(x) を付けることになる．また，その時の y は当然 x の 中の要素の最小値ということではなくなる．それは例えば，もうひとつアトム b をとって，x={a, b} としてみればよい． a と b の間に ∈ 関係はないのであるから，どちらが最小ということもない．ということで，正則性公理の上の形は， ZFC のようにすべてが Φ に還元される集合論とフォン・ノイマン順序数を順序の 基準に取っているとき役に立つことになる．
基礎の公理/正則公理の表現方法としては，もう少し素直に，∈の無限降下列が 存在しないという表現方法もあるようだ．ただし，無限降下列の定義も難しいので フォン・ノイマンのこの形の正則性公理は便利かつコンパクトな表現であるということは 言えると思う．
省2
400(1): 2021/06/19(土)12:24 ID:IxFCR29a(6/20) AAS
>>399
つづき
（>>347より）
外部ﾘﾝｸ[html]:www.cs-study.com
集合論：正則性 (Regularity)
27th June 2019 (Updated) Akihiko Koga
(このページの内容は 英語版の Wikipedia の Axiom of Regularity の項目 を参考にした．と言うか殆ど絵を入れただけのような気もする)
(抜粋)
1.正則性 => A ∋ A1 ∋ A2 ∋ A3 ... という無限列は存在しない
(上記無限降下列は、正則性に矛盾する。証明略す。原文見てください)
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s