The closure of Tauberian sets (Q756034)

Let \(A=(a_{mn})\) be a regular limitation matrix and E the set of sequences \(E=\{s:\) \((s_ n-s_{n-1})=O(f(n))\}\) where f(n)\(\downarrow 0\) as \(u\to \infty\). Very often if \(s\in E\) is limitable by A, then s is convergent and we say that E is a Tauberian condition for A. The paper describes a class of matrices A for which the knowledge that certain E is a Tauberian condition for A implies that \(\bar E\) is also a Tauberian condition for A. Specifically Theorem. If A is a positive regular normal triangular matrix and E is a Tauberian condition for A such that \(E\subseteq A^*\) the set of factor sequences of A, then \(\bar E\) is also a Tauberian condition for A. The paper makes in this and some of the other theorems the additional assumption that \(\sup_{m,N}| \sum^{N}_{n=1}a_{mn}s_ n| <\infty\) for all bounded sequences s which are limitable by A. However since A is regular and s is bounded it seems to the reviewer that this is always the case.