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

Гл. 3 Гипотеза Пуанкаре

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

Людвиг Виттенштейн

Рис. 18. Топологическое многообразие Пуанкаре

Всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере.

«С того момента, как гипотеза Пуанкаре была сформулирована более ста лет назад, сообщения о ее доказательстве появлялись почти ежегодно. Анри Пуанкаре, двоюродный брат Раймонда

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

Пуанкаре не смог добиться сколько-нибудь заметного прогресса в решении этой проблемы. "Cette question nous entrainerait trop loin" ("Этот вопрос уводит нас далеко в сторону"), - писал он. Пуанкаре был основателем топологии - науки, также называемой "геометрией резинового листа" из-за ее ориентации на исследование внутренних свойств различных пространств».

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

С помощью молодого математика и непременного члена клуба знатоков «Что? Где? Когда?» Сергея Игоревича Николенко вспомним, что все началось с исследований, которые Пуанкаре вел в области алгебраической геометрии. Он работал над одним из краеугольных камней этой науки - теорией гомологии, особого класса топологических инвариантов. В 1900 году он опубликовал статью, в которой доказывал, что если у трехмерной поверхности гомология совпадает с гомологией сферы, то и сама поверхность - сфера; на самом деле это утверждение даже более сильное, чем утверждение гипотезы Пуанкаре.

Однако в его рассуждения вкралась ошибка, которую он сам и нашел, к 1904 году разработав важнейшее понятие фундаментальной группы и построив на его базе контрпример

к собственной теореме. Тогда же он наконец поставил вопрос правильно.

Достаточно долго на гипотезу не обращали внимания. Интерес к ней пробудил Джон Генри Константин Уайтхед (1904–1960) - выдающийся английский математик, один из основателей теории гомотопий. Не следует путать его с дядей Альфредом Уайтхедом, тоже математиком, но специализировавшемся на логике и алгебре, написавшем вместе с Бертраном Расселом знаменитую монографию «Принципы математики», который в 30-е годы прошлого века объявил о том, что нашел-таки доказательство теоремы Пуанкаре. К сожалению, представленные расчеты в итоге оказались неверны, однако в процессе поиска и попыток исправить свои неточности он обнаружил интереснейшие классы трехмерных поверхностей и значительно продвинул теорию, которая позднее получила название топологии малых (или низших) размерностей. В 1950-1960-е годы всплеск интереса к проблеме вновь породил несколько ошибочных заявлений о том, что теорему удалось доказать, но после всесторонних проверок математики наконец поняли, что гипотеза Пуанкаре при своей внешней простоте, подобно знаменитой теореме Ферма, содержит множество подводных камней.

К тому времени топология низших размерностей стала отдельной ветвью математики и аналоги задачи Пуанкаре были доказаны для более высоких размерностей. Этому послужила удивительная причина: оказалось, что в невообразимом мире многих измерений эта часть геометрии устроена гораздо проще! Тем временем привычный нам «Трехмерный случай» продолжал оставаться камнем преткновения.

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

В гипотезе Пуанкаре утверждает, что:

«Всякое односвязное компактное трехмерное многообразие без края гомеоморфно трехмерной сфере».

Гипотеза Пуанкаре - одна из тех задач, в которых даже ошибочные решения приводят к появлению новых областей

математики; в этом с ней может соперничать разве что великая теорема Ферма. Кроме общедоступности формулировки у задачи Пуанкаре есть еще и внешние параллели с теоремой Ферма. Обе математические проблемы были сформулированы великими математиками вне сферы их основных интересов и были решены гениальными одиночками после многолетнего глубокого погружения в задачу.

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

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

Рис. 19. Гипотеза Перельмана для топологии низших измерений

Если представить себе ячейку высокоразмерного континуума и постепенно избавляться от «лишних» изменений,

то на определенном этапе «уплощенное» пространство начнет автомодельным образом «само по себе» сворачиваться в идеальную сферу.

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

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

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

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

Будем двигать петлю, не отрывая ее от поверхности и не разрывая. Если нить можно стянуть до очень маленького кружочка (почти точки), то говорят, что петля стягиваема. В противном случае петля называется нестягиваемой.

Можно легко увидеть, что на сфере любая петля стягиваема, а вот для тора это уже не так: на бублике есть целых две петли - одна продета в дырку, а другая обходит дырку по периметру, которые нельзя стянуть. На рис. 19 показаны примеры нестягиваемых петель. Когда на поверхности есть петли, математики говорят, что «фундаментальная группа многообразия нетривиальна», а если таких петель нет - то тривиальна.

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

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

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

На трехмерных многообразиях можно рассмотреть такие же петли, какие мы брали на обычных поверхностях. Так вот, гипотеза Пуанкаре утверждает: «Если фундамен-

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

Будем чуточку более формальны. Говорят, что поверхность k -связна, если на ней можно провести k-1 замкнутую кривую, которая не делит ее на две части. Сфера (поверхность апельсина) односвязная: как ни проводи на ней замкнутую кривую, кусочек вырежется; а вот поверхность бублика двусвязная - ее можно, например, разрезать поперек, превратив в цилиндр, но сохранив целостность (а вот повторно разрезать цилиндр уже не получится). Для поверхностей в трехмерном пространстве это свойство как раз и означает, что в поверхности есть k-1 «дырка». В общем случае поверхность односвязная, если на ней любую замкнутую кривую можно непрерывной деформацией стянуть в точку, но поверхность бублика этим свойством не обладает (меридиан или параллель в точку не стягиваются).

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

Гипотеза Пуанкаре состоит в том, что каждая односвязная трехмерная поверхность гомеоморфна трехмерной сфере. Обратите особое внимание на то, что «трехмерная поверхность» может размещаться в пространстве, чья размерность как минимум 4! Трехмерная сфера - это поверхность четырехмерного шара (привычная нам двухмерная сфера - поверхность трехмерного шара).

Рис. 20. Дискретный код трехмерной поверхности Терстона

Изображенные так называемые ячейки Терстона образуют своеобразную геометрическую головоломку. Если выбрать определенные коды Терстона: 6-8-7, 1-17-9 или 3-20-21, то каждый из них будет подсказывать, в какую геометрическую фигуру сложится трехмерная поверхность.

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

Сильвия Насер, Дэвид Грубер. Многообразная судьба. Легендарная проблема и битва вокруг ее решения

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

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

Каждая трехмерная поверхность задается некоторым (не будем вдаваться в подробности) дискретным кодом - конечным набором символов. Одна и та же поверхность имеет бесконечное число различных кодировок. Естественный вопрос: существует ли алгоритм, определяющийся по заданному кодовому слову, задает ли это слово трехмерную сферу в новой алгоритмической проблеме Пуанкаре? Именно эту задачу исследовал ряд видных российских математиков в 1974 году, предположив, что определенное свойство кода (оно было названо «волной») дает критерий «сферичности». Однако им удалось только доказать, что наличие «волны» гарантирует: перед нами сфера. Доказать же, что в любом коде, задающем сферу, имеется «волна», никак не получалось. Тогда авторы сделали весьма оригинальный по тем временам ход: провели масштабный компьютерный эксперимент. Была написана программа для машины БЭСМ-6, которая случайным образом генерировала коды, задающие трехмерную сферу, и проверяла наличие в них «волны». В эксперименте, потребовавшем весьма длительного счета, был проверен миллион таких случайных

представлений сферы - и во всех обнаружилась «волна»! Это был довольно веский аргумент в пользу корректности предложенного алгоритма. Но авторы, будучи серьезными математиками воздерживались от поспешных заявлений. И не напрасно: спустя пару лет был обнаружен контрпример…

Спустя 20 лет алгоритм распознавания 3-сферы (за экспоненциальное время) был все же построен. Однако общая проблема алгоритмического распознавания поверхностей размерности-3 открыта, она активно изучается и сегодня, в то время как для более высоких размерностей давно известна ее неразрешимость, а для размерности-2 она была решена еще раньше.

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

Профессор Дахин считает, что имеет смысл обратиться к следующим закономерным вопросам: почему может существовать пространство с дыркой и почему может существовать пространство без дырки? Как существует пространство с дыркой и как существует пространство без дырки? И более глубокий вопрос: что находится внутри дырки и где это «что-то», когда дырка отсутствует?

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

«Теория Терстпона, получившая название гипотезы геометризации, описывает все возможные трехмерные многообразия и, таким образом, является очень важным обобщением гипотезы Пуанкаре. Доказательство гипотезы Терстона влекло за собой доказательство проблемы Пуанкаре. Доказательство теорий Терстона и Пуанкаре "открывало огромные перспективы", как признал Барри Мазур, математик из Гарвардского

университета. Последствия этих доказательств для других областей науки могут быть неочевидны еще долгое время, но, без сомнения, для математиков эти задачи имели фундаментальное значение. "Эти задачи - что-то вроде теоремы Пифагора XX века, - добавил Мазур. - Они оказывают огромное влияние на математику"».

Сильвия Насер, Дэвид Грубер. Многообразная судьба. Легендарная проблема и битва вокруг ее решения

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

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

Обобщая сказанное, предположим, что точка пространства-времени имеет два онтологических измерения собственной активности.

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

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

Рис. 21. Модельные переходы в центр индетерминации Вселенной Пуанкаре

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

ной эволюции Вселенной не может быть адекватной, если она будет по-прежнему оснащена только одним концептуальным измерением.

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

Это было какое-то новое миропонимание, настолько необычное, что оно и стало причиной знаменитого «молчания Пуанкаре»…

Однако проблема Пуанкаре при всей своей загадочности предполагала еще и решение, и оно тоже открывало нечто принципиально новое в облике нашего Мира…

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

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

Из книги Портреты революционеров автора Троцкий Лев Давидович

Гипотеза «дуумвирата» Выше намечены вехи последней борьбы между Лениным и Сталиным. На всех ее этапах Ленин искал моей поддержки и находил ее. Из речей, статей и писем Ленина можно было бы без труда привести десятки свидетельств того, что после нашего кратковременного

Из книги Лаплас автора Воронцов-Вельяминов Борис Николаевич

Из книги Путешествие в будущее и обратно автора Белоцерковский Вадим

Из книги Пуанкаре автора Тяпкин Алексей Алексеевич

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

Из книги Пол Маккартни: история жертвоприношения автора Паттерсон Р Гэри

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

Из книги Человек, который был Богом. Скандальная биография Альберта Эйнштейна автора Саенко Александр

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

Из книги Куда плывут материки автора Кузнецова Любовь Иосифовна

ОСНОВНЫЕ ДАТЫ ЖИЗНИ И ДЕЯТЕЛЬНОСТИ АНРИ ПУАНКАРЕ 1854, 29 апреля - в городе Нанси (административный центр департамента Мёрт и Мозель, Франция) родился Анри Пуанкаре.1862, октябрь - поступил в 9-й класс лицея.1871, август - сдал экзамены на бакалавра словесности.1871, ноябрь - сдал

Из книги Григорий Перельман и гипотеза Пуанкаре автора Арсенов Олег Орестович

Из книги Гуго Коллонтай автора Хинц Хенрик

Пуанкаре Конференция в Дюссельдорфе заканчивалась. Ничем не отличаясь от других, она сильно утомила Альберта, да и дурное предчувствие не покидало его с утра. Слава надоела, он в шутку говорил потом: «Я не мог начать лекцию. Мне не удалось разбудить студентов, уснувших,

Из книги Течению наперекор автора Остерман Лев Абрамович

ГИПОТЕЗА, ВЗВОЛНОВАВШАЯ УЧЕНЫХ Итак, Вегенер сдвинул с места материки, которые испокон веков считались неподвижными. Они плавают, движутся. Это движение началось давным-давно и продолжается по сей день. Оно вечно.Гипотезе Вегенера пришлось пережить разные времена-

Из книги Главный финансист Третьего рейха. Признания старого лиса. 1923-1948 автора Шахт Яльмар

Часть 1 Тайна Пуанкаре -16- «Трудно отделаться от ощущения, что эти математические формулы существуют независимо от нас и обладают своим собственным разумом, что они умнее нас, умнее тех, кто открыл их, и что мы извлекаем из них больше, чем было в них первоначально

Из книги автора

Гл. 3. Избыточная гипотеза «Я хотел бы еще сделать два замечания: одно касающееся сущности Алефа, другое - его названия. Что до последнего, то, как известно, это название первой буквы в алфавите священного языка. Применение его к шарику в моей истории, по-видимому, не

Из книги автора

Из книги автора

Глава 12. Гипотеза Уважаемый читатель, предупреждаю честно: глава не из легких. Ее основное содержание - довольно смелая научная гипотеза и описание экспериментов, поставленных с целью ее подтверждения. Описание без всяких скидок по существу дела, но максимально

Из книги автора

Рабочая гипотеза Теперь уместно будет изложить в общих чертах мою гипотезу. Она должна была ответить на три вопроса, оставшихся без внимания ученых:1) каким образом происходит необходимая смена ферментов в покоящихся клетках высших организмов?2) используется ли

Из книги автора

Глава 26 Господин Пуанкаре 23 января 1924 года я прибыл по приглашению комитета Дауэса в Париж. Перед поездкой в Берлин члены комитета предпочли сначала обсудить экономическое положение Германии в Париже, и потребовалось мое присутствие для предоставления необходимой

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

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

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

Гениальный математик, парижский профессор Анри Пуанкаре занимался самыми разными областями этой науки. Самостоятельно и независимо от работ Эйнштейна в 1905 году он выдвинул основные положения Специальной теории относительности. А свою знаменитую гипотезу он сформулировал еще в 1904 году, так что на ее решение потребовалось около столетия.

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

Если насчет двумерных поверхностей сферы и тора все было решено еще в XIX веке, для более многомерных случаев потребовалось гораздо больше времени. В этом, собственно, и состоит суть гипотезы Пуанкаре, которая расширяет закономерность на многомерные случаи. Немного упрощая, гипотеза Пуанкаре гласит: «Всякое односвязное замкнутое n-мерное многообразие гомеоморфно n-мерной сфере». Забавно, что вариант с трехмерными поверхностями оказался самым непростым. В 1960 году гипотеза была доказана для размерностей 5 и выше, в 1981 — для n=4. Камнем преткновения стала именно трехмерность.

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

Интересно, что сам Перельман отчего-то не потрудился довести свое решение до окончательного блеска. Описав решение «в целом» в препринте The entropy formula for the Ricci flow and its geometric applications в ноябре 2002 года, он в марте 2003 года дополнил доказательство и изложил его в препринте Ricci flow with surgery on three-manifolds , а также сообщил о методе в серии лекций, которые прочел в 2003 году по приглашениям ряда университетов. Ни один из рецензентов не смог обнаружить в предложенном им варианте ошибок, но и публикации в реферируемом научном издании Перельман не выпустил (а именно таковым, в частности было необходимое условие получения премии ). Зато в 2006 году на основе его метода вышел целый набор доказательств, в которых американские и китайские математики подробно и полностью рассматривают проблему, дополняют моменты, опущенные Перельманом, и выдают «окончательное доказательство» гипотезы Пуанкаре.

Эта новость облетела средства массовой информации СНГ. 39-летний петербургский ученый ГРИГОРИЙ ПЕРЕЛЬМАН - реальный кандидат на получение Филдсовской премии (1 млн. долл.), высшей награды в математическом мире (как известно, Нобелевскую математикам не присваивают).

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

Каждые несколько лет в научных журналах публикуются попытки доказать гипотезу Пуанкаре, но ни одно из предложенных решений пока не прошло сито научных проверок. В конце концов оказывалось, что доказательство некорректно. Григорий Перельман опубликовал свои работы в интернете в 2002 г., и никто не опроверг их (контрольный срок - 2 года). Мало того, многие видные ученые считают: решение Перельмана верно. И сетуют, что его труды очень сжаты, конспективны и занимают всего несколько десятков страниц (60).

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

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

Комментарий специалиста - члена-корреспондента Национальной академии наук Украины, математика Владимира Шарко:

Сейчас, кроме работ российского математика, появилось доказательство китайских профессоров Чжу Сипина и Лехай Цао, а второе представлено американцами, которых возглавляет Джон Морган. Но первенство, конечно, за Перельманом. Хотя фактически его доказательства нет. Именно из-за того, что оно не опубликовано, а существует лишь конспективно, в тезисах. Работа Перельмана «висит» на сайтах, точно так же, как любые другие неофициальные работы.

- Перельман действительно настолько эксцентричен?

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

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

- Имеет ли какое-то прикладное значение открытие Перельмана?

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

- Могут похвастаться каким-то прорывом киевляне?

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

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

Моё отступление: Гипотеза Пуанкаре гласит: Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.

Гипотеза Пуанкаре

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

Формулировка

Гипотеза Пуанкаре

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

Обобщённая гипотеза Пуанкаре.

Обобщённая гипотеза Пуанкаре утверждает: Для любого натурального числа n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей. Исходная гипотеза Пуанкаре является частным случаем обобщённой гипотезы при n = 3.

История

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

Гипотеза Пуанкаре долгое время не привлекала интереса. В 1930-х годах Джон Уайтхедвозродил интерес к гипотезе объявив о доказательстве, но затем отказался от него.

Доказательства обобщённой гипотезы Пуанкаре для n ≥ 5 получены в начале 1960-1970-х почти одновременноСмейлом, независимо и другими методамиСтоллингсом(англ. ) (дляn ≥ 7, его доказательство было распространено на случаиn = 5 и 6Зееманом(англ. )). Доказательство значительно более трудного случаяn = 4 было получено только в1982 годуФридманом. Из теоремыНовиковао топологической инвариантности характеристическихклассов Понтрягинаследует, что существуют гомотопически эквивалентные, но не гомеоморфные многообразия в высоких размерностях.

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

Схема доказательства

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

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

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