Let f be a diffeomorphism of the two sphere. In this note we prove that if the unstable manifold of a fixed point p forf accumulates on the stable manifold of p, then/can be approximated arbitrarily closely Cr, r> 1, such that they intersect. 1. The results. Let d be a distance on the two sphere S2 coming from a Riemannian metric. The stable inanifold of a point p is defined to be Ws(p,f) = {x S2: d(fnx,fnp) 0 as n o co}. The unstable mnanifold of p is the stable manifold for f-1, Wu(p,f)= WS(p,f-'). Let W`(p,f)-{p}= Ws(p,f)' and Wu(p,f)-{p}= Wu(p,f)'. A fixed point p is called a saddle point if the eigenvalues 2, ,u of the derivative Df(p) satisfy O , and p a fixed saddle point off such that W8(p, f )' nclosure WU(p, f) 0 0 . Then f can be approximated arbitrarily closely Cr byf' such thatf'(p)=p and WS(p,f')' n Wu (p, f )# O. COROLLARY. There is a residual subset (complement of a first category set) R of the set of all Cr diffeomorphisms, Diff r(S2), such that iff e R, p isa saddlefixedpoint off, and Ws(p,f )' nclosure Wu(p,f) $ 0 then Ws(p,f)' r) WU(p,f)$ QS The reason for restricting to S2 is to use the Jordan separation theorem. Therefore analogous results are true on the two disk and R2. In the case of the disk, the above theorem should prove useful to prove a conjecture of Smale in [6]. For this use it would be nice to prove the result assuming only that {p}$closure Ws(p,f) r\closure Wu(p,f). Next, I would hope the results would be true for periodic points but was unable to prove it. There are all sorts of related closing lemma conjectures. See [5]. Received by the editors February 24, 1973. AMS (MOS) subject classifications (1970). Primary 58F10. 1 This research was partially supported by the Organization of American States and the National Science Foundation, GP 19815. (a) American Mathematical Society 1973
Read full abstract