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