Misplaced Pages

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 ${\displaystyle X}$ and ${\displaystyle Y}$, the projective topology, or π-topology, on ${\displaystyle X\otimes Y}$ is the strongest topology which makes ${\displaystyle X\otimes Y}$ a locally convex topological vector space such that the canonical map ${\displaystyle (x,y)\mapsto x\otimes y}$ (from ${\displaystyle X\times Y}$ to ${\displaystyle X\otimes Y}$) is continuous. When equipped with this topology, ${\displaystyle X\otimes Y}$ is denoted ${\displaystyle X\otimes _{\pi }Y}$ and called the projective tensor product of ${\displaystyle X}$ and ${\displaystyle Y}$.

Definitions

Let ${\displaystyle X}$ and ${\displaystyle Y}$ be locally convex topological vector spaces. Their projective tensor product ${\displaystyle X\otimes _{\pi }Y}$ is the unique locally convex topological vector space with underlying vector space ${\displaystyle X\otimes Y}$ having the following universal property:

For any locally convex topological vector space ${\displaystyle Z}$, if ${\displaystyle \Phi _{Z}}$ is the canonical map from the vector space of bilinear maps ${\displaystyle X\times Y\to Z}$ to the vector space of linear maps ${\displaystyle X\otimes Y\to Z}$, then the image of the restriction of ${\displaystyle \Phi _{Z}}$ to the continuous bilinear maps is the space of continuous linear maps ${\displaystyle X\otimes _{\pi }Y\to Z}$.

When the topologies of ${\displaystyle X}$ and ${\displaystyle Y}$ are induced by seminorms, the topology of ${\displaystyle X\otimes _{\pi }Y}$ is induced by seminorms constructed from those on ${\displaystyle X}$ and ${\displaystyle Y}$ as follows. If ${\displaystyle p}$ is a seminorm on ${\displaystyle X}$, and ${\displaystyle q}$ is a seminorm on ${\displaystyle Y}$, define their tensor product ${\displaystyle p\otimes q}$ to be the seminorm on ${\displaystyle X\otimes Y}$ given by $${\displaystyle (p\otimes q)(b)=\inf _{r>0,\,b\in rW}r}$$ for all ${\displaystyle b}$ in ${\displaystyle X\otimes Y}$, where ${\displaystyle W}$ is the balanced convex hull of the set ${\displaystyle \left\{x\otimes y:p(x)\leq 1,q(y)\leq 1\right\}}$. The projective topology on ${\displaystyle X\otimes Y}$ is generated by the collection of such tensor products of the seminorms on ${\displaystyle X}$ and ${\displaystyle Y}$. When ${\displaystyle X}$ and ${\displaystyle Y}$ are normed spaces, this definition applied to the norms on ${\displaystyle X}$ and ${\displaystyle Y}$ gives a norm, called the projective norm, on ${\displaystyle X\otimes Y}$ which generates the projective topology.

Properties

Throughout, all spaces are assumed to be locally convex. The symbol ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ denotes the completion of the projective tensor product of ${\displaystyle X}$ and ${\displaystyle Y}$.

• If ${\displaystyle X}$ and ${\displaystyle Y}$ are both Hausdorff then so is ${\displaystyle X\otimes _{\pi }Y}$; if ${\displaystyle X}$ and ${\displaystyle Y}$ are Fréchet spaces then ${\displaystyle X\otimes _{\pi }Y}$ is barelled.
• For any two continuous linear operators ${\displaystyle u_{1}:X_{1}\to Y_{1}}$ and ${\displaystyle u_{2}:X_{2}\to Y_{2}}$, their tensor product (as linear maps) ${\displaystyle u_{1}\otimes u_{2}:X_{1}\otimes _{\pi }X_{2}\to Y_{1}\otimes _{\pi }Y_{2}}$ is continuous.
• In general, the projective tensor product does not respect subspaces (e.g. if ${\displaystyle Z}$ is a vector subspace of ${\displaystyle X}$ then the TVS ${\displaystyle Z\otimes _{\pi }Y}$ has in general a coarser topology than the subspace topology inherited from ${\displaystyle X\otimes _{\pi }Y}$).
• If ${\displaystyle E}$ and ${\displaystyle F}$ are complemented subspaces of ${\displaystyle X}$ and ${\displaystyle Y,}$ respectively, then ${\displaystyle E\otimes F}$ is a complemented vector subspace of ${\displaystyle X\otimes _{\pi }Y}$ and the projective norm on ${\displaystyle E\otimes _{\pi }F}$ is equivalent to the projective norm on ${\displaystyle X\otimes _{\pi }Y}$ restricted to the subspace ${\displaystyle E\otimes F}$. Furthermore, if ${\displaystyle X}$ and ${\displaystyle F}$ are complemented by projections of norm 1, then ${\displaystyle E\otimes F}$ is complemented by a projection of norm 1.
• Let ${\displaystyle E}$ and ${\displaystyle F}$ be vector subspaces of the Banach spaces ${\displaystyle X}$ and ${\displaystyle Y}$, respectively. Then ${\displaystyle E{\widehat {\otimes }}F}$ is a TVS-subspace of ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ if and only if every bounded bilinear form on ${\displaystyle E\times F}$ extends to a continuous bilinear form on ${\displaystyle X\times Y}$ with the same norm.

Completion

This section contains close paraphrasing of non-free copyrighted sources. Relevant discussion may be found on the talk page. Please help Misplaced Pages by rewriting this section with your own words. (August 2023) (Learn how and when to remove this message)

In general, the space ${\displaystyle X\otimes _{\pi }Y}$ is not complete, even if both ${\displaystyle X}$ and ${\displaystyle Y}$ are complete (in fact, if ${\displaystyle X}$ and ${\displaystyle Y}$ are both infinite-dimensional Banach spaces then ${\displaystyle X\otimes _{\pi }Y}$ is necessarily not complete). However, ${\displaystyle X\otimes _{\pi }Y}$ can always be linearly embedded as a dense vector subspace of some complete locally convex TVS, which is generally denoted by ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$.

The continuous dual space of ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ is the same as that of ${\displaystyle X\otimes _{\pi }Y}$, namely, the space of continuous bilinear forms ${\displaystyle B(X,Y)}$.

Grothendieck's representation of elements in the completion

In a Hausdorff locally convex space ${\displaystyle X,}$ a sequence ${\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}$ in ${\displaystyle X}$ is absolutely convergent if ${\displaystyle \sum _{i=1}^{\infty }p\left(x_{i}\right)<\infty }$ for every continuous seminorm ${\displaystyle p}$ on ${\displaystyle X.}$ We write ${\displaystyle x=\sum _{i=1}^{\infty }x_{i}}$ if the sequence of partial sums ${\displaystyle \left(\sum _{i=1}^{n}x_{i}\right)_{n=1}^{\infty }}$ converges to ${\displaystyle x}$ in ${\displaystyle X.}$

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

Theorem — Let ${\displaystyle X}$ and ${\displaystyle Y}$ be metrizable locally convex TVSs and let ${\displaystyle z\in X{\widehat {\otimes }}_{\pi }Y.}$ Then ${\displaystyle z}$ is the sum of an absolutely convergent series $${\displaystyle z=\sum _{i=1}^{\infty }\lambda _{i}x_{i}\otimes y_{i}}$$ where ${\displaystyle \sum _{i=1}^{\infty }|\lambda _{i}|<\infty ,}$ and ${\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}$ and ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ are null sequences in ${\displaystyle X}$ and ${\displaystyle Y,}$ respectively.

The next theorem shows that it is possible to make the representation of ${\displaystyle z}$ independent of the sequences ${\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}$ and ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }.}$

Theorem — Let ${\displaystyle X}$ and ${\displaystyle Y}$ be Fréchet spaces and let ${\displaystyle U}$ (resp. ${\displaystyle V}$) be a balanced open neighborhood of the origin in ${\displaystyle X}$ (resp. in ${\displaystyle Y}$). Let ${\displaystyle K_{0}}$ be a compact subset of the convex balanced hull of ${\displaystyle U\otimes V:=\{u\otimes v:u\in U,v\in V\}.}$ There exists a compact subset ${\displaystyle K_{1}}$ of the unit ball in ${\displaystyle \ell ^{1}}$ and sequences ${\displaystyle \left(x_{i}\right)_{i=1}^{\infty }}$ and ${\displaystyle \left(y_{i}\right)_{i=1}^{\infty }}$ contained in ${\displaystyle U}$ and ${\displaystyle V,}$ respectively, converging to the origin such that for every ${\displaystyle z\in K_{0}}$ there exists some ${\displaystyle \left(\lambda _{i}\right)_{i=1}^{\infty }\in K_{1}}$ such that $${\displaystyle z=\sum _{i=1}^{\infty }\lambda _{i}x_{i}\otimes y_{i}.}$$

Topology of bi-bounded convergence

Let ${\displaystyle {\mathfrak {B}}_{X}}$ and ${\displaystyle {\mathfrak {B}}_{Y}}$ denote the families of all bounded subsets of ${\displaystyle X}$ and ${\displaystyle Y,}$ respectively. Since the continuous dual space of ${\displaystyle X{\widehat {\otimes }}_{\pi }Y}$ is the space of continuous bilinear forms ${\displaystyle B(X,Y),}$ we can place on ${\displaystyle B(X,Y)}$ the topology of uniform convergence on sets in ${\displaystyle {\mathfrak {B}}_{X}\times {\mathfrak {B}}_{Y},}$ which is also called the topology of bi-bounded convergence. This topology is coarser than the strong topology on ${\displaystyle B(X,Y)}$, 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 ${\displaystyle B\subseteq X{\widehat {\otimes }}Y,}$ do there exist bounded subsets ${\displaystyle B_{1}\subseteq X}$ and ${\displaystyle B_{2}\subseteq Y}$ such that ${\displaystyle B}$ is a subset of the closed convex hull of ${\displaystyle B_{1}\otimes B_{2}:=\{b_{1}\otimes b_{2}:b_{1}\in B_{1},b_{2}\in B_{2}\}}$?

Grothendieck proved that these topologies are equal when ${\displaystyle X}$ and ${\displaystyle Y}$ 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 ${\displaystyle X}$ be a locally convex topological vector space and let ${\displaystyle X^{\prime }}$ be its continuous dual space. Alexander Grothendieck characterized the strong dual and bidual for certain situations:

Theorem (Grothendieck) — Let ${\displaystyle N}$ and ${\displaystyle Y}$ be locally convex topological vector spaces with ${\displaystyle N}$ nuclear. Assume that both ${\displaystyle N}$ and ${\displaystyle Y}$ are Fréchet spaces, or else that they are both DF-spaces. Then, denoting strong dual spaces with a subscripted ${\displaystyle b}$:

1. The strong dual of ${\displaystyle N{\widehat {\otimes }}_{\pi }Y}$ can be identified with ${\displaystyle N_{b}^{\prime }{\widehat {\otimes }}_{\pi }Y_{b}^{\prime }}$;
2. The bidual of ${\displaystyle N{\widehat {\otimes }}_{\pi }Y}$ can be identified with ${\displaystyle N{\widehat {\otimes }}_{\pi }Y^{\prime \prime }}$;
3. If ${\displaystyle Y}$ is reflexive then ${\displaystyle N{\widehat {\otimes }}_{\pi }Y}$ (and hence ${\displaystyle N_{b}^{\prime }{\widehat {\otimes }}_{\pi }Y_{b}^{\prime }}$) is a reflexive space;
4. Every separately continuous bilinear form on ${\displaystyle N_{b}^{\prime }\times Y_{b}^{\prime }}$ is continuous;
5. Let ${\displaystyle L\left(X_{b}^{\prime },Y\right)}$ be the space of bounded linear maps from ${\displaystyle X_{b}^{\prime }}$ to ${\displaystyle Y}$. Then, its strong dual can be identified with ${\displaystyle N_{b}^{\prime }{\widehat {\otimes }}_{\pi }Y_{b}^{\prime },}$ so in particular if ${\displaystyle Y}$ is reflexive then so is ${\displaystyle L_{b}\left(X_{b}^{\prime },Y\right).}$

Examples

• For ${\displaystyle (X,{\mathcal {A}},\mu )}$ a measure space, let ${\displaystyle L^{1}}$ be the real Lebesgue space ${\displaystyle L^{1}(\mu )}$; let ${\displaystyle E}$ be a real Banach space. Let ${\displaystyle L_{E}^{1}}$ be the completion of the space of simple functions ${\displaystyle X\to E}$, modulo the subspace of functions ${\displaystyle X\to E}$ whose pointwise norms, considered as functions ${\displaystyle X\to \mathbb {R} }$, have integral ${\displaystyle 0}$ with respect to ${\displaystyle \mu }$. Then ${\displaystyle L_{E}^{1}}$ is isometrically isomorphic to ${\displaystyle L^{1}{\widehat {\otimes }}_{\pi }E}$.

See also

• Inductive tensor product – binary operation on topological vector spacesPages displaying wikidata descriptions as a fallback
• Injective tensor product
• Tensor product of Hilbert spaces – Tensor product space endowed with a special inner product
• Topological tensor product – Tensor product constructions for topological vector spaces

Citations

1. ^ Trèves 2006, p. 438.
2. Trèves 2006, p. 435.
3. ^ Trèves 2006, p. 437.
4. Trèves 2006, p. 445.
5. Trèves 2006, p. 439.
6. ^ Ryan 2002, p. 18.
7. Ryan 2002, p. 24.
8. Ryan 2002, p. 43.
9. ^ Schaefer & Wolff 1999, p. 173.
10. ^ Schaefer & Wolff 1999, p. 120.
11. Schaefer & Wolff 1999, p. 94.
12. Trèves 2006, pp. 459–460.
13. Schaefer & Wolff 1999, p. 154.
14. Schaefer & Wolff 1999, pp. 175–176.
15. Schaefer & Wolff 1999, p. 95.

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) . 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

• Nuclear space at ncatlab

• Functional analysis
• Topological tensor products