You are currently browsing the tag archive for the ‘syndetic sets’ 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).

Read the rest of this entry »