Surface (topology)

In mathematics, a surface is a geometric shape that behaves like a deformed plane. It is a two-dimensional space, meaning a point moving on it has two degrees of freedom. You can think of this like traveling on the Earth. You can move in two directions, such as latitude and longitude, to reach any location.

While we often see surfaces as the boundaries of solid three-dimensional objects, like a sphere bounding a solid ball, they can also be defined more abstractly. This allows mathematicians to study shapes that do not require a surrounding space to exist.

To understand how a surface works, we use a concept called a coordinate chart. A surface is locally Euclidean, which means that around almost every point, it looks like a flat plane. A coordinate chart is a mapping that connects a small neighborhood of a point to a piece of the Euclidean plane. Through this chart, the point inherits standard local coordinates. This allows us to describe the surface using two variables, even if the overall shape is curved or complex.

Surfaces can be categorized by whether they have edges. A surface with a boundary contains points that map to the edge of a half-plane. For example, a closed disk is a surface with a boundary, and its edge is a circle. If a surface has no boundary, it is often called a closed surface. Examples of closed surfaces include the two-dimensional sphere, the torus, and the real projective plane.

Another way to classify surfaces is through orientability. An orientable surface has two distinct sides, such as the inside and outside of a sphere or a torus. A non-orientable surface does not have this distinction. The Möbius strip is a famous example of a non-orientable surface. Because it contains a version of a Möbius strip, it is impossible to define a consistent clockwise or counterclockwise direction across the whole shape. The real projective plane is also non-orientable.

Mathematicians distinguish between intrinsic and extrinsic definitions. An extrinsic definition views a surface as a part of a larger space, such as a subset of three-dimensional Euclidean space. For instance, a sphere can be defined by a specific mathematical equation within that space. An intrinsic definition treats the surface as its own independent space. The Whitney embedding theorem proves these views are connected, as it asserts every surface can be embedded into four-dimensional Euclidean space.

We can also build complex surfaces using a process called a connected sum. To perform a connected sum of two surfaces, you remove a small disk from each. You then glue the resulting circular boundaries together. This process can be used to add a "handle" to a shape by using a torus. For example, the connected sum of two real projective planes results in a Klein bottle. This method allows mathematicians to combine simple shapes to create much more complex topological structures.

Surfaces are vital to many scientific fields. In physics and engineering, they help model the physical world. For example, engineers analyze the aerodynamic properties of an airplane by studying how air flows along its surface. In computer graphics, surfaces are used to represent objects. In pure mathematics, adding extra structures like a Riemannian metric allows scientists to define lengths and angles on a surface. This connects topology to other areas like differential geometry and complex analysis.