Geodesic map

Geodesic map

In mathematics — specifically, in differential geometry — a geodesic map (or geodesic mapping or geodesic diffeomorphism) is a function that "preserves geodesics". More precisely, given two (pesudo-)Riemannian manifolds ("M", "g") and ("N", "h"), a function "φ" : "M" → "N" is said to be a geodesic map if
* "φ" is a diffeomorphism of "M" onto "N"; and
* the image under "φ" of any geodesic arc in "M" is a geodesic arc in "N"; and
* the image under the inverse function "φ"−1 of any geodesic arc in "N" is a geodesic arc in "M".

Examples

* If ("M", "g") and ("N", "h") are both the "n"-dimensional Euclidean space E"n" with its usual flat metric, then any Euclidean isometry is a geodesic map of E"n" onto itself.

* Similarly, if ("M", "g") and ("N", "h") are both the "n"-dimensional unit sphere S"n" with its usual round metric, then any isometry of the sphere is a geodesic map of S"n" onto itself.

* If ("M", "g") is the unit sphere S"n" with its usual round metric and ("N", "h") is the sphere of radius 2 with its usual round metric, both thought of as subsets of the ambient coordinate space R"n"+1, then the "expansion" map "φ" : R"n"+1 → R"n"+1 given by "φ"("x") = 2"x" induces a geodesic map of "M" onto "N".

* There is no geodesic map from the Euclidean space E"n" onto the unit sphere S"n", since they are not homeomorphic, let alone diffeomorphic.

* Let ("D", "g") be the unit disc "D" ⊂ R2 equipped with the Euclidean metric, and let ("D", "h") be the same disc equipped with a hyperbolic metric (as in the Poincaré disc model of hyperbolic geometry). Then, although the two structures are diffeomorphic via the identity map "i" : "D" → "D", "i" is "not" a geodesic map, since "g"-geodesics are always straight lines in R2, whereas "h"-geodesics can be curved.

References

* cite book
last = Ambartzumian
first = R. V.
title = Combinatorial integral geometry
series = Wiley Series in Probability and Mathematical Statistics: Tracts on Probability and Statistics
publisher = John Wiley & Sons Inc.
location = New York
year = 1982
pages = pp. xvii+221
isbn = 0-471-27977-3
MathSciNet|id=679133
* cite book
last = Kreyszig
first = Erwin
title = Differential geometry
publisher = Dover Publications Inc.
location = New York
year = 1991
pages = pp. xiv+352
isbn = 0-486-66721-9
MathSciNet|id=1118149

External links

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Geodesic — [ great circle arcs.] In mathematics, a geodesic IPA|/ˌdʒiəˈdɛsɪk, ˈdisɪk/ [jee uh des ik, dee sik] is a generalization of the notion of a straight line to curved spaces . In presence of a metric, geodesics are defined to be (locally) the… …   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

  • Harmonic map — A (smooth) map φ: M → N between Riemannian manifolds M and N is called harmonic if it is a critical point of the energy functional E (φ).This functional E will be defined precisely below mdash;one way of understanding it is to imagine that M is… …   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

  • Prime geodesic — In mathematics, a prime geodesic on a hyperbolic surface is a primitive closed geodesic, i.e. a geodesic which is a closed curve that traces out its image exactly once. Such geodesics are called prime geodesics because, among other things, they… …   Wikipedia

  • Complex geodesic — In mathematics, a complex geodesic is a generalization of the notion of geodesic to complex spaces. Definition Let (X, || ||) be a complex Banach space and let B be the open unit ball in X. Let Δ denote the open unit disc in the complex …   Wikipedia

  • Topographic map — A topographic map with contour lines …   Wikipedia

  • Conformal map — For other uses, see Conformal (disambiguation). A rectangular grid (top) and its image under a conformal map f (bottom). It is seen that f maps pairs of lines intersecting at 90° to pairs of curves still intersecting at 90°. In mathematics, a… …   Wikipedia

  • List of mathematics articles (G) — NOTOC G G₂ G delta space G networks Gδ set G structure G test G127 G2 manifold G2 structure Gabor atom Gabor filter Gabor transform Gabor Wigner transform Gabow s algorithm Gabriel graph Gabriel s Horn Gain graph Gain group Galerkin method… …   Wikipedia

  • Beltrami's theorem — In mathematics mdash; specifically, in Riemannian geometry mdash; Beltrami s theorem is a result named after the Italian mathematician Eugenio Beltrami which states that geodesic maps preserve the property of having constant curvature. More… …   Wikipedia

Share the article and excerpts

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