From Wikipedia, the free encyclopedia

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.

Contents 1 Definitions and first examples 2 Extrinsically defined surfaces and embeddings 3 Construction from polygons 4 Quotients and connected summation 5 Classification of closed surfaces 6 Surfaces in geometry 7 Differential geometry of surfaces 7.1 Gaussian curvature of surfaces in E³ 7.2 Local metric structure 7.3 Geodesic polar coordinates 7.4 Gauss-Bonnet theorem 7.5 Surfaces of non-positive curvature 8 See also 9 References 10 External links

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).

More generally, it is common in differential and algebraic geometry to study surfaces with singularities, such as self-intersections, cusps, etc.

Historically, surfaces were originally defined and constructed not using the abstract, intrinsic definition given above, but extrinsically, as subsets of Euclidean spaces such as E³.

Let f be a continuous, injective function from R² to R³. Then the image of f is said to be a parametric surface. A surface of revolution can be viewed as a special kind of parametric surface.

On the other hand, suppose that f is a smooth function from R³ to R whose gradient is nowhere zero. Then the locus of zeros of f is said to be an implicit surface. If the condition of non-vanishing gradient is dropped then the zero locus may develop singularities.

One can also define parametric and implicit surfaces in higher-dimensional Euclidean spaces Eⁿ. It is natural to ask whether all surfaces (defined abstractly, as in the preceding section) arise as subsets of some Eⁿ. The answer is yes; the Whitney embedding theorem, in the case of surfaces, states that any surface can be embedded homeomorphically into E⁴. Therefore the extrinsic and intrinsic approaches turn out to be equivalent.

In fact, any compact surface that is either orientable or has a boundary can be embedded in E³; on the other hand, the real projective plane, which is compact, non-orientable and without boundary, cannot be embedded into E³ (see Gramain). Steiner surfaces, including Boy's surface, the Roman surface and the cross-cap, are immersions of the real projective plane into E³. These surfaces are singular where the immersions intersect themselves.

The Alexander horned sphere is a well-known pathological embedding of the two-sphere into the three-sphere.

The chosen embedding (if any) of a surface into another space is regarded as extrinsic information; it is not essential to the surface itself. For example, a torus can be embedded into E³ in the "standard" manner (that looks like a bagel) or in a knotted manner (see figure). The two embedded tori are homeomorphic but not isotopic; they are topologically equivalent, but their embeddings are not.

Each closed surface can be constructed from an oriented polygon with an even number of sides, called a fundamental polygon of the surface, by pairwise identification of its edges. For example, in each polygon below, attaching the sides with matching labels (A with A, B with B), so that the arrows point in the same direction, yields the indicated surface.

sphere

real projective plane

torus

Klein bottle

Any fundamental polygon can be written symbolically as follows. Begin at any vertex, and proceed around the perimeter of the polygon in either direction until returning to the starting vertex. During this traversal, record the label on each edge in order, with an exponent of -1 if the edge points opposite to the direction of traversal. The four models above, when traversed clockwise starting at the upper left, yield

• sphere: ABB ^{− 1}A ^{− 1}
• real projective plane: ABAB
• torus: ABA ^{− 1}B ^{− 1}
• Klein bottle: ABA ^{− 1}B.

The expression thus derived from a fundamental polygon of a surface turns out to be the sole relation in a presentation of the fundamental group of the surface with the polygon edge labels as generators. This is a consequence of the Seifert–van Kampen theorem.

Gluing edges of polygons is a special kind of quotient space process. The quotient concept can be applied in greater generality to produce new or alternative constructions of surfaces. For example, the real projective plane can be obtained as the quotient of the sphere by identifying all pairs of opposite points on the sphere. Another example of a quotient is the connected sum.

The connected sum of two surfaces M and N, denoted M # N, is obtained by removing a disk from each of them and gluing them along the boundary components that result. The Euler characteristic χ of M # N is the sum of the Euler characteristics of the summands, minus two:

The sphere S is an identity element for the connected sum, meaning that S # M = M. This is because deleting a disk from the sphere leaves a disk, which simply replaces the disk deleted from M upon gluing.

Connected summation with the torus T has the effect of attaching a "handle" to the other summand M. If M is orientable, then so is T # M. The connected sum can be iterated to attach any number g of handles to M.

The connected sum of two real projective planes is the Klein bottle. The connected sum of the real projective plane and the Klein bottle is homeomorphic to the connected sum of the real projective plane with the torus. Any connected sum involving a real projective plane is nonorientable.

The classification of closed surfaces states that any closed surface is homeomorphic to some member of one of these three families:

1. the sphere;
2. the connected sum of g tori, for ;
3. the connected sum of k real projective planes, for .

The surfaces in the first two families are orientable. It is convenient to combine the two families by regarding the sphere as the connected sum of 0 tori. The number g of tori involved is called the genus of the surface. Since the sphere and the torus have Euler characteristics 2 and 0, respectively, it follows that the Euler characteristic of the connected sum of g tori is 2 − 2g.

The surfaces in the third family are nonorientable. Since the Euler characteristic of the real projective plane is 1, the Euler characteristic of the connected sum of k of them is 2 − k.

It follows that a closed surface is determined, up to homeomorphism, by two pieces of information: its Euler characteristic, and whether it is orientable or not. In other words, Euler characteristic and orientability completely classify closed surfaces up to homeomorphism.

It is also possible to define smooth surfaces, in which each point has a neighborhood diffeomorphic to some open set in E². This elaboration allows calculus to be applied to surfaces to prove many results.

Two smooth surfaces are diffeomorphic if and only if they are homeomorphic. (The analogous result does not hold for higher-dimensional manifolds.) Thus smooth surfaces are classified up to diffeomorphism by their Euler characteristic and orientability.

Smooth surfaces equipped with Riemannian metrics are of foundational importance in differential geometry. A Riemannian metric endows a surface with notions of geodesic, distance, angle, and area. Here are a few important classes of such surfaces.

• Minimal surfaces are surfaces that minimize the surface area for given boundary conditions; examples include soap films stretched across a wire frame, catenoids and helicoids.
• Developable surfaces are surfaces that can be flattened to a plane without stretching; examples include the cylinder and the cone.
• Ruled surfaces are surfaces that have at least one straight line running through every point; examples include the cylinder and the hyperboloid of one sheet.

Any n-dimensional complex manifold is, at the same time, a real (2n)-dimensional real manifold. Thus any complex one-manifold (also called a Riemann surface) is a smooth oriented surface with an associated complex structure. Every closed surface admits complex structures. Any complex algebraic curve or real algebraic surface is also a smooth surface, possibly with singularities.

Complex structures on a closed oriented surface correspond to conformal equivalence classes of Riemannian metrics on the surface. One version of the uniformization theorem (due to Poincaré) states that any Riemannian metric on an oriented, closed surface is conformally equivalent to an essentially unique metric of constant curvature. This provides a starting point for one of the approaches to Teichmüller theory, which provides a finer classification of Riemann surfaces than the topological one by Euler characteristic alone.

A complex surface is a complex two-manifold and thus a real four-manifold; it is not a surface in the sense of this article. Neither are algebraic curves or surfaces defined over fields other than the complex numbers.

The differential geometry of surfaces was developed in two highly influential papers of Karl Friedrich Gauss written in 1825 and 1827. The presentation below largely follows Gauss, but with important later contributions from other geometers. For a time Gauss was Cartographer to George III of Great Britain and Hannover; this royal patronage could explain why these papers contain practical calculations of the curvature of the earth based purely on measurements on the surface of the planet.

The Gaussian curvature at a point on an embedded smooth surface given locally by the equation z = F(x,y) in E³, is defined to be the product of the principal curvatures at the point. These are the maximum and minimum curvatures of the plane curves obtained by intersecting the surface with planes normal to the tangent plane at the point. If the point is (0, 0, 0) with tangent plane z = 0, then, after a rotation about the z-axis, F will have the Taylor series expansion

F(x, y) = k₁ x² + k₂ y² + ...

The principal curvatures are k₁ and k₂ and the Gaussian curvature K = k₁k₂. Since K is invariant under isometries of E³, in general

K = (RT − S²)/(1 + P² + Q²)²,

where the derivatives at the point are given by P = F_x, Q = F_y, R = F_{x x}, S = F_{x y}, and T = F_{y y}.

For every oriented embedded surface the Gauss map is the map into the unit sphere sending each point to the (outward pointing) unit vector normal to the oriented tangent plane at the point. In coordinates the map sends (x,y,z) to

N(x, y, z) = (P² + Q² + 1)^−1/2·(P, Q, −1).

Direct computation shows that K is the Jacobian of the Gauss map.

Taking a local chart, for example by projecting onto the x-y plane (z = 0), the line and area elements can be written in terms of local coordinates as

ds² = E dx² + 2F dx dy + G dy²

and

dA = (EG − F²)^1/2 dx dy.

Similarly line and area elements are associated to an abstract Riemannian 2-manifold. Given a piecewise smooth path c(t) = (x(t), y(t)) in the chart for t in [a, b], its length is defined by

and energy by

The length is independent of the parametrisation of a path. By the Euler-Lagrange equations, if c(t) is a path minimising length, parametrised by arclength, it must satisfy the Euler equations

+ Γ¹₁₁² + 2Γ¹₁₂ + Γ¹₂₂ ² =0 and + Γ²₁₁² + 2Γ²₁₂ + Γ²₂₂ ² =0

where the Christoffel symbols Γ^k_ij are given by

Γ^k_ij = g ^km (_j g_im +_i g_jm – _m g_ij)

where g₁₁ = E, g₁₂=F, g₂₂ =G and (g^ij) is the inverse matrix to (g_ij). A path satisfying the Euler equations is called a geodesic. By the Cauchy-Schwarz inequality a path minimising energy is just a geodesic parametrised by arc length; and, for any geodesic, the parameter t is proportional to arclength.

It is unknown at present, except in some special cases, whether every metric structure arises from a local embedding in E³. In 1926 Maurice Janet proved that this is always possible locally if E, F and G are analytic; soon afterwards Elie Cartan generalised this to local embeddings of Riemannian n-manifolds in E^m where m = ½(n² +n). To prove Janet's theorem near (0,0), the Cauchy-Kowalevski theorem is used twice to produce analytic geodesics orthogonal to the y-axis and then the x-axis to make an analytic change of coordinate so that E=1 and F=0. An isometric embedding u must satisfy

u_x • u_x =1, u_x • u_y = 0, u_y • u_y = G.

Differentiating gives the three additional equations

u_xx • u_y = 0, u_xx • u_x = 0, u_xx • u_yy = u_xy • u_{x y} - ½ G_xx

with u(0,y) and u_x(0,y) prescribed. These equations can be solved near (0,0) using the Cauchy-Kowalevski theorem and yield a solution of the original embedding equations.

When F=0 in the metric, lines parallel to the x- and y-axes are orthogonal and provide orthogonal coordinates. If in addition E=1 and H=G^½, then the angle between the geodesic and the line y= constant at their intersection is given by the equation

and satisfies the following equation of Gauss:

The theory of ordinary differential equations shows that if f(t, v) is smooth then the differential equation dv/dt = f(t,v) with initial condition v(0) = v₀ has a unique solution for |t| sufficiently small and the solution depends smoothly on t and v₀. This implies that for sufficiently small tangent vectors v at a given point p = (x₀,y₀), there is a geodeic c_v(t) defined on (-2,2) with c_v(0) = (x₀,y₀) and _v(0) = v. Moreover if |s| ≤ 1, then c_sv = c_v(st). The exponential map is defined by

exp_p(v) = c_v (1)

and gives a diffeomorphism between a disc ||v|| < δ and a neighbourhood of p; more generally the map sending (p,v) to exp_p(v) gives a local diffeomorphism onto a neighbourhood of (p,p). The exponential map gives geodesic normal coordinates near p. In these coordinates the matrix g(x) satisfies g(0) = I and the lines t tv are geodesics through 0. Euler's equations imply the matrix equation

g(v)v = v,

a key result, usually called the Gauss lemma. Geometrically it states that the geodesics through 0 cut the circles centred at 0 orthogonally. Taking polar coordinates (r,θ), it follows that the metric has the form

ds² = dr² + G(r,θ) dθ².

In geodesic coordinates, it is easy to check that the geodesics through zero minimize length. The topology on the Riemannian manifold is then given by a distance function d(p,q), namely the infimum of the lengths of piecewise smooth paths between p and q. This distance is realised locally by geodesics, so that in normal coordinates d(0,v) = ||v||. If the radius δ is taken small enough, a slight sharpening of the Gauss lemma shows that the image U of the disc ||v|| < δ under the exponential map is geodesically convex, i.e. any two points in U are joined by a unique geodesic lying entirely inside U.

There is a standard technique (see for example Berger (2004)) for computing the change of variables to normal coordinates u, v at a point as a formal Taylor series expansion. If the coordinates x, y at (0,0) are locally orthogonal, write

x(u,v) = α u + L(u,v) + λ(u,v) + ···

y(u,v) = β v + M(u,v) + μ(u,v) + ···

where L, M are quadratic and λ, μ cubic homogeneous polynomials in u and v. If u and v are fixed, x(t) = x(tu,tv) and y(t) = y(tu, tv) can be considered as formal power series solutions of the Euler equations: this uniquely determines α, β, L, M, λ and μ.

Taking x and y coordinates of a surface in E³ corresponding to F(x,y) = k₁ x² + k₂ y² + ···, the power series expansion of the metric is given in normal coordinates as

ds² = du² + dv² – K(u dv – v du)²/12 + ···

This extraordinary result — Gauss' Theorema Egregium — shows that the Gaussian curvature of a surface can be computed solely in terms of the metric and is thus an intrinsic invariant of the surface, independent of any embedding in E³ and unchanged under coordinate transformations. In particular isometries of surfaces preserve Gaussian curvature.

Taking a coordinate change from normal coordinates at p to normal coordinates at a nearby point q, yields the Sturm-Liouville equation satisfied by H(r,θ) = G(r,θ)^½, discovered by Gauss and later generalised by Jacobi,

H_rr = – K H.

The Jacobian of this coordinate change at q is equal to H_r.

Gauss proved that, if Δ is a geodesic triangle on a surface with angles α, β and γ at vertices A, B and C, then

_Δ K dA = α + β + γ - π.

In fact taking geodesic polar coordinates with origin A and AB, AC the radii at polar angles 0 and α

_Δ K dA =_Δ KH dr dθ = – H_rr dr dθ = 1- H_r(r_θ,θ) dθ = dθ + dφ = α + β + γ - π.

Gauss' formula shows that the curvature at a point can be calculated as the limit of angle excess α + β + γ - π over area for successively smaller geodesic triangles near the point. Qualitatively a surface is positively or negatively curved according to the sign of the angle excess for arbitrarily small geodesic triangles.

Since every compact oriented 2-manifold M can be triangulated by small geodesic triangles, it follows that

_M K dA = 2π·χ(M).

In fact if there are t triangles, e edges and v vertices, then 3t = 2e and the left hand side equals 2π·v – π·t = 2π·(v – e + t) = 2π·χ(M).

This is the celebrated Gauss-Bonnet theorem: it shows that the integral of the Gaussian curvature is a topological invariant of the manifold, namely the Euler characteristic. This theorem can be interpreted in many ways; perhaps one of the most far-reaching has been as the index theorem for an elliptic differential operator on M, one of the simplest cases of the Atiyah-Singer index theorem. Another related result, which can be proved using the Gauss-Bonnet theorem, is the Poincaré-Hopf index theorem for vector fields on M which vanish at only a finite number of points: the sum of the indices at these points equals the Euler characteristic. (On a small circle round each isolated zero, the vector field defines a map into the unit circle; the index is just the winding number of this map.)

If the Gaussian curvature of a surface M is everywhere positive, then the Euler characteristic is positive so M is homeomorphic (and therefore diffeomorphic) to S². If in addition the surface is isometrically embedded in E³, the Gauss map provides an explicit diffeomorphism. As Hadamard observed, in this case the surface is convex; this criterion for convexity can be viewed as a 2-dimensional generalisation of the well-known second derivative criterion for convexity of plane curves. Hilbert proved that every isometrically embedded closed surface must have a point of positive curvature. Thus a closed Riemannian 2-manifold of non-positive curvature can never be embedded isometrically in E³; however, as Adriano Garsia showed using the Beltrami equation for quasiconformal mappings, this is always possible for some conformally equivalent metric.

In a region where the curvature of the surface satisfies K≤0, geodesic triangles satisfy the CAT(0) inequalities of comparison geometry, studied by Cartan, Alexandrov and Toponogov and considered later from a different point of view by Bruhat and Tits; thanks to the vision of Gromov, this characterisation of non-positive curvature in terms of the underlying metric space has had a profound impact on modern geometry and in particular geometric group theory.

The simplest form of the comparison inequality, first proved for surfaces by Alexandrov around 1940, states that the distance between a vertex of a geodesic triangle and the midpoint of the opposite side is always less than the corresponding distance in the triangle in the plane with the same side-lengths. The inequality follows from the fact that if c(t) describes a geodesic parametrised by arclength and a is a fixed point, then

f(t) = d(a,c(t))² - t²

is a convex function, i.e.

Taking geodesic polar coordinates with origin at a so that ||c(t)|| = r(t), convexity is equivalent to

Changing to normal coordinates u, v at c(t), this inequality becomes

u² +H ^{- 1} H_r v² ≥ 1,

where (u,v) corresponds to the unit vector . This follows from the inequality H_r ≥ H, a consequence of the non-negativity of the derivative of the Wronskian of H and r from Sturm-Liouville theory.

For closed surfaces of non-positive curvature, Hans von Mangoldt (1881) and Jacques Hadamard (1898) proved that the exponential map at a point is a covering map, so that the universal covering space of the manifold is R². This result was generalised to higher dimensions by Elie Cartan and is usually referred to in this form as the Cartan-Hadamard Theorem. For surfaces, this result follows from three important facts:

• The exponential map has non-zero Jacobian everywhere for non-positively curved surfaces, a consequence of the non-vanishing of H_r.

• Every geodesic is infinitely extendible, a result known as the Hopf-Rinow theorem for n-dimensional manifolds. In two dimensions, if a geodesic tended at infinity towards a point x, a closed disc D centred on a nearby point y with x removed would be contractible to y along geodesics, a topological impossibility.

• Every two points are connected by a unique geodesic. This can be deduced from the curve shortening process of George Birkhoff, published in 1917, that eventually won him the prestigious Bôcher memorial prize and was to have a profound influence on Marston Morse's development of Morse theory in infinite dimensions and also on the theory of dynamical systems.

Birkhoff's curve shortening process replaces a loop or a path, with a given subdivision into segments, by geodesics between the points of subdivision, and then repeats this process for the midpoints of the subdivision. The process diminishes the energy. Since the resulting curves are equicontinuous and therefore by the generalised Arzela-Ascoli theorem form a compact subset in the space of continuous loops or paths, iteration of the process produces a geodesic in each homotopy class of loop or path. If the surface is negatively curved, this geodesic is unique. In fact on a negatively curved suface, the distance between corresponding points on two geodesics is a convex function of arclength; thus, if two geodesics have the same endpoints, they must coincide everywhere. The method of Birkhoff allows the study of the energy flow on the infinite-dimensional loop space to be reduced to a discrete dynamical system on a finite-dimensional space.

• Volume form, for volumes of surfaces in Eⁿ
• Poincaré metric, for metric properties of Riemann surfaces
• Area element, the area of a differential element of a surface

• Gramain, André (1984). Topology of Surfaces. BCS Associates. ISBN 091435101X.  (Original 1969-70 Orsay course notes in French for "Topologie des Surfaces")
• Bredon, Glen E. (1993). Topology and Geometry. Springer-Verlag. ISBN 0-387-97926-3. 
• Massey, William S. (1991). A Basic Course in Algebraic Topology. Springer-Verlag. ISBN 0-387-97430-X. 
• Berger, Marcel (2004). A Panoramic View of Riemannian Geometry. Springer-Verlag. ISBN 3-540-65317-1. 
• Singer, Isadore M. and Thorpe, John A. (1967). Lecture Notes on Elementary Topology and Geometry. Springer-Verlag. ISBN 0-387-90202-3. 
• O'Neill, Barrett (1997). Elementary Differential Geometry. Academic Press. ISBN 0-12-526745-2. 
• do Carmo, Manfredo P. (1976). Differential Geometry of Curves and Surfaces. Prentice-Hall. ISBN 0132125897. 
• Eisenhart, Luther P. (2004). A Treatise on the Differential Geometry of Curves and Surfaces. Dover. ISBN 0486438201. 
• Han, Qing and Hong, Jia-Xing (2006). Isometric Embedding of Riemannian Manifolds in Euclidean Spaces. American Mathematical Society. ISBN 0821840711. 

• Math Surfaces Gallery, with 60 ~surfaces and Java Applet for live rotation viewing
• 3D Graph Explorer, a free java applet/application to explore mathematically defined surfaces