Русская Википедия:Гомотопические группы
Гомотопи́ческие гру́ппы — инвариант топологических пространств, одно из основных понятий алгебраической топологии.
Неформально говоря, они классифицируют отображения из многомерных сфер в заданное топологическое пространство с точностью до непрерывной деформации. Несмотря на простоту определения, гомотопические группы очень сложны в вычислении, даже для сфер. Это отличает их от групп гомологий, которые проще считаются, но сложнее определяются. Простейшим частным случаем гомотопических групп является фундаментальная группа.
Определение
Пусть <math>X</math> — топологическое пространство, <math>x_0\in X</math>; <math>I^n\sub \R^n</math> — единичный куб, то есть <math>I^n=\{(t_1, t_2,\ldots, t_n): 0\leqslant t_i\leqslant 1\}</math>, и <math>\partial I^n</math> — граница этого куба, то есть множество точек куба, такое, что <math>t_i=0</math> или 1 для некоторого <math>i</math>. Множество гомотопических классов <math>[f]</math> непрерывных отображений <math>f\colon I^n\to X</math>, для которых <math>f(\partial I^n)=x_0\in X</math> обозначается <math>\pi_n(X,x_0)</math> (причём <math>\partial I^n</math> переходит в точку <math>x_0</math> при всех отображениях и гомотопиях). На этом множестве можно определить умножение элементов следующим образом:
- <math>[f][g]=[f*g]</math>,
где
- <math>f*g(t_1,t_2,\ldots t_n)=f(2t_1,t_2,\ldots t_n)</math>, если <math>0\leqslant t_1 \leqslant\frac{1}{2}</math>
- <math>f*g(t_1,t_2,\ldots t_n)=g(2t_1-1,t_2,\ldots t_n)</math>, если <math>\frac{1}{2}\leqslant t_1\leqslant 1</math>
Так как на границе куба <math>f=g=x_0</math>, то умножение определено корректно. Легко проверить, что <math>[f*g]</math> зависит только от гомотопического класса <math>[f]</math> и <math>[g]</math>. Это умножение удовлетворяет всем аксиомам группы. В случае <math>n=1</math> получается композиция замкнутых путей и, следовательно, <math>\pi_1(X,x_0)</math> является фундаментальной группой. При n>1 <math>\pi_n(X,x_0)</math> называются высшими гомотопическими группами.
Непрерывному отображению пространств <math>F\colon(X,x_0)\to(Y,y_0)</math> соответствует гомоморфизм <math>F_*\colon\pi_n(X,x_0)\to\pi_n(Y,y_0)</math>, причём это соответствие функториально, то есть произведению непрерывных отображений соответствует произведение гомоморфизмов гомотопических групп <math>(FG)_*=F_* G_*</math>, а тождественному отображению соответствует тождественный гомоморфизм <math>(id)_*=id_*</math>. Если отображение <math>F</math> гомотопно <math>G</math>, то <math>F_*=G_*</math>.
Зависимость от начальной точки
В отличие от гомологических групп <math>H_n(X)</math>, в определение гомотопических групп <math>\pi_n(X,x_0)</math> входит выделенная точка <math>x_0</math>. На самом деле в случае линейно связных пространств гомотопические группы не зависят от выбора точки, хотя в общем случае канонического изоморфизма не существует.
Абелевость высших гомотопических групп
В то время как фундаментальная группа <math>\pi_1(X,x_0)</math> в общем случае неабелева, для всех n>1 <math>\pi_n(X,x_0)</math> абелевы, то есть <math>[f][g]=[g][f]</math>. Наглядное доказательство этого факта можно видеть на следующем рисунке (светло-синие области отображаются в точку <math>x_0</math>):
Относительные гомотопические группы и точная гомотопическая последовательность
Относительные гомотопические группы определяются для пространства <math>X</math>, его подпространства <math>A\sub X</math> и выделенной точки <math>x_0\in X</math>. Пусть <math>I^n\sub\R^n</math> — единичный куб (<math>I^n=\{(t_1, t_2,\ldots t_n): 0\leqslant t_i\leqslant 1\}</math>), <math>\partial I^n</math> — граница этого куба, a <math>I^{n-1}\sub\partial I^n</math> — грань куба, определяемая уравнением <math>t_n=0</math>. Множество гомотопических классов <math>[f]</math> непрерывных отображений <math>f\colon I^n\to X</math>, для которых <math>f\colon I^{n-1}\to A</math> и на остальных гранях <math>f\colon\partial I^n \setminus \operatorname{Int}(I^{n-1})\to x_0</math> обозначается <math>\pi_n(X,A,x_0)</math> (причём <math>I^{n-1}</math> переходит в <math>A</math>, а <math>\partial I^n \setminus \operatorname{Int}(I^{n-1})</math> в точку <math>x_0</math> при всех отображениях и гомотопиях).
Точно так же, как и раньше, можно доказать, что при <math>n\geqslant 2</math> это множество образует группу — относительную гомотопическую группу порядка <math>n</math>. Если <math>n\geqslant 3</math>, то предыдущий рисунок доказывает, что <math>\pi_n(X,A,x_0)</math> — абелева. (При n=2 доказательство не проходит, так как точки <math>I^1=\{x:x_2=0\}</math> могут переходить в точки <math>A</math>, отличные от <math>x_0</math>.)
Вложение <math>i\colon(A,x_0)\to(X,x_0)</math> индуцирует гомоморфизм <math>i_*\colon\pi_n(A,x_0)\to\pi_n(X,x_0)</math>, а вложение <math>j\colon(X,x_0)\to(X,A,x_0)</math> (здесь <math>(X,x_0)</math> следует понимать как <math>(X,x_0,x_0)</math>), индуцирует гомоморфизм <math>j_*\colon\pi_n(X,x_0)\to\pi_n(X,A,x_0)</math>. Любой элемент <math>[f]\in\pi_n(X,A,x_0)</math> определяется отображением <math>f</math>, которое, в частности, переводит <math>I^{n-1}</math> в <math>A</math>, причём на <math>\partial I^{n-1}</math> f тождественно равно <math>x_0</math>, определяя элемент из <math>\pi_{n-1}(A,x_0)</math>. Таким образом мы получаем отображение <math>\partial \pi_n(X,A,x_0)\to\pi_{n-1}(A,x_0)</math>, которое является гомоморфизмом. Мы имеем следующую последовательность групп и гомоморфизмов:
- <math>\dots~{\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}~\dots </math>
Эта последовательность является точной, то есть образ любого гомоморфизма совпадает с ядром следующего гомоморфизма. Отсюда в случае, когда <math>\pi_n(X,x_0)=0</math> для всех <math>n\geqslant 1</math>, граничный гомоморфизм <math>\partial\colon\pi_{n+1}(X,A,x_0)\to\pi_n(A,x_0)</math> будет изоморфизмом.
История
Фундаментальная группа была введена создателем топологии Анри Пуанкаре, высшие гомотопические группы — Витольдом Гуревичем. Несмотря на простоту их определения, вычисление конкретных групп (даже для таких простых пространств, как многомерные сферы Sn (смотри гомотопические группы сфер) часто является очень трудной задачей, причём общие методы были получены только в середине XX века с появлением спектральных последовательностей.
Литература
- Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия: Методы и приложения. — Шаблон:М: Наука, 1979
- Рохлин В. А., Фукс Д. Б. Начальный курс топологии. Геометрические главы. — Шаблон:М: Наука, 1977
- Свитцер Р. М. Алгебраическая топология — гомотопии и гомологии. — Шаблон:М: Наука, 1985
- Спеньер Э. Алгебраическая топология. — Шаблон:М: Мир, 1971
- Фоменко А. Т., Фукс Д. Б. Курс гомотопической топологии. — Шаблон:М: Наука, 1989
