"Математика: алгебра и начала математического анализа, геометрия. Алгебра и начала математического анализа (углублённый уровень)", Пратусевич М.Я., Столбов К.М., Головин А.Н.
Мощность множества описывает, сколько в нём элементов, причём для бесконечных множеств обычный подсчёт не подходит. Множества сравнивают с помощью взаимно однозначного соответствия: если каждый элемент одного множества можно единственным образом сопоставить элементу другого, множества равномощны. Натуральные, целые и рациональные числа счётны, а действительные числа имеют большую мощность — мощность континуума.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Мощность множества — характеристика количества его элементов, которую определяют через возможность установить взаимно однозначное соответствие с другим множеством. Для конечных множеств это привычное число элементов, а для бесконечных такой подход позволяет сравнивать множества без пересчёта. Мощность часто обозначают символом |A| для множества A.
Равномощные множества — множества, между которыми существует взаимно однозначное соответствие, то есть биекция. Биекция каждому элементу первого множества ставит в соответствие ровно один элемент второго, и наоборот. Поэтому равномощность означает одинаковый размер множеств в смысле теории множеств.
Счётное множество — бесконечное множество, элементы которого можно занумеровать натуральными числами. Иными словами, его можно представить в виде последовательности a₁, a₂, a₃ и так далее, не пропустив ни одного элемента. Это понятие отличают от конечности: счётное множество бесконечно, но его элементы можно перечислять.
Мощность континуума — мощность множества действительных чисел ℝ. Она больше мощности любого счётного множества, поэтому все действительные числа невозможно расположить в полном списке с натуральными номерами. Такое сравнение показывает, что бесконечности бывают разного размера.
Для сравнения мощностей используют биекцию, потому что при таком соответствии не возникает ни пропусков, ни повторений. Если одному элементу первого множества соответствуют два элемента второго, часть второго множества остаётся без пары. Если некоторый элемент не получил пары, соответствие также не охватывает всё множество.
Для конечного множества мощность определяется обычным подсчётом: у множества из n элементов мощность равна n. Два конечных множества равномощны тогда и только тогда, когда в каждом из них одинаковое число элементов. Действительно, при попарном сопоставлении после использования всех элементов одной группы элементы другой закончатся одновременно.
Бесконечное множество может быть равномощно своему собственному подмножеству, потому что бесконечный список можно сдвинуть. Например, отображение n ↦ 2n сопоставляет натуральным числам 1, 2, 3 и так далее числа 2, 4, 6 и так далее. Каждый результат чётный, каждое чётное число получается ровно один раз, хотя нечётные числа в подмножестве отсутствуют.
Целые числа счётны, поскольку их можно расположить в последовательности 0, 1, −1, 2, −2, 3, −3 и так далее. Здесь каждое целое число появляется на некотором конечном месте: положительное число k стоит после −k, а отрицательное −k — рядом с ним. Значит, каждому целому можно присвоить натуральный номер, а по номеру восстановить число.
Рациональные числа имеют вид a⁄b, где a — целое число, а b — натуральное число. Их можно записать в таблицу: в строках разместить возможные числители, а в столбцах — знаменатели, после чего просматривать таблицу по диагоналям. Повторяющиеся дроби, например 1⁄2 и 2⁄4, пропускают, поэтому все рациональные числа получают номера и множество ℚ оказывается счётным.
Действительные числа отрезка [0; 1] несчётны из-за диагонального метода Кантора. Если предположить, что все они занумерованы, и изменить первую цифру первого числа, вторую цифру второго, третью цифру третьего и так далее, получится число, отличающееся от каждого записанного хотя бы в одной цифре. Следовательно, предполагаемый список не может содержать все числа, а значит, полной нумерации действительных чисел не существует.
В таблице сравниваются основные числовые множества и указано, почему их мощности именно таковы. При чтении сначала определите тип множества, затем посмотрите, можно ли перечислить его элементы или требуется диагональное доказательство. Символ ℵ₀ обозначает мощность счётного множества, а c — мощность континуума.
| Множество | Тип множества | Мощность | Способ обоснования |
|---|---|---|---|
| Натуральные числа ℕ | Бесконечное счётное | ℵ₀ | Элементы уже занумерованы: 1, 2, 3 и так далее |
| Целые числа ℤ | Бесконечное счётное | ℵ₀ | Нумерация 0, 1, −1, 2, −2 и так далее |
| Рациональные числа ℚ | Бесконечное счётное | ℵ₀ | Перечисление дробей по диагоналям с удалением повторов |
| Действительные числа ℝ | Бесконечное несчётное | c | Диагональный метод Кантора |
| Множество чётных натуральных чисел | Бесконечное счётное | ℵ₀ | Биекция n ↦ 2n с множеством ℕ |
| Конечное множество из n элементов | Конечное | n | Прямой подсчёт элементов |
Установить, равномощны ли множества A = {1, 2, 3, 4} и B = {а, б, в, г}, и задать соответствие. Нужно не просто заметить одинаковое количество записей, а построить биекцию между множествами.
Ответ: множества равномощны; биекция задана парами (1, а), (2, б), (3, в), (4, г). Их мощность равна 4.
Доказать счётность множества целых чисел ℤ. Требуется составить последовательность, в которой появится каждое целое число и ни одно число не будет записано дважды.
Ответ: ℤ счётно, потому что его элементы можно занумеровать натуральными числами. При необходимости формулу нумерации можно записать так: 0 получает номер 1, число k > 0 — номер 2k, а число −k — номер 2k + 1.
Доказать, что множество действительных чисел отрезка [0; 1] несчётно. Предположим противоположное: все числа можно записать списком x₁, x₂, x₃ и так далее, используя десятичные записи без неоднозначности вида 0,4999… = 0,5000….
Ответ: предположение о полной нумерации приводит к противоречию. Значит, отрезок [0; 1], а вместе с ним и множество ℝ, несчётен.
Считать, что собственное подмножество бесконечного множества всегда имеет меньшую мощность. Так происходит с конечными множествами, поэтому это правило ошибочно переносят на бесконечные. Проверяйте себя построением биекции: n ↦ 2n доказывает равномощность ℕ и чётных чисел.
Путать счётность с конечностью. Счётное множество может быть бесконечным: натуральные, целые и рациональные числа имеют мощность ℵ₀. Если элементы можно занумеровать всеми натуральными числами и список не заканчивается, множество счётное, но не конечное.
Доказывать равномощность только совпадением обозначений или формул. Одинаковый вид записи ещё не показывает, что соответствие охватывает оба множества без повторов. Нужно явно указать правило и проверить однозначность в обе стороны.
Утверждать, что любое бесконечное множество счётно. Бесконечность означает лишь отсутствие последнего элемента, но не возможность нумерации натуральными числами. Диагональный метод Кантора показывает, что действительные числа нельзя полностью перечислить.
До изучения мощности нужны понятия множества, подмножества и отображения, а также инъекции, сюръекции и биекции. Эти знания позволяют точно проверять соответствие элементов.
Тема связана с комбинаторикой и теорией вероятностей, где сравнивают наборы объектов и множества исходов. В математическом анализе мощность помогает различать множества решений уравнений, функций и других объектов.
Понимание разных размеров бесконечности готовит к изучению теории множеств и свойств числовых систем. Оно объясняет, почему рациональные числа можно перечислить, а действительные — нет.
Почему множество чётных чисел не меньше множества натуральных чисел, если оно является его частью?
Для бесконечных множеств включение в другое множество не означает меньшую мощность. Биекция n ↔ 2n сопоставляет каждому натуральному числу единственное чётное и охватывает все чётные числа.
Как на практике построить взаимно однозначное соответствие между двумя множествами?
Нужно задать правило, по которому каждому элементу первого множества ставится в соответствие один элемент второго. Затем проверяют, что разные элементы не переходят в один и тот же, а каждый элемент второго множества получается.
Почему рациональные числа счётны, хотя между любыми двумя числами есть бесконечно много рациональных чисел?
Счётность означает возможность перечислить все элементы по одному, а не отсутствие бесконечных промежутков между ними. Рациональные числа можно расположить в таблице дробей и последовательно просматривать диагонали, пропуская повторы.
В чём состоит диагональный метод Кантора?
Предполагают, что все числа отрезка [0; 1] уже занумерованы. Затем строят новое число, у которого цифра на n-м месте отличается от n-й цифры n-го числа; оно не совпадает ни с одним числом списка, значит, полной нумерации не существует.
Существуют ли бесконечные множества с мощностью, большей, чем мощность множества действительных чисел?
Да. Например, по теореме Кантора множество всех подмножеств любого множества имеет большую мощность, чем само множество. Поэтому у множества действительных чисел также есть множества большей мощности.
§ 7. Мощность множеств
