No label defined (Q4366945)

The main result of this paper is the following Theorem: Let \(E\) be a locally convex space. The space \(\widehat {\otimes}_{n,s,\pi} E\) (completion of the \(n\)-fold symmetric tensor product) is a complemented subspace of \(\widehat {\otimes}_{n+1,s,\pi} E\) for each positive integer \(n\). Using known facts, the author gets some corollaries among other things. Corollary 5: Let \(E\) and \(G\) be l.c.s., then \(({\mathcal P}({}^mE; G),\beta)\) is complemented in \(({\mathcal P}({}^nE; G),\beta)\) for \(n\geq m\geq 1\). The topology \(\beta\) is the topology of uniform convergence on bounded subsets of \(\widehat {\otimes}_{n,s,\pi} E\) is defined via the vector space isomorphy \({\mathcal P}({}^mE; G)\simeq L(\widehat {\otimes}_{n,s,\pi} E;G)\). Proposition 6: Let \(E\) and \(G\) be l.c.s. and let \(m,n\in \mathbb{N}\). Then \(({\mathcal P}({}^mE; G),\tau)\) is complemented in \({\mathcal P}({}^nE; G),\tau)\) for \(\tau= \tau_0\) (compact-open topology), \(\tau_b\) (topology of uniform convergence on bounded subsets of \(E\)), \(\beta\), or \(\tau_\omega\) (Nachbin's ported topology) and \(n\geq m\). The paper includes no proof. All proofs are in a preprint with the same title.