Гладкое расслоение — локально тривиальное расслоение с гладкими функциями перехода.
Определение
Пусть
Y
{\displaystyle Y}
и
X
{\displaystyle X}
— гладкие многообразия . Эпиморфизм многообразий
π π -->
: : -->
Y
→ → -->
X
{\displaystyle \pi \colon Y\to X}
называется гладким расслоением , если существуют: открытое покрытие
(
U
i
)
{\displaystyle (U_{i})}
многообразия
X
{\displaystyle X}
, многообразие
V
{\displaystyle V}
и семейство диффеоморфизмов
φ φ -->
i
: : -->
π π -->
− − -->
1
(
U
i
)
→ → -->
U
i
× × -->
V
{\displaystyle \varphi _{i}\colon \pi ^{-1}(U_{i})\to U_{i}\times V}
, связанных гладкими функциями перехода
ρ ρ -->
i
j
=
φ φ -->
i
φ φ -->
j
− − -->
1
{\displaystyle \rho _{ij}=\varphi _{i}\varphi _{j}^{-1}}
на
(
U
i
∩ ∩ -->
U
j
)
× × -->
V
{\displaystyle (U_{i}\cap U_{j})\times V}
.
Гладкое расслоение является локально тривиальным расслоением с пространством расслоения
Y
{\displaystyle Y}
, базой
X
{\displaystyle X}
, типичным слоем
V
{\displaystyle V}
и атласом расслоения
(
U
i
,
φ φ -->
i
,
ρ ρ -->
i
j
)
{\displaystyle (U_{i},\;\varphi _{i},\;\rho _{ij})}
. Замкнутое подмногообразие
π π -->
− − -->
1
(
x
)
⊂ ⊂ -->
Y
{\displaystyle \pi ^{-1}(x)\subset Y}
называется типичным слоем гладкого расслоения в точке
x
∈ ∈ -->
X
{\displaystyle x\in X}
.
Примеры
Свойства
Пространство расслоения
Y
{\displaystyle Y}
наделено координатным атласом
(
x
μ μ -->
,
y
a
)
{\displaystyle (x^{\mu },\;y^{a})}
, где
(
y
a
)
{\displaystyle (y^{a})}
— координаты на
V
{\displaystyle V}
и
(
x
μ μ -->
)
{\displaystyle (x^{\mu })}
— координаты на
X
{\displaystyle X}
, функции перехода которых не зависят от координат
(
y
a
)
{\displaystyle (y^{a})}
.
Для всякой точки
x
∈ ∈ -->
X
{\displaystyle x\in X}
существует открытая окрестность
U
{\displaystyle U}
и вложение
s
: : -->
U
→ → -->
Y
{\displaystyle s\colon U\to Y}
, такое что
π π -->
∘ ∘ -->
s
=
I
d
(
U
)
{\displaystyle \pi \circ s=\mathrm {Id} \,(U)}
. Это отображение называется (локальным) сечением гладкого расслоения.
Вариации и обобщения
Литература
Greub W., Halperin S., Vanstone R. Connections, curvature and cohomology, vol. I—III. — New York: Academic Press, 1972—1976.
Кобаяси Ш., Номидзу К. Основы дифференциальной геометрии. — М. : Наука, 1981. — Т. 1. — 344 с.
Сарданашвили Г. А. Современные методы теории поля. 1. Геометрия и классические поля. — М. : УРСС, 1996. — 224 с. — ISBN 5-88417-087-4 . .
Sardanashvily, G. , Fibre bundles, jet manifolds and Lagrangian theory. Lectures for theoreticians,arXiv: 0908.1886