The ergodic closing lemma for C^ 1 regular maps

From MaRDI portal
(Redirected from Publication:1201469)
The ergodic closing lemma for \(C^ 1\) regular maps





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\).











This page was built for publication: The ergodic closing lemma for \(C^ 1\) regular maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1201469)