Георг Кантор¶

Георг Кантор — немецкий математик, создатель теории множеств и один из основоположников современной математики. Ввёл понятия бесконечных множеств, кардинальных (мощностей) и ординальных чисел, доказал несчётность континуума. Его работы стали фундаментом для многих разделов математики, включая математический анализ, топологию и логику.

¶Биография

¶Детство и образование

Георг Фердинанд Людвиг Филипп Кантор родился 3 марта 1845 года в Санкт-Петербурге, Российская империя, в семье датского купца Георга Вольдемара Кантора и русской подданной Марии Анны Бём. Отец происходил из еврейского рода, принявшего лютеранство; мать была католичкой. В 1856 году из-за слабого здоровья отца семья переехала во Франкфурт-на-Майне, а затем в Висбаден (Германия).

Кантор учился в гимназии в Дармштадте, где проявил способности к математике и, вопреки желанию отца видеть его инженером, решил посвятить себя этой науке. В 1862 году он поступил в Швейцарский федеральный технологический институт в Цюрихе, а через год перевёлся в Берлинский университет имени Гумбольдта. Там он слушал лекции ведущих математиков того времени — Леопольда Кронекера, Карла Вейерштрасса и Эрнста Куммера.

¶Научная карьера

После защиты докторской диссертации по теории чисел (1867) Кантор начал преподавать в частной школе в Берлине. В 1869 году он получил должность приват-доцента, а затем экстраординарного профессора в Университете Галле. В 1879 году стал ординарным профессором математики и оставался на этом посту до выхода на пенсию в 1913 году.

Научная деятельность Кантора, особенно его теория бесконечных множеств, встретила жесткое неприятие со стороны ряда коллег, в первую очередь Леопольда Кронекера, который считал его работы «патологическими» и «кощунственными». Кронекер, пользовавшийся большим влиянием в научных кругах, препятствовал публикациям Кантора и назначению его на престижные профессорские должности, в том числе в Берлинский университет. Этот конфликт привёл к затяжному нервному расстройству Кантора, начиная с 1884 года у него случались депрессивные эпизоды, но он продолжал работать. После смерти Кронекера в 1891 году Кантор начал получать больше признания, в частности его избрали президентом Немецкого математического общества (1890–1893). В конце жизни Кантор поддерживал переписку и общался с ведущими математиками Европы (Гильбертом, Дедекиндом, Юнгом). Умер 6 января 1918 года в санатории в Галле.

¶Вклад в математику

¶Теория множеств

Основным достижением Кантора стала теория множеств — область математики, изучающая общие свойства множеств (совокупностей объектов). Ключевые идеи:

• Мощность множества (кардинальность): количество элементов в множестве. Кантор первым строго определил понятие «равномощности» двух множеств — два множества равномощны, если между их элементами можно установить взаимно однозначное соответствие (биекцию). Это позволило сравнивать бесконечные множества по «размеру».
• Счётные множества: множество, равномощное множеству натуральных чисел ℕ. Например, множество целых чисел (ℤ) и рациональных чисел (ℚ) — счётны. Кантор доказал это, построив биекцию, например, между ℕ и ℚ (диагональный аргумент Кантора для рациональных чисел).
• Несчётные множества: множество, которое не является счётным. Самым известным примером стало множество вещественных чисел ℝ. Кантор доказал его несчётность с помощью диагонального аргумента (1891), который показал, что любая попытка занумеровать все действительные числа неизбежно пропустит часть из них.
• Континуум-гипотеза: гипотеза Кантора о том, что не существует множества, мощность которого строго больше мощности счётного множества (ℵ₀) и строго меньше мощности континуума (ℵ₁). Эта гипотеза оказалась неразрешимой в рамках стандартной теории множеств (ZFC) — она независима от аксиом, что было доказано Куртом Гёделем (1940) и Полом Коэном (1963).

¶Канторово множество

Канторово множество (канторова пыль) — классический пример нигде не плотного совершенного множества, построенного путём рекурсивного удаления средней трети из отрезка [0,1]. Несмотря на то, что его длина (мера Лебега) равна нулю, оно имеет мощность континуума. Это множество является одним из первых фракталов и находит применение в теории хаоса, функциональном анализе и топологии.

¶Теория ординалов

Наряду с кардинальными числами Кантор разработал теорию ординальных чисел (порядковых чисел) — обобщение понятия порядкового номера на бесконечные множества. Ординалы предназначены для описания последовательностей, которые продолжаются «после» бесконечности. Кантор ввёл основные операции с ординалами (сложение, умножение) и изучал их трансфинитную иерархию.

¶Реакция и критика

¶Оппозиция Кронекера

Как уже упоминалось, идеи Кантора встретили резкое неприятие со стороны Леопольда Кронекера, который был конструктивистом и отрицал существование актуально бесконечных множеств. Кронекер утверждал, что «Бог создал целые числа, всё остальное — дело рук человека», и считал теорию Кантора «мистической» и «противоречащей здравому смыслу».

¶Философские споры

Некоторые философы и теологи того времени критиковали теорию множеств за то, что она «антропоморфизирует» бесконечность и пытается приписать Богу числовые характеристики. Однако многие математики (Давид Гильберт, Гуннар Гарнак, Адольф Гурвиц) поддерживали Кантора, а Гильберт в 1926 году назвал его теорию «раем, из которого нас никто не изгонит».

¶Диаграммы Кантора

Визуальные представления, используемые для демонстрации равномощности множеств (например, диаграмма для ℕ и ℚ), стали стандартным инструментом в обучении теории множеств.

¶Наследие

Сегодня теория множеств считается одной из основ всей современной математики. Без неё невозможно представить математический анализ, топологию, теорию вероятностей, булеву алгебру и многие другие дисциплины. Имя Георга Кантора носят:

• Теорема Кантора (о несчётности множества всех подмножеств данного множества).
• Канторово множество.
• Канторова лестница (функция, постоянная почти всюду, но не являющаяся константой).
• Аксиома Кантора (о вложенных отрезках).

Несмотря на непризнание при жизни, Кантор оказал колоссальное влияние на развитие математики XX века. Его работы стимулировали создание аксиоматической теории множеств (Цермело — Френкеля) и математической логики.

¶Источники

• Кантор, Георг. Труды по теории множеств. Перевод с нем. под ред. И. В. Белоусова. М.: Наука, 1985.
• Даан-Дальмедико, А.; Пейффер, Ж. Пути и лабиринты. Очерки по истории математики. М.: Мир, 1986.
• Линдсей, Роберт. Георг Кантор: биография // Энциклопедия философии Стэнфорда (англ.).
• Cajori, Florian. A History of Mathematics. 4th ed. — N. Y.: Chelsea Publishing, 1980.