A cotangent vector at a point of a smooth manifold
is a linear functional
on the tangent space
. Thus the cotangent space
at
is the dual vector space
The union of the cotangent spaces as
varies is the cotangent bundle
. A Riemannian metric
identifies tangent vectors and cotangent
vectors by the musical isomorphisms.