Степень отображения

Степень отображения — гомотопический инвариант непрерывного отображения между компактными многообразиями равной размерности.

В простейшем случае, для отображения из окружности в окружность $\phi :{𝕊}^1\to {𝕊}^1$ степень отображения можно определить как число оборотов точки $\phi (x)$ когда $x$ пробегает окружность.

Определения

Гомологическое

Пусть X и Y замкнутые связные ориентируемые многообразия равной размерности. Тогда степень непрерывного отображения $f:X\to Y$ определяется как целое число $\mathrm{deg}(f)$ такое, что

$f_{*}([X])=\mathrm{deg}(f)[Y].$

где $f_{*}$ обозначает индуцированный гомоморфизм между кольцами гомологий и $[X]$ обозначает фундаментальный класс многообразия $X$.

Через подсчёт ориентаций

Рассмотрим гладкое отображение $n$-мерных компактных связных ориентированных гладких многообразий $\phi :M_1^n\to M_2^n$.

Точка из $M_2^n$ называется регулярной, если у неё конечное число прообразов и в каждом из её прообразов отображение $\phi$ не вырождено (то есть невырожден дифференциал отображения в каждом из прообразов). Согласно лемме Сарда, почти все точки $M_2^n$ являются регулярными значениями $\phi$.

Припишем каждому прообразу регулярной точки число $+1$, если отображение $\phi$ в этой точке сохраняет ориентацию и $-1$ в противном случае. Тогда сумма чисел всех прообразов регулярной точки называется степенью отображения.

Применив лемму Сарда можно доказать, что степень отображения не зависит от выбора регулярной точки. Следовательно, данное определение корректно.

Свойства

• Степень отображения не изменяется при гомотопии (непрерывном изменении) отображения и, таким образом, является гомотопическим инвариантом отображения.