# Books recommendation: differentiable manifolds, Banach manifolds

I'm looking for good books in English about differentiable manifolds in finite dimensional spaces, as well as Banach manifolds (optionally, containing some information about calculus in Banach spaces). As for my general math knowledge, I'm familiar with some advanced topics like vector calculus, measure theory and functional analysis, so I'm not looking for an elementary level book (I even wonder if there exists any). By «good» I mean the following:

• providing a large amount of illustrations while describing finite dimensional theory;
• having unrigorous explanations before diving into formalizing statements;
• containing exercises to do.

As a reference, I can come up with «A Geometric Approach to Differential Forms» by David Bachman. Even though it is extremely unrigorous in some places, I found it to be a good introduction to differential forms, which helped to start reading more formal books on this topic.

• @Masacroso Banach manifolds are kind of generalization of finite-dim manifolds, in sense that they are required to be "locally Banach", while ordinary manifolds are "locally $\mathbb{R}^n$". However, I think that some things may generalize the same way finite-dim calculus generalizes to calculus in Banach spaces (i.e. defining limits using norm, derivatives as linear operators and so on). So, I will be glad to get at least some finite-dim recommendations :) Commented Sep 5, 2021 at 20:33
• I don't know of any "good" book by your definition, but the book on differentiable manifolds by Serge Lang does treat Banach manifolds. There are some minor changes here and there, for example, one requires the kernel of the derivatives of a submersion to be complemented before getting special "coordinates" (whatever this means now), etc. Commented Sep 5, 2021 at 20:38
• For basic dufferential calculus in Banach spaces, there are lots of sources. Here are a few: Differential Calculus by Cartan, Volume 2 of Mathematical Analysis by Zorich, Foundations of Mathematical Analysis by Dieudonné, Advanced Calculus by Loomis and Sternberg. For manifolds, there aren't as many, but I know Lang's Fundamentals of Differential Geometry does things in this level of generality. I haven't looked at Bourbaki's Fascicule de résultats on manifolds (which omits proofs) in a long time, so I'm not sure what the level of generality is. Commented Sep 5, 2021 at 20:41
• @IvoTerek I’ve got it, thanks. As Lang references to Dieudonné, I think it’s better to start with his “Foundations”. Commented Sep 5, 2021 at 21:00
• @Masacroso: Mathoverflow has a Banach manifold tag (maybe not always used as here, however). See also Reference on Infinite Dimensional Manifold AND Reference request: infinite-dimensional manifolds AND How are infinite-dimensional manifolds most commonly treated? AND Refrence Request - Book for Manifolds over Banach Spaces. Commented Sep 5, 2021 at 21:25