Math 2.0

Manifolds and cell complexes Definition

Surface

Builds on Topological manifoldHausdorff spaceHomeomorphism

Definition

A surface is a topological space SS such that:

  1. SS is Hausdorff;
  2. SS is second countable, that is, its topology has a countable base;
  3. every point of SS has an open neighbourhood homeomorphic to an open subset of ℝ2\R^2.

Equivalently, a surface is a topological manifold of dimension 22. A surface with boundary is defined in the same way, with open subsets of the closed half-plane {(x,y)∈ℝ2:y≥0}\set{(x, y) \in \R^2 : y \ge 0} in clause 3. A closed surface is a compact connected surface without boundary.

Remarks

Example: the unit sphere S2⊂ℝ3S^2 \subset \R^3 is a surface. It is Hausdorff and second countable as a subspace of ℝ3\R^3. Stereographic projections from the north pole and from the south pole are homeomorphisms of two open subsets of S2S^2 onto ℝ2\R^2, and these subsets cover S2S^2.

Non-example: let XX be the union of the planes z=0z = 0 and y=0y = 0 in ℝ3\R^3. Clauses 1 and 2 hold, but clause 3 fails at points of the xx-axis. A small sphere around a point PP of this axis meets XX in two great circles crossing at two points, a graph GG with 22 vertices and 44 edges. So PP has a neighbourhood that is a cone on GG, and the local homology group H2(X,X∖{P})H_2(X, X \setminus \set{P}) is H~1(G)≅ℤ3\tilde H_1(G) \cong \Z^3. At a point of an open subset of ℝ2\R^2 this group is H~1(S1)≅ℤ\tilde H_1(S^1) \cong \Z, and local homology is preserved by homeomorphisms of neighbourhoods.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Hausdorff space concept
  2. Homeomorphism concept
  3. Topological manifold concept
  4. Surface definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Surface_(topology)
About this page
TagP4NVFFR2CH
URIm2://P4NVFFR2CH
Kinddefinition
WritingW0 stub
MSC57K20, 57N99
DefinesSurface
UsesTopological manifold, Hausdorff space, Homeomorphism
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.