{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "NJ1PDJ3S4R"
    }
  ],
  "body": "\n## Statement\n\nLet $(X, \\mathcal{A}, \\mu)$ be a [[probability space|0NFPJVJJHX]] and let $T \\colon X \\to X$ be a [[measure-preserving transformation|556WBDAHNP]].\nLet $(f_n)_{n \\ge 1}$ be [[integrable|X7GTF3D98F]] functions $f_n \\colon X \\to \\R$ that are subadditive along $T$:\n$$f_{m+n} \\le f_m + f_n \\circ T^m \\quad \\text{almost everywhere, for all } m, n \\ge 1.$$\nLet $\\gamma = \\inf_{n \\ge 1} \\frac{1}{n} \\int_X f_n \\, d\\mu$, an element of $[-\\infty, \\infty)$.\nThen:\n\n1. $f_n / n$ converges [[almost everywhere|RARTMA0ZEC]] to a function $g \\colon X \\to [-\\infty, \\infty)$ with $g \\circ T = g$ almost everywhere;\n2. $\\int_X g \\, d\\mu = \\gamma$, and if $\\gamma \u003e -\\infty$, then $f_n / n \\to g$ in $L^1(\\mu)$;\n3. if $T$ is [[ergodic|AZRPHS478B]], then $g = \\gamma$ almost everywhere.\n\n## Remarks\n\nIf $f_n = \\sum_{k=0}^{n-1} f \\circ T^k$ for an integrable $f$, then equality holds in the subadditivity condition, and the theorem reduces to [[Birkhoff's ergodic theorem|J6NMBX3E55]].\nThe integrals $a_n = \\int_X f_n \\, d\\mu$ form a subadditive sequence, $a_{m+n} \\le a_m + a_n$, so $a_n / n \\to \\gamma$ by [[Fekete's lemma|8A4GGX1MEY]]; the theorem is the pointwise version of this fact.\nIn the proof, the function $\\liminf_n f_n / n$ is shown to be invariant.\nA covering argument cuts a long orbit segment into blocks on which $f_k / k$ is close to this $\\liminf$.\nSubadditivity then bounds $f_N$ by the sum over the blocks.\n\nExample: let $A \\colon X \\to GL_d(\\R)$ be measurable with $\\log^+ \\norm{A}$ and $\\log^+ \\norm{A^{-1}}$ integrable, and let $f_n(x) = \\log \\norm{A(T^{n-1}(x)) \\cdots A(T(x)) A(x)}$.\nSubmultiplicativity of the operator norm gives $f_{m+n} \\le f_m + f_n \\circ T^m$, and the two integrability conditions make each $f_n$ integrable.\nFor ergodic $T$, the theorem gives the almost sure limit of $f_n / n$, the top [[Lyapunov exponent|NJ1FJSNK6A]] of the matrix cocycle; this is the Furstenberg–Kesten theorem.\n\n## Explanations\n\n### L1 human\n\nSometimes the cost of a long journey is at most the cost of its first part plus the cost of the rest, as for the length of a shortest path.\nThe theorem says that, in a random environment that looks the same everywhere, the cost per unit of length of such a journey settles down to a limit.\nFor an ergodic environment this limit is a fixed number, the same for almost every starting point.\n\n### L2 human\n\nKingman proved the theorem in 1968.\nIt extends Birkhoff's theorem from additive to subadditive sequences.\nIt is the main tool for the existence of Lyapunov exponents, as in the Furstenberg–Kesten theorem and in the proof of the Oseledets multiplicative ergodic theorem.\nAnother standard use is the time constant of first-passage percolation, where travel times between points are subadditive but not additive.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "556WBDAHNP"
    ],
    "kind": "statement",
    "msc": [
      "37A30",
      "60F15",
      "28D05"
    ],
    "name": "Kingman's subadditive ergodic theorem",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q22906153",
      "wikipedia": "Kingman's subadditive ergodic theorem"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Kingman%27s_subadditive_ergodic_theorem"
      }
    ],
    "tag": "833XVEEZCJ",
    "uses": [
      "556WBDAHNP",
      "0NFPJVJJHX",
      "X7GTF3D98F",
      "RARTMA0ZEC",
      "AZRPHS478B",
      "J6NMBX3E55",
      "8A4GGX1MEY",
      "NJ1FJSNK6A"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/833XVEEZCJ/",
  "links": [
    {
      "field": "about",
      "target": "556WBDAHNP"
    },
    {
      "field": "uses",
      "target": "556WBDAHNP"
    },
    {
      "field": "uses",
      "target": "0NFPJVJJHX"
    },
    {
      "field": "uses",
      "target": "X7GTF3D98F"
    },
    {
      "field": "uses",
      "target": "RARTMA0ZEC"
    },
    {
      "field": "uses",
      "target": "AZRPHS478B"
    },
    {
      "field": "uses",
      "target": "J6NMBX3E55"
    },
    {
      "field": "uses",
      "target": "8A4GGX1MEY"
    },
    {
      "field": "uses",
      "target": "NJ1FJSNK6A"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/833XVEEZCJ.md",
  "msc": [
    "37A30",
    "60F15",
    "28D05"
  ],
  "name": "Kingman's subadditive ergodic theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/833/833XVEEZCJ.md",
  "status": null,
  "tag": "833XVEEZCJ",
  "uri": "m2://833XVEEZCJ",
  "url": "https://tamnd.github.io/math2/wiki/kingmans-subadditive-ergodic-theorem/",
  "writing": {
    "tag": "833XVEEZCJ",
    "kind": "statement",
    "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
      }
    ]
  }
}