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:
“To place oneself in the position of God is painful: being God is equivalent to being tortured. For being God means that one is in harmony with all that is, including the worst. The existence of the worst evils is unimaginable unless God willed them.”
—Georges Bataille (1897–1962)