The Baire category of subsequences and permutations which preserve limit points (Q2210831)

Let \(\mathcal I\) be an ideal on the set \(\mathbb N\) of natural numbers and let \((x_n)\) be a sequence in a topological space \(X\). A point \(\ell \in X\) is said to be an \(\mathcal I\)-cluster point (resp. \(\mathcal I\)-limit point) of \((x_n)\) if for every neighbourhood \(U\) of \(\ell\), \(\{n\in \mathbb N: x_n \in U\} \notin \mathcal I\) (resp. there is a subsequence \((x_{n_k})\) of \((x_n)\) converging to \(\ell\) and \(\{n_k: k\in \mathbb N\} \notin \mathcal I\)). The authors study the topological nature of the set of subsequences or permutations of a sequence \((x_n)\) which preserve the set of \(\mathcal I\)-cluster points or the set of \(\mathcal I\)-limit points of \((x_n)\). It is shown that if \(\mathcal I\) is a meager ideal and \((x_n)\) is a sequence in a first countable space \(X\) such that all closed subsets of \(X\) are separable, then the set of subsequences (and permutations) of \((x_n)\) which preserve the set of \(\mathcal I\)-cluster points of \((x_n)\) is not meager in the set \(\Sigma\) of all strictly increasing sequences in \(\mathbb N\), if and only if every ordinary limit point of \((x_n)\) is an \(\mathcal I\)-cluster point of \((x_n)\). If \(\mathcal I\) is a maximal ideal, then an analogous result does not hold. Similar results are proved for \(\mathcal I\)-limit points when \(\mathcal I\) is an analytic \(P\)-ideal.