Статья Григория Перельмана, в которой приводилось доказательство гипотезы Пуанкаре.
«Это был беспрецедентный случай. Медали Филдса, столь же престижной в математике, как и Нобелевская премия в других областях науки, удостоено эпохальное достижение - работа, в которой приводится доказательство гипотезы Пуанкаре», - этими словами начинается фильм «Чары гипотезы Пуанкаре», посвященный гипотезе и человеку, ее доказавшему.
Гипотеза была сформулирована французским математиком и физиком Анри Пуанкаре в 1904 году. Она является одной из задач, с которыми работает топология, - раздел математики, в развитии которого основопологающую роль сыграл Пуанкаре. Топология в широком смысле рассматривает явление непрерывности и его свойства. В топологии любые объекты изучаются с точностью до непрерывных деформаций без разрывов. Если рассматривать трехмерное пространство, то любой объект без отверстий (например, лист) топологически эквивалентен сфере, любой объект с одним отверстием (например, кружка) - тору, следующие - тору с двумя отверстиями и так далее. Также важным понятием является ориентируемость. В простейшем случае поверхности это свойство означает невозможность попадания с одной ее стороны на другую при гладком движении вдоль нее. В частности, если свернуть лист бумаги в трубочку, то получает ориентируемая поверхность, а лист Мебиуса является неориентируемой. Аналогично в в случае замкнутых поверхностей: сфера - ориентируема, бутылка Клейна - нет.
Гипотеза звучит так: всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере. Односвязное, то есть такое, любую замкнутую линию в котором можно стянуть в одну точку (условно - сфера, а не тор, так как на торе это помешает сделать «дырка»). Компактность в топологии является обобщением свойства ограниченности и замкнутости в евклидовых пространствах. В простейшем одномерном случае компактным является, например, отрезок, так как при любом растяжении он останется ограничен некоторыми точками. А вот открытый интервал на прямой можно растянуть до бесконечной прямой, то есть он некомпактен. Трехмерное многообразие без края - это такой геометрический объект, в котором каждая точка имеет открытую окрестность в виде трехмерного шара. Примером его может служить «внутренность» тора, полноторие. Однако если добавить к нему поверхность, сам тор, то у граничных точек не будет окружения со всех сторон, а значит такой объект будет многообразием с краем. Гомеоморфизм устанавливает соответствие между объектами одного класса (условно «сфера» или «тор»). Трехмерная сфера - это поверхность четырехмерного шара. Представить его людям, живущим в трехмерном пространстве, конечно, нелегко.
Иллюстрация гипотезы Пуанкаре для двумерной поверхности («обруч» на сфере)
Salix alba/Wikimedia Commons
Чтобы понять гипотезу Пуанкаре, математики предлагают провести мысленный эксперимент, например такой: «Возьмем ракету и привяжем к ней очень длинную веревку и запустим ракету в космос. Ракета с привязанной к хвосту веревкой облетает всю Вселенную и благополучно возвращается на Землю. И теперь у вас в руках оба конца веревки, которую протащили через всю Вселенную. Получилась гигантская петля. Теперь можно вытянуть всю веревку, стягивая петлю. Когда мы вытянем ее всю, что мы сможем сказать о форме Вселенной? Если вы протащите веревку через всю Вселенную и в любом случае сможете стянуть ее до конца, разве вы не признаете, что Вселенная в принципе имеет форму шара?» Таким образом мы бы доказали, что Вселенная представляет собой односвязное многообразие, то есть ее можно стянуть в точку, а, следовательно, и ее появление даже из бесконечно малого «зародыша» не противоречит топологии. Однако если это не удастся, то получается, что Вселенная обладает более сложной топологией, как минимум не проще, чем у тора. Так доказательство гипотезы приобретает мировоззренческое значение.
Человек не может взглянуть на Вселенную со стороны, однако Пуанкаре предположил, что можно математически доказать принадлежность формы Вселенной к тому или иному классу, что и предполагает гипотеза. Первые два доказательства - самого Пуанкаре и человека, обратившего внимание математиков на гипотезу, Джона Уайтхеда, - быстро были опровергнуты самими авторами. Однако интерес к гипотезе нарастал: доказать ее пытались лучшие умы, но безуспешно. Иногда, как в случае математика греческого происхождения Христоса Папакириакопулоса, стремление найти доказательство приобретало характер одержимости, но не приводило к значительным подвижкам. Другому математику, американцу Стивену Смейлу, удалось доказать гипотезу, но только для пространства с большим, чем четыре, числом измерений. Еще один американец, Майкл Фридман, доказал гипотезу для четырехмерного пространства, за что получил медаль Филдса. Однако использовать эти достижения для трехмерного пространства было невозможно.
Найти доказательство гипотезы удалось лишь через 98 лет после ее создания российскому математику Григорию Перельману. Он опубликовал в электронном архиве научных статей и препринтов три статьи, по сути, содержащие это доказательство. По сути - потому что обоснованные в них положения не являются доказательством гипотезы Пуанкаре, но снимают основные проблемы, стоявшие перед математиками. Перельман сделал основную часть работы, оставив приведение доказательства к законченному виду своим коллегам. На это ушло несколько лет: задача осложнялась тем, что в работе использовались не привычные топологам методы, а принципы и понятия дифференциальной геометрии и физики.
Так как заявления о том, что доказательство найдено, звучали уже не раз, неудивительно, что поначалу и к статьям Перельмана отнеслись скептически. Его приглашали в Принстон и другие ведущие университеты с циклом лекций, раскрывающих смысл доказательства. И лишь в 2006 году было вынесено решение - доказательство Перельмана верно, а гипотезу Пуанкаре следуют считать доказанной. За это Перельману присудили премию Филдса, однако принять ее он отказался.
Гипотеза Пуанкаре
Гипотеза Пуанкаре́ (точнее Теорема Пуанкаре́ - поскольку это доказанная гипотеза ) является одной из наиболее известных задач топологии. Она даёт достаточное условие того, что пространство является трёхмерной сферой с точностью до деформации.
Формулировка
Гипотеза Пуанкаре
В исходной форме гипотеза Пуанкаре утверждает. Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.
Обобщённая гипотеза Пуанкаре.
Обобщённая гипотеза Пуанкаре утверждает: Для любого натурального числа n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей. Исходная гипотеза Пуанкаре является частным случаем обобщённой гипотезы при n = 3.
История
В 1900 годуПуанкаресделал предположение, что трёхмерное многообразие со всеми группами гомологий как у сферы гомеоморфно сфере. В1904 годуон же нашёл контрпример, называемый теперьсферой Пуанкаре, и сформулировал окончательный вариант своей гипотезы. Попытки доказать гипотезу Пуанкаре привели к многочисленным продвижениям в топологии многообразий.
Гипотеза Пуанкаре долгое время не привлекала интереса. В 1930-х годах Джон Уайтхедвозродил интерес к гипотезе объявив о доказательстве, но затем отказался от него.
Доказательства обобщённой гипотезы Пуанкаре для n ≥ 5 получены в начале 1960-1970-х почти одновременноСмейлом, независимо и другими методамиСтоллингсом(англ. ) (дляn ≥ 7, его доказательство было распространено на случаиn = 5 и 6Зееманом(англ. )). Доказательство значительно более трудного случаяn = 4 было получено только в1982 годуФридманом. Из теоремыНовиковао топологической инвариантности характеристическихклассов Понтрягинаследует, что существуют гомотопически эквивалентные, но не гомеоморфные многообразия в высоких размерностях.
Доказательство исходной гипотезы Пуанкаре (и более общей гипотезы Тёрстона) было найдено только в2002 годуГригорием Перельманом. Впоследствии доказательство Перельмана было проверено и представлено в развёрнутом виде как минимум тремя группами учёных. Доказательство использует модификациюпотока Риччи(так называемыйпоток Риччи с хирургией ) и во многом следует плану, намеченномуГамильтоном, который также первым применил поток Риччи.
Схема доказательства
Поток Риччи - это определённое уравнение в частных производных, похожее на уравнение теплопроводности. Он позволяет деформировать риманову метрику на многообразии, но в процессе деформации возможно образование «сингулярностей» - точек, в которых кривизна стремится к бесконечности, и деформацию невозможно продолжить. Основной шаг в доказательстве состоит в классификации таких сингулярностей в трёхмерном ориентированном случае. При подходе к сингулярности поток останавливают и производят «хирургию» - выбрасывают малую связную компоненту или вырезают «шею» (то есть, открытую областьдиффеоморфную прямому произведению ), а полученные две дырки заклеивают двумя шарами так, что метрика полученного многообразия становится достаточно гладкой - после чего продолжают деформацию вдоль потока Риччи.
Процесс, описанный выше, называется «поток Риччи с хирургией». Классификация сингулярностей позволяет заключить, что каждый «выброшенный кусок» диффеоморфен сферической пространственной форме.
При доказательстве гипотезы Пуанкаре начинают с произвольной римановой метрики на односвязном трёхмерном многообразии и применяют к нему поток Риччи с хирургией. Важным шагом является доказательство того, что в результате такого процесса «выбрасывается» всё. Это означает, что исходное многообразие можно представить как набор сферических пространственных форм , соединённых друг с другом трубками . Подсчёт фундаментальной группы показывает, что диффеоморфно связной сумме набора пространственных форм и более того все тривиальны. Таким образом, является связной суммой набора сфер, то есть сферой.
Фото Н. Четвериковой Последним великим достижением чистой математики называют доказательство петербуржцем Григорием Перельманом в 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).
Заметим в заключение, что рассуждение Перельмана доказывает не только гипотезу Пуанкаре, но и гораздо более общую гипотезу геометризации Тёрстона, которая в известном смысле описывает устройство всех вообще компактных трехмерных многообразий. Но этот предмет лежит уже за рамками настоящей элементарной статьи.
Сергей Дужин,
докт.физ.-мат. наук,
старший научный сотрудник
Санкт-Петербургского отделения
Математического института РАН
По школьному курсу каждый знаком с понятиями теоремы и гипотезы. Как правило, в жизни затрагиваются самые простые и примитивные законы, в то время как математики делают очень сложные предположения и ставят интересные проблемы. Далеко не всегда им самим удается найти решения и доказательства, а в некоторых случаях над этим многие годы бьются их последователи и просто коллеги.
Институт Клея в 2000 году сформировал список из 7 так называемых Проблем Тысячелетия по аналогии с перечнем гипотез, составленным в 1900 году. Те задачи почти все оказались к настоящему времени решены, только одна из них перекочевала в обновленную версию. Сейчас список проблем выглядит следующим образом:
- гипотеза Ходжа;
- равенство классов P и NP;
- гипотеза Пуанкаре;
- теория Янга-Миллса;
- гипотеза Римана;
- существование и гладкость решения уравнений Навье-Стокса;
- гипотеза Берча-Свиннертон-Дайера.
Все они относятся к различным дисциплинам внутри математики и имеют важное значение. Например, уравнения Навье-Стокса относятся к гидродинамике, а на практике могут описать поведение вещества в земной магме или пригодиться в предсказании погоды. Но все эти проблемы все еще ищут своего доказательства или опровержения. Кроме одной.
Теорема Пуанкаре
Объяснить простыми словами, в чем заключается эта проблема, довольно непросто, но попробовать можно. Представим себе сферу, к примеру, мыльный пузырь. Все точки его поверхности равноудалены от его центра, который ей не принадлежит. Но это двумерное тело, а гипотеза говорит о трехмерном. Это представить уже невозможно, но на то у нас и есть теоретическая математика. При этом, разумеется, все точки этого тела также будут удалены от центра.
Эта проблема относится к топологии - науке о свойствах геометрических фигур. И одним из базовых терминов в ней является гомеоморфность, то есть высокая степень схожести. Чтобы привести пример, можно представить шар и тор. Одну фигуру никак нельзя получить из другой, избежав разрывов, а вот конус, куб или цилиндр из первого получатся довольно легко. Вот гипотеза Пуанкаре и посвящена этим метаморфозам с одной лишь разницей - речь идет о многомерном пространстве и телах.
История
Французский математик Анри Пуанкаре занимался самыми разными областями науки. О его достижениях может сказать, к примеру, тот факт, что совершенно независимо от Альберта Эйнштейна он выдвинул основные положения специальной теории относительности. В 1904 году он поднял проблему доказательства того, что любое трехмерное тело, обладающее некоторыми свойствами сферы, ею и является с точностью до деформации. Позднее она была расширена и обобщена, и стала частным случаем гипотезы Терстона, сформулированной в 1982 году.
Формулировка
Пуанкаре изначально оставил такое утверждение: всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере. В дальнейшем оно было расширено и обобщено. И все же на протяжении длительного времени именно изначальная задача вызывала больше всего проблем, и была решена лишь через 100 лет после ее появления.
Интерпретация и смысл
О том, что такое гомеоморфность, речь уже шла. Теперь стоит поговорить о компактности и односвязности. Первое означает лишь, что многообразие имеет ограниченные размеры, не может быть непрерывно и бесконечно растянуто.
Что касается односвязаности, можно попробовать привести простой пример. Двумерная сфера - яблоко - обладает одним интересным свойством. Если взять обычную замкнутую резинку и приложить ее к поверхности, то плавной деформацией ее можно свести в одну точку. Это и есть свойство односвязаности, но представить его применительно к трехмерному пространству довольно затруднительно.
Если говорить совсем просто, проблематика заключалась в том, чтобы доказать, что односвязность - уникальное для сферы свойство. И если, условно говоря, опыт с резинкой завершился с таким результатом, то тело гомеоморфно ей. Что же касается приложения этой теории к жизни, Пуанкаре считал, что Вселенная в некотором смысле и является трехмерной сферой.
Доказательство
Не стоит думать, что из десятков математиков, работавших по всему миру, никто не продвинулся ни на йоту, занимаясь этой проблемой. Наоборот, прогресс был, и в конце концов он привел к результату. Сам Пуанкаре не успел закончить работу, но его исследования серьезно продвинули всю топологию.
В 1930-х годах интерес к гипотезе вернулся. Прежде всего, формулировка была расширена до "n-мерного пространства", а потом американец Уайтхед сообщил об успешном доказательстве, позднее отказавшись от него. В 60-70-х сразу два математика - Смейл и Столлингс - практически одновременно, но разными способами разработали решение для всех n больше 4.
В 1982 году и для 4 было найдено доказательство, оставалось только 3. В том же году Терстон сформулирован гипотезу о геометризации, при этом теория Пуанкаре стала ее частным случаем.
На 20 лет гипотеза Пуанкаре была как будто забыта. В 2002 году российский математик Григорий Перельман представил решение в общих чертах, спустя полгода сделав некоторые дополнения. Уже позже это доказательство проверяли и доводили "до блеска" американские и китайские ученые. А сам Перельман словно потерял к проблеме весь интерес, хотя он решил более общую задачу о геометризации, для которой гипотеза Пуанкаре является лишь частным случаем.
Признание и оценки
Разумеется, это сразу стало сенсацией, ведь решение одной из Проблем Тысячелетия просто не могло оказаться незамеченным. Еще больше удивления вызывал тот факт, что Григорий Перельман отказался от всех наград и премий, сообщив, что ему и так прекрасно живется. В умах обывателей он сразу стал примером того самого полусумасшедшего гения, которого интересует только наука.
Все это вызвало много обсуждений в прессе и СМИ, что популярность математика стала его тяготить. Летом 2014 года прошла информация о том, что Перельман уехал работать в Швецию, но это оказалось лишь слухами, он все еще скромно живет в Санкт-Петербурге и почти ни с кем не общается. Среди наград, присужденных ему, были не только премия института Клея, но и престижная медаль Филдса, но он отказался от всего. Впрочем, Гамильтон, который по оценкам Перельмана сделал не меньший вклад в доказательство, тоже не был забыт. В 2009 и 2011 годах он также удостоился некоторых престижных наград и премий.
Отражение в культуре
Несмотря на то что для простых обывателей как постановка, так и решение этой проблемы представляют мало смысла, о доказательстве стало известно довольно быстро. В 2008 году по этому поводу японским режиссером Масахито Касуга был снят документальный фильм "Чары гипотезы Пуанкаре", посвященный столетним попыткам решить эту задачу.
В съемках приняли участие многие математики, занимавшиеся этой проблемой, но вот главный герой - Григорий Перельман - сделать этого не захотел. Более или менее близкие его знакомые также были задействованы в съемках. Документальный фильм, выйдя на экраны на волне общественного резонанса по поводу отказа ученого принять премию, в определенных кругах снискал славу, а также получил несколько наград. Что же касается массовой культуры, простые люди до сих пор гадают, какими доводами руководствовался петербургский математик, отказавшись взять деньги, когда он мог отдать их, например, на благотворительность.