1: \begin{definition}

2: \label{def:poincare-map}

3: The same assumptions as in Theorem~\ref{thm:tran-time},

4: in particular assume $t_1 \ge \tau \cdot (n+1) = \omega$.

5: We define \emph{the transition map to the section $S$

6: after (at least) $\omega$} by

7: \begin{equation*}

8: P_{\ge \omega} : V \to S \subset C^n, \quad P_{\ge \omega}(x_0) := \varphi\left(t_{S}(x_0), x_0\right),

9: \end{equation*}

10: for $t_S$ defined as in Theorem~\ref{thm:tran-time}.

11: If  $V \subset S$, then the map $P_{\ge \omega}$

12: will be called \emph{the Poincar\'e return map on the section $S$

13: after $\omega$}.

14: \end{definition}

15: