{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $E \\subseteq \\C^n$ be a [[pluripolar set|N0MAGPW8AP]], that is, locally contained in the $-\\infty$ set of a [[plurisubharmonic function|FF2P7ER3QT]].\nThen there is a plurisubharmonic function $u$ on $\\C^n$, not identically $-\\infty$, such that\n$$E \\subseteq \\set{z \\in \\C^n : u(z) = -\\infty}.$$\n\n## Remarks\n\nThe theorem was proved by Bo Josefson in 1978.\nProofs build $u$ as a convergent series $\\sum_j \\varepsilon_j u_j$ of functions of the [[Lelong class|X4ZHQG9995]], with growth estimates that come from the [[Siciak extremal function|QBJ9R06GYE]] of compact pieces of $E$.\nA consequence is that a countable union of pluripolar sets is pluripolar, since a suitable series of global functions works for the union.\nFor example, if $E$ is the union of the lines $\\set{z_1 = 1/k}$, $k \\ge 1$, in $\\C^2$, then each line is pluripolar, and the theorem gives one global function for the whole union.\nFor $n = 1$ the statement is the classical fact that a locally polar set in $\\C$ is polar.\n\n## Explanations\n\n### L1 human\n\nA set is pluripolar if near each of its points it is hidden in the $-\\infty$ set of some plurisubharmonic function.\nThe theorem says that one can then hide the whole set at once in the $-\\infty$ set of a single plurisubharmonic function on all of $\\C^n$.\nSo \"small locally\" and \"small globally\" mean the same thing.\n\n### L2 human\n\nWithout the theorem, one would need two notions of pluripolarity, local and global, and many arguments in pluripotential theory would have to track which one is meant.\nThe global function $u$ may be chosen of logarithmic growth, $u(z) \\le \\log(1 + \\abs{z}) + C$, which connects pluripolar sets with polynomial approximation through the Siciak extremal function.\nBedford and Taylor proved that pluripolar sets are exactly the sets of zero Monge–Ampère capacity.\nTogether with Josefson's theorem, this gives a complete description of the negligible sets of the theory.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "N0MAGPW8AP"
    ],
    "kind": "statement",
    "msc": [
      "32U15",
      "32U05"
    ],
    "name": "Josefson's theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Pluripolar_set"
      }
    ],
    "tag": "V6XSDT5C21",
    "uses": [
      "N0MAGPW8AP",
      "FF2P7ER3QT",
      "X4ZHQG9995",
      "QBJ9R06GYE"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/V6XSDT5C21/",
  "links": [
    {
      "field": "about",
      "target": "N0MAGPW8AP"
    },
    {
      "field": "uses",
      "target": "N0MAGPW8AP"
    },
    {
      "field": "uses",
      "target": "FF2P7ER3QT"
    },
    {
      "field": "uses",
      "target": "X4ZHQG9995"
    },
    {
      "field": "uses",
      "target": "QBJ9R06GYE"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/V6XSDT5C21.md",
  "msc": [
    "32U15",
    "32U05"
  ],
  "name": "Josefson's theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/V6X/V6XSDT5C21.md",
  "status": null,
  "tag": "V6XSDT5C21",
  "uri": "m2://V6XSDT5C21",
  "url": "https://tamnd.github.io/math2/wiki/josefsons-theorem/",
  "writing": {
    "tag": "V6XSDT5C21",
    "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
      }
    ]
  }
}