Ординальное число¶

Ординальное число (порядковое число, трансфинитное число) — это в теории множеств обобщение понятия натурального числа для описания позиции элемента в упорядоченном множестве, а также для характеристики типов вполне упорядоченных множеств. В отличие от кардинальных чисел, которые описывают размер (мощность) множества, ординальные числа описывают порядок и структуру. Каждое ординальное число представляет собой класс эквивалентности всех вполне упорядоченных множеств, изоморфных друг другу по порядку. Ординальные числа являются фундаментальным понятием в теории множеств, математической логике и основаниях математики, позволяя продолжать счёт за пределы всех натуральных чисел.

¶История

Понятие ординального числа было введено в конце XIX века немецким математиком Георгом Кантором, основателем теории множеств. В 1883 году Кантор опубликовал работу «Основы общего учения о многообразиях», в которой впервые сформулировал идею трансфинитных чисел. Он стремился классифицировать бесконечные множества не только по их мощности (кардинальности), но и по типу упорядочения. Кантор определил ординальные числа как порядковые типы вполне упорядоченных множеств.

Первоначально Кантор использовал обозначения вроде ω, ω+1, ω+2 и т. д., где ω — первое бесконечное ординальное число, соответствующее натуральному ряду. Впоследствии, в начале XX века, Джон фон Нейман предложил современное определение ординального числа как транзитивного множества, все элементы которого также транзитивны. Это определение, известное как «ординалы фон Неймана», стало стандартным в аксиоматической теории множеств (например, в системе ZFC).

¶Определение

В современной теории множеств ординальное число определяется как транзитивное множество, все элементы которого также транзитивны. Формально, множество α называется ординальным числом, если:

1. Оно транзитивно: для любого x ∈ α и любого y ∈ x следует, что y ∈ α.
2. Оно вполне упорядочено отношением ∈ (принадлежности).

Таким образом, каждое ординальное число представляет собой множество, которое содержит все меньшие ординальные числа. Например:

• 0 = ∅ (пустое множество)
• 1 = {0} = {∅}
• 2 = {0, 1} = {∅, {∅}}
• 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}
• ...
• ω = {0, 1, 2, 3, ...} — первое бесконечное ординальное число, множество всех натуральных чисел.

¶Классификация

Ординальные числа делятся на два основных класса:

¶Конечные ординальные числа

Конечные ординальные числа — это натуральные числа, включая ноль. Каждое конечное ординальное число соответствует конечному вполне упорядоченному множеству. Например, 0, 1, 2, 3, … — это все конечные ординалы.

¶Трансфинитные ординальные числа

Трансфинитные ординальные числа — это бесконечные ординалы, которые следуют за всеми натуральными числами. Первое трансфинитное ординальное число обозначается ω (омега). Далее идут ω+1, ω+2, …, ω+ω (или ω·2), ω·2+1, …, ω·ω (или ω²), и так далее. Трансфинитные ординалы образуют иерархию, которая не имеет верхней границы.

¶Предельные и непредельные ординалы

• Непредельные (изолированные) ординалы — это ординалы, имеющие непосредственного предшественника. Например, 1, 2, 3, ω+1, ω+2 и т. д. Для любого непредельного ординала α существует ординал β, такой что α = β ∪ {β}.
• Предельные ординалы — это ординалы, не имеющие непосредственного предшественника. К ним относятся 0 (по соглашению), ω, ω·2, ω² и т. д. Предельный ординал — это такой ординал λ, что для любого β < λ существует γ, такой что β < γ < λ.

¶Свойства

¶Порядок

Ординальные числа образуют вполне упорядоченный класс. Это означает, что для любых двух ординалов α и β выполняется одно из трёх: α < β, α = β или α > β. Отношение порядка определяется как принадлежность: α < β тогда и только тогда, когда α ∈ β.

¶Арифметика

Над ординальными числами определены операции сложения, умножения и возведения в степень, которые обобщают соответствующие операции над натуральными числами. Однако эти операции не коммутативны для бесконечных ординалов.

• Сложение: α + β определяется как порядковый тип множества, полученного объединением копии α и копии β, где все элементы α предшествуют всем элементам β. Например, 1 + ω = ω, но ω + 1 ≠ ω (ω + 1 — это ординал, следующий за ω).
• Умножение: α · β — это порядковый тип множества, полученного заменой каждого элемента β на копию α. Например, 2 · ω = ω, но ω · 2 = ω + ω.
• Возведение в степень: α^β определяется рекурсивно, с использованием предельных переходов.

¶Трансфинитная индукция

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

¶Применение

¶В теории множеств

Ординальные числа используются для определения порядковых типов множеств, для классификации бесконечных мощностей и для построения иерархий множеств, таких как кумулятивная иерархия фон Неймана. В аксиоматической теории множеств ZFC ординалы служат основой для определения кардинальных чисел (как наименьших ординалов данной мощности).

¶В математической логике

В теории доказательств ординальные числа применяются для измерения «длины» доказательств и для анализа непротиворечивости формальных систем. Например, ординал ε₀ (эпсилон-ноль) используется в доказательстве непротиворечивости арифметики Пеано.

¶В топологии и анализе

Ординальные числа используются в общей топологии для построения примеров пространств с особыми свойствами, например, порядковая топология на ординалах. В анализе они применяются в теории меры и в определении борелевских множеств.

¶В информатике

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

¶Примеры

• 0 = ∅ — наименьшее ординальное число.
• 1 = {0}
• ω = {0, 1, 2, 3, …} — первое бесконечное ординальное число.
• ω+1 = {0, 1, 2, …, ω} — ординал, следующий за ω.
• ω·2 = ω+ω = {0, 1, 2, …, ω, ω+1, ω+2, …}
• ω² = ω·ω — множество всех последовательностей вида ω·a + b, где a, b — натуральные числа.
• ε₀ — наименьший ординал, такой что ω^ε₀ = ε₀. Это предельный ординал, используемый в теории доказательств.

¶Интересные факты

• Ординальные числа образуют собственный класс, а не множество, что следует из парадокса Бурали-Форти: если бы класс всех ординалов был множеством, то он был бы ординалом, большим самого себя, что невозможно.
• Наименьший бесконечный ординал ω соответствует порядковому типу натуральных чисел. Однако существуют бесконечные ординалы, которые не являются счётными, например, первый несчётный ординал ω₁.
• В отличие от кардинальных чисел, арифметика ординалов не является коммутативной: 1 + ω = ω, но ω + 1 ≠ ω.
• Понятие ординального числа тесно связано с понятием трансфинитной рекурсии, которая позволяет определять функции на всех ординалах.

¶Критика и альтернативы

В рамках альтернативных теорий множеств, таких как теория множеств Цермело — Френкеля с аксиомой выбора (ZFC), определение ординалов фон Неймана является стандартным. Однако существуют и другие подходы, например, в теории типов или в конструктивной математике, где ординалы могут определяться иначе. Некоторые математики критикуют использование ординалов за их абстрактность и сложность, однако они остаются незаменимым инструментом в основаниях математики.

¶Источники

1. Кантор Г. Основы общего учения о многообразиях. — 1883.
2. Фон Нейман Дж. К аксиоматике теории множеств. — 1923.
3. Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.
4. Ершов Ю. Л., Палютин Е. А. Математическая логика. — М.: Наука, 1987.
5. Jech T. Set Theory. — Springer, 2003.