Nonlinear functional analysis

manifold modeled on Hilbert spaces; separable Hausdorff space in which each point has a neighborhood homeomorphic to an infinite dimensional Hilbert space