{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "D3A9V8DKZV"
    },
    {
      "field": "uses",
      "target": "D3A9V8DKZV"
    }
  ],
  "body": "\n## Statement\n\nLet $K$ be a [[compact set|0R6EWFKRCF]] in $\\C$.\nLet $\\operatorname{cap}(K)$ be its [[logarithmic capacity|DBQXRTC0VN]], $\\delta(K)$ its [[transfinite diameter|VSGTSQ7RY8]] and $\\tau(K)$ its [[Chebyshev constant|DMNN7E2BYA]].\nThen\n$$\\operatorname{cap}(K) = \\delta(K) = \\tau(K).$$\n\n## Remarks\n\nProof idea for $\\delta(K) \\le \\tau(K)$: in the Vandermonde determinant of $n$ points of $K$, replace the columns $1, z, \\dots, z^{n-1}$ by monic polynomials of small norm on $K$.\nThe determinant does not change, and by Hadamard's inequality it is at most $n^{n/2}$ times the product of the column maxima.\nFor $\\tau(K) \\le \\delta(K)$: if $z_1, \\dots, z_{n+1}$ are [[Fekete points|F0RVAF11K9]] of $K$, the monic polynomial $\\prod_{j \\le n} (z - z_j)$ is bounded on $K$ by a ratio of Fekete products.\nFor $\\operatorname{cap}(K) = \\delta(K)$: the discrete energy of $n$ Fekete points is close to the least energy of a probability measure.\nWhen $\\operatorname{cap}(K) \u003e 0$, the normalized counting measures of Fekete points converge weakly to the equilibrium measure.\n\nExample: for $K = [-1, 1]$, the monic Chebyshev polynomials $2^{1-n} T_n$ have maximum $2^{1-n}$ on $K$ and are extremal.\nSo $\\tau(K) = 1/2$, and the theorem gives $\\operatorname{cap}(K) = \\delta(K) = 1/2$.\n\nThe theorem holds for every compact $K$, including sets of capacity zero, where all three quantities vanish.\nFekete proved the equality of the transfinite diameter and the Chebyshev constant, and Szegő proved their equality with the capacity.\n\n## Explanations\n\n### L1 human\n\nThere are three natural ways to measure the size of a plane set $K$ through potential theory.\nOne uses the least energy of a unit charge on $K$.\nOne uses how far apart many points of $K$ can be spread.\nOne uses how small a monic polynomial can stay on $K$.\nThe theorem says that the three give the same number.\n\n### L2 human\n\nThe theorem lets one compute capacity by whichever method is easiest for the set at hand.\nPolynomials and Fekete points give upper and lower bounds that can be computed numerically.\nIt also explains the role of capacity in polynomial approximation: the $n$-th root of the norm of the best monic polynomial on $K$ tends to $\\operatorname{cap}(K)$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "DBQXRTC0VN",
      "VSGTSQ7RY8",
      "DMNN7E2BYA"
    ],
    "kind": "statement",
    "msc": [
      "31A15",
      "30C85"
    ],
    "name": "Capacity equals transfinite diameter and Chebyshev constant",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Conformal_radius"
      }
    ],
    "tag": "V0SH1DY9FJ",
    "uses": [
      "0R6EWFKRCF",
      "DBQXRTC0VN",
      "VSGTSQ7RY8",
      "DMNN7E2BYA",
      "F0RVAF11K9"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/V0SH1DY9FJ/",
  "links": [
    {
      "field": "about",
      "target": "DBQXRTC0VN"
    },
    {
      "field": "about",
      "target": "VSGTSQ7RY8"
    },
    {
      "field": "about",
      "target": "DMNN7E2BYA"
    },
    {
      "field": "uses",
      "target": "0R6EWFKRCF"
    },
    {
      "field": "uses",
      "target": "DBQXRTC0VN"
    },
    {
      "field": "uses",
      "target": "VSGTSQ7RY8"
    },
    {
      "field": "uses",
      "target": "DMNN7E2BYA"
    },
    {
      "field": "uses",
      "target": "F0RVAF11K9"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/V0SH1DY9FJ.md",
  "msc": [
    "31A15",
    "30C85"
  ],
  "name": "Capacity equals transfinite diameter and Chebyshev constant",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/V0S/V0SH1DY9FJ.md",
  "status": null,
  "tag": "V0SH1DY9FJ",
  "uri": "m2://V0SH1DY9FJ",
  "url": "https://tamnd.github.io/math2/wiki/capacity-equals-transfinite-diameter-and-chebyshev-constant/",
  "writing": {
    "tag": "V0SH1DY9FJ",
    "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
      }
    ]
  }
}