This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: "Nuclear operator" – news · newspapers · books · scholar · JSTOR (June 2020) (Learn how and when to remove this template message)

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 : XY be a linear operator (no assumption of continuity is made unless otherwise stated).

Notation for topologies

Main articles: Topology of uniform convergence and Mackey topology

A canonical tensor product as a subspace of the dual of Bi(X, Y)

Let X and Y be vector spaces (no topology is needed yet) and let Bi(X, Y) be the space of all bilinear maps defined on and going into the underlying scalar field.

For every , let be the canonical linear form on Bi(X, Y) defined by for every u ∈ Bi(X, Y). This induces a canonical map defined by , where denotes the algebraic dual of Bi(X, Y). If we denote the span of the range of 𝜒 by XY then it can be shown that XY together with 𝜒 forms a tensor product of X and Y (where xy := 𝜒(x, y)). This gives us a canonical tensor product of X and Y.

If Z is any other vector space then the mapping Li(XY; Z) → Bi(X, Y; Z) given by uu𝜒 is an isomorphism of vector spaces. In particular, this allows us to identify the algebraic dual of XY with the space of bilinear forms on X × Y.[4] Moreover, if X and Y are locally convex topological vector spaces (TVSs) and if XY is given the 𝜋-topology then for every locally convex TVS Z, this map restricts to a vector space isomorphism from the space of continuous linear mappings onto the space of continuous bilinear mappings.[5] In particular, the continuous dual of XY can be canonically identified with the space B(X, Y) of continuous bilinear forms on X × Y; furthermore, under this identification the equicontinuous subsets of B(X, Y) are the same as the equicontinuous subsets of .[5]

Nuclear operators between Banach spaces

Main articles: Nuclear operators between Banach spaces and Projective tensor product

There is a canonical vector space embedding defined by sending to the map

Assuming that X and Y are Banach spaces, then the map has norm (to see that the norm is , note that so that ). Thus it has a continuous extension to a map , where it is known that this map is not necessarily injective.[6] The range of this map is denoted by and its elements are called nuclear operators.[7] is TVS-isomorphic to and the norm on this quotient space, when transferred to elements of via the induced map , is called the trace-norm and is denoted by . Explicitly,[clarification needed explicitly or especially?] if is a nuclear operator then .

Characterization

Suppose that X and Y are Banach spaces and that is a continuous linear operator.

Properties

Let X and Y be Banach spaces and let be a continuous linear operator.

Nuclear operators between Hilbert spaces

See also: Trace class

Nuclear automorphisms of a Hilbert space are called trace class operators.

Let X and Y be Hilbert spaces and let N : XY be a continuous linear map. Suppose that where R : XX is the square-root of and U : XY is such that is a surjective isometry and . Then N is a nuclear map if and only if R is a nuclear map; hence, to study nuclear maps between Hilbert spaces it suffices to restrict one's attention to positive linear operators.[10]

Characterizations

Let X and Y be Hilbert spaces and let N : XY be a continuous linear map whose absolute value is R : XX. The following are equivalent:

  1. N : XY is nuclear.
  2. R : XX is nuclear.[11]
  3. R : XX is compact and is finite, in which case .[11]
    • Here, is the trace of R and it is defined as follows: Since R is a continuous compact positive operator, there exists a (possibly finite) sequence of positive numbers with corresponding non-trivial finite-dimensional and mutually orthogonal vector spaces such that the orthogonal (in H) of is equal to (and hence also to ) and for all k, for all ; the trace is defined as .
  4. is nuclear, in which case . [9]
  5. There are two orthogonal sequences in X and in Y, and a sequence in such that for all , .[11]
  6. N : XY' is an integral map.[12]

Nuclear operators between locally convex spaces

See also: Auxiliary normed spaces

Suppose that U is a convex balanced closed neighborhood of the origin in X and B is a convex balanced bounded Banach disk in Y with both X and Y locally convex spaces. Let and let be the canonical projection. One can define the auxiliary Banach space with the canonical map whose image, , is dense in as well as the auxiliary space normed by and with a canonical map being the (continuous) canonical injection. Given any continuous linear map one obtains through composition the continuous linear map ; thus we have an injection and we henceforth use this map to identify as a subspace of .[7]

Definition: Let X and Y be Hausdorff locally convex spaces. The union of all as U ranges over all closed convex balanced neighborhoods of the origin in X and B ranges over all bounded Banach disks in Y, is denoted by and its elements are call nuclear mappings of X into Y.[7]

When X and Y are Banach spaces, then this new definition of nuclear mapping is consistent with the original one given for the special case where X and Y are Banach spaces.

Sufficient conditions for nuclearity

Characterizations

Let X and Y be Hausdorff locally convex spaces and let be a continuous linear operator.

Properties

The following is a type of Hahn-Banach theorem for extending nuclear maps:

Let X and Y be Hausdorff locally convex spaces and let be a continuous linear operator.

See also

References

  1. ^ Trèves 2006, p. 488.
  2. ^ a b c Trèves 2006, p. 483.
  3. ^ a b Trèves 2006, p. 490.
  4. ^ Schaefer & Wolff 1999, p. 92.
  5. ^ a b Schaefer & Wolff 1999, p. 93.
  6. ^ a b c Schaefer & Wolff 1999, p. 98.
  7. ^ a b c Trèves 2006, pp. 478-479.
  8. ^ a b c d e Trèves 2006, pp. 481-483.
  9. ^ a b c Trèves 2006, p. 484.
  10. ^ a b Trèves 2006, pp. 483-484.
  11. ^ a b c Trèves 2006, pp. 492-494.
  12. ^ Trèves 2006, pp. 502-508.
  13. ^ Trèves 2006, pp. 479-481.
  14. ^ a b Schaefer & Wolff 1999, p. 100.
  15. ^ a b Trèves 2006, p. 485.

Bibliography