Smale mostrou, usando a famosa construção do horseshoe, que para difeomorfismos com pontos homoclínicos transversais existe um conjunto invariante compacto no qual a ação de algum iterado do difeomorfismo é topologicamente conjugado à ação do shift de Bernoulli . Mostraremos este resultado utilizando o shadowing lemma. Nossa técnica básica é a teoria de dicotomias exponenciais.

Smale showed, using the famous horseshoe construction, that for diffeomorphisms with transversal homoclinic points there is a compact invariant set on which the action of some iterate of the diffeomorphism is topologically conjurate to the action of the Bernoulli shift. We will show this statement using the s-called shadowing lemma. Our basic technique is the theory of erxponential dichotomies.