Хаим Шапира - Восемь этюдов о бесконечности. Математическое приключение

Существует ли «наименьшая» плотность бесконечного множества?

Существует ли «наибольшая» плотность бесконечного множества? «Бесконечна» ли плотность бесконечного множества? Если это так, как нам определить значение такой мощности?

Если вы хотите узнать ответы на эти и другие вопросы, оставайтесь с нами!

Любое конечное множество, очевидно, есть множество счетное. Если начать с первого элемента, перейти к следующему и так далее, то рано или поздно (даже если это множество содержит гуголплекс элементов) вы (или ваши потомки) дойдете до последнего элемента. Бесконечное множество называют «счетно-бесконечным», если оно имеет такую же мощность, как множество натуральных чисел, то есть для него существует одно-однозначное и сюръективное соответствие с множеством натуральных чисел. Другими словами, его элементы можно расположить последовательно, из чего следует, что его элементы можно каким-то образом разместить в отеле Гильберта. Они счетны в том смысле, что мы можем расположить их так, чтобы у нас был первый элемент, затем второй, за ним – третий… и, хотя этот процесс никогда не завершится, мы все же пересчитываем эти элементы! Поэтому такие множества и называются «счетными».

Мы уже видели, что множество целых чисел и множество рациональных чисел можно расселить в бесконечной гостинице Гильберта без каких-либо затруднений. Это означает, что эти два множества, несомненно, относятся к множествам счетным.

Напомню, как именно размещались в гостинице рациональные числа. Как вы помните, мы расположили их в порядке возрастания «высоты», причем «высота» дроби a / b была определена равной h = a + b , а числа с одинаковой высотой располагались в порядке возрастания значения числителя (см. приведенную ниже таблицу). Вполне ясно, что у этих дробей, расположенных в таком порядке, есть инъективное соответствие с натуральными числами.

Давид Гильберт

Эмми Нётер

А вот напоминание о том, как можно разместить в самой шикарной математической гостинице во Вселенной целые числа:

Выше мы обозначили мощность конечного множества символом #A. Однако, поскольку завершить подсчет элементов бесконечного множества невозможно, для его мощности не может существовать никакого значения « n ». Следовательно, мощность счетно-бесконечного множества необходимо определить как-то иначе. Кантор обозначил ее символом ℵ 0(алеф-нуль). Он состоит из буквы «алеф», взятой из еврейского алфавита, с подстрочным индексом 0 {29} 29 Когда-то я читал книгу по теории множеств на русском языке, изданную еще до перестройки, и в ней были еврейские буквы. Если вам кажется, что в этом нет ничего особенного, добавлю, что в советской истории был период, когда за изучение иврита могли посадить в тюрьму. . Если обозначить буквой N множество натуральных чисел, а буквой Z – множество целых чисел (как положительных, так и отрицательных, а также нуля), то для обоих этих множеств можно написать, что #N = ℵ 0и #Z = ℵ 0.

Тот факт, что мощность счетно-бесконечного множества обозначается ℵ 0, намекает, что ℵ 0 – вероятно, наименьшая мощность бесконечного множества и что могут существовать и более высокие мощности бесконечных множеств (элементы которых мы все равно не можем пересчитать!). На самом деле так оно и есть.

Докажите, что любое бесконечное множество содержит счетно-бесконечное множество.

Из этого упражнения, в частности, следует, что бесконечное множество может заполнить бесконечную гостиницу. Ключевое слово тут – «может».

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