始順序数
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/05/29 14:44 UTC 版)
始順序数（しじゅんじょすう、英: initial ordinal）または始数（しすう、initial）とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(Ｘ)とは集合Ｘの濃度を表す) 。特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。
また文献によっては、単にもっとも初めの順序数たる0を指すこともある。これは0が後続順序数、極限順序数のいずれでもないことを明示するが、形式的な分類名以上の意味はなく、つまらない。
そのため、本記事では主に前者の意味での解説を行う。
フォン・ノイマンの割り当てとは、順序数を用いて濃度を割り当てる方法である。フォン・ノイマンによる順序数の定義を用いて、整列可能な集合 U に対して、その濃度を U と等濃な最小の順序数として割り当てる。より正確にいえば、
-
この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。
- 始順序数のページへのリンク
