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

---

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

---

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

---

405(6): 2021/11/20(土)11:36 ID:5AMtJA2Q(1/4) AAS
>>402
>そうするとωで困る筈

困らないよ
後者関数で定義しようとするからそうなる

確かに、Zermeloが最初にシングルトン{}を使って、自然数を公理的に作ろうとしたときは
「自然数全体の集合 N＝ωはどうする？」というところが、問題になったらしい

だが、ノイマン構成で、N＝ωが出来たあかつきには、後者関数を使わない方法をとればいい
省27

---

406(1): 2021/11/20(土)12:02 ID:wjyKxUal(2/4) AAS
>>405
＞ノイマン構成で、N＝ωが出来たあかつきには、
＞後者関数を使わない方法をとればいい
　それは構わない
　しかし、その方法は中卒君の「お絵描き法」ではない

＞”}n”などと添字つきのカッコを考える
　下手な考え、休むに似たり
省10

---

419(6): 2021/11/21(日)08:03 ID:fskC7CH9(1/17) AAS
>>413
まず、大前提として、シングルトンでωを定義したのではなく、
順序数 0,1,2,・・n・・,ωを定義したのです

　>>405の通り
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω
例
fsz(0)＝{}0
省31

---

424(6): 2021/11/21(日)08:38 ID:fskC7CH9(5/17) AAS
>>419 補足
(引用開始)
　>>405の通り
多重シングルトン関数 fsz：n→{{･･{{{}0}1}2･･}n-1}n n∈N+ω
例
fsz(0)＝{}0
fsz(1)＝{{}0}1
省21

---

427(2): 2021/11/21(日)08:49 ID:fskC7CH9(6/17) AAS
>>418 >>423
>{{…{{}}…}}

そこ、fsz(ω)＝{･･{{･･{{{}0}1}2･･}n-1}n･･}ω>>424だよ
だから、{{…{{}}…}}→{fsz(ω)}={{･･{{･･{{{}0}1}2･･}n-1}n･･}ω}
が対応するよ
{fsz(ω)}は、ω+1が対応するよ

{…{{}}…}は、{{…{{}}…}}の前者ではあるが、
省7

---

446(5): 2021/11/21(日)17:37 ID:fskC7CH9(12/17) AAS
AA省

---

497(5): 2021/11/24(水)00:07 ID:cUOVrA71(1/2) AAS
AA省

---

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

---

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

---

ぬこの手 ぬこTOP 0.220s