[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
28: 2019/12/22(日)07:26 ID:dWgKJ6XY(1/14) AAS
>>18
>集合の｛｝の無限多重も考えられるさ
｛｝の無限重は、”図形”として存在するだろうけど
だからといってそれが集合を表す、とはいえない
まず、x=0を中心として
最も内側のカッコをx=-1/2とx=1/2に
その外側にカッコをx=-2/3とx=2/3に
省25
29: 2019/12/22(日)07:32 ID:dWgKJ6XY(2/14) AAS
>>20
>無限の枚数の壁が考えられる
>壁が ｝ の形をしていると思いなよ。これが右
>これと対になった無限枚数の壁 ｛ が左にある
>真ん中にΦを入れて
>｛ ・・・｛Φ｝・・・｝
>>18に書いたように、｛｝をつけた場合
省10
30: 2019/12/22(日)07:36 ID:dWgKJ6XY(3/14) AAS
>>23
>数学的な定義としては、極限が使える
でも、君は極限順序数の作り方知らないよね
素人が勝手に”俺様極限”デッチあげた挙句がこのザマだよね
極限として意味ある方法を考えたら、
極限順序数の濃度は１にはならないよ
残念だったね
省2
31: 2019/12/22(日)07:40 ID:dWgKJ6XY(4/14) AAS
>>20 >>24
カッコを外側から内側に無限個つけた集合は正則性公理に反しますね
ただ、これはそもそも順序数でないですけどね
０、−１、−２、・・・は整列集合じゃないですから
32: 2019/12/22(日)07:45 ID:dWgKJ6XY(5/14) AAS
>>18 ＞ヒルベルトの無限ホテル
>>22 ＞∈の無限上昇列は、正則性公理には反しない
第三の勘違い 誕生の予感・・・
ヒルベルトの無限ホテルにはω号室はございません
部屋番号は全て自然数でございます
同様に無限上昇列
{}∈{{}}∈{{{}}}∈・・・
省2
38: 2019/12/22(日)08:47 ID:dWgKJ6XY(6/14) AAS
>>33
>∈-数列
>0∈1∈2∈3・・・∈n∈・・・→ω
>（"→ω"の意味は、ωに向けてずっと続くってことね）
>（なお、ωは、超限順序数で、いわゆる”有限”ではない）
→ω は必要ありません
つまりωが存在しないとしても
省34
39(1): 2019/12/22(日)08:54 ID:dWgKJ6XY(7/14) AAS
>>34
><Zermelo構成>では、
>「0∈1∈2∈3・・・∈n∈・・・」の極限として、
>ωを定義すれば良い
（注、”→ω”は無駄なので削除）
肝心の極限の定義がないので無意味ですね
少なくともZermeloのΩはシングルトンにはなりません
省6
40(1): 2019/12/22(日)09:01 ID:dWgKJ6XY(8/14) AAS
>>35 >>37
順序位相を持ち出しても
「（Zermeloの自然数ｎがシングルトンだから）
ZermeloのΩがシングルトン」
というナイーブな主張は正当化できませんね
シングルトン＝前者の存在、となりますから
数学はナイーブな直感だけで分かるほど
省1
43: 2019/12/22(日)11:41 ID:dWgKJ6XY(9/14) AAS
>>42
私は◆e.a0E5TtKEではありません
44: 2019/12/22(日)11:50 ID:dWgKJ6XY(10/14) AAS
まずΩは無限集合だからシングルトンではありません
次にΩの要素はZermeloの自然数だから
0（={}）以外はシングルトンです
（Ωは必ずしも全ての自然数を要素とする必要はないので
0が要素でない場合、いかなる要素もシングルトンです）
上記のΩが正則性公理を満たすことは明らか
45: 2019/12/22(日)11:50 ID:dWgKJ6XY(11/14) AAS
まずΩは無限集合だからシングルトンではありません
次にΩの要素はZermeloの自然数だから
0（={}）以外はシングルトンです
（Ωは必ずしも全ての自然数を要素とする必要はないので
0が要素でない場合、いかなる要素もシングルトンです）
上記のΩが正則性公理を満たすことは明らか
46: 2019/12/22(日)18:07 ID:dWgKJ6XY(12/14) AAS
結論
Neumann構成で
「いかなる順序数も自分より小さい順序数全てを要素として持つ」
は成立する
一方
Zermelo構成で
「いかなる順序数も自分の前者となる順序数のみを要素として持つ」
省2
49(1): 2019/12/22(日)20:56 ID:dWgKJ6XY(13/14) AAS
>>47
>結局は、極限なんだよ
>Zermelo構成による後者関数の極限
>lim ｎ→∞ suc(n) が存在する
>それを、可算多重シングルトンωと名付ける（数学的には定義するだな）
何、トンデモなことを言っているのかね？（嘲）
シングルトン、と言い切った瞬間 トンデモ
省15
50(1): 2019/12/22(日)20:58 ID:dWgKJ6XY(14/14) AAS
>>48
>（◆e.a0E5TtKEは）何でそんなに自信満々に反論できるん？
シャア・アズナブル「馬鹿だからさｗ」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.131s*