[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
175(1): 01/12(日)13:08 ID:F+I6x7M1(12/26) AAS
>>173
>この 対角要素を構成する具体的な列 が、どうか?
>が問題となる
ならない
T値列は任意でよいから
>そこで、可算選択公理の出番なのよ
不要
Tが可算という仮定だけでT値列の存在が言えるから
雑談くんは自分が正しいという思い込みが強い
問題はその思い込みには何の根拠も無いこと
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 2.299s*