2
$\begingroup$

Suppose $\circ:G \times X \to X$ with $X$ countable. There is a measure preserving dynamical system $([0,1]^X, \lambda^X, G)$ where $\lambda$ is the uniform measure on $[0,1]$ and for $(a_x)_{x \in X} \in [0,1]^X$, $g$ takes $(a_x)_{x \in X}$ to $(a_{\circ(g,x)})_{x \in X}$.

If $X$ has a finite orbit $Y$ then there is an invariant measure preserving map from $([0,1]^X, \lambda^X)$ to $([0,1], \lambda)$. For example

$$(a_x)_{x \in X} \mapsto \sum_{y \in Y} a_y \mod 1.$$

If $X$ has no finite orbits will there still always be an invariant measure preserving map from $([0,1]^X, \lambda^X)$ to $([0,1], \lambda)$?

As a concrete example, is there such an invariant measure preserving map when $X = (\mathbb{Z}, S)$ and $G = $Aut$(\mathbb{Z}, S)$, where $S$ is the successor relation (and there is no other structure on $\mathbb{Z}$)?

$\endgroup$
8
  • $\begingroup$ What action do you mean when talking about "a finite orbit $H$"? $\endgroup$
    – R W
    Sep 15, 2017 at 0:32
  • $\begingroup$ Sorry, I actually realized I didn't want to require the power to be G. This should be fixed now. $\endgroup$ Sep 15, 2017 at 0:43
  • $\begingroup$ It's not clear what you mean by $1/|Y|\sum_{y\in Y} a_y \bmod1$. Maybe you just wanted to sum, not average? $\endgroup$ Sep 15, 2017 at 5:10
  • $\begingroup$ @AnthonyQuas: Yes, thanks. I fixed this. $\endgroup$ Sep 15, 2017 at 5:24
  • $\begingroup$ What do you mean by $\mathsf{Aut}(\mathbb{Z})$? automorphism in which sense? as ring, it's the trivial group. As group, it's cyclic of order 2. As measurable space, or as measure space (with counting measure), it's the group of all permutations, more commonly denoted $\mathsf{Sym}(\mathbb{Z})$. $\endgroup$
    – YCor
    Sep 15, 2017 at 13:46

1 Answer 1

3
$\begingroup$

I presume that by an "invariant" map you mean one which is constant on the orbits of the action of $G$ on the configuration space. Therefore, it should factorize through the space of ergodic components of your action, and your question is equivalent to asking whether the space of ergodic components is purely non-atomic.

In the case when $X=\mathbb Z$ and $G=Aut(\mathbb Z)$ already the action of $\mathbb Z$ is ergodic (essentially by Kolmogorov's 0-1 law), so that the answer is "no".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.