Compact Operators
Compact Operator
Let
be a
hilbert space and let
be a bounded linear operator then we say that it is
compact if for every bounded subset
, the image
is relatively compact, meaning that the closure of
is compact in the
norm topology of
The set of compact transformations in will be denoted by .
Bounded Operator in Terms of Sequences
Let and be normed spaces. A linear transformation is compact if, for any bounded sequence in , the sequence in contains a convergent subsequence.
If is assumed compact and is bounded ie) the set is bounded, and therefore is compact in and therefore contains a convergent subsequence
Now suppose that every bounded sequence contains a subsequence such that converges in . Our goal is to show that given any bounded subset we must show that is compact, but recall that every compact set is closed as we are working in a metric space induced by the norm, therefore if we prove that is compact, then it is closed so that showing that is compact.
So moving towards this given any bounded subset , let be any sequence in . Then for some sequence in . Since was bounded, then so is , therefore by our assumption we know contains a convergent subsequence, that is contains a convergent subsequence therefore is compact, and as discussed this shows that is compact.
A Compact Operator Is Bounded
Let and be normed spaces an let . Then is bounded.
Suppose that is not bounded. Then for each integer there exists a unit vector such that . Since the sequence is bounded, by the compactness of there exists a subsequence which converges. This contradicts . (ie. convergence implies boundedness)
Note that the above shows that: .
The Compact Operators Are a Linear Subspace of the Bounded Operators
Suppose that and that then .
Let be a bounded sequence in . Since is compact, there is a subsequence such that converges. Then, since is bounded and is compact, there is a subsequence of the sequence such that converges. Since the sum of convergent sequences converges, it follows that the sequence converges. Thus is compact.
The Composition of Linear Operators Is Compact If at Least One Is
Suppose that and at least one of the operators is compact, then is compact.
Let be a bounded sequence in . If is compact then there is a subsequence such that converges. Since is bounded (and so is continuous), the sequence converges. Thus is compact. If is bounded but not compact the the sequence is bounded. Then since must be compact, there is a subsequence such that converges, and again is compact.
Riesz'
Suppose that is a normed vector space, and that is a closed subspace of where and then there exists a and for all
TODO: Add the proof here.
The Unit Disk nor the Unit Circle Is Compact in an Infinite Dimensional Space
TODO: Add the content for the theorem here.
Suppose that
then since
is not finite dimensional it must be the case that
,
now we know that is closed and therefore we obtain some
such that
The Identity Operator on an Infinite Dimensional Space Is Not Compact
If is an infinite dimensional normed vector space then is not compact
Recall that since there exists a sequence of unit vectors that does not have a convergent subsequence. This is a problem because is a bounded sequence, but doesn't have a convergent subsequence so is not compact.
week 4
A Compact Operator on a Infinite Dimensional Space Is Not Invertible
If is an infinite-dimensional normed space and , then is not invertible
Suppose that
were invertible, so that
exists, and that
, so that
is compact, but then
was infinite dimensional,
so is not compact so that
is not invertible.
Compact Symmetric Operators That Commute Can Be Simultaneously Diagonalized
Suppose that is a hilbert space, if are compact symmetric operators which commute, i.e. ), show that they can be diagonalized simultaneously. In other words, there exists an orthonormal basis for which consists of eigenvectors for both and .
Suppose are the collection of eigenvalues of and are the corresponding eigenspaces. Then we will show that an orthogonal collection in also are eigenvectors of . Suppose that forms a basis for , then
So that,
i.e., , i.e.
Thus, can be represented as an matrix with entries . From the symmetry of , it follows that and thus, the orthogonal matrix has a collection of orthogonal eigenvectors of the mapping . This, shows that every eigenvector of with eigenvalue not equal to 0 is also an eigenvector of . For , a similar proof shows that and it follows from the spectral theorem, that there exists an orthogonal basis of which are the eigenvectors of too.
hw5
If a Bounded Linear Operator Has Finite Rank Then It Is Compact
Let be normed spaces and then if has finite rank then is compact
Since has finite rank then the space is a finite dimensional normed space. Now given any bounded sequence in then the sequence is bounded in and thus by the Bolzano-Weierstrass theorem this sequence must have a convergence subsequence, meaning that is compact.
hw8
Every Compact Operator Is Bounded
Let be normed vector spaces, then for any compact linear operator is bounded
It's clear that the unit sphere
is bounded by construction, since
is compact,
then we know that is compact
therefore we know that
is bounded, and thus we have:
therefore
is bounded
Every Compact Operator Is Continuous
Let be normed vector spaces, then for any compact linear operator is continuous
Finite Rank Operator
Given a linear operator we say that it has finite rank whenever:
A Bounded Finite Rank Operator Is Compact
Suppose that is a bounded finite rank linear operator, then is compact
Let
be any bounded sequence in
, then since we have
then we deduce that
is a bounded, thus
is a subspace of a finite dimensional normed vector space and thus closed,
therefore it is compact, and therefore we know that it has a convergent subsequence.
Therefore is compact, as needed.
If a Linear Operator Has a Finite Dimensional Domain Then It Is Compact
Suppose that is a linear operator such that then is compact.
Since the domain is finite dimensional
then we know is a finite rank operator, therefore by the above proposition we know that
is compact.