Hilbert space

inner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity)