集合論および順序論における極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は 0 {\displaystyle 0} でも後続順序数でもない順序数を言う。 あるいは、順序数 λ {\displaystyle \lambda } が極限順序数であるための必要十分条件は「 λ {\displaystyle \lambda } より小さい順序数が存在して、順序数 β {\displaystyle \beta } が λ {\displaystyle \lambda } より小さい限り別の順序数 γ {\displaystyle \gamma } が存在して β < γ < λ {\displaystyle \beta <\gamma <\lambda } とできることである」と言ってもよい。
集合論および順序論における極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は 0 {\displaystyle 0} でも後続順序数でもない順序数を言う。 あるいは、順序数 λ {\displaystyle \lambda } が極限順序数であるための必要十分条件は「 λ {\displaystyle \lambda } より小さい順序数が存在して、順序数 β {\displaystyle \beta } が λ {\displaystyle \lambda } より小さい限り別の順序数 γ {\displaystyle \gamma } が存在して β < γ < λ {\displaystyle \beta <\gamma <\lambda } とできることである」と言ってもよい。
出典: Wikipedia「極限順序数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky