Inter-universal geometryとABC予想(シン応援スレ) 92 (160レス)
1-

71: 06/13(土)12:16 ID:2JsZZZYS(21/29) AAS
テンプレ入りです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい?
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る(細かくは rに収束する列は一つに限らないから 同値類を考える)
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω(=最初の無限順序数)のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
省1
1-
あと 89 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.010s