Equidimensional isometric maps (Q906563): Difference between revisions

From the introduction: In \textit{M. Gromov}'s treatise [Partial differential relations. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, Bd. 9. Berlin etc.: Springer-Verlag. (1986; Zbl 0651.53001)], a continuous map between Riemannian manifolds is called isometric if it preserves the length of rectifiable curves. In this note the authors develop a method using the Baire category theorem for constructing such isometries. They show that a typical 1-Lipschitz map is isometric in canonically formulated extension and restriction problems.