In differential geometry, the **Gaussian curvature** or **Gauss curvature**Κ of a surface at a point is the product of the principal curvatures, *κ*_{1} and *κ*_{2}, at the given point:

- Informal definition
- Relation to geometries
- Relation to principal curvatures
- Alternative definitions
- Total curvature
- Important theorems
- Theorema egregium
- Gauss–Bonnet theorem
- Surfaces of constant curvature
- Alternative formulas
- See also
- References
- Books
- External links

The **Gaussian radius of curvature** is the reciprocal of Κ. For example, a sphere of radius r has Gaussian curvature 1/*r*^{2} everywhere, and a flat plane and a cylinder have Gaussian curvature zero everywhere. The Gaussian curvature can also be negative, as in the case of a hyperboloid or the inside of a torus.

Gaussian curvature is an *intrinsic* measure of curvature, depending only on distances that are measured on the surface, not on the way it is isometrically embedded in Euclidean space. This is the content of the * Theorema egregium *.

Gaussian curvature is named after Carl Friedrich Gauss, who published the * Theorema egregium * in 1827.

At any point on a surface, we can find a normal vector that is at right angles to the surface; planes containing the normal vector are called * normal planes *. The intersection of a normal plane and the surface will form a curve called a * normal section * and the curvature of this curve is the * normal curvature *. For most points on most surfaces, different normal sections will have different curvatures; the maximum and minimum values of these are called the principal curvatures, call these *κ*_{1}, *κ*_{2}. The **Gaussian curvature** is the product of the two principal curvatures *Κ* = *κ*_{1}*κ*_{2}.

The sign of the Gaussian curvature can be used to characterise the surface.

- If both principal curvatures are of the same sign:
*κ*_{1}*κ*_{2}> 0, then the Gaussian curvature is positive and the surface is said to have an elliptic point. At such points, the surface will be dome like, locally lying on one side of its tangent plane. All sectional curvatures will have the same sign. - If the principal curvatures have different signs:
*κ*_{1}*κ*_{2}< 0, then the Gaussian curvature is negative and the surface is said to have a hyperbolic or saddle point. At such points, the surface will be saddle shaped. Because one principal curvature is negative, one is positive, and the normal curvature varies continuously if you rotate a plane orthogonal to the surface around the normal to the surface in two directions, the normal curvatures will be zero giving the asymptotic curves for that point. - If one of the principal curvatures is zero:
*κ*_{1}*κ*_{2}= 0, the Gaussian curvature is zero and the surface is said to have a parabolic point.

Most surfaces will contain regions of positive Gaussian curvature (elliptical points) and regions of negative Gaussian curvature separated by a curve of points with zero Gaussian curvature called a parabolic line.

When a surface has a constant zero Gaussian curvature, then it is a developable surface and the geometry of the surface is Euclidean geometry.

When a surface has a constant positive Gaussian curvature, then the geometry of the surface is spherical geometry. Spheres and patches of spheres have this geometry, but there exist other examples as well, such as the football.

When a surface has a constant negative Gaussian curvature, then it is a pseudospherical surface and the geometry of the surface is hyperbolic geometry.

The two **principal curvatures** at a given point of a surface are the eigenvalues of the shape operator at the point. They measure how the surface bends by different amounts in different directions at that point. We represent the surface by the implicit function theorem as the graph of a function, f, of two variables, in such a way that the point p is a critical point, that is, the gradient of f vanishes (this can always be attained by a suitable rigid motion). Then the Gaussian curvature of the surface at p is the determinant of the Hessian matrix of f (being the product of the eigenvalues of the Hessian). (Recall that the Hessian is the 2×2 matrix of second derivatives.) This definition allows one immediately to grasp the distinction between a cup/cap versus a saddle point.

It is also given by

where ∇_{i} = ∇_{ei} is the covariant derivative and g is the metric tensor.

At a point **p** on a regular surface in **R**^{3}, the Gaussian curvature is also given by

where S is the shape operator.

A useful formula for the Gaussian curvature is Liouville's equation in terms of the Laplacian in isothermal coordinates.

The surface integral of the Gaussian curvature over some region of a surface is called the **total curvature**. The total curvature of a geodesic triangle equals the deviation of the sum of its angles from π. The sum of the angles of a triangle on a surface of positive curvature will exceed π, while the sum of the angles of a triangle on a surface of negative curvature will be less than π. On a surface of zero curvature, such as the Euclidean plane, the angles will sum to precisely π radians.

A more general result is the Gauss–Bonnet theorem.

Gauss's *Theorema egregium* (Latin: "remarkable theorem") states that Gaussian curvature of a surface can be determined from the measurements of length on the surface itself. In fact, it can be found given the full knowledge of the first fundamental form and expressed via the first fundamental form and its partial derivatives of first and second order. Equivalently, the determinant of the second fundamental form of a surface in **R**^{3} can be so expressed. The "remarkable", and surprising, feature of this theorem is that although the *definition* of the Gaussian curvature of a surface S in **R**^{3} certainly depends on the way in which the surface is located in space, the end result, the Gaussian curvature itself, is determined by the intrinsic metric of the surface without any further reference to the ambient space: it is an intrinsic invariant. In particular, the Gaussian curvature is invariant under isometric deformations of the surface.

In contemporary differential geometry, a "surface", viewed abstractly, is a two-dimensional differentiable manifold. To connect this point of view with the classical theory of surfaces, such an abstract surface is embedded into **R**^{3} and endowed with the Riemannian metric given by the first fundamental form. Suppose that the image of the embedding is a surface S in **R**^{3}. A *local isometry* is a diffeomorphism *f* : *U* → *V* between open regions of **R**^{3} whose restriction to *S* ∩ *U* is an isometry onto its image. *Theorema egregium* is then stated as follows:

The Gaussian curvature of an embedded smooth surface in **R**^{3} is invariant under the local isometries.

For example, the Gaussian curvature of a cylindrical tube is zero, the same as for the "unrolled" tube (which is flat).^{ [1] }^{[ page needed ]} On the other hand, since a sphere of radius R has constant positive curvature *R*^{−2} and a flat plane has constant curvature 0, these two surfaces are not isometric, not even locally. Thus any planar representation of even a small part of a sphere must distort the distances. Therefore, no cartographic projection is perfect.

The Gauss–Bonnet theorem links the total curvature of a surface to its Euler characteristic and provides an important link between local geometric properties and global topological properties.

**Minding's theorem**(1839) states that all surfaces with the same constant curvature K are locally isometric. A consequence of Minding's theorem is that any surface whose curvature is identically zero can be constructed by bending some plane region. Such surfaces are called developable surfaces. Minding also raised the question of whether a closed surface with constant positive curvature is necessarily rigid.**Liebmann's theorem**(1900) answered Minding's question. The only regular (of class*C*^{2}) closed surfaces in**R**^{3}with constant positive Gaussian curvature are spheres.^{ [2] }If a sphere is deformed, it does not remain a sphere, proving that a sphere is rigid. A standard proof uses Hilbert's lemma that non-umbilical points of extreme principal curvature have non-positive Gaussian curvature.^{ [3] }**Hilbert's theorem**(1901) states that there exists no complete analytic (class*C*^{ω}) regular surface in**R**^{3}of constant negative Gaussian curvature. In fact, the conclusion also holds for surfaces of class*C*^{2}immersed in**R**^{3}, but breaks down for*C*^{1}-surfaces. The pseudosphere has constant negative Gaussian curvature except at its singular cusp.^{ [4] }

There are other surfaces which have constant positive Gaussian curvature. Manfredo do Carmo considers surfaces of revolution where , and (an incomplete Elliptic integral of the second kind). These surfaces all have constant Gaussian curvature of 1, but, for either have a boundary or a singular point. do Carmo also gives three different examples of surface with constant negative Gaussian curvature, one of which is pseudosphere.^{ [5] }

There are many other possible bounded surfaces with constant Gaussian curvature. Whilst the sphere is rigid and can not be bent using an isometry, if a small region removed, or even a cut along a small segment, then the resulting surface can be bent. Such bending preserves Gaussian curvature so any such bending of a sphere with a region removed will also have constant Gaussian curvature.^{ [6] }

- Gaussian curvature of a surface in
**R**^{3}can be expressed as the ratio of the determinants of the second and first fundamental forms II and I:

- The
**Brioschi formula**gives Gaussian curvature solely in terms of the first fundamental form:

- For an
**orthogonal parametrization**(*F*= 0), Gaussian curvature is:

- For a surface described as graph of a function
*z*=*F*(*x*,*y*) with and , Gaussian curvature at is:^{[ citation needed ]}

- For an implicitly defined surface,
*F*(*x*,*y*,*z*) = 0, the Gaussian curvature can be expressed in terms of the gradient ∇*F*and Hessian matrix*H*(*F*):^{ [7] }^{ [8] }

- For a surface with metric conformal to the Euclidean one, so
*F*= 0 and*E*=*G*=*e*, the Gauss curvature is given by (Δ being the usual Laplace operator):^{σ}

- Gaussian curvature is the limiting difference between the
**circumference of a geodesic circle**and a circle in the plane:^{ [9] }

- Gaussian curvature is the limiting difference between the
**area of a geodesic disk**and a disk in the plane:^{ [9] }

- Gaussian curvature may be expressed with the
**Christoffel symbols**:^{ [10] }

In mathematics, **curvature** is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

In geometry, a **geodesic** is commonly a curve representing in some sense the shortest path (arc) between two points in a surface, or more generally in a Riemannian manifold. The term also has meaning in any differentiable manifold with a connection. It is a generalization of the notion of a "straight line" to a more general setting.

In the mathematical field of differential geometry, the **Riemann curvature tensor** or **Riemann–Christoffel tensor** is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold. It is a local invariant of Riemannian metrics which measure the failure of second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is *flat*, i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

In Riemannian or pseudo Riemannian geometry, the **Levi-Civita connection** is the unique connection on the tangent bundle of a manifold that preserves the (pseudo-)Riemannian metric and is torsion-free.

In differential geometry, the **Ricci curvature tensor**, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In geometry, **parallel transport** is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection, then this connection allows one to transport vectors of the manifold along curves so that they stay *parallel* with respect to the connection.

In Riemannian geometry, the **sectional curvature** is one of the ways to describe the curvature of Riemannian manifolds with dimension greater than 2. The sectional curvature *K*(σ_{p}) depends on a two-dimensional linear subspace σ_{p} of the tangent space at a point *p* of the manifold. It can be defined geometrically as the Gaussian curvature of the surface which has the plane σ_{p} as a tangent plane at *p*, obtained from geodesics which start at *p* in the directions of σ_{p}. The sectional curvature is a real-valued function on the 2-Grassmannian bundle over the manifold.

In Riemannian geometry, the **scalar curvature** is the simplest curvature invariant of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the intrinsic geometry of the manifold near that point. Specifically, the scalar curvature represents the amount by which the volume of a small geodesic ball in a Riemannian manifold deviates from that of the standard ball in Euclidean space. In two dimensions, the scalar curvature is twice the Gaussian curvature, and completely characterizes the curvature of a surface. In more than two dimensions, however, the curvature of Riemannian manifolds involves more than one functionally independent quantity.

In mathematics, and especially differential geometry and gauge theory, a **connection** on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a **linear connection** on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a *covariant derivative*, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In mathematics, the **covariant derivative** is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

In mathematics, the **mean curvature** of a surface is an *extrinsic* measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space.

In mathematics, a **Killing vector field**, named after Wilhelm Killing, is a vector field on a Riemannian manifold that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point on an object the same distance in the direction of the **Killing vector** will not distort distances on the object.

A **parametric surface** is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.

In differential geometry, the notion of **torsion** is a manner of characterizing a twist or screw of a moving frame around a curve. The torsion of a curve, as it appears in the Frenet–Serret formulas, for instance, quantifies the twist of a curve about its tangent vector as the curve evolves. In the geometry of surfaces, the *geodesic torsion* describes how a surface twists about a curve on the surface. The companion notion of curvature measures how moving frames "roll" along a curve "without twisting".

In the mathematical field of differential geometry, a smooth map from one Riemannian manifold to another Riemannian manifold is called **harmonic** if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional generalizing the Dirichlet energy. As such, the theory of harmonic maps encompasses both the theory of unit-speed geodesics in Riemannian geometry, and the theory of harmonic functions on open subsets of Euclidean space and on Riemannian manifolds.

In Riemannian geometry and pseudo-Riemannian geometry, the **Gauss–Codazzi equations** are fundamental formulas which link together the induced metric and second fundamental form of a submanifold of a Riemannian or pseudo-Riemannian manifold.

In mathematics, the **differential geometry of surfaces** deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: *extrinsically*, relating to their embedding in Euclidean space and *intrinsically*, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In mathematics, the **Riemannian connection on a surface** or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.

In geometry, the **Clifton–Pohl torus** is an example of a compact Lorentzian manifold that is not geodesically complete. While every compact Riemannian manifold is also geodesically complete, this space shows that the same implication does not generalize to pseudo-Riemannian manifolds. It is named after Yeaton H. Clifton and William F. Pohl, who described it in 1962 but did not publish their result.

In the mathematical field of differential geometry, a **biharmonic map** is a map between Riemannian or pseudo-Riemannian manifolds which satisfies a certain fourth-order partial differential equation. A **biharmonic submanifold** refers to an embedding or immersion into a Riemannian or pseudo-Riemannian manifold which is a biharmonic map when the domain is equipped with its induced metric. The problem of understanding biharmonic maps was posed by James Eells and Luc Lemaire in 1983. The study of harmonic maps, of which the study of biharmonic maps is an outgrowth, had been an active field of study for the previous twenty years. A simple case of biharmonic maps is given by biharmonic functions.

- ↑ Porteous, I. R. (1994).
*Geometric Differentiation*. Cambridge University Press. ISBN 0-521-39063-X. - ↑ Kühnel, Wolfgang (2006).
*Differential Geometry: Curves, Surfaces, Manifolds*. American Mathematical Society. ISBN 0-8218-3988-8. - ↑ Gray, Alfred (1997). "28.4 Hilbert's Lemma and Liebmann's Theorem".
*Modern Differential Geometry of Curves and Surfaces with Mathematica*(2nd ed.). CRC Press. pp. 652–654. ISBN 9780849371646.. - ↑ "Hilbert theorem",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994] - ↑ Carmo, Manfredo Perdigão do (2016) [First published 1976].
*Differential geometry of curves and surfaces*(2nd ed.). Mineola, NY: Dover Publications. p. 171. ISBN 978-0-486-80699-0 – via zbMATH. - ↑ Hilbert, David; Cohn-Vossen, Stephan (1952).
*Geometry and the Imagination*(2nd ed.). Chelsea. p. 228. ISBN 0-8284-1087-9. - ↑ Goldman, R. (2005). "Curvature formulas for implicit curves and surfaces".
*Computer Aided Geometric Design*.**22**(7): 632. CiteSeerX 10.1.1.413.3008 . doi:10.1016/j.cagd.2005.06.005. - ↑ Spivak, M. (1975).
*A Comprehensive Introduction to Differential Geometry*.**3**. Boston: Publish or Perish. - 1 2 Bertrand–Diquet–Puiseux theorem
- ↑ Struik, Dirk (1988).
*Lectures on Classical Differential Geometry*. Courier Dover Publications. ISBN 0-486-65609-8.

- Grinfeld, P. (2014).
*Introduction to Tensor Analysis and the Calculus of Moving Surfaces*. Springer. ISBN 1-4614-7866-9.

- "Gaussian curvature",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994]

This page is based on this Wikipedia article

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.

Text is available under the CC BY-SA 4.0 license; additional terms may apply.

Images, videos and audio are available under their respective licenses.