Compact operator
In functional analysis , one of the branches of mathematics , compact operators between two Banach spaces are special operators that have their origin in the theory of integral equations . One speaks of compact mappings instead of compact operators and distinguishes between linear and non-linear operators.
Theory of linear compact operators
definition
A linear mapping from a Banach space into a Banach space is called a compact operator if one of the following equivalent properties is fulfilled:
- The operator maps each bounded subset of to a relatively compact subset of .
- The image of the open (or closed) unit sphere in is relatively compact in .
- Every bounded sequence in has a subsequence so that it converges.
The set of linear, compact operators is denoted here by .
continuity
Because the image of the unit sphere is relatively compact and thus bounded, it follows that every linear compact operator is automatically a bounded operator and is therefore continuous.
Examples
- A continuous linear operator of finite rank, that is, an operator with a finite-dimensional image, is compact.
- Hilbert-Schmidt operators and track class operators are always compact.
- The identity on a Banach space is compact if and only if the Banach space is finite-dimensional. This follows from the fact that the unit sphere is relatively compact if and only if the Banach space is finite-dimensional. Compare Riesz's compactness theorem .
properties
- If complete, then there is also a Banach space. That is, for compact operators and a scalar , the operators and are compact. Furthermore, every Cauchy sequence converges with respect to the operator norm to a linear compact operator .
- The linear operator is compact if and only if for every bounded sequence in there exists a subsequence of which converges in. Compact operators therefore map restricted sequences to sequences with convergent partial sequences. Is infinite dimensional, there are bounded sequences that have no convergent subsequences. Thus, compact operators can "improve" convergence properties.
- Be , , and normed spaces, a compact operator, and bounded operators. Then it is also compact.
- In particular, the set of all compact operators of a Hilbert space is a self-adjoint closed ideal in the C * -algebra of all bounded linear operators on .
Theorem of shudders
The following sentence is named after Juliusz Schauder . Be and Banach spaces. Then a linear operator is compact if and only if the adjoint operator is compact.
Approximation property
If there is a linear operator between the Banach spaces and and if there is a sequence of continuous linear operators with a finite-dimensional image that converges to, then is compact. In general, the converse does not apply, but only if it has the so-called approximation property . Many of the frequently used Banach spaces have this approximation property, for example , or with , as well as all Hilbert spaces .
Spectral theory of compact operators on Banach spaces
Let be a Banach space and a compact operator. With that is spectrum of the operator referred. If the space is also infinitely dimensional, it holds that the possibly empty set has at most a countable number of elements. In particular, the only possible accumulation point of .
Each is an eigenvalue of and the associated eigenspace is finite dimensional. In addition, a exists topologically direct decomposition of and , wherein is finite and comprises, as well as an isomorphism of to is. This decomposition is called Riesz decomposition and is named after the mathematician Frigyes Riesz , who researched large parts of the spectrum theory of (compact) operators.
Spectral decomposition of normal compact operators on Hilbert spaces
If a compact normal operator is on a Hilbert space , then there is a spectral decomposition for the operator . That is, there is an orthonormal system as well as a null sequence in such that
applies to all . They are for all the eigenvalues of and is an eigenvector too .
If it is also self-adjoint, that is , then all eigenvalues are real. If is also positive, i.e. for all , then all eigenvalues are positive real.
Spectral decomposition of general compact operators on Hilbert spaces
Is more generally a compact operator on the Hilbert spaces and then the above result can be applied to the two operators and (where the absolute value for an operator is a positive (and therefore self-adjoint) operator for which is; this operator always exists and it is unique ).
One then obtains orthonormal systems of and of as well as a zero sequence in such that
and
applies to all .
The eigenvalues of and , the eigenvectors of and the eigenvectors of are then similar to the above .
application
Be compact with a really positive Lebesgue measure and steadily on . Then it's through
defined Fredholm's integral operator a linear compact operator. This statement can be proven with the help of Arzelà-Ascoli's theorem.
Many theorems about the solvability of integral equations, such as Fredholm's alternative , require a compact operator.
Schmidt representation and the shadow class
Let and Hilbert spaces and be a compact operator. Then there exist countable orthonormal systems of and of as well as numbers with such that
applies to all . This representation of the compact operator is called the Schmidt representation and , in contrast to the orthonormal systems, the numbers are uniquely determined and are called singular numbers. Is true for so one says that lies in the p th shadow class. If the operators are called nuclear and is , then it is a Hilbert-Schmidt operator . In contrast to the other shadow classes, a Hilbert space structure can be defined naturally on the set of Hilbert-Schmidt operators.
Complete operators
Be and Banach spaces, an operator. Then is called complete if for each in weakly convergent sequence the image sequence in is norm-convergent. Compact operators are complete. If reflexive, every complete operator is also compact.
Nonlinear compact operators
definition
Be and standardized spaces , an operator. Then say , compact case is continuous and the image of each bounded set in a relatively compact subset of is. The set of compact operators is denoted here by .
Note that here the continuity does not follow automatically as in the linear case, but has to be explicitly required.
Approximation by operators with a finite-dimensional image
Let and be standardized spaces and a bounded, closed subset. The space of compact operators , whose image is contained in a finite-dimensional subspace of , is designated by. Let be a compact operator, then for each there is a compact operator such that
applies. This means that the space is close to the space of the compact operators with regard to the supremum norm. If a Banach space , then the converse is also true. That is, a sequence of operators that converges with respect to the supremum norm has a compact operator as its limit. So in particular the space of compact operators with bounded is complete .
Note that an approximation of this kind is always possible and does not require, as in the linear case described above, that the Banach space involved has the approximation property.
Fixed point theory
Many nonlinear differential and integral equations can be briefly written as equations , where is a compact operator. There is no comprehensive solution theory for such nonlinear problems. One way to examine the equation for solutions is to use fixed point theory. In this context, for example, Schauder's fixed point theorem or the Leray-Schauder alternative are central aids that guarantee the existence of fixed points. It can also be shown that if it is closed and bounded, the set of fixed points of a compact operator is compact.
Individual evidence
- ↑ This is - along with others such as Schauder-Mazur's theorem - one of numerous sentences that can be attributed to Juliusz Schauder.
- ↑ Dirk Werner : functional analysis , Springer-Verlag, Berlin, 2005, ISBN 3-540-21381-3 , p. 70
- ^ John B. Conway: A Course in Functional Analysis . 2nd Edition. Springer, ISBN 0-387-97245-5 , VI, §3
- ^ Klaus Deimling: Nonlinear Functional Analysis. 1 . Edition. Springer-Verlag, Berlin / Heidelberg 1985, ISBN 3-540-13928-1 , page 55.