Random \(C^{0}\) homeomorphism perturbations of hyperbolic sets (Q2267741): Difference between revisions

Let \(M\) be a \(C^{\infty}\) Riemannian manifold without boundary, \(O\subset M\) an open set with compact closure and \(f:O\to M\) a \(C^1\) diffeomorphism onto its image. A compact set \(\Lambda\subset O\) is called a hyperbolic set of \(f\) if \(f\left(\Lambda\right) =\Lambda\) and there is a continuous \(Tf\)-invariant splitting \[ T_{\Lambda}M=E^s\oplus E^u \] into stable and unstable distributions. Let \(H\left( O,M\right)\) be a space of \(C^0\) maps \(g:O\to M\) which are homeomorphisms from \(O\) onto its images \(g\left( O\right)\) and endow it with the usual \(C^0\)-topology. Let \(\mathcal U\left( f\right)\) be a neighbourhood of \(f\) in \(H\left( O,M\right)\). Put \[ \Omega:=\mathcal U\left( f\right) ^{\mathbb Z} \] and endow it with the metric \[ d\left(\omega ,\omega^{\prime}\right) :=\sup_{n\in\mathbb Z}\left( g_n\left(\omega\right) ,g_n\left(\omega^{\prime}\right)\right) ,\;\;\omega ,\omega^{\prime}\in\Omega \] where \(\omega =\left(\dots,g_{-1}\left(\omega\right) ,g_0\left(\omega\right) ,g_1\left(\omega\right) ,\dots\right)\), and \[ d\left( g,g^{\prime}\right) :=\sup_{x\in O}d\left( g\left( x\right),g^{\prime}\left( x\right)\right),\;\;g,g^{\prime}\in\mathcal U\left( f\right). \] Denote by \(\tau:\Omega\to\Omega\) the left shift operator. For \(\omega\in\Omega\), put \[ g^n_{\omega}= g_{n-1}\left(\omega\right)\circ\dots\circ g_1\left(\omega\right)\circ g_0\left(\omega\right)\;\;\text{ for } n>0, \] \[ g^n_{\omega}= g_n\left(\omega\right) ^{-1}\circ\dots\circ g_{-2}\left(\omega\right) ^{-1}\circ g_{-1}\left(\omega\right) ^{-1} \;\;\text{ for } n<0 \] and \[ g^0_{\omega}= \text{id}. \] The main result of the paper is as follows: Let \(\Lambda\) be a hyperbolic set of \(f\). Then for any \(\varepsilon >0\), there is a neighbourhood \(\mathcal U\left( f\right)\) of \(f\) in \(H\left( O,M\right)\) such that there exist a family of compact sets \(\left\{\Lambda _{\omega}\right\}_{\omega\in\Omega}\) and a family of surjective continuous maps \(\left\{ h_{\omega}:\Lambda _{\omega}\to\Lambda\right\}_{\omega\in\Omega}\) with the following properties: (1) \(d\left( h_{\omega}, \text{id}\right) <\varepsilon\) for any \(\omega \in\Omega\). (2) For any \(\omega\in\Omega\), \(g_0\left(\omega\right)\left(\Lambda_{\omega}\right)=\Lambda_{\tau\omega}\), and \(f\circ h_{\omega}=h_{\tau\omega}\circ g_0\left(\omega\right)\). (3) With respect to the Hausdorff metric of compact sets of \(M\), \(\Lambda _{\omega}\) depends continuously on \(\omega\in\Omega\). Put \(\overline{\Lambda}:=\bigcup _{\omega\in\Omega}\left\{\omega\right\}\times\Lambda _{\omega}\). Then \[ \overline{h}:\overline{\Lambda}\ni\left(\omega ,x\right)\mapsto h_{\omega}\left( x\right)\in\Lambda \] is continuous.