В «Analysis Situs» Пуанкаре писал: «Я полагаю, что эту теорему никто не формулировал, однако она известна многим, и некоторые даже находили ей применения»211. Мы не знаем, ни кто были эти «многие», ни как они использовали это соотношение, но главной целью Пуанкаре было доказать тот удивительный факт, что характеристика Эйлера-Пункаре любого замкнутого ориентируемого многообразия нечетной размерности равна нулю!
Действительно, рассмотрим 3-мерный тор — 3-мерное многообразие, полученное склеиванием сторон куба, как в левой части на рис. 23.7. его числа Бетти равны b0 = 1, b1 = 3, b2 = 3 и b3 = 1 (мы не станем это доказывать), поэтому характеристика Эйлера-Пуанкаре равна
χ(3-мерный тор) = 1–3 + 3–1 = 0.
Вообще, пусть M — произвольное замкнутое ориентируемое многообразие нечетной размерности n. В силу теоремы двойственности Пуанкаре числа Бетти встречаются парами с противоположным знаком, поэтому в выражении характеристики Эйлера-Пуанкаре в виде знакопеременной суммы они взаимно уничтожаются:
Оказывается, что характеристика Эйлера-Пуанкаре любого замкнутого неориентируемого многообразия также равна нулю. Мы опускаем сложное доказательство этого факта, но проиллюстрируем его на примере. 3-мерное многообразие, полученное попарным склеиванием сторон куба, как показано в правой части на рис. 23.7, неориентируемое. Его числа Бетти равны b0 = 1, b1 = 2, b2 = 1 и b3 = 0 (у него также имеются коэффициенты зацепления в размерностях 1 и 2). Мы видим, что двойственность Пуанкаре не имеет места, но характеристика Эйлера-Пуанкаре по-прежнему равна нулю:
χ(M) = 1–2 + 1–0 = 0.
Рис. 23.7. Трехмерный тор и неориентируемое трехмерное многообразие
Следует отметить, что многообразия с краем нечетной размерности необязательно имеют нулевую характеристику Эйлера-Пуанкаре. Например, для n-мерного шара Bn характеристика Эйлера-Пуанкаре равна 1 для всех n.
Превращение топологии из дисциплины, построенной на интуитивных аргументах, в раздел математики со строгими доказательствами произошло на протяжении первых трех десятилетий XX века. Это было время, когда топологи избавились от пробелов, прорех, нежелательных допущений и ошибок блестящей работы Пуанкаре.
Например, рассмотрим следующие два предположения, сделанных Пуанкаре. Во-первых, он утверждал, что любое многообразие можно представить в виде симплициального комплекса или, точнее, что всякое многообразие можно триангулировать. Во-вторых, он предполагал, что Hauptvermutung (основная гипотеза комбинаторной топологии) верна для любого многообразия (напомним, что эта гипотеза утверждает, что любые два разбиения многообразия можно измельчить, добавив симплексы, так что они станут топологически эквивалентными). Как выясняется, в общем случае оба этих предположения неверны. И тем не менее математики показали, что выводы Пуанкаре справедливы.
Важное усовершенствование идей Пункаре принадлежит немецкой женщине-математику Эмми Нётер (1882–1935). Нётер, дочери математика, пришлось бороться с укоренившимися предрассудками. Она была женщиной, подвизавшейся в области, где доминировали мужчины. В 1904 году женщинам наконец разрешили поступать в Эрлангенский университет, но до тех пор она могла лишь присутствовать на занятиях. Докторскую диссертацию она защитила в 1907 году. В 1915 году, когда она уже заработала репутацию первоклассного математика, Клейн и Давид Гильберт (1862–1943) пригласили ее в Гёттинген с намерением принять в постоянный штат. Но лишь в 1919 году ей было позволено занять должность на факультете, а до тех пор считалось, что ее курсы читаются от имени Гильберта, а она лишь выступает в роли его помощника. Когда к власти пришли нацисты, жизнь многих немцев изменилась. В 1933-м еврейка Нётер была вынуждена уехать из Гёттингена в США и стала преподавать в колледже в Брин-Море. Спустя два года она умерла.