{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a [[topological space|0CQHFPGJ45]].\nThen $X$ is [[homeomorphic|0QT00PB5G2]] to the [[Cantor space|W9VYJRBF9N]] $\\set{0, 1}^{\\N}$ if and only if $X$ is nonempty, [[compact|0TVJZYB6SH]], [[metrizable|091GJ3FYD7]], [[totally disconnected|0RJSBR9GW1]] and has no isolated points.\n\n## Remarks\n\nA compact metrizable totally disconnected space has a base of clopen sets.\nWith this and the absence of isolated points, one splits $X$ into two nonempty clopen pieces, each piece again into two, and so on, with diameters tending to $0$.\nSending a point to the sequence of left or right choices that leads to it gives a homeomorphism onto $\\set{0, 1}^{\\N}$.\nFor example, the product $\\set{0,1}^{\\N} \\times \\set{0,1}^{\\N}$ satisfies the conditions, so it is homeomorphic to the Cantor space.\nNo condition can be dropped.\nThe rationals $\\Q$ are metrizable, totally disconnected and without isolated points, but not compact.\nThe space $\\set{0, 1}$ is compact, metrizable and totally disconnected, but its points are isolated.\nThe interval $[0, 1]$ satisfies all conditions except total disconnectedness.\nA product of uncountably many copies of $\\set{0, 1}$ satisfies all conditions except metrizability.\n\n## Explanations\n\n### L1 human\n\nThe theorem says that the Cantor space is the only compact metric space that is pure dust and has no lonely points.\nSo many sets built in quite different ways, such as the middle-thirds Cantor set or products of Cantor sets, are all the same space in disguise.\n\n### L2 human\n\nThe theorem is used to recognise Cantor spaces in analysis, dynamics and descriptive set theory, for instance the perfect compact subsets of the line that contain no interval.\nIt combines with the fact that every nonempty compact metric space is a continuous image of the Cantor space.\nA similar characterization holds for the [[Baire space of sequences|P2WS16HKD7]], by the Alexandrov–Urysohn theorem.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "W9VYJRBF9N"
    ],
    "kind": "statement",
    "msc": [
      "54F65"
    ],
    "name": "Brouwer's characterization of the Cantor space",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Cantor_space"
      }
    ],
    "tag": "3NKBCNH5JS",
    "uses": [
      "0CQHFPGJ45",
      "0TVJZYB6SH",
      "091GJ3FYD7",
      "0RJSBR9GW1",
      "628242KN0T",
      "0QT00PB5G2",
      "W9VYJRBF9N"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/3NKBCNH5JS/",
  "links": [
    {
      "field": "about",
      "target": "W9VYJRBF9N"
    },
    {
      "field": "uses",
      "target": "0CQHFPGJ45"
    },
    {
      "field": "uses",
      "target": "0TVJZYB6SH"
    },
    {
      "field": "uses",
      "target": "091GJ3FYD7"
    },
    {
      "field": "uses",
      "target": "0RJSBR9GW1"
    },
    {
      "field": "uses",
      "target": "628242KN0T"
    },
    {
      "field": "uses",
      "target": "0QT00PB5G2"
    },
    {
      "field": "uses",
      "target": "W9VYJRBF9N"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/3NKBCNH5JS.md",
  "msc": [
    "54F65"
  ],
  "name": "Brouwer's characterization of the Cantor space",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/3NK/3NKBCNH5JS.md",
  "status": null,
  "tag": "3NKBCNH5JS",
  "uri": "m2://3NKBCNH5JS",
  "url": "https://math2.tamnd.com/wiki/brouwers-characterization-of-the-cantor-space/",
  "writing": {
    "tag": "3NKBCNH5JS",
    "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
      }
    ]
  }
}