Gustavo Pineiro - Бесчисленное поддается подсчету. Кантор. Бесконечность в математике.

В начале 1870-х годов в Галле Кантор, бывший учеником Вейерштрасса и, следовательно, тоже увлеченный проблемой логического обоснования исчисления, занялся поиском четкого определения вещественных чисел. Свои выводы он изложил в статье Ober die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen («Обобщение одной теоремы из теории тригонометрических рядов»), опубликованной в 1872 году в журнале Mathematische Annalen. До него Дедекинд тоже занимался тем же самым вопросом, что привело ученых к спору о первенстве.

Определение Кантора основано на понятии фундаментальной последовательности. Она состоит из вещественных чисел, и в ней по мере продвижения разница между любыми двумя членами, следующими друг за другом или нет, становится все меньше.

Возьмем, например, последовательность, образованную числами 3,1; 3,14; 3,141; 3,1415; 3,14159; 3,141592; 3,1415926; 3,14159265; 3,141592653; 3,1415926535,... (в каждом последующем числе добавляется еще один знак числа π после запятой). С пятого числа все они начинаются с 3,14159... Это значит, что с пятого элемента разница между двумя членами последовательности (не важно, идут они один за другим или нет) начинается с пяти нулей после запятой, то есть она меньше 0,00001 (где только четыре нуля после запятой). Аналогично, начиная с шестого числа, разница между двумя членами последовательности меньше 0,000001; начиная с седьмого — меньше 0,0000001 и так далее.

Таким образом, 3,1; 3,14; 3,141; 3,1415; 3,14159; 3,141592; 3,1415926; 3,14159265; 3,141592653; 3,1415926535... - фундаментальная последовательность.

По мнению Кантора, особенность, определяющая вещественные числа, заключается в том, что каждой фундаментальной последовательности соответствует вещественное число, и наоборот, каждому вещественному числу соответствует фундаментальная последовательность. Другими словами, каждое вещественное число определяется фундаментальной последовательностью. В приведенном выше примере последовательность определяет, разумеется, число π.

Не следует путать все вышесказанное со взаимно однозначным соответствием между фундаментальными соответствиями и вещественными числами, потому что, хотя каждой последовательности соответствует только одно вещественное число, на самом деле разные последовательности могут соответствовать одному и тому же числу. Например, последовательность 3,1; 3,141; 3,14159; 3,1415926; 3,141592653; ..., которая получается, если прибавлять каждый раз по два знака числа π, — это другая последовательность по сравнению с предыдущей, но она тоже соответствует числу π.

Откуда же тогда нам известно, что существует число 0,110001000000000000000001000..., то есть число Лиувилля? Как мы можем убедиться, что это действительно вещественное число? (Кронекер, напомним, так не считал.) По Кантору, достаточно показать, что ему соответствует фундаментальная последовательность. В данном случае это 0,1; 0,11; 0,110001;... Существование этой фундаментальной последовательности гарантирует существование числа.

Теперь рассмотрим, как определение Кантора выражает мысль о том, что каждой точке числовой оси соответствует вещественное число.

Числа 0 и 1 наносятся на прямую произвольно, но после этого позиции вещественных чисел строго определены. Предположим, у нас есть точка Р, для которой мы не подобрали никакого соответствующего рационального числа (см. рисунок 13). Как мы можем доказать, что этой точке соответствует число (разумеется, рациональное)?

Возьмем последовательность точек, которые соответствуют рациональным точкам и постепенно все больше приближаются к Р. Они образуют фундаментальную последовательность, которой будет соответствовать вещественное число, и оно же будет соответствовать точке Р. На рисунке 13 представлен пример, где точка Р соответствует числу π.

РИС. 13

Однако, по мнению Кантора (и тут мы подходим к идее бесконечности), еще одним фундаментальным свойством континуума является тот факт, что он несчетен (множество счетно, если эквивалентно натуральным числам). В серии из шести статей, опубликованных с 1879 по 1882 год в Mathematische Annalen, среди прочих вопросов о бесконечных множествах он рассмотрел альтернативные определения континуума, в которых несчетность являлась одной из его основных характеристик.

Тот факт, что точки отрезка образуют несчетное множество, позволяет решить парадокс Аристотеля. Если отрезок состоит из точек, то, поскольку у каждой точки нулевая длина, общая длина отрезка должна составить 0 + 0 + 0 + 0 + ... = 0. Сколько нулей мы складываем? Ответ: бесконечное количество нулей; но какова мощность этой бесконечности?