Let be a topological dynamical system. (Generally this means, for me at least, a continuous self-map of a compact metric space. However, sometimes one may be interested in examples that are not compact or that are only piecewise continuous.) We can study as an object in topological dynamics or as an object in ergodic theory (by studying the space of -invariant Borel measures on ), and the interplay between the two turns out to be very rich.
An important principle in the study of any mathematical object is to understand those examples that are in some sense irreducible or indecomposable. From the topological point of view, irreducibility of corresponds to transitivity, the existence of a dense orbit. (This is very different from minimality, which demands that every orbit be dense, and which is not the setting I am interested in here; I want to study systems where both the topological and statistical asymptotic behaviour of orbits can be very diverse.)
From the point of view of ergodic theory, the picture is much more complex. For a fixed invariant measure , irreducibility corresponds to ergodicity, the requirement that if is -invariant, then either or its complement has zero measure. However, may have many invariant measures, some ergodic, some not. Indeed, writing for the space of all Borel -invariant probability measures on and for the ergodic measures in , one finds that is a simplex whose extreme points are precisely the elements of . For many examples of interest, this simplex is infinite-dimensional. What corresponds to “measure-theoretic irreducibility” for the whole system in such cases?
Since the ergodic measures are the indecomposable ones, and since moreover a simplex is determined by its extreme values, it makes sense to study the properties of as a subset of . In the remainder of the post I’ll explore two fundamental facts about the space of ergodic measures for the full shift:
- is dense in ;
- is arc-connected.
The second of these gives a concrete sense in which the full shift is measure-theoretically irreducible. Furthermore, both these properties fail for simple-minded topologically reducible examples, such as the system obtained by taking two disjoint copies of the full shift.
Invariant measures for the full shift
The full shift on two symbols is one of the canonical examples of a dynamical system with very rich behaviour. Here and ; this is topologically transitive.
First we address density, and show that in fact the class of periodic orbit measures is dense. If is periodic, write for the measure supported on the (finite) orbit of that gives equal weight to each point. Let ; then .
Proof: Let be a metric on that induces the weak* topology. Given and , let and be such that and . Let be generic points for . That is, if we write , then . (The ergodic theorem states that every ergodic measure has a full-measure set of generic points.) Now let be such that , and also for every . Finally, let be the periodic point obtained by concatenating the words in order and repeating. Then , which suffices.
Proposition 1 was proved by Sigmund in 1970, and has as a corollary that is dense in . The second claim above, that is arc-connected, was also proved by Sigmund (in 1977). (Thanks to Andrey Gogolev for the reference, via MathOverflow.)
I’ll say more in a future post about a dynamical proof of arc-connectedness based on Sigmund’s. For now, I’ll round out this post with the observation that in fact, arc-connectedness of follows from density of in .
For finite-dimensional simplices, the set of extreme points is closed, and so the phenomenon of extreme points () being dense is very far removed from what happens in more familiar simplices. The first example of a simplex with dense extreme points was given by Poulsen in 1961. (Thanks to Gerald Edgar for pointing this out to me, also via MathOverflow.) Later, it was shown by Lindenstrauss, Olsen, and Sternfeld in 1978 that the Poulsen simplex is unique in the following sense.
Theorem 2 Let and be metrisable simplices whose extreme points are dense. Then there is an affine homeomorphism from to .
In the same paper, it was shown that the set of extreme points for the Poulsen simplex is arc-connected. Together, these results have the following consequences for the space of invariant measures of a topological dynamical system:
- If is such that is dense in , then is the Poulsen simplex;
- In this case the set of ergodic measures is arc-connected.
Proposition 1 shows that all of this holds for the full shift. Now it is natural to ask for which other systems the space of invariant measures is the Poulsen simplex, and this will lead us to discuss the specification property in the next post.