Olivier's theorem: ideal convergence, algebrability and Borel classification (Q2240594)

The classical Olivier theorem states that for any nonincreasing summable sequence \((a(n))\), the sequence \((na( n))\) tends to zero. This theorem has been generalized by many authors. In this paper, the authors have generalized Olivier's theorem by using ideal convergence as follows. {Theorem 2.1.} Let \(f,g:\mathbb{N}\rightarrow\mathbb{R}^{+}\) and let \(p, q\) be fixed positive numbers. The following conditions are equivalent: \begin{itemize} \item[(1)] For any sequence \(a=(a(n))\) of positive numbers, the convergence of the series \(\sum f(n)a^{p}(n)\) implies that \(g(n)a^{q}(n)\overset{\mathcal{I}}{\rightarrow}0\). \item[(2)] \(\mathcal{I}_{(fg^{-\frac{p}{q}})}\subset \mathcal{I}\), where \(\mathcal{I}_{(fg^{-\frac{p}{q}})}=\left \{A\subset \mathbb{N}:\sum_{n\in A}f\left(n\right)g^{-\frac{p}{q}}\left(n\right)<\infty \right \}\) is the summable ideal. \end{itemize} They show that the above theorem implies several known results and it cannot be inferred from them. Also, they consider the subset of \(l_{1}\) consisting of sequences for which the assertion of Olivier's theorem is false. Such sequences are called anti-Olivier and all anti-Olivier sequences are denoted by \(\mathcal{AOS}\). Indeed, \(\mathcal{AOS}= \{ a\in l_{1}:\text{ }na( n) \nrightarrow0 \} \). They show that \(\mathcal{AOS}\) is a residual \(\mathcal{G}_{\delta \sigma}\), but not an \(\mathcal{F}_{\sigma \delta}\)-set.