Иэн Стюарт - Значимые фигуры. Жизнь и открытия великих математиков

Мать Кантора, Мария Анна (урожденная Бём), была талантливым музыкантом, а его дед Франц Бём служил солистом Русского императорского оркестра. Георг вырос в музыкальной семье и стал неплохим скрипачом. Его отец, тоже Георг, занимался оптовой торговлей в Санкт-Петербурге, а позже участвовал в работе городской биржи. Его мать была католичкой, но отец – протестантом, и Георг тоже был воспитан в этой вере. Гувернер начал водить его в начальную школу, но холодные петербуржские зимы плохо сказывались на здоровье отца, и в 1856 г. семья переехала в Германию, в Висбаден, а позже во Франкфурт. Хотя всю оставшуюся жизнь Кантор провел в Германии, ближе к концу он писал, что «никогда не чувствовал себя непринужденно» там и тосковал по России своего детства.

Кантор учился в реальном училище в Дармштадте и жил там же в пансионе. В 1860 г. он окончил училище; его характеризовали как очень способного учащегося, подчеркивая успехи юноши в математике, особенно в тригонометрии. Отец хотел, чтобы Кантор стал инженером, и поэтому отправил его в Высшую коммерческую школу в том же Дармштадте. Но Георг-младший хотел изучать математику и донимал отца, пока тот не сдался. В 1862 г. Георг начал изучать математику в Политехническом институте в Цюрихе. В 1863 г., когда отец умер и оставил ему значительное наследство, Георг перевелся в Берлинский университет. Там он посещал лекции Кронекера, Кюммера и Вейерштрасса. После лета 1866 г., проведенного в Гёттингене, в 1867 г. он представил диссертацию «О неопределенных уравнениях второй степени» – тема из теории чисел.

После этого он начал работать учителем в школе для девочек, но работу над хабилитацией не оставил. После получения места в Университете Галле Георг представил диссертацию по теории чисел и получил степень доктора хабилис. Эдуард Хайне, видный математик в Галле, предложил Кантору сменить поле исследований и заняться знаменитой нерешенной задачей о рядах Фурье: доказать, что представление функции в этом виде единственно. Решить задачу пытались Дирихле, Рудольф Липшиц, Риман и сам Хайне, но никому из них это не удалось. Кантор решил задачу меньше чем за год. Он продолжал работать над тригонометрическими рядами еще некоторое время, и исследования привели его в области, которые мы сегодня рассматриваем как прототип теории множеств. Причина в том, что многие свойства рядов Фурье зависят от особенностей представляемой функции, например структуры множества точек, в которых эта функция имеет разрывы. Кантор не смог добиться прогресса в этих областях, не столкнувшись со сложными вопросами о бесконечных множествах действительных чисел.

Исследования в области оснований математики были на подъеме, и после столетий отношения к действительным числам как к бесконечным десятичным дробям математики начинали задумываться о том, что это все означает. К примеру, невозможно записать бесконечное десятичное представление числа π. Мы можем лишь установить правила, по которым его нужно искать. В 1872 г. в одной из статей о тригонометрических рядах Кантор ввел новый метод определения действительного числа как предела сходящейся последовательности рациональных чисел. В том же году Дедекинд опубликовал знаменитую статью, в которой определил действительное число в терминах «сечения», разделяющего рациональные числа на два непересекающихся подмножества, таких, что все элементы одного подмножества меньше любого из элементов другого подмножества. В ней он цитировал статью Кантора. Оба этих подхода – сходящаяся последовательность рациональных чисел и сечение Дедекинда – стандартны в базовых курсах математики и при построении множества действительных чисел из рациональных.

К 1873 г. Кантор углубился в исследования, результаты которых показали его как значительную фигуру в области теории множеств и трансфинитных (его собственный термин для бесконечных) чисел. Теория множеств с тех пор стала существенной частью любого математического курса, поскольку предоставляет удобный и гибкий язык для описания предмета. Если не углубляться в формальности, множество – это любой набор объектов: числа, треугольники, Римановы поверхности, перестановки и вообще что угодно. Множества можно комбинировать разными способами. К примеру, объединение двух множеств – это то, что получится, если соединить эти два множества в одно, а их пересечение – все то, что они имеют общего. Используя множества, мы можем определить такие базовые концепции, как функции и отношения. Мы можем построить такие системы чисел, как целые, рациональные, действительные и комплексные числа, из более простых составляющих, если привлечем к делу пустое множество, которое вообще не имеет элементов.