Shadowing property of non-invertible maps with hyperbolic measures (Q1304938)

Using a version of the Shadowing Lemma the author proves the following theorem and shows its consequences. \(M\) is a smooth closed manifold. Theorem A: Let \( f:M \rightarrow M\) be a \(C^{1+\alpha}\) map (\(\alpha > 0\)). Suppose that \(f\) has a non-atomic ergodic hyperbolic measure. Then there exists a hyperbolic horseshoe of \(f\), and the topological entropy of \(f\), \(h(f)\), is positive.