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

В это время обрела форму идея того, что теория множеств может быть основой всей математики. Но что конкретно это значило? На протяжении веков образцом математической мысли была классическая древнегреческая геометрия. Более того, считалось, что самый четкий способ объяснения математических понятий — это представление их посредством геометрии. Число, в частности иррациональное число, можно было представить как отрезок, а числовые операции — как построения.

Георг Кантор, около 1894 года.

Анри Лебег, французский математик.

Эмиль Борель, 1929 год. Вместе с Лебегом он начал обобщать понятия теории множеств, чтобы создать на их основе теорию меры.

В 1890-е годы Анри Пуанкаре утверждал, что понятия теории множеств необходимы и для топологии.

Декарт в сочинении «Правила для руководства ума», написанном в 1620-е годы, объясняет, что умножение двух чисел, то есть двух отрезков, в сущности состоит в том, чтобы построить прямоугольник, сторонами которого и будут эти отрезки. Отметим: Декарт не говорит, как мы сейчас, что произведение сторон позволит нам получить площадь прямоугольника. Он утверждает, что прямоугольник является произведением двух чисел; понятия и операции воспринимались как геометрические объекты и построения.

Никто не сможет изгнать нас из рая, созданного Кантором.

Давид Гильберт (1862-1943), немецкий математик

Это господство геометрии в XIX веке стало постепенно сходить на нет — процесс был назван арифметизацией исчисления. В результате математические понятия, особенно связанные с исчислением, перестали пониматься через призму геометрии и отныне основывались исключительно на числах. Однако если числа — это не отрезки, то что тогда? Некоторые математики, среди которых был и Рихард Дедекинд, увидели ответ на этот вопрос в теории множеств. Если определения чисел и операции с ними больше не отталкивались от геометрических понятий, то их место могли бы занять понятия теории множеств.

В 1872 году Дедекинд уже использовал теорию множеств для определения вещественных чисел, но в нем предполагалось существование рациональных чисел, а они, в свою очередь, определяются на основе натуральных.

Как мы определяем натуральные числа, которые находятся в начале этой цепи понятий (рисунок 1)?

Дедекинд ответил на этот вопрос в статье Was sind und was sollen die Zahlen {«Что такое числа и для чего они служат»), опубликованной в 1887 году как самостоятельная монография. В ней Дедекинд использует определение множества, предложенное Кантором в 1883 году (Дедекинд называл множества «системой элементов»), а также объединения множеств. По мнению ученого, натуральные числа — всего лишь кардинальные числа конечных множеств. Он называет число 0 кардинальным числом пустого множества (такого, в котором нет членов), 1 — кардинальным числом любого множества с одним членом и так далее.

РИСУНОК 1: Определения числовых множеств. После определения натуральных чисел остальные множества могут быть последовательно определены на их основе.

РИСУНОК 2: Для того чтобы объединение не было равно сумме, у двух множеств не должно быть общих элементов.

В свою очередь, сумма чисел определяется посредством объединения множеств. Так, когда мы говорим: «1 + 1 = 2», на самом деле мы утверждаем, что если даны два множества и кардинальное число каждого равно 1, то их общее кардинальное число будет равно 2 (рисунок 2 на предыдущей странице).

Таким же образом все математические понятия могут быть сведены к понятиям теории множеств. Мнение о том, что математика основана на теории множеств, серьезно повлияло на науку XX века и продолжает влиять на нее сейчас.

Последнее десятилетие XIX века началось для Кантора чрезвычайно благоприятно. Молодые математики принимали, изучали и применяли его теорию бесконечности, а Рихард Дедекинд тем временем предлагал сделать из теории множеств основу всей математической науки. К этим обстоятельствам добавилось еще одно событие, внушавшее оптимизм: в 1890 году было создано Немецкое математическое общество, и Кантор был избран его первым президентом. Он занимал эту должность до 1893 года.

Появление общества было результатом интенсивной работы, в которой оправившийся от депрессии Кантор принял активное участие и которая совпала с объединением Германии.

В начале XIX века страна в действительности была разделена на 38 политически независимых «государств», у которых, тем не менее, были общий язык, культура и история. Самым сильным из них была Пруссия. Примерно в 1860 году прусский первый министр, «железный канцлер» Отто фон Бисмарк начал процесс объединения, в ходе которого произошли три военных конфликта и были заключены несколько политических союзов. Процесс завершился 18 января 1871 года провозглашением Германской империи, объединенной под короной Вильгельма I, бывшего до этого королем Пруссии.

Тот, кто хоть раз испытал на себе очарование личности Кантора, знает, что он полон проницательности, темперамента, изобретательности и оригинальности.

Артур Мориц Шенфлис (1853-1928), немецкий математик

Однако в конце 1880-х годов Кантор и его коллеги, среди которых знаменитый геометр Феликс Клейн (1849-1925), заметили, что хотя с момента объединения страны прошло уже почти 20 лет, в отдельных регионах еще сохранялась зависть к соседям, мешавшая плодотворному сотрудничеству. Поэтому многие ученые увлеклись идеей создания общества, которое объединило бы всех немецких математиков. Этот проект обрел реальные черты в 1890 году, а Кантор стал первым президентом новой ассоциации.

Открытие Немецкого математического общества состоялось в сентябре 1891 года, и в знак примирения со старым врагом Кантор лично пригласил Кронекера прочитать лекцию.

Тот принял приглашение, но, к сожалению, не смог приехать, так как в августе его жена стала жертвой несчастного случая и спустя месяц умерла. Кронекер пережил ее не намного: его не стало 29 декабря того же года.