ヒルベルト空間
Operators on a Hilbert space.