[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 http://rio2016.5ch.net/test/read.cgi/math/1581243504/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
766: Mara Papiyas ◆y7fKJ8VsjM [] 2020/02/17(月) 19:32:09.08 ID:bZMpz2gg >>753 ＞時枝の決定番号を、下記の超自然数の集合 *Nに埋め込む ＞共通のシッポの決定番号は、無限大超自然数 ωになる ＞ ∵ 背理法による。もし、共通のシッポの決定番号が有限ｍとする ＞ しかし、必ずｍ＋1となる可算無限数列Aが、どの同値類内に存在する ＞ Aは、同値類内の全ての元と同値（〜）になるので、ｍ＋1になる部分を、共通のシッポに取り直せる ＞ これは、共通のシッポの決定番号が有限ｍであったことに矛盾する ＞ この矛盾は、決定番号が有限ｍとしたことに起因する 超自然数を考えても、同値類全体の共通の尻尾の存在は導けない これが証明だ！！！ ∵ 背理法による。もし、共通のシッポの決定番号をωとする しかし、必ずω＋1となる無限数列Aが、どの同値類内にも存在する Aは、同値類内の全ての元と同値（〜）になるので、ω＋1になる部分を、共通のシッポに取り直せる これは、共通のシッポの決定番号がωであったことに矛盾する この矛盾は、そもそも共通の尻尾が存在するとしたことに起因する 相変わらず、頭悪いな Set A ｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1581243504/766
783: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2020/02/18(火) 00:23:52.39 ID:twaSKzXK >>766 > しかし、必ずω＋1となる無限数列Aが、どの同値類内にも存在する それは、なにも矛盾していない ω＋1の長さの数列を考えればね ωを考える意義は、Ｎをコンパクト化しているってことだよ （参考） https://ja.wikipedia.org/wiki/%E5%AE%9F%E6%95%B0%E7%9B%B4%E7%B7%9A 実数直線 (抜粋) 実数直線はいくつかの方法でコンパクト化することができる。R の一点コンパクト化は円周（実射影直線）であり、付け加えられた点は符号なしの無限大と考えることができる。 別な方法で、実数直線に二つの端点を付け加えて得られる端コンパクト化は拡張実数直線 (extended real line) [?∞, +∞] と呼ばれる。 http://rio2016.5ch.net/test/read.cgi/math/1581243504/783
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.041s