nLab
inductive tensor product

Context

Functional analysis

Monoidal categories

monoidal categories

With symmetry

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Idea

In functional analysis, the inductive tensor product is a kind of tensor product suitable for topological vector spaces.

Specifically, the inductive tensor product E iFE\otimes_i F of a pair of topological vector spaces EE, and FF is the target of the universal separately continuous bilinear map E×FE iFE\times F \to E\otimes_i F.

Definition

Given a pair of locally convex topological vector spaces (lctvs) EE and FF, the inductive tensor product is the locally convex tvs E iFE\otimes_i F with underlying plain vector space the algebraic tensor product of vector spaces, and equipped with the finest locally convex linear topology such that E×FE iFE\times F \to E\otimes_i F is separately continuous, where E×FE\times F has the product topology. The definition is due to (Grothendieck 1955, Définition 3 in I \S 3.I)

Compare this to the (pre-completed) projective tensor product p\otimes_p, which is equipped with the finest locally convex linear topology such that the canonical map from E×FE\times F is jointly continuous.

Sometimes one will wish to consider this tensor product in the category of complete lctvs, and so the result is the topological completion E¯FE\overline{\otimes} F of E iFE\otimes_i F (eg by adding in the limits of Cauchy nets), which is the analogue of the (complete) projective tensor product ^\widehat{\otimes}.

Properties

Let lctvslctvs denote the category of locally convex topological vector spaces and bounded maps, and lcvts complcvts_{comp} the reflective subcategory of complete lctvs.

Theorem

The inductive tensor product functor i:lctvs×lctvslctvs\otimes_i\colon lctvs \times lctvs \to lctvs separately preserves inductive limits. Moreover i\otimes_i equips lctvslctvs with the structure of a symmetric monoidal category, and even a symmetric closed monoidal category, by equipping the space of continuous maps with the topology of pointwise convergence.

Be aware though that the completed inductive tensor product ¯\overline{\otimes} does not make lctvs complctvs_{comp} into a monoidal category, as coherent associativity fails.

Proposition

Let EE and FF be metrizable tvs, and T:E×FGT\colon E\times F \to G a separately continuous bilinear function. If one of the following conditions is true

  1. EE is a Baire space (for example, completely metrizable)
  2. EE is a barreled topological vector space (eg is a Frechet space) and GG is locally convex.

then TT is jointly continuous.

For a proof see (Schaefer-Wolff 1999, corollary to Theorem 5.1)

Notice that there are canonical comparison maps E iFE pFE\otimes_i F \to E\otimes_p F and E¯FE^FE\overline{\otimes} F \to E \widehat{\otimes} F.

Theorem

Let EE and FF be metrizable lctvs, and assume one of the conditions in Proposition holds. Then the comparison maps from the inductive tensor products to the projective tensor products are isomorphisms.

Corollary

If EE and FF are Fréchet spaces, then E¯FE^FE\overline{\otimes} F \stackrel{\sim}{\to} E \widehat{\otimes} F.

Hence for Banach spaces and Hilbert spaces the inductive tensor product also agrees with the projective tensor product. It is for this reason that one can define locally convex algebra?s with the inductive tensor product, as this reduces the the usual jointly-continuous multiplication for Banach algebras, C *C^*-algebras etc.

References

  • Alexandre Grothendieck, Produits tensoriels topologiques et spaces nucléaires, Memoirs AMS 16 (1955)

  • Schaeffer, Wolff, Topological Vector Spaces, Graduate Texts in Mathematics 3 (1999) Springer.

Last revised on May 30, 2018 at 02:15:24. See the history of this page for a list of all contributions to it.