{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "77CQPXNTRW"
    },
    {
      "field": "defines",
      "target": "ZXF5XXT5XM"
    }
  ],
  "body": "\n## Summary\n\nThe completion of a measure space adds to the σ-algebra every set that differs from a measurable set by a subset of a null set.\nThe measure extends to these sets in only one way, and the result is the smallest complete extension.\nLebesgue measure on the Lebesgue measurable sets is the completion of Lebesgue measure on the Borel sets.\n\n## Explanations\n\n### L1 human\n\nSome measures leave out subsets of negligible sets.\nThe completion puts them back, and gives each new set the measure of the measurable set it is almost equal to.\nNothing of substance changes: the new sets differ from old ones only by negligible pieces.\nThis is how one passes from Borel sets on the line to all Lebesgue measurable sets.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "28A12"
    ],
    "name": "Completion of a measure",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Complete_measure"
      }
    ],
    "tag": "KJNSKV75VQ"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/KJNSKV75VQ/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KJNSKV75VQ.md",
  "msc": [
    "28A12"
  ],
  "name": "Completion of a measure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KJN/KJNSKV75VQ.md",
  "status": null,
  "tag": "KJNSKV75VQ",
  "uri": "m2://KJNSKV75VQ",
  "url": "https://math2.tamnd.com/wiki/completion-of-a-measure/",
  "writing": {
    "tag": "KJNSKV75VQ",
    "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
      }
    ]
  }
}