A simple proof of the Mazur-Orlicz summability theorem

Extract

In 1933(1), Mazur and Orlicz stated that, if a conservative (i.e. convergence preserving) matrix sums a bounded nonconvergent sequence, then it must sum an unbounded sequence. Their proof of this result (2) was one of the early applications of functional analysis to summability theory, and it is based on rather deep topological properties of F K-spaces. In (3) Zeller obtained a proof of this important theorem as a consequence of his study of the summability of slowly oscillating sequences. The purpose of this note is to give a simple direct proof of this theorem using only the well-known Silverman-Töplitz conditions for regularity. In order to reduce the details of the argument, we state and prove the result for regular matrices rather than conservative matrices.