Suppose is a compact operator and . The Uniform boundedness principle makes bounded. If did not converge in norm to , some subsequence would stay a fixed positive distance away. Compactness provides a further norm-convergent subsequence, say to . On the other hand, for every , , so its norm limit must be , a contradiction.
Conversely, if sends every weakly convergent sequence to a norm-convergent sequence, take any sequence in the closed unit ball. Weak compactness of that ball supplies a weakly convergent subsequence, whose images converge in norm by hypothesis. Thus every sequence in the image has a convergent subsequence in . Its closure is also sequentially compact: approximate its th member by an image point within . Since is a metric space, that closure is compact. We concludeThis is the principle that compact operators send weak convergence to norm convergence.
Articles by others on the same topic
There are currently no matching articles.