Compact Operators
[21/0%]If is reflexive and , show that is closed in .
Prove Proposition 3.5. Let , , and be Banach spaces.
is a closed linear subspace of .
If and , then .
If and , then .
If , show that is separable.
If and is closed, show that is finite dimensional.
If and is invertible, show that .
Let be a finite measure space, , and . If is an -measurable function such that , then defines a compact operator on .
Let be an arbitrary measure space, , and . If is an -measurable function such that
and if , then and .
Let be a compact space and let be a positive Borel measure on . Let where . Show that if is defined by , then is compact.
(B.J. Pettis) If is reflexive and , then is a compact operator. Also, if is reflexive and , is compact.
If is compact and , define for . Let be a regular Borel measure on and put . Show that and has finite rank.
If is compact, , and is a regular Borel measure on , show that defines a compact operator on .
Let be a -finite measure space and for in let be the multiplication operator defined in Example III.2.2. Give necessary and sufficient conditions on and for to be compact.
Let be continuous and define by . Give necessary and sufficient conditions on for to be compact.
Let and let be the corresponding matrix as in Exercise 1.7. Give necessary and sufficient conditions on for to be compact.
Let and let be the corresponding matrix as in Exercise 1.8. Give a necessary and sufficient condition on for to be compact.
If is a compact metric space and , show that is equicontinuous if and only if for every there is a such that whenever and .
If is locally compact and , show that is totally bounded if and only if (a) is bounded; (b) is equicontinuous; (c) for every there is a compact subset of such that for all in and in .
If is locally compact and , then there is a sequence of finite-rank operators such that .
Let be a Banach space and suppose there is a net of finite-rank operators on such that (a) ; (b) for all in . Show that if , then and hence there is a sequence of finite-rank operators on such that .
Let and let be a -finite measure space. If , show that there is a sequence of finite-rank operators such that .
Let be compact and let be the collection of all pairs where is a finite open cover of and such that for . If and , define to mean:
-
is a refinement of ; that is, each member of is contained in some member of .
-
. If let be a partition of unity subordinate to . If , define by
Then:
;
;
is a directed set and is a net;
for each .
Now apply Exercise 19 to obtain a new proof of Theorem 3.11.
Theorem 3.11: If is compact, then is dense in ; that is, the finite-rank operators on are dense in the compact operators on .