**Sub-Riemannian Manifolds**

When the cometric is degenerate, then it is not invertible. In this case, one does not have a Riemannian manifold, as one does not have a metric. However, the Hamiltonian still exists. In the case where the cometric is degenerate at every point *q* of the configuration space manifold *Q*, so that the rank of the cometric is less than the dimension of the manifold *Q*, one has a sub-Riemannian manifold.

The Hamiltonian in this case is known as a **sub-Riemannian Hamiltonian**. Every such Hamiltonian uniquely determines the cometric, and vice-versa. This implies that every sub-Riemannian manifold is uniquely determined by its sub-Riemannian Hamiltonian, and that the converse is true: every sub-Riemannian manifold has a unique sub-Riemannian Hamiltonian. The existence of sub-Riemannian geodesics is given by the Chow-Rashevskii theorem.

The continuous, real-valued Heisenberg group provides a simple example of a sub-Riemannian manifold. For the Heisenberg group, the Hamiltonian is given by

is not involved in the Hamiltonian.

Read more about this topic: Hamiltonian Mechanics