Кантор. Бесконечность в математике. | страница 48
Математики XIX века, корпевшие над логическим обоснованием исчисления и открывшие ряды, то есть бесконечные суммы, выработали свои правила, которые существенно отличаются от тех, которые используются для привычных конечных сумм. В 1854 году немецкий математик Бернхард Риман (1826-1866) доказал: некоторые бесконечные суммы не обладают коммутативностью; другими словами, они могут быть реорганизованы так, что получится другой результат. Например, в ряде
сумма которого равна 0,6931471..., слагаемые могут быть распределены так, чтобы получился любой желаемый результат.
Георг Фридрих Бернхард Риман, 1862 год.
Если Р — произвольное множество чисел, то производным от Р множеством Кантор называл группу чисел, которые можно аппроксимировать через последовательности, состоящие из элементов Р. Он обозначил такое множество Р. Если Q — множество рациональных чисел, то предыдущий пример показывает, что Q' = R, где R обозначает множество всех вещественных чисел.
Труды Кантора — прекрасный плод математического гения и одно из высочайших достижений человеческого интеллекта.
Давид Гильберт, немецкий математик
В статьях начала 1870-х годов Кантор представлял определение производного множества в терминах потенциально бесконечных множеств. Но сама структура Q' отсылает к актуальной бесконечности, поскольку Q заключает в себе все рациональные числа. С другой стороны, определение Q' приводит нас к последовательностям и к определению вещественных чисел. Рассмотрим теперь, как проблема тригонометрических рядов подтолкнула Кантора к двум основным темам его последующих математических исследований — к актуальной бесконечности и к задаче о континууме.
Теперь возьмем множество Р, состоящее исключительно из чисел 0, 1 и 2. Множество Р, по определению Кантора, содержит все числа, которые можно аппроксимировать посредством последовательностей, состоящих из бесконечных различающихся элементов Р. Очевидно, что бесконечных и различающихся элементов Р не существует, поскольку их в этом множестве всего три.
Так как создать даже одну последовательность элементов Р невозможно, то в Р ничего нет. В этом случае, как писал Кантор, Р аннулируется. Сегодня мы бы сказали, что Р — пустое множество, то есть в нем нет составляющих, но мы оставим выражение Кантора. Чтобы понять условие единственности, найденное Кантором, вернемся к примеру производного Q' и убедимся, что оно также является множеством чисел, а значит, мы можем рассчитать его производное. Кантор записывал производное от производного Q как Q". Поскольку оно тоже является множеством, то мы можем рассчитать и его производное, которое будет записано как Q
