Topology MOC

Vector bundle

A (real¹) vector bundle is a -fibre bundle #m/def/topology

where for every the fibre is a -dimensional vector space over and we have a local trivalization of such that each restricts to a linear isomorphism. Usually we denote vector bundles by the entire space where the projection onto the base space and the structure of a vector space on each fibre is understood.

Further terminology

• A Vector bundle morphism is a Bundle map which respects the linear structure. We can thus form the category .
• Many of the usual constructions on vector spaces carry over:
  • Direct sum of vector bundles
  • Tensor product of vector bundles
  • Hom vector bundle
  • Dual vector bundle

Examples

• The Tangent bundle for a manifold, as well as vector bundles obtained thence using the constructions above.

#state/develop | #lang/en | #SemBr