[過去ﾛｸﾞ]
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1477804000/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
153: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 21:21:39.91 ID:DzICE8Th >>152 補足 コンパクト性定理があるから（下記）、超準自然数系を考えても良いが、いまはそれは仮定していないからね 普通の自然数に無限大自然数は含まれないね http://d.hatena.ne.jp/m-hiyama/20051207 2005-12-07 - 檜山正幸のキマイラ飼育記 (抜粋) ●コンパクト性定理 モデル論の「コンパクト性定理」とは、論理式の集合Aがモデルを持つかどうかに関する主張である。 ・Aの任意の有限部分集合がモデルを持つ ⇔ Aがモデルを持つ これは、Aが有限のときは面白くない。論理式の無限集合に対して成立するのがすごいところだ。 論理式の集合が「矛盾する」とはモデルを持たないことだと“定義”すれば、コンパクト性定理は次のことを言っている。 ・Aが矛盾する ⇔ Aの有限部分集合で矛盾するものがある つまり、矛盾が生じる原因が「公理が無限個だから」ということではなくて、無限のなかの有限個で既に矛盾が生じているのである。矛盾の原因を有限個の論理式として（超越的／原理的には）特定できることになる。 応用としては、例えば、普通の自然数に加えて無限大自然数をたくさん（ものすごくたくさん）入れても、矛盾なく自然数概念が定義できる（モデルが存在する）、とかを示せる。こうしてできるモデルは、超準自然数系だが、実際に構成するにはウルトラフィルター／ウルトラ積を使う。 コンパクト性定理そのものを示すにもウルトラフィルターを使ったと思う。チコノフの定理も確かウルトラフィルターを使う証明があったような気がする（記憶が曖昧）。コンパクト性はウルトラフィルターで表現するのが自然なのかもしれない。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1477804000/153
156: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 21:41:40.08 ID:DzICE8Th >>149-153 まあ、ここら時枝記事の>>114-116 けっこうはちゃめちゃなことをやっている 可算無限個の箱を、仮に１列にならべる ↓ 可算無限個の箱を、仮に１００列にならべかえる ↓ 可算無限個の数列を、しっぽで同値類分類 ・ ・ 「しっぽで同値類分類」って、なにそれ？ という感じでね まあ、puzzleとしては面白いよね でもまあ、ここらで終わりでいいでしょ http://rio2016.5ch.net/test/read.cgi/math/1477804000/156
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s