[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
138(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/11(土)21:07 ID:TvN85EDR(9/9) AAS
>>137
(引用開始)
＞集合Tが、可算であるとする
＞可算選択公理より、可算整列定理が従うので、T要素を(可算)整列させて
数学が初歩から分からんサルの口から出まかせのホラ
Tが可算なら即整列できる Nが整列できるんだから
可算とはNからTへの一対一写像ｆがあるということ
だからf(0),f(1),f(2),…で整列できる
(引用終り)
なるほど
省26
139(1): 01/11(土)21:24 ID:YPfTJbqJ(13/15) AAS
>>138
>可算整列定理により整列させた上記の列
s1,s2,s3,・・・
はい、大間違いです
可算整列定理からはいかなる具体的整列順序も出てきません
って何回言わせんの？
ほんと君は人の話を聞けないね だから馬鹿が治らないんだよ
140: 01/11(土)21:26 ID:YPfTJbqJ(14/15) AAS
>>138
それ以前に、そもそも対角線論法におけるTの元の並び方は任意でいいんだよ
ほんとに君は何一つ分かってないね 何重にも間違ってる
141: 01/11(土)21:37 ID:YPfTJbqJ(15/15) AAS
>>138
選択公理要が論破されて悔しいのは分かるが、いくら足掻いても余計ドツボに嵌るだけだよ
皆せっかく君に教えてあげてるんだから素直に聞く耳を持ちなさい 馬鹿が治らないぞ？
173(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)12:49 ID:gsEji7DN(13/21) AAS
>>168
>xが可算であるとは、Nからxへの全単射fが存在するということ。
>x上の二項関係≦を、f(0)≦f(1)≦f(2)≦・・・と定義すれば、≦は整列順序。
だから
それと、下記>>138より
問題は、対角要素を作るための列で
>>133より
s1 = (0, 0, 0, 0, 0, 0, 0, ...)
s2 = (1, 1, 1, 1, 1, 1, 1, ...)
s3 = (0, 1, 0, 1, 0, 1, 0, ...)
省14
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.394s*