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

Shinobu Ohkita, Masaki Tsukamoto

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