In mathematics, nuclear operators between Banach spaces are a linear operators between Banach spaces in infinite dimensions that share some of the properties of their counter-part in finite dimension. In Hilbert spaces such operators are usually called trace class operators and one can define such things as the trace. In Banach spaces this is no longer possible for general nuclear operators, it is however possible for 2 3 {\displaystyle {\tfrac {2}{3}}} -nuclear operator via the Grothendieck trace theorem. The general definition for Banach spaces was given by Grothendieck. This article presents both cases but concentrates on the general case of nuclear operators on Banach spaces.
Nuclear operators on Hilbert spaces
An operator L {\displaystyle {\mathcal {L}}} on a Hilbert space H {\displaystyle {\mathcal {H}}}
L : H → H {\displaystyle {\mathcal {L}}:{\mathcal {H}}\to {\mathcal {H}}}
is compact if it can be written in the form
L = ∑ n = 1 N ρ n ⟨ f n , ⋅ ⟩ g n , {\displaystyle {\mathcal {L}}=\sum _{n=1}^{N}\rho _{n}\langle f_{n},\cdot \rangle g_{n},}
where 1 ≤ N ≤ ∞ , {\displaystyle 1\leq N\leq \infty ,} and { f 1 , … , f N } {\displaystyle \{f_{1},\ldots ,f_{N}\}} and { g 1 , … , g N } {\displaystyle \{g_{1},\ldots ,g_{N}\}} are (not necessarily complete) orthonormal sets. Here { ρ 1 , … , ρ N } {\displaystyle \{\rho _{1},\ldots ,\rho _{N}\}} is a set of real numbers, the set of singular values of the operator, obeying ρ n → 0 {\displaystyle \rho _{n}\to 0} if N = ∞ . {\displaystyle N=\infty .}
The bracket ⟨ ⋅ , ⋅ ⟩ {\displaystyle \langle \cdot ,\cdot \rangle } is the scalar product on the Hilbert space; the sum on the right hand side must converge in norm. An operator that is compact as defined above is said to be nuclear or trace-class if
∑ n = 1 ∞ | ρ n | < ∞ . {\displaystyle \sum _{n=1}^{\infty }|\rho _{n}|<\infty .}
Properties A nuclear operator on a Hilbert space has the important property that a trace operation may be defined. Given an orthonormal basis { ψ n } {\displaystyle \{\psi _{n}\}} for the Hilbert space, the trace is defined as
Tr L = ∑ n ⟨ ψ n , L ψ n ⟩ . {\displaystyle \operatorname {Tr} {\mathcal {L}}=\sum _{n}\langle \psi _{n},{\mathcal {L}}\psi _{n}\rangle .}
Obviously, the sum converges absolutely, and it can be proven that the result is independent of the basis. It can be shown that this trace is identical to the sum of the eigenvalues of L {\displaystyle {\mathcal {L}}} (counted with multiplicity).
Nuclear operators on Banach spaces
The definition of trace-class operator was extended to Banach spaces by Alexander Grothendieck in 1955. Let A {\displaystyle A} and B {\displaystyle B} be Banach spaces, and A ′ {\displaystyle A^{\prime }} be the dual of A , {\displaystyle A,} that is, the set of all continuous or (equivalently) bounded linear functionals on A {\displaystyle A} with the usual norm. There is a canonical evaluation map
A ′ ⊗ B → Hom ( A , B ) {\displaystyle A^{\prime }\otimes B\to \operatorname {Hom} (A,B)}
… excerpt ends here. Continue reading the full article.
