Теория пуанкаре перельмана простыми словами. Гипотеза пуанкаре и интриги вокруг нее

«Проблема, которую решил Перельман , состоит в требовании доказать гипотезу, выдвинутую в 1904 году великим французским математиком Анри Пуанкаре (1854-1912) и носящую его имя. О роли Пуанкаре в математике трудно сказать лучше, чем это сделано в энциклопедии: «Труды Пуанкаре в области математики, с одной стороны, завершают классическое направление, а с другой - открывают пути к развитию новой математики, где наряду с количественными соотношениями устанавливаются факты, имеющие качественный характер» (БСЭ, изд. 3-е, т. 2). Гипотеза Пуанкаре как раз и имеет качественный характер - как и вся та область математики (а именно топология), к которой она относится и в создании которой Пуанкаре принял решающее участие.

На современном языке гипотеза Пуанкаре звучит так: всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.

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

В этом состоит значение результата Перельмана для физики и астрономии. Термин «односвязное компактное трёхмерное многообразие без края» содержит указания на предполагаемые свойства нашей Вселенной. Термин «гомеоморфно» означает некую высокую степень сходства, в известном смысле неотличимость. Формулировка в целом означает, следовательно, что если наша Вселенная обладает всеми свойствами односвязного компактного трёхмерного многообразия без края, то она - в том же самом «известном смысле» - и есть трёхмерная сфера.

Понятие односвязности - довольно простое понятие. Представим себе канцелярскую резинку (то есть резиновую нить со склеенными концами) столь упругую, что она, если её не удерживать, стянется в точку. От нашей резинки мы потребуем ещё, чтобы при стягивании в точку она не выходила за пределы той поверхности, на которой мы её расположили. Если мы растянем такую резинку на плоскости и отпустим, она немедленно стянется в точку. То же произойдёт, если мы расположим резинку на поверхности глобуса, то есть на сфере. Для поверхности спасательного круга ситуация окажется совершенно иной: любезный читатель легко найдёт такие расположения резинки на этой поверхности, при которой стянуть резинку в точку, не выходя за пределы рассматриваемой поверхности, невозможно. Геометрическая фигура называется односвязной, если любой замкнутый контур, расположенный в пределах этой фигуры, можно стянуть в точку, не выходя за названные пределы. Мы только что убедились, что плоскость и сфера односвязны, а поверхность спасательного круга не односвязна. Не односвязна и плоскость с вырезанной в ней дырой. Понятие односвязности применимо и к трёхмерным фигурам. Так, куб и шар односвязны: всякий находящийся в их толще замкнутый контур можно стянуть в точку, причём в процессе стягивания контур будет всё время оставаться в этой толще. А вот баранка не односвязна: в ней можно найти такой контур, который нельзя стянуть в точку так, чтобы в процессе стягивания контур всё время находился в тесте баранки. Не односвязен и крендель. Можно доказать, что трёхмерная сфера односвязна.

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

При этом окрестностью какой-либо точки А называется совокупность всех точек, расположенных вблизи от этой точки А. Микроскопическое существо, живущее в многообразии без края и способное видеть только ближайшие к себе точки этого многообразия, не в состоянии определить, в какой именно точке оно, существо, находится: вокруг себя оно всегда видит одно и то же. Ещё примеры одномерных многообразий без края: вся прямая линия целиком, окружность. Примером одномерной фигуры, не являющейся многообразием, может служить линия в форме буквы Т: здесь есть особая точка, окрестность которой не похожа на окрестности других точек - это точка, где сходятся три отрезка. Другой пример одномерного многообразия - линия в форме восьмёрки; в особой точке здесь сходятся четыре линии. Плоскость, сфера, поверхность спасательного круга служат примерами двумерных многообразии без края. Плоскость с вырезанной в ней дырой также будет многообразием - а вот с краем или без края, зависит от того, куда мы относим контур дыры. Если мы относим его к дыре, получаем многообразие без края; если оставляем контур на плоскости, получаем многообразие с краем, каковым и будет служить этот контур. Разумеется, мы имели здесь в виду идеальное математическое вырезание, а при реальном физическом вырезании ножницами вопрос, куда относится контур, не имеет никакого смысла.

Несколько слов о трёхмерных многообразиях. Шар вместе со сферой, служащей его поверхностью, представляет собою многообразие с краем; указанная сфера как раз и является этим краем. Если мы удалим этот шар из окружающего пространства, получим многообразие без края. Если мы сдерём с шара его поверхность, получится то, что на математическом жаргоне называется «ошкуренный шар», а в более научном языке - открытый шар. Если удалить открытый шар из окружающего пространства, получится многообразие с краем, и краем будет служить та самая сфера, которую мы содрали с шара. Баранка вместе со своей корочкой есть трёхмерное многообразие с краем, а если отодрать корочку (которую мы трактуем как бесконечно тонкую, то есть как поверхность), получим многообразие без края в виде «ошкуренной баранки». Всё пространство в целом, если понимать его так, как оно понимается в средней школе, есть трёхмерное многообразие без края.

Математическое понятие компактность отчасти отражает тот смысл, какой слово «компактный» имеет в повседневном русском языке: «тесный», «сжатый». Геометрическая фигура называется компактной, если при любом расположении бесконечного числа её точек они накапливаются к одной из точек или ко многим точкам этой же фигуры. Отрезок компактен: для любого бесконечного множества его точек в отрезке найдётся хотя бы одна так называемая предельная точка, любая окрестность которой содержит бесконечно много элементов рассматриваемого множества. Интервал не компактен: можно указать такое множество его точек, которое накапливается к его концу, и только к нему, - но ведь конец не принадлежит интервалу!

За недостатком места мы ограничимся этим комментарием. Скажем лишь, что из рассмотренных нами примеров компактными являются отрезок, окружность, сфера, поверхности баранки и кренделя, шар (вместе со своей сферой), баранка и крендель (вместе со своими корочками). Напротив, интервал, плоскость, ошкуренные шар, баранка и крендель не являются компактными. Среди трёхмерных компактных геометрических фигур без края простейшей является трёхмерная сфера, но в нашем привычном «школьном» пространстве такие фигуры не умещаются. Самое, пожалуй, глубокое из тех понятий, которые связывает между собой гипотеза Пуанкаре , - это понятие гомеоморфии. Гомеоморфия - это наиболее высокая ступень геометрической одинаковости . Сейчас мы попытаемся дать приблизительное разъяснение этому понятию путём постепенного к нему приближения.

Уже в школьной геометрии мы встречаемся с двумя видами одинаковости - с конгруэнтностью фигур и с их подобием. Напомним, что фигуры называются конгруэнтными, если они совпадают друг с другом при наложении. В школе конгруэнтные фигуры как бы не различают, и потому конгруэнтность называют равенством. Конгруэнтные фигуры имеют одинаковые размеры во всех своих деталях. Подобие же, не требуя одинаковости размеров, означает одинаковость пропорций этих размеров; поэтому подобие отражает более сущностное сходство фигур, нежели конгруэнтность. Геометрия в целом - более высокая ступень абстракции, нежели физика, а физика - чем материаловедение.

Возьмём, к примеру, шарик подшипника, биллиардный шар, крокетный шар и мяч. Физика не вникает в такие детали, как материал, из которого они сделаны, а интересуется лишь такими свойствами, как объём, вес, электропроводность и т. п. Для математики - все они шары, различающиеся только размерами. Если шары имеют разные размеры, то они различаются для метрической геометрии, но все они одинаковы для геометрии подобия. С точки зрения геометрии подобия одинаковы и все шары, и все кубы, а вот шар и куб - не одинаковы.

А теперь посмотрим на тор. Top - эта та геометрическая фигура, форму которой имеют баранка и спасательный круг. Энциклопедия определяет тор как фигуру, полученную вращением круга вокруг оси, расположенной вне этого круга. Призываем благосклонного читателя осознать, что шар и куб «более одинаковы» между собой, чем каждый из них с тором. Наполнить это интуитивное осознание точным смыслом позволяет следующий мысленный эксперимент. Представим себе шар сделанным из материала столь податливого, что его можно изгибать, растягивать, сжимать и, вообще, деформировать как угодно, - нельзя только ни разрывать, ни склеивать. Очевидно, что шар тогда можно превратить в куб, но вот в тор превратить невозможно. Толковый словарь Ушакова определяет крендель как выпечку (буквально: как сдобную витую булку) в форме буквы В. При всём уважении к этому замечательному словарю, слова «в форме цифры 8» кажутся мне более точными; впрочем, с той точки зрения, которая выражена в понятии гомеоморфии, и выпечка в форме цифры 8, и выпечка в форме буквы В, и выпечка в форме фиты имеют одну и ту же форму. Даже если предположить, что хлебопёки сумели получить тесто, обладающее вышеуказанными свойствами податливости, колобок невозможно - без разрывов и склеиваний! - превратить ни в баранку, ни в крендель, как и последние две выпечки друг в друга. А вот превратить шарообразный колобок в куб или в пирамиду - можно. Любезный читатель, несомненно, сумеет найти и такую возможную форму выпечки, в которую нельзя превратить ни колобок, ни крендель, ни баранку.

Не назвав этого понятия, мы уже познакомились с гомеоморфией. Две фигуры называются гомеоморфными, если одну можно превратить в другую путём непрерывной (т. е. без разрывов и склеивании) деформации; сами такие деформации называются гомеоморфизмами. Мы только что выяснили, что шар гомеоморфен кубу и пирамиде, но не гомеоморфен ни тору, ни кренделю, а последние два тела не гомеоморфны между собой. Просим читателя понимать, что мы привели лишь приблизительное описание понятия гомеоморфии, данное в терминах механического преобразования.

Коснёмся философского аспекта понятия гомеоморфии. Представим себе мыслящее существо, живущее внутри какой-либо геометрической фигуры и не обладающее возможностью посмотреть на эту фигуру извне, «со стороны». Для него фигура, в которой оно живёт, образует Вселенную. Представим себе также, что когда объемлющая фигура подвергается непрерывной деформации, существо деформируется вместе с нею. Если фигура, о которой идёт речь, является шаром, то существо никаким способом не может различить, пребывает ли оно в шаре, в кубе или в пирамиде. Однако для него не исключена возможность убедиться, что его Вселенная не имеет формы тора или кренделя. Вообще, существо может установить форму окружающего его пространства лишь с точностью до гомеоморфии, то есть оно не в состоянии отличить одну форму от другой, коль скоро эти формы гомеоморфны.

Для математики значение гипотезы Пуанкаре , превратившейся теперь из гипотезы в теорему Пуанкаре - Перельмана, огромно (не зря ведь за решение проблемы был предложен миллион долларов), равно как огромно и значение найденного Перельманом способа её доказательства, но объяснить это значение здесь - вне нашего умения. Что же касается космологической стороны дела, то, возможно, значимость этого аспекта была несколько преувеличена журналистами.

Впрочем, некоторые авторитетные специалисты заявляют, что осуществлённый Перельманом научный прорыв может помочь в исследовании процессов формирования чёрных дыр. Чёрные дыры, кстати, служат прямым опровержением положения о познаваемости мира - одного из центральных положений того самого передового, единственно верного и всесильного учения, которое 70 лет насильственно вдалбливалось в наши бедные головы. Ведь, как учит физика, никакие сигналы из этих дыр не могут к нам поступать в принципе, так что узнать, что там происходит, невозможно. О том, как устроена наша Вселенная в целом, мы вообще знаем очень мало, и сомнительно, что когда-нибудь узнаем. Да и сам смысл вопроса о её устройстве не вполне ясен. Не исключено, что этот вопрос относится к числу тех, на которые, согласно учению Будды , не существует ответа. Физика предлагает лишь модели устройства, более или менее согласующиеся с известными фактами. При этом физика, как правило, пользуется уже разработанными заготовками, предоставляемыми ей математикой.

Математика не претендует, разумеется, на то, чтобы установить какие бы то ни было геометрические свойства Вселенной. Но она позволяет осмыслить те свойства, которые открыты другими науками. Более того. Она позволяет сделать более понятными некоторые такие свойства, которые трудно себе вообразить, она объясняет, как такое может быть. К числу таких возможных (подчеркнём: всего лишь возможных!) свойств относятся конечность Вселенной и её неориентируемость.

Долгое время единственной мыслимой моделью геометрического строения Вселенной служило трёхмерное евклидово пространство, то есть то пространство, которое известно всем и каждому из средней школы. Это пространство бесконечно; казалось, что никакие другие представления и невозможны; помыслить о конечности Вселенной казалось безумием. Однако ныне представление о конечности Вселенной не менее законно, чем представление о её бесконечности. В частности, конечна трёхмерная сфера. От общения с физиками у меня осталось впечатление, что одни отвечают «скорее всего. Вселенная бесконечна», другие же - «скорее всего, Вселенная конечна».

Успенский В.А. , Апология математики, или о математике как части духовной культуры, журнал «Новый мир», 2007 г., N 12, с. 141-145.

Ученые считают, что 38-летний российский математик Григорий Перельман предложил верное решение проблемы Пуанкаре. Об этом на научном фестивале в Эксетере (Великобритания) заявил профессор математики Стэнфордского университета Кит Девлин.

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

Ученые всего мира узнали о достижениях Перельмана из двух препринтов (статей, предваряющих полноценную научную публикацию), размещенных автором в ноябре 2002-го и марте 2003 года на сайте архива предварительных работ Лос-Аламосской научной лаборатории .

Согласно правилам, принятым Научным консультативным советом института Клэя, новая гипотеза должна быть опубликована в специализированном журнале, имеющем "международную репутацию". Кроме того, по правилам Института, решение о выплате приза принимает, в конечном счёте, "математическое сообщество": доказательство не должно быть опровергнуто в течение двух лет после публикации. Проверкой каждого доказательства занимаются математики в разных странах мира.

Проблема Пуанкаре

Родился 13 июня 1966 года в Ленинграде, в семье служащих. Окончил знаменитую среднюю школу № 239 с углубленным изучением математики. В 1982 году в составе команды советских школьников участвовал в Международной математической олимпиаде, проходившей в Будапеште. Был без экзаменов зачислен на матмех Ленинградского государственного университета. Побеждал на факультетских, городских и всесоюзных студенческих математических олимпиадах. Получал Ленинскую стипендию. Окончив университет, Перельман поступил в аспирантуру при Санкт-Петербургском отделении Математического института им.В.А.Стеклова. Кандидат физико-математических наук. Работает в лаборатории математической физики.

Проблема Пуанкаре относится к области так называемой топологии многообразий - особым образом устроенных пространств, имеющих разную размерность. Двухмерные многообразия можно наглядно представить себе, например, на примере поверхности трехмерных тел - сферы (поверхности шара) или тора (поверхности бублика).

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

ТОПОЛОГИЯ, раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. Непрерывная деформация - это деформация фигуры, при которой не происходит разрывов (т.е. нарушения целостности фигуры) или склеиваний (т.е. отождествления ее точек).
ТОПОЛОГИЧЕСКОЕ ПРЕОБРАЗОВАНИЕ одной геометрической фигуры на другую - есть отображение произвольной точки Р первой фигуры на точку Р` другой фигуры, которое удовлетворяет следующим условиям: 1) каждой точке Р первой фигуры должна соответствовать одна и только одна точка Р` второй фигуры, и наоборот; 2) Отображение должно быть взаимно непрерывно. Например, имеются две точки Р и N, принадлежащие одной фигуре. Если при движении точки Р к точке N расстояние между ними стремится к нулю, то расстояние между точками Р` и N` другой фигуры тоже должно стремиться к нулю, и наоборот.
ГОМЕОМОРФИЗМ. Геометрические фигуры, переходящие одна в другую при топологических преобразованиях, называются гомеоморфными. Окружность и граница квадрата гомеоморфны, так как их можно перевести друг в друга топологическим преобразованием (т.е. изгибанием и растяжением без разрывов и склеиваний, например, растяжением границы квадрата на описанную вокруг него окружность). Область, в которой любую замкнутую простую (т.е. гомеоморфную окружности) кривую можно стянуть в точку, оставаясь все время в этой области, называется односвязной, а соответствующее свойство области - односвязностью. Если же некоторую замкнутую простую кривую этой области нельзя стянуть в точку, оставаясь все время в этой области, то область называется многосвязной, а соответствующее свойство области - многосвязностью.

Проблема Пуанкаре утверждает то же самое для трехмерных многообразий (для двухмерных многообразий, таких как сфера, это положение было доказано еще в XIX веке). Как заметил французский математик, одно из важнейших свойств двухмерной сферы состоит в том, что любая замкнутая петля (например, лассо), лежащая на ней, может быть стянута в одну точку, не покидая при этом поверхности. Для тора это справедливо не всегда: петля, проходящая через его отверстие, стянется в точку либо при разломе тора, либо при разрыве самой петли. В 1904 году Пуанкаре высказал предположение, что если петля может стягиваться в точку на замкнутой трехмерной поверхности, то такая поверхность гомеоморфна трехмерной сфере. Доказательство этой гипотезы оказалось чрезвычайно сложной задачей.

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

Задача, подобная проблеме Пуанкаре, для размерностей 5 и выше была решена в 1960 году Стивеном Смэйлом (Stephen Smale), Джоном Стэллингсом (John Stallings) и Эндрю Уоллесом (Andrew Wallace). Подходы, использованные этими учеными, оказались, однако, неприменимы к четырехмерным многообразиям. Для них проблема Пуанкаре была доказана лишь в 1981 году Майклом Фридманом (Michael Freedman). Трехмерный же случай оказался самым сложным; его решение и предлагает Григорий Перельман.

Необходимо отметить, что у Перельмана есть соперник. В апреле 2002 года профессор математики британского университета Саутгемптон Мартин Данвуди предложил свой метод решения проблемы Пуанкаре и теперь ожидает вердикт от института Клэя.

Специалисты считают, что решение проблемы Пуанкаре позволит сделать серьезный шаг в математическом описании физических процессов в сложных трехмерных объектах и даст новый импульс развитию компьютерной топологии. Метод, который предлагает Григорий Перельман, приведет к открытию нового направления в геометрии и топологии. Петербургский математик вполне может претендовать на премию Филдса (аналог Нобелевской премии, которую по математике не присуждают).

Между тем, некоторые находят поведение Григория Перельмана странным. Вот что пишет британская газета "Гардиан": "Скорее всего, подход Перельмана к разгадке проблемы Пуанкаре верный. Но не все так просто. Перельман не предоставляет доказательств того, что работа издана в качестве полноценной научной публикации (препринты таковой не считаются). А это необходимо, если человек хочет получить награду от института Клэя. Кроме того, он вообще не проявляет интереса к деньгам".

Видимо, для Григория Перельмана, как для настоящего ученого, деньги - не главное. За решение любой из так называемых "задач тысячелетия" истинный математик продаст душу дьяволу.

Список тысячелетия

8 августа 1900 года на международном математическом конгрессе в Париже математик Дэвид Гилберт (David Hilbert) изложил список проблем, которые, как он полагал, предстояло решить в ХХ веке. В списке было 23 пункта. Двадцать один из них на данный момент решены. Последней решенной проблемой из списка Гилберта была знаменитая теорема Ферма , с которой ученые не могли справиться в течение 358 лет. В 1994 году свое решение предложил британец Эндрю Уайлз. Оно и оказалось верным.

По примеру Гилберта в конце прошлого века многие математики пытались сформулировать подобные стратегические задачи на ХХI век. Один из таких списков приобрел широкую известность благодаря бостонскому миллиардеру Лэндону Клэю (Landon T. Clay). В 1998 году на его средства в Кембридже (Массачусетс, США) был основан и установлены премии за решение ряда важнейших проблем современной математики. 24 мая 2000 года эксперты института выбрали семь проблем - по числу миллионов долларов, выделенных на премии. Список получил название Millennium Prize Problems:

1. Проблема Кука (сформулирована в 1971 году)

Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей. Это говорит о том, что решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения.

Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки. Эта проблема также является одной из нерешенных задач из области логики и информатики. Ее решение могло бы революционным образом изменить основы криптографии, используемой при передаче и хранении данных.

2. Гипотеза Римана (сформулирована в 1859 году)

Некоторые целые числа не могут быть выражены как произведение двух меньших целых чисел, например 2, 3, 5, 7 и так далее. Такие числа называются простыми и играют важную роль в чистой математике и ее приложениях. Распределение простых чисел среди ряда всех натуральных чисел не подчиняется никакой закономерности. Однако немецкий математик Риман высказал предположение, касающееся свойств последовательности простых чисел. Если гипотеза Римана будет доказана, то это приведет к революционному изменению наших знаний в области шифрования и к невиданному прорыву в области безопасности Интернета.

3. Гипотеза Берча и Свиннертон-Дайера (сформулирована в 1960 году)

Связана с описанием множества решений некоторых алгебраических уравнений от нескольких переменных с целыми коэффициентами. Примером подобного уравнения является выражение x 2 + y 2 = z 2 . Эвклид дал полное описание решений этого уравнения, но для более сложных уравнений поиск решений становится чрезвычайно трудным.

4. Гипотеза Ходжа (сформулирована в 1941 году)

В ХХ веке математики открыли мощный метод исследования формы сложных объектов. Основная идея заключается в том, чтобы использовать вместо самого объекта простые "кирпичики", которые склеиваются между собой и образуют его подобие. Гипотеза Ходжа связана с некоторыми предположениями относительно свойств таких "кирпичиков" и объектов.

5. Уравнения Навье - Стокса (сформулированы в 1822 году)

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

6. Проблема Пуанкаре (сформулирована в 1904 году)

Если натянуть резиновую ленту на яблоко, то можно, медленно перемещая ленту без отрыва от поверхности, сжать ее до точки. С другой стороны, если ту же самую резиновую ленту соответствующим образом натянуть вокруг бублика, то никаким способом невозможно сжать ленту в точку, не разрывая ленту или не ломая бублик. Говорят, что поверхность яблока односвязна, а поверхность бублика - нет. Доказать, что односвязна только сфера, оказалось настолько трудно, что математики ищут правильный ответ до сих пор.

7. Уравнения Янга - Миллса (сформулированы в 1954 году)

Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения. Тем самым они нашли путь к объединению теорий электромагнитного, слабого и сильного взаимодействий. Из уравнений Янга - Миллса следовало существование частиц, которые действительно наблюдались в лабораториях во всем мире, поэтому теория Янга - Миллса принята большинством физиков несмотря на то, что в рамках этой теории до сих пор не удается предсказывать массы элементарных частиц.

Михаил Витебский

Фото Н. Четвериковой Последним великим достижением чистой математики называют доказательство петербуржцем Григорием Перельманом в 2002—2003 годах гипотезы Пуанкаре, высказанной в 1904 году и гласящей: «всякое связное, односвязное, компактное трехмерное многообразие без края гомеоморфно сфере S 3 ».

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

Начнем с понятия гомеоморфизма, центрального в топологии. Вообще, топологию часто определяют как «резиновую геометрию», т. е. как науку о свойствах геометрических образов, которые не меняются при плавных деформациях без разрывов и склеек, а точнее, при возможности установить между двумя объектами взаимно-однозначное и взаимно-непрерывное соответствие.

Главную идею проще всего объяснить на классическом примере кружки и бублика. Первую можно превратить во второй непрерывной деформацией: Эти рисунки наглядно показывают, что кружка гомеоморфна бублику, причем этот факт верен как для их поверхностей (двумерных многообразий, называемых тором), так и для заполненных тел (трехмерных многообразий с краем).

Приведем толкование остальных терминов, фигурирующих в формулировке гипотезы.

1. Трехмерное многообразие без края. Это такой геометрический объект, у которого каждая точка имеет окрестность в виде трехмерного шара. Примерами 3-многообразий может служить, во-первых, всё трехмерное пространство, обозначаемое R 3 , а также любые открытые множества точек в R 3 , к примеру внутренность полнотория (бублика). Если рассмотреть замкнутое полно-торие, т. е. добавить и его граничные точки (поверхность тора), то мы получим уже многообразие с краем -у краевых точек нет окрестностей в виде шарика, но лишь в виде половинки шарика.

2. Связное. Понятие связности здесь самое простое. Многообразие связно, если оно состоит из одного куска, или, что-то же самое, любые две его точки можно соединить непрерывной линией, не выходящей за его пределы.

3. Односвязное. Понятие односвязности сложнее. Оно означает, что любую непрерывную замкнутую кривую, расположенную целиком в пределах данного многообразия, можно плавно стянуть в точку, не покидая этого многообразия. Например, обычная двумерная сфера в R 3 односвязна (кольцевую резинку, как угодно приложенную к поверхности яблока, можно плавной деформацией стянуть в одну точку, не отрывая резинки от яблока). С другой стороны, окружность и тор неодносвязны.

4. Компактное. Многообразие компактно, если любой его гомео-морфный образ имеет ограниченные размеры. Например, открытый интервал на прямой (все точки отрезка, кроме его концов) некомпактен, так как его можно непрерывно растянуть до бесконечной прямой. А вот замкнутый отрезок (с концами) является компактным многообразием с краем: при любой непрерывной деформации концы переходят в какие-то определенные точки, и весь отрезок обязан переходить в ограниченную кривую, соединяющую эти точки.

Размерность многообразия -это число степеней свободы у точки, которая на нем «живет». У каждой точки есть окрестность в виде диска соответствующей размерности, т. е. интервала прямой в одномерном случае, круга на плоскости в двумерном, шара в трехмерном и т. д. Одномерных связных многообразий без края с точки зрения топологии всего два: это прямая и окружность. Из них только окружность компактна.

Примером пространства, не являющегося многообразием, может служить, например, пара пересекающихся линий — ведь у точки пересечения двух линий любая окрестность имеет форму креста, у нее нет окрестности, которая была бы сама по себе просто интервалом (а у всех других точек такие окрестности есть). Математики в таких случаях говорят, что мы имеем дело с особым многообразием, у которого есть одна особая точка.

Двумерные компактные многообразия хорошо известны. Если рассматривать только ориентируемые 1 многообразия без края, то они с топологической точки зрения составляют простой, хотя и бесконечный, список: и так далее. Каждое такое многообразие получается из сферы приклеиванием нескольких ручек, число которых называется родом поверхности.

1 За неимением места, я не буду говорить о неориентируемых многообразиях, примером которых может служить известная бутылка Клейна — поверхность, которую нельзя вложить в пространство без самопересечений.

На рисунке изображены поверхности рода 0, 1, 2 и 3. Чем выделяется сфера из всех поверхностей этого списка? Оказывается, односвязностью: на сфере любую замкнутую кривую можно стянуть в точку, а на любой другой поверхности всегда можно указать кривую, которую стянуть в точку по поверхности невозможно.

Любопытно, что и трехмерные компактные многообразия без края можно в некотором смысле классифицировать, т. е. выстроить в некоторый список, хотя не такой прямолинейный, как в двумерном случае, а имеющий довольно сложную структуру. Тем не менее, трехмерная сфера S 3 выделяется в этом списке точно так же, как двумерная сфера в списке, приведенном выше. Тот факт, что любая кривая на S 3 стягивается в точку, доказывается столь же просто, как и в двумерном случае. А вот обратное утверждение, а именно, что это свойство уникально именно для сферы, т. е. что на любом другом трехмерном многообразии есть нестягиваемые кривые, очень трудное и в точности составляет содержание гипотезы Пуанкаре, о которой мы ведем речь.

Важно понимать, что многообразие может жить само по себе, о нем можно мыслить как о независимом объекте, никуда не вложенном. (Представьте себе жизнь двумерных существ на поверхности обычной сферы, не подозревающих о существовании третьего измерения.) К счастью, все двумерные поверхности из приведенного выше списка можно вложить в обычное пространство R 3 , что облегчает их визуализацию. Для трехмерной сферы S 3 (и вообще для любого компактного трехмерного многообразия без края) это уже не так, поэтому необходимы некоторые усилия для того, чтобы понять ее строение.

По-видимому, простейший способ объяснить топологическое устройство трехмерной сферы S 3 — это при помощи одноточечной компактифика-ции. А именно, трехмерная сфера S 3 представляет собой одноточечную компактификацию обычного трехмерного (неограниченного) пространства R 3 .

Поясним эту конструкцию сначала на простых примерах. Возьмем обычную бесконечную прямую (одномерный аналог пространства) и добавим к ней одну «бесконечно удаленную» точку, считая, что при движении по прямой вправо или влево мы в конце концов попадаем в эту точку. С топологической точки зрения нет разницы между бесконечной прямой и ограниченным открытым отрезком (без концевых точек). Такой отрезок можно непрерывно изогнуть в виде дуги, свести поближе концы и вклеить в место стыка недостающую точку. Мы получим, очевидно, окружность — одномерный аналог сферы.

Подобным же образом, если я возьму бесконечную плоскость и добавлю одну точку на бесконечности, к которой стремятся все прямые исходной плоскости, проходимые в любом направлении, то мы получим двумерную (обычную) сферу S 2 . Эту процедуру можно наблюдать при помощи стереографической проекции, которая каждой точке P сферы, за исключением северного полюса N, ставит в соответствие некоторую точку плоскости P":

Таким образом, сфера без одной точки — это топологически все равно, что плоскость, а добавление точки превращает плоскость в сферу.

В принципе, точно такая же конструкция применима и к трехмерной сфере и трехмерному пространству, только для ее осуществления необходим выход в четвертое измерение, и на чертеже это не так просто изобразить. Поэтому я ограничусь словесным описанием одноточечной компактификации пространства R 3 .

Представьте себе, что к нашему физическому пространству (которое мы, вслед за Ньютоном, считаем неограниченным евклидовым пространством с тремя координатами x, y, z) добавлена одна точка «на бесконечности» таким образом, что при движении по прямой в любом направлении вы в нее попадаете (т.е. каждая пространственная прямая замыкается в окружность). Тогда мы получим компактное трехмерное многообразие, которое и есть по определению сфера S 3 .

Легко понять, что сфера S 3 односвязна. В самом деле, любую замкнутую кривую на этой сфере можно немного сдвинуть, чтобы она не проходила через добавленную точку. Тогда мы получим кривую в обычном пространстве R 3 , которая легко стягивается в точку посредством гомотетий, т. е. непрерывного сжатия по всем трем направлениям.

Для понимания, как устроено многообразие S 3 , весьма поучительно рассмотреть его разбиение на два полнотория. Если из пространства R 3 выбросить полноторие, то останется нечто не очень понятное. А если пространство компактифицировать в сферу, то это дополнение превращается тоже в полноторие. То есть сфера S 3 разбивается на два полнотория, имеющих общую границу — тор.

Вот как это можно понять. Вложим тор в R 3 как обычно, в виде круглого бублика, и проведем вертикальную прямую — ось вращения этого бублика. Через ось проведем произвольную плоскость, она пересечет наше полноторие по двум кругам, показанным на рисунке зеленым цветом, а дополнительная часть плоскости разбивается на непрерывное семейство красных окружностей. К их числу относится и центральная ось, выделенная более жирно, потому что в сфере S 3 прямая замыкается в окружность. Трехмерная картина получается из этой двумерной вращением вокруг оси. Полный набор повернутых окружностей заполнит при этом трехмерное тело, гомео-морфное полноторию, только выглядящее необычно.

В самом деле, центральная ось будет в нем осевой окружностью, а остальные будут играть роль параллелей — окружностей, составляющих обычное полноторие.

Чтобы было с чем сравнивать 3-сферу, я приведу еще один пример компактного 3-многообразия, а именно трехмерный тор. Трехмерный тор можно построить следующим образом. Возьмем в качестве исходного материала обычный трехмерный куб:

В нем имеется три пары граней: левая и правая, верхняя и нижняя, передняя и задняя. В каждой паре параллельных граней отождествим попарно точки, получающиеся друг из друга переносом вдоль ребра куба. То есть будем считать (чисто абстрактно, без применения физических деформаций), что, например, A и A" - это одна и та же точка, а B и B" - тоже одна точка, но отличная от точки A. Все внутренние точки куба будем рассматривать как обычно. Сам по себе куб-это многообразие с краем, но после проделанных склеек край замыкается сам на себя и исчезает. В самом деле, окрестностями точек A и A" в кубе (они лежат на левой и правой заштрихованных гранях) служат половинки шаров, которые после склейки граней сливаются в целый шарик, служащий окрестностью соответствующей точки трехмерного тора.

Чтобы ощутить устройство 3-тора исходя из обыденных представлений о физическом пространстве, нужно выбрать три взаимно перпендикулярных направления: вперед, влево и вверх — и мысленно считать, как в фантастических рассказах, что при движении в любом из этих направлений достаточно долгое, но конечное время, мы вернемся в исходную точку, но с противоположного направления Это тоже «компактификация пространства», но не одноточечная, использованная раньше для построения сферы, а более сложная.

На трехмерном торе есть нестягиваемые пути; например, таковым является отрезок AA" на рисунке (на торе он изображает замкнутый путь). Его нельзя стянуть, потому что при любой непрерывной деформации точки A и A" обязаны двигаться по своим граням, оставаясь строго друг напротив друга (иначе кривая разомкнется).

Итак, мы видим, что бывают односвязные и неодносвязные компактные 3-многообразия. Перельман доказал, что односвязное многообразие ровно одно.

Исходной идеей доказательства является использование так называемого «потока Риччи»: мы берем односвязное компактное 3-многообразие, наделяем его произвольной геометрией (т.е. вводим некоторую метрику с расстояниями и углами), а затем рассматриваем его эволюцию вдоль потока Риччи. Ричард Гамильтон, который высказал эту идею в 1981 году, надеялся, что при такой эволюции наше многообразие превратится в сферу. Оказалось, что это неверно, — в трехмерном случае поток Риччи способен портить многообразие, т. е. делать из него немногообразие (нечто с особыми точками, как в приведенном выше примере пересекающихся прямых). Перельману путем преодоления неимоверных технических трудностей, с использованием тяжелого аппарата уравнений с частными производными, удалось внести поправки в поток Риччи вблизи особых точек таким образом, что при эволюции топология многообразия не меняется, особых точек не возникает, а в конце концов оно превращается в круглую сферу. Но нужно объяснить наконец, что же такое этот поток Риччи. Потоки, использованные Гамильтоном и Перельманом, относятся к изменению внутренней метрики на абстрактном многообразии, и это объяснить довольно трудно, поэтому я ограничусь описанием «внешнего» потока Риччи на одномерных многообразиях, вложенных в плоскость.

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

Кривизну будем считать положительной, если вектор скорости поворачивает в сторону внутренней части плоскости, разбитой нашей кривой на две части, и отрицательной, если он поворачивает вовне. Это соглашение на зависит от направления обхода кривой. В точках перегиба, где вращение меняет направление, кривизна будет равна 0. Например, окружность радиуса 1 имеет постоянную положительную кривизну, равную 1 (если считать ее в радианах).

Теперь забудем про касательные векторы и к каждой точке кривой прикрепим, наоборот, перпендикулярный ей вектор, по длине равный кривизне в данной точке и направленный вовнутрь, если кривизна положительна, и вовне, если отрицательна, а затем заставим каждую точку двигаться в направлении соответствующего вектора со скоростью, пропорциональной его длине. Вот пример:

Оказывается, что любая замкнутая кривая на плоскости ведет себя при такой эволюции подобным же образом, т. е. превращается в конце концов в окружность. Это и есть доказательство одномерного аналога гипотезы Пуанкаре при помощи потока Риччи (впрочем, само утверждение в данном случае и так очевидно, просто способ доказательства иллюстрирует, что происходит в размерности 3).

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

Сергей Дужин,
докт.физ.-мат. наук,
старший научный сотрудник
Санкт-Петербургского отделения
Математического института РАН

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

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

За доказательство гипотезы Пуанкаре присудил премию в миллион долларов, что может показаться удивительным: ведь речь идет об очень частном, малоинтересном факте. На самом деле, для математиков важны не столько свойства трехмерной поверхности, сколько факт трудности самого доказательства. В этой задаче в концентрированном виде сформулировано то, что не удавалось доказать с помощью имевшихся ранее идей и методов геометрии и топологии. Она позволяет как бы заглянуть на уровень глубже, в тот пласт задач, который можно будет решить только с помощью идей «нового поколения».

Нашла неплохой ответ в одной из статей, посвященных это теме, правда, пришлось немного переструктурировать текст:

Одна из причин, побудивших к работе над этим докладом, стало памятное событие современного математического мира в 2006 году. Математический мир был взбудоражен высокой вероятностью того, что одна их проблем тысячелетия, - догадка А. Пуанкаре, - наконец нашла своё решение благодаря одному российскому математику. После почти четырёх лет проверки работа Григория Перельмана была признана как бесспорное доказательство. С этого времени догадка Пуанкаре становится теоремой Пуанкаре-Перельмана.

Звучит она так:

Всякое односвязное компактное трёхмерное многообразие без края (это свойства нашей Вселенной) гомеоморфно (тождественно) трёхмерной сфере (сфере, похожей на бублик с дыркой).

Благодаря этому доказательству, есть возможность отстоять точку зрения, что что точка пространства-и-времени имеет два онтологических измерения своей собственной активности:

Одно измерение (сфера бытия) - связано с влиянием его предшествующей истории; это измерение памяти, которое проявляется как "дырка", ноль, ничто, которое является невидимой оснасткой активности "центра индетерминации" (Бергсон).

Второе измерение (сфера существования) - связана с его взаимодействиями в настоящем; это измерение взаимодействий и оно проявляется через активность материальных частиц.

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

Диалектический подход призывает к тому, чтобы найти концепт, обобщающий обе модели пространства. Базовая идея была выдвинута Пуанкаре, который обосновал различие и взаимосвязанность между картезианской моделью пространства (трёхмерная система) и моделью "живого" пространства, представленного в работах самого Пуанкаре (сферическая система). В частности, он дал собственное определение термина "точка пространства" (та самая "дырка") для "живой" пространственной системы. Он показал "дырку" в качестве агента взаимодействий с другими предметами вокруг неё. То есть, любой предмет имеет собственные независимые источники активности, которые со стороны выглядят как "дырка" или пустота.

Но все то, что воспринимается как "пустота" не является пустотой. Демокритов дуализм "материи и пустоты" в настоящее время переосмыслен в русле теории струн как дуализм "материи и энергии"(или "материя и сингулярность"). Основной вывод состоит в том, что фундаментальный дуализм во вселенной содержит отношение "видимая материя - невидимая историческая память (все и ничего одновременно)".

В первой половине 20 века все физические теории вселенной базировались на на двух философских аксиомах:

1. Вселенная - это пространство взаимодействий и не более того.

2. Фундаментальные основания вселенной образованы материальными частицами.

Понятно, что на таких основаниях теории не принимают во внимание аспект памяти и уловить присутствие "дырок" внутри вселенной.

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

В бытийном измерении "струны" могут опознаваться в качестве "дырок", с помощью которых предшествующая история вселенной влияет на взаимодействия точек пространства-и-времени в настоящем.

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

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

Благодаря локальному скачку эволюции структур памяти на Земле появляется органический мир и особый органический тип памятования (его структурными элементами выступают: генетические системы организмов, нервная система организмов, психика высших животных). Следующий локальный скачок эволюции структур памяти создал мир людей с новым типом памятования - социально-исторической памятью.

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

"Пустоты есть везде. Их можно вычислять, и это дает большие возможности… Я знаю, как управлять Вселенной. И скажите - зачем же мне бежать за миллионом? В технике постоянно создаются новые аппараты, всевозможные устройства, а в математике как раз создаются их аналоги - логические приемы для аналитиков в любой области науки. И всякая математическая теория, если она строгая, рано или поздно находит применение. К примеру, многие поколения математиков и философов пытались аксиоматизировать философию, в результате этих попыток была создана теория булевых функций, названных по имени ирландского математика и философа Джорджа Буля. Эта теория стала ядром кибернетики и общей теории управления, которые вместе с достижениями других наук привели к созданию компьютеров, современных морских, воздушных и космических кораблей. Таких примеров история математики дает десятки. Это значит, что каждая наша теоретическая разработка имеет прикладное значение" (из интервью с А. Перельманом)