ヒルベルト空間
Compact operator on Hilbert space