Rough families, cluster points, and cores (Q7035781)

Let \((X,\tau)\) be a topological space. A~family \(\mathcal{F}=\{F_\eta:\eta\in X\}\) of subsets of \(X\) is called rough family if \(\eta\in F_\eta\) for all \(\eta\in X\). Let \(\mathcal{I}\) be an ideal in the set of nonnegative integers \(\omega\). A~sequence \(\mathbf{x}=(x_n)\) is said to be \(\mathcal{I}\)-convergent to \(\eta\in X\) with roughness \(\mathcal{F}\), abbreviated as \((\mathcal{I},\mathcal{F},\tau)\)-\(\lim_n x_n=\eta\), provided that \(\{n\in\omega:x_n\notin U\}\in\mathcal{I}\) for all \(\tau\)-open sets \(U\subseteq X\) such that \(F_{\eta}\subseteq U\). Each set \(F_\eta\) quantifies the degree of accuracy of the convergence to \(\eta\). \N\NFirst, the author shows that this is a really new notion, not covered by the notion of ideal convergence. Then some properties of the set \(L_\mathbf{x}(\mathcal{I},\mathcal{F},\tau)=\{\eta\in X:(\mathcal{I},\mathcal{F},\tau)\)-\(\lim_n x_n=\eta\}\) of all limit points are given. Finally, the set \(L_\mathbf{x}(\mathcal{I},\mathcal{F},\tau)\) is characterized through the ideal cluster points and the ideal core of \((x_n)\).