Григорий Перельман и гипотеза Пуанкаре
Шрифт:
На трехмерных многообразиях можно рассмотреть такие же петли, какие мы брали на обычных поверхностях. Так вот, гипотеза Пуанкаре утверждает: «Если фундамен-
– 52-
тальная группа трехмерного многообразия тривиальна, то оно гомеоморфно сфере». Непонятное словосочетание «гомеоморфно сфере» в переводе на неформальный язык означает, что поверхность может быть преобразована в сферу.
Будем чуточку более формальны. Говорят, что поверхность k– связна, если на ней можно провести k-1замкнутую кривую, которая не делит ее на две части. Сфера (поверхность апельсина) односвязная: как ни проводи на ней замкнутую кривую, кусочек вырежется; а вот поверхность бублика двусвязная — ее можно, например, разрезать поперек,
Другое важное понятие — гомеоморфизм — также уже встречалось в рассуждениях о неразличимости чашки и бублика. Именно в этой неразличимости и дело: гомеоморфизм — это непрерывное преобразование, деформация, которой можно подвергнуть множество, сохранив при этом его топологические свойства (например, k– связность). Чашку легко непрерывным преобразованием превратить в бублик, а апельсин — в Солнце. При этом преобразовании сохраняются важнейшие топологические инварианты, такие как число k.Два множества, которые можно гомеоморфизмом превратить друг в друга, с топологической точки зрения считаются эквивалентными.
Гипотеза Пуанкаре состоит в том, что каждая односвязная трехмерная поверхность гомеоморфна трехмерной сфере. Обратите особое внимание на то, что «трехмерная поверхность» может размещаться в пространстве, чья размерность как минимум 4! Трехмерная сфера — это поверхность четырехмерного шара (привычная нам двухмерная сфера — поверхность трехмерного шара).
– 53-
Рис. 20. Дискретный код трехмерной поверхности Терстона
Изображенные так называемые ячейки Терстона образуют своеобразную геометрическую головоломку. Если выбрать определенные коды Терстона: 6-8-7, 1-17-9 или 3-20-21, то каждый из них будет подсказывать, в какую геометрическую фигуру сложится трехмерная поверхность.
«В конце семидесятых принстонский математик Уильям Терстон, любивший иллюстрировать свои идеи с помощью ножниц и бумаги, предложил систематизировать все трехмерные многообразия. Он утверждал, что, несмотря на то что многообразия могут принимать любую форму, в действительности они тяготеют к некоторой "предпочтительной" геометрии (подобно тому, как кусок шелка, обернутый вокруг манекена, стремится принять его форму). Терстон предположил, что любое трехмерное многообразие может быть разложено на один или несколько компонентов, каждый из которых можно отнести к одному из восьми типов, включая сферический».
– 54-
Доказывать гипотезу Пуанкаре начинают с произвольной римановой метрики на односвязном трехмерном многообразии Ми применяют к нему поток Риччи с хирургией. Важным шагом является доказательство того, что в результате такого процесса «выбрасывается» все. Это означает, что исходное многообразие Мможно представить как набор сферических пространственных форм, соединенных друг с другом трубками. Подсчет фундаментальной группы показывает, что Мдиффеоморфно связанной сумме набора пространственных форм. Таким образом, Мявляется связной суммой набора сфер, то есть сферой.
К теме гипотезы Пуанкаре примыкает важная для кибернетиков область математики — вычислительная топология. Вычислительные и распознавательные задачи, оказывается, есть и в этой абстрактной науке. С одной из таких задач связана предпринятая в 1974 году очень интересная попытка решения проблемы Пуанкаре в ее алгоритмической версии.
Каждая трехмерная
– 55-
представлений сферы — и во всех обнаружилась «волна»! Это был довольно веский аргумент в пользу корректности предложенного алгоритма. Но авторы, будучи серьезными математиками воздерживались от поспешных заявлений. И не напрасно: спустя пару лет был обнаружен контрпример…
Спустя 20 лет алгоритм распознавания 3-сферы (за экспоненциальное время) был все же построен. Однако общая проблема алгоритмического распознавания поверхностей размерности-3 открыта, она активно изучается и сегодня, в то время как для более высоких размерностей давно известна ее неразрешимость, а для размерности-2 она была решена еще раньше.
По мнению современного философа А. В. Дахина, особенно важно отметить, что теорема Пуанкаре — Перельмана содержит идею о возможности существования в глобальной Вселенной двух структур пространства.
Профессор Дахин считает, что имеет смысл обратиться к следующим закономерным вопросам: почему может существовать пространство с дыркой и почему может существовать пространство без дырки? Как существует пространство с дыркой и как существует пространство без дырки? И более глубокий вопрос: что находится внутри дырки и где это «что-то», когда дырка отсутствует?
Эти вопросы можно проиллюстрировать в терминах проблемы начала Вселенной. Резонно предложить две картины: одна из них показывает, что начало — это точечный объект (материальная частица), а другая картина будет отражать, что начало Вселенной — это не материя, а дырка (ничто или дух), где время и пространство отсутствуют.
«Теория Терстпона, получившая название гипотезы геометризации, описывает все возможные трехмерные многообразия и, таким образом, является очень важным обобщением гипотезы Пуанкаре. Доказательство гипотезы Терстона влекло за собой доказательство проблемы Пуанкаре. Доказательство теорий Терстона и Пуанкаре "открывало огромные перспективы", как признал Барри Мазур, математик из Гарвардского
– 56-
университета. Последствия этих доказательств для других областей науки могут быть неочевидны еще долгое время, но, без сомнения, для математиков эти задачи имели фундаментальное значение. "Эти задачи — что-то вроде теоремы Пифагора XX века, — добавил Мазур. — Они оказывают огромное влияние на математику"».
Диалектический подход призывает к тому, чтобы найти концепт, обобщающий обе модели пространства. Базовая идея здесь была выдвинута именно Пуанкаре, который обосновал различие (и взаимосвязанность) между картезианской моделью пространства (трехмерная система) и моделью «живого» пространства, представленной в работах самого Пуанкаре (сферическая система). В частности, он дал собственное определение термина «точка пространства» для «живой» пространственной системы. Он показал точку пространства в качестве агента взаимодействий с другими предметами вокруг нее. Соответственно, как агент взаимодействий всякая точка пространства является одновременно и точкой времени, а потому должна быть оснащена собственной памятью.