Tangent bundle
This article defines a basic construct that makes sense on any differential manifold
View a complete list of basic constructs on differential manifolds
Contents
Definition
Loose definition
The tangent bundle of a differential manifold , denoted
, is defined as a differential manifold with a bundle map to
such that the fibre at every point is identified canonically with the tangent space at that point.
Functoriality
Further information: Tangent bundle functor
The tangent bundle to a differential manifold is associated to it functorially. Thus, if is a smooth map between differential manifolds, there is an induced map
.
Facts
Sections
A section of this bundle is termed a: vector field
The sheaf of sections is termed the: sheaf of derivations of a manifold
A section of a general vector bundle over a differential manifold is an association, to every point on the differential manifold, of a vector in the fibre vector space above it. Thus, a section of the tangent bundle associates, to every point, a tangent vector to it. Sections of the tangent bundle are thus the same as vector fields.
Dual bundle
The dual bundle to this vector bundle is termed the: cotangent bundle
Tensor powers of the tangent bundle
Tensor powers of the tangent bundle are also important for various purposes, and sections of these tensor powers are termed tensor fields.
Further, sections of the tensor power of the cotangent bundle are differential
-forms.
Tensors of mixed type
We are often interested in the vector bundles obtained by taking a tensor power with the tangent bundle repeated times and the cotangent bundle repeated
times. Sections of such a vector bundle are termed tensors of type
.