始順序数
表示
(始数から転送)
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
始順序数(しじゅんじょすう、英: initial ordinal)または始数(しすう、initial)とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(X)とは集合Xの濃度を表す) 。特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。
また文献によっては、単にもっとも初めの順序数たる0を指すこともある。これは0が後続順序数、極限順序数のいずれでもないことを明示するが、形式的な分類名以上の意味はなく、つまらない。
そのため、本記事では主に前者の意味での解説を行う。
脚注
[編集]関連項目
[編集]参考文献
[編集]- Y.N. Moschovakis Notes on Set Theory (1994 Springer) p. 198