Кардинальная и ординальная арифметика

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

Definition

Ординал — это транзитивное множество, вполне упорядоченное по принадлежности, представляющее тип порядка; кардинал — это ординал, который не находится во взаимно однозначном соответствии ни с каким меньшим ординалом, представляющий размер. Их арифметика определяет операции сложения, умножения и возведения в степень, расширяющие конечные операции на трансфинитные.

Scope

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

Core questions

• Как ординалы кодируют каждое вполне упорядочение с точностью до изоморфизма?
• Почему ординальная арифметика некоммутативна, а кардинальная — нет?
• Как складываются, умножаются и возводятся в степень бесконечные кардиналы?
• Какие ограничения накладывают кофинальность и теорема Кёнига на кардинальное возведение в степень?

Key theories

Теорема Кантора

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

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

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

Иерархия алефов и кардинальное возведение в степень

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

Clinical relevance

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

History

Кантор ввел как порядковые, так и кардинальные числа в 1880-х и 1890-х годах, доказав, что действительные числа несчетны и что булеаны строго увеличивают мощность. Определение фон Неймана ординалов как транзитивных множеств, вполне упорядоченных по принадлежности, дало современную формулировку, а Хаусдорф и Кёниг установили ключевые результаты по кардинальному возведению в степень и кофинальности.

Key figures

• Georg Cantor
• John von Neumann
• Felix Hausdorff
• Julius Koenig

Seminal works

• jech2003
• enderton1977
• kunen2011

Frequently asked questions

В чем разница между ординалом и кардиналом?

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

Почему один плюс омега отличается от омега плюс один?

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