Sets of statistical cluster points and \(\mathcal I\)-cluster points (Q2501019): Difference between revisions

A sequence \((x_n)\) of points of a metric space \((X,\varrho)\) is said to be statistically convergent to a point \(\xi \in X\) if for every \(\varepsilon >0\) the asymptotic density of the set \(A(\varepsilon)=\{n: \varrho(x_n,\xi)\geq \varepsilon \}\) is zero. This concept was generalized by \textit{P. Kostyrko, T. Šalát} and \textit{W. Wilczyński} [Real Anal. Exch. 26, 669-685 (2001; Zbl 1021.40001)] in the following way: Let \(\mathcal I\subseteq {\mathcal P}(\mathbb N)\) be an ideal of \(\mathbb N\), i.e. \(B\subseteq A\in {\mathcal I} \Rightarrow B\in {\mathcal I}\) and \(A,B\in {\mathcal I} \Rightarrow A\cup B\in {\mathcal I}\). The ideal \(\mathcal I\) is called admissible if \({\mathcal I}\neq {\mathcal P}(\mathbb N)\) and \(\mathcal I\) contains all finite subsets of \(\mathbb N\). Then a sequence \((x_n)\) of points of a metric space \((X,\varrho)\) is said to be \(\mathcal I\)-convergent to \(\xi \in X\) if for every \(\varepsilon >0\) one has \(A(\varepsilon) \in {\mathcal I}\). A point \(\xi \in X\) is called an \(\mathcal I\)-cluster point of the sequence \((x_n)\) if for any \(\varepsilon >0\), \(\{n: \varrho(x_n,\xi)<\varepsilon \}\notin {\mathcal I}\). In the present paper the authors study certain topological properties, in particular the connectedness of the set of cluster points of a sequence.