Получив докторскую степень, еще в Берлине Кантор опубликовал три статьи в Zeitschrift fur Mathematik und Physik («Физико-математический журнал»): одну в 1868-м, а другие две — в 1869 году. В первой он рассматривал классическую арифметическую задачу и решал ее методами, которые даже по тем временам не были инновационными, зато в двух других приблизился к тому, что впоследствии обрело форму теории бесконечности.
Обе эти статьи были посвящены вычислению. В первой статье — (Jberdie einfachen Zahlensysteme («О простых числовых системах») — рассматривалось одно свойство иррациональных чисел, во второй — Zwei Satze iiber eine gewisse Zerlegung der Zahlen in unendliche Produckte («Две теоремы о разложении чисел на бесконечные множители») — возможность представить определенные числа как результат бесконечных произведений.
Тема «бесконечного произведения» затрагивала область исчисления, но надо пояснить, что здесь речь шла о потенциальной бесконечности. Так, если умножить 0,5 само на себя «бесконечное количество раз», то в результате получится 0, но это надо понимать в том смысле, что чем больше раз мы совершим это умножение, тем ближе мы подойдем к 0. Действительно, если мы перемножим 0,5 дважды, то получим 0,25; трижды — 0,125; четырежды — 0,0625, и так далее. Результат будет постепенно приближаться к 0. Здесь суть заключается в приближении, а не в актуально бесконечном произведении 0,5.
В наши дни [...] доказательства [...] Кантора по праву украшают мировой музей истории математики.
Мартин Гарднер, ^Нескучная математика. Калейдоскоп головоломок*, 1975 год
Пока Кантор писал эти статьи, на жизнь он зарабатывал уроками математики в женской гимназии и корпел над диссертацией на получение степени хабилитированного доктора. Она была необходима, чтобы преподавать в университете. Тема диссертации Кантора на латыни звучала как De transformatione jоплатит temariarum quadraticorum («О преобразовании тернарных квадратичных форм»).
Самым большим его желанием было получить место в университете Берлина или Геттингена, но пришлось довольствоваться положением в Галле. Он заступил на должность в 1869 году. Этот университет имел знаменательное прошлое, но в XIX веке слава его померкла. Кантор непрерывно пытался изыскать способ перевестись в Берлин или Геттинген, но все было напрасно, и ученый очень переживал по этому поводу.
В Галле под руководством Генриха Эдуарда Гейне (1821— 1881) Кантор окончательно сосредоточился на вычислении и с 1870 по 1872 год опубликовал пять статей (которые будут рассмотрены в следующей главе). В них он исследовал определенный тип бесконечных сумм. И хотя, как и бесконечные множества, они понимались потенциально, а не актуально бесконечными, именно вследствие этих первых работ в Галле Кантор задумался об актуальной бесконечности. Впервые она появилась в его научных трудах, хоть и неявно, в статье 1874 года.
Помимо публикации этой работы, разделившей его научную карьеру на «до» и «после», в 1874 году в жизни Кантора произошло еще одно важное событие — 9 августа он женился.
Валли Гутман, его невеста, тоже любила искусство, играла на фортепиано и брала уроки пения. Медовый месяц они провели в Интерлакене, туристическом городке Швейцарии. И чтобы лучше очертить характер ученого, отметим, что большую часть времени он беседовал о математике с Дедекиндом.
У Валли Гутман и Георга Кантора родились шестеро детей: четыре девочки и два мальчика. Веселый нрав Валли прекрасно дополнял серьезный и даже суровый характер Кантора и определял атмосферу их дома: как было принято в то время в кругах немецких университетских профессоров, семья вела очень активную общественную жизнь.
БЕСКОНЕЧНОСТЬ ПО КАНТОРУ
Теперь проанализируем статью liber eine Eigenschaft des Inbegriffes alter reellen algebraischen Zahlen («Об одном свойстве совокупности всех действительных алгебраических чисел»), опубликованную Кантором в 1874 году в «Журнале Крелле». В этой статье уже содержались основные идеи, которые позже позволили Кантору прийти к своей теории бесконечности, несмотря на то что Карл Вейерштрасс посоветовал ему скрыть их или хотя бы не подчеркивать их революционность. О чем же говорилось в статье? Что это были за идеи? Почему их следствия были столь провокационными? И что же это за «действительные алгебраические числа»?
Начнем анализ с одного из первых утверждений теории Кантора.
Оно гласит, что два множества предметов можно соотнести друг с другом, если член одного из них сопоставим с членом другого так, что ни в одном из этих множеств не останется члена без пары. Галилей проделал это с группами натуральных чисел и квадратных (см. рисунок).
Говоря математическим языком, эта операция является «установлением взаимно однозначного соответствия» между членами множеств.
Заметим, что если в обоих множествах больше не осталось членов, то сказать «два множества эквивалентны» — значит сказать, что в них одинаковое количество членов.
Теория Кантора основывается на том, что вопреки мнению Галилея этот принцип может быть перенесен на актуально бесконечные группы без какого-либо противоречия. То есть можно утверждать, что если два множества эквивалентны, в них одинаковое количество членов. Именно это и хотел доказать Кантор.
Вопросы бесконечности бросали вызов разуму и воображению человека, как никакая другая проблема за всю историю человеческой мысли.
Эдвард Каснер и Джеймс Ньюмен, «Математика и воображение», 1940 год
Однако говорить о «количестве членов» актуально бесконечного множества несколько странно, потому что, как сказал бы Аристотель, не существует числа, которое выражает это количество. (По крайней мере его не существовало в середине 1870-х годов. А позже, как мы увидим, оно появится. Отметим также, что знаменитый символ °°, введенный в 1655 году английским математиком Джоном Валлисом, обозначает потенциальную бесконечность, а не актуальную.) Так Кантор был вынужден ввести понятие «кардинальное число». Оно выражает идею количества членов законченной или актуально бесконечной группы, не говоря о количестве открыто. Вообще-то Кантор употребил термин «мощность», но после математики изменили его на «кардинальное число». Сегодня оба термина употребляются наравне.
Кардинальное число множества, по Кантору, — это характеристика, которая сохраняется после абстрагирования сущности его членов, а также их взаимоотношений.
Возьмем группу букв, составляющих слово «небо». Их кардинальное число, по определению Кантора, можно записать как ****. Эти символы обозначают членов группы, природа которой рассматривается как абстракция. Кардинальное число последовательности чисел 2,3, 5,7 тоже было бы ****.
У обеих групп одно и то же кардинальное число, поскольку у них одинаковое количество членов (четыре, разумеется). Действительно, **** могло бы стать пусть примитивным, но действенным способом обозначения числа 4. Кардинальное число множества натуральных чисел выглядело бы как *********** (символы продолжаются бесконечно). Таким же было бы и кардинальное число множества квадратных чисел. Следуя рассуждениям Кантора, если два множества эквивалентны, у них одинаковая мощность.
