1
$\begingroup$

Let $X=\{0,1\}^{\mathbb{N}}$, $T:X\to X$ the shift map, and $\mu$ a $T$-invariant probability measure on $X$. A point $x \in X$ is generic if $ \lim\, \frac{1}{n}\sum_{i exists for every finite binary string $\sigma$ (so $\chi_{\sigma}$ is the characteristic function of the basic clopen cylinder set determined by $\sigma$). By Birkhoff's ergodic theorem, $\mu$-almost all $x$ are generic. Now when $x$ is generic, the set function $\mu_{x}$ defined on basic clopen cylinders by $ \mu_{x}(\sigma) = \lim\, \frac{1}{n}\sum_{i is actually (extendable to) a $T$-invariant measure. This page claims that this measure is in fact ergodic.

Question: Why is $\mu_{x}$ ergodic when $x$ is generic?

1 Answers 1

3

$x$ can be generic by your definition while $\mu_x$ is not ergodic:

A generic point for a non-ergodic measure

The page you linked is only considering points that are generic for ergodic measures.