Stability theorems in pointwise dynamics (Q2676966)

The authors prove variants of the stability theorem in pointwise dynamics. More precisely, let \(f\) be a homeomorphism on a compact metric space \(X\), and \(\mu\) be a Borel measure on \(X\). They first introduce some notions of stability in pointwise setting as follows. A point \(x \in X\) is said to be a GH-stable point of \(f\) if for every \(\epsilon >0\) there exists a \(\delta >0\) such that for every homeomorphism \(g\) on \(Y\) satisfying \(d_{GH^0}(f,g)< \delta\) there exists an \(\epsilon\)-isometry \(j: Y \rightarrow X\) such that for each \(y \in j^{-1}(x)\), there exists a continuous map \(h : \overline{\mathcal{O}_g(y)} \rightarrow X\) satisfying \(d(h(z),j(z)) < \epsilon\) for each \(z \in \overline{\mathcal{O}_g(y)}\) and \(f \circ h = h \circ g\). A point \(x \in X\) is said to be \(\mu\)-topologically stable point of \(f\) if for every \(\epsilon >0\) there exists a constant \(\delta >0\) such that for every homeomorphism \(g\) satisfying \(d_{C^0}(f,g)\leq \delta\), there exists an upper semi-continuous compact valued map \(H: \overline{\mathcal{O}_g(x)} \rightarrow 2^X\) with a measurable domain such that: \begin{itemize} \item[(i)] \(\mu (H(z)) =0\) for each \(z \in B(z,\frac{\delta}{4}) \cap \overline{\mathcal{O}_g(x)}\); \item[(ii)] \(d(H,Id) \leq \epsilon\); \item[(iii)] \(f \circ H = H \circ g\). \end{itemize} Additionally, \(x\) is said to be a strong \(\mu\)-topologically stable point of \(f\) if there exists a Borelian \(B \subset X\) with \(\mu (X \setminus B) = 0\) such that: \begin{itemize} \item[(iv)] \(\mu(X \setminus \mathrm{Dom}(H)) \leq \mu (X \setminus U)\) where \(U = B \cap B(x,\delta) \cap \overline{\mathcal{O}_g(x)}\). \end{itemize} The following theorems are proved. {Theorem 1.} Let \(f\) be a homeomorphism on a compact metric space \(X\). If \(x \in X\) is a minimally expansive, shadowable point of \(f\), then \(x\) is a topologically stable point and a GH-stable point of \(f\). {Theorem 2.} Let \(f\) be a homeomorphism on a compact metric space \(X\) and \(\mu\) be a Borel measure on \(X\). If \(x \in X\) is a \(\mu\)-uniformly expansive point of \(f\), then it is a \(\mu\)-topologically stable point of \(f\). Moreover, if \(x\) is also a \(\mu\)-shadowable point of \(f\), then it is a strong \(\mu\)-topologically stable point of \(f\).