{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "86PVRZ08VK"
    }
  ],
  "body": "\n## Statement\n\nLet $n \\ge 2$ and let $\\Omega \\subseteq \\R^n$ be an [[open set|02BH3MCBQB]].\nLet $(u_i)_{i \\in I}$ be a nonempty family of [[superharmonic functions|X4V2S56YQQ]] on $\\Omega$ that is locally uniformly bounded below.\nLet $u = \\inf_{i \\in I} u_i$, and let $\\hat u$ be its lower semicontinuous regularisation, $\\hat u(x) = \\min\\left(u(x), \\liminf_{y \\to x} u(y)\\right)$.\nThen:\n\n1. $\\hat u$ is superharmonic on $\\Omega$, and $\\hat u \\le u$.\n2. The set $\\set{x \\in \\Omega : \\hat u(x) \u003c u(x)}$ is a [[polar set|C95QJ7YH5T]].\n\n## Remarks\n\nThe infimum $u$ satisfies the super-mean value inequality but need not be lower semicontinuous, so it need not be superharmonic.\nIdea of the proof: Choquet's topological lemma gives a countable subfamily with the same regularised infimum.\nReplacing it by its finite minima, which are superharmonic, reduces the problem to a decreasing sequence.\nFor a decreasing sequence, the limit keeps the super-mean value inequality by monotone convergence, and its regularisation is then shown to be superharmonic.\nThe exceptional set is shown to be polar by a capacity argument.\nExample: in $\\R^3$ let $u_k(y) = \\min\\left(1, k^{-1}\\abs{y}^{-1}\\right)$, which are positive superharmonic functions.\nTheir infimum is $0$ for $y \\ne 0$ and $1$ at $y = 0$, while $\\hat u = 0$; the exceptional set $\\set{0}$ is polar.\nThe lower bound is needed: the constants $u_k = -k$ on $\\R^n$ are superharmonic, but their infimum is $-\\infty$ everywhere.\n\n## Explanations\n\n### L1 human\n\nTake the lowest values of many superharmonic functions.\nThe result may fail to be superharmonic only because of a few bad points.\nAfter a small repair at those points it is superharmonic again, and the bad points form a set that potential theory cannot see.\n\n### L2 human\n\nThe theorem is the tool behind most limiting constructions in classical potential theory.\nIt shows that regularised reduced functions are superharmonic, which gives balayage and equilibrium potentials.\nIt also yields that the set where a reduced function differs from its regularisation is polar, and hence the quasi-everywhere statements of capacity theory.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "X4V2S56YQQ",
      "C95QJ7YH5T"
    ],
    "kind": "statement",
    "msc": [
      "31B05",
      "31C15"
    ],
    "name": "Fundamental convergence theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Fine_topology_(potential_theory)"
      }
    ],
    "tag": "RJK6ZKNF6R",
    "uses": [
      "X4V2S56YQQ",
      "C95QJ7YH5T",
      "02BH3MCBQB"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/RJK6ZKNF6R/",
  "links": [
    {
      "field": "about",
      "target": "X4V2S56YQQ"
    },
    {
      "field": "about",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "uses",
      "target": "X4V2S56YQQ"
    },
    {
      "field": "uses",
      "target": "C95QJ7YH5T"
    },
    {
      "field": "uses",
      "target": "02BH3MCBQB"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/RJK6ZKNF6R.md",
  "msc": [
    "31B05",
    "31C15"
  ],
  "name": "Fundamental convergence theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/RJK/RJK6ZKNF6R.md",
  "status": null,
  "tag": "RJK6ZKNF6R",
  "uri": "m2://RJK6ZKNF6R",
  "url": "https://tamnd.github.io/math2/wiki/fundamental-convergence-theorem/",
  "writing": {
    "tag": "RJK6ZKNF6R",
    "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
      }
    ]
  }
}