コンテンツにスキップ

始順序数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

2024年5月24日 (金) 19:33; 240d:1a:3ce:c00:587d:cff8:c130:de29 (会話) による版(日時は個人設定で未設定ならUTC

(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

始順序数(しじゅんじょすう、: initial ordinal)または始数(しすう、initial)とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(X)とは集合Xの濃度を表す) 。特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。

また文献によっては、単にもっとも初めの順序数たる0を指すこともある。これは0が後続順序数極限順序数のいずれでもないことを明示するが、形式的な分類名以上の意味はなく、つまらない

そのため、本記事では主に前者の意味での解説を行う。

脚注

[編集]

関連項目

[編集]

参考文献

[編集]
  • Y.N. Moschovakis Notes on Set Theory (1994 Springer) p. 198

外部リンク

[編集]