Scribd
Upload
190 views1 page

Theorema Egregium The Gaussian Curvature of Surfaces Is Preserved by Local Isometries

The Gaussian curvature of a surface is a measure of how curved the surface is that is preserved under local isometries. The Gaussian curvature of a cylinder is 0 everywhere since it can be wrapped onto a flat plane without distortion, while the Gaussian curvature of a catenoid is a negative bell-shaped curve defined by a calculus-based formula involving the surface's fundamental forms. Gauss's Theorema Egregium established that Gaussian curvature is an intrinsic property of a surface independent of how it is embedded in 3D space.

Uploaded by

Coie8t
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
190 views1 page

Theorema Egregium The Gaussian Curvature of Surfaces Is Preserved by Local Isometries

The Gaussian curvature of a surface is a measure of how curved the surface is that is preserved under local isometries. The Gaussian curvature of a cylinder is 0 everywhere since it can be wrapped onto a flat plane without distortion, while the Gaussian curvature of a catenoid is a negative bell-shaped curve defined by a calculus-based formula involving the surface's fundamental forms. Gauss's Theorema Egregium established that Gaussian curvature is an intrinsic property of a surface independent of how it is embedded in 3D space.

Uploaded by

Coie8t
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

THEOREM OF THE DAY

Theorema Egregium The Gaussian curvature of surfaces is preserved by local isometries.

Cylinder
(u, cos v, sin v), Catenoid
−1 ≤ u ≤ 1, (u, cosh u cos v, cosh u sin v),
−τ/2 ≤ v < τ/2 −1 ≤ u ≤ 1,
(τ = 2π) −τ/2 ≤ v < τ/2

Gauss discovered a wonderful way to specify


how ‘curved’ a surface is: for a curve γ in
3-space we measure the rate of change of Now, take a
small region R Then
direction of the tangent vector to γ per unit
length; for a surface S we measure the rate of on S , surrounding area(G(R))
,
change of the normal vector to the tangent plane point p. Let G(R) de- area(R)
per unit area. Gauss made this idea precise by trans- note the region plotted on as R shrinks to
lating and scaling the normal vector so that it became a the surface of the unit sphere by the point p, defines the
radius vector in the unit sphere: this is the so-called Gauss map G. −→ Gauss map of the normal vectors within R. −→ −→ Gaussian curvature K of S at p.
We can at once see that the cylinder, top-left in the illustration, has Gaussian curvature K = 0 everywhere. This is because all normal vectors on the surface will map
to the same curve on the surface of the unit sphere (bottom-centre in the illustration); this curve has zero area, so the numerator in the definition of K vanishes. One
might protest that the cylinder has a self-evidently curved surface, but Gauss was capturing a deeper distinction between surfaces. There is no distinction between the
cylinder and a flat piece of paper in that the latter can be wrapped around the former without distorting distances; this ‘wrapping’ function is an example of a local
isometry: a function which maps any curve onto one of the same length.
The value of K for the catenoid (top-right) is less immediate, but differential geometry brings calculus to our aid: we calculate K as (LN − M 2 )/(EG − F 2 ) where E, F, G,
and L, M and N are the coefficients of the first and second fundamental forms of the surface, respectively, calculated from its parameterisation σ(u, v) in terms of the
first and second partial derivatives with respect to u and v. For the catenoid, we derive the value K = −sech4 u, a bell-shaped curve whose value is always negative.
The ‘egregious’ (remarkable) implication of Gauss’s 1827 theorem is that Gaussian curvature is an ‘intrinsic’ property
of a surface. To paraphrase: a 2-D bug can determine for itself whether it lives on a cylinder or a catenoid.
Web link: people.maths.ox.ac.uk/hitchin/hitchinnotes/hitchinnotes.html (Ch. 3 of Geometry of Surfaces)
Further reading: Elementary Differential Geometry by Andrew N. Pressley, Springer, London, 2nd edition, 2010, chapters 7 and 8.
Created by Robin Whitty for www.theoremoftheday.org

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy