[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
46(1): 2019/10/05(土)14:19 ID:kZwmbLNI(21/44)調 AAS
>>43
>あなたの上記証明は、「ωは、極限点」という性質を反映していませんね
ええ
まず、位相は考えていません 集合論ですから
次に、極限順序数というのは、そもそもωが最初ですが
ωは無限公理によってはじめて定められるものです
ωには最大の要素というものはありません
つまり「最大の自然数（有限順序数）」は存在しません
したがって、どのような∈の列も
0∈1∈2…n-1∈n∈ω
という有限列にならざるを得ません
反駁するなら集合論の中でやってください
関係ないものを持ち出す時点で
見当違いであることに気づきましょう
50(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/05(土)15:07 ID:JrhjRl4x(20/46)調 AAS
>>46
＞反駁するなら集合論の中でやってください
えーと、これなんかどうしょうか
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数の大小関係
任意の順序数 α, β, γ に対して次が成り立つことが示される：
α not∈ α,
α ∈ β かつ β ∈ γ ⇒ α ∈ γ,
α ∈ β または α = β または β ∈ α 。
そこで、α ∈ β のとき β は α より大きいといい、α < β と書く。
この定義と順序数の要素はまた順序数であるという性質から、すべての順序数は自分自身より小さな順序数全体の集合と等しいと言うことができる。
ω より小さな順序数（すなわち自然数）を有限順序数と呼び、ω 以上の（すなわち ω と等しいか ω より大きい）順序数を超限順序数と呼ぶ。
順序数の大小関係に関して次が成り立つ：
5.順序数からなる空でない集合には必ず最小元が存在する。
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), ..............................
まず、0 が最小の順序数である。その後に S(0) = 1, S(S(0)) = 2, S(S(S(0))) = 3, ... と有限順序数（自然数）が通常の順序で並んでいる。
そして、すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である。ω の後にはまたその後続者たちが S(ω), S(S(ω)), S(S(S(ω))), ... と無限に続いていく。
その後、それらの最小上界（後に ω + ω と呼ばれる）が並び、その後続者たちが無限に続く。
だがそれで終わりではない。
無限に続いた後には、必ずそれまでに並んだすべての順序数たちの最小上界が存在し、その後続者、そのまた後続者、... のように順序数の列は"永遠に"続いていくのである。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.039s