(>>706より)
https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
自然数
集合論において標準的となっている自然数の構成は以下の通りである。
(上記のノイマン構成法で略す)
例えば、0 := {}, suc(a) := {a} と定義したならば、
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる。
(注:これがシングルトンによる自然数構成)
https://ja.wikipedia.org/wiki/%E5%8D%98%E9%9B%86%E5%90%88
単集合(たんしゅうごう、英: singleton; 単元集合、単項集合、一元集合)あるいは単位集合(unit set[1])は、唯一の元からなる集合である。
例えば、{0} という集合は単集合である。
単集合であることと、その集合の濃度が 1 であることは同値である。
(引用終り)
<数学的に厳密ではないが、直観的理解として>
・上記で、人が衣を着ているようなものと思いなよ。カッコ{}が着物だと思いな。例えば、”1 := {0} = {{}}”なら、2重の着物で、0から数えれば一重だ。
・で、ωってのは、(可算)”無限”に着物を重ね着しているようなものだ。もし、時枝のように無限個の箱が用意できるなら、無限の着物もある。その無限 重ね着が、シングルトンωだ
・そして、ωはいかなる自然数の後者でもない(下記)。従って、ωの直前の前者の自然数もない。但し、それはシングルトンに限らない。それは、ノイマンの後者関数でも同様だよ
(参考)
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数
極限順序数(きょくげんじゅんじょすう、英: limit ordinal)は 0 でも後続順序数でもない順序数を言う。
任意の順序数は、0 または後続順序数、さもなくば極限順序数である。
任意の自然数よりも大きい最小の超限順序数 ω は、それよりも小さい任意の順序数(つまり自然数)n が常にそれよりも大きい別の自然数(なかんずく n + 1)を持つから、極限順序数である。
(引用終り)
以上
探検
IUTを読むための用語集資料集スレ
■ このスレッドは過去ログ倉庫に格納されています
731現代数学の系譜 雑談 ◆yH25M02vWFhP
2020/11/03(火) 20:02:29.95ID:aFRh2zmP■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 約700頭のコアラを狙撃し殺処分 森林火災が影響 オーストラリア [少考さん★]
- 日本、アジア最大の統合型リゾート(IR)施設がついに着工、経済効果1.1兆円/年、雇用創出9.3万人、1060億円/年 大阪に収入 [お断り★]
- 【教育】なぜ「体育嫌い」は増える? 背景にホモソーシャル、性的少数者無視 ★2 [ぐれ★]
- 買春:買春容疑の社員、懲戒解雇処分に 毎日新聞社 [少考さん★]
- 駅前の一等地にデータセンター計画、「人が入れない施設が建っていいのか」と反対の声相次ぐ ★2 [蚤の市★]
- なぜ?「就職氷河期世代」への支援続々…石破首相が“就労支援”など3本柱の対策を指示するなど各党が発表 ★3 [煮卵★]
- 【正論】自民党保守派「石破首相の戦争検証は特定アジアに非難の口実を与える。自虐外交の終結という安倍さんのレガシーが無意味になる」 [519511584]
- 【同時視聴】博衣こよりのえちえちホロRust6日目まとめ🧪
- ラ ー メ ン イ ケ メ ン
- 太平洋戦争における日本兵の死因、7割が餓死・病死👈おかしくないか?軍の指導部は何してたの? [812874503]
- 【声優】石見舞菜香さん、彼氏バレしてもスルーでXを更新してしまう。もう嫌儲でも誰も騒いでない [882679842]
- 万博コスプレで炎上した女がガチギレ「二次創作がグレーなら白黒はっきりさせるべき」 [834922174]