Векторное расслоение

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Векторным расслоением называется определённая геометрическая конструкция, соответствующая семейству векторных пространств, параметризованных другим пространством (например, может быть топологическим пространством, многообразием или алгебраической структурой): каждой точке пространства сопоставляется векторное пространство так, что их объединение образует пространство такого же типа, как и (топологическое пространство, многообразие или алгебраическую структуру и т. п.), называемое пространством векторного расслоения над . Само пространство называется базой расслоения.

Векторное расслоение является особым типом локально тривиальных расслоений, которые в свою очередь являются особым типом расслоений.

Обычно рассматривают векторные пространства над вещественными или комплексными числами. В таком случае векторные расслоения называются соответственно вещественными или комплексными. Комплексные векторные расслоения можно рассматривать как вещественные с дополнительно введённой структурой.

  • Простейший пример — тривиальное расслоение, которое имеет вид прямого произведения , где  — топологическое пространство (база расслоения), а — векторное пространство.
  • Более сложный пример — это касательное расслоение гладкого многообразия: каждой точке на многообразии сопоставляется касательное пространство к многообразию в этой точке. Касательное расслоение в общем случае может быть нетривиальным.
  • Ещё один пример нетривиального расслоения — лента Мёбиуса. Начинаем с тривиального расслоения размерности 1 над отрезком и склеим прямые на его концах по правилу . Это пример векторного расслоения, на котором нельзя задать ориентацию.

Определения

[править | править код]

Векторное расслоение — это локально тривиальное расслоение, у которого слой является векторным пространством, со структурной группой обратимых линейных преобразований .

Связанные определения

[править | править код]
  • Подрасслоением U векторного расслоения V на топологическом пространстве X называется такая совокупность линейных подпространств , , которая сама имеет структуру векторного расслоения.
  • Линейным расслоением называется векторное расслоение ранга 1.

Морфизм из векторного расслоения в векторное расслоение задается парой непрерывных отображений и таких, что

  • для любого , отображение индуцированное  — линейное отображение векторных пространств.

Заметим, что определяется (так как  — сюръекция); в таком случае говорят, что покрывает .

Класс всех векторных расслоений вместе с морфизмами расслоений образует категорию. Ограничиваясь векторными расслоениями, являющимися гладкими многообразиями, и гладкими морфизмами расслоений, мы получим категорию гладких векторных расслоений. Морфизмы векторных расслоений — частный случай отображения расслоений между локально тривиальными расслоениями, их часто называют гомоморфизмом (векторных) расслоений.

Гомоморфизм расслоений из в вместе с обратным гомоморфизмом называется изоморфизмом (векторных) расслоений. В таком случае расслоения и называют изоморфными. Изоморфизм векторного расслоения (ранга ) над на тривиальное расслоение (ранга над ) называется тривиализацией , при этом называют тривиальным (или тривиализуемым). Из определения векторного расслоения видно, что любое векторное расслоение локально тривиально.

Операции над расслоениями

[править | править код]

Большинство операций над векторными пространствами могут быть продолжены на векторные расслоения, выполняясь поточечно.

Например, если  — векторное расслоение на , то существует расслоение на , называемое сопряжённым расслоением, слой которого в точке  — это сопряженное векторное пространство . Формально можно определить как множество пар , где и . Сопряженное расслоение локально тривиально.

Существует много функториальных операций, выполняемых над парами векторных пространств (над одним полем). Они напрямую продолжаются на пары векторных расслоений на (над заданным полем). Вот несколько примеров.

  • Сумма Уитни, или расслоение прямой суммы и , — это векторное расслоение на , слой которого в точке является прямой суммой векторных пространств и .
  • Расслоение тензорного произведения определяется аналогично, используя поточечные тензорные произведения векторных пространств.
  • Расслоение гомоморфизмов (hom-bundle)  — это векторное расслоение, слой которого в точке  — пространство линейных отображений из в (часто обозначаемое или ). Это расслоение полезно, потому что существует биекция между гомоморфизмами векторных расслоений из в на и частями на .
  • Мищенко А.С. Векторные расслоения и их применения. — М.: Наука. Глав. ред. физ.-мат. лит., 1984. — 208 с.
  • Jurgen Jost. Riemannian Geometry and Geometric Analysis — (2002) Springer-Verlag, Berlinб ISBN 3-540-42627-2 — See section 1.5.
  • Ralph Abraham[англ.], Jerrold E. Marsden. Foundations of Mechanics, — (1978) Benjamin-Cummings, Londonб ISBN 0-8053-0102-X — See section 1.5.