Uintell Mathematics Encyclopedia

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