[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
427(2): １３２人目の素数さん [] 2021/11/21(日) 08:49:29.05 ID:fskC7CH9(6/17) AAS
>>418 >>423
>{{…{{}}…}}
そこ、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424だよ
だから、{{…{{}}…}}→{fsz(ω)}={{･･{{･･{{{}0}1}2･･}n-1}n･･}ω}
が対応するよ
{fsz(ω)}は、ω+1が対応するよ
{…{{}}…}は、{{…{{}}…}}の前者ではあるが、
{{…{{}}…}}には、ω+1が対応するよ
（多分、正則性公理を言いたいんだろうが、当てはまらない）
>後者関数 s(x):={x} なんでしょ？君の定義だと
いまの場合、後者関数の前に、
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω >>405
を定義しているので、そっちを優先的に見てくださいね
勿論、多重シングルトン関数の定義の後に、「ここは後者関数と同じ」という解釈はありだよ
430: １３２人目の素数さん [] 2021/11/21(日) 09:02:23.49 ID:ZtueUz+V(6/15) AAS
>>427
>{{…{{}}…}}には、ω+1が対応するよ
{{…{{}}…}}を{{{…{{}}…}}}と書けるよな？"…"はカッコを省略してるんだろ？
ω+1={{{…{{}}…}}}
ω={{…{{}}…}}
ωの前者={…{{}}…}
はいアウト！
言い訳見苦しいぞ
実は無限重カッコ{{{…{{}}…}}}から有限個のカッコを取り除いても変わらないから
おまえのトンデモ論だとω+1=ω=ω-1 となるｗ
バカ過ぎｗ
438: １３２人目の素数さん [sage] 2021/11/21(日) 10:44:37.03 ID:+LwTeuHH(5/11) AAS
>>424
ADHDのSET Aは何がダメっていわれてるか全然わかってねぇなｗ
>自然数とωが出来たら、集合族として、
>fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ωが
>考えられるということだ
あのな、そのfsz(ω)の要素である
･･{{･･{{{}0}1}2･･}n-1}n･･
が集合じゃねえだろ？っていってんだよ
で、集合じゃねぇもんに要素なんかねぇから
∈によって＜を定義したら
ｎ＜･･{{･･{{{}0}1}2･･}n-1}n･･
っていえねぇだろっていってんだよ
わかれよ🐎🦌
一元🐷である必要ねぇじゃん
ω={{},{{}},{{{}}},…}
とすりゃいいじゃん(無限公理として定義）
そうすりゃ
{}∈ω
{{}}∈ω
{{{}}}∈ω
・・・
となって全然OKじゃん
何があかんの？
あ？自分が考えたもんじゃないから？
知らねえよ！いつまで三歳児みたいな駄々こねてんだよ！
>>427
>後者関数の前に、
>多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω
>を定義しているので、そっちを優先的に見てくださいね
つーか、全部「SET Aの俺様シングルトン関数」で定義して
後者関数 s(x):={x} 要らないよねとかいいそうな勢いだな
じゃ、聞くけど
{･･{{･･{{{}0}1}2･･}n-1}n･･}ω は順序数だけど カッコの中身の
･･{{･･{{{}0}1}2･･}n-1}n･･ は順序数じゃないとかほざくわけ？
なんだその独善解釈はｗ
SET Aの「{}記法」(マッチ棒記法のパクリ）には全然興味ねぇんだよ
https://en.wikipedia.org/wiki/Ordinal_number#/media/File:Ordinal_ww.svg
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s