{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "3N54R6HR05"
    },
    {
      "field": "uses",
      "target": "QN9X9BNKTX"
    }
  ],
  "body": "\n## Example\n\nFor a parameter $\\mu \\in [0, 2]$, the *tent map* is\n$$T_\\mu \\colon [0, 1] \\to [0, 1], \\qquad T_\\mu(x) = \\mu \\min(x, 1 - x).$$\nIts graph is a tent: it rises with slope $\\mu$ on $[0, 1/2]$ and falls with slope $-\\mu$ on $[1/2, 1]$.\nIts top value is $\\mu/2 \\le 1$, so it maps $[0, 1]$ into itself and is a [[discrete-time dynamical system|5AA9AJEARJ]].\n\nCheck that [[Lebesgue measure|2Z2QVWZ262]] $\\lambda$ is [[invariant|B232EZ1FMB]] for $\\mu = 2$.\nFor $0 \\le a \u003c b \\le 1$, the preimage $T_2^{-1}([a, b])$ is $[a/2, b/2] \\cup [1 - b/2, 1 - a/2]$, two intervals of length $(b - a)/2$ each.\nSo $\\lambda(T_2^{-1}[a, b]) = b - a = \\lambda([a, b])$, and this extends from intervals to all Borel sets.\n\n## Remarks\n\nFor $\\mu = 2$ the map is ergodic for Lebesgue measure, has [[topological entropy|BDZYBXBFDE]] $\\log 2$, and has [[Lyapunov exponent|NJ1FJSNK6A]] $\\log 2$ at every point whose orbit avoids $1/2$, since $\\abs{T_2'} = 2$.\nFor $0 \\le \\mu \u003c 1$ every orbit tends to the fixed point $0$.\nThe map $T_2$ is conjugate to the logistic map $x \\mapsto 4x(1 - x)$.\n\n## Explanations\n\n### L1 human\n\nThe tent map stretches the unit interval to twice its length and folds it back onto itself, like kneading dough.\nEach step doubles small distances between nearby points, so tiny errors grow fast and long-term prediction fails.\nYet the stretching and folding is so even that a random starting point spends equal time in intervals of equal length.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "5AA9AJEARJ"
    ],
    "kind": "example",
    "msc": [
      "37E05",
      "37A05"
    ],
    "name": "Tent map",
    "same_as": {
      "wikidata": "Q11319849",
      "wikipedia": "Tent map"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Tent_map"
      }
    ],
    "tag": "D0A22MEB1F",
    "uses": [
      "5AA9AJEARJ",
      "B232EZ1FMB",
      "2Z2QVWZ262",
      "BDZYBXBFDE",
      "NJ1FJSNK6A"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/D0A22MEB1F/",
  "links": [
    {
      "field": "instance_of",
      "target": "5AA9AJEARJ"
    },
    {
      "field": "uses",
      "target": "5AA9AJEARJ"
    },
    {
      "field": "uses",
      "target": "B232EZ1FMB"
    },
    {
      "field": "uses",
      "target": "2Z2QVWZ262"
    },
    {
      "field": "uses",
      "target": "BDZYBXBFDE"
    },
    {
      "field": "uses",
      "target": "NJ1FJSNK6A"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/D0A22MEB1F.md",
  "msc": [
    "37E05",
    "37A05"
  ],
  "name": "Tent map",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/D0A/D0A22MEB1F.md",
  "status": null,
  "tag": "D0A22MEB1F",
  "uri": "m2://D0A22MEB1F",
  "url": "https://tamnd.github.io/math2/wiki/tent-map/",
  "writing": {
    "tag": "D0A22MEB1F",
    "kind": "example",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}
