{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "ZCJEPPAFD2"
    }
  ],
  "body": "\n## Summary\n\nAn $m$-dimensional varifold in an open set $U \\subseteq \\R^n$ is a [[Radon measure|HZNEQQBCW4]] on a product space.\nThe product is $U$ times the space of $m$-dimensional linear subspaces of $\\R^n$.\nIt records where a generalised surface lies and which tangent planes it has there, but not its orientation.\nL. C. Young introduced them in 1951 as generalised surfaces.\nAlmgren gave them the name varifold in the 1960s, and Allard developed them as a setting for minimal surfaces with singularities.\nTheir compactness properties make them a main tool in the calculus of variations for area.\n\n## Explanations\n\n### L1 human\n\nThink of a surface as a cloud of tiny flat pieces.\nEach piece has a position and a tilt, given by its tangent plane.\nA varifold is a mass distribution over all pairs of position and tilt.\nA smooth surface gives such a distribution: at each point of the surface, its area sits on the tangent plane at that point.\nUnlike a current, a varifold has no orientation, so two sheets on top of each other add up instead of cancelling.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "49Q15",
      "49Q20"
    ],
    "name": "Varifold",
    "same_as": {
      "wikidata": "Q7915890",
      "wikipedia": "Varifold"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Varifold"
      }
    ],
    "tag": "N3QA80M44M"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/N3QA80M44M/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/N3QA80M44M.md",
  "msc": [
    "49Q15",
    "49Q20"
  ],
  "name": "Varifold",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/N3Q/N3QA80M44M.md",
  "status": null,
  "tag": "N3QA80M44M",
  "uri": "m2://N3QA80M44M",
  "url": "https://math2.tamnd.com/wiki/varifold/",
  "writing": {
    "tag": "N3QA80M44M",
    "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
      }
    ]
  }
}