つづき
(参考)
https://en.wikipedia.org/wiki/Ordinal_number#Von_Neumann_definition_of_ordinals
Ordinal number (順序数)
Von Neumann definition of ordinals
Thus the finite von Neumann ordinals are defined recursively as
0=∅ and n+1=n∪{n}.
the set of von Neumann natural numbers
N={0,1,2,…}. Then ω+1={0,1,2,…,ω}=N∪{ω}, and so on.
https://ja.wikipedia.org/wiki/%E5%9F%BA%E6%95%B0
基数(cardinal number または cardinal)とは、集合の濃度(cardinality、大きさ、サイズ)を測るために定義された自然数の一般化である。
定義
基数の厳密な定義
(カントールによって暗に、フレーゲやプリンキピア・マテマティカにおいて明確に示されていた)基数の最も古い定義は、集合全体からなるクラスを濃度による同値関係で割ったときの同値類としての定義である。つまり X の濃度 | X | は X と一対一対応であるすべての集合からなるクラスとして定義される。これは、ZFCや関連する集合論の公理系ではうまく機能しない。実際、 X を空でない集合としたとき、集合 S に {S}×X を対応させる写像を考えることによって、宇宙から | X | への単射が存在し、サイズの限界 (en:Limitation of size) より、| X | は真のクラスである。
フォン・ノイマンの割り当て
任意の順序数 β に対し β < α ⇒ | β | < | α | を満たす順序数 α を始順序数 (initial ordinal) という[注釈 1]。このとき整列可能な集合 X に対して min{α∈ON :| α | = | X | } を濃度 | X | の始順序数という(ただし ON は順序数全体からなるクラス)。 整列可能な集合の濃度をその始順序数として定義することをフォン・ノイマンの割り当てという。
このとき、順序数αに対して濃度| α |の始順序数がα自身であるならば、αは基数であるという。また、濃度が| α |に等しい集合Xについて、Xの基数はαであると言い、| X |=αと書く。
(引用終り)
以上
スレタイ箱入り無数目を語る部屋34(あほ二人の”アナグマの姿焼き"Part8w)
■ このスレッドは過去ログ倉庫に格納されています
707現代数学の系譜 雑談 ◆yH25M02vWFhP
2026/09/17(木) 23:31:04.68ID:4BQwkV3n■ このスレッドは過去ログ倉庫に格納されています
ニュース
- Youtube、「家族系YouTuber」を相次ぎ「収益化停止」する動き、収益化再申請も認めず、弁護士の見解は [お断り★]
- 【ドパ親】高齢の親の“YouTube依存”に頭を抱える家族…精神科医「孤独な高齢者ほどのめり込みやすい」社会学者「1対1の没入感がある」 [煮卵★]
- 【野球】日本ハム、レイエスと4年63億円で契約延長へ 年俸15億円超え 「歴史的」大型契約で残留… NPB史上最大クラスか [冬月記者★]
- トランプ米大統領、民主党が勝利すれば「1929年のような大恐慌」が起こると警告 11月3日の中間選挙 債務40兆ドル ★2 [お断り★]
- 【GMO攻撃】北朝鮮ハッカーか 複数の痕跡、政府に報告 ★2 [煮卵★]
- 【全文掲載】全国民に「事前防災徹底のための緊急要請」 細野防災大臣 「水・食料、携帯用トイレ等の備蓄」など [ぐれ★]
- 【画像】新幹線、女さん「イヤァーー!指定席で隣の席に男の人座ってる!!ムリ!絶対無理!!」 [743999204]
- 明日10時仙台駅爆破する
- 5ch運営、荒らしスクリプトは規制しないくせに避難所告知スレは即削除する ★7 [344747625]
- 【画像】「既知コンテンツ反芻おじさん」とかいう悲しき生き物……………
- 細野豪志大臣「カスコラァ! 災害になったら公助に頼らず10日ぐらい生き延びんかーい!!!!!」 [592058334]
- 【正論】ひろゆき「日本と中国は仲良くするべきなのにそれを言うと何故か叩かれる」