Родился: Санкт-Петербург, Россия, 3 марта [19 февраля по старому стилю] 1845 г. Умер: Галле, Германия, 6 января 1918 г.
Понятие бесконечности, того, что может продолжаться вечно, без остановки, завораживала человека испокон веков. Философы, разумеется, повеселились в этой теме вволю. На протяжении последних нескольких столетий математики, в частности, широко использовали бесконечность; точнее говоря, они использовали множество различных интерпретаций бесконечности во множестве различных контекстов. Бесконечность – это не просто очень большое число. Строго говоря, это вообще не число, потому что бесконечность больше любого конкретного числа. Если бы бесконечность была числом, это означало бы, что она должна быть больше самой себя. Аристотель рассматривал бесконечность как процесс, продолжающийся неопределенно долго: до какого бы числа вы ни добрались, вы всегда сможете найти большее число. Философы называют это потенциальной бесконечностью.
Некоторые индийские религии, и среди них джайнизм, буквально очарованы большими числами. Согласно джайнскому математическому тексту «Сурья-праджняпти», некий индийский математик-визионер заявил около 400 г. до н. э., что существует множество размеров бесконечности. Звучит как мистическая чепуха, не правда ли? Если бесконечность – это самое большое, что только может существовать, то как одна бесконечность может быть больше другой? Но ближе к концу XIX в. немецкий математик Георг Кантор разработал Mengenlehre – теорию множеств – и воспользовался ею, чтобы объявить: бесконечность может быть актуальной, а не просто Аристотелевым процессом потенциальности, и вследствие этого одни бесконечности могут быть больше, чем другие.
В то время многие математики также посчитали эту идею мистической чепухой. Кантору пришлось вести бесконечные баталии с критиками, многие из которых использовали язык, который в сегодняшнем мире, вероятно, стал бы поводом для судебных исков. Он страдал от депрессии, которая еще больше усиливалась, вероятно, от тех издевок, которым он постоянно подвергался. Сегодня, однако, большинство математиков считают, что Кантор был прав. В самом деле, различие между самой маленькой бесконечностью и любой бесконечностью побольше является фундаментальным во многих областях прикладной математики, в первую очередь в теории вероятностей. А теория множеств стала логическим основанием для математики в целом. Гильберт, один из крупнейших математиков среди тех, кто рано понял обоснованность идей Кантора, сказал: «Никто не сможет изгнать нас из рая, созданного Кантором».
* * *
Мать Кантора, Мария Анна (урожденная Бём), была талантливым музыкантом, а его дед Франц Бём служил солистом Русского императорского оркестра. Георг вырос в музыкальной семье и стал неплохим скрипачом. Его отец, тоже Георг, занимался оптовой торговлей в Санкт-Петербурге, а позже участвовал в работе городской биржи. Его мать была католичкой, но отец – протестантом, и Георг тоже был воспитан в этой вере. Гувернер начал водить его в начальную школу, но холодные петербуржские зимы плохо сказывались на здоровье отца, и в 1856 г. семья переехала в Германию, в Висбаден, а позже во Франкфурт. Хотя всю оставшуюся жизнь Кантор провел в Германии, ближе к концу он писал, что «никогда не чувствовал себя непринужденно» там и тосковал по России своего детства.
Кантор учился в реальном училище в Дармштадте и жил там же в пансионе. В 1860 г. он окончил училище; его характеризовали как очень способного учащегося, подчеркивая успехи юноши в математике, особенно в тригонометрии. Отец хотел, чтобы Кантор стал инженером, и поэтому отправил его в Высшую коммерческую школу в том же Дармштадте. Но Георг-младший хотел изучать математику и донимал отца, пока тот не сдался. В 1862 г. Георг начал изучать математику в Политехническом институте в Цюрихе. В 1863 г., когда отец умер и оставил ему значительное наследство, Георг перевелся в Берлинский университет. Там он посещал лекции Кронекера, Кюммера и Вейерштрасса. После лета 1866 г., проведенного в Гёттингене, в 1867 г. он представил диссертацию «О неопределенных уравнениях второй степени» – тема из теории чисел.
После этого он начал работать учителем в школе для девочек, но работу над хабилитацией не оставил. После получения места в Университете Галле Георг представил диссертацию по теории чисел и получил степень доктора хабилис. Эдуард Хайне, видный математик в Галле, предложил Кантору сменить поле исследований и заняться знаменитой нерешенной задачей о рядах Фурье: доказать, что представление функции в этом виде единственно. Решить задачу пытались Дирихле, Рудольф Липшиц, Риман и сам Хайне, но никому из них это не удалось. Кантор решил задачу меньше чем за год. Он продолжал работать над тригонометрическими рядами еще некоторое время, и исследования привели его в области, которые мы сегодня рассматриваем как прототип теории множеств. Причина в том, что многие свойства рядов Фурье зависят от особенностей представляемой функции, например структуры множества точек, в которых эта функция имеет разрывы. Кантор не смог добиться прогресса в этих областях, не столкнувшись со сложными вопросами о бесконечных множествах действительных чисел.
Исследования в области оснований математики были на подъеме, и после столетий отношения к действительным числам как к бесконечным десятичным дробям математики начинали задумываться о том, что это все означает. К примеру, невозможно записать бесконечное десятичное представление числа π. Мы можем лишь установить правила, по которым его нужно искать. В 1872 г. в одной из статей о тригонометрических рядах Кантор ввел новый метод определения действительного числа как предела сходящейся последовательности рациональных чисел. В том же году Дедекинд опубликовал знаменитую статью, в которой определил действительное число в терминах «сечения», разделяющего рациональные числа на два непересекающихся подмножества, таких, что все элементы одного подмножества меньше любого из элементов другого подмножества. В ней он цитировал статью Кантора. Оба этих подхода – сходящаяся последовательность рациональных чисел и сечение Дедекинда – стандартны в базовых курсах математики и при построении множества действительных чисел из рациональных.
К 1873 г. Кантор углубился в исследования, результаты которых показали его как значительную фигуру в области теории множеств и трансфинитных (его собственный термин для бесконечных) чисел. Теория множеств с тех пор стала существенной частью любого математического курса, поскольку предоставляет удобный и гибкий язык для описания предмета. Если не углубляться в формальности, множество – это любой набор объектов: числа, треугольники, Римановы поверхности, перестановки и вообще что угодно. Множества можно комбинировать разными способами. К примеру, объединение двух множеств – это то, что получится, если соединить эти два множества в одно, а их пересечение – все то, что они имеют общего. Используя множества, мы можем определить такие базовые концепции, как функции и отношения. Мы можем построить такие системы чисел, как целые, рациональные, действительные и комплексные числа, из более простых составляющих, если привлечем к делу пустое множество, которое вообще не имеет элементов.
Трансфинитные числа – это способ расширить понятие «сколько элементов» на бесконечные множества. Кантор натолкнулся на эту идею в 1873 г., когда доказал, что рациональные числа счетны; то есть их можно поставить в однозначное соответствие с натуральными числами 1, 2, 3,… (Я объясню стоящие за этим идеи и терминологию чуть позже.) Если бы на свете существовал только один размер бесконечности, этот результат был бы очевиден, но он вскоре обнаружил доказательство того, что действительные числа несчетны. Об этом он опубликовал статью в 1874 г. – год, очень важный для Кантора в личном плане, поскольку именно тогда он женился на Вали Гутман; в этом браке у них родилось шестеро детей.
