## Product Measure Only Possible Measure?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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

-

## 4 Answers

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.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

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.

-

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.

-

You need $\mu$ to be the stationary distribution of kernel $p$, right? – mr.gondolier Aug 29 2010 at 7:19
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$.) – Vaughn Climenhaga Aug 29 2010 at 12:49

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)

-

This also works for N in place of Z.  – Carl Mummert Aug 29 2010 at 1:03
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9121161103248596, "perplexity_flag": "head"}