{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $(X, \\mathcal{A}, \\mu)$ be a [[measure space|P15VQS5DJ9]] and let $T \\colon X \\to X$ be a [[quasi-measure-preserving map|F608XX51KA]]: $T$ is measurable and $\\mu(T^{-1}(A)) = 0$ for every $A \\in \\mathcal{A}$ with $\\mu(A) = 0$.\nThe map $T$ is *quasi-ergodic* if every $A \\in \\mathcal{A}$ with $\\mu(T^{-1}(A) \\mathbin{\\triangle} A) = 0$ satisfies $\\mu(A) = 0$ or $\\mu(X \\setminus A) = 0$.\n\n## Remarks\n\nHere $\\triangle$ is the symmetric difference, so the condition $\\mu(T^{-1}(A) \\mathbin{\\triangle} A) = 0$ says that $A$ is invariant up to a [[null set|VQQM4Y550T]].\nIf $T$ preserves $\\mu$ and $\\mu$ is a probability measure, quasi-ergodicity is the same as being an [[ergodic transformation|AZRPHS478B]].\nExample: let $\\mu$ be a probability measure on $[0,1)$ with a strictly positive density $\\rho$ with respect to Lebesgue measure $\\lambda$, and let $T(x) = x + \\alpha \\bmod 1$ with $\\alpha$ irrational.\nThe measures $\\mu$ and $\\lambda$ have the same null sets, and $T$ preserves $\\lambda$, so $T$ is quasi-measure-preserving for $\\mu$.\nAn almost invariant set for $\\mu$ is almost invariant for $\\lambda$, so it has $\\lambda$-measure $0$ or $1$ by ergodicity of the rotation, hence $\\mu$-measure $0$ or $1$.\nNon-example: the identity map of $[0,1]$ with Lebesgue measure is quasi-measure-preserving, but $A = [0, 1/2]$ is invariant with $0 \u003c \\lambda(A) \u003c 1$.\nIn older physics texts the \"quasi-ergodic hypothesis\" means something else: that a trajectory comes arbitrarily close to every point of its energy surface.\n\n## Explanations\n\n### L1 human\n\nA quasi-ergodic map has no invariant pieces except the trivial ones, up to sets of measure zero.\nThe map is not asked to preserve the measure, only to respect which sets have measure zero.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "F43HXQD0T6",
    "kind": "definition",
    "msc": [
      "37A40",
      "37A25"
    ],
    "name": "Quasi-ergodicity",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Ergodicity"
      }
    ],
    "tag": "844NHRQQN3",
    "uses": [
      "P15VQS5DJ9",
      "VQQM4Y550T",
      "F608XX51KA",
      "AZRPHS478B"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/844NHRQQN3/",
  "links": [
    {
      "field": "defines",
      "target": "F43HXQD0T6"
    },
    {
      "field": "uses",
      "target": "P15VQS5DJ9"
    },
    {
      "field": "uses",
      "target": "VQQM4Y550T"
    },
    {
      "field": "uses",
      "target": "F608XX51KA"
    },
    {
      "field": "uses",
      "target": "AZRPHS478B"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/844NHRQQN3.md",
  "msc": [
    "37A40",
    "37A25"
  ],
  "name": "Quasi-ergodicity",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/844/844NHRQQN3.md",
  "status": null,
  "tag": "844NHRQQN3",
  "uri": "m2://844NHRQQN3",
  "url": "https://tamnd.github.io/math2/wiki/quasi-ergodicity-definition/",
  "writing": {
    "tag": "844NHRQQN3",
    "kind": "definition",
    "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
      }
    ]
  }
}