The inclusion of ideal-limit points under IK\mathcal{I}^{\mathcal{K}}-convergence

From papers

Let ff be a function into a topological space XX, and let Lf(IK)L_f(\mathcal{I} \cup \mathcal{K}) and Lf(IK)L_f(\mathcal{I}^{\mathcal{K}}) denote the collections of (IK)(\mathcal{I} \cup \mathcal{K})-limit points and IK\mathcal{I}^{\mathcal{K}}-limit points of ff, respectively. Here I\mathcal{I} and K\mathcal{K} are ideals satisfying the ideality condition.

Expected inclusion.

Lf(IK)Lf(IK).L_f(\mathcal{I} \cup \mathcal{K}) \subseteq L_f(\mathcal{I}^{\mathcal{K}}).

This is suggested by the preceding implications relating K\mathcal{K}-, IK\mathcal{I}^{\mathcal{K}}-, and (IK)(\mathcal{I} \cup \mathcal{K})-convergence. The supplied text does not state a proof or resolution of this expected conclusion.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ankur Sharmah and Debajit Hazarika, “Further aspects of I^K-convergence in Topological Spaces”, arXiv:2012.12484 (2021).

Solutions 0

No solutions have been posted yet.