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.