Surface (topology)
A surface is a two-dimensional topological manifold.
Wikipedia / Wikimedia Commons
In topology, a surface is a two-dimensional manifold. Surfaces can arise as boundaries of three-dimensional solid figures, such as the sphere as the boundary of a solid ball, or as graphs of functions of two variables. They can also be defined abstractly without reference to any ambient space, as in the case of the Klein bottle, which cannot be embedded in three-dimensional Euclidean space. Topological surfaces are sometimes equipped with additional structures, such as a Riemannian metric or a complex structure, connecting them to differential geometry and complex analysis.
- field
- Topology
- key_concept
- Two-dimensional manifold
- examples
- Sphere, torus, Klein bottle, real projective plane, Möbius strip
- properties
- Hausdorff, second-countable, locally Euclidean, orientable or non-orientable
- embedding
- Every surface can be embedded in E4; compact orientable surfaces or those with boundary embed in E3
Lore & Background
A topological surface is defined as a topological space in which every point has an open neighborhood homeomorphic to some open subset of the Euclidean plane E2. Such neighborhoods, together with the homeomorphism, are called coordinate charts. In most writings, a surface is assumed to be nonempty, second-countable, Hausdorff, and connected. Surfaces can also have a boundary, where points map to the x-axis of the upper half-plane; the closed disk is a simple example, with its boundary being a circle.
Reader's Guide
The concept of surface is fundamental in topology and geometry. Surfaces can be orientable, like the sphere and torus, or non-orientable, like the real projective plane and Möbius strip. The Möbius strip allows local distinction between clockwise and counterclockwise but not globally. A surface is orientable if it does not contain a homeomorphic copy of the Möbius strip. Historically, surfaces were defined extrinsically as subspaces of Euclidean space, but modern mathematics defines them intrinsically. The Whitney embedding theorem shows that every surface can be embedded in E4, and compact orientable surfaces or those with boundary can be embedded in E3. The real projective plane, compact and non-orientable, cannot be embedded in E3 but has models like Boy's surface, which is an immersion. Surfaces are widely used in physics, engineering, and computer graphics to model physical objects.
Did You Know?
- The Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.
- The Möbius strip is a surface on which clockwise and counterclockwise can be defined locally but not globally.
- The real projective plane with one point removed is homeomorphic to the open Möbius strip.
- The Alexander horned sphere is a pathological embedding of the two-sphere into the three-sphere.
Frequently Asked Questions
What is a surface in topology?
A surface is a two-dimensional topological manifold, meaning every small neighborhood around a point looks like a flat plane. It can appear as the boundary of a three-dimensional solid (like the sphere wrapping a ball) or exist purely as an abstract object with no surrounding space required.
What are classic examples of surfaces in topology?
Frequently cited examples include the sphere, the torus, the Klein bottle, the real projective plane, and the Möbius strip. They span the full range from shapes you can picture in ordinary 3-D space to exotic objects like the Klein bottle, which cannot sit inside three-dimensional Euclidean space without self-intersection.
What properties must a topological surface satisfy?
By definition a surface is Hausdorff, second-countable, and locally Euclidean of dimension two. It is further classified as either orientable or non-orientable, a distinction that tells you whether you can consistently choose a 'side' across the whole surface.
Can every topological surface be embedded in three-dimensional space?
No—compact orientable surfaces and surfaces with boundary do embed in E³, but non-orientable ones such as the Klein bottle do not. The good news is that every surface, orientable or not, embeds cleanly in four-dimensional Euclidean space with no self-intersections.
How does a surface connect to other branches of mathematics?
Topologists often enrich a surface with extra structure, such as a Riemannian metric or a complex structure, which links the object to differential geometry and complex analysis. This makes surfaces a natural meeting point where pure topology, geometry, and analysis overlap.
More in Topology And Abstract Spaces 1-24
Spotted an error? Know more?
This is a living reference — every entry is fact-audited, and reader corrections feed straight into our audit queue. Suggest an edit · See this site's audit record