Андрей Андреевич Болибрух - Проблемы Гильберта (100 лет спустя)

№2 отправьте в №3, из №3 — в №4 и т. д.»

Вообще, пусть постоялец, живущий в номере k, переедет в номер k + 1, как это показано на следующем рисунке:

Тогда у каждого снова будет свой номер, а №1 освободится. Таким образом, нового гостя удалось поселить — именно потому, что номеров в гостинице бесконечно много.

--------------------

* Виленкин Н. Я. Рассказы о множествах. М.: Наука, 1965.

- 7 -

Первоначально участники съезда занимали все номера гостиницы, следовательно, между множеством космозоологов и множеством N было установлено взаимно однозначное соответствие: каждому космозоологу дали по номеру, на двери которого написано соответствующее ему натуральное число. Естественно считать, что делегатов было «столько же», сколько имеется натуральных чисел. Но приехал ещё один человек, его тоже поселили, и количество проживающих увеличилось на 1. Но их снова осталось «столько же», сколько и натуральных чисел: ведь все поместились в гостиницу!

И если обозначить количество космозоологов через No*, то мы получим «тождество» No = No + 1. Ни для какого конечного No оно, разумеется, не выполнено.

Мы пришли к удивительному выводу: если к множеству, которое эквивалентно N, добавить ещё один элемент, получится множество, которое снова эквивалентно N. Но ведь совершенно ясно, что делегаты-космозоологи представляют собой часть того множества людей, которые разместились в гостинице после приезда нового гостя. Значит, в этом случае часть не «меньше» целого, а «равна» целому!

Итак, из определения эквивалентности (которое не приводит ни к каким «странностям» в случае конечных множеств) следует, что часть бесконечного множества может быть эквивалентна всему множеству.

Возможно, что известный математик Больцано**, который пытался в своих рассуждениях применять принцип взаимно однозначного соответствия, испугался таких непривычных эффектов и поэтому не стал дальше развивать эту теорию. Она показалась ему совершенно абсурдной. Но Георг Кантор*** во второй половине XIX века вновь заинтересовался этим вопросом, стал исследовать его и создал теорию множеств, важный раздел оснований математики.

Продолжим наш рассказ про бесконечную гостиницу.

--------------------

* No (читается: «алеф-нуль») — стандартное обозначение для мощности (числа элементов) множества N.

** Бернард Больцано A781-1848) — чешский математик.

*** Георг Кантор A845-1918) — немецкий математик.

- 8 -

Новый постоялец «не удивился, когда на другое утро ему предложили переселиться в №1000 000. Просто в гостиницу прибыли запоздавшие космозоологи из галактики ВСК-3472, и надо было разместить ещё 999999 жильцов».

Но потом произошла какая-то накладка, и в эту же самую гостиницу приехали на съезд филателисты*. Их тоже было бесконечное множество — по одному представителю от каждой галактики. Как же их всех разместить?

Эта задача оказалась весьма сложной. Но и в этом случае нашёлся выход.

«В первую очередь администратор приказал переселить жильца из №1 в №2.

— А жильца из №2 переселите в №4, из №3 — в №6, вообще, из номера n — в номер 2n.

Теперь стал ясен его план: таким путём он освободил бесконечное множество нечётных номеров и мог расселять в них филателистов. В результате чётные номера оказались занятыми космозоологами, а нечётные — филателистами...

Филателист, стоявший в очереди n-м, занимал номер 2n — 1». И снова всех удалось разместить в гостинице.

Итак, ещё более удивительный эффект: при объединении двух множеств, каждое из которых эквивалентно N, вновь получается множество, эквивалентное N. Т. е. даже при «удвоении» множества мы получаем множество, эквивалентное исходному!

Далее будем рассматривать только числовые множества — подмножества числовой прямой. Множество всех чисел на этой прямой, т. е. множество действительных чисел, обычно обозначают через R.

Счётные и несчётные множества

Рассмотрим следующую цепочку: N ⊂ Z ⊂ Q ⊂ R. (Z — это множество целых чисел, a Q — множество рациональных чисел, т. е. множество чисел вида p/q, где р и q — целые, q ≠ 0.) Все эти множества бесконечны. Рассмотрим вопрос об их эквивалентности.

-----------------------

* Коллекционеры почтовых марок.

- 9 -

Установим взаимно однозначное соответствие между Z и --">