ПРИДНЕСТРОВЬЕ

Российскому математику-отшельнику Григорию Перельману присудили Премию тысячелетия Математического института имени Клэя (Кембридж, США) за доказательство гипотезы Пуанкаре. В 2006 году он уже получил за него Медаль Филдса, но отказался от награды и стал знаменит широкой публике именно благодаря этому поступку. Теперь Перельмана настиг еще и миллион долларов, от которого он также намерен отказаться. Обозреватель "Известий" - о том, чем так ценно для науки доказательство нашего соотечественника.

Великий французский математик Анри Пуанкаре в 1904 году сформулировал свою знаменитую гипотезу таким образом: всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере.

Что это означает в переводе с математического на русский, попытаюсь объяснить чуть позже, а сейчас усложним задачу - на самом деле для ее упрощения. Итак, несколько позже выяснилось, что эта гипотеза является всего лишь частным случаем обобщенной гипотезы при n = 3, гласящей, что для любого n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей.

Не надо беспокоиться, я вовсе не собираюсь объяснять значение всех этих терминов. Для нас важно только то, что для n более 4 гипотеза уже была доказана к 1982 году. Но в виде обобщения (гипотезы Тёрстона) и собственно гипотезы Пуанкаре это удалось сделать в 2002 году питерскому математику Григорию Перельману.

Попробуем разобраться с первой формулировкой гипотезы. "Односвязное компактное трехмерное многообразие" - это любое тело без дырок. Например, простейший шар, или куб, или лист бумаги, на котором напечатана эта статья, или даже человеческое тело без сквозных отверстий. Тела многих наших предпринимателей после контрольного выстрела в голову явно не удовлетворяют этому условию, как и бублик, чашка с ручкой и дуршлаг.

Гомеоморфизм (от греческого "похожий с виду") - это возможность из одной фигуры получить другую, сжимая или вытягивая какие-либо ее части. В мультфильме про пластилиновую ворону аниматоры так и поступали - из вороны вполне можно вылепить дворника. Из шара - куб, из бумаги - шар. Но ни шар, ни ворону нельзя вылепить из чашки, так как отверстие никуда не исчезнет, а залепить его нельзя.

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

Впервые свое доказательство Григорий Перельман еще в 2002 году выложил на сайте arXiv.org, который используется учеными самых разных направлений для быстрого обнародования своих результатов, - научные журналы часто публикуют статьи с опозданием. Так случилось, например, с Николой Теслой. Его патент на электродвигатель переменного тока был опубликован после выступления Феррариса о его двигателе, хотя заявлен патент был до. Приоритет Теслы оспаривается до сих пор.

Краткое содержание своей работы Перельман послал математикам Гамильтону, который в свое время придумал "дорожную карту" для доказательства гипотезы Пуанкаре, а также Яу и Тяну. Они принялись проверять доказательство, причем вскоре им пришлось изучить и два следующих препринта Перельмана. Китайский корифей Яу переложил работу по проверке на коллег, которые и опубликовали статью со своим вариантом доказательства, оценив вклад Перельмана в 25%.

Но ничего у них не вышло. Через четыре года Перельману была присуждена Медаль Филдса и был окончательно признан его приоритет. Журнал Science даже назвал это доказательство "прорывом года"...

Пётр Образцов