Proximality

In a compact metric space with a continuous map $T$, points $x,y$ are proximal ifThis property is independent of the compatible metric. If $T$ is injective and $x\ne y$, arbitrarily small proximal distances must occur at arbitrarily large times, since each finite collection of distances is strictly positive. Proximal points need not be equal or have dense orbits.

If distinct points $x,y$ of a dynamical system on a compact metric space satisfy $d(T^{n}x,T^{n}y)\to 0$ in one compatible metric, no compatible metric can make $T$ an isometry. On a compact space, all compatible metrics give the same asymptotic-pair property by uniform continuity, whereas an isometry preserves the strictly positive distance between distinct points. In a full shift, a constant sequence and a sequence differing at just one coordinate converge to each other under forward shifts, proving this obstruction directly in the product topology.

For a compact metric space with a continuous map $T$, suppose $y$ is a minimal point and $x,y$ are proximal. Every neighborhood $U$ of $y$ admits arbitrarily large $n$ with $T^{n}x,T^{n}y\in U$. First shrink $U$ to an open neighborhood, then choose an open $V$ with $y\in V$ and $\overline{V}\subseteq U$. Minimality and compactness give a finite cover of the orbit closure of $y$ by $T^{-j}V$, $0\le j\le J$. Uniform continuity of these finitely many iterates turns a sufficiently close proximal encounter into a common visit to $U$ after at most $J$ more steps. If the proximal encounters occur only at bounded times, a zero distance at some time makes the two future orbits coincide, and minimality then gives arbitrarily late common visits. Thus injectivity is not needed for this general lemma.