{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Problem\n\nIs every [[normal|0NSR9V8TED]] [[Moore space|68MA0RM5P6]] [[metrizable|091GJ3FYD7]]?\n\n## Remarks\n\nEvery metrizable space is a normal Moore space, so the question asks whether the converse holds.\nNormality is the key condition: the [[Moore plane|SAR7PBYF07]] is a Moore space that is not normal and not metrizable.\nUnder Martin's axiom together with the negation of the continuum hypothesis there is a separable normal Moore space that is not metrizable.\nSo a positive answer cannot be proved in ZFC, the usual axioms of set theory.\nPeter Nyikos showed that the product measure extension axiom implies that every normal Moore space is metrizable.\nThat axiom is consistent if a strongly compact cardinal is consistent.\nWilliam Fleissner showed that the positive answer implies the consistency of a measurable cardinal.\nSo a large cardinal is needed for the positive answer, and the problem is settled only relative to such axioms.\n\n## Explanations\n\n### L1 human\n\nMoore spaces look very much like metric spaces, and normality is one of the main properties of metric spaces.\nThe question asks whether these two together are enough to make the space metric.\nWork on it showed that the answer depends on extra axioms of set theory, which made it a model case for the use of set theory in topology.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "68MA0RM5P6",
      "091GJ3FYD7"
    ],
    "history": {
      "first_stated": "1937",
      "posed_by": "F. Burton Jones"
    },
    "kind": "problem",
    "msc": [
      "54E30",
      "54A35",
      "03E35"
    ],
    "name": "Normal Moore space problem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Moore_space_(topology)"
      }
    ],
    "tag": "Z6T00E3JQH",
    "uses": [
      "68MA0RM5P6",
      "0NSR9V8TED",
      "091GJ3FYD7"
    ]
  },
  "kind": "problem",
  "link": "https://math2.tamnd.com/node/Z6T00E3JQH/",
  "links": [
    {
      "field": "about",
      "target": "68MA0RM5P6"
    },
    {
      "field": "about",
      "target": "091GJ3FYD7"
    },
    {
      "field": "uses",
      "target": "68MA0RM5P6"
    },
    {
      "field": "uses",
      "target": "0NSR9V8TED"
    },
    {
      "field": "uses",
      "target": "091GJ3FYD7"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/Z6T00E3JQH.md",
  "msc": [
    "54E30",
    "54A35",
    "03E35"
  ],
  "name": "Normal Moore space problem",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Z6T/Z6T00E3JQH.md",
  "status": null,
  "tag": "Z6T00E3JQH",
  "uri": "m2://Z6T00E3JQH",
  "url": "https://math2.tamnd.com/wiki/normal-moore-space-problem/",
  "writing": {
    "tag": "Z6T00E3JQH",
    "kind": "problem",
    "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
      }
    ]
  }
}