極限順序数

集合論およびにおける**極限順序数**（きょくげんじゅんじょすう、）は 0 でも後続順序数でもない順序数を言う。あるいは、順序数 \lambda が極限順序数であるための必要十分条件は「\lambda より小さい順序数が存在して、順序数 \beta が \lambda より小さい限り別の順序数 \gamma が存在して \beta とできることである」と言ってもよい。任意の順序数は、0 または後続順序数、さもなくば極限順序数である。

例えば、任意の自然数よりも大きい最小の超限順序数 \omega は、それよりも小さい任意の順序数（つまり自然数）n が常にそれよりも大きい別の自然数（とりわけ n+1）を持つから、極限順序数である。

を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。このとき、空でない順序数の集合が最大元を持たないならば、その和集合は常に極限順序数になる。を用いれば、任意の無限基数もまた極限順序数となる。

## 特徴付け
極限順序数は他にもいろいろなやり方で定義できる:
* 与えられた非零順序数でそれより小さい任意の順序数の上限に等しいもの。(後続順序数の場合と比較すれば、後続順序数より小さい順序数全体の成す集合には最大限が存在する（それは直前の順序数である）から、それが上限を与える。)
* 最大元を持たない非零順序数。
* 適当な  によって  の形に書ける順序数。つまり、カントール標準形において末項としての有限な数を持たない非零順序数。
* 順序数全体の成す類においてに関する極限点 (ほかの順序数は孤立点となる)。

 を、直前の順序数を持たない順序数として、極限順序数に分類すべきか否かに関しては流儀が分かれる。いくつかの教科書は  を極限順序数のクラスに含めるが、含めないものもある。

## 例

順序数全体の成す類は整列順序付けられているから、有限でない最小の極限順序数  が存在する。この順序数  は、自然数の最小上界に一致するものとして、最小の超限順序数でもある。ゆえに、 は自然数全体の成す集合の順序型を表している。それより大きい次の極限順序数として、まずは 、これは任意の自然数  に対する  に一般化できる。 全体の成す集合における合併（順序数からなる任意の集合上で上限をとる操作と見なせる）を取って、 が得られ、これは任意の自然数  に対する  に一般化される。この過程はさらに繰り返すことができて、
:\omega^3,\ \omega^4,\ \dots,\ \omega^\omega,\ \omega\uarr^2 3=\omega^{\omega^\omega},\ \dots,\ \varepsilon_0=\omega\uarr^2\omega=\omega^{\omega^{\omega^{~\cdot^{~\cdot^{~\cdot}}}}},\ \dots

（クヌースの矢印使用）なる系列が生み出される。

一般に、このような再帰的定義は乗法、冪演算、反復冪などを通じてもできるが、何れも極限順序数を導き出す。ここまでで出てきた順序数はそれでもまだ可算順序数であるが、同様に可算順序数であるチャーチ&ndash;クレイニ順序数より小さいすべての順序数に系統的に名前を付けることのできるな命名規則は存在しない。

可算順序数を超えて、最小の非可算順序数  は、これもまた極限順序数となる。同様に推し進めれば、以下のような系列（以下の列では項を追うごとに濃度も増大する）: \omega_2, \omega_3, \ldots, \omega_\omega, \omega_{\omega + 1}, \ldots, \omega_{\omega_\omega},\ldots が得られる。

一般に、順序数からなる空でない集合が最大元を持たなければ、合併を取れば常に極限順序数が得られる。

 に対する  全体の成す集合は極限順序数からなる極限順序数、など。

## 性質
後続順序数の類、（さまざまな共終数を持つ）極限順序数の類と  を併せたもので順序数の類は尽くされるから、これらの場合はしばしば超限帰納法や的定義に用いられる。極限順序数はこの種の手続きにおいてある種の「転換点」を表している（そこでは、それより前の順序数すべての合併をとるなどの極限操作が用いられなければならない）。原理的には、極限順序数において何かする際に、合併をとることは順序位相における連続写像であり、これはふつうは好ましい性質である。

を用いるならば、任意の無限基数は極限順序数でもある（またこれは「蝶番」や「転換点」を意味する に由来する の語感とも合う）。この事実の証明は、単に任意の超限後続順序数が無限ホテルのパラドクスにあるような割り当てを通じて適当な極限順序数と等濃（対等、同数）であることを見ればよい。

基数それ自体も固有のやの概念を持っているので、それらと混同すべきではない。

## 脚注

## 関連項目
* 
* 
* 
* 最小の超限順序数（最小の**極限順序数**、最小の無限順序数、最小の超限順序数、最小の許容順序数）  （アレフ・ノート ）
* エプシロン・ノート \varepsilon_0
* （Takeuti–Feferman–Buchholz ordinal）\psi(\varepsilon_{\Omega_\omega + 1})
* チャーチ・クリーネ順序数（最小の、2番目の許容順序数） 
* 最小の非可算順序数  または  （アレフ・ワン ）
* オメガ不動点（アレフ不動点）（オメガの固定点）\Phi_I(0)
* 巨大基数（一覧）→（崩壊）→非可算基数→（崩壊）→可算順序数
** 最小の弱到達不能基数
** 最小の弱マーロ基数
** 最小の

## 関連文献
* Cantor, G., (1897), *Beitrage zur Begrundung der transfiniten Mengenlehre.  II* (tr.: Contributions to the Founding of the Theory of Transfinite Numbers II), Mathematische Annalen 49, 207-246 English translation.
* Conway, J. H. and Guy, R. K. "Cantor's Ordinal Numbers." In *The Book of Numbers*. New York: Springer-Verlag, pp.&nbsp;266–267 and 274, 1996.
* Sierpiński, W. (1965). *Cardinal and Ordinal Numbers* (2nd ed.). Warszawa: Państwowe Wydawnictwo Naukowe. Also defines ordinal operations in terms of the Cantor Normal Form.

## 外部リンク
* 
* 
* 
* 
* 極限順序数の一覧 | 巨大数研究 Wiki | Fandom
* [ユーザーブログ:Kyodaisuu/順序数講座 (12) 巨大基数の崩壊 | 巨大数研究 Wiki | Fandom](https://googology.fandom.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC%E3%83%96%E3%83%AD%E3%82%B0:Kyodaisuu/%E9%A0%86%E5%BA%8F%E6%95%B0%E8%AC%9B%E5%BA%A7_(12)_%E5%B7%A8%E5%A4%A7%E5%9F%BA%E6%95%B0%E3%81%AE%E5%B4%A9%E5%A3%8A)