function math h p ker alpha p subset p math local form ''m'' ''contact form'' restriction exterior derivative ''h'' non degenerate two form thus induces symplectic structure ''h'' sub ''p'' sub point distribution ''h'' defined global one form math alpha math form contact top dimensional form math alpha wedge alpha n math volume form ''m'' ie vanish anywhere contact analogue darboux theorem holds contact structures odd dimensional manifold locally isomorphic brought
Formal science Mathematics Differential Geometry