  ## Encyclopedia > Cotangent space

Article Content

# Cotangent space

The cotangent space at a point on a C manifold is the vector space of all infinitely differentiable functions which have the value 0 at this point, divided by the subspace of all functions which also have derivative 0 at this point.

A Riemannian metric on the manifold provides a (non-canonical) isomorphism between the cotantgent space and the tangent space. Thus, they have the same smoothness properties. However, many definitions are more natural on the cotangent bundle.

For example, if we have the cotangent bundle, it is easy to define a canonical symplectic form on it, as an exterior derivative of a one-form. The one form assigns to a vector in the tangent bundle to the cotangent bundle the application of the element in the cotangent bundle (a linear functional) to the projection of the vector into the tangent bundle (the differential of the projection of the cotangent bundle to the original manifold). Proving this form is, indeed, symplectic can be done by noting that being symplectic is a local property: since the cotangent bundle is locally trivial, this definition need only be checked on RnxRn. But there the one form defined is the sum of yidxi, and the differential is the canonical symplectic form, the sum of dyidxi.

If the original manifold was the set of possible positions, then the cotangent bundle can be thought of as the set of possible positions and speeds. For example, this is an easy way to describe the (non-trivial) phase space of a three dimensional pendulum: a weighted ball able to move along a sphere. The above sympletic construction, along with an appropriate energy function gives a complete determination of the physics of this system.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia
 Search over one million articles, find something about almost anything!

Featured Article
 Quioque, New York ... 11.9% have a female householder with no husband present, and 42.6% are non-families. 36.3% of all households are made up of individuals and 17.6% have someone living alone ...  