Для понимания математической стороны вопроса представьте, что вы выиграли в телевизионной викторине и вам достался необычный приз: бесконечный набор конвертов, в первом из которых лежит 1 доллар, во втором 2 доллара, в третьем 3 доллара и так далее. Как обычно, под аплодисменты зала ведущий предлагает вам сделать выбор. Либо вы берёте ваш приз, как он есть, либо содержание каждого конверта можно удвоить. На первый взгляд вам очевидно, что второй вариант гораздо выигрышней. «В каждом конверте будет в 2 раза больше денег, чем раньше» — думаете вы, — «поэтому будет правильным выбрать именно второй вариант». Действительно, если число конвертов конечно, то такое решение
Дилемма, с которой вы столкнулись, иллюстрирует тип математических ловушек, которые так затрудняют сравнение бесконечных наборов. Зрители в зале начинают нервничать, вам пора уже сделать выбор, а ваша оценка того или иного выбора зависит от того, как вы сравниваете два результата.
Аналогичная неоднозначность возникает и при сравнении самих основ таких наборов: числа элементов в каждом из них. Пример с телевизионной викториной также хорошо иллюстрирует эту сторону вопроса. Чего больше: всех чётных чисел или всех целых чисел? Большинство людей ответят, что больше целых чисел, потому что чётные числа составляют лишь половину от общего количества. Однако опыт викторины позволяет более аккуратно подойти к этому вопросу. Представьте, что вы выбираете второй вариант — получить все чётные суммы долларов. В этом случае вам не придётся откладывать в сторону часть конвертов или требовать новые, так как ведущий просто удвоит сумму денег в каждом из них. Таким образом, заключаете вы, число конвертов, необходимых для размещения всех нечётных и всех целых сумм долларов является тем же самым, и, следовательно, заполнение каждой категории чисел равно между собой (табл. 7.1). И это странно. Сравнивая одним методом — рассматривая чётные числа как подмножество всех целых чисел, — вы делаете вывод, что целых чисел больше. Применяя другой метод — подсчитывая, сколько надо конвертов для размещения каждого вида чисел, — вы делаете вывод, что множество целых чисел и множество чётных чисел имеют одинаковое заполнение.
Таблица 7.1.
Каждое целое число спарено с чётным числом, и наоборот, откуда возникает предположение, что их количества совпадаютТаблица 7.2.
Каждое целое число спарено с дважды чётным числом, в результате чего остаётся бесконечный набор чётных чисел без пары. Отсюда возникает предположение, что чётных чисел больше, чем целыхМожно даже убедить себя, что чётных чисел
С одной стороны, количество чётных чисел меньше чем целых. С другой стороны, эти количества равны друг другу. С третьей стороны, чётных чисел больше чем целых. И выходит, что нет какого-то одного правильного вывода. Абсолютного ответа на вопрос, какой из этих бесконечных наборов больше, попросту не существует. Получаемый вами результат зависит от способа сравнения.{65}