{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "KST0YNAP55"
    }
  ],
  "body": "\n## Summary\n\nA measure algebra is a [[Boolean algebra|0XADJKM699]] in which countable suprema exist, together with a countably additive [[measure|PR11BZQQPG]] that vanishes only at $0$.\nThe main example is the algebra of measurable sets of a [[measure space|P15VQS5DJ9]] modulo [[null sets|VQQM4Y550T]].\nPassing to the measure algebra forgets the points and keeps only what the measure can see.\nBy the [[isomorphism theorem for measure algebras|YFAQGE2ATQ]], all separable atomless probability measure algebras are isomorphic to that of $[0, 1]$.\n\n## Explanations\n\n### L1 human\n\nIn measure theory, two sets that differ only by a set of measure zero usually behave the same.\nA measure algebra glues such sets together, so that each element is a measurable set \"up to measure zero\".\nFor instance, the intervals $[0, 1]$ and $(0, 1)$ become the same element of the measure algebra of Lebesgue measure.\nWhat is left is an algebraic object on which the measure is still defined and is positive on every nonzero element.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "28A60",
      "06E10"
    ],
    "name": "Measure algebra",
    "same_as": {
      "wikidata": "Q6804179",
      "wikipedia": "Measure algebra"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Measure_algebra"
      }
    ],
    "specializes": [
      "0XADJKM699"
    ],
    "tag": "YZA1V04R96"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/YZA1V04R96/",
  "links": [
    {
      "field": "specializes",
      "target": "0XADJKM699"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YZA1V04R96.md",
  "msc": [
    "28A60",
    "06E10"
  ],
  "name": "Measure algebra",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YZA/YZA1V04R96.md",
  "status": null,
  "tag": "YZA1V04R96",
  "uri": "m2://YZA1V04R96",
  "url": "https://tamnd.github.io/math2/wiki/measure-algebra/",
  "writing": {
    "tag": "YZA1V04R96",
    "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
      }
    ]
  }
}