Math 2.0

Dynamical systems and ergodic theory Ergodic theory Example

Bernoulli scheme

Builds on Bernoulli processInfinite product measureMixingKolmogorov automorphismKolmogorov–Sinai entropy

Example

Let A={1,…,k}A = \set{1, \dots, k} be a finite alphabet and let p=(p1,…,pk)p = (p_1, \dots, p_k) be a probability vector, with pi≥0p_i \ge 0 and p1+⋯+pk=1p_1 + \cdots + p_k = 1. Let X=AℤX = A^{\Z} be the set of two-sided sequences x=(xn)n∈ℤx = (x_n)_{n \in \Z}, with the σ-algebra generated by the cylinder sets [am,…,an]m={x∈X:xi=ai for m≤i≤n}.[a_m, \dots, a_n]_m = \set{x \in X : x_i = a_i \text{ for } m \le i \le n}. Let μ\mu be the infinite product measure of copies of pp, so μ([am,…,an]m)=pampam+1⋯pan\mu([a_m, \dots, a_n]_m) = p_{a_m} p_{a_{m+1}} \cdots p_{a_n}. The shift σ ⁣:X→X\sigma \colon X \to X, (σx)n=xn+1(\sigma x)_n = x_{n+1}, is the Bernoulli scheme or Bernoulli shift B(p1,…,pk)B(p_1, \dots, p_k).

Check that σ\sigma is a measure-preserving transformation: x∈σ−1[am,…,an]mx \in \sigma^{-1}[a_m, \dots, a_n]_m means xi+1=aix_{i+1} = a_i for m≤i≤nm \le i \le n. So σ−1[am,…,an]m=[am,…,an]m+1\sigma^{-1}[a_m, \dots, a_n]_m = [a_m, \dots, a_n]_{m+1}, which has the same measure pam⋯panp_{a_m} \cdots p_{a_n}. Cylinder sets form a π-system generating the σ-algebra, so μ(σ−1E)=μ(E)\mu(\sigma^{-1} E) = \mu(E) for every measurable EE.

The coordinate functions x↦xnx \mapsto x_n form an i.i.d. sequence with law pp, a two-sided version of the Bernoulli process when k=2k = 2. The shift is invertible, mixing, and a Kolmogorov automorphism. Its Kolmogorov–Sinai entropy is −∑i=1kpilog⁡pi-\sum_{i=1}^{k} p_i \log p_i, computed with the generating partition into the sets {x:x0=i}\set{x : x_0 = i}. The one-sided version uses AℕA^{\N} instead of AℤA^{\Z} and gives a non-invertible measure-preserving map.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Bernoulli process concept
  2. Infinite product measure concept
  3. Kolmogorov automorphism concept
  4. Kolmogorov–Sinai entropy concept
  5. Mixing concept
  6. Bernoulli scheme example

Where this leads

5 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Bernoulli_scheme
About this page
TagD33JK3AXRZ
URIm2://D33JK3AXRZ
Kindexample
WritingW0 stub
MSC37A05, 37A35, 37B10
Instance ofMeasure-preserving transformation
UsesBernoulli process, Infinite product measure, Mixing, Kolmogorov automorphism, Kolmogorov–Sinai entropy
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by

Results about this