Жизнь Георга Кантора

Опубликованная в 1874 г. работа [10] представляет собой, наряду со средней частью статьи [5], публикацию Кантора, открывающую теорию множеств; в ней делается решительный шаг к строгому разграничению трансфинитного, особенно в отношении мощности. В наивном понятии «бесконечного» исчезали все различия, и сам Кантор вначале предполагал еще континуум счетным; в этой же статье за теоремой о счетности множества алгебраических чисел следует доказательство, что множество всех действительных чисел уже несчетно. Именно, для каждой последовательности действительных чисел Кантор строит с помощью принципа вложенных отрезков не принадлежащее ей число. Из сопоставления обоих результатов вытекает существование бесконечного множества трансцендентных чисел в любом интервале. Естественно было бы искать еще более высокие трансфинитные мощности, перейдя от одномерного континуума к многомерным. Как показывает корреспонденция Кантора с Дедекиндом, эта мысль занимала исследователя уже летом 1874 г. Насколько нужен был новый подход, чтобы вообще усмотреть здесь какую-либо проблему, видно из письма Кантора: он рассказывает, как один его друг в Берлине объявил идею об отобразимости линейного континуума на плоский «заведомо абсурдной, поскольку само собой разумеется, что две независимых переменных не сводятся к одной»; подобную же отповедь получил он позже при посещении Геттингена по случаю юбилея Гаусса в 1877 г. В письме от 20 июня 1877 г. он сообщает Дедекинду, после многолетних усилий, свою попытку построить отображение одномерного континуума на многомерный, и просит друга проверить доказательство; результат оказался для него самого в высшей степени неожиданным : “je le vois, mais je ne le crois pas” («вижу, но не верю») и, как он думал, колеблющим понятие размеренность, т. е. возможность охарактеризовать размерность числом независимых координат. В ответе Дедекинда указывается пробел в доказательстве (позже устраненный с помощью несложного приема Юлиусом Кенигом); это побудило Кантора перейти от первоначально использованных им разложений в десятичные дроби к представлениям цепными дробями. Далее, Дедекинд, защищая понятие размерности, подчеркивает значение требования, чтобы соответствие было непрерывным.

По существу, усовершенствованное доказательство, сообщенное затем в письме Дедекинду, и содержится в работе [11], где устанавливается независимость мощности континуума от его размерности. В этой работе, между прочим, вводится уже понятие эквивалентности, понятие мощности и высказывается гипотеза континуума. Здесь содержится также, без доказательства, утверждение о сравнимости мощностей; ясно, что в то время (и еще долго впоследствии) Кантор считал это свойство самоочевидным.

Опубликование этой работы в «Журнале Крелля» не обошлось без трудностей; она пролежала в редакции, после поступления 12 июля 1877 г., дольше обычного тогда срока и гораздо дольше, чем это допускало нетерпение Кантора, хотя за нее и вступился Вейерштрасс. В ноябре автор горько жаловался Дедекинду, что печатание статьи, вопреки заверениям редакции, «совершенно непостижимым для него образом» затягивается и откладывается в пользу работ, поступивших позднее; вероятно, причина заключалась в парадоксальности ее результата для того времени. К счастью, Дедекинду удалось, ссылаясь на собственный опыт, отговорить друга от опрометчивого намерения забрать рукопись и напечатать ее в виде отдельного сочинения; вскоре трудности в редакции рассеялись, и статья вышла из печати. Это была, однако, последняя публикация Кантора в «Журнале Крелля»; если даже допустить, что Кантор придал слишком серьезное значение задержке опубликования, причиной ее было уже, по-видимому, отрицательное отношение Кронеккера к идеям своего ученика, из которого впоследствии и развился кризис 1884 года. В то время как все эти обстоятельства тяжело удручали Кантора, назначение его ординарным профессором в Галле удовлетворило его лишь в ограниченной степени, потому что он стремился к другой должности и к более широкому кругу действия. Уже в 1874 г. он сознается Дедекинду: «Во время каникул я никогда не мог здесь долго выдержать, потому что единственное, что меня в течение пяти лет, некоторым образом, привязывает к Галле − это однажды избранная университетская профессия». Он предполагал, что отсутствие приглашений из других мест объясняется критической оценкой его работ влиятельными коллегами; при том почти бесспорном авторитете, которым пользовался тогда Кронеккер, это кажется вполне оправданным. Так, в 1883 г. Кантор, подавая министру прошение о месте в Берлине, не только не рассчитывал на немедленный успех, но заранее предвидел препятствия со стороны Шварца и Кронеккера; прошение не имело успеха, вызвав сильное противодействие Кронеккера.