[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
94(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/13(金) 11:24:06.64 ID:nJx1ApW/(3/7) AAS
>>93
つづき
正則性公理
反復的集合観に先立って次の整礎原理を述べた。
整礎原理
a1∋a2∋a3∋a4∋a5∋…とどこまでも続くような集合は存在しない。
これを次のように公理化する。
正則性公理（定義）
∀s(s≠Φ→∃x∈s(x∩s=Φ))
(反復的集合観によれば、sに含まれるどの要素もsが現れる段階よりも低い段階で現れる。
sの要素の中で最も低い段階に現れるものをxとすれば、xとsが共通要素を持つことはない。
もしあればそれはxよりも低い段階に現れるsの要素になりxの取り方に反するので)
ただし正則性公理を追加したからといって、x1∋x2∋x3∋x4∋…となる集合や自分自身を含む集合の存在が証明されないことを保証しているわけではない
(ある公理から何かの存在が導かれるときに非存在を主張する公理を追加しても、存在するという証明を打ち消すことはできない。
単に矛盾が導かれるようになるだけ)。
元の公理系が「自分自身を含む集合はあってもいいし、なくてもいい」というものだとしたら、正則性公理の追加によって自分自身を含む集合の存在は排除される。
でも元の公理系で自分自身を含む集合の存在が導かれるとしたら、そこに正則性公理を追加しても矛盾が導かれるようになるだけ。
つづく
563: １３２人目の素数さん [sage] 2019/09/25(水) 05:23:27.64 ID:EeFvG8oM(1/4) AAS
レス乞食
https://dic.nicovideo.jp/a/%E3%83%AC%E3%82%B9%E4%B9%9E%E9%A3%9F
715: １３２人目の素数さん [sage] 2019/10/05(土) 22:26:01.64 ID:kZwmbLNI(2/4) AAS
確率過程？なんのことですか？
「数学的帰納法で任意の有限列で成り立つことは言えても
無限列で成り立つことは言えません」
といってるだけですから
823: Mara Papiyas ◆y7fKJ8VsjM [] 2019/10/14(月) 18:47:31.64 ID:llLaGKvq(10/12) AAS
>>822
馬鹿の1は、最大の可解群しか頭にない
その正規部分群の場合もあることを想定してない
相変わらずヌケサクｗｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s