Compact resolvent
= Compact resolvent
{wiki}
A closed densely defined operator has compact resolvent when $(A-zI)^{-1}$ is compact at one, equivalently every, resolvent point. Its spectrum consists only of isolated eigenvalues of finite multiplicity, with possible accumulation only at infinity.