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

Кардинальное число — это математическое понятие, используемое для обозначения мощности (количества элементов) множества. В теории множеств кардинальные числа обобщают понятие натурального числа для бесконечных множеств, позволяя сравнивать их размеры. Кардинальное число множества A обычно обозначается как |A|, card(A) или #A. Два множества имеют одинаковое кардинальное число, если между ними существует биекция (взаимно однозначное соответствие).

¶История развития понятия

¶Доканторовский период

Идея сравнения множеств по количеству элементов восходит к древности. Аристотель различал актуальную и потенциальную бесконечность, но не рассматривал возможность сравнения размеров бесконечных множеств. В Средние века схоласты, такие как Григорий Римини, обсуждали парадоксы бесконечности, но систематической теории не создали.

¶Работы Георга Кантора

Современное понятие кардинального числа было разработано немецким математиком Георгом Кантором в 1870–1890-х годах. Кантор ввёл строгое определение мощности множества через биекции и показал, что бесконечные множества могут иметь разные мощности. В 1874 году он доказал, что множество действительных чисел несчётно (его мощность больше, чем мощность натуральных чисел), что стало революционным открытием. Кантор также ввёл обозначения для кардинальных чисел: ℵ₀ (алеф-нуль) для мощности счётных множеств и ℵ₁, ℵ₂ и т.д. для следующих мощностей.

¶Аксиоматизация

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

¶Определение и основные свойства

¶Формальное определение

В аксиоматической теории множеств кардинальное число — это ординальное число κ, которое не равномощно никакому меньшему ординалу. Иными словами, κ — это наименьший ординал среди всех ординалов данной мощности. Для конечных множеств кардинальные числа совпадают с натуральными числами: 0, 1, 2, 3, … . Для бесконечных множеств используются алефы: ℵ₀, ℵ₁, ℵ₂, … .

¶Сравнение кардинальных чисел

Для кардинальных чисел определено отношение порядка: κ ≤ λ, если существует инъекция из множества мощности κ во множество мощности λ. По теореме Кантора — Бернштейна, если κ ≤ λ и λ ≤ κ, то κ = λ. Для любых двух кардинальных чисел κ и λ выполняется либо κ ≤ λ, либо λ ≤ κ (это утверждение эквивалентно аксиоме выбора).

¶Арифметика кардинальных чисел

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

• Сложение: κ + λ = |A ∪ B|, где A и B — непересекающиеся множества мощностей κ и λ.
• Умножение: κ · λ = |A × B|, где A и B — множества мощностей κ и λ.
• Возведение в степень: κ^λ = |B^A|, где B^A — множество всех функций из A в B (A имеет мощность λ, B — κ).

Для бесконечных кардинальных чисел арифметика существенно упрощается при условии аксиомы выбора:

• Если κ и λ — бесконечные кардиналы, то κ + λ = κ · λ = max(κ, λ).
• Возведение в степень ведёт себя сложнее. Например, 2^ℵ₀ — это мощность континуума (множества действительных чисел). Значение 2^ℵ₀ может быть различным в разных моделях теории множеств; оно не определяется аксиомами ZFC.

¶Классификация кардинальных чисел

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

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

¶Счётные кардиналы

Счётным называется множество, равномощное множеству натуральных чисел N. Его мощность обозначается ℵ₀ (читается «алеф-нуль»). Примеры счётных множеств: целые числа, рациональные числа, алгебраические числа.

¶Несчётные кардиналы

Множества, мощность которых больше ℵ₀, называются несчётными. Наименьший несчётный кардинал — ℵ₁. Мощность континуума (множества действительных чисел) обозначается c или 2^ℵ₀. Вопрос о том, равно ли c = ℵ₁, составляет содержание континуум-гипотезы. Континуум-гипотеза не может быть ни доказана, ни опровергнута в рамках ZFC (теорема Коэна, 1963).

¶Регулярные и сингулярные кардиналы

Бесконечный кардинал κ называется регулярным, если его конфинальность cf(κ) равна κ. Иными словами, κ нельзя представить как объединение менее чем κ множеств, каждое из которых имеет мощность меньше κ. В противном случае κ называется сингулярным. Например, ℵ₀ регулярен, ℵ₁ регулярен, а ℵ_ω (предел последовательности ℵ₀, ℵ₁, ℵ₂, …) сингулярен, так как его конфинальность равна ℵ₀.

¶Недостижимые кардиналы

Большие кардиналы — это кардиналы, существование которых не доказуемо в ZFC. Примером служат недостижимые кардиналы: несчётные регулярные кардиналы, являющиеся предельными (т.е. не являющиеся кардиналами-последователями). Их существование предполагает аксиому недостижимости, которая усиливает ZFC.

¶Применение кардинальных чисел

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

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

¶В топологии

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

¶В теории меры

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

¶В алгебре

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

¶Парадоксы и ограничения

¶Парадокс Кантора

Парадокс Кантора заключается в том, что не существует наибольшего кардинального числа. Для любого множества A его булеан P(A) имеет строго большую мощность. Если бы существовало множество всех множеств, то его мощность была бы максимальной, что противоречит теореме Кантора. Этот парадокс привёл к необходимости аксиоматизации теории множеств.

¶Парадокс Бурали-Форти

Парадокс Бурали-Форти (1897) показывает, что не существует множества всех ординальных чисел, так как оно было бы вполне упорядочено и содержало бы ординал, больший самого себя. Поскольку кардинальные числа определяются как ординалы, это ограничение распространяется и на них.

¶Континуум-гипотеза

Континуум-гипотеза (CH) утверждает, что не существует множества, мощность которого строго больше ℵ₀ и строго меньше c. Гипотеза была сформулирована Кантором в 1878 году. В 1940 году Курт Гёдель доказал её непротиворечивость с ZFC, а в 1963 году Пол Коэн — независимость (т.е. ZFC не может ни доказать, ни опровергнуть CH). Обобщённая континуум-гипотеза (GCH) утверждает, что для любого бесконечного кардинала κ не существует кардиналов между κ и 2^κ.

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

• Название «алеф» происходит от первой буквы еврейского алфавита (א). Кантор выбрал её, чтобы подчеркнуть фундаментальность понятия.
• Мощность континуума c = 2^ℵ₀ равна мощности множества всех подмножеств натуральных чисел, мощности множества всех последовательностей действительных чисел, мощности множества всех непрерывных функций на R.
• Существуют кардиналы, которые невозможно достичь, последовательно применяя операции взятия булеана и объединения. Такие кардиналы называются сильно недостижимыми.
• В некоторых моделях ZFC 2^ℵ₀ может быть равна ℵ₁, ℵ₂, ℵ_ω₁ или даже быть сингулярным кардиналом (теорема Истона).

¶Источники

• Кантор Г. Труды по теории множеств. — М.: Наука, 1985.
• Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970.
• Ершов Ю. Л., Палютин Е. А. Математическая логика. — М.: Наука, 1987.
• Jech T. Set Theory. — 3rd ed. — Springer, 2003.
• Halmos P. R. Naive Set Theory. — Springer, 1974.