"Алгебра. (в 2 частях)", Петерсон Л.Г., Агаханов Н.Х., Петрович А.Ю., Подлипский О.К., Рогатова М.В., Трушин Б.В.
Счётность показывает, можно ли расположить элементы множества в последовательность с номерами 1, 2, 3 и так далее. Натуральные, целые и рациональные числа счётны, хотя некоторые из этих множеств бесконечны. Действительные числа отрезка [0; 1] перечислить нельзя: для любого готового списка найдётся число, которого в нём нет. Эти идеи помогают сравнивать бесконечные множества.
Текст подготовлен нейронной сетью по теме параграфа и не заменяет учебник — важные факты и формулировки сверяйте с ним.
Счётное множество — множество, элементы которого можно занумеровать натуральными числами. Оно может быть конечным или счётно-бесконечным. Это понятие нужно, чтобы проверять, удаётся ли расположить элементы в последовательность с номерами.
Счётно-бесконечное множество — множество, между элементами которого и натуральными числами можно установить взаимно однозначное соответствие. Каждому элементу соответствует один номер, и каждому номеру — один элемент. Такое определение позволяет сравнивать размеры бесконечных множеств.
Перечисление множества — запись его элементов в последовательность, где каждый элемент встречается на некотором месте. Порядок элементов не важен: важно, чтобы ни один элемент не потерялся и не появился как новый объект повторно. Перечисление превращает нумерацию в наглядную запись.
Несчётное множество — множество, элементы которого невозможно занумеровать натуральными числами. Для него нельзя составить последовательность, содержащую все элементы. Примером служит множество действительных чисел отрезка [0; 1].
Если элементу с номером n поставить в соответствие aₙ, получится последовательность a₁, a₂, a₃, … . Когда каждый элемент множества встречается ровно один раз, это соответствие взаимно однозначно: по номеру находим элемент, а по элементу — его номер. Поэтому порядок перечисления не важен: перестановка элементов меняет запись, но не наличие нумерации.
У натуральных чисел и положительных чётных чисел разные записи, однако их мощность одинакова. Формула n ↔ 2n сопоставляет каждому натуральному числу одно чётное, а каждое положительное чётное число имеет вид 2n. Значит, бесконечное множество может быть равномощно своей части, хотя для конечных множеств такая ситуация невозможна.
Пары натуральных чисел удобно записать в бесконечной таблице: первая координата задаёт строку, вторая — столбец. Двигаясь по диагоналям, сначала получаем пары с небольшой суммой координат, затем с большей. У любой пары (m; n) сумма m + n конечна, поэтому до неё будет пройдено конечное число диагоналей, и каждая пара получит номер.
Рациональное число можно представить дробью m/n, где m — целое, а n — натуральное число. Сначала перечисляют возможные пары (m; n), например по диагоналям, а затем оставляют только дроби в сокращённом виде. Это необходимо, потому что 1/2 и 2/4 обозначают одно число; после удаления повторов все рациональные числа всё равно получают номера.
Предположим, что числа отрезка [0; 1] удалось записать в список и представить их десятичными дробями. Построим новое число: его первая цифра отличается от первой цифры первого числа, вторая — от второй цифры второго числа и так далее. Новое число отличается от каждого элемента списка хотя бы в одной позиции, значит, список не мог содержать все действительные числа.
| Признак | Счётное множество | Несчётное множество |
|---|---|---|
| Критерий | Можно перечислить элементы или установить соответствие с натуральными числами | Нельзя перечислить элементы натуральными числами |
| Примеры | Натуральные числа, целые числа, рациональные числа | Действительные числа на отрезке |
| Связь с подмножествами | Подмножество счётного множества не более чем счётно | Содержит несчётное множество, если оно включает, например, отрезок действительных чисел |
Сначала проверьте, можно ли явно построить нумерацию или взаимно однозначное соответствие. Если это не удаётся, ищите доказательство невозможности перечисления, например диагональный аргумент. Отдельно учитывайте, является ли рассматриваемое множество частью другого множества: это не означает автоматически меньшую мощность.
Условие: установить, является ли множество чётных натуральных чисел счётным, и привести его нумерацию.
Ответ: множество чётных натуральных чисел счётно; его нумерация задаётся формулой n ↔ 2n.
Условие: показать, что множество пар натуральных чисел счётно.
Ответ: множество пар натуральных чисел счётно, потому что каждая пара получает конечный номер.
Условие: доказать, что эти числа нельзя занумеровать.
Ответ: множество действительных чисел отрезка [0; 1] несчётно.
Ошибка: считать всякое бесконечное множество несчётным. Её допускают, потому что слово «бесконечное» воспринимается как «слишком большое для нумерации». Проверка: попробуйте построить правило, связывающее элементы с числами 1, 2, 3, … .
Ошибка: заключать, что подмножество обязательно меньше исходного множества. У бесконечных множеств подмножество может иметь ту же мощность, как у натуральных и чётных чисел. Проверка: ищите взаимно однозначное соответствие, а не сравнивайте только включение.
Ошибка: несколько раз учитывать одну рациональную величину, например 1/2 и 2/4. Повторы появляются из-за разных записей одной дроби и мешают нумеровать именно числа. Проверка: перед перечислением сокращайте дроби и оставляйте единственное представление.
Ошибка: считать диагональный аргумент поиском случайно пропущенного элемента в готовом списке. На самом деле он строит отсутствующее число для любого предполагаемого списка. Проверка: убедитесь, что новая цифра специально отличается от соответствующей цифры каждого элемента.
До изучения темы нужны понятия натурального числа, множества, подмножества и взаимно однозначного соответствия. Без них трудно понять, что именно означает номер элемента. Эти понятия образуют основу рассуждений о мощности множеств.
Счётность рациональных чисел помогает сравнивать бесконечные множества. Она показывает, что бесконечность дробей не делает их «больше» натуральных чисел в смысле мощности. Позже это помогает точнее различать рациональные и действительные числа.
Идеи нумерации и диагонального доказательства используются при изучении бесконечных множеств и действительных чисел. Нумерация доказывает счётность, а построение элемента вне любого списка — несчётность. Эти приёмы важны для дальнейшего понимания структуры числовых множеств.
Чем счётное множество отличается от просто бесконечного?
Бесконечное множество лишь не имеет конечного числа элементов. Счётное множество можно занумеровать натуральными числами, поэтому счётность — это дополнительное свойство бесконечного множества.
Почему множество чётных натуральных чисел счётно, если оно является частью натуральных чисел?
Каждому натуральному числу n соответствует ровно одно чётное число 2n, и каждое положительное чётное число получается таким образом. Значит, эти множества равномощны, хотя множество чётных чисел является подмножеством натуральных.
Как можно перечислить все рациональные числа?
Рациональное число записывают дробью m/n, где m — целое число, а n — натуральное. Затем пары числитель–знаменатель перечисляют по диагоналям, пропуская дроби, которые повторяют уже полученное значение.
Почему действительные числа на отрезке нельзя занумеровать?
Если предположить, что все числа отрезка [0; 1] уже записаны, можно построить новое число, изменив цифру на каждой диагональной позиции. Оно будет отличаться от первого числа по первой цифре, от второго — по второй и так далее, поэтому в списке его нет.
Может ли бесконечное подмножество иметь столько же элементов, сколько всё множество?
Да. Например, натуральные числа и чётные натуральные числа равномощны: соответствие задаётся формулой n ↔ 2n. Для конечных множеств такое обычно невозможно, а для бесконечных — возможно.
1.1.З.* Счетные и несчетные множества
