Книга Кантор. Бесконечность в математике. - Густаво Эрнесто Пинейро

В предыдущей главе мы убедились, что каждой точке на числовой оси соответствует вещественное число, и наоборот: каждому вещественному числу соответствует точка на оси. Другими словами, между вещественными числами и точками на оси наблюдается взаимно однозначное соответствие (то есть два множества эквивалентны или равномощны). Когда мы говорим о мощности — это то же самое, что говорить о вещественных числах и точках на оси. Какое множество можно выдвинуть в качестве кандидата на большую мощность по сравнению со множеством точек на оси? Поскольку ось — одномерный объект, логично было бы предположить, что нам подошел бы объект с двумерной поверхностью.

Если мы думаем о множестве всех вещественных чисел, а им соответствует числовая ось, почему Кантор говорит об отрезке, то есть только о части прямой, ограниченной двумя точками? Дело в том, что можно доказать: все отрезки, вне зависимости от их длины, эквивалентны друг другу, у них одинаковая мощность и, в свою очередь, любой отрезок эквивалентен полной оси. Таким образом, при изучении мощности не имеет значения, о чем идет речь, — об отрезке или об оси.

Теперь вернемся к вопросу, сформулированному Кантором в письме от 5 января 1874 года: может ли одномерный объект (отрезок, взятый как бесконечная совокупность точек) иметь такую же мощность, что и двумерный объект (квадрат, также взятый как бесконечное множество точек), или, наоборот, мощность квадрата будет больше?

Решение задач, связанных с математической бесконечностью, является, пожалуй, одним из главных успехов нашей эпохи, которым мы можем гордиться.

Лорд Бертран Рассел, 1910 год.

В этом же письме Кантор утверждал, что, разумеется, кардинальное число точек квадрата должно превосходить кардинальное число точек отрезка. Дедекинд согласился, но Кантор также добавлял, что задача тем не менее «очень сложна».

И действительно, на пути к ее решению было много препятствий, и чтобы найти его, Кантору потребовалось три года. Он изложил его Дедекинду в письме от 20 июня 1877 года, и уже 22 июня Дедекинд отправил свое послание, в котором оспаривал аргументацию Кантора. Тот ответил двумя письмами от 25 и 29 июня. В последнем, очень характерном для Кантора, говорилось:

«Прошу Вас извинить мое рвение, если я слишком часто злоупотребляю Вашей добротой и снисходительностью. То, что Вы сообщили, для меня настолько неожиданно и ново, что я не мог бы, так сказать, достичь некоего спокойствия духа, прежде чем получу, мой многоуважаемый друг, Ваше мнение по поводу верности [моего предположения]. Пока Вы не одобрите мои выводы, я могу лишь сказать je le vois, mais je ne le crois pas [«я это вижу, но этому не верю», франц.].

Мы можем предположить, что Дедекинд помог Кантору достичь «некоего спокойствия духа», потому что его ответ, отправленный из Брунсвика 2 июля, начинался так:

«Я еще раз рассмотрел Ваше доказательство и не нашел в нем никаких пробелов; я убежден, что Ваша интереснейшая теорема верна и поздравляю Вас».

ОТВЕТ

Ответ, к удивлению самого Кантора, заключался в том, что между точками отрезка и точками квадрата существует взаимно однозначное соответствие. Другими словами, несмотря на то что у квадрата есть еще одно измерение, его кардинальное число (мощность) не больше, чем у отрезка.

Как это доказать? Отрезок — это часть прямой между двумя фиксированными точками. Следовательно, можно приравнять его к совокупности всех вещественных чисел, заключающихся между этими точками. Поскольку 0 и 1 отмечены в произвольных точках числовой оси, мы можем приравнять любой отрезок к множеству вещественных чисел, расположенных именно между 0 и 1. Так, на рисунке 1 изображена точка, соответствующая числу 0,75.

РИС.1

РИС. 2

Как представить точки квадрата в числовом виде? Как известно, координаты на земном шаре определяются по двум осям — ширине и долготе. Аналогично и у точек квадрата имеются две координаты — абсцисса и ордината (рисунок 2).

Как определить положение точки Р квадрата на осях абсциссы и ординаты? Для этого, как показано на рисунке 2, выберем две непараллельные стороны квадрата и, как в случае с отрезком, отметим на них 0 и 1. Нулю будет соответствовать их общая вершина.

Чтобы узнать координаты точки Р, спроецируем ее перпендикуляр на каждую из выбранных сторон (как точка на земном шаре проецируется на экватор и на Гринвичский меридиан). Одним из чисел будет абсцисса Ру вторым — его ордината.

ОТРЕЗКИ БЕЗ КОНЦОВ

Теперь докажем, что вещественные числа между 0 и 1, включая обе эти точки, эквивалентны множеству, которое получается, если мы уберем 1. Графически первая группа выглядит как отрезок, ограниченный с двух сторон, а вторая — как отрезок без одного конца (см. рисунок 1). Чтобы установить соответствие (см. рисунок 2), сопоставим 1 из первой группы с 1/2 второй, 1/2 первой группы — с 1/3 второй, 1/3 первой — с 1/4 второй и так далее. Остальные числа первой группы, то есть все, отличные от 1/2,1/3,1/4 (как 3/4, например), будут соотнесены с самими собой. Таким же образом мы можем доказать, что отрезок без одного конца соотносится с отрезком, не имеющим ограничений. Следовательно, все три отрезка — отрезок с двумя концами, отрезок без одного конца и отрезок без ограничений — эквивалентны друг другу.

РИС. 1

Изобразим отсутствие точки как пустую окружность.

РИС. 2

Таким образом, каждая точка квадрата определена двумя координатами. Сначала ставят абсциссу, а потом ординату: мы будем говорить о точках координат 0,2 и 0,7, подразумевая, что 0,2 — значение по абсциссе, а 0,7 — по ординате.

Задача заключается в том, чтобы установить взаимно однозначное соответствие между вещественными числами, находящимися между точками 0 и 1, и парами чисел между 0 и 1 так, чтобы каждому числу соответствовала единственная пара, а каждой паре — только одно число.

Предположим, есть число 0,213421342134... Какой паре координат оно соответствует? Возьмем цифры, стоящие в нечетных позициях после запятой (первую, третью, пятую и так далее). Это числа 232323... Затем рассмотрим четные позиции. Это числа 141414... Число 0,213421342134... соответствует, таким образом, паре координат 0,232323... и 0,141414...