In mathematics, specifically in topology, a surface is a two-dimensional manifold. The most familiar examples are those that arise as the boundaries of solid objects in ordinary three-dimensional Euclidean space, E³. On the other hand, there are also more exotic surfaces, that are so "contorted" that they cannot be embedded in three-dimensional space at all.

To say that a surface is "two-dimensional" means that, about each point, there is a coordinate patch on which a two-dimensional coordinate system is defined. For example, the surface of the Earth is (ideally) a two-dimensional sphere, and latitude and longitude provide coordinates on it  except at the International Date Line and the poles, where longitude is undefined. This example illustrates that in general it is not possible to extend any one coordinate patch to the entire surface; surfaces, like manifolds of all dimensions, are usually constructed by patching together multiple coordinate systems.

Surfaces find application in physics, engineering, computer graphics, and many other disciplines, primarily when they represent the surfaces of physical objects. For example, in analyzing the aerodynamic properties of an airplane, the central consideration is the flow of air along its surface.

Definitions and first examples

A (topological) surface with boundary is a Hausdorff topological space in which every point has an open neighbourhood homeomorphic to some open subset of the closed half space of E² (Euclidean 2-space). The neighborhood, along with the homeomorphism to Euclidean space, is called a (coordinate) chart.

The set of points that have an open neighbourhood homeomorphic to E² is called the interior of the surface; it is always non-empty. The complement of the interior is called the boundary; it is a one-manifold, or union of closed curves. The simplest example of a surface with boundary is the closed disk in E²; its boundary is a circle.

A surface with an empty boundary is called boundaryless. (Sometimes the word surface, used alone, refers only to boundaryless surfaces.) A closed surface is one that is boundaryless and compact. The two-dimensional sphere, the two-dimensional torus, and the real projective plane are examples of closed surfaces.

The Möbius strip is a surface with only one "side". In general, a surface is said to be orientable if it does not contain a homeomorphic copy of the Möbius strip; intuitively, it has two distinct "sides". For example, the sphere and torus are orientable, while the real projective plane is not (because deleting a point or disk from the real projective plane produces the Möbius strip).