You are currently browsing the tag archive for the ‘recurrence’ tag.

We now begin the study of recurrence in topological dynamical systems $(X, {\mathcal F}, T)$ – how often a non-empty open set U in X returns to intersect itself, or how often a point x in X returns to be close to itself. Not every set or point needs to return to itself; consider for instance what happens to the shift $x \mapsto x+1$ on the compactified integers $\{-\infty\} \cup {\Bbb Z} \cup \{+\infty\}$. Nevertheless, we can always show that at least one set (from any open cover) returns to itself:

Theorem 1. (Simple recurrence in open covers) Let $(X,{\mathcal F},T)$ be a topological dynamical system, and let $(U_\alpha)_{\alpha \in A}$ be an open cover of X. Then there exists an open set $U_\alpha$ in this cover such that $U_\alpha \cap T^n U_\alpha \neq \emptyset$ for infinitely many n.

Proof. By compactness of X, we can refine the open cover to a finite subcover. Now consider an orbit $T^{\Bbb Z} x = \{ T^n x: n \in {\Bbb Z} \}$ of some arbitrarily chosen point $x \in X$. By the infinite pigeonhole principle, one of the sets $U_\alpha$ must contain an infinite number of the points $T^n x$ counting multiplicity; in other words, the recurrence set $S := \{ n: T^n x \in U_\alpha \}$ is infinite. Letting $n_0$ be an arbitrary element of S, we thus conclude that $U_\alpha \cap T^{n_0-n} U_\alpha$ contains $T^{n_0} x$ for every $n \in S$, and the claim follows. $\Box$

Exercise 1. Conversely, use Theorem 1 to deduce the infinite pigeonhole principle (i.e. that whenever ${\Bbb Z}$ is coloured into finitely many colours, one of the colour classes is infinite). Hint: look at the orbit closure of c inside $A^{\Bbb Z}$, where A is the set of colours and $c: {\Bbb Z} \to A$ is the colouring function.) $\diamond$

Now we turn from recurrence of sets to recurrence of individual points, which is a somewhat more difficult, and highlights the role of minimal dynamical systems (as introduced in the previous lecture) in the theory. We will approach the subject from two (largely equivalent) approaches, the first one being the more traditional “epsilon and delta” approach, and the second using the Stone-Čech compactification $\beta {\Bbb Z}$ of the integers (i.e. ultrafilters).

 Anonymous on Polymath15, ninth thread: goin… Anonymous on Polymath15, ninth thread: goin… geepee on The blue-eyed islanders puzzle… Anonymous on Polymath15, ninth thread: goin… Jim H Adams on Expansion in finite simple gro… Anonymous on Heat flow and zeroes of polyno… timobock on 245B, Notes 11: The strong and… Don'tknow on Open thread for mathematicians… Don'tknow on Open thread for mathematicians… Alexander Davis on The Dantzig selector: Statisti… Covering and Plünnec… on An entropy Plünnecke-Ruzsa… michaelmross on The Collatz conjecture, Little… Vincent on The Collatz conjecture, Little… juststudent on The Collatz conjecture, Little… Terence Tao on Polymath15, ninth thread: goin…