{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "19JFF3GY9F"
    },
    {
      "field": "uses",
      "target": "21RJ8035KP"
    },
    {
      "field": "uses",
      "target": "Q7GKAMT3P9"
    },
    {
      "field": "uses",
      "target": "VA8R0TZCKB"
    },
    {
      "field": "instance_of",
      "target": "2Q1J7RZ4TK"
    },
    {
      "field": "defines",
      "target": "KH07KHXJB6"
    }
  ],
  "body": "\n## Summary\n\nA continuous map of a compact metric space is uniquely ergodic when it has exactly one invariant Borel probability measure.\nThat measure is then automatically [[ergodic|AZRPHS478B]].\nFor a uniquely ergodic map, time averages of every continuous function converge to the space average at every point, not only at almost every point.\nUnique ergodicity is the dynamical form of equidistribution, as in [[Weyl's equidistribution theorem|NCCGNTBEYV]].\n\n## Explanations\n\n### L1 human\n\nEvery continuous map of a compact space has at least one invariant probability measure, a way of spreading mass that the map leaves unchanged.\nUsually there are many: each fixed point carries its own point mass, for instance.\nA uniquely ergodic map leaves no choice at all, so there is only one invariant way to spread the mass.\nA rotation of the circle by an irrational angle is uniquely ergodic, and its only invariant measure is arc length.\nA rotation by a quarter turn is not, because putting mass $1/4$ on each point of any orbit of four points gives an invariant measure.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "37A25",
      "37B05"
    ],
    "name": "Unique ergodicity",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Ergodicity"
      }
    ],
    "tag": "NZZE9KCAD8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/NZZE9KCAD8/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/NZZE9KCAD8.md",
  "msc": [
    "37A25",
    "37B05"
  ],
  "name": "Unique ergodicity",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NZZ/NZZE9KCAD8.md",
  "status": null,
  "tag": "NZZE9KCAD8",
  "uri": "m2://NZZE9KCAD8",
  "url": "https://tamnd.github.io/math2/wiki/unique-ergodicity/",
  "writing": {
    "tag": "NZZE9KCAD8",
    "kind": "concept",
    "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
      }
    ]
  }
}