{
  "aliases": null,
  "backlinks": [
    {
      "field": "illustrates",
      "target": "QPRHC4DZ20"
    }
  ],
  "body": "\n## Statement\n\nLet $X$ be a nonempty [[Hausdorff space|0S1FJ8VEX9]].\nThen there is a [[continuous|0X3WGX95FE]] [[surjection|01RVCMSN5N]] $[0, 1] \\to X$ if and only if $X$ is [[compact|0TVJZYB6SH]], [[connected|0V032VWTHD]], [[locally connected|FDVAHRJKF3]] and [[second-countable|03PPNCM9GG]].\n\n## Remarks\n\nA continuous image of $[0, 1]$ in a Hausdorff space is compact, connected and metrizable, and the map is a quotient map, which carries local connectedness over to $X$.\nFor the converse, $X$ is metrizable by the [[Urysohn metrization theorem|HBFHDH4EJX]], so it is a locally connected [[continuum|NJQ196M1WR]].\nThe [[Cantor set|0BXNDZFQME]] maps continuously onto every compact metric space.\nLocal connectedness lets one join the images of the ends of each removed interval by small arcs, which extends the map to all of $[0, 1]$.\nFor example, the square $[0, 1]^2$ satisfies the conditions, so there is a [[space-filling curve|QPRHC4DZ20]] onto it.\nThe [[Warsaw circle|17VG475BRV]] is compact, connected and metrizable but not locally connected, so it is not a continuous image of $[0, 1]$.\n\n## Explanations\n\n### L1 human\n\nThe theorem says exactly which spaces can be traced by a single continuous curve that passes through every point.\nThey are the compact spaces in one piece that are also connected at small scales near every point.\nSo squares, cubes and even the Hilbert cube can be filled by a curve.\n\n### L2 human\n\nThe metric spaces in the theorem are the Peano continua, the locally connected continua.\nThe theorem turns the surprise of the Peano curve into a general rule.\nIt shows that a continuous image of an interval can have any finite dimension.\nA related fact is that every Peano continuum is arcwise connected.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "NJQ196M1WR",
      "FDVAHRJKF3"
    ],
    "kind": "statement",
    "msc": [
      "54F15",
      "54C05"
    ],
    "name": "Hahn–Mazurkiewicz theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Space-filling_curve"
      }
    ],
    "tag": "Q5QFYKD004",
    "uses": [
      "0S1FJ8VEX9",
      "0X3WGX95FE",
      "01RVCMSN5N",
      "0TVJZYB6SH",
      "0V032VWTHD",
      "FDVAHRJKF3",
      "03PPNCM9GG"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/Q5QFYKD004/",
  "links": [
    {
      "field": "about",
      "target": "NJQ196M1WR"
    },
    {
      "field": "about",
      "target": "FDVAHRJKF3"
    },
    {
      "field": "uses",
      "target": "0S1FJ8VEX9"
    },
    {
      "field": "uses",
      "target": "0X3WGX95FE"
    },
    {
      "field": "uses",
      "target": "01RVCMSN5N"
    },
    {
      "field": "uses",
      "target": "0TVJZYB6SH"
    },
    {
      "field": "uses",
      "target": "0V032VWTHD"
    },
    {
      "field": "uses",
      "target": "FDVAHRJKF3"
    },
    {
      "field": "uses",
      "target": "03PPNCM9GG"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/Q5QFYKD004.md",
  "msc": [
    "54F15",
    "54C05"
  ],
  "name": "Hahn–Mazurkiewicz theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Q5Q/Q5QFYKD004.md",
  "status": null,
  "tag": "Q5QFYKD004",
  "uri": "m2://Q5QFYKD004",
  "url": "https://math2.tamnd.com/wiki/hahn-mazurkiewicz-theorem/",
  "writing": {
    "tag": "Q5QFYKD004",
    "kind": "statement",
    "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
      }
    ]
  }
}