Riemannian geometry in infinite dimensional spaces

Abstract

We lay foundations of the subject in the title, on which we build in another paper devoted to isometries in spaces of K\"ahler metrics.