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
    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
    0 references
    point-mapping theory
    0 references
    periodic points
    0 references
    perturbation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references