Hilbert manifold
manifold modeled on Hilbert spaces; separable Hausdorff space in which each point has a neighborhood homeomorphic to an infinite dimensional Hilbert space
Hilbert space
inner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity)