View source for Topological tensor product

{{Short description|Tensor product constructions for topological vector spaces}}In [[Mathematics|mathematics]], there are usually many different ways to construct a '''topological tensor product''' of two [[Topological vector space|topological vector space]]s. For [[Hilbert space]]s or [[Nuclear space|nuclear space]]s there is a simple well-behaved theory of [[Tensor product|tensor product]]s (see [[Tensor product of Hilbert spaces]]), but for general [[Banach space]]s or [[Locally convex topological vector space|locally convex topological vector space]]s the theory is notoriously subtle.
== Motivation ==
One of the original motivations for topological tensor products <math>\hat{\otimes}</math> is the fact that tensor products of the spaces of smooth real-valued functions on <math>\R^n</math> do not behave as expected. There is an injection

:<math>C^\infty(\R^n) \otimes C^\infty(\R^m) \hookrightarrow C^\infty(\R^{n+m})</math>

but this is not an [[Isomorphism|isomorphism]]. For example, the function <math>f(x,y) = e^{xy}</math> cannot be expressed as a finite linear combination of smooth functions in <math>C^\infty(\R_x)\otimes C^\infty(\R_y).</math><ref>{{Cite web| url= https://math.stackexchange.com/a/2244646/251222|title=What is an example of a smooth function in C∞(R2) which is not contained in C∞(R)⊗C∞(R) }}</ref> We only get an isomorphism after constructing the topological tensor product; i.e.,

:<math>C^\infty(\R^n) \mathop{\hat{\otimes}} C^\infty(\R^m) \cong C^\infty(\R^{n+m}).</math>

This article first details the construction in the Banach space case. The space <math>C^\infty(\R^n)</math> is not a Banach space and further cases are discussed at the end.

==Tensor products of Hilbert spaces==
{{Main|Tensor product of Hilbert spaces}}
The algebraic tensor product of two Hilbert spaces ''A'' and ''B'' has a natural positive definite [[Sesquilinear form|sesquilinear form]] (scalar product) induced by the sesquilinear forms of ''A'' and ''B''. So in particular it has a natural positive definite quadratic form, and the corresponding completion is a Hilbert space ''A'' ⊗ ''B'', called the (Hilbert space) tensor product of ''A'' and ''B''.

If the vectors ''a<sub>i</sub>'' and ''b<sub>j</sub>'' run through [[Orthonormal basis|orthonormal bases]] of ''A'' and ''B'', then the vectors ''a<sub>i</sub>''⊗''b<sub>j</sub>'' form an orthonormal basis of ''A'' ⊗ ''B''.

== Cross norms and tensor products of Banach spaces ==

We shall use the notation from {{harv|Ryan|2002}} in this section. The obvious way to define the tensor product of two Banach spaces <math>A</math> and <math>B</math> is to copy the method for Hilbert spaces: define a [[Norm (mathematics)|norm]] on the algebraic tensor product, then take the completion in this norm. The problem is that there is more than one natural way to define a norm on the tensor product.

If <math>A</math> and <math>B</math> are Banach spaces the algebraic tensor product of <math>A</math> and <math>B</math> means the [[Tensor product|tensor product]] of <math>A</math> and <math>B</math> as vector spaces and is denoted by <math>A \otimes B.</math> The algebraic tensor product <math>A \otimes B</math> consists of all finite sums
<math display=block>x = \sum_{i=1}^n a_i \otimes b_i,</math>
where <math>n</math> is a natural number depending on <math>x</math> and <math>a_i \in A</math> and <math>b_i \in B</math> for
<math>i = 1, \ldots, n.</math>

When <math>A</math> and <math>B</math> are Banach spaces, a '''{{visible anchor|crossnorm}}''' (or '''{{visible anchor|cross norm}}''') <math>p</math> on the algebraic tensor product <math>A \otimes B</math> is a norm satisfying the conditions
<math display=block>p(a \otimes b) = \|a\| \|b\|,</math>
<math display=block>p'(a' \otimes b') = \|a'\| \|b'\|.</math>

Here <math>a^{\prime}</math> and <math>b^{\prime}</math> are elements of the topological dual spaces of <math>A</math> and <math>B,</math> respectively, and <math>p^{\prime}</math> is the [[Dual norm|dual norm]] of <math>p.</math> The term '''{{visible anchor|reasonable crossnorm}}''' is also used for the definition above.

There is a cross norm <math>\pi</math> called the projective cross norm, given by
<math display=block>\pi(x) = \inf \left\{ \sum_{i=1}^n \|a_i\| \|b_i\| : x = \sum_{i=1}^n a_i \otimes b_i \right\},</math>
where <math>x \in A \otimes B.</math>

It turns out that the projective cross norm agrees with the largest cross norm ({{harv|Ryan|2002}}, proposition 2.1).

There is a cross norm <math>\varepsilon</math> called the injective cross norm, given by
<math display=block>\varepsilon(x) = \sup \left\{\left|(a'\otimes b')(x)\right| : a' \in A', b' \in B', \|a'\| = \|b'\| = 1\right\}</math>
where <math>x \in A \otimes B.</math> Here <math>A^{\prime}</math> and <math>B^{\prime}</math> denote the topological duals of <math>A</math> and <math>B,</math> respectively.

Note hereby that the injective cross norm is only in some reasonable sense the "smallest".

The completions of the algebraic tensor product in these two norms are called the projective and injective tensor products, and are denoted by <math>A \operatorname{\hat{\otimes}}_\pi B</math> and <math>A \operatorname{\hat{\otimes}}_\varepsilon B.</math>

When <math>A</math> and <math>B</math> are Hilbert spaces, the norm used for their Hilbert space tensor product is not equal to either of these norms in general. Some authors denote it by <math>\sigma,</math> so the Hilbert space tensor product in the section above would be <math>A \operatorname{\hat{\otimes}}_\sigma B.</math>

A '''{{visible anchor|uniform crossnorm}}''' <math>\alpha</math> is an assignment to each pair <math>(X, Y)</math> of Banach spaces of a reasonable crossnorm on <math>X \otimes Y</math> so that if <math>X, W, Y, Z</math> are arbitrary Banach spaces then for all (continuous linear) operators <math>S : X \to W</math> and <math>T : Y \to Z</math> the operator <math>S \otimes T : X \otimes_\alpha Y \to W \otimes_\alpha Z</math> is continuous and <math>\|S \otimes T\| \leq \|S\| \|T\|.</math> If <math>A</math> and <math>B</math> are two Banach spaces and <math>\alpha</math> is a uniform cross norm then <math>\alpha</math> defines a reasonable cross norm on the algebraic tensor product <math>A \otimes B.</math> The normed linear space obtained by equipping <math>A \otimes B</math> with that norm is denoted by <math>A \otimes_\alpha B.</math> The completion of <math>A \otimes_\alpha B,</math> which is a Banach space, is denoted by <math>A \operatorname{\hat{\otimes}}_\alpha B.</math> The value of the norm given by <math>\alpha</math> on <math>A \otimes B</math> and on the completed tensor product <math>A \operatorname{\hat{\otimes}}_\alpha B</math> for an element <math>x</math> in <math>A \operatorname{\hat{\otimes}}_\alpha B</math> (or <math>A \otimes_\alpha B</math>) is denoted by <math>\alpha_{A,B}(x) \text{ or } \alpha(x).</math>

A uniform crossnorm <math>\alpha</math> is said to be '''{{visible anchor|finitely generated}}''' if, for every pair <math>(X, Y)</math> of Banach spaces and every <math>u \in X \otimes Y,</math>
<math display=block>\alpha(u; X \otimes Y) = \inf \{\alpha(u ; M \otimes N) : \dim M, \dim N < \infty\}.</math>

A uniform crossnorm <math>\alpha</math> is '''{{visible anchor|cofinitely generated}}''' if, for every pair <math>(X, Y)</math> of Banach spaces and every <math>u \in X \otimes Y,</math>
<math display=block>\alpha(u) = \sup \{\alpha((Q_E \otimes Q_F)u; (X/E) \otimes (Y/F)) : \dim X/E, \dim Y/F < \infty\}.</math>

A '''{{visible anchor|tensor norm}}''' is defined to be a finitely generated uniform crossnorm. The projective cross norm <math>\pi</math> and the injective cross norm <math>\varepsilon</math> defined above are tensor norms and they are called the projective tensor norm and the injective tensor norm, respectively.

If <math>A</math> and <math>B</math> are arbitrary Banach spaces and <math>\alpha</math> is an arbitrary uniform cross norm then
<math display=block>\varepsilon_{A,B}(x) \leq \alpha_{A,B}(x) \leq \pi_{A,B}(x).</math>

==Tensor products of locally convex topological vector spaces==

The topologies of locally convex topological vector spaces <math>A</math> and <math>B</math> are given by families of [[Seminorm|seminorm]]s. For each choice of seminorm on <math>A</math> and on <math>B</math> we can define the corresponding family of cross norms on the algebraic tensor product <math>A\otimes B,</math> and by choosing one cross norm from each family we get some cross norms on <math>A\otimes B,</math> defining a topology. There are in general an enormous number of ways to do this. The two most important ways are to take all the projective cross norms, or all the injective cross norms. The completions of the resulting topologies on <math>A\otimes B</math> are called the projective and injective tensor products, and denoted by <math>A\otimes_{\gamma} B</math> and <math>A\otimes_{\lambda} B.</math> There is a natural map from <math>A\otimes_{\gamma} B</math> to <math>A\otimes_{\lambda} B.</math>

If <math>A</math> or <math>B</math> is a [[Nuclear space|nuclear space]] then the natural map from <math>A\otimes_{\gamma} B</math> to <math>A\otimes_{\lambda} B</math> is an isomorphism. Roughly speaking, this means that if <math>A</math> or <math>B</math> is nuclear, then there is only one sensible tensor product of <math>A</math> and <math>B</math>.
This property characterizes nuclear spaces.

== See also ==

* {{annotated link|Fréchet space}}
* {{annotated link|Fredholm kernel}}
* {{annotated link|Inductive tensor product}}
* {{annotated link|Injective tensor product}}
* {{annotated link|Projective tensor product}}
* {{annotated link|Tensor product of Hilbert spaces}}

== References ==
{{reflist}}

*{{citation|last=Ryan|first=R.A.|title=Introduction to Tensor Products of Banach Spaces|publisher=Springer|publication-place=New York| year=2002}}.
*{{citation|first=A.|last=Grothendieck|title=Produits tensoriels topologiques et espaces nucléaires| journal=[[Organization:Memoirs of the American Mathematical Society|Memoirs of the American Mathematical Society]]|volume=16|year=1955}}.

{{Functional analysis}}

[[Category:Operator theory]]
[[Category:Topological vector spaces]]
[[Category:Tensors]]

{{Sourceattribution|Topological tensor product}}