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

Другими словами, a_ik – это k-я цифра после запятой в числе, которое будет жить в i-м номере. При этом следует помнить, что любая цифра, обозначенная a_ik, – это либо 0, либо 1. Приведу пример. Предположим, что число 0,111000110010… живет в номере 3. Следовательно, для этого числа a₃₁ = 1, a₃₂ = 1, a₃₃ = 1, a₃₄ = 0, a₃₅ = 0… – дальше все очевидно. Так вот, – продолжал профессор, – я могу предъявить вам число, которое находится между 0 и 1, то есть входит в группу постояльцев, приехавших с Дельты-Континуума, но не относится к числам, живущим в гостинице. Этот факт докажет, что найти в гостинице место для всех чисел, расположенных между 0 и 1, невозможно, потому что список, который мы составили, получился слишком общим.

Обозначим число, не живущее в гостинице, В. Разумеется, мы запишем его в виде B = 0, b₁b₂b₃b₄… где b_i может быть равно либо 0, либо 1, и образуем его так, чтобы никакое b_i не было равно a_ii (a_ii – это все числа, стоящие на диагонали составленного нами списка). Как мы это сделаем?

Идея чрезвычайно проста. Если a_ii = 0, то b_i должно быть равно 1. Если же a_ii = 1, то b_i должно быть равно 0.

Приведу пример. Допустим, мы как-то расположили все числа от 0 до 1, в записи которых используются только цифры 0 и 1. Они расположены совершенно в произвольном порядке, но предположим, что мы расставили их следующим образом:

A₁ = 0,010010001…

A ₂ = 0,010101010…

A ₃ = 0,110110110…

A ₄ = 0,100110111…

A ₅ = 0,011111110…

..……………………

Сформируем теперь число В. Цифру b₁ мы определим равной 1, потому что a₁₁ = 0 (первая цифра после запятой в числе А₁ равна 0); цифра b₂ должна быть равна 0, потому что a₂₂ = 1 (a₂₂ – это вторая цифра после запятой в числе А₂); цифра b₃ должна быть равна 1, потому что a₃₃ = 0. И так далее.

– Но откуда вы знаете, что число В не живет в гостинице? – не смогла смолчать Омега.

– Это совершенно очевидно. Первая цифра после запятой в числе В, то есть b₁, должна отличаться от первой цифры после запятой в числе A₁ (то есть от цифры a₁₁). Мы уверены в этом, потому что мы специально построили число В так, чтобы на этом месте стояла другая цифра. Отсюда очевидно, что число В не может быть равно числу А₁, даже если бы все остальные его цифры в точности совпадали со всеми остальными цифрами числа А ₁.

Перейдем теперь ко второй цифре после запятой в числе В, то есть к цифре b₂. Она должна отличаться от второй цифры после запятой в числе А₂ – по той же самой причине. Следовательно, каковы бы ни были другие цифры числа В, это число никак не может быть равно числу А₂.

Продолжим аналогичные рассуждения для всех остальных цифр числа В – для всего их бесконечного количества. Результат будет тем же самым для каждой из них. В числе В всегда будет по меньшей мере одна цифра, отличающая его от чисел, входящих в группу A_i. Следовательно, мы должны заключить, что число В не может быть равно никакому конкретному числу А. Другими словами, число В не является постояльцем гостиницы. Оно приехало с Дельты-Континуума вместе со всеми своими друзьями, но, в отличие от них, в гостинице не поселилось.

– Если это так, я внесу число В в самое начало списка, перед А₁! – Омега запрыгала на месте, чрезвычайно возбужденная идеей, которая только что пришла ей в голову. Надо сказать, что разговоры с Омегой не были трудными для профессора, но иногда раздражали его.

– Да вы попросту ничего не поняли из моего объяснения! Смотрите: даже если вы добавите число В в начало списка, я всегда смогу сформировать некое новое число – назовем его Y, – которого в списке не будет, точно так же, как я сформировал число В.

– Вы правы. Но я все равно не понимаю, как может быть, что кому-то из постояльцев не найдется места в бесконечной гостинице.

– Это значит, что, хотя количество номеров в вашей гостинице и бесконечно, количество постояльцев, которые хотят в ней поселиться, еще более бесконечно, – объяснил профессор.

– Что вы такое говорите? Более бесконечно? – спросила чрезвычайно взволнованная Омега. – Объясните же мне, как бесконечное может быть более бесконечным, чем бесконечное!

Но престарелый профессор был совершенно обессилен своим долгим объяснением.

Интермедия

Дилемма конечного и бесконечного: От гугола до «Гугла»