Погружение
Материал из Википедии — свободной энциклопедии
Погружение или иммерсия — отображение одного топологического пространства в другое, при котором каждая точка в X имеет окрестность U, которую f гомеоморфно отображает на f(U).
Это понятие применяется главным образом к отображению многообразий, где часто дополнительно требуется еще выполнение условия локальной плоскости. Последнее условие автоматически выполнено, если многообразия X и Y являются дифференцируемыми, и матрица Якоби отображения f имеет в каждой точке максимальный ранг, равный размерности X.
[править] Классификация погружений
Задача классификации погружений одного многообразия в другое с точностью до так называемой регулярной гомотопии сведена к чисто гомотопической задаче. В дифференцируемом случае, гомотопия называется регулярной, если матрица Якоби имеет максимальный ранг при каждом t и непрерывно зависела от t. Дифференциал
погружения определяет послойный мономорфизм касательного расслоения X в касательное расслоение Y. Регулярная гомотопия определяет гомотопию таких мономорфизмов. Оказывается, что этим устанавливается биекция между классами регулярных гомотопий и гомотопическими классами мономорфизмов расслоений.
Задача погружения в евклидовы пространства сводится к задаче гомотопической классификации погружений в многообразия Штифеля . Например, так как
, то имеется только один класс погружений сферы S2 в
, так что стандартное вложение регулярно гомотопно своему зеркальному отражению (т.е. сферу можно «регулярно вывернуть наизнанку», см. парадокс Смейла). Так как
, то имеется счётное число классов погружений окружности в плоскость, а т. к. расслоение Штифеля над S2 гомеоморфно проективному пространству
и
, то имеется только два класса погружений S1 в S2.