Namespaces
Variants
Actions

Difference between revisions of "Geodesic manifold"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
''at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441301.png" />''
+
{{TEX|done}}
 +
''at a point $x$''
  
A submanifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441302.png" /> of a smooth manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441303.png" /> (Riemannian or with an affine connection) such that the geodesic lines (cf. [[Geodesic line|Geodesic line]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441304.png" /> that are tangent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441305.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441306.png" /> have a contact of at least the second order with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441307.png" />. This requirement is fulfilled at all points if any geodesic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441308.png" /> is also a geodesic in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g0441309.png" />. Such geodesic manifolds <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g044/g044130/g04413010.png" /> are called totally geodesic manifolds.
+
A submanifold $M^k$ of a smooth manifold $M^n$ (Riemannian or with an affine connection) such that the geodesic lines (cf. [[Geodesic line|Geodesic line]]) of $M^n$ that are tangent to $M^k$ at $x$ have a contact of at least the second order with $M^k$. This requirement is fulfilled at all points if any geodesic in $M^k$ is also a geodesic in $M^n$. Such geodesic manifolds $M^k$ are called totally geodesic manifolds.
  
  

Latest revision as of 13:57, 29 April 2014

at a point $x$

A submanifold $M^k$ of a smooth manifold $M^n$ (Riemannian or with an affine connection) such that the geodesic lines (cf. Geodesic line) of $M^n$ that are tangent to $M^k$ at $x$ have a contact of at least the second order with $M^k$. This requirement is fulfilled at all points if any geodesic in $M^k$ is also a geodesic in $M^n$. Such geodesic manifolds $M^k$ are called totally geodesic manifolds.


Comments

Also called geodesic submanifold and totally geodesic submanifold, respectively.

References

[a1] W. Klingenberg, "Riemannian geometry" , Springer (1982) (Translated from German)
How to Cite This Entry:
Geodesic manifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Geodesic_manifold&oldid=16613
This article was adapted from an original article by Yu.A. Volkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article