Hilbert space
Compact operator on Hilbert space