Порядковый номер преемника

В теории множеств , последующее число порядкового числа α — это наименьшее порядковое число, большее  α . Порядковое число, являющееся последующим числом, называется последующим порядковым числом . Порядковые числа 1, 2 и 3 являются первыми тремя последующими порядковыми числами, а порядковые числа ω+1, ω+2 и ω+3 являются первыми тремя бесконечными последующими порядковыми числами.

Каждый ординал, отличный от 0, является либо последующим ординалом, либо предельным ординалом . ^[1]

Используя порядковые числа фон Неймана (стандартная модель порядковых чисел, используемая в теории множеств), последующее число S ( α ) порядкового числа α задается формулой ^[1]

${\displaystyle S(\альфа )=\альфа \cup \{\альфа \}.}$

Поскольку порядок порядковых чисел задается соотношением α  <  β тогда и только тогда, когда α  ∈  β , то сразу следует, что между α и S ( α ) нет порядкового числа , и также ясно, что α  <  S ( α ).

Операция наследования может быть использована для строгого определения порядкового сложения посредством трансфинитной рекурсии следующим образом:

${\displaystyle \альфа +0=\альфа \!}$

${\displaystyle \альфа +S(\бета )=S(\альфа +\бета )}$

и для предельного ординала λ

${\displaystyle \альфа +\лямбда =\bigcup _{\бета <\лямбда }(\альфа +\бета )}$

В частности, S ( α ) = α + 1. Умножение и возведение в степень определяются аналогично.

Точки-последователи и ноль являются изолированными точками класса порядковых чисел относительно топологии порядка . ^[2]

• Порядковая арифметика
• Предельный порядковый номер
• Преемник кардинала