Доказательство длиною в век. Григорий Перельман окончательно и бесповоротно вошел в историю
Люди и судьбы

Математический институт Клэя присудил Григорию Перельману Премию тысячелетия (Millennium Prize), тем самым официально признав верным доказательство гипотезы Пуанкаре, выполненное российским математиком. Примечательно, что при этом институту пришлось нарушить собственные правила — по ним на получение примерно миллиона долларов, именно таков размер премии, может претендовать только автор, опубликовавший свои работы в рецензируемых журналах. Работа Григория Перельмана формально так и не увидела свет — она осталась набором нескольких препринтов на сайте arXiv.org (
Кружка, пончик и немного топологии
Прежде чем выяснить, в чем состоит гипотеза Пуанкаре, необходимо разобраться, что это за раздел математики — топология, — к которому эта самая гипотеза относится. Топология многообразий занимается свойствами поверхностей, которые не меняются при определенных деформациях. Поясним на классическом примере. Предположим, что перед читателем лежит пончик и стоит пустая чашка. С точки зрения геометрии и здравого смысла — это разные объекты хотя бы потому, что попить кофе из пончика не получится при всем желании.
Однако тополог скажет, что чашка и пончик — это одно и то же. И объяснит это так: вообразим, что чашка и пончик представляют собой полые внутри поверхности, изготовленные из очень эластичного материала (математик бы сказал, что имеется пара компактных двумерных многообразий). Проведем умозрительный эксперимент: сначала раздуем дно чашки, а потом ее ручку, после чего она превратится в тор (именно так математически называется форма пончика). Посмотреть, как примерно выглядит этот процесс можно тут.
Разумеется, у пытливого читателя возникает вопрос: раз поверхности можно мять, то как же их различать? Ведь, например, интуитивно понятно — как ни мни тор, без разрывов и склеек сферу из него не получишь. Тут в игру вступают так называемые инварианты — характеристики поверхности, которые не меняются при деформации, — понятие, необходимое для формулировки гипотезы Пуанкаре.

Теперь, чтобы честно сформулировать гипотезу Пуанкаре, любознательному читателю осталось потерпеть еще немного: надо разобраться, что такое трехмерное многообразие в общем и трехмерная сфера в частности.
Вернемся на секундочку к поверхностям, которые мы обсуждали выше. Каждую из них можно разрезать на такие мелкие кусочки, что каждый будет почти напоминать кусочек плоскости. Так как у плоскости всего два измерения, то говорят, что и многообразие двумерно. Трехмерное многообразие — это такая поверхность, которую можно разрезать на мелкие кусочки, каждый из которых очень похож на кусочек обычного трехмерного пространства.
Главным «действующим лицом» гипотезы является трехмерная сфера. Представить себе трехмерную сферу как аналог обычной сферы в четырехмерном пространстве, не потеряв при этом рассудок, все-таки, наверное, невозможно. Однако описать этот объект, так сказать, «по частям» достаточно легко. Все, кто видел глобус, знают, что обычную сферу можно склеить из северного и южного полушария по экватору. Так вот, трехмерная сфера склеивается из двух шаров (северного и южного) по сфере, которая представляет собой аналог экватора.
На трехмерных многообразиях можно рассмотреть такие же петли, какие мы брали на обычных поверхностях. Так вот, гипотеза Пуанкаре утверждает: «Если фундаментальная группа трехмерного многообразия тривиальна, то оно гомеоморфно сфере». Непонятное словосочетание «гомеоморфно сфере» в переводе на неформальный язык означает, что поверхность можно продеформировать в сферу.
В 1887 году Пуанкаре представил работу на математический конкурс, посвященный 60-летию короля Швеции Оскара II. В ней обнаружилась ошибка, которая привела к появлению теории хаоса.
Немного истории

Так, изначально Анри Пуанкаре, который отличался помимо всего прочего умением совершать гениальные ошибки, сформулировал гипотезу немного в другом виде, чем мы написали выше. Спустя некоторое время он привел контрпример к своему утверждению, который стал известен как гомологическая 3-сфера Пуанкаре, и в 1904 году сформулировал гипотезу уже в современном виде. Сферу, кстати, совсем недавно ученые приспособили в астрофизике — оказалось, что Вселенная вполне может оказаться гомологической 3-сферой Пуанкаре.
Надо сказать, что особого ажиотажа среди коллег-геометров гипотеза не вызвала. Так было до 1934 года, когда британский математик
После этого за гипотезой постепенно закрепилась слава крайне сложной задачи. Многие великие математики пытались взять ее приступом. Например, американский Эр Аш Бинг (
Были среди ученых и люди, положившие жизнь на доказательство этого математического факта. Например, известный математик греческого происхождения Кристос Папакириакопоулос. В течение более десяти лет, работая в Принстоне, он безуспешно пытался доказать гипотезу. Он умер от рака в 1976 году.
Примечательно, что обобщение гипотезы Пуанкаре на многообразия размерности выше трех оказалось заметно проще оригинала — лишние размерности позволяли легче манипулировать многообразиями. Так, для n-мерных многообразий (при n не меньше 5) гипотеза была доказана Стивеном Смейлом в 1961 году. Для n = 4 гипотеза была доказана методом, совершенно отличным от смейловского, в 1982 году Майклом Фридманом. За свое доказательство последний получил Филдсовскую медаль — высшую награду для математиков.
Описанные работы — это далеко не полный список попыток решения более чем столетней гипотезы. И хотя каждая из работ и привела к возникновению целого направления в математике и может считаться в этом смысле успешной и значимой, доказать гипотезу Пуанкаре окончательно удалось только россиянину Григорию Перельману.
Перельман и доказательство
В 1992 году Григорий Перельман, тогда сотрудник математического института им. Стеклова, попал на лекцию Ричарда Гамильтона. Американский математик рассказывал о потоках Риччи — новом инструменте для изучения гипотезы геометризации Терстона — факта, из которого гипотеза Пуанкаре получалась как простое следствие. Эти потоки, построенные в некотором смысле по аналогии с уравнениями теплопереноса, заставляли поверхности с течением времени деформироваться примерно так же, как в начале этой статьи мы деформировали двумерные поверхности. Оказалось, что в некоторых случаях результатом такой деформации оказывался объект, структуру которого легко понять. Основная трудность заключалась в том, что во время деформации возникали особенности с бесконечной кривизной, аналогичные в некотором смысле черным дырам в астрофизике.
После лекции Перельман подошел к Гамильтону. Позже он рассказывал, что Ричард его приятно удивил: «Он улыбался и был очень терпелив. Он даже рассказал мне несколько фактов, которые были опубликованы спустя лишь несколько лет. Он сделал это без колебаний. Его открытость и доброта поразили меня. Не могу сказать, что большинство современных математиков ведет себя так.»
После поездки в США Перельман вернулся в Россию, где принялся трудиться над решением проблемы особенностей потоков Риччи и доказательством гипотезы геометризации (а вовсе не над гипотезой Пуанкаре) втайне от всех. Ничего удивительного, что появление 11 ноября 2002 года первого препринта Перельмана повергло математическую общественность в шок. Спустя некоторое время появилась еще пара работ.
После этого Перельман самоустранился от обсуждения доказательств и даже, говорят, прекратил заниматься математикой. Он не прервал своего уединенного образа жизни даже в 2006 году, когда ему была присуждена Филдсовская премия — самая престижная награда для математиков. Причины такого поведения автора обсуждать не имеет смысла — гений имеет право вести себя странно (например, будучи в Америке Перельман не стриг ногти, позволяя им свободно расти). Как бы то ни было, доказательство Перельмана зажило отдельной от него жизнью: три препринта не давали покоя математикам современности. Первые результаты проверки идей российского математика появились в 2006 году — крупные геометры Брюс Кляйнер и Джон Лотт из Мичиганского университета опубликовали

После этого математик стал ездить по миру с популярными лекциями, рассказывая о достижениях китайских математиков. В результате возникла опасность, что очень скоро результаты Перельмана и даже Гамильтона окажутся отодвинуты на второй план. Такое в истории математики случалось не раз — многие теоремы, носящие имена конкретных математиков, были придуманы совершенно другими людьми.
Однако этого не случилось и, вероятно, теперь не случится. Вручение премии Клэя Перельману (даже если тот откажется) навсегда закрепило в общественном сознании факт: российский математик Григорий Перельман доказал гипотезу Пуанкаре. И неважно, что на самом деле он доказал факт более общий, развив по пути совершенно новую теорию особенностей потоков Риччи. Хотя бы так. Награда нашла героя.
Источник:
Дочитали статью до конца? Пожалуйста, примите участие в обсуждении, выскажите свою точку зрения, либо просто проставьте оценку статье.
Вы также можете:
- Перейти на главную и ознакомиться с самыми интересными постами дня
- Добавить статью в заметки на:
Комментарии (0)
RSSсвернуть / развернутьТолько зарегистрированные и авторизованные пользователи могут оставлять комментарии.