7
$\begingroup$

Let $X$ be a separable complete metric space and $Z$ be the set of all integers. Let $\nu$ be a Borel probability measure on $X^Z$ invariant under the shift function $S:X^Z \to X^Z$. Is it necessarily the case that $\nu = \mu^Z$ for some Borel probability measure $\mu$ on X?

Thanks

$\endgroup$

4 Answers 4

7
$\begingroup$

The answer is no. A trivial example is to concentrate the measure in a "periodic orbit", this will give an invariant measure for the shift.

But there are a whole lot of invariant measures (including full support measures which probably are more interesting).

The measure which is a product measure, has though some important features. For example, if you look at its "entropy".

(See K. Sigmund, Generic properties for Axiom A diffeomorphisms, Inventiones Math 11 (1970) for the case of the space X being finite)

$\endgroup$
1
  • $\begingroup$ This also works for N in place of Z. $\endgroup$ Aug 29, 2010 at 1:03
7
$\begingroup$

Every such a $\nu$ is the law of some stationary process on $X^{\mathbb{Z}}$. Of course not every stationary process is i.i.d.

$\endgroup$
4
$\begingroup$

Measures with the property you describe are called Bernoulli measures. There are many, many invariant measures that are not Bernoulli: one class of examples is given by the measures concentrated on periodic orbits (as rpotrie points out in another answer); another important class is the Markov measures. These are given by a measure $\mu$ on $X$ (which if $X$ is finite is simply a probability vector) together with a function $p\colon X \to \mathcal M(X)$ that represents transition probabilities, where $\mathcal{M}(X)$ is the space of Borel probability measures on $X$. Then one defines a measure $\nu$ on $X^\mathbb{Z}$ by \begin{multline} \nu(X_1 \times X_2 \times \cdots \times X_n) = \\\ \int_{X_1} \int_{X_2} \cdots \int_{X_{n-1}} p(x_{n-1},X_n) dp(x_{n-2},x_{n-1}) \cdots dp(x_1,x_2) d\mu(x_1), \end{multline} where $\int dp(x,\cdot)$ represents integration with respect to $p(x)$. Note that this simplifies quite a bit if $X$ is finite, in which case $\mu$ is a probability vector, $p$ turns into a stochastic matrix, and you just need to write down the measure of an arbitrary cylinder. In any case, these give you a broad class of invariant measures that are not Bernoulli, but are very important for many applications.

$\endgroup$
2
  • $\begingroup$ You need $\mu$ to be the stationary distribution of kernel $p$, right? $\endgroup$
    – gondolier
    Aug 29, 2010 at 7:19
  • $\begingroup$ Yes, sorry, I left that out. $p$ induces a map $\mathcal M(X) \to \mathcal M(X)$, and you need $\mu$ to be a fixed point for this map. (Or in the finite case, you need the probability vector $\mu$ to be an eigenvector for the stochastic matrix $p$ with eigenvalue $1$.) $\endgroup$ Aug 29, 2010 at 12:49
1
$\begingroup$

No (unless X is a one-point space). The mean of two distinct shift-invariant product probability measures is a shift-invariant probability measure, though not a product.

$\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.