Десять великих идей науки. Как устроен наш мир.

Рис. 10.5. Комплексное число является двухкомпонентным числом и как таковое может быть представлено точкой на плоскости. Например, комплексное число 2 − 1i обозначается точкой с координатами 2 единицы по горизонтальной оси и 1 единица вниз по вертикальной оси. Операции с комплексными числами есть просто операции с двухкомпонентными объектами.

В этом разделе я обращусь к двум явно наивным вопросам: сколько существует чисел, и что они такое, в конце концов. Можно подозревать, что ответы будут сложнее вопросов, что в итоге, вероятно, и составляет смысл хорошо поставленного вопроса.

На первый взгляд существует бесконечное число натуральных чисел, ибо в принципе мы можем продолжать счет вечно: одна овца, две овцы, …. Мы говорим, что «мощность» натуральных чисел бесконечна. Изобретательный способ демонстрации мощности приписывается немецкому математику Давиду Гильберту, который появится позже в более серьезном контексте, и называется отель Гильберта. «Отель Гильберта» состоит из бесконечного числа комнат, и однажды ночью все комнаты оказываются занятыми. Прибывает путешественник, не заказавший комнату предварительно. «Нет проблем!» — кричит Гильберт (администратор): он уговаривает всех постояльцев переехать в соседнюю комнату, освобождая таким образом первую комнату и получая возможность устроить в ней вновь прибывшего. На следующую ночь подъезжает бесконечное число путешественников, не заказавших комнату предварительно. «Нет проблем!» — снова кричит обладающий неограниченными ресурсами Гильберт. Он уговаривает всех постояльцев упаковаться и переехать в комнату с номером вдвое большим, чем номер занимаемой ими комнаты, освобождая комнаты с нечетными номерами и получая возможность устроить всех вновь прибывших.

Пока, возможно, все хорошо. Но как насчет рациональных чисел, чисел, получаемых делением одного натурального числа на другое: сколько их существует? «Очевидным» ответом является то, что рациональных чисел больше, чем натуральных, потому что их ужасно много между 0 и 1 (например, 1/4, 1/2, 53/57 и многие другие), столь же много между 1 и 2 (например, 3/2, 5/3, 79/47 и многие другие) и так далее. Забавно, что правильным ответом, однако, будет такой: количество рациональных чисел таково же, как и количество натуральных чисел. Их число бесконечно, столь же бесконечно, как и число натуральных чисел.

Чтобы убедиться в том, что это так, взгляните на рис. 10.6, где я нарисовал таблицу всех рациональных чисел (но показал только малую часть из них). Поверху вправо идут натуральные числа, указывающие числитель дроби, которую мы намереваемся построить, а слева вниз идут натуральные числа, указывающие ее знаменатель. Внутренняя часть таблицы содержит все возможные дроби, получаемые делением одного натурального числа на другое. Здесь будет много повторений, таких как 3/6 и 4/8 оба равны 1/2, но это не имеет значения. Теперь мы можем провести линию, которая пробегает от первой цифры таблицы через все остальные, как показано на рис. 10.6. Затем, продвигаясь вдоль этой линии, будем вести счет 1, 2, … каждой встречающейся дроби. Таким способом все дроби — все рациональные числа — оказываются поставленными во взаимно однозначное соответствие с натуральными числами. Мы никогда не выйдем за пределы натуральных чисел, поэтому количество рациональных чисел таково же, как и количество натуральных чисел, несмотря на то, что они расположены плотнее, чем натуральные числа. Существует бесконечное число рациональных чисел между 0 и 1 и между 1 и 2, но их бесконечное число между 1 и 2 такое же! Короче говоря, мы всегда можем пересчитать рациональные числа — мы говорим, что они счетны — и получить ответ «бесконечность» безотносительно к интервалу чисел, на котором производится счет. Возможно, вы начинаете понимать, что бесконечность является расплывающимся и ускользающим понятием.

Рис. 10.6. Рациональные числа можно поставить в соответствие с натуральными числами, поэтому они являются счетными. В верхнем ряду находятся натуральные числа, указывающие числитель дроби p/q, а слева вниз идут натуральные числа, указывающие ее знаменатель. Продвигаясь по извилистой диагональной линии, мы можем пересчитать рациональные числа (включая их многочисленные повторения).