гомотопия

# тег · @ автор · ! учёный

В топологии два отображения (например, пути или поверхности) гомотопны, если одно можно непрерывно продеформировать в другое без разрывов и склеек. Гомотопия изучает классы таких отображений и сохраняющиеся при деформациях инварианты. Важнейший пример — фундаментальная группа пространства: её элементы — классы замкнутых петель с операцией последовательного обхода. Если любую петлю можно стянуть в точку, пространство односвязно; в противном случае группа отражает наличие «дырок».

История

Основы заложил французский математик Анри Пуанкаре в конце XIX века, введя фундаментальную группу.

Как работает

Возьмём варёную макаронину: из неё можно сделать кольцо, но нельзя превратить в восьмёрку, не порвав. Каждая неразрывная форма соответствует гомотопическому классу. В пространстве все петли, которые можно непрерывно переделать друг в друга, лежат в одном классе. Считая классы, узнают, сколько разных способов обойти «дырки», и тем самым определяют топологию пространства.

💡 Гомотопические методы сыграли ключевую роль в доказательстве гипотезы Пуанкаре — утверждения, что трёхмерная сфера является единственным замкнутым трёхмерным многообразием, в котором любую петлю можно стянуть в точку.

Гомотопия — раздел алгебраической топологии, изучающий непрерывные деформации отображений. Два отображения f, g: X → Y гомотопны, если существует непрерывное отображение H: X × [0,1] → Y такое, что H(x,0) = f(x), H(x,1) = g(x). Классы гомотопии образуют множества, часто несущие структуру группы (гомотопические группы π_n(X)), и позволяют классифицировать пространства с точностью до гомотопической эквивалентности. Фундаментальная группа π_1 отражает одномерные дыры; высшие гомотопические группы π_n обобщают на многомерные «пустоты».

История

Анри Пуанкаре в статье «Analysis situs» (1895) ввёл фундаментальную группу и заложил основы гомотопической топологии. В 1930-х Витольд Гуревич определил высшие гомотопические группы. Дальнейшее развитие привело к теории Ж.-П. Серра, спектральным последовательностям, а в XXI веке — к гомотопической теории типов (В. Воеводский). Пуанкаре также сформулировал знаменитую гипотезу, доказанную Г. Перельманом с использованием потоков Риччи.

Как работает

Петля в пространстве X — это отображение окружности S^1 → X. Две петли гомотопны, если одну можно непрерывно перевести в другую, сохраняя начальную точку. Композиция петель (прохождение первой, затем второй) задаёт структуру фундаментальной группы π_1(X). Если X стягиваемо (как диск), π_1 тривиальна; окружность имеет π_1(S^1) = Z; сфера S^2 — тривиальную π_1, но нетривиальную π_2. Вычисление гомотопических групп сфер — трудная задача, частично решаемая методами клеточных пространств и точных последовательностей.

H: X \times [0,1] \to Y, \quad H(x,0)=f(x),\; H(x,1)=g(x)

H — гомотопия между отображениями f и g из пространства X в Y, непрерывное по обеим переменным отображение, такое что при t=0 совпадает с f(x), а при t=1 — с g(x). [0,1] — единичный интервал.

Открытые проблемы и интересные факты

Для многих n и k гомотопические группы сфер π_n(S^k) до сих пор неизвестны.; Гомотопическая классификация гладких структур на экзотических сферах (проблема Кервера) решена лишь частично.; Построение квантовых теорий поля с нетривиальной гомотопией конфигурационного пространства и интерпретация топологических эффектов (например, инстантонов) — активная область исследований.

💡 Термин «гомотопия» ввёл Пуанкаре, но изначально область называлась «Analysis situs»; современное название закрепилось в 1930-е годы.

Пока нет статей

гомотопия

История

Как работает

История

Как работает

История

Как работает

Открытые проблемы и интересные факты

Статьи по теме