Восемь этюдов о бесконечности. Математическое приключение
Шрифт:
В этом случае на каждом этапе в комнату добавляют 10 мячей, а убирают только один, то есть в ней становится на девять мячей больше. Поскольку эта процедура повторяется бесконечное число раз, кажется совершенно ясным, что в полночь в комнате будет бесконечно много мячей (можно даже сказать, девять раз по бесконечно много!).
Можете ли вы сказать, какие именно мячи будут в комнате? То есть номер(а) мячей, которые останутся в комнате.
Перед огромной пустой комнатой по-прежнему выложен все тот же ряд
Внезапно все становится кристально ясно.
Поскольку мы выкидываем все мячи с четными номерами, в полночь в комнате будет бесконечно много мячей, и у всех у них будут нечетные номера. Так что мы знаем, какие именно мячи останутся в комнате в полночь: 1, 3, 5, 7, 9, 11, 13, 15…
Разумеется, количество нечетных чисел бесконечно, и все они будут в комнате. Четные числа также образуют бесконечное множество, но они окажутся снаружи.
Можно ли сказать, что множества нечетных чисел и четных чисел меньше, чем множество всех натуральных (то есть целых положительных) чисел?
На первый взгляд можно решить, что это утверждение должно быть справедливым. Казалось бы, логично считать, что, например, множество четных чисел должно быть в два раза меньше множества всех натуральных чисел (в которое входят числа как четные, так и нечетные).
Однако посмотрим на этот вопрос вот с какой стороны: каждому натуральному числу можно сопоставить натуральное число.
Теперь мы начинаем осознавать эту умопомрачительную концепцию: хотя в множестве четных чисел пропущено каждое второе число (по сравнению с множеством всех натуральных чисел), количество элементов обоих множеств все равно одинаково. Говорят, что это множества одинаковой мощности. В этой книге мы еще поговорим о концепции мощности множества гораздо подробнее.
А это, по сути, подводит нас к вопросу еще более глубокому: можно ли вообще сравнивать бесконечные множества чисел и спрашивать, какое из них больше? Имеют ли слова «больше» и «меньше», «крупнее» и «мельче» вообще хоть какой-нибудь смысл, когда речь идет о бесконечных величинах?
Читайте дальше!
Концепция бесконечности сложна и глубока и иногда действительно кажется невообразимой. Имеет смысл вспомнить, что говорил на эту тему Галилей:
[Это] относится к числу затруднений, происходящих вследствие того, что, рассуждая нашим ограниченным разумом о бесконечном, мы приписываем последнему свойства, известные нам по вещам конечным и ограниченным. Между тем это неправильно, так как такие свойства, как большая или меньшая величина и равенство, неприменимы к бесконечному, относительно которого нельзя сказать, что одна бесконечность больше или меньше другой или равна ей [4] .
4
«Две новые науки». День первый.
Несмотря на всю симпатию и все уважение, которые я питаю к Галилео Галилею, я придерживаюсь более оптимистических взглядов. В оставшейся части этой книги мы будем довольно плотно иметь дело с бесконечностью, хотя и останемся, увы, существами до боли конечными. Как сказал Паскаль:
Человек – всего лишь тростник, слабейшее из творений природы, но он – тростник мыслящий [5] .
5
Здесь и далее цит. по: Паскаль Б. Мысли / Пер. с фр. Ю. А. Гинзбург. М.: Изд-во имени Сабашниковых, 1995.
Если вы по-прежнему не уверены в том, что (во всех этих версиях) в полночь в комнате будет бесконечно много мячей, мне остается только пустить в дело тяжелую артиллерию и предложить вам следующую, последнюю версию этого парадокса: предположим, что мячи не пронумерованы; все они – самые обычные белые теннисные мячики.
Наличие или отсутствие нумерации не должно никак повлиять на количество мячей, оказавшихся в комнате к полуночи.
Теперь все должно быть кристально ясно. Если итоговое число мячей на каждом шаге увеличивается, а количество таких шагов до 0:00 бесконечно, то в полночь должно получиться бесконечное число мячей.
Теперь мы можем ответить и на вопрос о том, какие именно мячи будут в комнате.
В ней будет бесконечно много… белых мячей! {4}
Последняя версия принципиально отличается от всех предыдущих тем, что в ней нет правила, определяющего, какие именно мячи выбрасываются из комнаты. Когда у мячей есть номера, это дает нам возможность предлагать правила. Но теперь все мячи одинаковы, и мы вынуждены выбирать, какие из них выбросить, случайным образом.
4
Многие математики с этим не согласятся. Они скажут, что мы говорим здесь о пределах сходимости и все зависит от того, с каким типом сходимости мы имеем дело. Читателям, не принадлежащим к числу математиков, может быть полезно найти в «Википедии» статью о концепции Supertask [ «суперзадачи» – соответствующей статьи на русском языке в «Википедии» пока что нет. – Примеч. перев.]: это задача, требующая выполнения бесконечного числа операций за конечный временной промежуток. Мы еще встретимся с этой концепцией позднее, когда познакомимся с Зеноном, Ахиллесом и черепахой.
Первое апреля, или Логика в доме старшего брата
Знаменитый логик, фокусник и математик Рэймонд Смаллиан (1919–2017) (он, к слову сказать, был еще и концертным пианистом: его исполнение Баха можно послушать на YouTube) рассказывал, как он впервые столкнулся с концепцией логики. Это случилось однажды 1 апреля, когда Рэймонд был еще маленьким мальчиком. Накануне вечером старший брат будущего логика пообещал, что разыграет его (как обычно и делают первого апреля), и заверил, что Рэймонд не сумеет избежать розыгрыша, как бы он ни пытался.
Рэймонд воспринял эту угрозу очень серьезно и решил, что не доставит брату такого удовольствия и не позволит себя разыграть. Подумав немного, он решил, что лучшим способом уберечься от первоапрельского розыгрыша будет засесть в своей комнате и не выходить из нее весь день.
Умно, не правда ли?
Рэймонд пошел в свою комнату, закрыл дверь и сидел там, изнывая от скуки, час за часом… до самой полуночи. Потом он гордо вышел из комнаты и торжествующе объявил брату, что его план провалился. Брат ответил: «А вот и нет! Я тебя разыграл! Ты думал, что я тебя разыграю, а я тебя так и не разыграл, значит, я тебя разыграл! Ха-ха-ха!»