Talk:Compact operator on Hilbert space