Чётные и нечётные порядковые числа

В математике четные и нечетные ординалы расширяют концепцию четности с натуральных чисел на ординалы . Они полезны в некоторых доказательствах трансфинитной индукции .

В литературе имеется несколько эквивалентных определений четности порядкового числа α:

• Каждый предельный ординал (включая 0) четный. Последующий за четным ординалом — нечетный, и наоборот. ^{[1] [2]}
• Пусть α = λ + n , где λ — предельный ординал, а n — натуральное число. Четность α равна четности n . ^[3]
• Пусть n — конечный член нормальной формы Кантора для α. Четность α — это четность n . ^[4]
• Пусть α = ωβ + n , где n — натуральное число. Четность α равна четности n . ^[5]
• Если α = 2β, то α четное. В противном случае α = 2β + 1 и α нечетное. ^{[5] [6]}

В отличие от случая четных целых чисел , нельзя продолжать характеризовать четные ординалы как ординальные числа вида β2 = β + β. Порядковое умножение не коммутативно, поэтому в общем случае 2β ≠ β2. Фактически, четное ординал ω + 4 не может быть выражено как β + β, а порядковое число

(ω + 3)2 = (ω + 3) + (ω + 3) = ω + (3 + ω) + 3 = ω + ω + 3 = ω2 + 3

не четный.

Простым применением ординальной четности является закон идемпотентности для кардинального сложения (при условии теоремы о полном упорядочении ). При наличии бесконечного кардинального числа κ или, в общем случае, любого предельного ординального числа κ, κ изоморфно по порядку как своему подмножеству четных ординалов, так и своему подмножеству нечетных ординалов. Следовательно, имеем кардинальную сумму κ + κ = κ. ^{[2] [7]}

Ссылки

1. Брукнер, Эндрю М.; Джудит Б. Брукнер и Брайан С. Томсон (1997). Реальный анализ . стр. 37. ISBN 0-13-458886-X.
2. Salzmann, H., T. Grundhöfer, H. Hähl, and R. Löwen (2007). Классические поля: структурные особенности действительных и рациональных чисел. Cambridge University Press. стр. 168. ISBN 978-0-521-86516-6.{{cite book}}: CS1 maint: несколько имен: список авторов ( ссылка )
3. Форан, Джеймс (1991). Основы реального анализа. CRC Press. С. 110. ISBN 0-8247-8453-7.
4. Харцхейм, Эгберт (2005). Упорядоченные множества . Springer. С. 296. ISBN 0-387-24219-8.
5. Kamke, Erich (1950). Теория множеств . Courier Dover. стр. 96. ISBN 0-486-60141-2.
6. Хаусдорф, Феликс (1978). Теория множеств . Американское математическое общество. стр. 99. ISBN 0-8284-0119-5.
7. Ройтман, Джудит (1990). Введение в современную теорию множеств . Wiley-IEEE. С. 88. ISBN 0-471-63519-7.