a HilbertSpace