Totally geodesic maps into metric spaces (Q1395402)

The author proves that a totally geodesic mapping \(f\) from a Riemannian manifold \(M\) to a metric space \(X\) can be represented as a composite of a totally geodesic mapping from \(M\) to a Finsler manifold \(F\) and a locally isometric embedding from \(F\) to \(X\). It is assumed that \(M\) is geodesically complete and that the convexity radius is positive at every point of \(f\left( M\right) \). In addition, if \(X\) is an Aleksandrov space of curvature bounded above, then \(F\) is a Riemannian manifold. As a corollary, the author derives that if \(M\) is an irreducible Riemannian space and \(X\) is an Aleksandrov space of curvature bounded above, then a totally geodesic mapping \(f\) from \(M\) to \(X\) is a locally homothetic embedding or a constant mapping.