Мощность множества¶

Мощность множества — это обобщение понятия количества элементов на произвольные множества, включая бесконечные. В теории множеств мощность (или кардинальное число) множества \( A \) обозначается \( |A| \), \( \overline{\overline{A}} \) или \( \text{card}(A) \). Два множества называются равномощными, если между ними существует биекция (взаимно однозначное соответствие). Мощность является фундаментальной характеристикой множества, позволяющей сравнивать размеры множеств, не прибегая к подсчёту элементов.

¶История

Понятие мощности было введено в конце XIX века немецким математиком Георгом Кантором, основателем теории множеств. До Кантора математики оперировали только конечными множествами, для которых количество элементов выражалось натуральным числом. Кантор первым систематически исследовал бесконечные множества, предложив сравнивать их через биекции. В 1874 году он доказал, что множество вещественных чисел \( \mathbb{R} \) не равномощно множеству натуральных чисел \( \mathbb{N} \), то есть существует бесконечность разных «размеров». Это открытие привело к созданию иерархии бесконечностей — кардинальных чисел.

Кантор также ввёл обозначение \( \aleph_0 \) (алеф-нуль) для мощности счётных множеств (например, \( \mathbb{N} \), \( \mathbb{Z} \), \( \mathbb{Q} \)) и \( \mathfrak{c} \) (континуум) для мощности \( \mathbb{R} \). Позднее, в начале XX века, работы Фреге, Рассела и Цермело уточнили аксиоматические основы теории множеств, что позволило строго определить кардинальные числа в рамках аксиоматики Цермело — Френкеля (ZF) с аксиомой выбора (ZFC).

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

¶Равномощность и кардинальное число

Множества \( A \) и \( B \) называются равномощными (обозначение: \( A \sim B \)), если существует биекция \( f: A \to B \). Это отношение является эквивалентностью: оно рефлексивно, симметрично и транзитивно. Класс эквивалентности по этому отношению называется кардинальным числом (или мощностью) множества. Для конечных множеств кардинальное число совпадает с количеством элементов (натуральным числом). Для бесконечных множеств кардинальные числа называются трансфинитными.

¶Сравнение мощностей

Для двух множеств \( A \) и \( B \) говорят, что \( |A| \leq |B| \), если существует инъекция \( f: A \to B \). Если \( |A| \leq |B| \) и \( |A| \neq |B| \), то \( |A| < |B| \). Теорема Кантора — Бернштейна утверждает, что если \( |A| \leq |B| \) и \( |B| \leq |A| \), то \( |A| = |B| \). Это позволяет сравнивать любые два множества (при условии аксиомы выбора).

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

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

• \( |A| + |B| = |A \cup B| \), если \( A \) и \( B \) не пересекаются.
• \( |A| \cdot |B| = |A \times B| \) (декартово произведение).
• \( |A|^{|B|} = |A^B| \), где \( A^B \) — множество всех функций из \( B \) в \( A \).

Для бесконечных кардиналов эти операции тривиальны: если \( \kappa \) и \( \lambda \) — бесконечные кардиналы, то \( \kappa + \lambda = \kappa \cdot \lambda = \max(\kappa, \lambda) \). Однако возведение в степень ведёт себя сложнее: например, \( 2^{\aleph_0} = \mathfrak{c} \), где \( \mathfrak{c} \) — мощность континуума.

¶Классификация мощностей

¶Конечные мощности

Мощность конечного множества равна количеству его элементов. Натуральные числа \( 0, 1, 2, \dots \) являются кардинальными числами конечных множеств. Например, \( |\{a, b, c\}| = 3 \).

¶Счётные мощности

Счётное множество — это множество, равномощное множеству натуральных чисел \( \mathbb{N} \). Его мощность обозначается \( \aleph_0 \) (алеф-нуль). Примеры счётных множеств:

• Целые числа \( \mathbb{Z} \).
• Рациональные числа \( \mathbb{Q} \).
• Множество всех конечных последовательностей натуральных чисел.
• Множество всех алгебраических чисел.

Счётные множества являются наименьшими бесконечными множествами. Любое бесконечное подмножество счётного множества также счётно. Объединение счётного числа счётных множеств счётно.

¶Мощность континуума

Континуум — это мощность множества вещественных чисел \( \mathbb{R} \), обозначаемая \( \mathfrak{c} \) или \( 2^{\aleph_0} \). Кантор доказал, что \( \mathfrak{c} > \aleph_0 \), используя диагональный метод. Примеры множеств мощности континуума:

• Все точки отрезка \( [0, 1] \).
• Множество иррациональных чисел.
• Множество всех бесконечных последовательностей из 0 и 1.
• Множество всех подмножеств натуральных чисел \( \mathcal{P}(\mathbb{N}) \).
• Евклидово пространство \( \mathbb{R}^n \) для любого \( n \).

¶Более высокие мощности

По теореме Кантора, для любого множества \( A \) мощность его булеана (множества всех подмножеств) \( \mathcal{P}(A) \) строго больше мощности \( A \): \( |\mathcal{P}(A)| > |A| \). Таким образом, можно построить бесконечную иерархию кардиналов: \[ \aleph_0 < \aleph_1 < \aleph_2 < \dots < \aleph_\omega < \dots \] Здесь \( \aleph_1 \) — наименьший несчётный кардинал, \( \aleph_2 \) — следующий и т.д. Континуум-гипотеза (Кантор, 1878) утверждает, что \( \mathfrak{c} = \aleph_1 \), то есть не существует множества мощности строго между \( \aleph_0 \) и \( \mathfrak{c} \). В 1963 году Пол Коэн доказал, что континуум-гипотеза не зависит от аксиом ZFC (она не может быть ни доказана, ни опровергнута в рамках стандартной теории множеств).

¶Применение и значение

¶В математике

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

• Топология: мощность определяет размерность некоторых пространств; например, канторово множество имеет мощность континуума, но нулевую размерность.
• Функциональный анализ: мощность базиса гильбертова пространства может быть бесконечной; например, пространство \( L^2[0,1] \) имеет счётный базис.
• Теория меры: мощность множества влияет на его измеримость; существуют неизмеримые по Лебегу множества мощности континуума.
• Алгебра: мощность группы или поля определяет их структуру; например, поле \( \mathbb{R} \) имеет мощность континуума, а поле \( \mathbb{Q} \) — счётную.

¶В теории вычислимости

Мощность множества алгоритмически разрешимых задач ограничена: существует лишь счётное число алгоритмов, в то время как множество всех функций из \( \mathbb{N} \) в \( \mathbb{N} \) имеет мощность континуума. Это приводит к существованию невычислимых функций.

¶В философии

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

¶Примеры

¶Пример 1: Счётность множества рациональных чисел

Множество \( \mathbb{Q} \) счётно. Доказательство: можно построить биекцию между \( \mathbb{Q} \) и \( \mathbb{N} \), например, нумеруя дроби по диагональной схеме Кантора. Это показывает, что \( |\mathbb{Q}| = \aleph_0 \), хотя \( \mathbb{Q} \) плотно в \( \mathbb{R} \) и кажется «большим».

¶Пример 2: Несчётность отрезка \( [0, 1] \)

Кантор доказал, что отрезок \( [0, 1] \) несчётен. Предположим, что все числа из \( [0, 1] \) можно перечислить в последовательность \( x_1, x_2, \dots \). Запишем их в десятичной записи и построим число \( y \), у которого \( n \)-й десятичный знак отличается от \( n \)-го знака \( x_n \). Тогда \( y \) не входит в исходную последовательность — противоречие. Следовательно, \( |[0, 1]| = \mathfrak{c} > \aleph_0 \).

¶Пример 3: Мощность булеана

Для множества \( \mathbb{N} \) его булеан \( \mathcal{P}(\mathbb{N}) \) имеет мощность \( 2^{\aleph_0} = \mathfrak{c} \). Это можно показать, сопоставив каждому подмножеству \( S \subseteq \mathbb{N} \) характеристическую функцию \( \chi_S: \mathbb{N} \to \{0, 1\} \), которая является бесконечной двоичной последовательностью. Множество таких функций равномощно \( \mathbb{R} \).

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

• Существуют множества, мощность которых не может быть определена в рамках ZFC без дополнительных аксиом. Например, множество всех функций из \( \mathbb{R} \) в \( \mathbb{R} \) имеет мощность \( \mathfrak{c}^\mathfrak{c} = 2^{\mathfrak{c}} \), которая больше континуума.
• Парадокс Рассела (1901) показал, что наивное понятие «множества всех множеств» приводит к противоречию, так как его мощность была бы максимальной, но теорема Кантора запрещает максимальное кардинальное число.
• В аксиоматической теории множеств кардинальные числа определяются как начальные ординалы — наименьшие ординалы данной мощности. Например, \( \aleph_0 \) соответствует ординалу \( \omega \), а \( \aleph_1 \) — ординалу \( \omega_1 \).

¶Источники

• Кантор Г. «Труды по теории множеств». — М.: Наука, 1985.
• Колмогоров А. Н., Драгалин А. Г. «Введение в математическую логику». — М.: МГУ, 1982.
• Ефимов Б. А. «Мощность множества» // Математическая энциклопедия. — М.: Советская энциклопедия, 1982. — Т. 3.
• Jech T. «Set Theory». — Springer, 2003.