{
  "aliases": null,
  "backlinks": [
    {
      "field": "specializes",
      "target": "8R29G6NG9Q"
    },
    {
      "field": "defines",
      "target": "J8QBXGP7KK"
    }
  ],
  "body": "\n## Summary\n\nA metacompact space is a [[topological space|0CQHFPGJ45]] in which every [[open cover|049PXYHW1T]] has a point-finite open refinement.\nPoint-finite means that each point lies in only finitely many members of the refinement.\nThis is weaker than [[paracompactness|8R29G6NG9Q]], where each point needs a neighbourhood meeting only finitely many members.\nSo every paracompact space, and in particular every compact space, is metacompact.\n\n## Explanations\n\n### L1 human\n\nIn a metacompact space, you can always shrink an open cover so that no point is covered too many times.\nEach single point sits in only finitely many of the new sets.\nPoints close to it may still be covered by many different sets.\nThat is the difference from paracompact spaces, where a whole neighbourhood must see only finitely many sets.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "54D20"
    ],
    "name": "Metacompact space",
    "same_as": {
      "wikidata": "Q6822437",
      "wikipedia": "Metacompact space"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Metacompact_space"
      }
    ],
    "tag": "WQG81SEDZ4"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/WQG81SEDZ4/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/WQG81SEDZ4.md",
  "msc": [
    "54D20"
  ],
  "name": "Metacompact space",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WQG/WQG81SEDZ4.md",
  "status": null,
  "tag": "WQG81SEDZ4",
  "uri": "m2://WQG81SEDZ4",
  "url": "https://math2.tamnd.com/wiki/metacompact-space/",
  "writing": {
    "tag": "WQG81SEDZ4",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}
