ヒルベルト空間
Hilbert space of two systems.