Assertion: spectrum | /r/HasProperty | countable
Facets:
Source sentences:
text: If T is a compact operator, or, more generally, an inessential operator, then it can be shown that the spectrum is countable, that zero is the only possible accumulation point, and that any nonzero λ in the spectrum is an eigenvalue.
text: If T is a compact operator, or, more generally, an inessential operator, then it can be shown that the spectrum is countable, that zero is the only possible accumulation point, and that any nonzero λ in the spectrum is an eigenvalue.