2020/12/06 by Paolo Leonetti, Leonetti, Paolo · 1 citation
Mathematics · #Advanced Banach Space Theory #Advanced Topology and Set Theory #FOS: Mathematics #Functional Analysis (math.FA) #General Topology (math.GN) #Mathematical and Theoretical Analysis
paper · pdf · doi:10.48550/arxiv.2012.03311
openalex publication_date 2020/12/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show that a real sequence x is convergent if and only if there exist a regular matrix A and an Fσδ-ideal I on N such that the set of subsequences y of x for which Ay is I-convergent is of the second Baire category. This includes the cases where I is the ideal of asymptotic density zero sets, the ideal of Banach density zero sets, and the ideal of finite sets. The latter recovers an old result given by Keogh and Petersen in [J. London Math. Soc. 33 (1958), 121--123]. Our proofs are of a different nature and rely on recent results in the context of I-Baire classes and filter games. As application, we obtain a stronger version of the classical Steinhaus' theorem: for each regular matrix A, there exists a \0,1\-valued sequence x such that Ax is not statistically convergent.