A Morse-Sard theorem for the distance function on Riemannian manifolds

AbstractWe prove that the set of critical values of the distance function from a submanifold of a complete Riemannian manifold is of Lebesgue measure zero. In this way, we extend a result of Itoh and Tanaka.