Гладкое расслоение

Материал из testwiki
Перейти к навигации Перейти к поиску

Гладкое расслоение — локально тривиальное расслоение с гладкими функциями перехода.

Определение

Пусть Y и X — гладкие многообразия. Эпиморфизм многообразий π:Y→X называется гладким расслоением, если существуют: открытое покрытие (Ui) многообразия X, многообразие V и семейство диффеоморфизмов φi:π−1(Ui)→Ui×V, связанных гладкими функциями перехода ρij=φiφj−1 на (Ui∩Uj)×V.

Гладкое расслоение является локально тривиальным расслоением с пространством расслоения Y, базой X, типичным слоем V и атласом расслоения (Ui,φi,ρij). Замкнутое подмногообразие π−1(x)⊂Y называется типичным слоем гладкого расслоения в точке x∈X.

Примеры

Свойства

  • Пространство расслоения Y наделено координатным атласом (xμ,ya), где (ya) — координаты на V и (xμ) — координаты на X, функции перехода которых не зависят от координат (ya).
  • Для всякой точки x∈X существует открытая окрестность U и вложение s:U→Y, такое что π∘s=Id(U). Это отображение называется (локальным) сечением гладкого расслоения.

Вариации и обобщения

Литература

Шаблон:Rq