現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net

[0001 １３２人目の素数さん 2017/06/19(月) 14:07:15.08 ID:KSjG2B/B]

前スレ 現代数学の系譜11 ガロア理論を読む
34 http://rio2016.2ch.net/test/read.cgi/math/1496568298/

[0130 １３２人目の素数さん 2017/06/22(木) 23:12:53.07 ID:WgJfdE7K]

>>125
> 無限に続ければ、どんな決定番号ｎにも、無限の箱は存在しますよ。これ、当たり前ですよね

> 決定番号ｎであれ、かならずその後者ｎ＋１があり、またその後者ｎ＋１＋１があり・・と無限に続きます。
これはNの真部分集合{1, 2, ... , n}, {1, 2, ... , n+1}, {1, 2, ... , n+1+1}, ... を順々に考えているわけで
もし「後者」がなくなればそのときはじめてNの真部分集合でなくて自然数全体の集合Nになったことが言えるわけです
だから「後者」がなくなることを示さなければ可算無限になることは言えないですよ
可算無限というのは自然数全体の集合Nの濃度だというのは分かりますよね？

> またその後者ｎ＋１＋１があり・・と無限に続きます
だと「後者」が尽きることはないということです
当たり前ですよね

決定番号がn : 決定番号nより後ろには可算無限個の項が存在する
決定番号がn+1 : 決定番号n+1より後ろには可算無限個の項が存在する
であるから
決定番号が自然数 : 決定番号より後ろには可算無限個の項が存在する (可算無限個から変化なし)

決定番号より後ろには可算無限個の項が存在する = いずれ「後者」になる項が可算無限個存在する

[0131 １３２人目の素数さん 2017/06/23(金) 00:54:14.03 ID:Wf0Q2EbY]

>>125

>>130の補足
> だから「後者」がなくなることを示さなければ可算無限になることは言えないですよ
> 可算無限というのは自然数全体の集合Nの濃度だというのは分かりますよね？

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
> 自然数はすべて順序数である。
> 自然数全体の集合 ω は (略) 順序数である。
> すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω

> 後続順序数と極限順序数
> ある順序数 β が存在して α = S(β) となる順序数 α を後続順序数（successor ordinal）と呼ぶ。
> 0 でも後続順序数でもない順序数を極限順序数（limit ordinal）と呼ぶ。
> ω は最小の極限順序数である。

「後者」がωとなるような(順序数としての)自然数は存在しない