Topological dynamics

Topological dynamics studies continuous maps and their orbits on topological spaces. For a compact metric space $X$ and a continuous map $T:X\to X$, the pair $(X,T)$ is a compact Hausdorff topological dynamical system.

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.

A nonempty topological dynamical system $(Y,T)$ on a compact Hausdorff space is minimal if it has no proper nonempty closed forward-invariant subset. Equivalently, every forward orbit is dense in $Y$, because an orbit closure is closed and forward invariant. Minimality implies $T(Y)=Y$.

A point is minimal when its forward orbit closure is a minimal dynamical system. This does not require the point to be a fixed point. In a finite-alphabet full shift, minimal points are exactly the uniformly recurrent sequences.

A minimal subsystem is a nonempty closed forward-invariant subset on which the restricted dynamical system is a minimal dynamical system. Every continuous map on a nonempty compact Hausdorff space has one: intersections of chains of nonempty closed invariant sets remain nonempty by compactness, so the Zorn lemma gives a minimal member.

The forward orbit closure of $x$ under a continuous map $T$ is the closure of its forward orbit. It is a closed forward-invariant set. If $T$ is invertible, one may instead consider the two-sided orbit closure using $n\in \mathbb{Z}$; the convention should be specified. For a minimal point of an invertible compact system the two closures agree.

Symbolic dynamics studies dynamical systems whose points are sequences of symbols from an alphabet and whose evolution is a shift. A finite alphabet with the discrete topology gives its sequence space a product topology.

A two-sided sequence over a finite alphabet is uniformly recurrent if every finite word over an alphabet occurring in it occurs with bounded gaps. More precisely, for each such word some $M$ ensures that every length-$M$ interval contains a complete occurrence. This is equivalent to being a minimal point of the full shift: a finite cover of the orbit closure by preimages of a word's cylinder set bounds its return gaps; conversely, bounded gaps pass to all points of the orbit closure and make every forward orbit dense there. The property concerns finite words, not infinite integer intervals.

The two-sided full shift on a finite alphabet $[k]$ consists of all functions $z:\mathbb{Z}\to [k]$, with the product topology and the left shift. It is a compact metric space. A compatible metric isAgreement on increasingly large finite coordinate sets is equivalent to convergence in this topology. The metric above is compatible but is not invariant under the left shift.

On a two-sided full shift, the left shift is the homeomorphismIts inverse sends $z(j)$ to $z(j-1)$. On a one-sided sequence space, the same forward shift is generally not invertible.