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

  • Tutorial

Еще в XIX веке было известно, что если любую замкнутую петлю, лежащую на двумерной поверхности, можно стянуть в одну точку, то такую поверхность легко превратить в сферу. Так, поверхность воздушного шарика удастся трансформировать в сферу, а поверхность бублика – нет (легко вообразить себе петлю, которая в случае с бубликом не стянется в одну точку). Гипотеза, высказанная французским математиком Анри Пуанкаре в 1904 году, гласит, что аналогичное утверждение верно и для трехмерных многообразий.

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

Читают лекцию доценты механико-математического факультета МГУ к. ф-м. н. Александр Жеглов и к. ф.-м. н. Федор Попеленский.

Если не вдаваться в математические подробности, то вопрос, поднимаемый гипотезой Пуанкаре можно следующим образом: как охарактеризовать (трехмерную) сферу? Чтобы правильно понять этот вопрос, нужно познакомиться с одним из важнейших понятий в топологии – гомеоморфизмом. Разобравшись с ним, мы сможем точно сформулировать гипотезу Пуанкаре.

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

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

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

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

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

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

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

Из 26 букв у нас получается всего 8 классов.

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

Формальная постановка вопроса

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

Наибольшую трудность для неподготовленного человека здесь вызывает понятие «многообразия размерности 3» и свойства, выраженные словами «замкнутое» и «связное». Поэтому мы попробуем разобраться со всеми этими понятиями и свойствами на примере размерности 2, в этом случаем многое кардинально упрощается.

Гипотеза Пуанкаре для поверхностей

Пусть M – замкнутая связная поверхность (многообразие размерности 2). Пусть на ней любая петля может быть стянута в точку. Тогда поверхность M гомеоморфна двумерной сфере.

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

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

Формально нужно требовать, чтобы из любой вершины любого многоугольника после склейки можно было пройти в любую вершину любого многоугольника (по ребрам).

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

Рассмотрим примеры простейших склеек:

В первом случае у нас получится сфера:

Во втором случае у нас получится тор (поверхность бублика, мы встречались с ним раньше):

В третьем случае получится так называемая бутылка Клейна:

Если склеивать не все стороны многоугольника, то получится поверхность с краем:

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

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

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

Верен и более общий факт: поверхности всех выпуклых многогранников – это сферы.

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

Даже если петля на плоскости или сфере имеет самопересечения, ее все равно можно стянуть:

На плоскости можно стянуть любую петлю:

А вот какие петли бывают на торе:

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

Эйлерова характеристика

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

Эйлеровой характеристикой поверхности M назовем число B−P+Г. Здесь Г - число многоугольников, Р - это число ребер после склейки (в случае рассматриваемых поверхностей это половина числа сторон всех многоугольников), B - это число вершин, которое получается после склейки после склейки.

Если две схемы склейки задают гомеоморфные поверхности, то у этих схем числа B−P+Г одинаковы, т. е. B−P+Г является инвариантом поверхности.

Если поверхность уже как-то задана, то надо нарисовать на ней какой-нибудь граф, чтобы после разрезания по нему поверхность распалась на куски гомеоморфные дискам (например, кольца запрещены). Затем подсчитываем величину B−P+Г - это и есть эйлерова характеристика поверхности.

Будут ли гомеоморфны поверхности с одинаковыми эйлеровыми характеристиками, мы узнаем позже. Но совершенно точно можно утверждать, что если эйлеровы характеристики у поверхностей разные, то поверхности не гомеоморфны.

Знаменитое соотношение B−P+Г=2 для выпуклых многоугольников (теорема Эйлера) является частным случаем этой теоремы. В данном случае речь идет о конкретной поверхности - о сфере. Замечание Обозначение: Эйлерову характеристику поверхности M будем обозначать через χ(M): χ(M) = B − P + Γ

Если поверхность M связна, то χ(M) ≤ 2, причем χ(M) = 2 тогда и только тогда, когда M гомеоморфна сфере.

Посмотрев лекцию до конца, вы узнаете, как же все-таки доказывается гипотеза Пуанкаре в размерности 2, и как Григорию Перельману удалось доказать ее в размерности 3.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

"Зачем мне миллион?"

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

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

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

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

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

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

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

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

Доказательство длиною в век

Григорий Перельман окончательно и бесповоротно вошел в историю

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

Кружка, пончик и немного топологии

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

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

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

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

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

На этой картинке примеры нестягиваемых петель показаны красным и фиолетовым цветом соответственно. Когда на поверхности есть петли, математики говорят, что "фундаментальная группа многообразия нетривиальна", а если таких петель нет - то тривиальна.

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



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

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

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

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

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

Немного истории



В 1887 году Пуанкаре представил работу на математический конкурс, посвященный 60-летию короля Швеции Оскара II. В ней обнаружилась ошибка, которая привела к появлению теории хаоса.

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

Так, изначально Анри Пуанкаре, который отличался помимо всего прочего умением совершать гениальные ошибки, сформулировал гипотезу немного в другом виде, чем мы написали выше. Спустя некоторое время он привел контрпример к своему утверждению, который стал известен как гомологическая 3-сфера Пуанкаре, и в 1904 году сформулировал гипотезу уже в современном виде. Сферу, кстати, совсем недавно ученые приспособили в астрофизике - оказалось, что Вселенная вполне может оказаться гомологической 3-сферой Пуанкаре.

Надо сказать, что особого ажиотажа среди коллег-геометров гипотеза не вызвала. Так было до 1934 года, когда британский математик Джон Генри Уайтхед представил свой вариант доказательства гипотезы. Очень скоро, однако, он сам нашел в рассуждениях ошибку, которая позже привела к возникновению целой теории многообразий Уайтхеда.

После этого за гипотезой постепенно закрепилась слава крайне сложной задачи. Многие великие математики пытались взять ее приступом. Например, американский Эр Аш Бинг (R.H.Bing), математик, у которого (абсолютно официально) вместо имени в документах были записаны инициалы. Он предпринял несколько безуспешных попыток доказать гипотезу, сформулировав в ходе этого процесса собственное утверждение - так называемую "гипотезу о свойстве П" (Property P conjecture). Примечательно, что это утверждение, которое рассматривалось Бингом как промежуточное, оказалось чуть ли не сложнее доказательства самой гипотезы Пуанкаре.

Были среди ученых и люди, положившие жизнь на доказательство этого математического факта. Например, известный математик греческого происхождения Кристос Папакириакопоулос. В течение более десяти лет, Примечательно, что обобщение гипотезы Пуанкаре на многообразия размерности выше трех оказалось заметно проще оригинала - лишние размерности позволяли легче манипулировать многообразиями. Так, для n-мерных многообразий (при n не меньше 5) гипотеза была доказана Стивеном Смейлом в 1961 году. Для n = 4 гипотеза была доказана методом, совершенно отличным от смейловского, в 1982 году Майклом Фридманом. За свое доказательство последний получил Филдсовскую медаль - высшую награду для математиков. Работая в Принстоне, он безуспешно пытался доказать гипотезу. Он умер от рака в 1976 году. Примечательно, что обобщение гипотезы Пуанкаре на многообразия размерности выше трех оказалось заметно проще оригинала - лишние размерности позволяли легче манипулировать многообразиями. Так, для n-мерных многообразий (при n не меньше 5) гипотеза была доказана Стивеном Смейлом в 1961 году. Для n = 4 гипотеза была доказана методом, совершенно отличным от смейловского, в 1982 году Майклом Фридманом.
Описанные работы - это далеко не полный список попыток решения более чем столетней гипотезы. И хотя каждая из работ и привела к возникновению целого направления в математике и может считаться в этом смысле успешной и значимой, доказать гипотезу Пуанкаре окончательно удалось только россиянину Григорию Перельману.

Перельман и доказательство

В 1992 году Григорий Перельман, тогда сотрудник математического института им. Стеклова, попал на лекцию Ричарда Гамильтона. Американский математик рассказывал о потоках Риччи - новом инструменте для изучения гипотезы геометризации Терстона - факта, из которого гипотеза Пуанкаре получалась как простое следствие. Эти потоки, построенные в некотором смысле по аналогии с уравнениями теплопереноса, заставляли поверхности с течением времени деформироваться примерно так же, как в начале этой статьи мы деформировали двумерные поверхности. Оказалось, что в некоторых случаях результатом такой деформации оказывался объект, структуру которого легко понять. Основная трудность заключалась в том, что во время деформации возникали особенности с бесконечной кривизной, аналогичные в некотором смысле черным дырам в астрофизике.

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

После поездки в США Перельман вернулся в Россию, где принялся трудиться над решением проблемы особенностей потоков Риччи и доказательством гипотезы геометризации (а вовсе не над гипотезой Пуанкаре) втайне от всех. Ничего удивительного, что появление 11 ноября 2002 года первого препринта Перельмана повергло математическую общественность в шок. Спустя некоторое время появилась еще пара работ.

После этого Перельман самоустранился от обсуждения доказательств и даже, говорят, прекратил заниматься математикой. Он не прервал своего уединенного образа жизни даже в 2006 году, когда ему была присуждена Филдсовская премия - самая престижная награда для математиков. Причины такого поведения автора обсуждать не имеет смысла - гений имеет право вести себя странно (например, будучи в Америке Перельман не стриг ногти, позволяя им свободно расти).

Как бы то ни было, доказательство Перельмана зажило
отдельной от него жизнью: три препринта не давали покоя математикам современности. Первые результаты проверки идей российского математика появились в 2006 году - крупные геометры Брюс Кляйнер и Джон Лотт из Мичиганского университета опубликовали препринт собственной работы, по размерам больше напоминающей книгу - 213 страниц. В этой работе ученые тщательно проверили все выкладки Перельмана, подробно пояснив различные утверждения, которые в работе российского математика были лишь вскользь обозначены. Вердикт исследователей был однозначен: доказательство абсолютно верное.

Неожиданный поворот в этой истории наступил в июле этого же года. В журнале Asian Journal of Mathematics появилась статья китайских математиков Сипин Чжу и Хуайдун Цао под названием "Полное доказательство гипотезы геометризации Терстона и гипотезы Пуанкаре". В рамках этой работы результаты Перельмана рассматривались как важные, полезные, но исключительно промежуточные. Данная работа вызвала удивление у специалистов на Западе, однако получила очень одобрительные отзывы на Востоке. В частности, результаты поддержал Шинтан Яу - один из основоположников теории Калаби-Яу, положившей начало теории струн, - а также учитель Цао и Джу. По счастливому стечению обстоятельств именно Яу был главным редактором журнала Asian Journal of Mathematics, в котором была опубликована работа.

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

Однако этого не случилось и, вероятно, теперь не случится. Вручение премии Клэя Перельману (даже если тот откажется) навсегда закрепило в общественном сознании факт: российский математик Григорий Перельман доказал гипотезу Пуанкаре. И неважно, что на самом деле он доказал факт более общий, развив по пути совершенно новую теорию особенностей потоков Риччи. Хотя бы так. Награда нашла героя.
Андрей Коняев

Подготовил: Сергей Коваль

В чём суть теоремы Пуанкаре

  1. Е доказала РАЖАЯ Софья вот а тоже РЫЖАЯ....
  2. Суть в том, что Вселенная имеет не форму сферы, а бублика
  3. Cмысл гипотезы Пуанкаре в ее изначальной формулировке состоит в том, что для любого трехмерного тела без отверстий найдется такое преобразование, которое позволит его без разрезания и склеивания превратить в шар. Если это кажется очевидным, то что, если пространство не трехмерное, а содержит десять или одиннадцать измерений (то есть речь идет об обобщенной формулировке гипотезы Пуанкаре, которую и доказал Перельман)
  4. в 2-х словах не расскажешь
  5. В 1900 году Пуанкаре сделал предположение, что трхмерное многообразие со всеми группами гомологий как у сферы гомеоморфно сфере. В 1904 году он же нашл контр-пример, называемый теперь сферой Пуанкаре, и сформулировал окончательный вариант своей гипотезы. Попытки доказать гипотезу Пуанкаре привели к многочисленным продвижениям в топологии многообразий.

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

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

  6. хто это такой
  7. Теорема Пуанкаре:
    Теорема Пуанкаре о векторном поле
    Теорема Пуанкаре Бендиксона
    Теорема Пуанкаре о классификации гомеоморфизмов окружности
    Гипотеза Пуанкаре о гомотопической сфере
    Теорема Пуанкаре о возвращении

    Вы о какой спрашиваете?

  8. В теории динамических систем, теорема Пуанкаре о классификации гомеоморфизмов окружности описывает возможные типы обратимой динамики на окружности, в зависимости от числа вращения p(f) итерируемого отображения f. Грубо говоря, оказывается, что динамика итераций отображения в определнной степени похожа на динамику поворота на соответствующий угол.
    А именно, пусть задан гомеоморфизм окружности f. Тогда:
    1) Число вращения рационально тогда и только тогда, когда у f есть периодические точки. При этом знаменатель числа вращения это период любой периодической точки, а циклический порядок на окружности точек любой периодической орбиты такой же, как и у точек орбиты поворота на p(f). Далее, любая траектория стремится к некоторой периодической как в прямом, так и в обратном времени (a- и -w предельные траектории при этом могут быть разными) .
    2) Если число вращения f иррационально, то возможны два варианта:
    i) либо у f есть плотная орбита, и тогда гомеоморфизм f сопряжн повороту на p(f). В этом случае все орбиты f плотны (поскольку это верно для иррационального поворота) ;
    ii) либо у f есть канторово инвариантное множество C, являющееся единственным минимальным множеством системы. В этом случае все траектории стремятся к C как в прямом, так и в обратном времени. Кроме того, отображение f полусопряжено повороту на p(f): для некоторого отображения h степени 1, p o f =R p (f) o h

    При этом множество C в точности является множеством точек роста h иными словами, с топологической точки зрения, h схлопывает интервалы дополнения до C.

  9. суть вопроса - 1 млн долларов
  10. В том что ее не кто не понимает кроме 1 человека
  11. Во внешней политике Франции..
  12. Вот здесь Лка лучше всех ответила http://otvet.mail.ru/question/24963208/
  13. Гениальный математик, парижский профессор Анри Пуанкаре занимался самыми разными областями этой науки. Самостоятельно и независимо от работ Эйнштейна в 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 году на основе его метода вышел целый набор доказательств, в которых американские и китайские математики подробно и полностью рассматривают проблему, дополняют моменты, опущенные Перельманом, и выдают окончательное доказательство гипотезы Пуанкаре.

  14. Обобщнная гипотеза Пуанкаре утверждает, что:
    Для любого n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей.
    Исходная гипотеза Пуанкаре является частным случаем обобщнной гипотезы при n = 3.
    За расъяснениями - в лес по грибы, там ходит Григорий Перельман)
  15. Теорема Пуанкаре о возвращении одна из базовых теорем эргодической теории. Ее суть в том, что при сохраняющем меру отображении пространства на себя почти каждая точка вернется в свою начальную окрестность. Полная формулировка теоремы следующая 1:
    Пусть сохраняющее меру преобразование пространства с конечной мерой и пусть измеримое множество. Тогда для любого натурального
    .
    У данной теоремы есть неожиданное следствие: оказывается, если в сосуде, разделенном перегородкой на два отсека, один из которых заполнен газом, а другой пуст, удалить перегородку, то через некоторое время все молекулы газа вновь соберутся в исходной части сосуда. Разгадка этого парадокса в том, что некоторое время имеет порядок миллиардов лет.
  16. у него теорем как собак в корее резанных.. .

    вселенная имеет сферическую форму.. . http://ru.wikipedia.org/wiki/Пуанкаре, _Анри

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

  17. Попробуй доказать, где верх и низ в невесомости.
  18. Вчера был прекрасный фильм по КУЛЬТУРе, в котором на пальцах объяснялась эта проблема. Может, он у них еще есть?

    http://video.yandex.ru/#search?text=РРР СР Р РРСРР СРРРРwhere=allfilmId=36766495-03-12
    Входите в Яндекс и пишете Фильм о Перельмане и выходите на фильм

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

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

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