Гомотопические группы

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Гомотопи́ческие гру́ппы — одно из основных понятий алгебраической топологии.

Содержание

[править] Определение

Пусть X — топологическое пространство, x_0\in X; I^n\sub \R^n — единичный куб (I^n=\{(t_1, t_2,\ldots t_n): 0\leqslant t_n\leqslant 1\}, \partial I^n — граница этого куба, то есть множество точек куба такое, что для некоторого i ti равен 0 или 1. Множество гомотопических классов [f] непрерывных отображений f\colon I^n\to X, для которых f(\partial I^n)=x_0\in X обозначается πn(X,x0) (причём \partial I^n переходит в точку x0 при всех отображениях и гомотопиях). На этом множестве можно определить умножение элементов следующим образом:

[f][g] = [f * g], где

f*g(t_1,t_2,\ldots t_n)=f(2t_1,t_2,\ldots t_n), если 0\leqslant t_1 \leqslant\frac{1}{2}

f*g(t_1,t_2,\ldots t_n)=g(2t_1-1,t_2,\ldots t_n), если \frac{1}{2}\leqslant t_1\leqslant 1

Так как на границе куба f = g = x0, то умножение определено корректно. Легко проверить, что [f * g] зависит только от гомотопического класса [f] и [g]. Это умножение удовлетворяет всем аксиомам группы. В случае n = 1 мы имеем общеизвестное умножение замкнутых путей и, следовательно, π1(X,x0) является фундаментальной группой. При n>1 πn(X,x0) называются высшими гомотопическими группами.

Непрерывному отображению пространств F\colon(X,x_0)\to(Y,y_0) сооветствует гомоморфизм F_*\colon\pi_n(X,x_0)\to\pi_n(Y,y_0), причём это соответствие, как говорят, функториально, то есть произведению непрерывных отображений соответствует произведение гомоморфизмов гомотопических групп (FG) * = F * G * , а тождественному отображению соответствует тождественный гомоморфизм (id) * = id * . Если отображение F гомотопно G, то F * = G * .

[править] Зависимость от начальной точки

В отличие от гомологических групп Hn(X) в определение гомотопических групп πn(X,x0) входит выделенная точка x0. На самом деле в случае линейно связных пространств эти группы изоморфны, хотя в общем случае канонического изоморфизма не существует.

[править] Абелевость высших гомотопических групп

В то время как фундаментальная группа π1(X,x0) в общем случае неабелева, для всех n>1 πn(X,x0) абелевы, то есть [f][g] = [g][f]. Наглядное доказательство этого факта можно видеть на следующем рисунке (светло-синие области отображаются в точку x0):

Абелевость высших гомотопических групп

[править] Относительные гомотопические группы и точная гомотопическая последовательность

Относительные гомотопические группы определяются для пространства X, его подпространства A\sub X и выделенной точки x_0\in X. Пусть I^n\sub\R^n — единичный куб (I^n=\{(t_1, t_2,\ldots t_n): 0\leqslant t_n\leqslant 1\}), \partial I^n — граница этого куба, a I^{n-1}\sub\partial I^n - грань куба, определяемая уравнением xn = 0. Множество гомотопических классов [f] непрерывных отображений f\colon I^n\to X, для которых f\colon I^{n-1}\to A и на остальных гранях f\colon\partial I^n \setminus \operatorname{Int}(I^{n-1})\to x_0 обозначается πn(X,A,x0) (причём In − 1 переходит в A, а \partial I^n \setminus \operatorname{Int}(I^{n-1}) в точку x0 при всех отображениях и гомотопиях).

Точно так же, как и раньше можно доказать что при n\geqslant 2 это множество образует группу — относительную гомотопическую группу порядка n. Если n\geqslant 3 то предыдущий рисунок доказывает, что πn(X,A,x0) — абелева. (При n=2 доказательство не проходит, так как точки I1 = {x:x2 = 0} могут переходить в точки A, отличные от x0).

Вложение i\colon(A,x_0)\to(X,x_0) индуцирует гомоморфизм i_*\colon\pi_n(A,x_0\to\pi_n(X,x_0), а вложение j\colon(X,x_0)\to(X,A,x_0) (здесь (X,x0) следует понимать как (X,x0,x0)), индуцирует гомоморфизм j_*\colon\pi_n(X,x_0)\to\pi_n(X,A,x_0). Любой элемент [f]\in\pi_n(X,A,x_0) определяется отображением f, которое, в частности, переводит In − 1 в A, причём на \partial I^{n-1} f тождественно равно x0, определяя элемент из πn − 1(A,x0). Таким образом мы получаем отображение \partial \pi_n(X,A,x_0)\to\pi_{n-1}(A,x_0), которое является гомоморфизмом. Мы имеем следующую последовательность групп и гомоморфизмов:
...{\longrightarrow}\pi_n(A,x_0)\stackrel{i_{*n}}{\longrightarrow}\pi_n(X,x_0)\stackrel{j_{*n}}{\longrightarrow}\pi_n(X,A,x_0)\stackrel{\partial_n}{\longrightarrow}\pi_{n-1}(A,x_0){\longrightarrow}~...

Эта последовательность является точной, то есть образ любого гомоморфизма совпадает с ядром следующего гомоморфизма. Отсюда в случае, когда πn(X,x0) = 0 для всех n\geqslant 1, граничный гомоморфизм \partial\colon\pi_{n+1}(X,A,x_0)\to\pi_n(A,x_0) будет изоморфизмом.

[править] История

Фундаментальная группа была введена создателем топологии А. Пуанкаре, высшие гомотопические группы — В. Гуревичем. Несмотря на простоту их определения, вычисление конкретных групп (даже для таких простых пространств, как сферы Sn) часто является очень трудной задачей, причём более-менее общие методы были получены только начиная с середины XX века.

[править] См. также

[править] Литература

  • Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. — М.: Наука, 1979
  • Рохлин В. А., Фукс Д. Б. Начальный курс топологии. Геометрические главы. — М.: Наука, 1977
  • Свитцер Р. М. Алгебраическая топология — гомотопии и гомологии. — М.: Наука, 1985
  • Спеньер Э. Алгебраическая топология. — М.: Мир, 1971
  • Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — М.: Наука, 1989
Источник — «http://ru.wikipedia.org/wiki/%D0%93%D0%BE%D0%BC%D0%BE%D1%82%D0%BE%D0%BF%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B5_%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D1%8B»
На других языках