my-server
← Wiki

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 (pseudo-)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 φ<sup>&minus;1</sup> of any geodesic arc in N is a geodesic arc in M.

Examples

  • If (M,&nbsp;g) and (N,&nbsp;h) are both the n-dimensional Euclidean space E<sup>n</sup> with its usual flat metric, then any Euclidean isometry is a geodesic map of E<sup>n</sup> onto itself.
  • Similarly, if (M,&nbsp;g) and (N,&nbsp;h) are both the n-dimensional unit sphere S<sup>n</sup> with its usual round metric, then any isometry of the sphere is a geodesic map of S<sup>n</sup> onto itself.
  • If (M,&nbsp;g) is the unit sphere S<sup>n</sup> with its usual round metric and (N,&nbsp;h) is the sphere of radius 2 with its usual round metric, both thought of as subsets of the ambient coordinate space R<sup>n+1</sup>, then the "expansion" map φ&nbsp;:&nbsp;R<sup>n+1</sup>&nbsp;→&nbsp;R<sup>n+1</sup> given by φ(x)&nbsp;=&nbsp;2x induces a geodesic map of M onto N.
  • There is no geodesic map from the Euclidean space E<sup>n</sup> onto the unit sphere S<sup>n</sup>, since they are not homeomorphic, let alone diffeomorphic.
  • The gnomonic projection of the hemisphere to the plane is a geodesic map as it takes great circles to lines and its inverse takes lines to great circles.
  • Let (D,&nbsp;g) be the unit disc D&nbsp;⊂&nbsp;R<sup>2</sup> equipped with the Euclidean metric, and let (D,&nbsp;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&nbsp;:&nbsp;D&nbsp;→&nbsp;D, i is not a geodesic map, since g-geodesics are always straight lines in R<sup>2</sup>, whereas h-geodesics can be curved.
  • On the other hand, when the hyperbolic metric on D is given by the Klein model, the identity i&nbsp;:&nbsp;D&nbsp;→&nbsp;D is a geodesic map, because hyperbolic geodesics in the Klein model are (Euclidean) straight line segments.

References

External links