{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "811NW2WEJH"
    }
  ],
  "body": "\n## Statement\n\nLet $S$ be a [[topological manifold|QQQ9B1DK4P]] of dimension $2$, that is, a Hausdorff, second-countable space locally homeomorphic to $\\R^2$.\nThen $S$ has a [[triangulation|YH170WBQ6M]].\n\n## Remarks\n\nTibor Radó proved the theorem in 1925.\nOne proof covers $S$ by countably many closed disks coming from charts, and modifies their boundary circles so that, on each compact part, they meet in finitely many points.\nThe pieces cut out by these circles are bounded by Jordan curves, so the [[Schoenflies theorem|3VX06XRVZG]] shows that they are closed disks, which can then be divided into triangles.\nFor example, the torus is triangulable, with as few as $7$ vertices.\nThe theorem is the reason why the classification of closed surfaces, first proved for triangulated surfaces, applies to all closed topological surfaces.\nThe triangulation is also unique up to piecewise linear homeomorphism, so every surface has a unique piecewise linear structure.\nA related result, also called Radó's theorem, says that every connected Riemann surface is second-countable; its proof uses the same kind of construction.\n\n## Explanations\n\n### L1 human\n\nEvery surface, however it is given, can be cut into triangles glued edge to edge.\nThis lets one count vertices, edges and triangles, and so compute the Euler characteristic of any closed surface.\n\n### L2 human\n\nIn a course on surfaces, theorems are often proved first for triangulated surfaces, using the combinatorics of the triangles.\nRadó's theorem removes this hypothesis.\nThe analogous statement holds in dimension $3$ by Moise's theorem, but fails in dimension $4$, where some topological manifolds have no triangulation.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "YH170WBQ6M"
    ],
    "kind": "statement",
    "msc": [
      "57Q15",
      "57K20"
    ],
    "name": "Radó's theorem on triangulation of surfaces",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Triangulation_(topology)"
      },
      {
        "url": "https://en.wikipedia.org/wiki/Rad%C3%B3%27s_theorem_(Riemann_surfaces)"
      }
    ],
    "tag": "C9X05EDS5F",
    "uses": [
      "QQQ9B1DK4P",
      "YH170WBQ6M",
      "3VX06XRVZG"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/C9X05EDS5F/",
  "links": [
    {
      "field": "about",
      "target": "YH170WBQ6M"
    },
    {
      "field": "uses",
      "target": "QQQ9B1DK4P"
    },
    {
      "field": "uses",
      "target": "YH170WBQ6M"
    },
    {
      "field": "uses",
      "target": "3VX06XRVZG"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/C9X05EDS5F.md",
  "msc": [
    "57Q15",
    "57K20"
  ],
  "name": "Radó's theorem on triangulation of surfaces",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/C9X/C9X05EDS5F.md",
  "status": null,
  "tag": "C9X05EDS5F",
  "uri": "m2://C9X05EDS5F",
  "url": "https://math2.tamnd.com/wiki/rados-theorem-on-triangulation-of-surfaces/",
  "writing": {
    "tag": "C9X05EDS5F",
    "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
      }
    ]
  }
}