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.
Complex Form of a Linear Operator
Let be a separable Hilbert space and assume that is a compact normal bounded operator, then there exist a pair of commuting compact self-adjoint operators such that
Define the real part and imaginary part of as follows:
where denotes the adjoint of .
We now show that and are self-adjoint, we verify that and .
so that, is self-adjoint, onto
Thus, is also self-adjoint.
are also compact as the compact linear operators form a linear subspace of the bounded operators.
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
Since we just realized that it must be bounded, then it also must be continuous, as needed.
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.