Communications of the
Korean Mathematical Society CKMS

In this article, we show that the family of all $\mathcal{I}^\mathcal{K}$-open subsets in a topological space forms a topology if $\mathcal{K}$ is a maximal ideal. We introduce the notion of $\mathcal{I}^\mathcal{K}$-covering map and investigate some basic properties. The notion of quotient map is studied in the context of $\mathcal{I}^\mathcal{K}$-convergence and the relationship between $\mathcal{I}^\mathcal{K}$-continuity and $\mathcal{I}^\mathcal{K}$-quotient map is established. We show that for a maximal ideal $\mathcal{K}$, the properties of continuity and preserving $\mathcal{I}^\mathcal{K}$-convergence of a function defined on $X$ coincide if and only if $X$ is an $\mathcal{I}^\mathcal{K}$-sequential space.

Keywords: Ideal topological space, $\mathcal{I}^\mathcal{K}$-convergence, $\mathcal{I}^\mathcal{K}$-sequential space, ideal sequence covering map, $\mathcal{I}^\mathcal{K}$-continuity, $\mathcal{I}^\mathcal{K}$-quotient map, $\mathcal{I}^\mathcal{K}$-covering map

MSC numbers: Primary 40A05, 54A20; Secondary 54C10, 54D55