The ergodic closing lemma for \(C^ 1\) regular maps (Q1201469): Difference between revisions

Let \(R^ 1(M()\) be the set of \(C^ 1\) maps on a closed \(C^ \infty\) manifold \(M\) whose derivative is of maximal rank at each point of \(M\). \(R^ 1(M)\) is endowed with the topology inherited from the set of \(C^ 1\) maps. In a recent work \textit{L. Wen} showed that for \(f\in R^ 1(M)\) and for \(p\) an \(f\) recurrent point of \(M\), for any neighborhood \({\mathcal U}\) of \(f\) and any neighborhood \(U\) of \(p\) there exists \(g\in{\mathcal U}\) such that \(g\) has a periodic point in \(U\). In order to state the result obtained in this paper let us define \(\Sigma(f)\) as the set of points \(x\in M\) such that for any neighborhood \({\mathcal U}\) of \(f\) and any \(\varepsilon>0\) there exists \(g\in{\mathcal U}\) and a periodic point \(y\) of \(g\) with period \(m\) such that: \[ g=f\quad\text{on M }\backslash\bigcup^ m_{j=0}\bigcup_{z\in f^{-1}(M)}B(z,\varepsilon) \] \[ d(f^ n(x),\;g^ n(y))\leq\varepsilon\quad\text{for }0\leq n\leq m. \] Then the essential result is the following: For every \(f\in R^ 1(M)\) the set \(\Sigma(f)\) is of full measure for any \(f\) invariant probability measure on \(M\).