An Inverse Function Theorem with Application to Dynamical Systems

An inverse function theorem for functions on sequence spaces is presented, where the hypotheses do not include differentiability of the function as a whole. This is applied to a proof of the Pseudo-Stable Manifold Theorem.