Пятница, 19 Марта 2010 г. 15:19
+ в цитатник
В США математический институт присудил Премию тысячелетия ученому из РФ
Стало интересно, полез в
Wiki просветиться:
Гипотеза Пуанкаре
В исходной форме гипотеза Пуанкаре утверждает, что:
Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.
Обобщённая гипотеза Пуанкаре
Обобщённая гипотеза Пуанкаре утверждает, что:
Для любого n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей.
Исходная гипотеза Пуанкаре является частным случаем обобщённой гипотезы при n = 3.
Схема доказательства
Поток Риччи — это определённое уравнение в частных производных, похожее на уравнение теплопроводности. Он позволяет деформировать риманову метрику на многообразии, но в процессе деформации возможно образование «сингулярностей» — точек, в которых кривизна стремится к бесконечности, и деформацию невозможно продолжить. Основной шаг в доказательстве состоит в классификации таких сингулярностей в трёхмерном ориентированном случае. При подходе к сингулярности поток останавливают и производят «хирургию» — выбрасывают малую связную компоненту или вырезают «шею» (то есть, вложенное ), а полученные две дырки заклеивают двумя шарами так, что метрика полученного многообразия становится достаточно гладкой — после чего продолжают деформацию. Классификация сингулярностей позволяет заключить, что каждый «выброшенный кусок» диффеоморфен сферической пространственной форме. Процесс, описанный выше, называется «поток Риччи с хирургией».
При доказательстве гипотезы Пуанкаре, начинают с произвольной римановой метрики на односвязном трёхмерном многообразии M и применяют к нему поток Риччи с хирургией. Важным шагом является доказательство того, что в результате такого процесса «выбрасывается» всё. Это означает, что исходное многообразие M можно представить как набор сферических пространственных форм S3 / Γi, соединённых друг с другом трубками . Подсчёт фундаментальной группы показывает, что M диффеоморфно связанной сумме набора пространственных форм S3 / Γi и более того все Γi тривиальны. Таким образом, M является связной суммой набора сфер, то есть, сферой.
Блин ......... какой же я тупой!
Понравилось: 1 пользователю
-
1
Запись понравилась
-
0
Процитировали
-
0
Сохранили
-