Projective tensor product

The strongest locally convex topological vector space (TVS) topology on , the tensor product of two locally convex TVSs, making the canonical map (defined by sending to ) continuous is called the projective topology or the π-topology. When X ⊗ Y is endowed with this topology then it is denoted by and called the projective tensor product of X and Y.

Preliminaries

Throughout let X,Y, and Z be topological vector spaces and be a linear map.

  • is a topological homomorphism or homomorphism, if it is linear, continuous, and is an open map, where , the image of L, has the subspace topology induced by Y.
    • If S is a subspace of X then both the quotient map and the canonical injection are homomorphisms. In particular, any linear map can be canonically decomposed as follows: where defines a bijection.
  • The set of continuous linear maps (resp. continuous bilinear maps ) will be denoted by L(X, Z) (resp. B(X, Y; Z)) where if Z is the scalar field then we may instead write L(X) (resp. B(X, Y)).
  • We will denote the continuous dual space of X by X* or and the algebraic dual space (which is the vector space of all linear functionals on X, whether continuous or not) by .
    • To increase the clarity of the exposition, we use the common convention of writing elements of with a prime following the symbol (e.g. denotes an element of and not, say, a derivative and the variables x and need not be related in any way).
  • A linear map from a Hilbert space into itself is called positive if for every . In this case, there is a unique positive map , called the square-root of , such that .[1]
    • If is any continuous linear map between Hilbert spaces, then is always positive. Now let denote its positive square-root, which is called the absolute value of L. Define first on by setting for and extending continuously to , and then define U on by setting for and extend this map linearly to all of . The map is a surjective isometry and .
  • A linear map is called compact or completely continuous if there is a neighborhood U of the origin in X such that is precompact in Y.[2]
    • In a Hilbert space, positive compact linear operators, say have a simple spectral decomposition discovered at the beginning of the 20th century by Fredholm and F. Riesz:[3]
There is a sequence of positive numbers, decreasing and either finite or else converging to 0, and a sequence of nonzero finite dimensional subspaces of H (i = 1, 2, ) with the following properties: (1) the subspaces are pairwise orthogonal; (2) for every and every , ; and (3) the orthogonal of the subspace spanned by is equal to the kernel of L.[3]

Notation for topologies

  • σ(X, X′) denotes the coarsest topology on X making every map in X′ continuous and or denotes X endowed with this topology.
  • σ(X′, X) denotes weak-* topology on X* and or denotes X′ endowed with this topology.
    • Note that every induces a map defined by . σ(X′, X) is the coarsest topology on X′ making all such maps continuous.
  • b(X, X′) denotes the topology of bounded convergence on X and or denotes X endowed with this topology.
  • b(X′, X) denotes the topology of bounded convergence on X′ or the strong dual topology on X′ and or denotes X′ endowed with this topology.
    • As usual, if X* is considered as a topological vector space but it has not been made clear what topology it is endowed with, then the topology will be assumed to be b(X′, X).

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 define a canonical bilinear form by with domain Bi(X, Y) by for every . 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 X ⊗ Y then X ⊗ Y together with 𝜒 forms a tensor product of X and Y (where x ⊗ y = 𝜒(x, y)). This gives us a canonical tensor product of X and Y.

If Z is any other vector space then the mapping given by is an isomorphism of vector spaces. In particular, this allows us to identify the algebraic dual of X ⊗ Y with the space of bilinear forms on .[4] Moreover, if X and Y are locally convex topological vector spaces (TVSs) and if X ⊗ Y 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 X ⊗ Y can be canonically identified with the space B(X, Y) of continuous bilinear forms on ; furthermore, under this identification the equicontinuous subsets of B(X, Y) are the same as the equicontinuous subsets of .[5]

The projective tensor product

Tensor product of seminorms

Throughout we will let X and Y be locally convex topological vector spaces (local convexity allows us to define useful topologies[5]). If p is a seminorm on X then will be its closed unit ball.

If p is a seminorm on X and q is a seminorm on Y then we can define the tensor product of p and q to be the map p ⊗ q defined on X ⊗ Y by

where W is the balanced convex hull of . Given b in X ⊗ Y, this can also be expressed as[6]

where the infimum is taken over all finite sequences and (of the same length) such that (recall that it may not be possible to express b as a simple tensor). If b = x⊗y then we have

.

The seminorm p ⊗ q is a norm if and only if both p and q are norms.[7]

If the topology of X (resp. Y) is given by the family of seminorms (resp. ) then is a locally convex space whose topology is given by the family of all possible tensor products of the two families (i.e. by ). In particular, if X and Y are seminormed spaces with seminorms p and q, respectively, then is a seminormable space whose topology is defined by the seminorm p ⊗ q.[8] If (X, p) and (Y, q) are normed spaces then is also a normed space, called the projective tensor product of (X, p) and (Y, q), where the topology induced by p ⊗ q is the same as the π-topology.[8]

If W is a convex subset of then W is a neighborhood of 0 in if and only if the preimage of W under the map is a neighborhood of 0; equivalent, if and only if there exist open subsets and such that this preimage contains .[9] It follows that if and are neighborhood bases of the origin in X and Y, respectively, then the set of convex hulls of all possible set form a neighborhood basis of the origin in .

Universal property

If 𝜏 is a locally convex TVS topology on X ⊗ Y (X ⊗ Y with this topology will be denoted by ), then 𝜏 is equal to the π-topology if and only if it has the following property:[10]

For every locally convex TVS Z, if I is the canonical map from the space of all bilinear mappings of the form , going into the space of all linear mappings of , then when the domain of I is restricted to then the range of this restriction is the space of continuous linear operators .

In particular, the continuous dual space of is canonically isomorphic to the space , the space of continuous bilinear forms on .

The π-topology

Note that the canonical vector space isomorphism preserves equicontinuous subsets. Since is canonically isomorphic to the continuous dual of , place on X ⊗ Y the topology of uniform convergence on equicontinuous subsets of ; this topology is identical to the π-topology.[10]

Preserved properties

Let X and Y be locally convex TVSs.

  • If both X and Y are Hausdorff (resp. locally convex, metrizable, semi-metrizable, normable, semi-normable) then so is .

Completion

In general, the space is not complete, even if both X and Y are complete (in fact, if X and Y are both infinite-dimensional Banach spaces then is necessarily not complete[11]). However, can always be linearly embedded as a dense vector subspace of some complete locally convex TVS, which is generally denoted by , via a linear topological embedding. Explicitly, this means that there is a continuous linear injection whose image is dense in and that is a TVS-isomorphism onto its image. Using this map, is identified as a subspace of .

The continuous dual space of is the same as that of , namely the space of continuous bilinear forms .:[12]

Any continuous map on can be extended to a unique continuous map on . In particular, if and are continuous linear maps between locally convex spaces then their tensor product , which is necessarily continuous, can be extended to a unique continuous linear function , which may also be denoted by if no ambiguity would arise.

Note that if X and Y are metrizable then so are and , where in particular will be an F-space.

Grothendieck's representation of elements of

Recall that in a Hausdorff locally convex space X, a sequence in X is absolutely convergent if for every continuous seminorm p on X.[13] We write if the sequence of partial sums converges to x in X.[13]

The following fundamental result in the theory of topological tensor products is due to Alexander Grothendieck.[14]

Theorem Let X and Y be metrizable locally convex TVSs and let . Then z is the sum of an absolutely convergent series
where , and and are null sequences in X and Y, respectively.

The next theorem shows that it's possible to make the representation of z independent of the sequences and .

Theorem[15] Let X and Y be Fréchet spaces and let U (resp. V) be a balanced open neighborhood of the origin in X (resp. in Y). Let be a compact subset of the convex balanced hull of . There exists a compact subset of the unit ball in and sequences and contained in U and V, respectively, converging to the origin such that for every there exists some such that
.

Topology of bi-bounded convergence

Let and denote the families of all bounded subsets of X and Y, respectively. Since the continuous dual space of is the space of continuous bilinear forms , we can place on the topology of uniform convergence on sets in , which is also called the topology of bi-bounded convergence. This topology is coarser than the strong topology , and in (Grothendieck 1955), Alexander Grothendieck was interested in when these two topologies were identical. This question is equivalent to the questions: Given a bounded subset , do there exist bounded subsets and such that B is a subset of the closed convex hull of ?

Grothendieck proved that these topologies are equal when X and Y are both Banach spaces or both are DF-spaces (a class of spaces introduced by Grothendieck[16]). They are also equal when both spaces are Fréchet with one of them being nuclear.[12]

Strong dual and bidual

Given a locally convex TVS X, is assumed to have the strong topology (so ) and unless stated otherwise, the same is true of the bidual (so . Alexander Grothendieck characterized the strong dual and bidual for certain situations:

Theorem (Grothendieck):[17] Let N and Y be locally convex TVSs with N nuclear. Assume that both N and Y are Fréchet spaces or else that they are both DF-spaces. Then:

  1. The strong dual of can be identified with ;
  2. The bidual of can be identified with ;
  3. If in addition Y is reflexive then (and hence ) is a reflexive space;
  4. Every separately continuous bilinear form on is continuous;
  5. The strong dual of can be identified with , so in particular if Y is reflexive then so is .

Properties

  • is Hausdorff if and only if both X and Y are Hausdorff.[7]
  • Suppose that and are two linear maps between locally convex spaces. If both u and v are continuous then so is their tensor product .[18]
    • has a unique continuous extension to denoted by .
    • If in addition both u and v are TVS-homomorphisms and the image of each map is dense in its codomain, then is a homomorphism whose image is dense in ; if and are both metrizable then this image is equal to all of .[18]
    • There are examples of u and v such that both u and v are surjective homomorphisms but is not surjective.[19]
    • There are examples of u and v such that both u and v are TVS-embeddings but is not a TVS-embedding.[19] In order for to be a TVS-embedding, it is necessary and sufficient to additionally show that every equicontinuous subset of is the image under of an equicontinuous subset of .[19]
    • If all four spaces are normed then .[20]
  • The π-topology is finer than the ε-topology (since the canonical bilinear map is continuous).[10]
  • If X and Y are Frechet spaces then is barelled.[21]
  • If Y and are locally convex spaces then the canonical map is a TVS-isomorphism.[21]
  • If X and Y are Frechet spaces and Z is a complete Hausdorff locally convex space, then the canonical vector space isomorphism becomes a homeomorphism when these spaces are given the topologies of uniform convergence on products of compact sets and, for the second one, the topology of compact convergence (i.e. is a TVS-isomorphism).[22]
  • Suppose X and Y are Frechet spaces. Every compact subset of is contained in the closed convex balanced hull of the tensor product if a compact subset of X and a compact subset of Y.[22]
  • If X and Y are nuclear then and are nuclear.[23]

Projective norm

Suppose now that and are normed spaces. Then is a normable space with a canonical norm denoted by . The π-norm is defined on X ⊗ Y by

where W is the balanced convex hull of . Given b in X ⊗ Y, this can also be expressed as[6]

where the infimum is taken over all finite sequences and (of the same length) such that . If b is in then

where the infimum is taken over all (finite or infinite) sequences and (of the same length) such that .[24] Also,

where the infimum is taken over all sequences in X and in Y and scalars (of the same length) such that , , and .[24] Also,

where the infimum is taken over all sequences in X and in Y and scalars (of the same length) such that , and converge to the origin, and .[24]

If X and Y are Banach spaces then the closed unit ball of is the closed convex hull of the tensor product of the closed unit ball in X with that of Y.[25]

Properties

  • For all normed spaces , the canonical vector space isomorphism of onto is an isometry.[26]
  • Suppose that is a norm on and let the TVS topology that it induces on be denoted by . If the canonical linear map of into , which is the algebraic dual of , is an isometry of onto , then .[26]

Preserved properties

  • In general, the projective tensor product does not respect subspaces (e.g. if is a vector subspace of then the TVS has in general a coarser topology than the subspace topology inherited from ).[27]
  • Suppose that and are complemented subspaces of X and Y, respectively. Then is a complemented subvector space of and the projective norm on is equivalent to the projective norm on restricted to the subspace ; Furthermore, if E and F are complemented by projections of norm 1, then is complemented by a projection of norm 1.[27]
  • If is an isometric embedding into a Banach space Z, then its unique continuous extension is also an isometric embedding.
  • If and are quotient operators between Banach spaces, then so is .[28]
    • Recall a continuous linear operator between normed spaces is a quotient operator if it is surjective and it maps the open unit ball of Y into the open unit ball of Z, or equivalently if for all , . [28]
  • Let E and F be vector subspaces of the Banach spaces X and Y, respectively. Then is a TVS-subspace of if and only if every bounded bilinear form on extends to a continuous bilinear form on with the same norm.[29]

Trace form

Suppose that X is a locally convex spaces. There is a bilinear form on defined by , which when X is a Banach space has norm equal to 1. This bilinear form corresponds to a linear form on given by mapping to (where of course this value is in fact independent of the representation of z chosen). Letting have its strong dual topology, we can continuously extend this linear map to a map (assuming that the vector spaces have scalar field ) called the trace of X. This name originates from the fact that if we write where if i = j and 0 otherwise, then .[30]

Duality with L(X; Y')

Assuming that X and Y are Banach spaces over the field , one may define a dual system between and with the duality map defined by , where is the identity map and is the unique continuous extension of the continuous map . If we write with and the sequences and each converging to zero, then we have

.[31]

Nuclear operators

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

where it can be shown that this value is independent of the representation of z chosen.

Nuclear operators between Banach spaces

Assuming that X and Y are Banach spaces, then the map has norm so it has a continuous extension to a map , where it is known that this map is not necessarily injective.[32] The range of this map is denoted by and its elements are called nuclear operators.[33] 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 .

Nuclear operators between locally convex 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 .[33]

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.[33]

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.

Nuclear operators between Hilbert spaces

Every nuclear operator is an integral operator but the converse is not necessarily true. However, every integral operator between Hilbert spaces is nuclear.[34]

Theorem:[35] Let X and Y be Hilbert spaces and endow (the space of nuclear linear operators) with the trace-norm. When the space of compact linear operators is equipped with the operator norm (induced by the usual norm on ) then its (strong) dual is (with the trace-norm) and its bidual is the space of all continuous linear operators .

Nuclear bilinear forms

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

where it can be shown that this value is independent of the representation of z chosen.

Nuclear bilinear forms on Banach spaces

Assuming that X and Y are Banach spaces, then the map has norm so it has a continuous extension to a map . The range of this map is denoted by and its elements are called nuclear bilinear forms.[36] is TVS-isomorphic to and the norm on this quotient space, when transferred to elements of via the induced map , is called the nuclear-norm and is denoted by .

Suppose that X and Y are Banach spaces and that is a continuous bilinear from on .

  • The following are equivalent:
  1. is nuclear.
  2. There exist bounded sequences in and in such that and is equal to the mapping:[37] for all .
  • In this case we call a nuclear representation of N.[37]

The nuclear norm of N is:

.[37]

Note that .[37]

Examples

Space of absolutely summable families

Throughout this section we fix some arbitrary (possibly uncountable) set A, a TVS X, and we let be the directed set of all finite subsets of A directed by inclusion .

Let be a family of elements in a TVS X and for every finite subset H of A, let . We call summable in X if the limit of the net converges in X to some element (any such element is called its sum). We call absolutely summable if it is summable and if for every continuous seminorm p on X, the family is summable in .[38] The set of all such absolutely summable families is a vector subspace of denoted by .

Note that if X is a metrizable locally convex space then at most countably many terms in an absolutely summable family are non-0. A metrizable locally convex space is nuclear if and only if every summable sequence is absolutely summable.[39] It follows that a normable space in which every summable sequence is absolutely summable, is necessarily finite dimensional.[39]

We now define a topology on in a very natural way. This topology turns out to be the projective topology taken from and transferred to via a canonical vector space isomorphism (the obvious one). This is a common occurrence when studying the injective and projective tensor products of function/sequence spaces and TVSs: the "natural way" in which one would define (from scratch) a topology on such a tensor product is frequently equivalent to the projective or injective tensor product topology.

Let denote a base of convex balanced neighborhoods of 0 in X and for each , let denote its Minkowski functional. For any such U and any , let where defines a seminorm on . The family of seminorms generates a topology making into a locally convex space. The vector space endowed with this topology will be denoted by .[38] The special case where X is the scalar field will be denoted by .

There is a canonical embedding of vector spaces defined by linearizing the bilinear map defined by .[38]

Theorem:[38] The canonical embedding (of vector spaces) becomes an embedding of topological vector spaces when is given the projective topology and furthermore, its range is dense in its codomain. If is a completion of X then the continuous extension of this embedding is an isomorphism of TVSs. So in particular, if X is complete then is canonically isomorphic to .

See also

References

  1. Trèves 2006, p. 488.
  2. Trèves 2006, p. 483.
  3. Trèves 2006, p. 490.
  4. Schaefer & Wolff 1999, p. 92.
  5. Schaefer & Wolff 1999, p. 93.
  6. Trèves 2006, p. 435.
  7. Trèves 2006, p. 437.
  8. Trèves 2006, p. 437-438.
  9. Trèves 2006, p. 434.
  10. Trèves 2006, p. 438.
  11. Ryan 2002, p. 43.
  12. Schaefer & Wolff 1999, p. 173.
  13. Schaefer & Wolff 1999, p. 120.
  14. Schaefer & Wolff 1999, p. 94.
  15. Trèves 2006, pp. 459-460.
  16. Schaefer & Wolff 1999, p. 154.
  17. Schaefer & Wolff 1999, pp. 175-176.
  18. Trèves 2006, p. 439.
  19. Trèves 2006, p. 442.
  20. Trèves 2006, p. 444.
  21. Trèves 2006, p. 445.
  22. Trèves 2006, p. 465.
  23. Schaefer & Wolff 1999, p. 105.
  24. Ryan 2002, pp. 21-22.
  25. Ryan 2002, p. 17.
  26. Trèves 2006, p. 443.
  27. Ryan 2002, p. 18.
  28. Ryan 2002, pp. 18-19.
  29. Ryan 2002, p. 24.
  30. Trèves 2006, pp. 485-486.
  31. Trèves 2006, p. 496.
  32. Schaefer & Wolff 1999, p. 98.
  33. Trèves 2006, pp. 478-479.
  34. Trèves 2006, pp. 505-506.
  35. Trèves 2006, pp. 498-499.
  36. Ryan 2002, pp. 39-40.
  37. Ryan 2002, p. 39.
  38. Schaefer & Wolff 1999, pp. 179-184.
  39. Schaefer & Wolff 1999, p. 184.

Bibliography

  • Diestel, Joe (2008). The metric theory of tensor products : Grothendieck's résumé revisited. Providence, R.I: American Mathematical Society. ISBN 978-0-8218-4440-3. OCLC 185095773.
  • Dubinsky, Ed (1979). The structure of nuclear Fréchet spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09504-7. OCLC 5126156.
  • Grothendieck, Alexander (1955). "Produits Tensoriels Topologiques et Espaces Nucléaires" [Topological Tensor Products and Nuclear Spaces]. Memoirs of the American Mathematical Society Series (in French). Providence: American Mathematical Society. 16. ISBN 978-0-8218-1216-7. MR 0075539. OCLC 1315788.
  • Grothendieck, Grothendieck (1966). Produits tensoriels topologiques et espaces nucléaires (in French). Providence: American Mathematical Society. ISBN 0-8218-1216-5. OCLC 1315788.
  • Husain, Taqdir (1978). Barrelledness in topological and ordered vector spaces. Berlin New York: Springer-Verlag. ISBN 3-540-09096-7. OCLC 4493665.
  • Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics. 936. Berlin, Heidelberg, New York: Springer-Verlag. ISBN 978-3-540-11565-6. OCLC 8588370.
  • Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
  • Nlend, H (1977). Bornologies and functional analysis : introductory course on the theory of duality topology-bornology and its use in functional analysis. Amsterdam New York New York: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier-North Holland. ISBN 0-7204-0712-5. OCLC 2798822.
  • Nlend, H (1981). Nuclear and conuclear spaces : introductory courses on nuclear and conuclear spaces in the light of the duality. Amsterdam New York New York, N.Y: North-Holland Pub. Co. Sole distributors for the U.S.A. and Canada, Elsevier North-Holland. ISBN 0-444-86207-2. OCLC 7553061.
  • Pietsch, Albrecht (1972). Nuclear locally convex spaces. Berlin,New York: Springer-Verlag. ISBN 0-387-05644-0. OCLC 539541.
  • Robertson, A. P. (1973). Topological vector spaces. Cambridge England: University Press. ISBN 0-521-29882-2. OCLC 589250.
  • Ryan, Raymond (2002). Introduction to tensor products of Banach spaces. London New York: Springer. ISBN 1-85233-437-1. OCLC 48092184.
  • Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
  • Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
  • Wong (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN 3-540-09513-6. OCLC 5126158.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.