Silverman-Toeplitz theorem 2026-10-14
For a real or complex matrix, the three displayed conditions are equivalent to being a regular matrix summability method. For necessity, first apply the Uniform boundedness principle to each row's finite partial sums on the convergent sequence space, obtaining absolute summability of that row. Apply the principle again to the full row functionals, obtaining a uniform bound. Coordinate vectors and the constant-one sequence give the remaining conditions. For sufficiency, write and split the error into a finite head, controlled by columnwise convergence, and a uniformly small tail, controlled by the absolute row bound.
Selecting a subsequence is a regular matrix summability method: every row has one entry equal to one, every fixed column eventually vanishes, and all row sums equal one. Every bounded sequence of real or complex numbers has a convergent subsequence by the Bolzano-Weierstrass theorem, so each bounded sequence is summable by some sequence-dependent regular method. The order of the quantifiers matters: no single regular matrix sums all bounded sequences.