Formal Development
Given a manifold Q, a vector field X on Q (or equivalently, a section of the tangent bundle TQ) can be thought of as a function acting on the cotangent bundle, by the duality between the tangent and cotangent spaces. That is, define a function
such that
holds for all cotangent vectors p in . Here, is a vector in, the tangent space to the manifold Q at point q. The function is called the momentum function corresponding to X.
In local coordinates, the vector field X at point q may be written as
where the are the coordinate frame on TQ. The conjugate momentum then has the expression
where the are defined as the momentum functions corresponding to the vectors :
The together with the together form a coordinate system on the cotangent bundle ; these coordinates are called the canonical coordinates.
Read more about this topic: Canonical Coordinates
Famous quotes containing the words formal and/or development:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)