Кантор, Георг
Георг Кантор | |
---|---|
нем. Georg Cantor | |
| |
Имя при рождении | нем. George Ferdinand Ludwig Philipp Cantor |
Дата рождения | 19 февраля (3 марта) 1845 |
Место рождения | Санкт-Петербург |
Дата смерти | 6 января 1918 (72 года) |
Место смерти | Галле, Германия |
Страна | Германская империя |
Род деятельности | математик, философ, преподаватель университета |
Научная сфера | математика |
Место работы | Галльский университет |
Альма-матер | Берлинский университет |
Учёная степень | доктор философии (1867) |
Научный руководитель | Эрнст Куммер, Карл Вейерштрасс |
Известен как | создатель теории множеств |
Награды и премии | Медаль Сильвестра (1904) |
Автограф | |
Медиафайлы на Викискладе |
Гео́рг Фе́рдинанд Лю́двиг Фи́липп Ка́нтор (нем. Georg Ferdinand Ludwig Philipp Cantor, 3 марта 1845, Санкт-Петербург — 6 января 1918, Галле (Заале)) — немецкий математик, ученик Карла Вейерштрасса. Наиболее известен как создатель теории множеств. Основатель и первый президент Германского математического общества, инициатор создания Международного конгресса математиков.
Кантор впервые определил сравнение произвольных множеств, включая бесконечные, по их «мощности» (обобщению понятия количества) через понятие взаимно-однозначного соответствия между множествами. Он классифицировал множества по их мощности, определил понятия кардинальных и порядковых чисел, арифметику кардинальных и порядковых чисел.
Теория Кантора о трансфинитных числах первоначально была воспринята как нарушение многовековых традиций, заложенных ещё древними греками и отрицающих актуальную бесконечность как легальный математический объект. Со временем канторовская теория множеств была поставлена на аксиоматическую основу и стала краеугольным камнем в современном построении оснований математики, на неё опираются математический анализ, топология, функциональный анализ, теория меры и многие другие разделы математики.
Биография
[править | править код]Ранние годы и обучение
[править | править код]Кантор родился в 1845 году в Западной колонии торговцев в Санкт-Петербурге и рос там до одиннадцатилетнего возраста. Отец — Георг-Вольдемар Кантор (1814, Копенгаген — 1863, Франкфурт) — происходил из осевших в Амстердаме португальских евреев[англ.] и был датским подданным лютеранского вероисповедания, маклером Петербургской фондовой биржи. В Петербурге уже давно жили многие родственники отца, начиная с прадеда. Двоюродный брат отца — известный русский юрист-цивилист Д. И. Мейер. В российских документах Георг-Вольдемар Кантор именовался Егором Яковлевичем Кантором. Мать — Мария-Анна Бём (1819, Санкт-Петербург — 1896, Берлин) — племянница известного венгерско-российского скрипача Йозефа Бёма. Дед математика по матери, Франц Бём (1788—1846), тоже был скрипачом. С 1850 года в том же доме (11-я линия, дом 24) на Васильевском острове, где жила семья Канторов, поселился 29-летний П. Л. Чебышёв[1][2].
Георг был первенцем, старшим из шести детей. Он виртуозно играл на скрипке, унаследовав от своих родителей значительные художественные и музыкальные таланты. Отец семейства писал в 1851 году о сыне: «Он одарён от природы стремлением к порядку, преобладающим надо всем остальным». В 1853 году Георг поступил в Петришуле. Когда отец заболел, семья, рассчитывая на более мягкий климат, в 1856 году переехала в Германию: сначала в Висбаден, а потом во Франкфурт[2].
В 1860 году Георг окончил с отличием реальное училище в Дармштадте; учителя отмечали его исключительные способности к математике, в частности, к тригонометрии. В 1862 году поступил в Федеральный политехнический институт в Цюрихе. Через год умер его отец; получив солидное наследство, Георг перевёлся в Берлинский университет имени Гумбольдта, где начал посещать лекции таких знаменитых учёных, как Леопольд Кронекер, Карл Вейерштрасс и Эрнст Куммер. Лето 1866 года он провёл в Гёттингенском университете — крупнейшем центре математической мысли тех времён. В 1867 году Берлинский университет присвоил ему степень доктора философии за работу по теории чисел «De aequationibus secundi gradus indeterminatis».
Начало научной деятельности (1869—1878)
[править | править код]После непродолжительной работы в качестве преподавателя в Берлинской школе для девочек Кантор занял место в Галльском университете Мартина Лютера, где и прошла вся его карьера. Необходимую для преподавания хабилитацию он получил за свою диссертацию по теории чисел. В 1872 году Кантор познакомился с Рихардом Дедекиндом, ставшим его близким другом и единомышленником. Многие идеи Кантора обсуждались в переписке с Дедекиндом.
В статье 1872 года Кантор дал вариант обоснования теории вещественных чисел[3]. В его модели вещественное число определяется как класс фундаментальных последовательностей рациональных чисел[4]. В отличие от ранее общепринятого ньютоновского определения из «Универсальной арифметики», канторовский подход был чисто математическим, без ссылок к геометрии или иным измерительным процедурам. Другую версию, также чисто математическую, опубликовал в том же году Дедекинд (она была основана на «дедекиндовых сечениях», см. Конструктивные способы определения вещественного числа)[5].
В 1874 году Кантор женился на Валли Гутман (нем. Vally Guttmann). У них было 6 детей, последний из которых родился в 1886 году (4 дочери и двое сыновей). Несмотря на скромное академическое жалование, Кантор был в состоянии обеспечить семье безбедное проживание благодаря полученному от отца наследству. Биографы отмечают, что даже в период своего медового месяца в горах Гарца Кантор много времени проводил за математическими беседами с другом Дедекиндом. В этом же 1874 году Кантор опубликовал в «Журнале Крелле» статью, в которой ввёл понятие мощности множества и показал, что рациональных чисел столько же, сколько натуральных, а вещественных гораздо больше (по совету Вейерштрасса этот революционный вывод был в статье смягчён)[6].
Кантор получил звание внештатного профессора в 1872 году, а в 1879 году стал полным профессором. Получить это звание в 34 года было большим достижением, но Кантор мечтал о должности в более престижном университете, например, Берлинском — в то время ведущем университете Германии, однако его теории встречают серьёзную критику, и переход в другое место осуществить не удалось[7].
В 1877 году Кантор получил поразительный результат, который сообщил в письме Дедекинду: множества точек отрезка и точек квадрата имеют одну и ту же мощность (континуум), независимо от длины отрезка и ширины квадрата. Заодно он сформулировал и безуспешно пытался доказать «континуум-гипотезу». Первая статья Кантора с изложением этих ключевых результатов появилась в 1878 году и называлась «К учению о многообразиях» (термин «многообразие» Кантор позже заменил на «множество»). Публикация статьи не раз откладывалась по требованию возмущённого Кронекера, возглавлявшего кафедру математики Берлинского университета[8]. Кронекер, считающийся предтечей конструктивной математики, с неприязнью относился к канторовской теории множеств, поскольку её доказательства нередко носят неконструктивный характер, без построения конкретных примеров; понятие актуальной бесконечности Кронекер считал абсурдным.
Кантор понял, что позиция Кронекера не позволит ему даже уйти из Галльского университета. Сам Кантор придерживался того же мнения, что и большинство современных нам математиков: любой непротиворечивый математический объект следует считать допустимым и существующим[9].
Конфликты вокруг теории множеств (1878—1889)
[править | править код]Канторовская теория множеств натолкнулась на резкую критику со стороны ряда известных математиков-современников — Анри Пуанкаре[10]; позднее — Германа Вейля и Лёйтзена Брауэра (см. Споры о теории Кантора[англ.]). Они напоминали, что до Кантора все корифеи математики, от Аристотеля до Гаусса, считали актуальную бесконечность недопустимым научным понятием[11]. Положение усугубило обнаружение в первой версии теории множеств губительных противоречий. Критика была порой очень агрессивна: так, Пуанкаре называл «канторизм» тяжёлой болезнью, поразившей математическую науку, и выражал надежду, что будущие поколения от неё излечатся[12]; а в публичных заявлениях и личных выпадах Кронекера в адрес Кантора мелькали иногда такие эпитеты, как «научный шарлатан», «отступник» и «развратитель молодёжи»[10].
Резкой критике со стороны части видных математиков противостояли всемирная известность и одобрение других. В 1904 году Лондонское королевское общество присудило Кантору свою высшую математическую награду — медаль Сильвестра[13]. Сам Кантор верил в то, что теория трансфинитных чисел была сообщена ему свыше[14]. Бертран Рассел оценил теорию множеств как «один из главных успехов нашей эпохи», а Давид Гильберт назвал Кантора «математическим гением» и заявил: «Никто не сможет изгнать нас из рая, созданного Кантором»[15].
В 1881 году умер коллега Кантора Эдуард Гейне, оставив после себя вакантную должность. Руководство университета приняло предложение Кантора пригласить на этот пост Рихарда Дедекинда, Генриха Вебера или Франца Мертенса (именно в таком порядке), но, к большому огорчению Кантора, все они отказались. В итоге пост занял Фридрих Вангерин[англ.]. В 1882 году общение Кантора с Дедекиндом прекратилось — вероятно, вследствие обиды на отказ последнего от должности в Галле[16].
В 1883 году Кантор опубликовал ключевую в своём творчестве статью «Основы общего учения о многообразиях»[17][18]. В это же время он начал активную переписку с видным математиком того времени — Гёстой Миттаг-Леффлером, жившим в Швеции, и вскоре начал публиковаться в его журнале «Acta mathematica». Однако в 1885 году Миттаг-Леффлёр встревожился относительно философского подтекста и новой терминологии в одной статье, присланной ему Кантором для печати[19], и попросил Кантора отозвать свою статью, пока та ещё проходила корректуру, написав, что эта статья «опередила время примерно лет на сто». Отозвать статью Кантор согласился, но никогда больше в «Acta Mathematica» не публиковался[20][21] и резко оборвал отношения и переписку с Миттаг-Леффлером. У Кантора начался первый период депрессии, и на протяжении более чем пяти лет Кантор ничего не публиковал, кроме нескольких статей философского плана, ограничиваясь преподавательской деятельностью[22].
Последние годы (1889—1918)
[править | править код]Вскоре после восстановления (1889) Кантор сразу же сделал несколько важных дополнений к своей теории, в частности, доказал диагональным методом несчётность множества всех подмножеств натуральных чисел, однако так и не достиг того же высокого уровня продуктивности, какой у него был в 1874—1884 годах. В конце концов он обратился с предложением о мире к Кронекеру, которое тот благосклонно принял. Тем не менее, разделявшие их философские расхождения и трудности остались. Тем временем часть математиков, особенно молодые, приняли теорию множеств, стали её развивать и применять для решения разнообразных проблем. Среди них — Дедекинд, Гильберт, Феликс Бернштейн, Анри Лебег, Феликс Клейн, Адольф Гурвиц, Эрнст Цермело, Н. Н. Лузин и другие.
В 1890 году Кантор способствовал организации Германского математического общества (нем. Deutsche Mathematiker-Vereinigung) и был председателем на его первом съезде в Галле в 1891 году; в то время его репутация была весьма устойчива даже несмотря на оппозицию Кронекера, в итоге Кантор был избран первым президентом общества. Кантор пригласил Кронекера выступить с докладом, но тот не смог принять предложение по причине трагической гибели своей жены.
Периодически повторяющиеся с 1884 года и до конца дней Кантора приступы депрессии некоторое время ставили в вину его современникам, занявшим чересчур агрессивную позицию[23], но сейчас считается, что эти приступы, вероятнее всего, были развитием душевной болезни[10].
В статье 1892 года впервые появился знаменитый диагональный метод Кантора. Последней работой, своеобразным завещанием учёного, стала статья «К обоснованию учения о трансфинитных множествах» (в двух частях, 1895—1897). Это одна из самых известных работ Кантора, в ней, в дополнение к предыдущим результатам теории множеств, строится иерархия алефов[24].
В 1897 году началась интенсивная переписка Кантора с Гильбертом по поводу первого обнаруженного в теории множеств противоречия — парадокса Бурали-Форти, крайне обеспокоившего Гильберта. Кантор выразил мнение, что в теории множеств следует проводить различие между двумя типами понятий — трансфинитными и абсолютными («недоступными», как он выразился), из них только первые поддаются человеческому разуму, а в отношении вторых возможно только приближение к их постижению. Гильберта эта метафизика не убедила, по его мнению, неразрешимых математических задач нет и быть не может. Дискуссия продолжалась два года и ни к чему не привела. Решение парадоксов (не ставшее, впрочем, общепринятым) было найдено только 30 лет спустя, после замены «наивной теории множеств» Кантора на аксиоматическую, исключившую «недоступные» множества из числа легальных понятий[25].
В декабре 1899 года у Кантора умер 13-летний сын. Душевная болезнь Кантора обострилась, почти готовая третья часть статьи «К обоснованию учения о трансфинитных множествах» так и не была завершена. До 1913 года Кантор продолжал преподавание в университете (время от времени делая длительные перерывы на лечение), затем вышел на пенсию. Его интересы после 1899 года касались в основном философии Лейбница и вопроса об авторстве шекспировских пьес, которым Кантор увлекался уже много лет.
Георг Кантор умер 6 января 1918 года от сердечного приступа в психиатрической лечебнице города Галле.
Некоторые объекты, названные в честь Кантора
[править | править код]- Кантор — ударный кратер на обратной стороне Луны;
- Канторово множество — континуальное множество нулевой меры на отрезке;
- Медаль Кантора — математическая награда, вручаемая Немецким математическим обществом;
- Нумерующая функция Кантора — отображение декартовой степени множества натуральных чисел в само себя;
- Теорема Кантора о том, что мощность множества всех подмножеств данного множества строго больше мощности самого множества;
- Теорема Кантора — Бендиксона
- Теорема Кантора — Бернштейна о равномощности множеств A и B при условии равномощности A подмножеству B и равномощности B подмножеству A;
- Теорема Кантора — Гейне о равномерной непрерывности непрерывной функции на компакте;
- Функция Кантора (Канторова лестница).
Сочинения
[править | править код]- Cantor G. Gesammelte Abhandlungen und philosophischen Inhalts / Hrsg. von E. Zermelo. B., 1932.
- Кантор Г. Труды по теории множеств. — М.: Наука, 1985. — 431 с. — (Классики науки).
Примечания
[править | править код]- ↑ Синкевич, 2012, Глава 1.
- ↑ 1 2 Синкевич, 2018, с. 182—188.
- ↑ Кантор. Труды по теории множеств, 1985, с. 9—10.
- ↑ Арнольд И. В. Теоретическая арифметика. — М.: УЧПЕДГИЗ, 1938. — С. 277—278.
- ↑ Пиньейро, 2015, с. 91—92.
- ↑ Пиньейро, 2015, с. 37—56.
- ↑ Dauben, 1979, p. 163.
- ↑ Dauben, 1979, p. 34.
- ↑ Пиньейро, 2015, с. 109.
- ↑ 1 2 3 Dauben, 2004, p. 1.
- ↑ Пиньейро, 2015, с. 22—31.
- ↑ Dauben, 1979, p. 266.
- ↑ Dauben, 1979, p. 248.
- ↑ Dauben, 2004, p. 8, 11; 12—13.
- ↑ Пиньейро, 2015, с. 118.
- ↑ Dauben, 1979, p. 2—3.
- ↑ Новые идеи в математике. — СПб.: Образование, 1914. — Т. 6. — С. 1—77..
- ↑ Кантор. Труды по теории множеств, 1985, с. 389 (библиография).
- ↑ Dauben, 1979, p. 138.
- ↑ При этом Кантор отметил в одном из писем: «…согласно Миттаг-Леффлёру, я должен подождать до 1984 года, что кажется мне слишком большой просьбой!.. Но конечно, отныне я никогда ничего не хочу знать об „Acta mathematica“».
- ↑ Dauben, 1979, p. 139.
- ↑ Dauben, 1979, p. 282.
- ↑ Dauben, 1979, p. 280.
- ↑ Пиньейро, 2015, с. 122.
- ↑ Пиньейро, 2015, с. 144—145, 154—158.
Литература
[править | править код]- Боголюбов А. Н. Кантор Георг // Математики. Механики. Биографический справочник. — Киев: Наукова думка, 1983. — 639 с.
- Бурбаки Н. Очерки по истории математики. — М.: Изд. иностранной литературы, 1963.
- H. M. Нагорный. Кантор // Новая философская энциклопедия : в 4 т. / пред. науч.-ред. совета В. С. Стёпин. — 2-е изд., испр. и доп. — М. : Мысль, 2010. — 2816 с.
- Катасонов В. Н. Боровшийся с бесконечным: Философско-религиозные аспекты генезиса теории множеств Г. Кантора. — М.: Мартис, 1999. — 207 с. — 1500 экз. — ISBN 5-7248-0067-5.
- Пиньейро, Густаво Эрнесто. Бесчисленное поддаётся подсчёту. Георг Кантор. Бесконечность в математике // Наука. Величайшие теории. — М.: Де Агостини, 2015. — Вып. 30. — ISSN 2409-0069.
- Пуркет В., Ильгаудс Х. И. Георг Кантор / Пер. с нем. Н. М. Флайшера. — Харьков: Основа, 1991. — 128 с.
- Синкевич Г. И. Георг Кантор & польская школа теории множеств. — Санкт-Петербург: Санкт-Петербургский государственный архитектурно-строительный университет, 2012. — 349 с. — ISBN 978-5-9227-0360-4.
- Синкевич Г. И. Георг Кантор из Петербурга. Детство и история семьи. Архивное исследование // Историко-математические исследования. — М.: Янус-К, 2018. — № 51 (16). — С. 182—199.
- Флоренский П. А. О символах бесконечности (Очерк идей Г. Кантора) // Сочинения в 4 томах: Том 1. — М.: Мысль, 1994. — С. 79—128. — (Философское наследие: т. 122). — ISBN 5-244-00241-4.
- Grattan-Guinness I. Towards a Biography of Georg Cantor // Annals of Science. — 1971. — Т. 27. — С. 345—391. — doi:10.1080/00033797100203837.
Ссылки
[править | править код]- Даубен Джозеф У. Георг Кантор и рождение теории трансфинитных множеств // В мире науки (Scientific American, изд. на русском языке). — 1983. — № 8 (август). — С. 76—86.
- Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Кантор, Георг (англ.) — биография в архиве MacTutor.
- Dauben J. W. Georg Cantor: his Mathematics and Philosophy of the Infinite. — Cambridge (Massachusetts): Harvard University Press, 1979. — 404 p. — ISBN 9780674348714.
- Dauben J. W. Georg Cantor and the Battle for Transfinite Set Theory. — Proceedings of the 9th ACMS Conference (Westmont College, Santa Barbara, CA), pp. 1–22. — 2004.
- Профиль учёного Архивная копия от 22 декабря 2015 на Wayback Machine в базе данных zbMATH.
- Sinkevich G. I. Georg Cantor from St. Petersburg.
- Родившиеся 3 марта
- Родившиеся в 1845 году
- Умершие 6 января
- Умершие в 1918 году
- Персоналии по алфавиту
- Учёные по алфавиту
- Математики по алфавиту
- Математики Германии
- Математики XIX века
- Математики в теории множеств
- Преподаватели Галле-Виттенбергского университета
- Родившиеся в Санкт-Петербурге
- Доктора философии
- Философы математики
- Члены Гёттингенской академии наук
- Выпускники Петришуле
- Председатели Немецкого математического общества
- Награждённые медалью Сильвестра
- Почётные доктора Университета Осло
- Люди с психическими расстройствами