Если куб раздуть, он легко может стать шаром, если шар примять встречными движениями, можно получить кубик. Наличие дырки у бублика и дырки, образованной ручкой у кружки, делает их гомеоморфными, та же дырка делает невозможным превращение кружки в шар или куб.
Дырка – важное понятие, определяющее свойства объекта, но категория совершенно не математическая. Было введено понятие связности. Его содержат многие топологические постулаты, в том числе и теорема Пуанкаре. Простыми словами можно говорить так: если поверхность шара обернуть петлей из резиновой ленты, она, сжимаясь, соскользнёт. Этого не произойдет, если имеется отверстие, как у тора-бублика, сквозь которое можно продеть эту ленту. Таким образом определяется главный признак сходства или отличия объектов.
Если объект или пространство разделить на множество составных частей – окрестностей, окружающих какую-то точку, - то их общность называют многообразием. Именно такое понятие содержит теорема Пуанкаре. Компактность означает конечное число элементов. Каждая отдельная окрестность подчиняется законам традиционной – эвклидовой – геометрии, но вместе они образуют нечто более сложное.
Самая адекватная аналогия этих категорий – поверхность земли. Изображение её поверхности представляет собой карты отдельных её районов, собранные в атлас. На глобусе эти изображения обретают форму шара, который относительно пространства Вселенной превращается в точку.
Трехмерная сфера По определению, сфера – совокупность точек, которые равноудалены от центра – некой фиксированной точки. Одномерная сфера расположена в двухмерном пространстве в виде окружности на плоскости. Двухмерная сфера – поверхность шара, его «корочка» - совокупность точек в трехмерном пространстве и, соответственно, трехмерная сфера – суть теоремы Пуанкаре – поверхность четырехмерного шара. Вообразить такой объект очень трудно, но, говорят, мы - внутри такого геометрического тела. Математики приводят ещё и такое описание трехмерной сферы: допустим, что к нашему привычному пространству, считаемому неограниченным и определяемому тремя координатами (X, Y, Z), добавлена точка (на бесконечности) таким образом, что в неё всегда можно попасть, двигаясь в любом направлении по прямой линии, т.е. любая прямая в этом пространстве становится окружностью. Говорят, что есть люди, которые могут это вообразить и спокойно ориентироваться в таком мире. Для них обычное дело – трехмерный тор. Такой объект можно получить путем дважды повторенного совмещения в одну точку двух, расположенных на противоположных (например, правой и левой, верхней и нижней) гранях куба. Чтобы попытаться представить трехмерный тор с привычных нам позиций, следует провести абсолютно нереальный эксперимент: необходимо выбрать направления, взаимно перпендикулярные, – вверх, влево и вперед – и начать двигаться в любом из них по прямой. Через какое-то (конечное) время с противоположного направления мы вернемся в исходную точку. Такое геометрическое тело имеет принципиальное значение, если хотеть понять, что такое теорема Пуанкаре. Доказательство Перельмана сводится к обоснованию существования в трехмерном пространстве лишь одного односвязного компактного многообразия – 3-сферы, другие, как 3-тор, неодносвязные.
Долгий путь к истине Прошло более полувека, прежде чем появилось решение теоремы Пуанкаре для больших чем 3 размерностей. Стивен Смэйл (род. 1930), Джон Роберт Стэллингс (1935-2008), Эрик Кристофер Зиман (род. 1925) нашли решение для n, равного 5, 6 и равного или больше 7. Только в 1982 году Майкл Фридман (род. 1951) был удостоен высшей математической награды – Филдсовской премии – за доказательство теоремы Пуанкаре для более сложного случая: когда n=4.
В 2006 году эта награда - медаль Филдса - была присвоена русскому математику из Ленинграда. Григорий Яковлевич Перельман доказал теорему Пуанкаре для трехмерного многообразия и трёхмерной сферы. Получать награду он отказался.
