Еще в XIX веке было известно, что если любую замкнутую петлю, лежащую на двумерной поверхности, можно стянуть в одну точку, то такую поверхность легко превратить в сферу. Так, поверхность воздушного шарика удастся трансформировать в сферу, а поверхность бублика – нет (легко вообразить себе петлю, которая в случае с бубликом не стянется в одну точку). Гипотеза, высказанная французским математиком Анри Пуанкаре в 1904 году, гласит, что аналогичное утверждение верно и для трехмерных многообразий.
Доказать гипотезу Пуанкаре удалось только в 2003 году. Доказательство принадлежит нашему соотечественнику Григорию Перельману. Эта лекция проливает свет на объекты, необходимые для формулировки гипотезы, историю поиска доказательства и его основные идеи.
Читают лекцию доценты механико-математического факультета МГУ к. ф-м. н. Александр Жеглов и к. ф.-м. н. Федор Попеленский.
Если не вдаваться в математические подробности, то вопрос, поднимаемый гипотезой Пуанкаре можно следующим образом: как охарактеризовать (трехмерную) сферу? Чтобы правильно понять этот вопрос, нужно познакомиться с одним из важнейших понятий в топологии – гомеоморфизмом. Разобравшись с ним, мы сможем точно сформулировать гипотезу Пуанкаре.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ced/dd9/c05/ceddd9c0586ee29a3758407ca3d0ae09.png)
Чтобы совсем уж не залезать в математические подробности формального определения, мы скажем, что две фигуры считаются гомеоморфными, если можно установить такое взаимно-однозначно соответствие между точками этих фигур, при котором близким точкам одной фигуры соответствуют близкие точки другой фигуры и наоборот. Пропущенные нами подробности состоят как раз в адекватной формализации близости точек.
Легко понять, что две фигуры гомеоморфны, если одну из другой можно получить произвольной деформацией, при которой запрещено «портить» поверхности (рвать, сминать области в точку, делать дырки и т.п.).
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/011/d4a/7fd/011d4a7fdc24e7d89cb5a7ed7491b36b.png)
Например, чтобы получить из диска полусферу, как показано на картинке выше, нам потребуется просто нажать сверху в его центр, придерживая внешний обод. Можно представлять себе, что поверхности сделаны из идеальной резины, так что все фигуры могут сжиматься и растягиваться как угодно. Нельзя делать только две вещи: разрывать и склеивать.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/353/c3a/9fd/353c3a9fd2244689a29b8992f8937e02.png)
Более точное (но все же не окончательное с точки зрения строгости) представление о гомеоморфных фигурах мы будем иметь, если разрешим еще одну операцию: можно сделать на фигуре разрез, перекрутить, завязать, развязать и т.п., но потом обязательно заклеить разрез как было.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ab3/2ac/730/ab32ac730d7d3c6f64564e966ab16dc7.png)
Приведем еще один пример. Представим себе яблоко, в котором червяк прогрыз ход в виде узла и небольшую пещеру.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/7b6/800/e17/7b6800e175a071fbd4f0555f22be5ff9.png)
С точки зрения топологии поверхность этого яблока все равно останется сферой, т.к. если стянуть все это определенным образом, мы получим поверхность яблока в том же виде, как было до того, как червяк начал его есть.
Для закрепления попробуйте классифицировать буквы латинского алфавита с точностью до гомеоморфизма (т.е. выясните, какие буквы гомеоморфны, а какие — нет). Ответ зависит начертания букв (от типа шрифта или от гарнитуры), и для простейшего варианта начертания он приведен на следующем рисунке:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/a7a/fcf/564/a7afcf564a3b0fefe41d878207960c09.png)
Из 26 букв у нас получается всего 8 классов.
На следующей картинке изображены гиря, кофейная чашка, бублик, сушка и кренделек. С топологической точки зрения поверхности гири, кофейной чашки, бублика и сушки одинаковы, т.е. гомеоморфны. Что касается кренделька, то он приведен здесь для сравнения с поверхностью, которую в топологии часто называют кренделем (он изображен в правом нижнем углу рисунка). Как вы, наверное, уже понимаете, и топологический крендель, и съедобный крендель отличаются от тора.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/71a/0cc/f4f/71a0ccf4f3dbe6f557b240b7b1db56ae.png)
Пусть M – замкнутое связное многообразие размерности 3. Пусть на нем любая петля может быть стянута в точку. Тогда M гомеоморфно трехмерной сфере.
Наибольшую трудность для неподготовленного человека здесь вызывает понятие «многообразия размерности 3» и свойства, выраженные словами «замкнутое» и «связное». Поэтому мы попробуем разобраться со всеми этими понятиями и свойствами на примере размерности 2, в этом случаем многое кардинально упрощается.
Пусть M – замкнутая связная поверхность (многообразие размерности 2). Пусть на ней любая петля может быть стянута в точку. Тогда поверхность M гомеоморфна двумерной сфере.
Сначала определим, что такое поверхность. Возьмем конечный набор многоугольников, разбиваем все их стороны (ребра) на пары (т.е. всего сторон у всех многоугольников должно быть четное число), в каждой паре выбираем, каким из двух возможных способов будем их склеивать. Склеиваем. В результате поучается замкнутая поверхность.
Если полученная поверхность состоит из одного куска, а не из нескольких отдельных, то говорят, что поверхность связна. С формальной точки зрения это значит, что после склейки из любой вершины любого многоугольника можно по ребрам пройти в любую другую вершину.
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/80d/1ff/751/80d1ff75128305a186095886d0170e21.png)
Вот простой пример: если считать, что на картинке выше все треугольники правильные, то после склеивания у нас должен получиться правильный тетраэдр, поверхность которого также гомеоморфна сфере.
Формально нужно требовать, чтобы из любой вершины любого многоугольника после склейки можно было пройти в любую вершину любого многоугольника (по ребрам).
Нетрудно сообразить, что связную поверхность можно склеить и из одного многоугольника. На рисунке видна идея, как это обосновывается:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/2b5/2e9/324/2b52e93246727c1b330cbb376f4629bf.png)
Рассмотрим примеры простейших склеек:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/e64/4bc/99a/e644bc99a105bb2401e23f83c41d1bdf.png)
В первом случае у нас получится сфера:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/ad5/3d5/ff3/ad53d5ff3fb17ebc597dbdbba06bc39a.png)
Во втором случае у нас получится тор (поверхность бублика, мы встречались с ним раньше):
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/9ef/ee4/a72/9efee4a72a642a90dbee065a2f04c4c3.png)
В третьем случае получится так называемая бутылка Клейна:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/f50/b54/f68/f50b54f68999ddbe012d2e9734ed4ea3.png)
Если склеивать не все стороны многоугольника, то получится поверхность с краем:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/bb2/fa8/ccf/bb2fa8ccfa6f7a46e7e622769d9ea735.png)
Важно отметить, что после склейки «шрамы» от нее носят чисто «косметический характер. Все точки поверхности равноправны: у любой точки имеется окрестность гомеоморфная диску.
Две поверхности считаются гомеоморфными, если схемы склейки каждой из них можно так разрезать на схемы склейки из более мелких многоугольников, что схемы склейки станут одинаковыми.
Разберем это утверждение на примере разбиения поверхности куба на части, из которых можно сложить развертку тетраэдра:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/9f9/9dc/6e5/9f99dc6e5ff3989db01d9f6d65692eec.png)
Верен и более общий факт: поверхности всех выпуклых многогранников – это сферы.
Теперь подробнее остановимся на понятии петли. Петял — это замкнутая кривая на рассматриваемой поверхности. Две петли называются гомотопными, если одну из них можно продеформировать в другую без разрывов и склеек, оставаясь на поверхности. Ниже приведен простейший случай стягивания петли на плоскости или сфере:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/b90/596/160/b905961603917214812f65db599056c1.png)
Даже если петля на плоскости или сфере имеет самопересечения, ее все равно можно стянуть:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/2b5/351/eda/2b5351eda8fa3cb1aabd9e44559d6a0a.png)
На плоскости можно стянуть любую петлю:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/da4/5c6/194/da45c61941a42bc7c9c5b4afa2ccc264.png)
А вот какие петли бывают на торе:
![](https://habrastorage.org/r/w1560/getpro/habr/post_images/78c/dad/9ed/78cdad9ed978254d5bbedb48cfd484ae.png)
Стянуть такие петли невозможно. (К сожалению, доказательство выходит довольно далеко за рамки нашего рассказа.) Более того, показанные петли на торе не гомотопны. Предлагаем слушателям или читателям найти еще одну петлю на торе, не гомотопную этим двум — это очень простой вопрос. После этого попробуйте найти на торе четвертую петлю, не гомотопную этим трем — это будет несколько сложнее.
Теперь, когда мы познакомились со всеми основными понятиями из формулировки гипотезы Пуанкаре, попробуем приступить к доказательству двумерного случая (лишний раз отметим, что это многократно проще трехмерного случая). А поможет нам в этом эйлерова характеристика.
Эйлеровой характеристикой поверхности M назовем число B−P+Г. Здесь Г — число многоугольников, Р — это число ребер после склейки (в случае рассматриваемых поверхностей это половина числа сторон всех многоугольников), B — это число вершин, которое получается после склейки после склейки.
Если две схемы склейки задают гомеоморфные поверхности, то у этих схем числа B−P+Г одинаковы, т. е. B−P+Г является инвариантом поверхности.
Если поверхность уже как-то задана, то надо нарисовать на ней какой-нибудь граф, чтобы после разрезания по нему поверхность распалась на куски гомеоморфные дискам (например, кольца запрещены). Затем подсчитываем величину B−P+Г — это и есть эйлерова характеристика поверхности.
Будут ли гомеоморфны поверхности с одинаковыми эйлеровыми характеристиками, мы узнаем позже. Но совершенно точно можно утверждать, что если эйлеровы характеристики у поверхностей разные, то поверхности не гомеоморфны.
Знаменитое соотношение B−P+Г=2 для выпуклых многоугольников (теорема Эйлера) является частным случаем этой теоремы. В данном случае речь идет о конкретной поверхности — о сфере. Замечание Обозначение: Эйлерову характеристику поверхности M будем обозначать через χ(M): χ(M) = B − P + Γ
Если поверхность M связна, то χ(M) ≤ 2, причем χ(M) = 2 тогда и только тогда, когда M гомеоморфна сфере.
Посмотрев лекцию до конца, вы узнаете, как же все-таки доказывается гипотеза Пуанкаре в размерности 2, и как Григорию Перельману удалось доказать ее в размерности 3.
Доказать гипотезу Пуанкаре удалось только в 2003 году. Доказательство принадлежит нашему соотечественнику Григорию Перельману. Эта лекция проливает свет на объекты, необходимые для формулировки гипотезы, историю поиска доказательства и его основные идеи.
Читают лекцию доценты механико-математического факультета МГУ к. ф-м. н. Александр Жеглов и к. ф.-м. н. Федор Попеленский.
Если не вдаваться в математические подробности, то вопрос, поднимаемый гипотезой Пуанкаре можно следующим образом: как охарактеризовать (трехмерную) сферу? Чтобы правильно понять этот вопрос, нужно познакомиться с одним из важнейших понятий в топологии – гомеоморфизмом. Разобравшись с ним, мы сможем точно сформулировать гипотезу Пуанкаре.
![](https://habrastorage.org/getpro/habr/post_images/ced/dd9/c05/ceddd9c0586ee29a3758407ca3d0ae09.png)
Чтобы совсем уж не залезать в математические подробности формального определения, мы скажем, что две фигуры считаются гомеоморфными, если можно установить такое взаимно-однозначно соответствие между точками этих фигур, при котором близким точкам одной фигуры соответствуют близкие точки другой фигуры и наоборот. Пропущенные нами подробности состоят как раз в адекватной формализации близости точек.
Легко понять, что две фигуры гомеоморфны, если одну из другой можно получить произвольной деформацией, при которой запрещено «портить» поверхности (рвать, сминать области в точку, делать дырки и т.п.).
![](https://habrastorage.org/getpro/habr/post_images/011/d4a/7fd/011d4a7fdc24e7d89cb5a7ed7491b36b.png)
Например, чтобы получить из диска полусферу, как показано на картинке выше, нам потребуется просто нажать сверху в его центр, придерживая внешний обод. Можно представлять себе, что поверхности сделаны из идеальной резины, так что все фигуры могут сжиматься и растягиваться как угодно. Нельзя делать только две вещи: разрывать и склеивать.
![](https://habrastorage.org/getpro/habr/post_images/353/c3a/9fd/353c3a9fd2244689a29b8992f8937e02.png)
Более точное (но все же не окончательное с точки зрения строгости) представление о гомеоморфных фигурах мы будем иметь, если разрешим еще одну операцию: можно сделать на фигуре разрез, перекрутить, завязать, развязать и т.п., но потом обязательно заклеить разрез как было.
![](https://habrastorage.org/getpro/habr/post_images/ab3/2ac/730/ab32ac730d7d3c6f64564e966ab16dc7.png)
Приведем еще один пример. Представим себе яблоко, в котором червяк прогрыз ход в виде узла и небольшую пещеру.
![](https://habrastorage.org/getpro/habr/post_images/7b6/800/e17/7b6800e175a071fbd4f0555f22be5ff9.png)
С точки зрения топологии поверхность этого яблока все равно останется сферой, т.к. если стянуть все это определенным образом, мы получим поверхность яблока в том же виде, как было до того, как червяк начал его есть.
Для закрепления попробуйте классифицировать буквы латинского алфавита с точностью до гомеоморфизма (т.е. выясните, какие буквы гомеоморфны, а какие — нет). Ответ зависит начертания букв (от типа шрифта или от гарнитуры), и для простейшего варианта начертания он приведен на следующем рисунке:
![](https://habrastorage.org/getpro/habr/post_images/a7a/fcf/564/a7afcf564a3b0fefe41d878207960c09.png)
Из 26 букв у нас получается всего 8 классов.
На следующей картинке изображены гиря, кофейная чашка, бублик, сушка и кренделек. С топологической точки зрения поверхности гири, кофейной чашки, бублика и сушки одинаковы, т.е. гомеоморфны. Что касается кренделька, то он приведен здесь для сравнения с поверхностью, которую в топологии часто называют кренделем (он изображен в правом нижнем углу рисунка). Как вы, наверное, уже понимаете, и топологический крендель, и съедобный крендель отличаются от тора.
![](https://habrastorage.org/getpro/habr/post_images/71a/0cc/f4f/71a0ccf4f3dbe6f557b240b7b1db56ae.png)
Формальная постановка вопроса
Пусть M – замкнутое связное многообразие размерности 3. Пусть на нем любая петля может быть стянута в точку. Тогда M гомеоморфно трехмерной сфере.
Наибольшую трудность для неподготовленного человека здесь вызывает понятие «многообразия размерности 3» и свойства, выраженные словами «замкнутое» и «связное». Поэтому мы попробуем разобраться со всеми этими понятиями и свойствами на примере размерности 2, в этом случаем многое кардинально упрощается.
Гипотеза Пуанкаре для поверхностей
Пусть M – замкнутая связная поверхность (многообразие размерности 2). Пусть на ней любая петля может быть стянута в точку. Тогда поверхность M гомеоморфна двумерной сфере.
Сначала определим, что такое поверхность. Возьмем конечный набор многоугольников, разбиваем все их стороны (ребра) на пары (т.е. всего сторон у всех многоугольников должно быть четное число), в каждой паре выбираем, каким из двух возможных способов будем их склеивать. Склеиваем. В результате поучается замкнутая поверхность.
Если полученная поверхность состоит из одного куска, а не из нескольких отдельных, то говорят, что поверхность связна. С формальной точки зрения это значит, что после склейки из любой вершины любого многоугольника можно по ребрам пройти в любую другую вершину.
![](https://habrastorage.org/getpro/habr/post_images/80d/1ff/751/80d1ff75128305a186095886d0170e21.png)
Вот простой пример: если считать, что на картинке выше все треугольники правильные, то после склеивания у нас должен получиться правильный тетраэдр, поверхность которого также гомеоморфна сфере.
Формально нужно требовать, чтобы из любой вершины любого многоугольника после склейки можно было пройти в любую вершину любого многоугольника (по ребрам).
Нетрудно сообразить, что связную поверхность можно склеить и из одного многоугольника. На рисунке видна идея, как это обосновывается:
![](https://habrastorage.org/getpro/habr/post_images/2b5/2e9/324/2b52e93246727c1b330cbb376f4629bf.png)
Рассмотрим примеры простейших склеек:
![](https://habrastorage.org/getpro/habr/post_images/e64/4bc/99a/e644bc99a105bb2401e23f83c41d1bdf.png)
В первом случае у нас получится сфера:
![](https://habrastorage.org/getpro/habr/post_images/ad5/3d5/ff3/ad53d5ff3fb17ebc597dbdbba06bc39a.png)
Во втором случае у нас получится тор (поверхность бублика, мы встречались с ним раньше):
![](https://habrastorage.org/getpro/habr/post_images/9ef/ee4/a72/9efee4a72a642a90dbee065a2f04c4c3.png)
В третьем случае получится так называемая бутылка Клейна:
![](https://habrastorage.org/getpro/habr/post_images/f50/b54/f68/f50b54f68999ddbe012d2e9734ed4ea3.png)
Если склеивать не все стороны многоугольника, то получится поверхность с краем:
![](https://habrastorage.org/getpro/habr/post_images/bb2/fa8/ccf/bb2fa8ccfa6f7a46e7e622769d9ea735.png)
Важно отметить, что после склейки «шрамы» от нее носят чисто «косметический характер. Все точки поверхности равноправны: у любой точки имеется окрестность гомеоморфная диску.
Две поверхности считаются гомеоморфными, если схемы склейки каждой из них можно так разрезать на схемы склейки из более мелких многоугольников, что схемы склейки станут одинаковыми.
Разберем это утверждение на примере разбиения поверхности куба на части, из которых можно сложить развертку тетраэдра:
![](https://habrastorage.org/getpro/habr/post_images/9f9/9dc/6e5/9f99dc6e5ff3989db01d9f6d65692eec.png)
Верен и более общий факт: поверхности всех выпуклых многогранников – это сферы.
Теперь подробнее остановимся на понятии петли. Петял — это замкнутая кривая на рассматриваемой поверхности. Две петли называются гомотопными, если одну из них можно продеформировать в другую без разрывов и склеек, оставаясь на поверхности. Ниже приведен простейший случай стягивания петли на плоскости или сфере:
![](https://habrastorage.org/getpro/habr/post_images/b90/596/160/b905961603917214812f65db599056c1.png)
Даже если петля на плоскости или сфере имеет самопересечения, ее все равно можно стянуть:
![](https://habrastorage.org/getpro/habr/post_images/2b5/351/eda/2b5351eda8fa3cb1aabd9e44559d6a0a.png)
На плоскости можно стянуть любую петлю:
![](https://habrastorage.org/getpro/habr/post_images/da4/5c6/194/da45c61941a42bc7c9c5b4afa2ccc264.png)
А вот какие петли бывают на торе:
![](https://habrastorage.org/getpro/habr/post_images/78c/dad/9ed/78cdad9ed978254d5bbedb48cfd484ae.png)
Стянуть такие петли невозможно. (К сожалению, доказательство выходит довольно далеко за рамки нашего рассказа.) Более того, показанные петли на торе не гомотопны. Предлагаем слушателям или читателям найти еще одну петлю на торе, не гомотопную этим двум — это очень простой вопрос. После этого попробуйте найти на торе четвертую петлю, не гомотопную этим трем — это будет несколько сложнее.
Эйлерова характеристика
Теперь, когда мы познакомились со всеми основными понятиями из формулировки гипотезы Пуанкаре, попробуем приступить к доказательству двумерного случая (лишний раз отметим, что это многократно проще трехмерного случая). А поможет нам в этом эйлерова характеристика.
Эйлеровой характеристикой поверхности M назовем число B−P+Г. Здесь Г — число многоугольников, Р — это число ребер после склейки (в случае рассматриваемых поверхностей это половина числа сторон всех многоугольников), B — это число вершин, которое получается после склейки после склейки.
Если две схемы склейки задают гомеоморфные поверхности, то у этих схем числа B−P+Г одинаковы, т. е. B−P+Г является инвариантом поверхности.
Если поверхность уже как-то задана, то надо нарисовать на ней какой-нибудь граф, чтобы после разрезания по нему поверхность распалась на куски гомеоморфные дискам (например, кольца запрещены). Затем подсчитываем величину B−P+Г — это и есть эйлерова характеристика поверхности.
Будут ли гомеоморфны поверхности с одинаковыми эйлеровыми характеристиками, мы узнаем позже. Но совершенно точно можно утверждать, что если эйлеровы характеристики у поверхностей разные, то поверхности не гомеоморфны.
Знаменитое соотношение B−P+Г=2 для выпуклых многоугольников (теорема Эйлера) является частным случаем этой теоремы. В данном случае речь идет о конкретной поверхности — о сфере. Замечание Обозначение: Эйлерову характеристику поверхности M будем обозначать через χ(M): χ(M) = B − P + Γ
Если поверхность M связна, то χ(M) ≤ 2, причем χ(M) = 2 тогда и только тогда, когда M гомеоморфна сфере.
Посмотрев лекцию до конца, вы узнаете, как же все-таки доказывается гипотеза Пуанкаре в размерности 2, и как Григорию Перельману удалось доказать ее в размерности 3.