shadowing lemma
Let be a Riemannian manifold, a diffeomorphism
and a compact
hyperbolic set for . Then there is a neighborhood of such that for every there is an so that every -orbit (http://planetmath.org/PseudoOrbit) in is -shadowed by an orbit of .
Moreover, there is such that, if and if the pseudo-orbit is bi-infinite,then the shadowing orbit is unique; and if has a local product structure then the shadowing orbit is in .