Separable Hilbert space