Жемчужина Эйлера

Важное усовершенствование идей Пункаре принадлежит немецкой женщине-математику Эмми Нётер (1882–1935). Нётер, дочери математика, пришлось бороться с укоренившимися предрассудками. Она была женщиной, подвизавшейся в области, где доминировали мужчины. В 1904 году женщинам наконец разрешили поступать в Эрлангенский университет, но до тех пор она могла лишь присутствовать на занятиях. Докторскую диссертацию она защитила в 1907 году. В 1915 году, когда она уже заработала репутацию первоклассного математика, Клейн и Давид Гильберт (1862–1943) пригласили ее в Гёттинген с намерением принять в постоянный штат. Но лишь в 1919 году ей было позволено занять должность на факультете, а до тех пор считалось, что ее курсы читаются от имени Гильберта, а она лишь выступает в роли его помощника. Когда к власти пришли нацисты, жизнь многих немцев изменилась. В 1933-м еврейка Нётер была вынуждена уехать из Гёттингена в США и стала преподавать в колледже в Брин-Море. Спустя два года она умерла.

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

До середины 1920-х годов гомологии описывались в терминах чисел Бетти и коэффициентов зацепления. Понадобилась алгебраист Нётер, чтобы понять, что гомологии обладают гораздо более богатой структурой. Она выделила ключевую особенность гомологии — способность складывать и вычитать циклы. Сконцентрировавшись на этой арифметической операции, она заметила, что гомология — частный случай алгебраического объекта, называемого группой, и что правильный взгляд на гомологию дают группы Бетти, или группы гомологий, как их теперь называют. В своей автобиографии Павел Александров писал: «Вспоминаю обед у Брауэра в честь Эмми Нётер, во время которого гостья изложила определение групп Бетти-комплексов, вскоре получившее всеобщее распространение и совершенно преобразившее всю топологию»²¹².

Рис. 23.8. Эмми Нётер

Совершенно неожиданно топологам оказался доступен во всех отношениях новый инструментарий. В их распоряжении оказались все методы и теоремы теории групп. Мощные теоремы стало возможно доказывать, не изобретая колесо. Числа Бетти и коэффициенты зацепления возникали естественным способом, а инвариантность характеристики Эйлера-Пуанкаре получила простое доказательство. В надгробном слове Нётер Александров писал:

В те дни никому не приходило в голову строить комбинаторную топологию иначе, чем с помощью теории… групп; тем больше оснований отдать должное Эмми Нётер, которая первой предложила идею такого построения. В то же время она заметила, каким простым и очевидным оказывается доказательство формулы Эйлера-Пуанкаре, если систематически пользоваться группами Бетти²¹³.

В очередной раз мы видим, какие мощные результаты дает соединение различных ветвей математики. Декарт использовал анализ, чтобы понять геометрию. Риман и Пуанкаре применили топологию, чтобы понять анализ. Гаусс и Бонне воспользовались топологией, чтобы понять геометрию. А теперь топологи вольны использовать алгебру, чтобы понять топологию. Такое взаимное обогащение чрезвычайно плодотворно.

Включение алгебры в топологию настолько важно, что вся эта область топологии — практически вся топология, которую мы обсуждали в этой книге, — теперь называется алгебраической топологией. За десятилетия после работы Пуанкаре алгебраическая топология вышла за пределы групп гомологий и включила многие другие алгебраические структуры. В наши дни большинство топологов занимаются алгебраической топологией.

Приложения к главе

204. Hardy (1992), 85.

205. цитируется по Dieudonne (1975).

206. Poincare (1895).

207. Poincare (1899); Poincare (1900); Poincare (1902a); Poincare (1902b); Poincare (1904).

208. Dieudonne (1989), 17.

209. Heinrich Tietze (1880–1964), цитируется по James (2001).

210. Poincare (1895).

211. Poincare (1895), цитируется по Sarkaria (1999).

212. цитируется по James (1999).

213. Там же.

Эпилог Вопрос на миллион долларов