Multiplier convergent series and uniform convergence of mapping series (Q1948991)

The authors establish uniform convergence results for multiplier convergent series. Let \(\lambda \) be a set of scalar sequences. A subset \(\lambda _{0}\) of \(\lambda \) is a frame for \(\lambda \) if (1) for every sequence \(m_{1}<n_{1}<m_{2}<n_{2}<\dots\) and \(\{t_{j}^{k}\}\in \lambda_{0}\), \(k\in\mathbb{N}\), there exists a scalar \(t_{0}\) such that, if \(t_{j}=t_{j}^{k}\) when \(m_{k}\leq j\leq n_{k}\) and \(t_{j}=t_{0}\) otherwise, then \(\{t_{j}\}\in \lambda \); (2) for every \(\{t_{j}\}\in \lambda \), there exist finitely many scalars \(a_{1},\dots,a_{n}\) and \(s^{1},\dots,s^{n}\in \lambda _{0}\) such that \(\{t_{j}\}=\sum_{k=1}^{n}a_{k}s^{k}\); (3) for every \(i\) there exists \(\{t_{j}^{i}\}\in \lambda _{0}\) such that \(t_{i}^{i}\neq 0\); (4) for every \(i\) there exists \(b_{i}>0\) such that \(\left| t_{i}\right| \leq b_{i}\) for all \(\{t_{j}\}\in \lambda _{0}\). For example, \(\{t\in l^{\infty}:\left\| t\right\| _{\infty }\leq 1\}\) is a frame for \(l^{\infty }\). Assume that \(\lambda _{0}\) is a frame for \(\lambda \). Define \[ MC_{\lambda }(X)=\left\{\{x_{j}\}\mid x_{j}\in X,\;\sum_{j=1}^{\infty}t_{j}x_{j}\text{ converges for every}\, \{t_{j}\}\in \lambda \right\}. \] Then \(\| \{x_{j}\}\| _{\lambda }=\sup \{\| \sum_{j=1}^{n}t_{j}x_{j}\| :n\in\mathbb{N},\;\{t_{j}\}\in \lambda _{0}\}\) defines a complete norm on \(MC_{\lambda }(X)\). The authors show that, if \(\{x_{j}\}\in MC_{\lambda }(X)\), then the series \(\sum_{j=1}^{\infty }t_{j}x_{j}\) converges uniformly for \(\{t_{j}\}\in \lambda _{0}\). If \(E\) is a topological vector space, the authors define the \(\beta \)-dual of \(MC_{\lambda }(X)\) with respect to \(E\) to be \[ MC_{\lambda }(X)^{\beta E}=\left\{\{A_{j}\}\mid A_{j}:X\rightarrow E,\;\sum_{j=1}^{\infty }A_{j}(x_{j})\text{ converges for } \{x_{j}\}\in MC_{\lambda }(X)\right\} \] (note that there are no linearity assumptions on the \(A_{j}\)). If \(M\subset MC_{\lambda }(X)\), the authors show that the following are equivalent: (I) \( \lim_{n}\| \sum_{j=1}^{n}t_{j}x_{j}\| =0\) uniformly for \(\{x_{j}\}\in M\), \(\{t_{j}\}\in \lambda _{0}\), (II) for every Fréchet space \(E\) and \(\{A_{j}\}\in MC_{\lambda }(X)^{\beta E}\), the series \(\sum_{j=1}^{\infty }A_{j}(x_{j})\) converges uniformly for \(\{x_{j}\}\in M\). The authors show that any totally bounded set \(M\subset (MC_{\lambda}(X),\left\| \cdot \right\| _{\lambda })\) satisfies (I) but not conversely. Applications are indicated.