Functional Analysis and Infinite-Dimensional Geometry