Hilbert Space
Definition
A Hilbert Space,
Another formulation is that the Hilbert space is an inner product space that is separable and complete.
Yet another formulation is that the Hilbert space is a Cauchy Complete Separable Inner Product Space.
Consequence
It is Cauchy Complete.
Theorem
All separable Hilbert spaces are isomorphic to