cd07bd1935773e46.tex
1: \begin{definition}
2: \begin{enumerate}
3: \item By Theorem 6.2.3 in \cite{KatHas}, there exists a neighborhood $O$ of $p$ and a coordinate chart $\phi: O \to \R^m$ such that $\phi(W^u_f(p) \cap O) \subset \R^k \oplus \{0\}$ and $\phi(W^s_f(p) \cap O) \subset \{0\} \oplus  \R^{m-k}$ where $m = \dim(M)$ and $k = \dim(W_f^u(p))$,  this construction is known as \emph{ ``adapted coordinates"} for the dynamics of $f$ near $p$.
4: \item In those coordinates there are obvious \emph{projections} from $\R^m$ into $\R^k$ or $\R^{m-k}$  that we denote by $\pi_1, \pi_2$ respectively.
5: \item In the decomposition $\R^k\oplus \R^{m-k}$, we say that $\R^k$ is \emph{ horizontal} and $\R^{m-k}$ is \emph{ vertical.}
6: \end{enumerate}
7:  \end{definition}
8: