[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ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*