Projective tensor product

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

Definitions

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

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

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

Properties

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

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

Completion

In general, the space $X\otimes _{\pi }Y$ is not complete, even if both $X$ and $Y$ are complete (in fact, if $X$ and $Y$ are both infinite-dimensional Banach spaces then $X\otimes _{\pi }Y$ is necessarily not complete). However, $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 $X{\widehat {\otimes }}_{\pi }Y$.

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

Grothendieck's representation of elements in the completion

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

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

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

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

Theorem—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 $K_{0}$ be a compact subset of the convex balanced hull of $U\otimes V:=\{u\otimes v:u\in U,v\in V\}.$ There exists a compact subset $K_{1}$ of the unit ball in $\ell ^{1}$ and sequences $\left(x_{i}\right)_{i=1}^{\infty }$ and $\left(y_{i}\right)_{i=1}^{\infty }$ contained in $U$ and $V,$ respectively, converging to the origin such that for every $z\in K_{0}$ there exists some $\left(\lambda _{i}\right)_{i=1}^{\infty }\in K_{1}$ such that $$z=\sum _{i=1}^{\infty }\lambda _{i}x_{i}\otimes y_{i}.$$

Topology of bi-bounded convergence

Let ${\mathfrak {B}}_{X}$ and ${\mathfrak {B}}_{Y}$ denote the families of all bounded subsets of $X$ and $Y,$ respectively. Since the continuous dual space of $X{\widehat {\otimes }}_{\pi }Y$ is the space of continuous bilinear forms $B(X,Y),$ we can place on $B(X,Y)$ the topology of uniform convergence on sets in ${\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 $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 $B\subseteq X{\widehat {\otimes }}Y,$ do there exist bounded subsets $B_{1}\subseteq X$ and $B_{2}\subseteq Y$ such that $B$ is a subset of the closed convex hull of $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 $X$ and $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 $X$ be a locally convex topological vector space and let $X^{\prime }$ be its continuous dual space. Alexander Grothendieck characterized the strong dual and bidual for certain situations:

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

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

Examples

Space of absolutely summable families

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

Let $\left(x_{\alpha }\right)_{\alpha \in A}$ be a family of elements in a TVS $X$ and for every finite subset $H$ of $A,$ let $x_{H}:=\sum _{i\in H}x_{i}.$ We call $\left(x_{\alpha }\right)_{\alpha \in A}$ summable in $X$ if the limit $\lim _{H\in {\mathcal {F}}(A)}x_{H}$ of the net $\left(x_{H}\right)_{H\in {\mathcal {F}}(A)}$ converges in $X$ to some element (any such element is called its sum). We call $\left(x_{\alpha }\right)_{\alpha \in A}$ absolutely summable if it is summable and if for every continuous seminorm $p$ on $X,$ the family $\left(p\left(x_{\alpha }\right)\right)_{\alpha \in A}$ is summable in $\mathbb {R} .$ The set of all such absolutely summable families is a vector subspace of $X^{A}$ denoted by $S_{a}.$

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. It follows that a normable space in which every summable sequence is absolutely summable, is necessarily finite dimensional.

We now define a topology on $S_{a}$ in a very natural way. This topology turns out to be the projective topology taken from $\ell ^{1}(A){\widehat {\otimes }}_{\pi }X$ and transferred to $S_{a}$ 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 ${\mathfrak {U}}$ denote a base of convex balanced neighborhoods of the origin in $X$ and for each $U\in {\mathfrak {U}},$ let $\mu _{U}:X\to \mathbb {R}$ denote its Minkowski functional. For any such $U$ and any $x=\left(x_{\alpha }\right)_{\alpha \in A}\in S_{a},$ let $p_{U}(x):=\sum _{\alpha \in A}\mu _{U}\left(x_{\alpha }\right)$ where $p_{U}$ defines a seminorm on $S_{a}.$ The family of seminorms $\{p_{U}:U\in {\mathfrak {U}}\}$ generates a topology making $S_{a}$ into a locally convex space. The vector space $S_{a}$ endowed with this topology will be denoted by $\ell ^{1}[A,X].$ The special case where $X$ is the scalar field will be denoted by $\ell ^{1}[A].$

There is a canonical embedding of vector spaces $\ell ^{1}(A)\otimes X\to \ell ^{1}[A,E]$ defined by linearizing the bilinear map $\ell ^{1}(A)\times X\to \ell ^{1}[A,E]$ defined by $\left(\left(r_{\alpha }\right)_{\alpha \in A},x\right)\mapsto \left(r_{\alpha }x\right)_{\alpha \in A}.$

Theorem—The canonical embedding (of vector spaces) $\ell ^{1}(A)\otimes X\to \ell ^{1}[A,E]$ becomes an embedding of topological vector spaces $\ell ^{1}(A)\otimes _{\pi }X\to \ell ^{1}[A,E]$ when $\ell ^{1}(A)\otimes X$ is given the projective topology and furthermore, its range is dense in its codomain. If ${\hat {X}}$ is a completion of $X$ then the continuous extension $\ell ^{1}(A){\widehat {\otimes }}_{\pi }X\to \ell ^{1}\left[A,{\hat {X}}\right]$ of this embedding $\ell ^{1}(A)\otimes _{\pi }X\to \ell ^{1}\left[A,X\right]\subseteq \ell ^{1}\left[A,{\hat {X}}\right]$ is an isomorphism of TVSs. So in particular, if $X$ is complete then $\ell ^{1}(A){\widehat {\otimes }}_{\pi }X$ is canonically isomorphic to $\ell ^{1}[A,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

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. MR 0075539. OCLC 9308061.
• 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