Hilbert space
ヒルベルト空間上のコンパクト作用素.