Hilbert vector space