Duality between measure and category of almost all subsequences of a given sequence (Q2317457): Difference between revisions

From the introduction: Given a certain real sequence $\{ x_{n} \} $, let $S$ be the set of all its subsequences $\{ x_{nk} \} $ which preserve the set of statistical cluster points. It has been shown recently that $S$ is a set of full Lebesgue measure. \par In this paper, the authors prove that $S$ is meager if and only if there exists an ordinary limit point of $\{ x_{n} \} $ which is not also a statistical cluster point of $\{ x_{n} \} $. This provides a non-analogue between measure and category.