{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "9SDYXHB8P6"
    }
  ],
  "body": "\n## Summary\n\nA Brelot space is a connected, locally connected space with a sheaf of harmonic functions, as in a [[harmonic space|DWN0XEQHHK]].\nIn it, an increasing sequence of harmonic functions on a domain tends either to a harmonic function or to $+\\infty$ everywhere.\nIts axioms, due to Marcel Brelot, model elliptic equations such as the Laplace equation.\nIn a Brelot space a Harnack inequality holds, as for classical [[harmonic functions|0DEB0JMN0W]].\nThe heat equation gives a harmonic space that is not a Brelot space.\n\n## Explanations\n\n### L1 human\n\nBrelot's axioms capture the behaviour of harmonic functions in Euclidean space without using derivatives.\nThe key axiom says that an increasing sequence of harmonic functions on a connected open set cannot blow up in one place and stay finite in another.\nThis reflects the fact that positive harmonic functions cannot be very large at one point and small at a nearby point.\nFor temperatures that change in time this fails: heat at a later time does not control heat at an earlier time.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "31D05"
    ],
    "name": "Brelot space",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Potential_theory"
      }
    ],
    "tag": "A51SQRPM5T"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/A51SQRPM5T/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/A51SQRPM5T.md",
  "msc": [
    "31D05"
  ],
  "name": "Brelot space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/A51/A51SQRPM5T.md",
  "status": null,
  "tag": "A51SQRPM5T",
  "uri": "m2://A51SQRPM5T",
  "url": "https://tamnd.github.io/math2/wiki/brelot-space/",
  "writing": {
    "tag": "A51SQRPM5T",
    "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
      }
    ]
  }
}