{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "8XS5T7BEJP"
    }
  ],
  "body": "\n## Summary\n\nA sequence converges statistically to $L$ when, for every $\\varepsilon \u003e 0$, the indices $n$ with $\\abs{x_n - L} \\ge \\varepsilon$ form a set of [[natural density|RVG9Z8NYA6]] zero.\nSo the sequence may stray from $L$ infinitely often, but only on a sparse set of indices.\nEvery convergent sequence converges statistically to its limit, but not conversely.\nFor bounded sequences, statistical convergence to $L$ is equivalent to [[strong Cesàro summability|750MCA763X]] to $L$ with exponent $1$.\n\n## Explanations\n\n### L1 human\n\nOrdinary convergence allows only finitely many terms to be far from the limit.\nStatistical convergence allows infinitely many, as long as they become rarer and rarer, so that their proportion among the first $n$ terms tends to $0$.\nFor example, the sequence that is $1$ at perfect squares and $0$ elsewhere converges statistically to $0$, since there are only about $\\sqrt{n}$ squares up to $n$.\nIt does not converge in the usual sense, because the ones never stop.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "40A35",
      "11B05"
    ],
    "name": "Statistical convergence",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Natural_density"
      }
    ],
    "tag": "ZW6EHSMANH"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/ZW6EHSMANH/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/ZW6EHSMANH.md",
  "msc": [
    "40A35",
    "11B05"
  ],
  "name": "Statistical convergence",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZW6/ZW6EHSMANH.md",
  "status": null,
  "tag": "ZW6EHSMANH",
  "uri": "m2://ZW6EHSMANH",
  "url": "https://math2.tamnd.com/wiki/statistical-convergence/",
  "writing": {
    "tag": "ZW6EHSMANH",
    "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
      }
    ]
  }
}
