An implicit function theorem for Banach spaces and some applications

We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie subgroup problem for Banach-Lie groups, as well as Weil's local rigidity for homomorphisms from finitely generated groups to Banach-Lie groups.