[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論他 3 (548ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

423(1): １３２人目の素数さん [] 2021/11/21(日) 08:37:54.21 ID:ZtueUz+V(2/15) AAS
>>419
>まず、大前提として、シングルトンでωを定義したのではなく、
>順序数 0,1,2,・・n・・,ωを使って、ｗに相当するシングルトンを定義したのです
ωに前者は無いわけだが {{…{{}}…}} の最外カッコを外した {…{{}}…} は何？
後者関数 s(x):={x} なんでしょ？君の定義だと

---

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
を定義しているので、そっちを優先的に見てくださいね
勿論、多重シングルトン関数の定義の後に、「ここは後者関数と同じ」という解釈はありだよ

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.029s