On homeomorphisms with the two-sided limit shadowing property (Q2252105)

The authors prove that the ``two-sided limit shadowing'' property is among the strongest known notions of pseudo-orbit shadowing properties. It implies shadowing, average shadowing, asymptotic average shadowing and specification properties. The authors also introduce a weaker notion that is called ``two-sided limit shadowing with a gap'' and prove that it implies shadowing and transitivity. It is shown that those two properties allow to characterize topological transitivity and mixing in a class of expansive homeomorphisms and hence they characterize transitive (mixing) shifts of finite type. We say that a double-infinite sequence \(\{ x_i \}_{i \in \mathbb{Z}}\) of points from a metric space \((X, d)\) is a two-sided limit pseudo-orbit for a homeomorphism \(f : X \to X\) if it satisfies \(d(f(x_i), x_{i+1}) \to 0\) as \(|i| \to \infty\). A sequence \(\{ x_i \}_{i \in \mathbb{Z}}\) of points from \(X\) is two-sided limit shadowed if there exists \(y \in X\) satisfying \(d(f^i(y), x_i) \to 0\) as \(|i| \to \infty\). In this situation we also say that \(y\) two-sided limit shadows \(\{ x_i \}_{i \in \mathbb{Z}}\) with respect to \(f\). Finally, we say that \(f\) has the two-sided limit shadowing property if every two-sided limit pseudo-orbit is two-sided limit shadowed. We say that a sequence \(\{ x_i \}_{i \in \mathbb{Z}}\) is two-sided limit shadowed with gap \(K \in \mathbb{Z}\) for \(f\) if there exists a point \(y \in X\) satisfying \(d(f^i(y), x_i) \to 0\) as \(i \to -\infty\), \(d(f^{K+i}(y), x_i) \to 0\) as \(i \to \infty\). For \(N \in \mathbb{N} \cup \{ 0 \}\) we say that \(f\) has the two-sided limit shadowing property with gap \(N\) if every two-sided limit pseudo-orbit of \(f\) is two-sided limit shadowed with gap \(K \in \mathbb{Z}\) with \(|K| \leq N\). We also say that \(f\) has the two-sided limit shadowing property with a gap if such an \(N \in \mathbb{N}\) exists. In this paper, the following results are obtained: Theorem A. If a homeomorphism \(f\) of a compact metric space \(X\) has the two-sided limit shadowing property with a gap, then it is transitive and has the shadowing property. Theorem B. If a homeomorphism of a compact metric space has the two-sided limit shadowing property then it is topologically mixing and has specification, average shadowing and asymptotic average shadowing. Theorem C. Let \(f\) be a transitive and expansive homeomorphism of a compact metric space \(X\). Then the following are equivalent: (1) \(f\) has the shadowing property (2) \(f\) has the limit shadowing property (3) \(f\) has the two-sided limit shadowing property with a gap. Theorem D. Let \(f\) be an expansive homeomorphism of a compact metric space \(X\). Then (1) \(f\) is transitive and has the shadowing property if and only if \(f\) has the two-sided limit shadowing property with a gap; (2) \(f\) is topologically mixing and has the shadowing property if and only if \(f\) has the two-sided limit shadowing property. Theorem E. Let \(X\) be a shift space. Then (1) \(X\) is a transitive shift of finite type if and only if \(\sigma : X \to X\) has the two-sided limit shadowing property with a gap; (2) \(X\) is topologically mixing shift of finite type if and only if \(\sigma : X \to X\) has the two-sided limit shadowing property.