With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
In functional analysis, the inductive tensor product is a kind of tensor product suitable for topological vector spaces.
Specifically, the inductive tensor product of a pair of topological vector spaces , and is the target of the universal separately continuous bilinear map .
Given a pair of locally convex topological vector spaces (lctvs) and , the inductive tensor product is the locally convex tvs with underlying plain vector space the algebraic tensor product of vector spaces, and equipped with the finest locally convex linear topology such that is separately continuous, where 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 , which is equipped with the finest locally convex linear topology such that the canonical map from 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 of (eg by adding in the limits of Cauchy nets), which is the analogue of the (complete) projective tensor product .
Let denote the category of locally convex topological vector spaces and bounded maps, and the reflective subcategory of complete lctvs.
The inductive tensor product functor separately preserves inductive limits. Moreover equips 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 does not make into a monoidal category, as coherent associativity fails.
Let and be metrizable tvs, and a separately continuous bilinear function. If one of the following conditions is true
then is jointly continuous.
For a proof see (Schaefer-Wolff 1999, corollary to Theorem 5.1)
Notice that there are canonical comparison maps and .
Let and 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.
If and are Fréchet spaces, then .
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, -algebras etc.
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 06:15:24. See the history of this page for a list of all contributions to it.