[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
766(1): Mara Papiyas ◆y7fKJ8VsjM 2020/02/17(月)19:32 ID:bZMpz2gg(3/7) AAS
>>753
＞時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む
＞共通のシッポの決定番号は、無限大超自然数 ωになる
＞ ∵ 背理法による。もし、共通のシッポの決定番号が有限ｍとする
＞ しかし、必ずｍ＋1となる可算無限数列Aが、どの同値類内に存在する
＞ Aは、同値類内の全ての元と同値（〜）になるので、ｍ＋1になる部分を、共通のシッポに取り直せる
＞ これは、共通のシッポの決定番号が有限ｍであったことに矛盾する
省9
783(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/18(火)00:23 ID:twaSKzXK(3/3) AAS
>>766
> しかし、必ずω＋1となる無限数列Aが、どの同値類内にも存在する
それは、なにも矛盾していない
ω＋1の長さの数列を考えればね
ωを考える意義は、Ｎをコンパクト化しているってことだよ
（参考）
外部ﾘﾝｸ:ja.wikipedia.org
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s