transition map, shadowing lemma, normally hyperbolic invariant manifolds