Hilbert Spaces

Definition (Hilbert Space)

A Hilbert space is a complete inner product space.