Shinobu Ohkita

Simple proof of the global inverse function theorem via the Hopf--Rinow theorem

We explain that Hadamard's global inverse function theorem very simply follows from the Hopf--Rinow theorem in Riemannian geometry.