Что такое гипотеза пуанкаре простым языком. Миллион долларов за дырку от бублика
Нашла неплохой ответ в одной из статей, посвященных это теме, правда, пришлось немного переструктурировать текст:
Одна из причин, побудивших к работе над этим докладом, стало памятное событие современного математического мира в 2006 году. Математический мир был взбудоражен высокой вероятностью того, что одна их проблем тысячелетия, - догадка А. Пуанкаре, - наконец нашла своё решение благодаря одному российскому математику. После почти четырёх лет проверки работа Григория Перельмана была признана как бесспорное доказательство. С этого времени догадка Пуанкаре становится теоремой Пуанкаре-Перельмана.
Звучит она так:
Всякое односвязное компактное трёхмерное многообразие без края (это свойства нашей Вселенной) гомеоморфно (тождественно) трёхмерной сфере (сфере, похожей на бублик с дыркой).
Благодаря этому доказательству, есть возможность отстоять точку зрения, что что точка пространства-и-времени имеет два онтологических измерения своей собственной активности:
Одно измерение (сфера бытия) - связано с влиянием его предшествующей истории; это измерение памяти, которое проявляется как "дырка", ноль, ничто, которое является невидимой оснасткой активности "центра индетерминации" (Бергсон).
Второе измерение (сфера существования) - связана с его взаимодействиями в настоящем; это измерение взаимодействий и оно проявляется через активность материальных частиц.
То есть теорема Пуанкаре-Перельмана содержит идею о том, что во вселенной одновременно присутствуют две структуры пространства. Одна показывает, что начало - это точечный объект (материальная частица), а другая, что начало вселенной - не материя, а "дырка" (ничто или дух), где время и пространство отсутствуют.
Диалектический подход призывает к тому, чтобы найти концепт, обобщающий обе модели пространства. Базовая идея была выдвинута Пуанкаре, который обосновал различие и взаимосвязанность между картезианской моделью пространства (трёхмерная система) и моделью "живого" пространства, представленного в работах самого Пуанкаре (сферическая система). В частности, он дал собственное определение термина "точка пространства" (та самая "дырка") для "живой" пространственной системы. Он показал "дырку" в качестве агента взаимодействий с другими предметами вокруг неё. То есть, любой предмет имеет собственные независимые источники активности, которые со стороны выглядят как "дырка" или пустота.
Но все то, что воспринимается как "пустота" не является пустотой. Демокритов дуализм "материи и пустоты" в настоящее время переосмыслен в русле теории струн как дуализм "материи и энергии"(или "материя и сингулярность"). Основной вывод состоит в том, что фундаментальный дуализм во вселенной содержит отношение "видимая материя - невидимая историческая память (все и ничего одновременно)".
В первой половине 20 века все физические теории вселенной базировались на на двух философских аксиомах:
1. Вселенная - это пространство взаимодействий и не более того.
2. Фундаментальные основания вселенной образованы материальными частицами.
Понятно, что на таких основаниях теории не принимают во внимание аспект памяти и уловить присутствие "дырок" внутри вселенной.
Определённый поворот пришёл вместе с теорией "струн". Гросс пишет, что эта теория отвергает аксиому о фундаментальной миссии элементарных частиц и утверждает аксиому о том, что глубинные основания вселенной состоят из "струн" (элементарных порций энергии, которые не являются материальными частицами) (Гросс, 2004). Это маленький, но важный шаг по направлению к интеграции концепта памяти в структуру современных фундаментальных физических теорий. Некоторые по инерции мыслят "струны" в качестве единственного фундамента основных физических взаимодействий, но более важно понимать "струны" в качестве структур памяти вселенной.
В бытийном измерении "струны" могут опознаваться в качестве "дырок", с помощью которых предшествующая история вселенной влияет на взаимодействия точек пространства-и-времени в настоящем.
Особенность состоит в том, что "дырка" памяти - это не пустота, но канал одностороннего влияния со стороны предшествующей истории в отношении взаимодействий настоящего. Следовательно, "струны" могут быть определены как структуры, обеспечивающие удержание предшествующей истории в качестве "сувениров" и, с другой стороны, "струны" преобразуют предшествующую историю в процессе удержания. Таким образом, такие "дырки" на самом деле - это своеобразные "контактные линзы" для проводки влияния в поле взаимодействий настоящего.
Вся глобальная эволюция - это процесс развития структур исторической памяти вселенной. Новизна этого подхода состоит в том, что элементарные физические определения "времени", "пространства" и "энергии" представлены в качестве функций более глубоких, невидимых физических процессов - работы структур памяти. То есть видимый физический мир не является самодостаточным в своей подвижности, но зависит от другого невидимого мира вселенной, где бытует работа структур памяти. На стороне памяти "пространство" отсутствует, потому что памятование - это непрерывный процесс воспроизводства физического пространства для поставки его назад в поле видимой вселенной. Особенность подхода в этой части состоит в том, что вселенная постоянно содержит элемент, в котором физическое пространство отсутствует, "сингулярное состояние, предшествующее большому взрыву" также отсутствует, но в нем происходит непрерывная работа структур памяти. Функциональная миссия работы памяти состоит в том, чтобы содержать, воспроизводить и удерживать силы, обычно называемые "законами природы". В сущности "законы природы" являются продуктом непрерывного процесса, идущего на стороне физического памятования и его непосредственного отражения в поле видимого пространства.
Благодаря локальному скачку эволюции структур памяти на Земле появляется органический мир и особый органический тип памятования (его структурными элементами выступают: генетические системы организмов, нервная система организмов, психика высших животных). Следующий локальный скачок эволюции структур памяти создал мир людей с новым типом памятования - социально-исторической памятью.
Перельманом интересуются все спецслужбы мира, ведь он шагает впереди сегодняшней мировой науки, постигнув сверхзнания, позволившие понять мироздание. Наша Вселенная появилась во время взрыва, фактически из точки, в точку ее и можно свести.
"Пустоты есть везде. Их можно вычислять, и это дает большие возможности… Я знаю, как управлять Вселенной. И скажите - зачем же мне бежать за миллионом? В технике постоянно создаются новые аппараты, всевозможные устройства, а в математике как раз создаются их аналоги - логические приемы для аналитиков в любой области науки. И всякая математическая теория, если она строгая, рано или поздно находит применение. К примеру, многие поколения математиков и философов пытались аксиоматизировать философию, в результате этих попыток была создана теория булевых функций, названных по имени ирландского математика и философа Джорджа Буля. Эта теория стала ядром кибернетики и общей теории управления, которые вместе с достижениями других наук привели к созданию компьютеров, современных морских, воздушных и космических кораблей. Таких примеров история математики дает десятки. Это значит, что каждая наша теоретическая разработка имеет прикладное значение" (из интервью с А. Перельманом)
Гл. 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 года я прибыл по приглашению комитета Дауэса в Париж. Перед поездкой в Берлин члены комитета предпочли сначала обсудить экономическое положение Германии в Париже, и потребовалось мое присутствие для предоставления необходимой
«Проблема, которую решил Перельман , состоит в требовании доказать гипотезу, выдвинутую в 1904 году великим французским математиком Анри Пуанкаре (1854-1912) и носящую его имя. О роли Пуанкаре в математике трудно сказать лучше, чем это сделано в энциклопедии: «Труды Пуанкаре в области математики, с одной стороны, завершают классическое направление, а с другой - открывают пути к развитию новой математики, где наряду с количественными соотношениями устанавливаются факты, имеющие качественный характер» (БСЭ, изд. 3-е, т. 2). Гипотеза Пуанкаре как раз и имеет качественный характер - как и вся та область математики (а именно топология), к которой она относится и в создании которой Пуанкаре принял решающее участие.
На современном языке гипотеза Пуанкаре звучит так: всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.
В следующих абзацах мы постараемся хотя бы частично и очень приблизительно разъяснить смысл этой устрашающей словесной формулы. Для начала заметим, что обычная сфера, которая есть поверхность обычного шара, двумерна (а сам шар - тот трёхмерен). Двумерная сфера состоит из всех точек трёхмерного пространства, равноудалённых от некоторой выделенной точки, называемой центром и сфере не принадлежащей. Трёхмерная сфера состоит из всех точек четырёхмерного пространства, равноудалённых от своего центра (сфере не принадлежащего). В отличие от двумерных сфер трёхмерные сферы недоступны нашему непосредственному наблюдению, и нам представить себе их так же трудно, как Василию Ивановичу из известного анекдота квадратный трёхчлен. Не исключено, однако, что все мы как раз в трёхмерной сфере и находимся, то есть что наша Вселенная является трёхмерной сферой.
В этом состоит значение результата Перельмана для физики и астрономии. Термин «односвязное компактное трёхмерное многообразие без края» содержит указания на предполагаемые свойства нашей Вселенной. Термин «гомеоморфно» означает некую высокую степень сходства, в известном смысле неотличимость. Формулировка в целом означает, следовательно, что если наша Вселенная обладает всеми свойствами односвязного компактного трёхмерного многообразия без края, то она - в том же самом «известном смысле» - и есть трёхмерная сфера.
Понятие односвязности - довольно простое понятие. Представим себе канцелярскую резинку (то есть резиновую нить со склеенными концами) столь упругую, что она, если её не удерживать, стянется в точку. От нашей резинки мы потребуем ещё, чтобы при стягивании в точку она не выходила за пределы той поверхности, на которой мы её расположили. Если мы растянем такую резинку на плоскости и отпустим, она немедленно стянется в точку. То же произойдёт, если мы расположим резинку на поверхности глобуса, то есть на сфере. Для поверхности спасательного круга ситуация окажется совершенно иной: любезный читатель легко найдёт такие расположения резинки на этой поверхности, при которой стянуть резинку в точку, не выходя за пределы рассматриваемой поверхности, невозможно. Геометрическая фигура называется односвязной, если любой замкнутый контур, расположенный в пределах этой фигуры, можно стянуть в точку, не выходя за названные пределы. Мы только что убедились, что плоскость и сфера односвязны, а поверхность спасательного круга не односвязна. Не односвязна и плоскость с вырезанной в ней дырой. Понятие односвязности применимо и к трёхмерным фигурам. Так, куб и шар односвязны: всякий находящийся в их толще замкнутый контур можно стянуть в точку, причём в процессе стягивания контур будет всё время оставаться в этой толще. А вот баранка не односвязна: в ней можно найти такой контур, который нельзя стянуть в точку так, чтобы в процессе стягивания контур всё время находился в тесте баранки. Не односвязен и крендель. Можно доказать, что трёхмерная сфера односвязна.
Надеемся, что читатель не забыл, ещё разницу между отрезком и интервалом, которой обучают в школе. Отрезок имеет два конца, он состоит из этих концов и всех точек, расположенных между ними. Интервал же состоит только из всех точек, расположенных между его концами, сами же концы в состав интервала не входят: можно сказать, что интервал - это отрезок с удалёнными из него концами, а отрезок - это интервал с добавленными к нему концами. Интервал и отрезок являются простейшими примерами одномерных многообразий, причём интервал есть многообразие без края, а отрезок - многообразие с краем; край в случае отрезка состоит из двух концов. Главное свойство многообразий, лежащее в основе их определения, состоит в том, что в многообразии окрестности всех точек, за исключением точек края (которого может и не быть), устроены совершенно одинаково.
При этом окрестностью какой-либо точки А называется совокупность всех точек, расположенных вблизи от этой точки А. Микроскопическое существо, живущее в многообразии без края и способное видеть только ближайшие к себе точки этого многообразия, не в состоянии определить, в какой именно точке оно, существо, находится: вокруг себя оно всегда видит одно и то же. Ещё примеры одномерных многообразий без края: вся прямая линия целиком, окружность. Примером одномерной фигуры, не являющейся многообразием, может служить линия в форме буквы Т: здесь есть особая точка, окрестность которой не похожа на окрестности других точек - это точка, где сходятся три отрезка. Другой пример одномерного многообразия - линия в форме восьмёрки; в особой точке здесь сходятся четыре линии. Плоскость, сфера, поверхность спасательного круга служат примерами двумерных многообразии без края. Плоскость с вырезанной в ней дырой также будет многообразием - а вот с краем или без края, зависит от того, куда мы относим контур дыры. Если мы относим его к дыре, получаем многообразие без края; если оставляем контур на плоскости, получаем многообразие с краем, каковым и будет служить этот контур. Разумеется, мы имели здесь в виду идеальное математическое вырезание, а при реальном физическом вырезании ножницами вопрос, куда относится контур, не имеет никакого смысла.
Несколько слов о трёхмерных многообразиях. Шар вместе со сферой, служащей его поверхностью, представляет собою многообразие с краем; указанная сфера как раз и является этим краем. Если мы удалим этот шар из окружающего пространства, получим многообразие без края. Если мы сдерём с шара его поверхность, получится то, что на математическом жаргоне называется «ошкуренный шар», а в более научном языке - открытый шар. Если удалить открытый шар из окружающего пространства, получится многообразие с краем, и краем будет служить та самая сфера, которую мы содрали с шара. Баранка вместе со своей корочкой есть трёхмерное многообразие с краем, а если отодрать корочку (которую мы трактуем как бесконечно тонкую, то есть как поверхность), получим многообразие без края в виде «ошкуренной баранки». Всё пространство в целом, если понимать его так, как оно понимается в средней школе, есть трёхмерное многообразие без края.
Математическое понятие компактность отчасти отражает тот смысл, какой слово «компактный» имеет в повседневном русском языке: «тесный», «сжатый». Геометрическая фигура называется компактной, если при любом расположении бесконечного числа её точек они накапливаются к одной из точек или ко многим точкам этой же фигуры. Отрезок компактен: для любого бесконечного множества его точек в отрезке найдётся хотя бы одна так называемая предельная точка, любая окрестность которой содержит бесконечно много элементов рассматриваемого множества. Интервал не компактен: можно указать такое множество его точек, которое накапливается к его концу, и только к нему, - но ведь конец не принадлежит интервалу!
За недостатком места мы ограничимся этим комментарием. Скажем лишь, что из рассмотренных нами примеров компактными являются отрезок, окружность, сфера, поверхности баранки и кренделя, шар (вместе со своей сферой), баранка и крендель (вместе со своими корочками). Напротив, интервал, плоскость, ошкуренные шар, баранка и крендель не являются компактными. Среди трёхмерных компактных геометрических фигур без края простейшей является трёхмерная сфера, но в нашем привычном «школьном» пространстве такие фигуры не умещаются. Самое, пожалуй, глубокое из тех понятий, которые связывает между собой гипотеза Пуанкаре , - это понятие гомеоморфии. Гомеоморфия - это наиболее высокая ступень геометрической одинаковости . Сейчас мы попытаемся дать приблизительное разъяснение этому понятию путём постепенного к нему приближения.
Уже в школьной геометрии мы встречаемся с двумя видами одинаковости - с конгруэнтностью фигур и с их подобием. Напомним, что фигуры называются конгруэнтными, если они совпадают друг с другом при наложении. В школе конгруэнтные фигуры как бы не различают, и потому конгруэнтность называют равенством. Конгруэнтные фигуры имеют одинаковые размеры во всех своих деталях. Подобие же, не требуя одинаковости размеров, означает одинаковость пропорций этих размеров; поэтому подобие отражает более сущностное сходство фигур, нежели конгруэнтность. Геометрия в целом - более высокая ступень абстракции, нежели физика, а физика - чем материаловедение.
Возьмём, к примеру, шарик подшипника, биллиардный шар, крокетный шар и мяч. Физика не вникает в такие детали, как материал, из которого они сделаны, а интересуется лишь такими свойствами, как объём, вес, электропроводность и т. п. Для математики - все они шары, различающиеся только размерами. Если шары имеют разные размеры, то они различаются для метрической геометрии, но все они одинаковы для геометрии подобия. С точки зрения геометрии подобия одинаковы и все шары, и все кубы, а вот шар и куб - не одинаковы.
А теперь посмотрим на тор. Top - эта та геометрическая фигура, форму которой имеют баранка и спасательный круг. Энциклопедия определяет тор как фигуру, полученную вращением круга вокруг оси, расположенной вне этого круга. Призываем благосклонного читателя осознать, что шар и куб «более одинаковы» между собой, чем каждый из них с тором. Наполнить это интуитивное осознание точным смыслом позволяет следующий мысленный эксперимент. Представим себе шар сделанным из материала столь податливого, что его можно изгибать, растягивать, сжимать и, вообще, деформировать как угодно, - нельзя только ни разрывать, ни склеивать. Очевидно, что шар тогда можно превратить в куб, но вот в тор превратить невозможно. Толковый словарь Ушакова определяет крендель как выпечку (буквально: как сдобную витую булку) в форме буквы В. При всём уважении к этому замечательному словарю, слова «в форме цифры 8» кажутся мне более точными; впрочем, с той точки зрения, которая выражена в понятии гомеоморфии, и выпечка в форме цифры 8, и выпечка в форме буквы В, и выпечка в форме фиты имеют одну и ту же форму. Даже если предположить, что хлебопёки сумели получить тесто, обладающее вышеуказанными свойствами податливости, колобок невозможно - без разрывов и склеиваний! - превратить ни в баранку, ни в крендель, как и последние две выпечки друг в друга. А вот превратить шарообразный колобок в куб или в пирамиду - можно. Любезный читатель, несомненно, сумеет найти и такую возможную форму выпечки, в которую нельзя превратить ни колобок, ни крендель, ни баранку.
Не назвав этого понятия, мы уже познакомились с гомеоморфией. Две фигуры называются гомеоморфными, если одну можно превратить в другую путём непрерывной (т. е. без разрывов и склеивании) деформации; сами такие деформации называются гомеоморфизмами.
Мы только что выяснили, что шар гомеоморфен кубу и пирамиде, но не гомеоморфен ни тору, ни кренделю, а последние два тела не гомеоморфны между собой. Просим читателя понимать, что мы привели лишь приблизительное описание понятия гомеоморфии, данное в терминах механического преобразования.Коснёмся философского аспекта понятия гомеоморфии. Представим себе мыслящее существо, живущее внутри какой-либо геометрической фигуры и не обладающее возможностью посмотреть на эту фигуру извне, «со стороны». Для него фигура, в которой оно живёт, образует Вселенную. Представим себе также, что когда объемлющая фигура подвергается непрерывной деформации, существо деформируется вместе с нею. Если фигура, о которой идёт речь, является шаром, то существо никаким способом не может различить, пребывает ли оно в шаре, в кубе или в пирамиде. Однако для него не исключена возможность убедиться, что его Вселенная не имеет формы тора или кренделя. Вообще, существо может установить форму окружающего его пространства лишь с точностью до гомеоморфии, то есть оно не в состоянии отличить одну форму от другой, коль скоро эти формы гомеоморфны.
Для математики значение гипотезы Пуанкаре , превратившейся теперь из гипотезы в теорему Пуанкаре - Перельмана, огромно (не зря ведь за решение проблемы был предложен миллион долларов), равно как огромно и значение найденного Перельманом способа её доказательства, но объяснить это значение здесь - вне нашего умения. Что же касается космологической стороны дела, то, возможно, значимость этого аспекта была несколько преувеличена журналистами.
Впрочем, некоторые авторитетные специалисты заявляют, что осуществлённый Перельманом научный прорыв может помочь в исследовании процессов формирования чёрных дыр. Чёрные дыры, кстати, служат прямым опровержением положения о познаваемости мира - одного из центральных положений того самого передового, единственно верного и всесильного учения, которое 70 лет насильственно вдалбливалось в наши бедные головы. Ведь, как учит физика, никакие сигналы из этих дыр не могут к нам поступать в принципе, так что узнать, что там происходит, невозможно. О том, как устроена наша Вселенная в целом, мы вообще знаем очень мало, и сомнительно, что когда-нибудь узнаем. Да и сам смысл вопроса о её устройстве не вполне ясен. Не исключено, что этот вопрос относится к числу тех, на которые, согласно учению Будды , не существует ответа. Физика предлагает лишь модели устройства, более или менее согласующиеся с известными фактами. При этом физика, как правило, пользуется уже разработанными заготовками, предоставляемыми ей математикой.
Математика не претендует, разумеется, на то, чтобы установить какие бы то ни было геометрические свойства Вселенной. Но она позволяет осмыслить те свойства, которые открыты другими науками. Более того. Она позволяет сделать более понятными некоторые такие свойства, которые трудно себе вообразить, она объясняет, как такое может быть. К числу таких возможных (подчеркнём: всего лишь возможных!) свойств относятся конечность Вселенной и её неориентируемость.
Долгое время единственной мыслимой моделью геометрического строения Вселенной служило трёхмерное евклидово пространство, то есть то пространство, которое известно всем и каждому из средней школы. Это пространство бесконечно; казалось, что никакие другие представления и невозможны; помыслить о конечности Вселенной казалось безумием. Однако ныне представление о конечности Вселенной не менее законно, чем представление о её бесконечности. В частности, конечна трёхмерная сфера. От общения с физиками у меня осталось впечатление, что одни отвечают «скорее всего. Вселенная бесконечна», другие же - «скорее всего, Вселенная конечна».
Успенский В.А. , Апология математики, или о математике как части духовной культуры, журнал «Новый мир», 2007 г., N 12, с. 141-145.
Теорема Пуанкаре – математическая формула «Вселенной». Григорий Перельман. Часть 1 (из серии «Настоящий Человек в науке»)
Анри Пуанкаре (1854-1912), один из величайших математиков, в 1904 г. сформулировал знаменитую идею о деформированной трёхмерной сфере и в виде маленькой заметки на полях, помещённой в конце 65 страничной статьи, посвящённой совершенно другому вопросу, нацарапал несколько строчек довольно странной гипотезы со словами: «Ну этот вопрос может слишком далеко нас завести»…
Маркус Дю Сотой из Оксфордского университета считает, что теорема Пуанкаре - «это центральная проблема математики и физики , попытка понять какой формы может быть Вселенная , к ней очень трудно подобраться».
Раз в неделю Григорий Перельман ездил в Принстон, чтобы принять участие в семинаре «Института углублённых исследований». На семинаре один из математиков Гарвардского университета отвечает на вопрос Перельмана: «Теория Уильяма Тёрстона (1946-2012 гг., математик, труды в области «Трехмерной геометрии и топологии»), получившая название гипотезы геометризации описывает все возможные трёхмерные поверхности и является шагом вперёд по сравнению с гипотезой Пуанкаре. Если Вы докажете предположение Уильяма Тёрстона, то и гипотеза Пуанкаре распахнёт перед Вами все свои двери и более того её решение изменит весь топологический ландшафт современной науки ».
Шесть ведущих американских университетов в марте 2003 г. приглашают Перельмана прочесть цикл лекций, разъясняющих его работу. В апреле 2003 г. Перельман совершает научное турне. Его лекции становятся выдающимся научным событием. В Принстоне послушать его приезжают Джон Болл (председатель международного математического союза), Эндрю Уайлз (математик, работы в области арифметики эллиптических кривых, доказал теорему Ферма в 1994 г.), Джон Нэш (математик, работающий в области теории игр и дифференциальной геометрии).
Григорию Перельману удалось решить одну из семи задач тысячелетия и математически описать так называемою формулу Вселенной , доказать гипотезу Пуанкаре. Над этой гипотезой наиболее светлые умы бились более 100 лет, и за доказательство которой мировым математическим сообществом (математическим институтом имени Клэя) был обещан $1 млн. Её вручение прошло 8 июня 2010 г. Григорий Перельман не появился на ней, и у мирового математического сообщества «поотпадали челюсти».
В 2006 году за решение гипотезы Пуанкаре математику была присуждена высшая математическая награда - Филдсовская премия (медаль Филдса). Джон Болл лично посетил Санкт-Петербург с тем, чтобы уговорить принять премию. Её он принять отказался со словами: «Общество вряд ли способно всерьёз оценить мою работу».
«Филдсовская премия (и медаль) вручается один раз в 4 года на каждом международном математическом конгрессе молодым учёным (моложе 40 лет), внёсшим заметный вклад в развитие математики. Помимо медали награждённым вручается 15 тыс. канадских долларов ($13 000)»
В исходной формулировке гипотеза Пуанкаре звучит следующим образом: «Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере». В переводе на общедоступный язык, это означает, что любой трёхмерный объект, например, стакан можно преобразовать в шар путём одной только деформации, то есть его не нужно будет ни разрезать, ни склеивать. Иными словами, Пуанкаре предположил, что пространство не трёхмерно, а содержит значительно большее число измерений , а Перельман спустя 100 лет математически это доказал .
Выражение Григория Перельмана теоремы Пуанкаре о преобразовании материи в другое состояние, форму имеет сходство со знаниями, изложенными в книге Анастасии Новых «Сэнсэй IV»: «По факту, вся эта бесконечная для нас Вселенная занимает место в миллиарды раз меньше, чем кончик самой тонкой медицинской иглы» . А также возможностью управления материальной Вселенной путём преобразований, вносимых Наблюдателем из контролирующих измерений выше шестого (с 7 по 72 включительно) (доклад «ИСКОННАЯ ФИЗИКА АЛЛАТРА » тема «Эзоосмическая решётка»).
Григория Перельмана отличали аскетичность жизни, суровость предъявляемых как себе, так и к другим этических требований. Глядя на него складывается ощущение, что он только телесно проживает в общем со всеми остальными современниками пространстве , а Духовно в каком-то ином , где даже за $1 млн. не идут на самые «невинные» компромиссы с Совестью . И что это за пространство такое, и можно ли хоть краешком глаза посмотреть на него?..
Исключительная важность гипотезы, выдвинутой около века назад математиком Пуанкаре, касается трёхмерных структур и является ключевым элементом современных исследований основ мироздания . Загадка эта, по мнению специалистов института Клэя, одна из семи принципиально важных для развития математики будущего.
Перельман, отвергая медали и премии спрашивает: «А зачем они мне? Они мне совершенно ни к чему. Каждому понятно, если доказательство правильное, то никакого другого признания уже не требуется. Пока во мне не развилась подозрительность, у меня был выбор, либо сказать вслух о дезинтеграции математического сообщества в целом, в связи с его низким моральным уровнем, либо ничего не сказать и позволить обращаться с собой, как с быдлом. Теперь же, когда я стал более чем подозрительным, я не могу оставаться быдлом и продолжать молчать, поэтому мне остаётся только уйти».
Для того чтобы заниматься современной математикой нужно иметь тотально чистый ум, без малейшей примеси, которая дезинтегрирует его, дезориентирует, подменяет ценности, и принять эту премию означает продемонстрировать слабость. Идеальный учёный занимается только наукой, не заботится больше ни о чём (власть и капитал), у него должен быть чистый ум, а для Перельмана нет большей важности, чем жить в соответствии с этим идеалом. Полезно ли для математики вся эта затея с миллионами, и нужен ли настоящему учёному такой стимул? И это желание капитала купить и подчинить себе всё в этом мире разве не оскорбительно? Или можно продать свою чистоту за миллион? Деньги, сколько бы там их ни было, эквивалентны истине Души ? Ведь мы имеем дело с априорной оценкой проблем, к которым деньги просто не должны иметь отношения, разве не так?! Делать же из всего этого что-то вроде лото-миллион, или тотализатор, значит потакать дезинтеграции научного, да и человеческого сообщества в целом (см. доклад «ИСКОННАЯ ФИЗИКА АЛЛАТРА » и в книге «АллатРа » последние 50 страниц о пути построения созидательного общества). И денежные средства (энергия), которые бизнесмены готовы отдавать на науку, если и надо использовать, то корректно, что ли, не унижая Дух подлинного служения , как ни верти, неоценимого денежным эквивалентом: «Что такое миллион, по сравнению , с чистотой, или Величием тех сфер (об измерениях глобальной Вселенной и о Духовном мире см. книгу «АллатРа » и доклад «ИСКОННАЯ ФИЗИКА АЛЛАТРА » ), в которые не способно проникнуть даже человеческое воображение (ум) ?! Что такое миллион звёздного неба для времени?!».
Приведем толкование остальных терминов, фигурирующих в формулировке гипотезы :
Топология - (от греч. topos - место и logos - учение) - раздел математики, изучающий топологические свойства фигур, т.е. свойства, не изменяющиеся при любых деформациях, производимых без разрывов и склеиваний (точнее, при взаимно однозначных и непрерывных отображениях). Примерами топологических свойств фигур являются размерность, число кривых, ограничивающих данную область, и т.д. Так, окружность, эллипс, контур квадрата имеют одни и те же топологические свойства, т.к. эти линии могут быть деформированы одна в другую описанным выше образом; в то же время кольцо и круг обладают различными топологическими свойствами: круг ограничен одним контуром, а кольцо - двумя.
Гомеоморфизм (греч. ομοιο - похожий, μορφη - форма) – взаимно однозначное соответствие между двумя топологическим пространствами, при котором оба взаимно обратных отображения, определяемые этим соответствием, непрерывны. Эти отображения называют гомеоморфными, или топологическими отображениями, а также гомеоморфизмами, а о пространствах говорят, что они принадлежат одному топологическому типу называются гомеоморфными, или топологически эквивалентными.
Трёхмерное многообразие без края. Это такой геометрический объект, у которого каждая точка имеет окрестность в виде трёхмерного шара. Примерами 3-многообразий может служить, во-первых, всё трехмерное пространство, обозначаемое R3 , а также любые открытые множества точек в R3 , к примеру, внутренность полнотория (бублика). Если рассмотреть замкнутое полноторие, т.е. добавить и его граничные точки (поверхность тора), то мы получим уже многообразие с краем – у краевых точек нет окрестностей в виде шарика, но лишь в виде половинки шарика.
Полното́рие (полното́рий) - геометрическое тело, гомеоморфное произведению двумерного диска и окружности D2 * S1. Неформально, полноторие - бублик, тогда как тор - только его поверхность (пустотелая камера колеса).
Односвязное. Оно означает, что любую непрерывную замкнутую кривую, расположенную целиком в пределах данного многообразия, можно плавно стянуть в точку, не покидая этого многообразия. Например, обычная двумерная сфера в R3 односвязна (кольцевую резинку, как угодно приложенную к поверхности яблока, можно плавной деформацией стянуть в одну точку, не отрывая резинки от яблока). С другой стороны, окружность и тор неодносвязны.
Компактное. Многообразие компактно, если любой его гомеоморфный образ имеет ограниченные размеры. Например, открытый интервал на прямой (все точки отрезка, кроме его концов) некомпактен, так как его можно непрерывно растянуть до бесконечной прямой. А вот замкнутый отрезок (с концами) является компактным многообразием с краем: при любой непрерывной деформации концы переходят в какие-то определённые точки, и весь отрезок обязан переходить в ограниченную кривую, соединяющую эти точки.
Продолжение следует...
Ильназ Башаров
Литература:
– Доклад «ИСКОННАЯ ФИЗИКА АЛЛАТРА» интернациональной группы учёных Международного общественного движения «АЛЛАТРА» под ред. Анастасии Новых, 2015 г. http://allatra-science.org/pub... ;
– Новых. А. «АллатРа», К.: АллатРа, 2013 г. http://schambala.com.ua/book/a... .
– Новых. А., «Сэнсэй-IV», К.: ЛОТОС, 2013 г., 632 c. http://schambala.com.ua/book/s...
– Сергей Дужин, докт.физ.-мат. наук,старший научный сотрудник Санкт- Петербургского отделения Математического института РАН
"Зачем мне миллион?"
На весь мир известна история про гениального математика Григория Перельмана, доказавшего гипотезу Пуанкаре, который отказался от миллиона долларов. Недавно учёный-затворник объяснил, наконец, почему же он не взял заслуженную премию.
Началось всё с того, что журналист и продюсер кинокомпании «Президент-фильм» Александр Забровский догадался связаться с матерью Григория Яковлевича через еврейскую общину Петербурга. Ведь до этого все журналисты безрезультатно просиживали штаны на ступенях дома великого математика с целью взять у него интервью. Мать поговорила с сыном, дав журналисту хорошую характеристику, и только после этого Перельман согласился на встречу.
По словам Забровского, Григорий Яковлевич - вполне вменяемый и адекватный человек, а всё, что о нём говорили ранее - бред сивой кобылы. Он видит перед собой конкретную цель и знает, как к ней прийти.
Кинокомпания «Президент-фильм» с согласия Перельмана планирует снять о нем художественную ленту «Формула Вселенной». Математик и пошёл-то на контакт ради этого фильма, который будет не о нём, а о сотрудничестве и противоборстве трех основных мировых математических школ: российской, китайской и американской, наиболее продвинувшихся по стезе изучения и управления Вселенной. На вопрос о миллионе, который так волновал всех удивлённых и любопытных, Перельман ответил: «Я знаю, как управлять Вселенной. И скажите - зачем же мне бежать за миллионом?»
Учёный рассказал и про то, почему он не общается с журналистами. Причина в том, что их волнует не наука, а личная жизнь - стрижка ногтей и миллион. Его обижает, когда в прессе его называют Гришей, такую фамильярность математик считает неуважением к себе.
Со школьных лет Григорий Перельман привык «тренировать мозг», то есть решать задачи, которые заставляли мыслить абстрактно. И чтобы найти правильно решение, нужно было представить себе «кусочек мира». Например, математику предложили посчитать, с какой скоростью должен был идти Иисус Христос по воде, чтобы не провалиться. Оттуда и пошло желание Перельмана изучать свойства трехмерного пространства Вселенной.
Для чего же надо было столько лет биться над доказательством гипотезы Пуанкаре? Суть её такова: если трехмерная поверхность в чем-то похожа на сферу, то ее можно расправить в сферу. «Формулой Вселенной» утверждение Пуанкаре называют из-за его важности в изучении сложных физических процессов в теории мироздания и из-за того, что оно дает ответ на вопрос о форме Вселенной.
Григорий Яковлевич постиг таких сверхзнаний, которые помогают понять мироздание. И теперь математик постоянно под наблюдением российских и зарубежных спецслужб: а вдруг Перельман представляет угрозу для человечества? Ведь если с помощью его знаний можно свернуть Вселенную в точку, а потом ее развернуть, то мы можем погибнуть либо возродиться в ином качестве? И тогда мы ли это будем? И нужно ли нам вообще управлять Вселенной?
Доказательство длиною в век
Григорий Перельман окончательно и бесповоротно вошел в историю
Математический институт Клэя присудил Григорию Перельману Премию тысячелетия (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, в котором была опубликована работа.
После этого математик стал ездить по миру с популярными лекциями, рассказывая о достижениях китайских математиков. В результате возникла опасность, что очень скоро результаты Перельмана и даже Гамильтона окажутся отодвинуты на второй план. Такое в истории математики случалось не раз - многие теоремы, носящие имена конкретных математиков, были придуманы совершенно другими людьми.
Однако этого не случилось и, вероятно, теперь не случится. Вручение премии Клэя Перельману (даже если тот откажется) навсегда закрепило в общественном сознании факт: российский математик Григорий Перельман доказал гипотезу Пуанкаре. И неважно, что на самом деле он доказал факт более общий, развив по пути совершенно новую теорию особенностей потоков Риччи. Хотя бы так. Награда нашла героя.
Андрей Коняев
Подготовил: Сергей Коваль
