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