Григорий Перельман и гипотеза Пуанкаре
Шрифт:
Рис. 18. Топологическое многообразие Пуанкаре
Всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере.
«С того момента, как гипотеза Пуанкаре была сформулирована более ста лет назад, сообщения о ее доказательстве появлялись почти ежегодно. Анри Пуанкаре, двоюродный брат Раймонда
– 47-
Пуанкаре, президента Франции во время Первой мировой войны, был также одним из талантливейших математиков девятнадцатого века. Худой, близорукий, известный своей невероятной рассеянностью, Пуанкаре сформулировал знаменитую задачу за восемь лет до своей смерти, в 1904 году. Формулировка проблемы в качестве побочного вопроса была засунута в конец шестидесятипятистраничной статьи.
Пуанкаре не смог добиться сколько-нибудь заметного прогресса в решении этой проблемы. "Cette question nous entrainerait trop loin" ("Этот вопрос уводит нас далеко в сторону"), — писал он. Пуанкаре был основателем топологии — науки, также называемой "геометрией резинового листа" из-за ее ориентации на исследование внутренних свойств различных пространств».
Страсть великого французского ученого к построению фундаментальных основ математической науки и его релятивизм, отраженный в зеркале собственного философского учения — конвенционализма, привели в итоге к довольно необычной гипотезе строения Мира. В истории науки эту абстрактную математическую проблему, приводящую к важнейшим космологическим выводам, так часто и называют — топологическая гипотеза (теорема, задача, проблема) Пуанкаре.
С помощью молодого математика и непременного члена клуба знатоков «Что? Где? Когда?» Сергея Игоревича Николенко вспомним, что все началось с исследований, которые Пуанкаре вел в области алгебраической геометрии. Он работал над одним из краеугольных камней этой науки — теорией гомологии, особого класса топологических инвариантов. В 1900 году он опубликовал статью, в которой доказывал, что если у трехмерной поверхности гомология совпадает с гомологией сферы, то и сама поверхность — сфера; на самом деле это утверждение даже более сильное, чем утверждение гипотезы Пуанкаре.
Однако в его рассуждения вкралась ошибка, которую он сам и нашел, к 1904 году разработав важнейшее понятие фундаментальной группы и построив на его базе контрпример
– 48-
к собственной теореме. Тогда же он наконец поставил вопрос правильно.
Достаточно долго на гипотезу не обращали внимания. Интерес к ней пробудил Джон Генри Константин Уайтхед (1904–1960) — выдающийся английский математик, один из основателей теории гомотопий. Не следует путать его с дядей Альфредом Уайтхедом, тоже математиком, но специализировавшемся на логике и алгебре, написавшем вместе с Бертраном Расселом знаменитую монографию «Принципы математики», который в 30-е годы прошлого века объявил о том, что нашел-таки доказательство теоремы Пуанкаре. К сожалению, представленные расчеты в итоге оказались неверны, однако в процессе поиска и попыток исправить свои неточности он обнаружил интереснейшие классы трехмерных поверхностей и значительно продвинул теорию, которая позднее получила название топологии малых (или низших) размерностей. В 1950-1960-е годы всплеск интереса к проблеме вновь породил несколько ошибочных заявлений о том, что теорему удалось доказать, но после всесторонних проверок математики наконец поняли, что гипотеза Пуанкаре при своей внешней простоте, подобно знаменитой теореме Ферма, содержит множество подводных камней.
К тому времени топология низших размерностей стала отдельной ветвью математики и аналоги задачи Пуанкаре были доказаны для более высоких размерностей. Этому послужила удивительная причина: оказалось, что в невообразимом мире многих измерений эта часть геометрии устроена гораздо проще! Тем временем привычный нам «Трехмерный случай» продолжал оставаться камнем преткновения.
Гипотеза Пуанкаре является одной из наиболее известных задач топологии. Она дает достаточное условие того, что пространство является трехмерной сферой с точностью до деформации.
В гипотезе Пуанкаре утверждает, что:
«Всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере».
Гипотеза Пуанкаре — одна из тех задач, в которых даже ошибочные решения приводят к появлению новых областей
– 49-
математики; в этом с ней может соперничать разве что великая теорема Ферма. Кроме общедоступности формулировки у задачи Пуанкаре есть еще и внешние параллели с теоремой Ферма. Обе математические проблемы были сформулированы великими математиками вне сферы их основных интересов и были решены гениальными одиночками после многолетнего глубокого погружения в задачу.
Многочисленные книги по занимательной математике, мимо которых мало кто прошел в детстве, любят рассказывать о топологии — странной науке, в которой два предмета сравниваются только по количеству дырок в них: чайная чашка ничем не отличается от бублика, а апельсин — от Солнца. На самом деле топология — очень глубокая наука и объекты и свойства, которые она изучает, весьма многочисленны и разнообразны. Прежде чем выяснить, в чем состоит гипотеза Пуанкаре, необходимо разобраться именно в топологии, к которой эта гипотеза и относится.
Топология многообразий занимается свойствами поверхностей, которые не меняются при определенных деформациях. Приведем классический пример. Предположим, что на столе лежит бублик и стоит пустая чашка. С точки зрения геометрии и здравого смысла это разные объекты хотя бы потому, что выпить кофе из бублика не получится при всем желании.
Рис. 19. Гипотеза Перельмана для топологии низших измерений
Если представить себе ячейку высокоразмерного континуума и постепенно избавляться от «лишних» изменений,
– 50-
то на определенном этапе «уплощенное» пространство начнет автомодельным образом «само по себе» сворачиваться в идеальную сферу.
Гипотеза, сформулированная французским математиком Анри Пуанкаре в 1904 году, является центральной проблемой топологии, науки о геометрических свойствах тел, которые не меняются, когда тело вытягивается, скручивается или сжимается. Топологически двухмерную сферу можно сравнительно легко представить как планетарную поверхность, например лунную или земную. Но трехмерный шар в четырехмерном пространстве вообразить уже довольно сложно. Между тем Пуанкаре утверждал, что трехмерная сфера — это единственное ограниченное трехмерное пространство без дыр. Предположение о подобных свойствах многомерного пространства он сделал в 1904 году, когда только начинал заниматься топологией.
Однако тополог скажет, что чашка и бублик — это одно и то же. И объяснит это так. Вообразите, что чашка и бублик представляют собой поверхности, полые внутри и изготовленные из очень эластичного материала (математик бы сказал, что имеется пара компактных двумерных многообразий). Проведем умозрительный эксперимент: сначала раздуем дно чашки, а потом ее ручку, после чего она превратится в тор (именно так математически называется форма бублика).
Разумеется, у пытливого читателя возникает вопрос: раз поверхности можно мять, то как же их различать? Ведь интуитивно понятно: как ни мни тор, без разрывов и склеек сферу из него не получишь. Тут в игру вступают так называемые инварианты — характеристики поверхности, которые не меняются при деформации, — понятие, необходимое для формулировки гипотезы Пуанкаре.
Здравый смысл подсказывает, что тор от сферы отличает дырка. Однако дырка — понятие далеко не математическое, поэтому его надо формализовать. Делается это так: представим, что на поверхности имеется очень тонкая эластичная нить, образующая петлю (саму поверхность в этом умозрительном опыте, в отличие от предыдущего, считаем твердой).
– 51-
Будем двигать петлю, не отрывая ее от поверхности и не разрывая. Если нить можно стянуть до очень маленького кружочка (почти точки), то говорят, что петля стягиваема. В противном случае петля называется нестягиваемой.
Можно легко увидеть, что на сфере любая петля стягиваема, а вот для тора это уже не так: на бублике есть целых две петли — одна продета в дырку, а другая обходит дырку по периметру, которые нельзя стянуть. На рис. 19 показаны примеры нестягиваемых петель. Когда на поверхности есть петли, математики говорят, что «фундаментальная группа многообразия нетривиальна», а если таких петель нет — то тривиальна.
Теперь, чтобы правильно сформулировать гипотезу Пуанкаре, осталось потерпеть еще немного: надо разобраться, что такое трехмерное многообразие в общем и трехмерная сфера в частности.