Equivalent Formulations
A bounded operator T is compact if and only if any of the following is true
- Image of the unit ball in X under T is relatively compact in Y.
- Image of any bounded set under T is relatively compact in Y.
- Image of any bounded set under T is totally bounded in Y.
- there exists a neighbourhood of 0, and compact set such that .
- For any sequence from the unit ball in X, the sequence contains a Cauchy subsequence.
Note that if a linear operator is compact, then it is easy to see that it is bounded, and hence continuous.
Read more about this topic: Compact Operator
Famous quotes containing the word equivalent:
“Perhaps basketball and poetry have just a few things in common, but the most important is the possibility of transcendence. The opposite is labor. In writing, every writer knows when he or she is laboring to achieve an effect. You want to get from here to there, but find yourself willing it, forcing it. The equivalent in basketball is aiming your shot, a kind of strained and usually ineffective purposefulness. What you want is to be in some kind of flow, each next moment a discovery.”
—Stephen Dunn (b. 1939)