Мощность множества
Мощность множества — это способ измерить количество элементов в множестве.
Для конечных множеств всё понятно: если в множестве пять яблок, значит его мощность равна пяти. Но для бесконечных множеств понятие мощности становится сложнее.
Представьте два набора вещей:
- Набор А: Натуральные числа (1, 2, 3, ...)
- Набор Б: Четные натуральные числа (2, 4, 6, ...)
Оба набора бесконечны, но интуитивно кажется, что набор чётных чисел меньше, ведь он пропускает половину всех натуральных чисел. Однако, математика утверждает, что оба множества имеют одинаковую мощность! Почему?
Дело в том, что между элементами обоих множеств можно установить взаимно однозначное соответствие ("каждому элементу одного множества соответствует ровно один элемент другого"):
\(1 \rightarrow 2,\quad 2 \rightarrow 4,\quad 3 \rightarrow 6,\quad \dots \)
Таким образом, говоря простым языком, мощность показывает, насколько одно множество "больше" или "меньше" другого с точки зрения возможности сопоставления каждого элемента одного множества единственному элементу другого. Если удаётся построить такое точное сопоставление, множества считаются равномощными.
Определение мощности
Определение 1. Два множества A и B называются равномощными (обозначается A ∼ B), если существует биекция f: A → B.
Определение 2. Мощностью множества A называется класс всех множеств, равномощных A. Обозначается |A| или card A.
Свойства равномощности:
- Рефлексивность: A ∼ A
- Симметричность: если A ∼ B, то B ∼ A
- Транзитивность: если A ∼ B и B ∼ C, то A ∼ C
Конечные множества:
Множество A называется конечным, если оно равномощно множеству {1, 2, ..., n} для некоторого n ∈ ℕ.
Мощность конечного множества — количество его элементов.
Биекция между конечными множествами
Счётные множества
Определение 3. Множество называется счётным, если оно равномощно множеству натуральных чисел ℕ.
Определение 4. Множество называется не более чем счётным, если оно конечно или счётно.
Теорема 1. Свойства счётных множеств
- Любое бесконечное подмножество счётного множества счётно
- Объединение конечного или счётного числа счётных множеств счётно
- Декартово произведение конечного числа счётных множеств счётно
Диагональный метод Кантора для ℕ × ℕ
Примеры счётных множеств:
- ℕ — натуральные числа
- ℤ — целые числа
- ℚ — рациональные числа
- Множество алгебраических чисел
- Множество всех конечных подмножеств ℕ
Континуум
Определение 5. Множество называется континуальным или имеющим мощность континуума, если оно равномощно множеству действительных чисел ℝ.
Обозначение: |ℝ| = 𝔠 (continuum)
Теорема 2. Кантора
Множество действительных чисел ℝ не равномощно множеству натуральных чисел ℕ.
Доказательство (диагональный метод Кантора):
Предположим, что ℝ счётно. Тогда все действительные числа можно перенумеровать: r₁, r₂, r₃, ...
Запишем каждое число в десятичной записи (бесконечной) и построим новое число x, у которого n-я цифра после запятой отличается от n-й цифры числа rₙ.
Полученное число x не совпадает ни с одним из rₙ — противоречие.
Теорема 3. Кантора-Бернштейна
Если существуют инъекции f: A → B и g: B → A, то A ∼ B.
Теорема устанавливает, что если |A| ≤ |B| и |B| ≤ |A|, то |A| = |B|.
Теорема 4. Кантора
Для любого множества A мощность множества всех его подмножеств P(A) строго больше мощности A:
|A| < |P(A)|
Примеры множеств мощности континуума:
- ℝ — действительные числа
- [0, 1] — отрезок
- (0, 1) — интервал
- Множество иррациональных чисел
- Множество трансцендентных чисел
- ℂ — комплексные числа
- ℝⁿ — n-мерное пространство
Сравнение мощностей
Определение 6. Говорят, что мощность множества A не превосходит мощности множества B (|A| ≤ |B|), если существует инъекция f: A → B.
Определение 7. Мощность множества A строго меньше мощности множества B (|A| < |B|), если |A| ≤ |B| и |A| ≠ |B|.
Теорема 5. О сравнении мощностей
Для любых двух множеств A и B выполняется ровно одно из:
- |A| < |B|
- |A| = |B|
- |B| < |A|
Это утверждение эквивалентно аксиоме выбора.
Иерархия мощностей:
- 0 = |∅|
- 1 = |{a}|
- 2 = |{a, b}|
- ...
- ℵ₀ = |ℕ| (счётная мощность)
- 𝔠 = |ℝ| (мощность континуума)
- 2^𝔠 = |P(ℝ)|
- ...
Иерархия бесконечных мощностей
Арифметика кардинальных чисел
Сложение мощностей
Если A ∩ B = ∅, то |A ∪ B| = |A| + |B|
Свойства:
- κ + λ = λ + κ
- κ + (λ + μ) = (κ + λ) + μ
- κ + 0 = κ
Умножение мощностей
|A × B| = |A| · |B|
Свойства:
- κ · λ = λ · κ
- κ · (λ · μ) = (κ · λ) · μ
- κ · 1 = κ
- κ · 0 = 0
Возведение в степень
|Bᴬ| = |B|^{|A|}, где Bᴬ — множество всех функций f: A → B
Свойства:
- κ^λ · κ^μ = κ^{λ+μ}
- (κ^λ)^μ = κ^{λ·μ}
- (κ·λ)^μ = κ^μ · λ^μ
Примеры для бесконечных мощностей
- ℵ₀ + ℵ₀ = ℵ₀
- ℵ₀ · ℵ₀ = ℵ₀
- n · ℵ₀ = ℵ₀ (n ∈ ℕ)
- 𝔠 + 𝔠 = 𝔠
- 𝔠 · 𝔠 = 𝔠
- 2^{ℵ₀} = 𝔠
Континуум-гипотеза
Проблема континуума
Континуум-гипотеза: Не существует множества, мощность которого строго между мощностью натуральных чисел и мощностью континуума:
∄ X: ℵ₀ < |X| < 𝔠
Результаты:
Курт Гёдель (1940): Континуум-гипотеза не противоречит ZFC
Пол Коэн (1963): Отрицание континуум-гипотезы не противоречит ZFC
Таким образом, континуум-гипотеза независима от аксиом ZFC теории множеств.
Применение теории мощностей
Математический анализ
- Классификация множеств по мере Лебега
- Теория интеграла
- Функциональные пространства
Теория вычислений
- Счётность множества вычислимых функций
- Существование неразрешимых проблем
- Теория алгоритмов
Алгебра и логика
- Мощности полей и колец
- Теория моделей
- Теорема Лёвенгейма-Сколема
Историческая справка
Теория мощностей была создана Георгом Кантором в 1874-1897 годах. Кантор ввёл понятие мощности множества и доказал, что существуют разные "виды" бесконечности.
Диагональный метод Кантора стал одним из важнейших методов в теории множеств и теории вычислений.
Развитие теории мощностей привело к созданию аксиоматической теории множеств и решению проблемы континуума.