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
\tfrac{2}{3}
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.
See main article: trace class operator. An operator
lL
lH
1\leqN\leqinfty,
\{f1,\ldots,fN\}
\{g1,\ldots,gN\}
\{\rho1,\ldots,\rhoN\}
\rhon\to0
N=infty.
The bracket
\langle ⋅ , ⋅ \rangle
An operator that is compact as defined above is said to be or if
A nuclear operator on a Hilbert space has the important property that a trace operation may be defined. Given an orthonormal basis
\{\psin\}
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{L}
See main article: Fredholm kernel.
The definition of trace-class operator was extended to Banach spaces by Alexander Grothendieck in 1955.
Let
A
B
A\prime
A,
A
A
B
A
B
f\inA\prime
b\inB
a\mapstof(a) ⋅ b.
lL\in\operatorname{Hom}(A,B)
An operatoris said to be if there exist sequences of vectors
\{gn\}\inB
\Vertgn\Vert\leq1,
* | |
\left\{f | |
n\right\} |
\inA\prime
\Vert
* | |
f | |
n |
\Vert\leq1
\{\rhon\}
Operators that are nuclear of order 1 are called : these are the ones for which the series
\sum\rhon
With additional steps, a trace may be defined for such operators when
A=B.
The trace and determinant can no longer be defined in general in Banach spaces. However they can be defined for the so-called
\tfrac{2}{3}
A
B
* | |
f | |
n |
An extension of the concept of nuclear maps to arbitrary monoidal categories is given by . A monoidal category can be thought of as a category equipped with a suitable notion of a tensor product. An example of a monoidal category is the category of Banach spaces or alternatively the category of locally convex, complete, Hausdorff spaces; both equipped with the projective tensor product. A map
f:A\toB
C
t:I\toB ⊗ C,s:C ⊗ A\toI,
I
In the monoidal category of Banach spaces, equipped with the projective tensor product, a map is thick if and only if it is nuclear.
Suppose that
f:H1\toH2
g:H2\toH3
g\circf:H1\toH3