[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
690(4): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/08(日)08:30 ID:lCvi6NdQ(1/2)調 AAS
>>686
>「有限重シングルトンの全体からなる無限集合」を
>「シングルトンの無限列」と誤読した
１．無限公理を適用して、全ての後者関数を含む無限集合の存在を認める
２．そうすると、無限集合はできるが
このままでは、過剰な後者を含んでいる
欲しいのは、ジャスト自然数の集合N
３．従って、自然数集合Nには不要な、過剰な後者を取り除きます
（要は、無限集合の最小の集合が自然数の集合Nです。無限集合たちの共通部分を取るのでしたね。詳しくは、自然数のノイマン構成のテキストでも見て下さい（過去レスでも書きましたが））
４．で、１〜３は、ツェルメロ構成の後者関数 an=suc(an-1)={an-1}を使って同じことができる
５．私が、>>684で言っていることは、
自然数集合Nに不要な過剰な後者の中に、順序数ωに相当する可算多重シングルトンが存在する
ということですよ
QED（＾＾
694(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/08(日)09:20 ID:lCvi6NdQ(2/2)調 AAS
>>690
自然数のノイマン構成から、さらに進んで、超限順序数 ω（下記）が構成できる
0, 1, 2, 3, ............, ωは、明らかに無限長である
そして、ノイマン構成では、”前者∈後者” の関係がある
よって、無限長の∈-列が構成できた
QED
追記
なお、ツェルメロ構成に同じ
超限順序数 ωに相当する、ツェルメロ構成の後者即ち可算多重シングルトンが存在する
（可算多重シングルトンを絵や{}の記号で表現できるかどうかは、全く別問題。存在はする）
（参考）
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数の並び方を次のように図示することができる：
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.044s