[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
184(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)18:43 ID:gsEji7DN(16/21) AAS
>>183
レスありがとうございます
>>179
>>”T値列は任意でよい”は、言えない
>じゃあ Tの元すべてを含む任意のT値列でよい に訂正。
だから、その主張のためには 可算選択公理（それを使う可算整列（可能）定理）が必要です
つまり、可算整列ができれば、自然数Nとの 全単射（一対応）の存在が言えます
省23
186(1): 01/12(日)18:53 ID:f+uyuyBP(4/6) AAS
>>184
得意の検索で「可算整列可能定理」を検索してみれば？
日本中でそんなこと言ってるのはあんたしかいないからｗｗ
187: 01/12(日)18:57 ID:F+I6x7M1(17/26) AAS
>>184
>対角線論法のために ある整列（もどき）を構成したときに
構成不要。Nとの間に全単射があることが対角線論法の仮定だから。
>それが、果たして 自然数Nと 集合T との全単射が できるかどうか の証明が求められるのです
証明不要。Nとの間に全単射があることが対角線論法の仮定だから。
まだ分かってなくて草
190(1): 01/12(日)19:10 ID:F+I6x7M1(18/26) AAS
>>184
NからTへの全単射fがあることが対角線論法の仮定。
仮定によりTの元を余すことなく f(0),f(1),・・・ と並べられる。
仮定は証明不要。
背理法の仮定は偽だから証明不可能。
なんか難しいことある？ なんで分からないかが分からない
211: 01/13(月)06:25 ID:TxxvswZ2(1/15) AAS
>>184
> ある人が 対角線論法のために ある整列を構成したときに
> それが、果たして 自然数Nと 集合T との全単射が できるかどうか の証明が求められるのです
日本語になってないよ ニホンザル
「（実数全体の）ある整列を構成したときに
それが、果たして 自然数Nと同型かどうか？」
なら日本語になってるけどね
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s