«Может ли некая поверхность (например, квадрат, включая углы) вступить в однозначное отношение с кривой (например, с отрезком прямой) таким образом, чтобы каждой точке плоскости соответствовала точка кривой, и наоборот?»
Задача, сформулированная Кантором, была естественным продолжением идей, над которыми он работал в то время. В 1873 году он уже знал, что мощность множества вещественных чисел больше мощности натуральных чисел. Другими словами, он знал, что уровень бесконечности вещественных чисел больше, чем уровень натуральных, хотя в статье 1878 года не заявил об этом открыто.
В этой ситуации логично задаться вопросом: возможно ли множество с еще большей мощностью, чем мощность вещественных чисел? Именно об этом и думал Кантор, когда писал Дедекинду. Проследим, как вопрос о возможности множества с мощностью, большей, чем мощность вещественных чисел, приводит нас к вопросу в письме Кантора.
В предыдущей главе мы убедились, что каждой точке на числовой оси соответствует вещественное число, и наоборот: каждому вещественному числу соответствует точка на оси. Другими словами, между вещественными числами и точками на оси наблюдается взаимно однозначное соответствие (то есть два множества эквивалентны или равномощны). Когда мы говорим о мощности — это то же самое, что говорить о вещественных числах и точках на оси. Какое множество можно выдвинуть в качестве кандидата на большую мощность по сравнению со множеством точек на оси? Поскольку ось — одномерный объект, логично было бы предположить, что нам подошел бы объект с двумерной поверхностью.
Если мы думаем о множестве всех вещественных чисел, а им соответствует числовая ось, почему Кантор говорит об отрезке, то есть только о части прямой, ограниченной двумя точками? Дело в том, что можно доказать: все отрезки, вне зависимости от их длины, эквивалентны друг другу, у них одинаковая мощность и, в свою очередь, любой отрезок эквивалентен полной оси. Таким образом, при изучении мощности не имеет значения, о чем идет речь, — об отрезке или об оси.
Теперь вернемся к вопросу, сформулированному Кантором в письме от 5 января 1874 года: может ли одномерный объект (отрезок, взятый как бесконечная совокупность точек) иметь такую же мощность, что и двумерный объект (квадрат, также взятый как бесконечное множество точек), или, наоборот, мощность квадрата будет больше?
Решение задач, связанных с математической бесконечностью, является, пожалуй, одним из главных успехов нашей эпохи, которым мы можем гордиться.
