Abstract
We prove a conjecture of J. Palis: Any diffeomorphism of a compact manifold can be $C^1$-approximated by a Morse-Smale diffeomorphism or by a diffeomorphism having a transverse homoclinic intersection.
We prove a conjecture of J. Palis: Any diffeomorphism of a compact manifold can be $C^1$-approximated by a Morse-Smale diffeomorphism or by a diffeomorphism having a transverse homoclinic intersection.