In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector spaces (TVSs).
Preliminaries and notation Throughout let X,Y, and Z be topological vector spaces (TVSs) and L : X → Y be a linear operator (no assumption of continuity is made unless otherwise stated).
The projective tensor product of two locally convex TVSs X and Y is denoted by X ⊗ π Y {\displaystyle X\otimes _{\pi }Y} and the completion of this space will be denoted by X ⊗ ^ π Y {\displaystyle X{\widehat {\otimes }}_{\pi }Y} . L : X → Y is a topological homomorphism or homomorphism, if it is linear, continuous, and L : X → Im L {\displaystyle L:X\to \operatorname {Im} L} is an open map, where Im L {\displaystyle \operatorname {Im} L} , the image of L, has the subspace topology induced by Y. If S is a subspace of X then both the quotient map X → X/S and the canonical injection S → X are homomorphisms. The set of continuous linear maps X → Z (resp. continuous bilinear maps X × Y → Z {\displaystyle X\times Y\to Z} ) will be denoted by L(X, Z) (resp. B(X, Y; Z)) where if Z is the underlying scalar field then we may instead write L(X) (resp. B(X, Y)). Any linear map L : X → Y {\displaystyle L:X\to Y} can be canonically decomposed as follows: X → X / ker L → L 0 Im L → Y {\displaystyle X\to X/\ker L\;\xrightarrow {L_{0}} \;\operatorname {Im} L\to Y} where L 0 ( x + ker L ) := L ( x ) {\displaystyle L_{0}\left(x+\ker L\right):=L(x)} defines a bijection called the canonical bijection associated with L. X* or X ′ {\displaystyle X'} will denote the continuous dual space of X. To increase the clarity of the exposition, we use the common convention of writing elements of X ′ {\displaystyle X'} with a prime following the symbol (e.g. x ′ {\displaystyle x'} denotes an element of X ′ {\displaystyle X'} and not, say, a derivative and the variables x and x ′ {\displaystyle x'} need not be related in any way).
… excerpt ends here. Continue reading the full article.
