希尔伯特空间
Compact operator on Hilbert space