極限順序数
ウィキペディア フリーな encyclopedia
集合論および順序論(英語版)における極限順序数(きょくげんじゅんじょすう、英: limit ordinal)は 0 でも後続順序数でもない順序数を言う。あるいは、順序数 λ が極限順序数であるための必要十分条件は「λ より小さい順序数が存在して、順序数 β が λ より小さい限り別の順序数 γ が存在して β < γ < λ とできることである」と言ってもよい。任意の順序数は、0 または後続順序数、さもなくば極限順序数である。
例えば、任意の自然数よりも大きい最小の超限順序数 ω は、それよりも小さい任意の順序数(つまり自然数)n が常にそれよりも大きい別の自然数(なかんずく n + 1)を持つから、極限順序数である。
順序数に関するフォンノイマンの定義(英語版)を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。このとき、空でない順序数の集合が最大元を持たないならば、その和集合は常に極限順序数になる[1]。フォンノイマン基数割り当て(英語版)を用いれば、任意の無限基数もまた極限順序数となる。