Начало бесконечности. Объяснения, которые меняют мир

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

порядков бесконечности, каждый из которых слишком велик, чтобы его можно было поставить во взаимно однозначное соответствие с более низкими порядками.

Еще одно важное несчетное множество – множество всех логически возможных перераспределений постояльцев по номерам в отеле «Бесконечность» (или, как говорят математики, множество всех возможных перестановок натуральных чисел). Это можно легко показать, если взять любое перераспределение, заданное бесконечно длинной таблицей, например, такой.

Теперь представим, что все возможные перераспределения идут списком друг под другом, так что мы можем подсчитать количество строк. Если применить к этому списку диагональный метод, то окажется, что такой список невозможен, а значит, множество всех возможных перераспределений несчетно.

Поскольку администраторам отеля «Бесконечность» приходится задавать перераспределение в виде публичного объявления, оно должно состоять из конечной последовательности слов, то есть конечной последовательности символов из какого-либо алфавита. Множество таких последовательностей счетно, поэтому оно бесконечно меньше, чем множество возможных перераспределений. А значит, задать можно только бесконечно малую часть всех логически возможных перераспределений. Это замечательное в своем роде ограничение очевидно неограниченных возможностей администраторов отеля «Бесконечность» по перетасовке постояльцев! Получается, что почти все способы, которыми на уровне логики можно было бы перераспределить людей по номерам, недоступны.

В отеле «Бесконечность» – уникальная, самодостаточная система сбора отходов и избавления от них. Каждый день постояльцев сначала перераспределяют так, чтобы все комнаты были заняты. Затем дается следующее объявление: «Просим всех в течение следующей минуты собрать мусор в мешок и передать его жильцу из следующего по порядку номера. Если в течение этой минуты вы получите мешок, за следующие 30 секунд передайте его дальше. Если за эти 30 секунд вы получите мешок, передайте его дальше в течение следующих 15 секунд и так далее». Чтобы выполнить такую просьбу, постояльцам нужно делать все быстро, но передавать мешки бесконечно быстро никому не придется, как не придется иметь дело и с бесконечно большим числом мешков. Каждый человек произведет конечное число действий, как и предписывают правила отеля. Всякая передача мусора прекратится уже через две минуты. Таким образом, по истечении этого времени ни у кого из постояльцев мусора не останется.

Весь собранный в отеле мусор из Вселенной исчезает. Исчезает в никуда. Но никто его в это «никуда» не транспортирует: каждый постоялец просто передает часть мусора в другой номер. Это «никуда», в которое исчез весь мусор, в физике называется сингулярностью. Сингулярности встречаются и в реальной жизни – в черных дырах и кое-где еще. Но не будем отвлекаться: сейчас мы говорим о математике, а не о физике.

В отеле «Бесконечность», безусловно, бесконечно много персонала. Каждым постояльцем должны заниматься несколько служащих. Они приравниваются к постояльцам отеля, они также живут в пронумерованных комнатах и получают те же услуги, что и всякий другой постоялец, включая приписанных к ним служащих. В то же время они не могут просить этих служащих выполнять работу за себя, ведь, если все они сделают это, отель просто перестанет работать. В бесконечности нет ничего магического. В ней установлены логические правила: в этом и есть вся суть мысленного эксперимента с отелем «Бесконечность».