Inter-universal geometry と ABC予想 (応援スレ) 73 (689ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

503(2): １３２人目の素数さん [sage] 08/11(月)17:29 ID:MtMWibfm(3/18)
Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.　
For every ordinal α, define an element aα that is in A by setting
aα= f(A-{aξ|ξ<α})
if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is.
That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if the entirety of A has been successfully enumerated).
Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α|aα is defined}.

as desired
×好きなように（整列できる）←英語が読めないバカ
〇望み通り（整列順序である）

---

506: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 08/11(月)18:17 ID:f34iaqr/(7/7)
>>503 誤爆かな？

>>504
>?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
からその逆は言えないけどいいの？
(引用終り)

再度 >>502より
スライドのP8より
(引用開始)
到達不熊基数
略
Remark
到達不能基数の存在はグロタンディーク宇宙と同値である．
?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である．
?到達不能基数ｋが存在するならば、|U| =ｋとなるグロタンディーク宇宙が存在する：Vｋがグロタンディーク宇宙になる．
(引用終り)

まあ、細かい疑問点は、薄葉 季路 先生に聞いてね （＾＾

---

576(1): １３２人目の素数さん [] 08/12(火)07:15 ID:r/id88M5(7/18)
まあ、いかなる屁理屈を並べようと、実数の具体的整列順序を示せなかったのでオチコボレの負けは確定した。
よってオチコボレは英語が読めないバカということも確定した。>>503

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.024s