{{Short description|Functional analysis concept}} {{Cleanup rewrite|it is written like a maths textbook, not an encyclopedia article|article|date=September 2017}} In the mathematical discipline of [[functional analysis]], the concept of a '''compact operator on Hilbert space''' is an extension of the concept of a matrix acting on a finite-dimensional [[vector space]]; in [[Hilbert space]], [[compact operator]]s are precisely the closure of [[finite-rank operator]]s (representable by finite-dimensional matrices) in the [[topology]] induced by the [[operator norm]]. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

For example, the [[spectral theory of compact operators]] on [[Banach space]]s takes a form that is very similar to the [[Jordan canonical form]] of matrices. In the context of Hilbert spaces, a square matrix is unitarily diagonalizable if and only if it is [[normal operator|normal]]. A corresponding result holds for normal compact operators on Hilbert spaces. More generally, the compactness assumption can be dropped. As stated above, the techniques used to prove results, e.g., the [[spectral theorem]], in the non-compact case are typically different, involving operator-valued [[measure (mathematics)|measure]]s on the [[Spectrum (functional analysis)|spectrum]].

The quotient <math>C^\ast</math>-[[C*-algebra|algebra]] of <math>L(H)</math> modulo the compact operators is called the [[Calkin algebra]], in which one can consider properties of an operator up to compact perturbation.

== Definition == Let <math>H</math> be a [[Hilbert space]] and <math>L(H)</math> be the set of [[bounded operator]]s on <math>H</math>. Then, an operator <math>T\in L(H)</math> is said to be a '''compact operator''' if the image of each bounded set under <math>T</math> is [[Relatively compact subspace|relatively compact]].

== Some general properties ==

* If <math>X</math> and <math>Y</math> are separable Hilbert spaces (in fact, <math>X</math> Banach and <math>Y</math> normed will suffice), then <math>T:X\to Y</math> is compact if and only if it is [[sequentially continuous]] when viewed as a map from <math>X</math> with the [[Weak convergence (Hilbert space)|weak topology]] to <math>Y</math> (with the norm topology).{{efn|See {{harvtxt|Zhu|2007|loc=Theorem 1.14, p.11}} and note in this reference that the uniform boundedness will apply in the situation where <math>F\subset X</math> satisfies <math>\forall \varphi\in Hom(X,K), \sup_F \phi(x)/x <\infty</math>, where <math>K</math> is the underlying field. The uniform boundedness principle applies since <math>\mathrm{Hom}(X,K)</math> with the norm topology will be a Banach space, and the maps <math>x^{\ast\ast}:\mathrm{Hom}(X,K)\to K</math> are continuous homomorphisms with respect to this topology.)}}

* The family of compact operators is a norm-closed, two-sided, *-ideal in <math>L(H)</math>. Consequently, if <math>H</math> is infinite-dimensional, then the inverse of a compact invertible operator <math>T</math> cannot be bounded (otherwise, the identity operator would be compact, which is the case if and only if <math>H</math> is finite-dimensional.)

* If <math>T</math> is compact, and <math>(B_n)_{n\in\N},(C_n)_{n\in\N}</math> are two sequences of bounded operators converging for the [[strong operator topology]] to B and C respectively, then <math>B_nTC_n^*</math> converges to <math>BTC^*</math> in norm.<ref>{{cite journal| last1=Widom| first1=H.| title= Asymptotic Behaviour of Block Toeplitz Matrices and Determinants. II|journal=[[Advances in Mathematics]]| date=1976| volume=21| issue=1| pages=1–29|doi=10.1016/0001-8708(76)90113-4|doi-access=free}}</ref> For example, consider the Hilbert space <math>\ell^2(\mathbf{N}),</math> with standard basis <math>(e_n)_{n\in N}</math>. Let <math>P_m</math> be the orthogonal projection on the linear span of <math>(e_1,\dots,e_m)</math>. The sequence <math>P_m</math> converges to the identity operator <math>\mathrm{I}</math> strongly but not uniformly. Define <math>T</math> by <math>Te_n = \tfrac{1}{n^2} e_n.</math> <math>T</math> is compact, and, as claimed above, <math>P_mT\to IT=T</math> in the uniform operator topology: for all <math>x</math>, <math display="block">\left\| P_m T x - T x \right \| \leq \left( \frac{1}{m+1}\right)^2 \| x \|.</math>Notice each <math>P_m</math> is a finite-rank operator. * A bounded operator <math>T</math> is compact if and only if it is the uniform limit of some sequence of finite-rank operators.

== Compact self-adjoint operators== ===Spectral theorem === A bounded operator <math>T</math> on a Hilbert space <math>H</math> is said to be [[self-adjoint operator|self-adjoint]] if <math>T=T^\ast</math>, or equivalently,<math display="block">\forall x,y\in H,\quad\langle T x, y \rangle = \langle x, T y \rangle.</math>The spectral theorem for (finite-dimensional) self-adjoint matrices generalizes to compact self-adjoint operators on real or complex Hilbert spaces, namely such an operator can be diagonalized by an orthonormal set of eigenvectors, each of which corresponding to a real eigenvalue. More precisely, the orthogonal complement of the kernel of <math>T</math> admits an orthonormal basis <math>(e_n)</math> of cardinal at most countable consisting of eigenvectors of <math>T</math> with corresponding eigenvalues <math>\lambda_n\in \R</math>, such that <math>\lambda_n\to 0</math>. When the Hilbert space is in addition [[Separable space|separable]], one can mix the basis <math>(e_n)</math> with a [[Countable set|countable]] orthonormal basis for the kernel of <math>T</math>, and obtain a countable orthonormal basis <math>(f_n)</math> for ''the total space'', consisting of eigenvectors of <math>T</math> with real eigenvalues <math>\mu_n</math> such that <math>\mu_n\to 0</math>.

As in finite dimension, the spectral theorems is shown by using [[Mathematical induction|induction]] together with the existence of one eigenvector <math>x</math> of <math>T</math>. In finite dimension, the existence of an eigenvector can be shown in (at least) two alternative ways:

#One can argue algebraically: The characteristic polynomial of <math>T</math> has a complex root, therefore <math>T</math> has an eigenvalue with a corresponding eigenvector. #The eigenvalues can be characterized variationally: The largest eigenvalue is the maximum on the closed unit ''sphere'' of the function <math>f:\R^{2n}\to \R</math> defined by <math>f(x)=x^\ast Tx=\langle Tx,x\rangle</math>.

In infinite dimension, the existence of an eigenvector for every compact self-adjoint operator can be obtained by extending the second finite-dimensional argument above. In this argument, one has to replace the compactness of the unit ball by an argument involving the compactness of the operator.

More precisely, setting<math display="block">m(T) := \sup \bigl\{ |\langle T x, x \rangle| : x \in H, \, \|x\| \le 1 \bigr\},</math>it can be shown first that <math>m(T)</math> is in fact a [[Maximum and minimum|maximum]] and then that either <math>m(T)</math> or <math>-m(T)</math> is an eigenvalue of <math>T</math>.

{{Math proof|proof= If (<math>m(T)=0</math>, then <math>T=0</math> by the [[polarization identity]], and this case is clear. Consider the function <math display="block">\begin{cases} f : H \to \mathbf{R} \\ f(x) = \langle T x, x \rangle \end{cases}</math>

Replacing <math>T</math> by <math>-T</math> if necessary, one may assume that the supremum of <math>f</math> on the closed unit ball <math>B\subset H</math> is equal to <math>m(T)>0</math>.

By the [[Banach–Alaoglu theorem]] and the reflexivity of <math>H</math>, the closed unit ball <math>B</math> is weakly compact. Also, the compactness of <math>T</math> means (see above) that <math>T</math> seen as an operator from <math>H</math> with the weak topology to <math>H</math> with the norm topology is continuous {{Disputed inline|weak-to-norm continuity|date=November 2023}}. These two facts imply that <math>f</math> is continuous on <math>B</math> equipped with the weak topology, and <math>f</math> therefore attains its maximum <math>m</math> on <math>B</math> at some <math>y\in B</math>.

We now show that <math>Ty=m(T)y</math>. This is equivalent to :<math>\forall z\in H, \mathrm{Re}(\langle Ty-m(T)y,z\rangle=0</math> Now since y is the maximum of f, it is also the maximum of the [[Rayleigh quotient]]: <math display="block">g(x) = \frac{\langle Tx, x \rangle}{\|x\|^2}, \qquad 0 \ne x \in H.</math> Therefore, the function <math display="block">\begin{cases} h : \mathbf{R} \to \mathbf{R} \\ h(t) = g(y+tz) \end{cases}</math> achieves its maximum at 0, and thus {{math|1=''h''′(0) = 0}}. A computation now shows that <math display="block"> \begin{align}h'(0)&=\frac{1}{\|y\|^2} \left (\frac{d}{dt} \frac{\langle T (y + t z), y + tz \rangle}{\langle y + tz, y + tz \rangle} \right)(0)\\ &= \operatorname{Re}(\langle T y - m(Y) y, z \rangle) \end{align} </math>

'''Note.''' The compactness of <math>T</math> is crucial. In general, <math>f</math> need not be continuous for the weak topology on the unit ball <math>B</math>. For example, let <math>T</math> be the identity operator, which is not compact when <math>H</math> is infinite-dimensional. Take any orthonormal sequence <math>(y_n)_{n\in \N}</math>. Then <math>y_n</math> converges to 0 weakly, but <math>\lim f(y_n)=1 \ne 0=f(0)</math>.

}}

{{Math proof|title=Induction argument (without the axiom of choice)|proof= Let <math>T</math> be a compact operator on a Hilbert space <math>H</math>. A finite (possibly empty) or countably infinite orthonormal sequence <math>(e_n)</math> of eigenvectors of <math>T</math>, with corresponding non-zero eigenvalues, is constructed by induction as follows. Let <math>H_0=H</math> and <math>T_0=T</math>. If <math>m(T_0)=0</math>, then <math>T=0</math> and the construction stops without producing any eigenvector <math>e_n</math>. Suppose that orthonormal eigenvectors <math>e_0,\dots,e_{n-1}</math> of <math>T</math> have been found. Then <math>E_n:= \mathrm{Span}(e_0,\dots,e_{n-1})</math> is invariant under <math>T</math>, and by self-adjointness, the orthogonal complement <math>H_n</math> is an invariant subspace of <math>T</math>. Let <math>T_n</math> denote the restriction of <math>T</math> to <math>H_n</math>. If <math>m(T_n)=0</math>, then <math>T_n=0</math>, and the construction stops. Otherwise, applying to <math>T_n</math> the property of existence of an eigenvector, there is a norm one eigenvector <math>e_n</math> of <math>T</math> in <math>H_n</math>, with corresponding non-zero eigenvalue <math>\lambda_n=m(T_n)</math>.

Let <math>F=\mathrm{Span}((e_n)_n)^\perp</math>, where <math>(e_n)_n</math> is the finite or infinite sequence constructed by the inductive process; by self-adjointness, <math>F</math> is invariant under <math>T</math>. Let <math>S</math> denote the restriction of <math>T</math> to <math>F</math>. If the process was stopped after finitely many steps, with the last vector <math>e_{m-1}</math>, then <math>F=H_m</math> and <math>S=T_m=0</math> by construction. In the infinite case, compactness of <math>T</math> and the weak-convergence of <math>e_n</math> to 0 imply that <math>Te_n=\lambda_ne_n \to 0</math>, therefore <math>\lambda_n\to 0</math>. Since <math>F</math> is contained in <math>H_n</math> for every <math>n</math>, it follows that <math>m(S)\le m(T_n)=\vert \lambda_n\vert</math> for every <math>n</math>, hence <math>m(S)=0</math>. This implies again that <math>S=0</math>.

The fact that ''S'' = 0 means that ''F'' is contained in the kernel of <math>T</math>. Conversely, if ''x'' ∈ ker(<math>T</math>) then by self-adjointness, ''x'' is orthogonal to every eigenvector {''e<sub>n</sub>''} with non-zero eigenvalue. It follows that {{math|1=''F'' = ker(<math>T</math>)}}, and that {''e<sub>n</sub>''} is an orthonormal basis for the orthogonal complement of the kernel of <math>T</math>. One can complete the diagonalization of <math>T</math> by selecting an orthonormal basis of the kernel. This proves the spectral theorem.}}

{{Math proof|title=Induction argument (using the axiom of choice)|proof= A shorter but more abstract proof goes as follows: by [[Zorn's lemma]], select <math>U</math> to be a maximal subset of <math>H</math> with the following three properties: all elements of <math>U</math> are eigenvectors of <math>T</math>, they have norm one, and any two distinct elements of <math>U</math> are orthogonal. Let <math>F</math> be the orthogonal complement of the linear span of <math>U</math>. If <math>F\ne \{0\}</math>, it is a non-trivial invariant subspace of <math>T</math>, and by the existence property of an eigenvector, there exists a norm one eigenvector <math>y</math> of <math>T</math> in <math>F</math>. But then <math>U\cup \{y\}</math> contradicts the maximality of <math>U</math>. It follows that <math>F=\{0\}</math>, hence the linear span of <math>U</math> is dense in <math>H</math>. This shows that <math>U</math> is an orthonormal basis of <math>H</math> consisting of eigenvectors of <math>T</math>.}}

=== Functional calculus === If <math>T</math> is compact on an infinite-dimensional Hilbert space <math>H</math>, then <math>T</math> is not invertible, hence <math>\sigma(T)</math>, the spectrum of <math>T</math>, always contains 0. The spectral theorem shows that <math>\sigma(T)</math> consists of the eigenvalues <math>\lambda_n</math> of <math>T</math> and of 0 (if 0 is not already an eigenvalue). The set <math>\sigma(T)</math> is a compact subset of the complex numbers, and the eigenvalues are dense in <math>\sigma(T)</math>.

Any spectral theorem can be reformulated in terms of a [[functional calculus]]. In the present context, we have:

'''Theorem.''' Let <math>C(\sigma(T))</math> denote the [[C*-algebra]] of continuous functions on <math>\sigma(T)</math>. There exists a unique isometric homomorphism <math>\Phi:C(\sigma(T))\to L(H)</math> such that <math>\Phi(1)=\mathrm{I}</math> and, if <math>f</math> is the identity function <math>f(\lambda)=\lambda</math>, then <math>\Phi(f)=T</math>. Now we may define <math>g(T):=\Phi(g)</math> (clearly this would hold when <math>g</math> is polynomial). Then it also holds, that <math>\sigma(g(T))=g(\sigma(T))</math>.

The functional calculus map <math>\Phi</math> is defined in a natural way: let <math>(e_n)</math> be an orthonormal basis of eigenvectors for <math>H</math>, with corresponding eigenvalues <math>\lambda_n</math>; for <math>f\in C(\sigma(T))</math>, the operator <math>\Phi(f)</math>, diagonal with respect to the orthonormal basis <math>e_n</math>, is defined by setting <math display="block">\Phi(f)(e_n) = f(\lambda_n) e_n</math> for every <math>n</math>. Since <math>\Phi(f)</math> is diagonal with respect to an orthonormal basis, its norm is equal to the supremum of the modulus of diagonal coefficients, <math display="block">\|\Phi(f)\| = \sup_{\lambda_n \in \sigma(T)} |f(\lambda_n)| = \|f\|_{C(\sigma(T))}.</math>

The other properties of <math>\Phi</math> can be readily verified. For the unicity part, notice that any homomorphism <math>\Psi</math> satisfying the requirements of the theorem must coincide with <math>\Phi</math> when evaluated on a polynomial function. By the [[Stone–Weierstrass theorem|Weierstrass approximation theorem]], polynomial functions are dense in <math>C(\sigma(T))</math>, and it follows that <math>\Psi=\Phi</math>. This shows that <math>\Phi</math> is unique.

The more general [[continuous functional calculus]] can be defined for any self-adjoint (or even normal, in the complex case) bounded linear operator on a Hilbert space. The compact case described here is a particularly simple instance of this functional calculus.

=== Simultaneous diagonalization === Consider a Hilbert space <math>H</math> (e.g. the finite-dimensional <math>\C^n</math>), and a commuting set <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> of self-adjoint operators. Then under suitable conditions, it can be simultaneously (unitarily) diagonalized. ''Viz.'', there exists an orthonormal basis <math>Q</math> consisting of common eigenvectors for the operators — i.e., <math display="block">(\forall{q\in Q,T\in\mathcal{F}})(\exists{\sigma\in\mathbf{C}})(T-\sigma)q=0</math>

{{math theorem | name = Lemma | math_statement = Suppose all the operators in <math>\mathcal{F}</math> are compact. Then every closed non-zero <math>\mathcal{F}</math>-invariant sub-space <math>S\subseteq H</math> has a common eigenvector for <math>\mathcal{F}</math>.}} {{math proof | proof = ''Case I:'' all the operators have each exactly one eigenvalue on <math>S</math>. Take any <math>s\in S</math> of unit length. It is a common eigenvector.

''Case II:'' there is some operator <math>T\in\mathcal{F}</math> with at least 2 eigenvalues on <math>S</math> and let <math>0 \neq \alpha \in \sigma(T\upharpoonright S)</math>. Since <math>T</math> is compact and α is non-zero, we have <math>S' := \ker(T \upharpoonright S - \alpha)</math> is a finite-dimensional (and therefore closed) non-zero <math>\mathcal{F}</math>-invariant sub-space (because the operators all commute with <math>T</math>, we have for <math>T'\in\mathcal{F}</math> and <math>x\in\ker(T\upharpoonright S - \alpha)</math>, that <math>(T-\alpha)(T'x)=(T'(T~x)-\alpha T'x)=0</math>). In particular, since α is just one of the eigenvalues of <math>T</math> on <math>S</math>, we definitely have <math>\dim S' < \dim S</math>. Thus we could in principle argue by induction over dimension, yielding that <math>S'\subseteq S</math> has a common eigenvector for <math>\mathcal{F}</math>.}}

{{math theorem | name = Theorem 1 | math_statement = If all the operators in <math>\mathcal{F}</math> are compact then the operators can be simultaneously (unitarily) diagonalized.}} {{math proof | proof = The following set <math display="block">\mathbf{P}=\{ A \subseteq H : A \text{ is an orthonormal set of common eigenvectors for } \mathcal{F}\},</math> is partially ordered by inclusion. This clearly has the Zorn property. So taking <math>Q</math> a maximal member, if <math>Q</math> is a basis for the whole Hilbert space <math>H</math>, we are done. If this were not the case, then letting <math>S=\langle Q\rangle^{\bot}</math>, it is easy to see that this would be an <math>\mathcal{F}</math>-invariant non-trivial closed subspace; and thus by the lemma above, therein would lie a common eigenvector for the operators (necessarily orthogonal to <math>Q</math>). But then there would then be a proper extension of <math>Q</math> within <math>\mathbf{P}</math>; a contradiction to its maximality.}}

{{math theorem | name = Theorem 2 | math_statement = If there is an injective compact operator in <math>\mathcal{F}</math>; then the operators can be simultaneously (unitarily) diagonalized.}} {{math proof | proof = Fix <math>T_0\in\mathcal{F}</math> compact injective. Then we have, by the spectral theory of compact symmetric operators on Hilbert spaces: <math display="block">H=\overline{\bigoplus_{\lambda\in\sigma(T_0)} \ker(T_0-\sigma)},</math> where <math>\sigma(T_0)</math> is a discrete, countable subset of positive real numbers, and all the eigenspaces are finite-dimensional. Since <math>\mathcal{F}</math> a commuting set, we have all the eigenspaces are invariant. Since the operators restricted to the eigenspaces (which are finite-dimensional) are automatically all compact, we can apply Theorem 1 to each of these, and find orthonormal bases ''Q''<sub>σ</sub> for the <math>\ker(T_0-\sigma)</math>. Since <math>T</math><sub>0</sub> is symmetric, we have that <math display="block">Q:=\bigcup_{\sigma\in\sigma(T_0)} Q_{\sigma}</math> is a (countable) orthonormal set. It is also, by the decomposition we first stated, a basis for ''H''.}}

{{math theorem | name = Theorem 3 | math_statement = If <math>H</math> a finite-dimensional Hilbert space, and <math>\mathcal{F}\subseteq\operatorname{Hom}(H,H)</math> a commutative set of operators, each of which is diagonalisable; then the operators can be simultaneously diagonalized.}} {{math proof | proof = ''Case I:'' all operators have exactly one eigenvalue. Then any basis for <math>H</math> will do.

''Case II:'' Fix <math>T_0\in\mathcal{F}</math> an operator with at least two eigenvalues, and let <math>P\in\operatorname{Hom}(H,H)^{\times}</math> so that <math>P^{-1}T_0P</math> is a symmetric operator. Now let α be an eigenvalue of <math>P^{-1}T_0P</math>. Then it is easy to see that both: <math display="block">\ker\left(P^{-1}~T_0(P-\alpha)\right), \quad \ker\left(P^{-1}~T_0(P-\alpha) \right)^{\bot}</math> are non-trivial <math>P^{-1}\mathcal{F}P</math>-invariant subspaces. By induction over dimension we have that there are linearly independent bases ''Q''<sub>1</sub>, ''Q''<sub>2</sub> for the subspaces, which demonstrate that the operators in <math>P^{-1}\mathcal{F}P</math> can be simultaneously diagonalisable on the subspaces. Clearly then <math>P(Q_1\cup Q_2)</math> demonstrates that the operators in <math>\mathcal{F}</math> can be simultaneously diagonalised.}}

Notice we did not have to directly use the machinery of matrices at all in this proof. There are other versions which do.

We can strengthen the above to the case where all the operators merely commute with their adjoint; in this case we remove the term "orthogonal" from the diagonalisation. There are weaker results for operators arising from representations due to Weyl–Peter. Let <math>G</math> be a fixed locally compact hausdorff group, and <math>H=L^2(G)</math> (the space of square integrable measurable functions with respect to the unique-up-to-scale Haar measure on ''G''). Consider the continuous shift action: <math display="block">\begin{cases} G\times H\to H \\ (gf)(x)=f(g^{-1}x) \end{cases}</math>

Then if ''G'' were compact then there is a unique decomposition of <math>H</math> into a countable direct sum of finite-dimensional, irreducible, invariant subspaces (this is essentially diagonalisation of the family of operators <math>G\subseteq U(H)</math>). If <math>G</math> were not compact, but were abelian, then diagonalisation is not achieved, but we get a unique ''continuous'' decomposition of <math>H</math> into 1-dimensional invariant subspaces.

== Compact normal operator == The family of Hermitian matrices is a proper subset of matrices that are unitarily diagonalizable. A matrix <math>M</math> is unitarily diagonalizable if and only if it is normal, i.e., <math>M^\ast M=MM^\ast</math>. Similar statements hold for compact normal operators.

Let <math>T</math> be compact and <math>T^\ast T=TT^\ast</math>. Apply the ''Cartesian decomposition'' to <math>T</math>: define <math display="block">R = \frac{T + T^*}{2}, \quad J = \frac{T - T^*}{2i}.</math>

The self-adjoint compact operators <math>R</math> and <math>J</math> are called the real and imaginary parts of <math>T</math>, respectively. That <math>T</math> is compact implies that <math>T^\ast</math> and, consequently, <math>R</math> and <math>J</math> are compact. Furthermore, the normality of <math>T</math> implies that <math>R</math> and <math>J</math> commute. Therefore they can be simultaneously diagonalized, from which follows the claim.

A [[hyponormal operator|hyponormal compact operator]] (in particular, a [[subnormal operator]]) is normal.

== Unitary operator == The spectrum of a [[unitary operator]] <math>U</math> lies on the unit circle in the complex plane; it could be the entire unit circle. However, if <math>U</math> is identity plus a compact perturbation, <math>U</math> has only a countable spectrum, containing 1 and possibly, a finite set or a sequence tending to 1 on the unit circle. More precisely, suppose <math>U=I+C</math> where <math>C</math> is compact. The equations <math>UU^\ast=U^\ast U = I</math> and <math>C=U-I</math> show that <math>C</math> is normal. The spectrum of <math>C</math> contains 0, and possibly, a finite set or a sequence tending to 0. Since {{math|1=''U'' = ''I'' + ''C''}}, the spectrum of <math>U</math> is obtained by shifting the spectrum of <math>C</math> by 1.

== Examples == * Let ''H'' = [[Lp space|''L''<sup>2</sup>([0, 1])]]. The multiplication operator ''M'' defined by <math display="block">(M f)(x) = x f(x), \quad f \in H, \, \, x \in [0, 1]</math> is a bounded self-adjoint operator on ''H'' that has no eigenvector and hence, by the spectral theorem, cannot be compact. * An example of a compact operator on a Hilbert space that is not self-adjoint is the [[Volterra operator]], defined for a function <math>f\in L^2([0,1])</math> and a value <math>t \in [0,1]</math> as <math display="block">V(f)(t) = \int_{0}^{t} f(s)\, ds.</math> It is the operator corresponding to the [[Volterra integral equation]]s. * Define a Hilbert-Schmidt kernel <math>K: \Omega \times \Omega \to \mathbb{C}</math> on <math>\Omega = [0,1]</math> and its associated [[Hilbert-Schmidt integral operator]] <math>T_K : L^{2}(\Omega)\to L^2(\Omega)</math> as <math display="block">(T_K f)(x) = \int_0^1 K(x, y) f(y) \, \mathrm{d} y.</math> Then <math>T_K</math> is a compact operator; it is a [[Hilbert–Schmidt operator]] with Hilbert-Schmidt norm <math>\|T_k\|_{\mathrm{HS}}=\|K\|_{L^2}</math>. * <math>T_K</math> is a compact self-adjoint operator if and only if <math>K(x,y)</math> is a [[positive-definite kernel#definition|hermitian kernel]] which, according to [[Mercer's theorem]], can be represented as <math display="block">K(x, y) = \sum \lambda_n \varphi_n(x) \overline{\varphi_n(y)},</math> where <math>\{\varphi_n\}</math> is an orthonormal basis of eigenvectors of <math>T_K</math>, with eigenvalues <math>\{\lambda_n\}</math> and the sum converges absolutely and uniformly on <math>[0,1]</math>.

==See also==

* {{annotated link|Calkin algebra}} * {{annotated link|Compact operator}} * {{annotated link|Decomposition of spectrum (functional analysis)}} − If the compactness assumption is removed, operators need not have countable spectrum in general. * {{annotated link|Fredholm operator}} * {{annotated link|Singular value decomposition#Bounded operators on Hilbert spaces}} − The notion of singular values can be extended from matrices to compact operators. * {{annotated link|Spectral theory of compact operators}} * {{annotated link|Strictly singular operator}}

== Remarks == {{notelist|1}}

==References== {{reflist}} *J. Blank, P. Exner, and M. Havlicek, ''Hilbert Space Operators in Quantum Physics'', American Institute of Physics, 1994. *M. Reed and B. Simon, ''Methods of Modern Mathematical Physics I: Functional Analysis'', Academic Press, 1972. *{{citation|author1-link=Kehe Zhu|last=Zhu | first= Kehe | title=Operator Theory in Function Spaces | series=Mathematical surveys and monographs | volume=138 | publisher=American Mathematical Society | year=2007 | isbn=978-0-8218-3965-2}}

{{Functional analysis}} {{Hilbert space}}

[[Category:Hilbert spaces]] [[Category:Articles containing proofs]] [[Category:Operator theory]] [[Category:Linear operators]]