Theorema Egregium

Last updated

A consequence of the Theorema Egregium is that the Earth cannot be displayed on a map without distortion. The Mercator projection preserves angles but fails to preserve area, hence the massive distortion of Antarctica. Mercator-proj.png
A consequence of the Theorema Egregium is that the Earth cannot be displayed on a map without distortion. The Mercator projection preserves angles but fails to preserve area, hence the massive distortion of Antarctica.

Gauss's Theorema Egregium (Latin for "Remarkable Theorem") is a major result of differential geometry, proved by Carl Friedrich Gauss in 1827, that concerns the curvature of surfaces. The theorem says that Gaussian curvature can be determined entirely by measuring angles, distances and their rates on a surface, without reference to the particular manner in which the surface is embedded in the ambient 3-dimensional Euclidean space. In other words, the Gaussian curvature of a surface does not change if one bends the surface without stretching it. Thus the Gaussian curvature is an intrinsic invariant of a surface.

Contents

Gauss presented the theorem in this manner (translated from Latin):

Thus the formula of the preceding article leads itself to the remarkable Theorem. If a curved surface is developed upon any other surface whatever, the measure of curvature in each point remains unchanged.
Gauss's original statement of the Theorema Egregium, translated from Latin into English. Gauss's original statement of the Theorema Egregium.png
Gauss's original statement of the Theorema Egregium, translated from Latin into English.

The theorem is "remarkable" because the definition of Gaussian curvature makes ample reference to the specific way the surface is embedded in 3-dimensional space, and it is quite surprising that the result does not depend on its embedding.

In modern mathematical terminology, the theorem may be stated as follows:

The Gaussian curvature of a surface is invariant under local isometry.

Elementary applications

Animation showing the deformation of a helicoid into a catenoid. The deformation is accomplished by bending without stretching. During the process, the Gaussian curvature of the surface at each point remains constant. Helicatenoid.gif
Animation showing the deformation of a helicoid into a catenoid. The deformation is accomplished by bending without stretching. During the process, the Gaussian curvature of the surface at each point remains constant.

A sphere of radius R has constant Gaussian curvature which is equal to 1/R2. At the same time, a plane has zero Gaussian curvature. As a corollary of Theorema Egregium, a piece of paper cannot be bent onto a sphere without crumpling. Conversely, the surface of a sphere cannot be unfolded onto a flat plane without distorting the distances. If one were to step on an empty egg shell, its edges have to split in expansion before being flattened. Mathematically, a sphere and a plane are not isometric, even locally. This fact is significant for cartography: it implies that no planar (flat) map of Earth can be perfect, even for a portion of the Earth's surface. Thus every cartographic projection necessarily distorts at least some distances. [1]

The catenoid and the helicoid are two very different-looking surfaces. Nevertheless, each of them can be continuously bent into the other: they are locally isometric. It follows from Theorema Egregium that under this bending the Gaussian curvature at any two corresponding points of the catenoid and helicoid is always the same. Thus isometry is simply bending and twisting of a surface without internal crumpling or tearing, in other words without extra tension, compression, or shear.

An application of the theorem is seen when a flat object is somewhat folded or bent along a line, creating rigidity in the perpendicular direction. This is of practical use in construction, as well as in a common pizza-eating strategy: A flat slice of pizza can be seen as a surface with constant Gaussian curvature 0. Gently bending a slice must then roughly maintain this curvature (assuming the bend is roughly a local isometry). If one bends a slice horizontally along a radius, non-zero principal curvatures are created along the bend, dictating that the other principal curvature at these points must be zero. This creates rigidity in the direction perpendicular to the fold, an attribute desirable for eating pizza, as it holds its shape long enough to be consumed without a mess. This same principle is used for strengthening in corrugated materials, most familiarly with corrugated fiberboard and corrugated galvanised iron, [2] and in some forms of potato chips as well.

See also

Notes

  1. Geodetical applications were one of the primary motivations for Gauss's "investigations of the curved surfaces".
  2. wired.com

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

<span class="mw-page-title-main">Sphere</span> Set of points equidistant from a center

A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the center of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.

The Nash embedding theorems, named after John Forbes Nash Jr., state that every Riemannian manifold can be isometrically embedded into some Euclidean space. Isometric means preserving the length of every path. For instance, bending but neither stretching nor tearing a page of paper gives an isometric embedding of the page into Euclidean space because curves drawn on the page retain the same arclength however the page is bent.

In geometry, a pseudosphere is a surface with constant negative Gaussian curvature.

<span class="mw-page-title-main">Curvature</span> Mathematical measure of how much a curve or surface deviates from flatness

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

<span class="mw-page-title-main">Gauss–Bonnet theorem</span> Theorem in differential geometry

In the mathematical field of differential geometry, the Gauss–Bonnet theorem is a fundamental formula which links the curvature of a surface to its underlying topology.

<span class="mw-page-title-main">Riemannian manifold</span> Smooth manifold with an inner product on each tangent space

In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the -sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them.

Riemannian geometry is the branch of differential geometry that studies Riemannian manifolds, defined as smooth manifolds with a Riemannian metric. This gives, in particular, local notions of angle, length of curves, surface area and volume. From those, some other global quantities can be derived by integrating local contributions.

<span class="mw-page-title-main">Catenoid</span> Surface of revolution of a catenary

In geometry, a catenoid is a type of surface, arising by rotating a catenary curve about an axis. It is a minimal surface, meaning that it occupies the least area when bounded by a closed space. It was formally described in 1744 by the mathematician Leonhard Euler.

<span class="mw-page-title-main">Gaussian curvature</span> Product of the principal curvatures of a surface

In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point: For example, a sphere of radius r has Gaussian curvature 1/r2 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.

<span class="mw-page-title-main">Hyperbolic space</span> Non-Euclidean geometry

In mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to −1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.

<span class="mw-page-title-main">Homotopy principle</span>

In mathematics, the homotopy principle is a very general way to solve partial differential equations (PDEs), and more generally partial differential relations (PDRs). The h-principle is good for underdetermined PDEs or PDRs, such as the immersion problem, isometric immersion problem, fluid dynamics, and other areas.

<span class="mw-page-title-main">Eugenio Calabi</span> Italian-born American mathematician (1923–2023)

Eugenio Calabi was an Italian-born American mathematician and the Thomas A. Scott Professor of Mathematics at the University of Pennsylvania, specializing in differential geometry, partial differential equations and their applications.

<span class="mw-page-title-main">Helicoid</span> Mathematical shape

The helicoid, also known as helical surface, is a smooth surface embedded in three-dimensional space. It is the surface traced by an infinite line that is simultaneously being rotated and lifted along its fixed axis of rotation. It is the third minimal surface to be known, after the plane and the catenoid.

<span class="mw-page-title-main">Willmore energy</span>

In differential geometry, the Willmore energy is a quantitative measure of how much a given surface deviates from a round sphere. Mathematically, the Willmore energy of a smooth closed surface embedded in three-dimensional Euclidean space is defined to be the integral of the square of the mean curvature minus the Gaussian curvature. It is named after the English geometer Thomas Willmore.

<span class="mw-page-title-main">Developable surface</span> Surface able to be flattened without distortion

In mathematics, a developable surface is a smooth surface with zero Gaussian curvature. That is, it is a surface that can be flattened onto a plane without distortion. Conversely, it is a surface which can be made by transforming a plane. In three dimensions all developable surfaces are ruled surfaces. There are developable surfaces in four-dimensional space which are not ruled.

In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface of constant negative gaussian curvature immersed in . This theorem answers the question for the negative case of which surfaces in can be obtained by isometrically immersing complete manifolds with constant curvature.

<span class="mw-page-title-main">Differential geometry of surfaces</span> The mathematics of smooth surfaces

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric.

References