{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "A0926EFKVP"
    },
    {
      "field": "uses",
      "target": "QSH01NSVXN"
    },
    {
      "field": "defines",
      "target": "XDK73D2DEA"
    }
  ],
  "body": "\n## Summary\n\nA metric outer measure is an [[outer measure|BJ314H17HC]] on a [[metric space|0VKD1TP7F3]] with one extra property.\nIt is additive on any two sets lying at positive distance from each other.\nThis condition links the outer measure with the geometry of the space.\nIts main use is that for a metric outer measure every Borel set is measurable in the sense of Carathéodory.\nLebesgue outer measure and the [[Hausdorff outer measures|Q1TGZK8RN6]] are metric outer measures.\n\n## Explanations\n\n### L1 human\n\nIf two sets are separated by a gap, their total size should be the sum of their sizes.\nA metric outer measure is an outer measure that respects this rule.\nFor example, in the plane, two disks that do not touch have total area equal to the sum of their areas.\nThis simple rule is enough to make all open and closed sets measurable.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "28A12",
      "28A78"
    ],
    "name": "Metric outer measure",
    "same_as": {
      "wikidata": "Q6824326",
      "wikipedia": "Metric outer measure"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Metric_outer_measure"
      }
    ],
    "specializes": [
      "BJ314H17HC"
    ],
    "tag": "3T6WG315GC"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/3T6WG315GC/",
  "links": [
    {
      "field": "specializes",
      "target": "BJ314H17HC"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/3T6WG315GC.md",
  "msc": [
    "28A12",
    "28A78"
  ],
  "name": "Metric outer measure",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3T6/3T6WG315GC.md",
  "status": null,
  "tag": "3T6WG315GC",
  "uri": "m2://3T6WG315GC",
  "url": "https://math2.tamnd.com/wiki/metric-outer-measure/",
  "writing": {
    "tag": "3T6WG315GC",
    "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
      }
    ]
  }
}
