I'm having difficulty proving a well-known result from functional analysis. Any hints would be greatly appreciated.
Fix a Fréchet differentiable map of Banach spaces $g: X \to B$. Assume that, at a point $x_0 \in X$ where $g(x_0) = 0$, the derivative $Dg$ is Fredholm and surjective, so in particular the index of $Dg$ is the dimension of its kernel. A typical place this might arise is in solving PDEs, where $g$ is given by some nice differential operator and $x_0$ is some generic solution to the PDE.
I want to prove:
The moduli space $\{x \in X \, | \, g(x) = 0\}$ has a smooth chart near $x_0$ of dimension $index(Dg)$.
I know this is supposed to be a consequence of the implicit function theorem for Frechet maps, which I understand. I also understand the proof of the submersion theorem for finite-dimensional manifolds, which is simply an application of the implicit function theorem in finite dimensions. I am trying, in essence, to prove the above result the same way one would prove the finite-dimensional submersion theorem.
However, I'm having difficulty proving a version of the submersion theorem in the infinite-dimensional setting. I'll describe my approach here -- I suspect that maybe I'm trying to use the implicit function theorem in the wrong way.
Defining the finite-dimensional vector space $Y = kernel(Dg)$ and the Banach space $Z = B \times Y$, if one can choose a splitting map $\pi: X \to Y$, one can define a map $F: X \times Y \to Z$ given by $F(x,y) = (g(x), \pi(x) - y).$ Then the implicit function theorem obviously gives a parametrization of the set $\{x \, | \, g(x) = 0\}$ near $x_0$, in terms of an open set in $Y$.
The splitting map $\pi$ always exists when $X, B$ are finite dimensional, but my question is: can such a splitting always be chosen when $X, B$ are infinite-dimensional? And if not, how can I prove the main result above? I'm trying to follow the finite-dimensional analogies, perhaps too naively, and failing. Any help would be appreciated.