В чем суть теоремы Пуанкаре? математики, объясните более- менее популярно

Если пространство из цельного куска латекса без дырок внутри, то его можно деформировать в шар незаметно для внутреннего населения.

Не математикам можно? Ее суть в том, что при сохраняющем меру отображении пространства на себя почти каждая точка вернется в свою начальную окрестность.

В исходной форме гипотеза Пуанкаре утверждает, что:
Всякое односвязное компактное трёхмерное многообразие без края гомеоморфно трёхмерной сфере.
Обобщённая гипотеза Пуанкаре утверждает, что:
Для любого n всякое многообразие размерности n гомотопически эквивалентно сфере размерности n тогда и только тогда, когда оно гомеоморфно ей.
Исходная гипотеза Пуанкаре является частным случаем обобщённой гипотезы при n = 3.
Поток Риччи — это определённое уравнение в частных производных, похожее на уравнение теплопроводности. Он позволяет деформировать риманову метрику на многообразии, но в процессе деформации возможно образование «сингулярностей» — точек, в которых кривизна стремится к бесконечности, и деформацию невозможно продолжить. Основной шаг в доказательстве состоит в классификации таких сингулярностей в трёхмерном ориентированном случае. При подходе к сингулярности поток останавливают и производят «хирургию» — выбрасывают малую связную компоненту или вырезают «шею» (то есть, вложенное (0,1)\times S^2), а полученные две дырки заклеивают двумя шарами так, что метрика полученного многообразия становится достаточно гладкой — после чего продолжают деформацию. Классификация сингулярностей позволяет заключить, что каждый «выброшенный кусок» диффеоморфен сферической пространственной форме. Процесс, описанный выше, называется «поток Риччи с хирургией» .
При доказательстве гипотезы Пуанкаре, начинают с произвольной римановой метрики на односвязном трёхмерном многообразии M и применяют к нему поток Риччи с хирургией. Важным шагом является доказательство того, что в результате такого процесса «выбрасывается» всё. Это означает, что исходное многообразие M можно представить как набор сферических пространственных форм S3 / [5;i, соединённых друг с другом трубками [0,1]\times S^2. Подсчёт фундаментальной группы показывает, что M диффеоморфно связанной сумме набора пространственных форм S3 / [5;i и более того все [5;i тривиальны. Таким образом, M является связной суммой набора сфер, то есть, сферой.

в двух словах чтото про пространство )))
вроде как ))