{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "6TSMHGCXVM"
    },
    {
      "field": "uses",
      "target": "D5VM0MC3EB"
    },
    {
      "field": "uses",
      "target": "V365PW1HNE"
    },
    {
      "field": "uses",
      "target": "XVSVNP3K9G"
    },
    {
      "field": "defines",
      "target": "MXZHMC2P99"
    }
  ],
  "body": "\n## Summary\n\nThe perimeter of a measurable set $E \\subseteq \\R^n$ is a measure-theoretic version of the area of its boundary.\nIt is the [[total variation|8QA5DEWNYD]] of the distributional gradient of the indicator function of $E$.\nFor a set with smooth boundary it equals the $(n-1)$-dimensional area of the boundary, but it is defined for every Lebesgue measurable set.\nIt is lower semicontinuous under convergence in $L^1_{\\mathrm{loc}}$, which makes it the natural quantity to minimize in problems such as the isoperimetric problem.\n\n## Explanations\n\n### L1 human\n\nTo measure the boundary of a rough set, test the set against all small vector fields and record the largest flux that can leave through it.\nFor a smooth region this flux is largest when the field points straight out of the boundary, and it then equals the area of the boundary.\nFor example, the unit disc in the plane has perimeter $2\\pi$, its circumference.\nRemoving a single point or a segment from the disc does not change its perimeter, because the perimeter only sees the set up to sets of measure zero.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "49Q15",
      "28A75",
      "26B30"
    ],
    "name": "Perimeter of a set",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Caccioppoli_set"
      }
    ],
    "tag": "Y68BHXZJBV"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/Y68BHXZJBV/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/Y68BHXZJBV.md",
  "msc": [
    "49Q15",
    "28A75",
    "26B30"
  ],
  "name": "Perimeter of a set",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Y68/Y68BHXZJBV.md",
  "status": null,
  "tag": "Y68BHXZJBV",
  "uri": "m2://Y68BHXZJBV",
  "url": "https://tamnd.github.io/math2/wiki/perimeter-of-a-set/",
  "writing": {
    "tag": "Y68BHXZJBV",
    "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
      }
    ]
  }
}