In mathematical analysis, an integral linear operator is a linear operator T given by integration; i.e.,
( T f ) ( x ) = ∫ f ( y ) K ( x , y ) d y {\displaystyle (Tf)(x)=\int f(y)K(x,y)\,dy}
where K ( x , y ) {\displaystyle K(x,y)} is called an integration kernel. More generally, an integral bilinear form is a bilinear functional that belongs to the continuous dual space of X ⊗ ^ ϵ Y {\displaystyle X{\widehat {\otimes }}_{\epsilon }Y} , the injective tensor product of the locally convex topological vector spaces (TVSs) X and Y. An integral linear operator is a continuous linear operator that arises in a canonical way from an integral bilinear form. These maps play an important role in the theory of nuclear spaces and nuclear maps.
Definition - Integral forms as the dual of the injective tensor product
Let X and Y be locally convex TVSs, let X ⊗ π Y {\displaystyle X\otimes _{\pi }Y} denote the projective tensor product, X ⊗ ^ π Y {\displaystyle X{\widehat {\otimes }}_{\pi }Y} denote its completion, let X ⊗ ϵ Y {\displaystyle X\otimes _{\epsilon }Y} denote the injective tensor product, and X ⊗ ^ ϵ Y {\displaystyle X{\widehat {\otimes }}_{\epsilon }Y} denote its completion. Suppose that In : X ⊗ ϵ Y → X ⊗ ^ ϵ Y {\displaystyle \operatorname {In} :X\otimes _{\epsilon }Y\to X{\widehat {\otimes }}_{\epsilon }Y} denotes the TVS-embedding of X ⊗ ϵ Y {\displaystyle X\otimes _{\epsilon }Y} into its completion and let
t In : ( X ⊗ ^ ϵ Y ) b ′ → ( X ⊗ ϵ Y ) b ′ {\displaystyle {}^{t}\operatorname {In} :\left(X{\widehat {\otimes }}_{\epsilon }Y\right)_{b}^{\prime }\to \left(X\otimes _{\epsilon }Y\right)_{b}^{\prime }} be its transpose, which is a vector space-isomorphism. This identifies the continuous dual space of X ⊗ ϵ Y {\displaystyle X\otimes _{\epsilon }Y} as being identical to the continuous dual space of X ⊗ ^ ϵ Y {\displaystyle X{\widehat {\otimes }}_{\epsilon }Y} . Let Id : X ⊗ π Y → X ⊗ ϵ Y {\displaystyle \operatorname {Id} :X\otimes _{\pi }Y\to X\otimes _{\epsilon }Y} denote the identity map and
… excerpt ends here. Continue reading the full article.
