An application of LF-spaces to Silverman-Toeplitz type theorems (Q2014145)

Let \(\mathcal{S}=( S_{n}) \) be a strictly decreasing sequence of subsets of a countable set \(S\). A function \(x:S\rightarrow\mathbb{K}\) is said to be eventually bounded if \(x| S_{n}| \) is bounded for some \(n\). Moreover, \(x\) is said to be converging to \(\xi\) if for every \(\varepsilon>0\) there exists \(n\in\mathbb{N}\) such that \(| x( s) -\xi| <\varepsilon\) for each \(s\in S_{n}\). For example, if \(S=\mathbb{N}\times\mathbb{N}\), then for double sequences we obtain (1) the uniform convergence if \(S_{n}=[ n,\infty) _{\mathbb{N}} \times\mathbb{N}\), (2) the Pringsheim convergence if \(S_{n}=[ n,\infty) _{\mathbb{N}}\times[ n,\infty) _{\mathbb{N}}\), and (3) the Hardy convergence if \(S_{n}=\mathbb{N}\times\mathbb{N\diagdown }[ 1,n] _{\mathbb{N}}\times[ 1,n] _{\mathbb{N}}\). Let \(l_{( \infty) }( S) \) denote the set of all eventually bounded functions and \(c_{( 0) }( S) \) denote the set of functions converging to \(0\). Up to equivalence, there are only three types of convergences \(\mathcal{S}\): (a) \(| S_{m}\diagdown S_{m+1}| <\aleph_{0}\) for each \(m\in\mathbb{N}_{0}:=\mathbb{N\cup }\{ 0\} \), then \(l_{( \infty) }( S) \) and \(c_{( 0) }( S) \) are Banach spaces; (b) \(| S_{0}\diagdown S_{1}| =\aleph_{0}\) and \(| S_{m}\diagdown S_{m+1}| <\aleph_{0}\) for each \(m\in\mathbb{N}\), then \(l_{( \infty) }( S) \) and \(c_{( 0) }( S) \) are Fréchet spaces; (c) \(| S_{m}\diagdown S_{m+1}| =\aleph_{0}\) for each \(m\in\mathbb{N}_{0}\), then \(l_{( \infty) }( S) \) and \(c_{( 0) }( S) \) are LF-spaces. In the LF-space \(c_{( 0) }( S)\), the unit vectors \(( e_{s}) _{s\in S}\) form an unconditional Schauder basis. A general form of continuous linear functionals on \(c_{( 0) }( S) \) is given by the formula \(x^{\ast}( x) =\sum_{s\in S}a_{s}x_{s}\), where \(( a_{s}) \in l_{1}( S) \) and \(| \{ s\in S_{0}\diagdown S_{n}: a_{s}\neq0\} | <\infty\) for each \(n\). The main result of the paper (Theorem 6.5) gives necessary and sufficient conditions for the matrix transformations to map \(c_{( 0) }( S) \) into \(c_{( 0) }( T)\). The proof is based on the Grothendieck continuity theorem for linear operators between LF-spaces.