Gustavo Pineiro - Бесчисленное поддается подсчету. Кантор. Бесконечность в математике.
Возьмем множество рациональных чисел. Очевидно, что π как иррациональное число не принадлежит к этой группе, и тем не менее его можно представить в виде последовательности рациональных чисел. Мы можем найти такую последовательность, состоящую исключительно из рациональных чисел, что по мере продвижения вперед будем получать числа все ближе к π. В примере из предыдущей главы последовательность 3,1; 3,14; 3,141; 3,1415;... получается путем прибавления к каждому последующему числу одного знака после запятой в числе π.
Это справедливо и для любого другого иррационального числа: мы всегда сможем приблизиться к нему через последовательность рациональных чисел. То же распространяется и на рациональные последовательности. Например, если мы возьмем число 0,75, то последовательность 0,751; 0,7501; 0,75001; 0,750001;... будет все ближе подходить к нему. То есть приближение любого вещественного числа возможно через последовательность рациональных чисел (что по сути и является решением Кантора задачи о континууме).
БЕСКОНЕЧНЫЕ СУММЫ
Математики XIX века, корпевшие над логическим обоснованием исчисления и открывшие ряды, то есть бесконечные суммы, выработали свои правила, которые существенно отличаются от тех, которые используются для привычных конечных сумм. В 1854 году немецкий математик Бернхард Риман (1826-1866) доказал: некоторые бесконечные суммы не обладают коммутативностью; другими словами, они могут быть реорганизованы так, что получится другой результат. Например, в ряде
сумма которого равна 0,6931471..., слагаемые могут быть распределены так, чтобы получился любой желаемый результат.
Георг Фридрих Бернхард Риман, 1862 год.
Если Р — произвольное множество чисел, то производным от Р множеством Кантор называл группу чисел, которые можно аппроксимировать через последовательности, состоящие из элементов Р. Он обозначил такое множество Р. Если Q — множество рациональных чисел, то предыдущий пример показывает, что Q' = R, где R обозначает множество всех вещественных чисел.
Труды Кантора — прекрасный плод математического гения и одно из высочайших достижений человеческого интеллекта.
Давид Гильберт, немецкий математик
В статьях начала 1870-х годов Кантор представлял определение производного множества в терминах потенциально бесконечных множеств. Но сама структура Q' отсылает к актуальной бесконечности, поскольку Q заключает в себе все рациональные числа. С другой стороны, определение Q' приводит нас к последовательностям и к определению вещественных чисел. Рассмотрим теперь, как проблема тригонометрических рядов подтолкнула Кантора к двум основным темам его последующих математических исследований — к актуальной бесконечности и к задаче о континууме.
УСЛОВИЕ ЕДИНСТВЕННОСТИ
Теперь возьмем множество Р, состоящее исключительно из чисел 0, 1 и 2. Множество Р, по определению Кантора, содержит все числа, которые можно аппроксимировать посредством последовательностей, состоящих из бесконечных различающихся элементов Р. Очевидно, что бесконечных и различающихся элементов Р не существует, поскольку их в этом множестве всего три.
Так как создать даже одну последовательность элементов Р невозможно, то в Р ничего нет. В этом случае, как писал Кантор, Р аннулируется. Сегодня мы бы сказали, что Р — пустое множество, то есть в нем нет составляющих, но мы оставим выражение Кантора. Чтобы понять условие единственности, найденное Кантором, вернемся к примеру производного Q' и убедимся, что оно также является множеством чисел, а значит, мы можем рассчитать его производное. Кантор записывал производное от производного Q как Q". Поскольку оно тоже является множеством, то мы можем рассчитать и его производное, которое будет записано как Q(3); а его производное — как Q(4), и так далее.
В случае с Q эта цепь производных не дает интересного результата, потому что Q', Q", Q(3), Q(4),... являются множествами вещественных чисел, а значит, продолжая получать их производные, мы не достигнем ничего нового. Но существуют такие множества Р (о них мы не будем говорить подробно), производные которых Р', Р", Р(3), Р(4) ... являются разными множествами или такими, что в конце концов процесс получения производных Р', Р", Р(3), Р(4) ... аннулируется. Например, можно найти множество Р, для которого Р состоит из чисел 0, 1 и 2. В этом случае Р", производное от Р', аннулируется. В других случаях аннулируется Р' в третьих — Р(3)или Р(4) и так далее. Разумеется, для Q этот процесс никогда не закончится, потому что на всех его этапах мы получим множество вещественных чисел R. Условие единственности, найденное Кантором, состоит в следующем: если Р — множество абсцисс точек прерывания периодического графика, то для того чтобы был всего один способ разложить его в тригонометрический ряд, достаточно, чтобы процесс Р', Р", Р(3), Р(4),... рано или поздно заканчивался. Так Кантор смог ясно и точно изложить условие, обеспечивающее единственно возможный способ разложения на ряд Фурье, и решил задачу, поставленную перед ним Гейне в 1869 году.
ЭДУАРД ГЕЙНЕ
Генрих Эдуард Гейне родился в Берлине, в Германии, 16 марта 1821 года и был восьмым из девяти детей. В 1838 году он поступил в Геттингенский университет и начал изучать математику, но в следующем году перешел в Берлинский университет, где 30 апреля 1842 года получил степень доктора. Два года спустя он стал преподавателем в университете в Бонне, а в 1856 году — в Галле. Там он читал различные лекции в разных областях вычисления и физики; его высоко ценили за ясность изложения. Гейне внес большой вклад в область логического обоснования вычисления. Он умер в Галле 21 октября 1881 года.
НА ПУТИ К БЕСКОНЕЧНОСТИ
В 1860-е годы Гейне доказал, что способ разложения периодического графика будет единственным, если он непрерывен, а также если в каждом его периоде конечное количество «прерываний». Решение Кантора подходит для обоих результатов и для случаев бесконечного количества прерываний в каждом периоде.
То есть если наблюдается непрерывность, разложение будет единственным, если в каждом периоде конечное количество прерываний — результат будет тем же. Продолжая эти рассуждения, Кантор создавал гипотезы, которые звучали примерно так: «Если в каждом периоде есть бесконечное количество прерываний, но их «немного», то разложение будет единственным». «Бесконечные, но их немного» — эта фраза может показаться противоречивой, но не для Кантора. Для него «немногое бесконечное» означало «счетное бесконечное», то есть прерывания бесконечны, но их мощность при этом должна быть меньше мощности вещественных чисел.
Впечатление, которое производит на нас писанина Кантора, просто ужасно. Читать ее — настоящая пытка.
Шарль Эрмит, французский математик, 1883 год
Итак, Кантор постулировал — и доказал это в своих «Основаниях общей теории многообразий» 1883 года, — что процесс получения производных Р', Р", Р(3), Р(4) ... в определенный момент аннулируется именно в тех случаях, когда оба множества Р и Р' конечны или счетны. Надо отметить, что Кантор уже высказывал такое предположение в 1872 году. Почему на доказательство ему потребовалось десять лет? На самом деле трудность была не столько технической, сколько психологической.
Сколько этапов потребуется преодолеть, чтобы процесс Р', Р", Р(3), Р(4) ... аннулировался? Это может произойти и на первом этапе, и на втором, и на третьем и так далее, но не все так просто.
Вернемся к последовательности 3,1; 3,14; 3,141; 3,1415;..., которая постепенно все больше приближается к числу π.
Обычно в таких случаях говорят, что последовательность «приближается к числу π бесконечно»; причем «бесконечно» должно пониматься потенциально, то есть числа 3,1; 3,14; 3,141; 3,1415;... стремятся к π, но никогда его не достигнут.
В ходе своих исследований Кантор нашел пример, в котором Р', Р", Р(3), Р(4) ... были разными множествами, но процесс получения их производных не аннулировался ни при каком конечном количестве переходов. Так он смог выявить множество P(∞). Символ ∞, введенный Джоном Валлисом в 1655 году, обычно использовался в исчислении для обозначения потенциальной бесконечности. Так же как числа 3,1; 3,14; 3,141; 3,1415;... все больше походят на число π, к множеству F“) все больше приближаются последовательные множества Р', Р", Р(3), Р(4) ... Однако в приведенном примере Кантор также обнаружил, что ix°°) состоит из чисел 0, 1 и 2, а следовательно, его производное аннулируется. Но каково же производное множества P(∞)? Если производное от Р(3) — это Р(4), а производное от Р(4) - Р(5), логично было бы предположить, что производное от P(∞) — это P(∞+1). Это означало бы, что процесс аннулируется после
