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:
“In truth, politeness is artificial good humor, it covers the natural want of it, and ends by rendering habitual a substitute nearly equivalent to the real virtue.”
—Thomas Jefferson (1743–1826)