In functional analysis, an area of mathematics, the projective tensor product of two locally convex topological vector spaces is a natural topological vector space structure on their tensor product. Namely, given locally convex topological vector spaces and , the projective topology, or π-topology, on is the strongest topology which makes a locally convex topological vector space such that the canonical map (from to ) is continuous. When equipped with this topology, is denoted and called the projective tensor product of and .
Definitions
Let and be locally convex topological vector spaces. Their projective tensor product is the unique locally convex topological vector space with underlying vector space having the following universal property:
- For any locally convex topological vector space , if is the canonical map from the vector space of bilinear maps to the vector space of linear maps , then the image of the restriction of to the continuous bilinear maps is the space of continuous linear maps .
When the topologies of and are induced by seminorms, the topology of is induced by seminorms constructed from those on and as follows. If is a seminorm on , and is a seminorm on , define their tensor product to be the seminorm on given byfor all in , where is the balanced convex hull of the set . The projective topology on is generated by the collection of such tensor products of the seminorms on and .When and are normed spaces, this definition applied to the norms on and gives a norm, called the projective norm, on which generates the projective topology.
Properties
Throughout, all spaces are assumed to be locally convex. The symbol denotes the completion of the projective tensor product of and .
- If and are both Hausdorff then so is ; if and are Fréchet spaces then is barelled.
- For any two continuous linear operators and , their tensor product (as linear maps) is continuous.
- 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 ).
- If and are complemented subspaces of and respectively, then is a complemented vector subspace of and the projective norm on is equivalent to the projective norm on restricted to the subspace . Furthermore, if and are complemented by projections of norm 1, then is complemented by a projection of norm 1.
- Let and be vector subspaces of the Banach spaces and , 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.
Completion
In general, the space is not complete, even if both and are complete (in fact, if and are both infinite-dimensional Banach spaces then is necessarily not complete). However, can always be linearly embedded as a dense vector subspace of some complete locally convex TVS, which is generally denoted by .
The continuous dual space of is the same as that of , namely, the space of continuous bilinear forms .
Grothendieck's representation of elements in the completion
In a Hausdorff locally convex space a sequence in is absolutely convergent if for every continuous seminorm on We write if the sequence of partial sums converges to in
The following fundamental result in the theory of topological tensor products is due to Alexander Grothendieck.
The next theorem shows that it is possible to make the representation of independent of the sequences and
Topology of bi-bounded convergence
Let and denote the families of all bounded subsets of and 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 on , and in (Grothendieck 1955), Alexander Grothendieck was interested in when these two topologies were identical. This is equivalent to the problem: Given a bounded subset do there exist bounded subsets and such that is a subset of the closed convex hull of ?
Grothendieck proved that these topologies are equal when and are both Banach spaces or both are DF-spaces (a class of spaces introduced by Grothendieck). They are also equal when both spaces are Fréchet with one of them being nuclear.
Strong dual and bidual
Let be a locally convex topological vector space and let be its continuous dual space. Alexander Grothendieck characterized the strong dual and bidual for certain situations:
Examples
- For a measure space, let be the real Lebesgue space ; let be a real Banach space. Let be the completion of the space of simple functions , modulo the subspace of functions whose pointwise norms, considered as functions , have integral with respect to . Then is isometrically isomorphic to .
See also
Citations
References
- 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. Vol. 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.
Further reading
- 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.
- 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). 16. Providence: American Mathematical Society. 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.
- Pietsch, Albrecht (1972). Nuclear locally convex spaces. Berlin, New York: Springer-Verlag. ISBN 0-387-05644-0. OCLC 539541.
- Wong (1979). Schwartz spaces, nuclear spaces, and tensor products. Berlin New York: Springer-Verlag. ISBN 3-540-09513-6. OCLC 5126158.
External links