Math 2.0

Dynamical systems and ergodic theory Ergodic theory Example

Baker's map

Builds on Lebesgue measureBernoulli schemeKolmogorov–Sinai entropy

Example

Let X=[0,1)×[0,1)X = [0, 1) \times [0, 1) be the unit square with two-dimensional Lebesgue measure λ\lambda. The baker's map B ⁣:X→XB \colon X \to X is B(x,y)=(2x,y/2)B(x, y) = (2x, y/2) for 0≤x<1/20 \le x < 1/2. For 1/2≤x<11/2 \le x < 1, it is B(x,y)=(2x−1,(y+1)/2)B(x, y) = (2x - 1, (y + 1)/2). It stretches the square to twice its width and half its height. Then it cuts the result in two and stacks the right half on top of the left half, as a baker folds dough.

It is a bijection: the left half [0,1/2)×[0,1)[0, 1/2) \times [0, 1) goes onto the bottom half [0,1)×[0,1/2)[0, 1) \times [0, 1/2), and the right half goes onto the top half. On each half, BB is affine with Jacobian determinant 2⋅12=12 \cdot \frac{1}{2} = 1, so λ(B−1E)=λ(E)\lambda(B^{-1} E) = \lambda(E) for every Borel set EE, and BB is a measure-preserving transformation.

Write x=0.x1x2x3…x = 0.x_1 x_2 x_3 \dots and y=0.y1y2y3…y = 0.y_1 y_2 y_3 \dots in binary, and code the point (x,y)(x, y) by the two-sided sequence …y2y1.x1x2…\dots y_2 y_1 . x_1 x_2 \dots. Then BB moves the binary point one step to the right: the digit x1x_1 leaves xx and becomes the first digit of the new yy. This coding is an isomorphism, up to null sets, from BB to the two-sided Bernoulli scheme B(1/2,1/2)B(1/2, 1/2). Hence BB is invertible, mixing, and has Kolmogorov–Sinai entropy log⁡2\log 2.

Reading path

To understand this page from the ground up, read these 11 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. Borel sigma-algebra concept
  3. Euclidean space object
  4. Infinite product measure concept
  5. Kolmogorov automorphism concept
  6. Kolmogorov–Sinai entropy concept
  7. Mixing concept
  8. Outer measure concept
  9. Lebesgue measure object
  10. Bernoulli scheme example
  11. Baker's map example

Further reading

  1. Web https://en.wikipedia.org/wiki/Baker%27s_map
About this page
Tag12V4MHVV0N
URIm2://12V4MHVV0N
Kindexample
WritingW0 stub
MSC37A05, 37A25, 37D20
Instance ofMeasure-preserving transformation, Mixing
UsesLebesgue measure, Bernoulli scheme, Kolmogorov–Sinai entropy
Same as

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • 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

No page links to this page yet.