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

Материал из testwiki
Версия от 18:47, 4 августа 2023; imported>Baavrijn (Определение: Исправлена опечатка)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

Определение

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

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

Примеры

Свойства

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

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

Литература

Шаблон:Rq