{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nLet $X = [0, 1) \\times [0, 1)$ be the unit square with two-dimensional [[Lebesgue measure|2Z2QVWZ262]] $\\lambda$.\nThe *baker's map* $B \\colon X \\to X$ is $B(x, y) = (2x, y/2)$ for $0 \\le x \u003c 1/2$.\nFor $1/2 \\le x \u003c 1$, it is $B(x, y) = (2x - 1, (y + 1)/2)$.\nIt stretches the square to twice its width and half its height.\nThen it cuts the result in two and stacks the right half on top of the left half, as a baker folds dough.\n\nIt is a bijection: the left half $[0, 1/2) \\times [0, 1)$ goes onto the bottom half $[0, 1) \\times [0, 1/2)$, and the right half goes onto the top half.\nOn each half, $B$ is affine with Jacobian determinant $2 \\cdot \\frac{1}{2} = 1$, so $\\lambda(B^{-1} E) = \\lambda(E)$ for every Borel set $E$, and $B$ is a [[measure-preserving transformation|556WBDAHNP]].\n\nWrite $x = 0.x_1 x_2 x_3 \\dots$ and $y = 0.y_1 y_2 y_3 \\dots$ in binary, and code the point $(x, y)$ by the two-sided sequence $\\dots y_2 y_1 . x_1 x_2 \\dots$.\nThen $B$ moves the binary point one step to the right: the digit $x_1$ leaves $x$ and becomes the first digit of the new $y$.\nThis coding is an isomorphism, up to null sets, from $B$ to the two-sided [[Bernoulli scheme|D33JK3AXRZ]] $B(1/2, 1/2)$.\nHence $B$ is invertible, [[mixing|S3RJQ9CX2P]], and has [[Kolmogorov–Sinai entropy|X1D1C7VH6P]] $\\log 2$.\n\n## Explanations\n\n### L1 human\n\nRoll the dough out to double length, cut it in the middle, and put one piece on top of the other.\nThe area of the dough does not change, so the map preserves area.\nTwo raisins that start close together in the horizontal direction are pulled apart, doubling their distance at each step, while vertical distances shrink.\nAfter many steps any small blob of dye is spread in thin layers across the whole square, which is what mixing means.\nThe baker's map is the invertible partner of the doubling map.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "556WBDAHNP",
      "S3RJQ9CX2P"
    ],
    "kind": "example",
    "msc": [
      "37A05",
      "37A25",
      "37D20"
    ],
    "name": "Baker's map",
    "same_as": {
      "wikidata": "Q1018917",
      "wikipedia": "Baker's map"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Baker%27s_map"
      }
    ],
    "tag": "12V4MHVV0N",
    "uses": [
      "2Z2QVWZ262",
      "D33JK3AXRZ",
      "X1D1C7VH6P"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/12V4MHVV0N/",
  "links": [
    {
      "field": "instance_of",
      "target": "556WBDAHNP"
    },
    {
      "field": "instance_of",
      "target": "S3RJQ9CX2P"
    },
    {
      "field": "uses",
      "target": "2Z2QVWZ262"
    },
    {
      "field": "uses",
      "target": "D33JK3AXRZ"
    },
    {
      "field": "uses",
      "target": "X1D1C7VH6P"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/12V4MHVV0N.md",
  "msc": [
    "37A05",
    "37A25",
    "37D20"
  ],
  "name": "Baker's map",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/12V/12V4MHVV0N.md",
  "status": null,
  "tag": "12V4MHVV0N",
  "uri": "m2://12V4MHVV0N",
  "url": "https://tamnd.github.io/math2/wiki/bakers-map/",
  "writing": {
    "tag": "12V4MHVV0N",
    "kind": "example",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}