[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 55 (1002ﾚｽ)
上下前次1-新

---

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

---

417(4): 2021/06/19(土)16:10 ID:IxFCR29a(13/20) AA×
>>266


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
417: [sage] 2021/06/19(土) 16:10:20 ID:IxFCR29a あと、まともな人が増えたところで書いておくと >>266のシングルトンの極限（ツェルメロによる） 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} ・ ・ n := {n-1} = {{・・{{}}・・}}n 　↓ ω := lim n→∞ {{・・{{}}・・}}n＝ {{・・{{}}・・}}∞ （但し、∞はωかもしれないが、素人分かり易しくした） で、{{・・{{}}・・}}∞は、{}が可算多重に重なったものです で、シングルトンというけれど、その集合の元はなんだ？というご批判が、聞こえてきそうだが それはごもっともなれど、自然数の集合N＝{0,1,・・・}も、その集合の元を明示できないのだから 無限集合に対して、必ずしも、「その集合の元を明示せよ」という要求を満たす必要はないと思う あと、可算多重シングルトン {{・・{{}}・・}}∞がどういう性質を満たすかが問題になる まあ、そこは、無責任ですが、よく分かりませんｗ（＾＾； でも、一応極限として、一度 可算多重シングルトン {{・・{{}}・・}}∞を認めても宜しいのではないかと（＾＾ そういう話をしたら、例によっておサルが噛みついてきたのです 彼は最初は、可算多重シングルトンだと、一番外の{}が存在しないとか言った 次に言ったのが、可算多重シングルトンは正則性公理に反すると言った そこから、正則性公理→無限降下列に話が行く それに反論する過程で、おサルは”＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない”と言い出して かつ、０＜・・・＜ω で、ωの前者はなんだ？という話に繋がっているのです それで、数学科出身を自慢されてもね こちらとしては、なんだかね（＾＾； http://rio2016.5ch.net/test/read.cgi/math/1623558298/417
あとまともな人が増えたところで書いておくと のシングルトンの極限ツェルメロによる 但しはかもしれないが素人分かり易しくした ではが可算多重に重なったものです でシングルトンというけれどその集合の元はなんだ？というご批判が聞こえてきそうだが それはごもっともなれど自然数の集合もその集合の元を明示できないのだから 無限集合に対して必ずしもその集合の元を明示せよという要求を満たす必要はないと思う あと可算多重シングルトン がどういう性質を満たすかが問題になる まあそこは無責任ですがよく分かりません でも一応極限として一度 可算多重シングルトン を認めても宜しいのではないかと そういう話をしたら例によっておサルが噛みついてきたのです 彼は最初は可算多重シングルトンだと一番外のが存在しないとか言った 次に言ったのが可算多重シングルトンは正則性公理に反すると言った そこから正則性公理無限降下列に話が行く それに反論する過程でおサルは上昇列 ０ が有限列にしかなり得ないと言い出して かつ０ での前者はなんだ？という話に繋がっているのです それで数学科出身を自慢されてもね こちらとしてはなんだかね

---

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

---

あと 585 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.048s