The closure of periodic orbits in the Gromov-Hausdorff space (Q2315337)

For \(\Delta>0\) a \(\Delta\)-isometry between metric spaces \((X,d_X)\) and \((Y,d_Y)\) is a map \(i: X\to Y\) with the property that \(\max\{d_H(i(X),Y), \sup_{x,x'\in X}\vert d_Y(f(x),f(x'))-d_X(x,x')\vert\}<\Delta,\) where \(d_H\) denotes the usual Hausdorff distance. The \(C^0\) Gromov-Hausdorff distance between maps \(f: X\to X\) and \(g: Y\to Y\) is then defined by \(d_{GH^0}(f,g) = \inf\{\Delta>0\mid \exists{} \Delta\text{-isometries } i: X\to Y, j: Y\to X \text{ such that }d_{C^0}(g\circ i,i\circ f)<\Delta \text{ and }d_{C^0}(j\circ g,f\circ j)<\Delta\}.\) \textit{R. Cubas} [Properties of a stable GH homeomorphism. Uberlândia: Federal University of Uberlândia (MSc Dissertation) (2018)] showed that any continuous transitive map can be \(C^0\) Gromov-Hausdorff approximated by periodic orbits. The converse of this result does not hold in general: For example, the identity on the circle can be \(C^0\) Gromov-Hausdorff approximated by periodic orbits. Here a form of converse is found nonetheless, showing that if the \(C^0\) Gromov-Hausdorff approximating sequence of periodic orbits is converging more quickly than the corresponding periods, then the approximated map is transitive.