On rough ideal convergence
Paolo Leonetti
TL;DR
The paper extends ideal convergence by incorporating a roughness structure via a rough family $\mathscr{F}$ and studies two main notions: rough $(\mathcal{I},\mathscr{F})$-cluster points and rough $(\mathcal{I},\mathscr{F})$-limit points. It establishes inclusion relations among the various notions, proves that cluster sets are closed under certain hyperspace topologies, and analyzes when $\mathcal{I}$-convergence and $\mathcal{I}^\star$-convergence coincide, notably for $P$-ideals under the UC-property. The authors also characterize when limit points for different notions align (via $P^+$-ideals) and provide examples showing genuine differences from classical ideal convergence. Additionally, they study the continuity properties of the maps from sequences to their rough limit/cluster sets and discuss implications in the induced hyperspace topology.
Abstract
We continue the study of ideal convergence for sequences $(x_n)$ with values in a topological space $X$ with respect to a family $\{F_η:η\in X\}$ of subsets of $X$ with $η\in F_η$, where each $F_η$ measures the allowed ``roughness'' of convergence toward $η$. More precisely, after introducing the corresponding notions of cluster and limit points, we prove several inclusion and invariance properties, discuss their structural properties, and give examples showing that the rough notions are genuinely different from the classical ideal ones.
