Гладкое расслоение
—
локально тривиальное расслоение
с гладкими функциями перехода.
Определение
Пусть
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. —
N. Y.
: 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,