Порядковое число¶

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

¶История

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

В начале XX века Эрнст Цермело и Джон фон Нейман уточнили формальное определение. Фон Нейман в 1923 году предложил современное представление, в котором каждое порядковое число отождествляется с множеством всех меньших порядковых чисел. Это позволило строить иерархию ординалов в рамках аксиоматической теории множеств, избегая парадоксов, таких как парадокс Бурали-Форти.

¶Определение в теории множеств

В аксиоматике Цермело — Френкеля порядковое число определяется как транзитивное множество, вполне упорядоченное отношением принадлежности ∈. Формально:

• Множество α называется порядковым числом, если:

1. α транзитивно: для любых x ∈ α и y ∈ x следует y ∈ α.
2. α вполне упорядочено отношением ∈: для любого непустого подмножества β ⊆ α существует наименьший элемент относительно ∈.

Это определение обеспечивает, что каждое порядковое число является множеством, элементы которого также являются порядковыми числами, и что отношение порядка совпадает с отношением принадлежности. Например, наименьшие порядковые числа:

• 0 = ∅ (пустое множество).
• 1 = {0} = {∅}.
• 2 = {0, 1} = {∅, {∅}}.
• 3 = {0, 1, 2} = {∅, {∅}, {∅, {∅}}}.

Таким образом, натуральные числа отождествляются с конечными порядковыми числами. Первое бесконечное порядковое число — ω = {0, 1, 2, 3, …} — множество всех конечных порядковых чисел.

¶Классификация порядковых чисел

¶Конечные порядковые числа

Конечные порядковые числа (натуральные числа) соответствуют типам порядка конечных вполне упорядоченных множеств. Для любого натурального n существует ровно один тип порядка — n-элементное множество с естественным порядком. Арифметика конечных ординалов совпадает с обычной арифметикой натуральных чисел.

¶Предельные порядковые числа

Порядковое число λ называется предельным, если оно не равно нулю и не имеет непосредственного предшественника, то есть для любого β < λ существует γ такое, что β < γ < λ. Примеры:

• ω — первое предельное порядковое число.
• ω·2 = ω + ω — второе предельное число.
• ω², ω^ω, ε₀ (эпсилон-нуль) — более крупные предельные ординалы.

¶Изолированные порядковые числа

Порядковое число, имеющее непосредственного предшественника, называется изолированным (или непредельным). Например, 1, 2, 3, …, ω+1, ω+2 — все, кроме 0 и предельных чисел.

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

• Счётные порядковые числа — те, мощность которых не превышает ℵ₀ (счётная бесконечность). К ним относятся все конечные числа, ω, ω+1, …, ω·2, …, ω^ω, …, ε₀ и многие другие. Множество всех счётных порядковых чисел имеет мощность ℵ₁.
• Несчётные порядковые числа начинаются с ω₁ — первого несчётного порядкового числа, мощность которого равна ℵ₁. Далее следуют ω₂, ω₃ и так далее, вплоть до недостижимых кардиналов.

¶Арифметика порядковых чисел

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

¶Сложение

Сложение порядковых чисел α и β определяется как тип порядка множества α ∪ β, где все элементы α предшествуют всем элементам β. Рекурсивно:

• α + 0 = α.
• α + (β+1) = (α+β) + 1.
• Для предельного λ: α + λ = sup{α + β : β < λ}.

Примеры:

• 1 + ω = ω (так как добавление одного элемента в начало бесконечного ряда не меняет тип порядка).
• ω + 1 > ω (добавление элемента в конец даёт новый тип порядка ω+1).

¶Умножение

Умножение α · β соответствует типу порядка β копий α, расположенных последовательно. Рекурсивно:

• α · 0 = 0.
• α · (β+1) = (α·β) + α.
• Для предельного λ: α · λ = sup{α · β : β < λ}.

Примеры:

• 2 · ω = ω (две копии ω, расположенные последовательно, дают ω).
• ω · 2 = ω + ω > ω.

¶Возведение в степень

Возведение в степень α^β определяется рекурсивно:

• α^0 = 1.
• α^(β+1) = α^β · α.
• Для предельного λ: α^λ = sup{α^β : β < λ}.

Примеры:

• ω^ω — счётное порядковое число, большее ω·ω.
• ε₀ = ω^ε₀ — наименьшее решение уравнения ε = ω^ε.

¶Применение в математике

¶Теория множеств

Порядковые числа являются фундаментальным инструментом в теории множеств. Они используются для:

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

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

Трансфинитная индукция позволяет доказывать утверждения для всех порядковых чисел, проверяя базу (0), шаг для изолированных чисел и шаг для предельных чисел. Трансфинитная рекурсия определяет функции на классе ординалов, задавая значение на каждом этапе через значения на предыдущих.

¶Анализ и топология

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

¶Теория доказательств

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

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

• Множество всех порядковых чисел не является множеством в ZF, а образует собственный класс, что предотвращает парадокс Бурали-Форти.
• Наименьшее бесконечное порядковое число ω (омега) обозначается греческой буквой, введённой Кантором.
• Порядковые числа до ω₁ называются счётными, но их количество несчётно — мощность множества всех счётных ординалов равна ℵ₁.
• В арифметике ординалов сложение и умножение не коммутативны: 1+ω = ω, но ω+1 ≠ ω; 2·ω = ω, но ω·2 ≠ ω.
• Существуют порядковые числа, которые являются неподвижными точками для различных операций, например, ε₀ для возведения в степень.

¶Критика и альтернативные подходы

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

¶Источники

• Кантор Г. Труды по теории множеств. — М.: Наука, 1985.
• Френкель А., Бар-Хиллел И. Основания теории множеств. — М.: Мир, 1966.
• Йех Т. Теория множеств. — М.: Мир, 1973.
• Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.