A symplectic manifold is a pair , where
is a manifold and
is a symplectic form
on
.
The phase space
is a symplectic manifold. Near every point on a symplectic manifold, it is possible to find a set of local "Darboux coordinates" in which the symplectic form has the simple form
(Sjamaar 1996), where is a wedge product.