The \(C^1\) closing Lemma for generic \(C^1\) endomorphisms (Q619860)

The article deals with the set \(C^r(M)\), \(r \geq 1\), of \(C^r\)-endomorphisms of a compact \(m\)-dimensional manifold \(M\). The problem known as the closing lemma states that: given a nonwandering point \(x\) of a \(C^1\) map \(f\), is it possible to find a \(C^1\) perturbation \(g\) of \(f\) such that \(x\) is \(g\)-periodic? The authors prove the following results: (1) There exists a residual set \({\mathcal R} \subset C^1(M)\) such that given \(f \in {\mathcal R}\), a \(C^1\) neighborhood \({\mathcal U}\) of \(f\) and a nonwandering point \(x\) of \(f\), there exists a map \(g \in {\mathcal U}\) such that \(x\) is \(g\)-periodic. Moreover, there exists a residual subset \({\mathcal D}\) of \({\mathcal R}\) such that for every \(f \in {\mathcal D}\) the set of periodic points is dense in the nonwandering set. (2) There exists a residual subset \({\mathcal R}_r\) of \(C^r(M)\) such that, for every \(f \in {\mathcal R}_r\) and every \(z \in M\), the set of integers \(n \geq 0\) such that \(f^n(z) \in S_f\) contains at most \(m\) elements. (3) There exists a residual subset \({\mathcal P}_r\) of \(C^r(M)\) such that, for every \(f \in {\mathcal P}_r\) it holds that \(\bigcup_{n\geq 0} f^n(S_f)\) does not intersect the set of periodic points of \(f\). In (2) and (3) \(S_f\) stands for the set of singular points of a mapping \(f\).