So, now it’s time to connect the topological notions of dynamical systems with ergodic theory (which makes use of measures).  Our first example will use the notion of topological transitivity, which we now introduce.  The next example will return to the story about recurrent points, which I talked a bit about yesterday.

Say that a homeomorphism {T: X \rightarrow X} of a compact metric space {X} is topologically transitive if there exists {x \in X} with {T^{\mathbb{Z}}x} dense in {X}.  (For instance, a minimal homeomorphism is obviously topologically transitive.)  Let {\{ U_n \}} be a countable basis for the topology of {X}. Then the set of all such {x} (with {T^{\mathbb{Z}}x} dense) is given by

\displaystyle \bigcap_n \bigcup_{i \in \mathbb{Z}} T^i U_n.

In particular, if it is nonempty, then each {\bigcup_{i \in \mathbb{Z}} T^i U_n} is dense—being {T}-invariant and containing {U_n}—and this set is a dense {G_{\delta}} by Baire’s theorem.

Proposition 1 Let {X} have a Borel probability measure {\mu} positive on every nonempty open set, and let {T: X \rightarrow X} be measure-preserving and ergodic. Then the set of {x \in X} with {\overline{T^{\mathbb{Z}}x}=X} is of measure 1, so {T} is topologically transitive.


Indeed, each {\bigcup_{i \in \mathbb{Z}} T^i U_n} must have measure zero or one by ergodicity, so measure 1 by hypothesis. Then take the countable intersection.

Poincaré recurrence

We now move to the abstract measure-theoretic framework, not topological.

Theorem 2 (Poincaré recurrence) Let {T: X \rightarrow X} be a measure-preserving transformation on a probability space {X}. If {E \subset X} is measurable, then there exists {F \subset E} with {\mu(E-F)=0} such that for each {x \in F}, there is a sequence {n_i \rightarrow \infty} with {T^{n_i} x \in E}.

In other words, points of {F} are {T}-frequently in {E}. (more…)