Let $X$ be a metrizable compact space and $T\colon X\to X$ a minimal homeomorphism, i.e.
$$ \mathrm{orb}(x) := \{T^kx:k\in\mathbb{Z}\}$$
is dense in $X$ for every $x \in X$. Assume that the following condition is met:


* There exist $\varepsilon\_n \to 0$ and $s\_n \in \mathbb{N}$ such that $d(T^{s\_n}x,x) < \varepsilon\_n$, for every $n \in \mathbb{N}$ and $x \in X$.


This implies that $X$ is equicontinuous? When $X$ is a subshift it is easy to see that this is true (beacuse, then, every point is periodic), but for a general system I couldn't prove it.



This almost periodic condition implies equicontinuity?
In general, such a homeomorphism is not necessary equicontinuous.


The existence of such examples on $X=\mathbb{T}^2$, i.e. the $2$-torus, can be shown as follows: let $\mathcal{O}$ be the $C^\infty$ closure of the set $\{h\circ R\_\alpha\circ h^{-1} : h\in\mathrm{Diff}^\infty(\mathbb{T^2}),\ \alpha\in\mathbb{T}^2\}$, where $\mathbb{T}^2$ denotes the $2$-torus and $R\_\alpha : \mathbb{T}^2\ni x\mapsto x+\alpha$.


Fathi and Herman showed in 


*Fathi, Albert; Herman, Michael R.*, Existence de difféomorphismes minimaux, Astérisque 49(1977), 37-59 (1978). [ZBL0374.58010](https://zbmath.org/?q=an:0374.58010). 


that there is residual set $C\_0\subset \mathcal{O}$ such that every diffeomorphism of $C\_0$ is minimal.


On the other hand, in 


*Kocsard, Alejandro; Koropecki, Andrés*, [**A mixing-like property and inexistence of invariant foliations for minimal diffeomorphisms of the 2-torus**](http://dx.doi.org/10.1090/S0002-9939-09-09903-1), Proc. Am. Math. Soc. 137, No. 10, 3379-3386 (2009). [ZBL1179.37063](https://zbmath.org/?q=an:1179.37063).


we proved the existence of a residual set $C\_1\subset\mathcal{O}$ such that any $f\in C\_1$ is weak-spreading, i.e. if $\tilde f\colon\mathbb{R}^2\to\mathbb{R}^2$ is a lift of $f$, then for every non-empty open set $U\subset\mathbb{R}^2$, every $\epsilon>0$ and any $R>0$, there exist $n>0$ and a ball $B\_R\subset\mathbb{R}^2$ of radius $R$ such that $\tilde f^n(U)$ is $\epsilon$-dense in $B\_R$. It is clear that every weak spreading homeomorphism is not equicontinuous.


Finally, one can show that rigid diffeomorphisms are generic in $\mathcal{O}$, i.e. there is residual set $C\_2\subset\mathcal{O}$ such that for every $f\in C\_2$ there is a sequence of natural numbers $n\_j\to \infty$ so that $f^{n\_j}\to id$ in the $C^0$ uniformly, when $j\to \infty$.


So, any diffeomorphism in $C\_0\cap C\_1\cap C\_2$ is minimal and rigid, but not equicontinuous.


