A bounded linear operator is compact if it maps the unit ball to a set with compact closure; equivalently, every bounded sequence has a subsequence whose images converge.
If are compact operators, select a subsequence on which converges and then a further subsequence on which converges. This proves compactness of any linear combination. For norm closure, suppose compact converge to in operator norm. Given , choose with . A finite -net for of the unit ball is then a finite -net for its image under . This image is totally bounded, and its closure is compact because is complete. Thus is a closed linear subspace.
For bounded and compact , the image of a bounded sequence under is bounded, so is compact; and a convergent subsequence of remains convergent after applying the continuous map , so is compact. Therefore the compact operators form a closed two-sided ideal in .
For the weighted backward shift, truncate its output after coordinate , obtaining a finite-rank operator . The exact norm estimate isHence is compact. Its iterates areThus for every nonzero complex the Neumann seriesconverges absolutely in operator norm. Zero is an eigenvalue, since , whereas every nonzero value is in the resolvent set. Consequently
Articles by others on the same topic
There are currently no matching articles.