What’s new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

# Tag Archive

You are currently browsing the tag archive for the ‘syndetic sets’ tag.

## 254A, Lecture 3: Minimal dynamical systems, recurrence, and the Stone-Čech compactification

13 January, 2008 in 254A - ergodic theory, math.DS, math.GN, math.LO | Tags: almost periodicity, lamplighter group, recurrence, Stone-Cech compactification, syndetic sets, ultrafilter | by Terence Tao | 53 comments

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 »

### Recent Comments

Sandeep Murthy on An elementary non-commutative…
Luqing Ye on 245A, Notes 2: The Lebesgue…
Frank on Soft analysis, hard analysis,…
andrescaicedo on Soft analysis, hard analysis,…
Richard Palais on Pythagoras’ theorem
The Coffee Stains in… on Does one have to be a genius t…
Benoît Régent-Kloeck… on (Ingrid Daubechies) Planning f…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
%anchor_text% on Books
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245A, Notes 2: The Lebesgue…
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 22, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8556474447250366, "perplexity_flag": "middle"}