{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA balayage space is a locally compact space with a countable base together with a convex cone of positive lower semicontinuous functions.\nThis cone plays the role of the positive superharmonic functions.\nThe axioms are chosen so that [[balayage|NTFY23YDEJ]], the sweeping of functions and measures onto sets, can be carried out.\nThe notion was developed by Jürgen Bliedtner and Wolfhard Hansen as a common frame for [[harmonic spaces|DWN0XEQHHK]] and for the potential theory of Markov processes.\nIts theory includes the fine topology, thin sets, and the Dirichlet problem.\n\n## Explanations\n\n### L1 human\n\nIn classical potential theory, sweeping a charge onto a set means replacing it by a charge on the set that produces the same potential outside.\nMost of this theory uses only the cone of positive superharmonic functions, not the harmonic functions themselves.\nA balayage space starts from such a cone of functions and asks only for the properties needed to sweep.\nThe positive superharmonic functions on a Euclidean domain give an example, and so do the excessive functions of many Markov processes, such as Brownian motion.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "31D05",
      "60J45"
    ],
    "name": "Balayage space",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Balayage"
      }
    ],
    "tag": "G9M1H5NNF6"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/G9M1H5NNF6/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/G9M1H5NNF6.md",
  "msc": [
    "31D05",
    "60J45"
  ],
  "name": "Balayage space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/G9M/G9M1H5NNF6.md",
  "status": null,
  "tag": "G9M1H5NNF6",
  "uri": "m2://G9M1H5NNF6",
  "url": "https://tamnd.github.io/math2/wiki/balayage-space/",
  "writing": {
    "tag": "G9M1H5NNF6",
    "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
      }
    ]
  }
}