Banach manifold: charts into Banach spaces + Fréchet-derivative calculus

An infinite-dimensional generalisation of a smooth manifold: charts take values in a fixed Banach space E (rather than R^n), with smooth transition maps. Fréchet-derivative calculus (Fréchet 1911, Lang 1962) on Banach spaces provides the…