Gauss map

Gauss map

In differential geometry, the Gauss map (named after Carl F. Gauss) maps a surface in Euclidean space R3 to the unit sphere "S"2. Namely, given a surface "X" lying in R3, the Gauss map is a continuous map "N": "X" → "S"2 such that "N"("p") is a unit vector orthogonal to "X" at "p", namely the normal vector to "X" at "p".

The Gauss map can be defined (globally) if and only if the surface is orientable, in which case its degree is half the Euler characteristic. The Gauss map can always be defined locally (i.e. on a small piece of the surface). The Jacobian determinant of the Gauss map is equal to Gaussian curvature, and the differential of the Gauss map is called the shape operator.

Gauss first wrote a draft on the topic in 1825 and published in 1827.

There is also a Gauss map for a link, which computes linking number.

Generalizations

The Gauss map can be defined for hypersurfaces in R"n" as a map from a hypersurface to the unit sphere "S""n" − 1R"n".

For a general oriented "k"-submanifold of R"n" the Gauss map can be also be defined, and its target space is the "oriented" Grassmannian ilde{G}_{k,n}, i.e. the set of all oriented "k"-planes in R"n". In this case a point on the submanifold is mapped to its oriented tangent subspace. One can also map to its oriented "normal" subspace; these are equivalent as ilde{G}_{k,n} cong ilde{G}_{n-k,n} via orthogonal complement.In Euclidean 3-space, this says that an oriented 2-plane is characterized by an oriented 1-line, equivalently a unit normal vector (as ilde{G}_{1,n} cong S^{n-1}), hence this is consistent with the definition above.

Finally, the notion of Gauss map can be generalized to an oriented submanifold "X" of dimension "k" in an oriented ambient Riemannian manifold "M" of dimension "n". In that case, the Gauss map then goes from "X" to the set of tangent "k"-planes in the tangent bundle "TM". The target space for the Gauss map "N" is a Grassmann bundle built on the tangent bundle "TM". In the case where M=mathbf{R}^n, the tangent bundle is trivialized (so the Grassmann bundle becomes a map to the Grassmannian), and we recover the previous definition.

Total curvature

The area of the image of the Gauss map is called the total curvature and is equivalent to the surface integral of the Gaussian curvature. This is the original interpretation given by Gauss. The Gauss-Bonnet theorem links total curvature of a surface to its topological properties.: iint_R |N_u imes N_v| du, dv = iint_R K|X_u imes X_v| du, dv = iint_R K dA

Cusps of the Gauss map

The Gauss map reflects many properties of the surface: when the surface has zero Gaussian curvature, (that is along a parabolic line) the Gauss map will have a fold catastrophe. This fold may contain cusps and these cusps were studied in depth by Thomas Banchoff, Terence Gaffney and Clint McCrory. Both parabolic lines and cusp are stable phenomena and will remain under slight deformations of the surface. Cusps occur when:
#The surface has a bi-tangent plane
#A ridge crosses a parabolic line
#at the closure of the set of inflection points of the asymptotic curves of the surface.There are two types of cusp "elliptic cusp" and "hyperbolic cusps".

References

*Gauss, K. F., "Disquisitiones generales circa superficies curvas" (1827)
*Gauss, K. F., "General investigations of curved surfaces", English translation. Hewlett, New York: Raven Press (1965).
*Banchoff, T., Gaffney T., McCrory C., "Cusps of the Gauss Map", (1982) Research Notes in Mathematics 55, Pitman, London. [http://www.math.brown.edu/~dan/cgm/index.html online version]

External links

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Gauss–Kuzmin–Wirsing operator — GKW redirects here. For the Indian engineering firm see Guest Keen Williams.In mathematics, the Gauss–Kuzmin–Wirsing operator occurs in the study of continued fractions; it is also related to the Riemann zeta function. IntroductionThe… …   Wikipedia

  • Gauss–Codazzi equations — In Riemannian geometry, the Gauss–Codazzi–Mainardi equations are fundamental equations in the theory of embedded hypersurfaces in a Euclidean space, and more generally submanifolds of Riemannian manifolds. They also have applications for embedded …   Wikipedia

  • Gauss, Carl Friedrich — orig. Johann Friedrich Carl Gauss born April 30, 1777, Brunswick, Duchy of Brunswick died Feb. 23, 1855, Göttingen, Hanover German mathematician, astronomer, and physicist. Born to poor parents, he was a prodigy of astounding depth. By his early… …   Universalium

  • Gauss's lemma (Riemannian geometry) — In Riemannian geometry, Gauss s lemma asserts that any sufficiently small sphere centered at a point in a Riemannian manifold is perpendicular to every geodesic through the point. More formally, let M be a Riemannian manifold, equipped with its… …   Wikipedia

  • Gauss's lemma (number theory) — This article is about Gauss s lemma in number theory. Gauss s lemma (polynomial) concerns factoring polynomials. Gauss s lemma in number theory gives a condition for an integer to be a quadratic residue. Although it is not useful computationally …   Wikipedia

  • Gauss pseudospectral method — The Gauss Pseudospectral Method (abbreviated GPM ) is a direct transcription method for discretizing a continuous optimal control problem into a nonlinear program (NLP). The Gauss pseudospectral method differs from several other pseudospectral… …   Wikipedia

  • Gauss-Krüger coordinate system — In cartography, the term Gauss Krüger, named after Carl Friedrich Gauss and Johann Heinrich Louis Krüger, is used in three slightly different ways. * Often, it is just a synonym for the transverse Mercator map projection. Another synonym is Gauss …   Wikipedia

  • Map projection — A medieval depiction of the Ecumene (1482, Johannes Schnitzer, engraver), constructed after the coordinates in Ptolemy s Geography and using his second map projection A map projection is any method of representing the surface of a sphere or other …   Wikipedia

  • List of topics named after Carl Friedrich Gauss — Carl Friedrich Gauss (1777 ndash; 1855) is the eponym of all of the topics listed below. Topics including Gauss *Carl Friedrich Gauss Prize, a mathematics award *Degaussing, to demagnetize an object *Gauss (unit), a unit of magnetic field (B)… …   Wikipedia

  • Exponential map — In differential geometry, the exponential map is a generalization of the ordinary exponential function of mathematical analysis to all differentiable manifolds with an affine connection. Two important special cases of this are the exponential map …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”