Gutú, OliviaJaramillo Aguado, Jesús Ángel2023-06-202023-06-202007-050025-5831hppt://dx.doi.org/10.1007/s00208-006-0068-9https://hdl.handle.net/20.500.14352/50124For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We first obtain a general condition in terms of a path continuation property. As a consequence, we deduce several conditions in terms of path- liftings involving a generalized derivative, and in particular we obtain an extension of Hadamard global inversion theorem in this context. Next we prove that, in the case of quasi-isometric mappings, some of these sufficient conditions are also necessary. Finally, we give an application to the existence of global implicit functions.engjournal articlehttp://www.springerlink.com/content/t2220x2731532124/fulltext.pdfhttp://www.springerlink.com/restricted access515.16Implicit Function TheoremsManifoldsMappingsGeometria algebraica1201.01 Geometría Algebraica