Geometri diferensial

Bentuk-1 lokal pada "M" adalah "bentuk kontak" jika batasan turunan eksterior terhadap "H" adalah bentuk-dua non-degenerat dan dengan demikian menginduksi struktur simplektis pada "H" di tiap-tiap titik. Jika distribusi "H" dapat didefinisikan oleh bentuk-satu global formula_1, maka bentuk ini adalah kontak jika dan hanya jika bentuk berdimensi-puncak