Vanishing geodesic distance on spaces of submanifolds and diffeomorphisms.
We consider the distance to compact submanifolds and study volume comparison for tubular neighborhoods of compact submanifolds. As applications, we obtain a lower bound for the length of a closed geodesic of a compact Finsler manifold. When the Finsler metric is reversible, we also provide a lower bound of the injectivity radius. Our results are Finsler versions of Heintze-Karcher's and Cheeger's results for Riemannian manifolds.