Position and momentum space

In physics and geometry, there are two closely related vector spaces, usually three-dimensional but in general could be any finite number of dimensions. Position space (also real space or coordinate space) is the set of all position vectors r in space, and has dimensions of length. A position vector defines a point in space. If the position vector of a point particle varies with time it will trace out a path, the trajectory of a particle. Momentum space is the set of all momentum vectors p a physical system can have. The momentum vector of a particle corresponds to its motion, with units of −1. Mathematically, the duality between position and momentum is an example of Pontryagin duality. In particular, if a function is given in position space, f(r), then its Fourier transform obtains the function in momentum space, φ(p). Conversely, the inverse transform of a momentum space function is a position space function. These quantities and ideas transcend all of classical and quantum physics, and a physical system can be described using either the positions of the constituent particles, or their momenta, both formulations equivalently provide the same information about the system in consideration. Another quantity is useful to define in the context of waves. The wave vector k (or simply 'k-vector') has dimensions of reciprocal length, making it an analogue of angular frequency ω which has dimensions of reciprocal time. The set of all wave vectors is k-space. Usually r is more intuitive and simpler than k, though the converse can also be true, such as in solid-state physics. Quantum mechanics provides two fundamental examples of the duality between position and momentum, the Heisenberg uncertainty principle ΔxΔp ≥ ħ/2 stating that position and momentum cannot be simultaneously known to arbitrary precision, and the de Broglie relation p = ħk which states the momentum and wavevector of a free particle are proportional to each other. In this context, when it is unambiguous, the terms 'momentum' and 'wavevector' are used interchangeably. However, the de Broglie relation is not true in a crystal. Most often in Lagrangian mechanics, the Lagrangian L(q, dq/dt, t) is in configuration space, where q = (q1, q2,..., qn) is an n-tuple of the generalized coordinates. The Euler–Lagrange equations of motion are (One overdot indicates one time derivative). Introducing the definition of canonical momentum for each generalized coordinate