Гомотопия — математическое понятие, классифицирующее непрерывные деформации фигур; применяется к упругости материалов и квантовым полям.В топологии два отображения (например, пути или поверхности) гомотопны, если одно можно непрерывно продеформировать в другое без разрывов и склеек. Гомотопия изучает классы таких отображений и сохраняющиеся при деформациях инварианты. Важнейший пример — фундаментальная группа пространства: её элементы — классы замкнутых петель с операцией последовательного обхода. Если любую петлю можно стянуть в точку, пространство односвязно; в противном случае группа отражает наличие «дырок».
Анри Пуанкаре в статье «Analysis situs» (1895) ввёл фундаментальную группу и заложил основы гомотопической топологии. В 1930-х Витольд Гуревич определил высшие гомотопические группы. Дальнейшее развитие привело к теории Ж.-П. Серра, спектральным последовательностям, а в XXI веке — к гомотопической теории типов (В. Воеводский). Пуанкаре также сформулировал знаменитую гипотезу, доказанную Г. Перельманом с использованием потоков Риччи.
Петля в пространстве X — это отображение окружности S^1 → X. Две петли гомотопны, если одну можно непрерывно перевести в другую, сохраняя начальную точку. Композиция петель (прохождение первой, затем второй) задаёт структуру фундаментальной группы π_1(X). Если X стягиваемо (как диск), π_1 тривиальна; окружность имеет π_1(S^1) = Z; сфера S^2 — тривиальную π_1, но нетривиальную π_2. Вычисление гомотопических групп сфер — трудная задача, частично решаемая методами клеточных пространств и точных последовательностей.
Используется в компьютерной томографии для анализа формы органов, в робототехнике — для планирования траекторий без столкновений, в материаловедении — для классификации дефектов кристаллической решётки.
Гомотопические методы сыграли ключевую роль в доказательстве гипотезы Пуанкаре — утверждения, что трёхмерная сфера является единственным замкнутым трёхмерным многообразием, в котором любую петлю можно стянуть в точку.

















