An implicit function theorem for Lipschitz mappings into metric spaces

Piotr Hajłasz, Scott Zimmerman

We prove a version of the implicit function theorem for Lipschitz mappings $f:{\mathbb{R}}^{n+m}\supset A\to X$ into arbitrary metric spaces. As long as the pull-back of the Hausdor…