Duality of tensor products of convergence-free spaces
Buchwalter type dualityconvergence-free Köthe sequence spacesduality of topological tensor productsduality theoreminductive topology of Grothendiecknormal topologyperfect convergence-free space
Barrelled spaces, bornological spaces (46A08) Spaces determined by compactness or summability properties (nuclear spaces, Schwartz spaces, Montel spaces, etc.) (46A11) Spaces defined by inductive or projective limits (LB, LF, etc.) (46A13) Duality theory for topological vector spaces (46A20) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Spaces of linear operators; topological tensor products; approximation properties (46A32) Sequence spaces (including Köthe sequence spaces) (46A45) Tensor products in functional analysis (46M05)
The author continues his study of the convergence-free Köthe sequence spaces \(\lambda\) (and of their \(\alpha\)-duals \(\lambda\) x). On \(\lambda\), the normal topology coincides with several canonical topologies of the dual pair \(<\lambda,\lambda\) \(x>\) (like the Mackey topology, the strong topology and the topology of uniform convergence on all absolutely convex compact subsets of \(\lambda\) x). The convergence-free spaces will always be equipped with this topology. Then each such space is ultrabornological (hence barrelled and bornological) and nuclear; every perfect convergence-free space is reflexive. The tensor product \(\lambda\) \(\otimes \mu\) of two perfect convergence- free spaces \(\lambda\),\(\mu\) can be interpreted as a sequence space (on \({\mathbb{N}}\times {\mathbb{N}})\); we write \(\lambda \otimes_ n\mu\) if the tensor product is endowed with the normal topology from (\(\lambda\) \(\otimes \mu)\) \(x=L(\lambda,\mu\) x). This topology is the same as Grothendieck's ``inductive tensor product topology (i.e., uniform convergence on all equihypocontinuous sets of bilinear forms on \(E\times F)\). It is finer than the \(\epsilon =\pi\)-topology, and equality of the two topologies holds if and only if \(\lambda =\mu =\phi\) or \(\lambda =\mu =\omega.\) The author now proves the following duality theorem for complete tensor products of perfect convergence-free spaces \(\lambda\), \(\mu\) : \[ (\lambda {\tilde \otimes}_ n\mu)_ n'=\lambda \quad x{\tilde \otimes}_{\epsilon}\mu \quad x\quad and\quad (\lambda {\tilde \otimes}_{\epsilon}\mu)_ n'=\lambda \quad x{\tilde \otimes}_ n\mu \quad x. \] (As a consequence, a ``Buchwalter type duality is true only in the case \(\lambda =\mu =\phi\) or \(\omega\).)
- scientific article; zbMATH DE number 3981842 (Why is no real title available?)
- scientific article; zbMATH DE number 671702 (Why is no real title available?)
- Dual nuclear and dual barelled spaces
- The space \(\dot{\mathcal {B}}^\prime\) of distributions vanishing at infinity: duals of tensor products
- A duality theorem for locally convex tensor products
This page was built for publication: Duality of tensor products of convergence-free spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1106435)
