Projective descriptions of inductive limits of Fréchet sequence spaces (Q1084288)

This article provides the following characterization. A Fréchet E satisfies that (ind \(c_ 0(v_ n))\otimes _{\epsilon}E=ind(c_ 0(v_ n)\otimes _{\epsilon}E)\) holds topologically for a fixed decreasing sequence \((v_ n)\) of strictly positive weights on the set of natural numbers \({\mathbb{N}}\) if and only if for every strictly increasing sequence (K(N)) in \({\mathbb{N}}\) there is \(k\in {\mathbb{N}}\) such that for all \(n\in {\mathbb{N}}\) there are \(N_ n\in {\mathbb{N}}\) and \(C_ n>0\) with \(a_{in}\| y\| ^ *_ k\leq C_ n \max \{a_{iN}\| y\| ^ *_{K(N)}:\) \(N=1,...,N_ n\}\) for every \(i\in {\mathbb{N}}\) and \(y\in E'\), where \(\| \cdot \| ^ *_ k\) are the dual seminorms on E'. This is a condition introduced by Vogt in the study of pairs of Fréchet spaces E, F such that \(L(E,F)=LB(E,F)\). The characterization above solves the problem of projective description of weighted inductive limits of spaces of null sequences valued in a Fréchet space.