Reeb Vector Field
There exists a unique vector field on such that The vector field is called the Reeb vector field determined by . Proof.
Claim
The flow of R preserves the contact form, i.e., if is the isotopy generated by R, then .
Contactomorphism
A contactomorphism is a diffeomorphism f of a contact manifold which preserves the contact structure
Symplectization
Let be a contact manifold with a contact form . Let , and let , , be the projection. Then is a symplectic form on , where is a coordinate on . And we call the symplectization of .