ヒルベルト空間
Complex conjugate of a Hilbert space.