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

About 6 years old · traced to

Let ff be a function into a topological space XX, and let Lf(I∪K)L_f(\mathcal{I} \cup \mathcal{K}) and Lf(IK)L_f(\mathcal{I}^{\mathcal{K}}) denote the collections of (I∪K)(\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(I∪K)⊆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 (I∪K)(\mathcal{I} \cup \mathcal{K})-convergence. The supplied text does not state a proof or resolution of this expected conclusion.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.