1: \begin{definition}

2: \label{def:cvf}

3: Let $(\M,\C)$ be a contact manifold. A diffeomorphism $F:\M\ra\M$ which preserves the contact distribution, i.e., $\T F(\C_p)=\C_{F(p)}$ for every $p\in \M$, where $\T F$ stands for the tangent map of $F$, is called a \emph{contact transformation}.

4: By a \emph{contact vector field} (\emph{CVF} in short) on $\M$ (or an \emph{infinitesimal symmetry} of $(\M,\C)$) we shall understand a smooth vector field $X\in\X(\M)$ preserving the contact distribution $\C$, i.e., 

5: $$[X,\C]\subset\C\ .$$

6: Equivalently, $X$ is a CVF if and only if its (local) flow $\A{t}$ consists of contact transformations (cf. Theorem~\ref{thm:flow_bracket}).  

7: \end{definition}