Duality of tensor products of convergence-free spaces (Q1106435)

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\).)