Implicit functions from topological vector spaces to Fréchet spaces in the presence of metric estimates

Helge Glockner

We prove an implicit function theorem for Keller C^k_c-maps from arbitrary real or complex topological vector spaces to Frechet spaces, imposing only a certain metric estimate on t…