The ergodic closing lemma for \(C^ 1\) regular maps (Q1201469): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: Wikidata QID (P12): Q124802511, #quickstatements; #temporary_batch_1712272666262 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124802511 / rank | |||
Normal rank |
Revision as of 00:44, 5 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The ergodic closing lemma for \(C^ 1\) regular maps |
scientific article |
Statements
The ergodic closing lemma for \(C^ 1\) regular maps (English)
0 references
17 January 1993
0 references
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\).
0 references
point-mapping theory
0 references
periodic points
0 references
perturbation
0 references