One needs to use the implicit function theorem and Sard's theorem in the setting of Banach manifolds in order to get the theory of J-holomorphic curves off the ground, which is one of the pillars of symplectic topology.