Steinhaus summability theorem revisited (Q2563795)

The Steinhaus theorem asserts that a regular matrix method cannot sum all sequences of \(0\)'s and \(1\)'s. The author uses a more topological approach to extend this result within the frame of properties of Boolean subalgebras of the power set of \(\mathbb{N}\). Let \(T\) be a regular infinite matrix and let \(\sigma_T\) be the set of sequences of \(0\)'s and \(1\)'s in the power set of \(\mathbb{N}\). We also let \(A\) be the cofinite algebra contained in \(\sigma_T\). An algebra \(S\) is said to have the Grothendieck property if every sequence of finitely additive, bounded, scalar measures defined over \(S\), which converges pointwise, is uniformly exhaustive. The author first shows that every algebra containing \(A\) and contained in \(\sigma T\) does not possess the Grothendieck property. As a consequence of this theorem he gets the Steinhaus theorem. The above approach is indeed different from the classical method known as sliding hump technique.