Partitions of central sets via dynamical systems - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T04:55:48Z http://mathoverflow.net/feeds/question/120508 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120508/partitions-of-central-sets-via-dynamical-systems Partitions of central sets via dynamical systems alexod 2013-02-01T09:35:08Z 2013-02-01T12:20:23Z <p>In the book "Recurrence in Ergodic Theory and Combinatorial Number Theory", 1981, Furstenberg introduced the notion of <em>central sets</em>.</p> <p>He proved in Theorem 8.8 that in each finite partition of $\mathbb{N}$, $\mathbb{N}=B_1 \cup B_2 \cup \dots \cup B_q$ one of the sets $B_j$ contains a central set. Then he states without proof that the same is true for partitions of central sets and that one can prove this "along the same lines" as Theorem 8.8 (p. 163).</p> <p>I know that this fact follows immediately from the characterization of central sets by minimal idempotent ultrafilters. However, this is obviously not the proof that Furstenberg had in mind 1981 as this characterization was not available then. Thus my question:</p> <p>How can one prove in the fashion of Theorem 8.8, i.e. using only tools recurrence in dynamical systems, that for each finite partition of a central set $S$, $S=B_1 \cup B_2 \cup \dots \cup B_q$ one of the $B_j$ contains a set that is again central?</p> <hr> <p>For the sake of reference I include the necessary definitions and the proof of Theorem 8.8 below. </p> <p>Let $(X,T)$ be a dynamical system. $x_1,x_2\in X$ are <em>proximal</em> if for some sequence $n_k\to \infty$, $d(T^{n_k}x_1,T^{n_k}x_2) \to 0$. A point $x\in X$ is called <em>uniformly recurrent</em> if for each neighborhood $U$of $x$, the sequence of values $n_1 &lt; n_2 &lt; \dots$, for which $T^{n_k}x\in U$, satisfies that $\{ n_{k+1}-n_k \}$ is bounded.</p> <p>As set $S$ is called central if there is a $x,y\in X$ and a neighborhood $U$ of $y$ such that $y$ is uniformly recurrent and proximal to $x$ and $S=\{ n : T^nx\in U \}$.</p> <p>The only tools we need for the proof Theorem 8.8 is then the Auslander-Ellis Theorem (Theorem 8.7) which reads as follows. If $(X,T)$ is a dynamical system an $X$ is compact. Then every point $x$ in $X$ is proximal to a uniformly recurrent point.</p> <p><strong>Proof of Theorem 8.8:</strong> </p> <p>Consider the dynamical system with $(\Omega,T)$ with $\Omega =\{ 1, \dots, q \}^\mathbb{Z}$ and $T$ the shift $T\omega(n)=\omega(n+1)$. Let $\xi\in\Omega$ be a point with $\xi(n)=i$ implies $n\in B_i$ for $n\in\mathbb{N}$.</p> <p>Let now $\eta\in\Omega$ be a uniformly recurrent point proximal to $\xi$. This point exists by the Auslander-Ellis Theorem. Let $j=\eta(0)$ and set $U=\{ \omega : \omega(0)=j \}$ and let $S=\{n: T^n\xi\in U \}$. Clearly $S$ is central and if $n\in S$ then $\xi(n)=T^n\xi(0)=j$, so that $n\in B_j$ and thus $S\subseteq B_j$.</p>