[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
338(1): １３２人目の素数さん [sage] 2021/11/15(月) 07:03:39.58 ID:PvleFi78(1/4) AAS
>>337
そもそも無限シングルトンが集合でない
という根拠の一つに下降列がでてきた
ω>・・ >ｎ>・・>1>０ が下降列ではないとすると、
何で無限シングルトンが集合でないかというと
下降列の各項に()を対応させた場合
ωに対応する()を外したら
その最外にはもはや｛｝が存在せず
要素をとることができなくなるから
340(1): １３２人目の素数さん [sage] 2021/11/15(月) 19:07:02.49 ID:PvleFi78(2/4) AAS
>>339
>ノイマン構成 N（＝ω）＝{0,1,2,・・・}
>で、｛｝を外すと 0,1,2,・・・ となる
「無限シングルトン」を諦めて、ノイマン構成と同じく
「有限シングルトンの全てからなる無限集合」とするなら
・0,1,2,・・・のどの有限シングルトンにも最外の{}がある
・0,1,2,・・・のどの有限シングルトンも有限回で{}に達する
という性質を満たすので何の問題もないが
>最外は存在しないのではなく、エンドレスの無限状態となる（可能無限）
エンドレス（＝最大元が存在しない）なのは別に問題ない
>それは、”可能無限”が本来持つ性質であって
最大元が存在しないのは、極限順序数の性質
>ノイマン構成 N（＝ω）も同じ
「…も同じ」ではなく
極限順序数を集合として実現する場合
避けられないこと
「ノイマンと同じ」と認めるのは
「無限シングルトンが集合として存在し得ず
無限シングルトンが集合だというのは全くの初歩的誤り」
と認めることだけど、それでいいの？
343(1): １３２人目の素数さん [sage] 2021/11/15(月) 21:46:17.59 ID:PvleFi78(3/4) AAS
>>342
0={}
1={0}={{}}
2={1}={{{}}}
･･･
で、ωがシングルトンだとすると
ω={ω-1}ってことになるけど、
ω-1なんてないよね？
一方、ノイマンの極限構成法をパクるなら
ω={0,1,2,…}={{},{{}},{{{}}},…}
となって、シングルトンではなく無限集合になるよね？
ここ理解しているかい？
ωは後続順序数ではなく極限順序数だから
シングルトンにはなり得ず無限集合になることが理解できているかい？
ちなみに最小の非可算無限順序数ω1は
可算無限集合ではなく非可算無限集合になるよ
それもわかってるかい？
344: １３２人目の素数さん [sage] 2021/11/15(月) 21:53:07.27 ID:PvleFi78(4/4) AAS
>>343
>最小の非可算無限順序数ω1は
>可算無限集合ではなく非可算無限集合になる
ｘ＜ω１となる順序数ｘのいかなる可算集合も
その上限となるある順序数ｙ＜ω１が存在するから
ｙ以上の可算順序数が全部抜けちゃうんだな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s