Vector Bundle (original) (raw)
Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology
Alphabetical Index New in MathWorld
A vector bundle is special class of fiber bundle in which the fiber is a vector space . Technically, a little more is required; namely, if
is a bundle with fiber
, to be a vector bundle, all of thefibers
for
need to have a coherent vector space structure. One way to say this is that the "trivializations"
, are fiber-for-fiber vector space isomorphisms.
A vector bundle is a total space along with a surjective map
to a base manifold
. Any fiber
is a vector space isomorphic to
.
The simplest nontrivial vector bundle is a line bundleon the circle, and is analogous to the Möbius strip.
One use for vector bundles is a generalization of vector functions. For instance, the tangent vectors of an -dimensional manifold are isomorphic to
at a point
in a coordinate chart. But the isomorphism with
depends on the choice of coordinate chart. Nearby
, the vector fields look like functions. To define vector fields on the whole manifold requires the tangent bundle, which is a special case of a vector bundle.
A bundle section of a vector bundle is a map
whose projection,
is the identity map on
. For instance, on a trivial bundle
, a section
corresponds to a function
by
.
Near every point in a vector bundle, there is a trivialization. The structure of the vector bundle, as in all bundles, is that it is locally trivial. In the case of a vector bundle, the transition functions between the trivializations take values in linear invertible transformations of the fiber.
Since the element zero in is fixed by any linear transformation, the zero section always exists. By "nontrivial section," it is meant that it is not the zero section.
There are several adjectives that can specify properties of a vector bundle. A complex vector bundle has a fiber that is a complex vector space. A real vector bundle has a fiber that is a real vector space, which is the default kind of vector bundle. A line bundle has a fiber that is one dimensional.
A continuous vector bundle is a manifold with a continuous projection map
. A smooth vector bundle is a smooth manifold
with a smooth projection
. Finally, a holomorphic vector bundle is a complex manifold
with a holomorphic projection
. In this last case, the fiber must be a complex vector space. So there could be a smooth complex vector bundle, but not a holomorphic real vector bundle.
Vector bundles can have metrics on their fibers, either Riemannian or Hermitian, and vector bundle connections.
See also
Bundle Rank, Fiber, Fiber Bundle, Hermitian Metric, K-Theory, Lie Algebroid, Linear Algebra, Principal Bundle, Riemannian Metric, Stable Equivalence, Tangent Bundle, Tangent Map, Trivial Bundle, Vector Bundle Connection, Vector Space, Whitney Sum Explore this topic in the MathWorld classroom
This entry contributed by Todd Rowland
Explore with Wolfram|Alpha
Cite this as:
Rowland, Todd. "Vector Bundle." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/VectorBundle.html