>>401&>>405(添字付与)より再録と補足
多重シングルトン関数 fsz:n→{{・・{{{}0}1}2・・}n-1}n n∈N+ω とする(N:自然数の集合)
対応は
数→ Zermelo → Neumann
0 : {}0 → {}
1 : {{}0}1 → {0}
2 : {{{}0}1}2 → {0, 1}
3 :{{{{}0}1}2}3 → {0, 1, 2}
・
・
n :{・・{{{}0}1}2・・} → {0, 1, 2,・・,n-1}
・
・
ω :{・・・{{{}0}1}2・・・}ω → {0, 1, 2,・・,n-1・・・} (注:・・・の部分は全ての自然数を尽くす)
ここで
n :{・・{{{}0}1}2・・} → {0, 1, 2,・・,n-1}
・
・
の部分は、無限集合たる自然数Nのもつ性質そのものだ
つまり、∀n∈N でnは有限だが、列・・の部分は無限長
それは、数、Zermelo とNeumannの3者とも共通だ
で最後の
ω :{・・・{{{}0}1}2・・・}ω → {0, 1, 2,・・,n-1・・・} (注:・・・の部分は全ての自然数を尽くす)
で、”・・・”の部分も、無限集合たる自然数Nのもつ性質そのもの
これが良いとか悪いとか
全くおかしな議論です
そもそもが、無限公理まで導入して、無限集合たる自然数Nを作ったのは
全ての自然数を尽くす列 0, 1, 2,・・,n-1・・・ を作るためだったはず
(それが出来れば、整数環Z→有理数体Q→(Qのコーシー列から)実数体R が構築できるのです)
”・・・” の部分が出来たら、
それが良いとか悪いとか
全くおかしな議論です
探検
現代数学の系譜 カントル 超限集合論他 3
■ このスレッドは過去ログ倉庫に格納されています
446132人目の素数さん
2021/11/21(日) 17:37:43.91ID:fskC7CH9■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 石破首相、「就職氷河期世代」で今も不安定な仕事に就いている人に農業、建設業、物流業へ就労拡大指示 ★3 [お断り★]
- 【洋菓子】「ジャンポケ」斉藤慎二被告 群馬でバウムクーヘン販売 行列ができるほどの大盛況 [ニーニーφ★]
- 一人暮らしの学生 約4人に1人が食費月1万円以下で生活 日本冷凍食品協会が調査 [少考さん★]
- 関西万博「楽しかった」という本音の感想が圧倒的に多かった、万博を訪れた学生60人の“リアルな声” [お断り★]
- 自閉症の息子、痴漢扱いで通報されショック ヘルプマークあったのに 発達障害の特性、誤認されるケースも [少考さん★]
- 永野芽郁&田中圭の“不倫疑惑”報道を、軒並みワイドショーがスルーする“本当のワケ” [Ailuropoda melanoleuca★]
- 【朗報】石破首相、日本の国策「氷河期支援」担当大臣に三原じゅん子氏を指名 [452836546]
- 【悲報】「45秒に1本の運行で入場者を捌く」と豪語していた大阪万博バス、客が来ないためキャパの1割しか埋まらずガラガラになってしまう [731544683]
- ゴールデンウォークだし日本人の時代劇を見ようと思う。オススメしろ。 [249548894]
- 【実況】博衣こよりのえちえちクロノクロス🧪★5
- 【石破絶賛】 中国人に、バーミヤンの本格四川麻婆豆腐を食べさせてみた! [732912476]
- 【動画】最近バズってる生ハンバーグ、ガチでうまそうwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww [834922174]