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

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

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

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

Содержание

Примеры

Касательные расслоения в общем случае не тривиальны.

Определения и первые следствия

Определение 1

Векторное расслоение — это локально тривиальное расслоение, у которого слой V{displaystyle V}

  является векторным пространством, снабжённым структурой группы Ли обратимых линейных преобразований V{displaystyle V} .

Определение 2

Вещественное векторное расслоение состоит из:

  1. топологических пространств X{displaystyle X}  (основного пространства) и E{displaystyle E}  (полного пространства)
  2. непрерывного отображения π:E→X{displaystyle pi colon Eto X}  (проекция расслоения)
  3. для любого x∈X{displaystyle xin X}  — структуры вещественного векторного пространства на слое π−1({x}){displaystyle pi ^{-1}({x})} 

причём для любой точки из X{displaystyle X}

  существует открытая окрестность U{displaystyle U} , натуральное число k{displaystyle k}  и гомеоморфизм

φ:U×Rk→π−1(U){displaystyle varphi colon Utimes mathbb {R} ^{k}rightarrow pi ^{-1}(U)} 

такой, что для любого x∈U{displaystyle xin U}

 ,

  • πφ(x,v)=x{displaystyle pi varphi (x,v)=x}  для всех векторов v{displaystyle v}  из Rk{displaystyle R^{k}}