A characterization of \((\mathcal{I,J})\)-regular matrices (Q2049348)

Let \(\mathcal{I}\) and \(\mathcal{J}\) be ideals on \(\mathbb{N}\). Let \(c(\mathcal{I})\) be a vector space of \(\mathcal{I}\)-convergent sequences. A matrix \(A\) is said to be \((\mathcal{I},\mathcal{J})\)-regular if \(\mathcal{I}\)-\(\lim x=\mathcal{J}\)-\(\lim Ax\) for every \(x\in c(\mathcal{I})\cap\ell_\infty\). The authors prove the following generalization of a classical result of Silverman--Toeplitz. A matrix \(A\) is \((\mathcal{I},\mathcal{J})\)-regular provided that \begin{itemize} \item[(T1)] \(\sup_n\sum_k\vert a_{n,k}\vert<\infty\); \item[(T2)] \(\mathcal{J}\)-\(\lim_n\sum_k a_{n,k}=1\); \item[(T3)] \(\mathcal{J}\)-\(\lim_n\sum_{k\in E} \vert a_{n,k}\vert=0\) for all \(E\in\mathcal{I}\). \end{itemize} Conversely, if \(A\) is \((\mathcal{I},\mathcal{J})\)-regular, then it satisfies (T1) and (T2). Let \(\mathcal{Z}\) be the ideal of asymptotic density zero sets. If \(\mathcal{I}\subseteq\mathcal{Z}\) and \(\mathcal{I}\) contains infinite sets, then there exists an \((\mathcal{I},\mathcal{Z})\)-regular matrix \(A\) which does not satisfy (T3). Some applications to diagonal matrices and permutations are given.