: Mathématiques: Gauss's lemma

geometry > differential geometry > Riemannian geometry > Gauss's lemma

Gauss's lemma

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 Levi-Civita connection, and p a point of M. The exponential map is a mapping from the tangent space at p to M:
${\\displaystyle \\mathrm {exp} :T_{p}M\ o M}$
which is a diffeomorphism in a neighborhood of zero. Gauss' lemma asserts that the image of a sphere of sufficiently small radius in T_pM under the exponential map is perpendicular to all geodesics originating at p. The lemma allows the exponential map to be understood as a radial isometry, and is of fundamental importance in the study of geodesic convexity and normal coordinates.
(Wikipedia, The Free Encyclopedia, https://en.wikipedia.org/wiki/Gauss%27s_lemma_(Riemannian_geometry))

http://data.loterre.fr/ark:/67375/PSR-ZMXS7MB5-V

RDF/XML TURTLE JSON-LD

Loterre