On I-neighborhood spaces and I-quotient spaces
\(\mathcal{I}\)-continuous mapping\(\mathcal{I}\)-neighborhood space\(\mathcal{I}\)-open set\(\mathcal{I}\)-quotient space\(\mathcal{I}\)-sequential space\(\mathcal{I}\)-topological space\(\mathcal{I}_{sn}\)-continuous mapping\(\mathcal{I}_{sn}\)-open set\(\mathcal{I}_{sn}\)-quotient space\(G\)-methodideal convergencepreserving \(\mathcal{I}\)-convergence
In this paper the author studies properties of ideal topological spaces, based on the new notion of \(\mathcal{I}_{sn}\)-open sets and related meanings such as the \(\mathcal{I}_{sn}\)-closure and \(\mathcal{I}_{sn}\)-interior operators and \(\mathcal{I}_{sn}\)-continuous mappings. Also, the author defines the so-called \(\mathcal{I}\)-neighborhood spaces, the \(\mathcal{I}_{sn}\)-open topology, denoted by \(\tau_{\mathcal{I}_{sn}}\), and \(\mathcal{I}_{sn}\)-open topological spaces, denoted by \(X_{\mathcal{I}_{sn}}\). Some of the main results of the paper are stated as follows: \begin{itemize} \item[(1)] A topological space \((X,\tau)\) is an \(\mathcal{I}\)-sequential space if and only if \(X_{\mathcal{I}_{sn}}\) is an \(\mathcal{I}\)-sequential space and \(\tau=\tau_{\mathcal{I}_{sn}}\). \item[(2)] A mapping \(f:X\rightarrow Y\) preserves \(\mathcal{I}\)-convergence if and only if provided \(U\) is an \(\mathcal{I}_{sn}\)-open subset of \(Y\), then \(f^{-1}(U)\) is an \(\mathcal{I}_{sn}\)-open subset of \(X\). \item[(3)] A topological space \(X\) is an \(\mathcal{I}\)-neighborhood space if and only if every \(\mathcal{I}\)-continuous mapping on the space \(X\) is an \(\mathcal{I}_{sn}\)-continuous mapping. \end{itemize} Moreover, in order to characterize the finest topology of the range that makes the mapping from a topological space onto a set preserve \(\mathcal{I}\)-convergence (be \(\mathcal{I}_{sn}\)-continuous), the author introduces \(\mathcal{I}_{sn}\)-quotient mappings and discusses some topological properties of \(\mathcal{I}_{sn}\)-quotient spaces. Continuing with the essential results of the paper, the following is stated: \begin{itemize} \item[(4)] Suppose that both \(X\), \(Y\) are topological spaces and \(f:(X,\tau)\rightarrow (Y,\mu)\) is a surjective mapping. Then the following are equivalent. \begin{itemize} \item[(i)] The topology \(\mu\) of the space \(Y\) is the finest topology that makes \(f\) preserve \(\mathcal{I}\)-convergence. \item[(ii)] \(\mu=\tau_{f,\mathcal{I}_{sn}}\), where \(\tau_{f,\mathcal{I}_{sn}}=\{U\subset Y:f^{-1}(U) \ \text{is an} \ \mathcal{I}_{sn}\text{-open subset of} \ X\}.\) \item[(iii)] The mapping \(f\) is an \(\mathcal{I}_{sn}\)-quotient mapping and \(\mu=\mu_{\mathcal{I}_{sn}}\). \end{itemize} \end{itemize} Next, given a topological space \((X,\tau)\) and \(f:X\rightarrow Y\) a surjective mapping, the author investigates how to characterize a topology \(\mu\) on the set \(Y\) such that it is the finest topology that makes \(f:(X,\tau)\rightarrow (Y,\mu)\) \(\mathcal{I}\)-continuous. For that, the concepts of \(\mathcal{I}\)-open topology, denoted by \(\tau_{\mathcal{I}}\), and an \(\mathcal{I}\)-open topological space, denoted by \(X_{\mathcal{I}}\), are defined. The following is another important result of the paper. \begin{itemize} \item[(5)] Let \(X\) be an \(\mathcal{I}\)-topological space, \(f:X\rightarrow Y\) be a surjective mapping and \((Y, \tau_{f,\mathcal{I}})\), where \(\tau_{f,\mathcal{I}}=\{U\subset Y :f^{-1}(U) \ \text{is} \ \mathcal{I}\text{-open in} \ X\}\), be an \(\mathcal{I}\)-sequential space. Then the following are equivalent: \begin{itemize} \item[(i)] The topology \(\mu\) of the space \(Y\) is the finest topology that makes \(f:(X,\tau)\rightarrow(Y,\mu)\) \(\mathcal{I}\)-continuous. \item[(ii)] \(\mu=\tau_{f,\mathcal{I}}\). \item[(iii)] The mapping \(f:(X,\tau)\rightarrow(Y,\mu)\) is an \(\mathcal{I}\)-quotient mapping and \(Y\) is an \(\mathcal{I}\)-sequential space. \end{itemize} \end{itemize} Corollaries and examples that strengthen the results of the paper complete the whole study of the paper.
- On topological spaces defined by \(\mathcal{I} \)-convergence
- On \(\mathcal{I}\)-quotient mappings and \(\mathcal{I}\)-\(cs'\)-networks under a maximal ideal
- Certain aspects of ideal convergence in topological spaces
- scientific article; zbMATH DE number 94975
- On quasi I-openness and quasi I-continuity
- I and I^*-convergence in topological spaces
- I-convergence
- \(\mathcal I\)-sequential topological spaces
- \(\mathcal{I}\)-Fréchet-Urysohn spaces
- G-methods, G-sequential spaces and G-continuity in topological spaces
- \(k^*\)-metrizable spaces and their applications
- Alexandroff topologies and monoid actions
- Algebraically rigid simplicial complexes and graphs
- Asymptotic negative type properties of finite ultrametric spaces
- Certain aspects of ideal convergence in topological spaces
- Enhanced negative type for finite metric trees
- Generalized metric spaces and mappings. Translated from the Chinese by the first author
- Generalized topology, generalized continuity
- scientific article; zbMATH DE number 3152563 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- Ideal convergence of bounded sequences
- Ideal quasi-normal convergence and related notions
- Ideal-convergence classes
- MAPPINGS AND SPACES
- Nilpotent groups derived from hypergroups.
- Notes on pseudo-open mappings and sequentially quotient mappings
- On \(\mathcal{I}\)-covering mappings and 1-\(\mathcal{I}\)-covering mappings
- On closed invariant sets in local dynamics
- On topological spaces defined by \(\mathcal{I} \)-convergence
- Relationship between ordered semihypergroups and ordered semigroups by using pseudoorder.
- Sequential definitions of continuity for real functions.
- Sequentially quotient mappings
- Set relations and set systems induced by some families of integral domains
- Some classes of abstract simplicial complexes motivated by module theory
- Statistical convergence in topology
- Strongly transitive geometric spaces associated to hypermodules.
- \( \mathcal{I} \)-connected spaces and the images of metric spaces
- \(\mathcal{I}_{sn}\)-sequential spaces and the images of metric spaces
- -neighborhoods and comparison theorems
- On \(\mathcal{I}\)-quotient mappings and \(\mathcal{I}\)-\(cs'\)-networks under a maximal ideal
- \(\mathcal{I}\)-Fréchet-Urysohn spaces
- \(\mathcal I\)-sequential topological spaces
- On covering and quotient maps for \(\mathcal{I}^{\mathcal{K}} \)-convergence in topological spaces
- On a quotient \(S\)-set induced by countably infinite decreasing chains
- On ideal-derived-set mappings in uniform spaces
- On some properties of \(\mathcal{I}^\mathcal{K}_{sn} \)-topological space
- The first-countability in generalizations of topological groups with ideal convergence
- A note on \(\mathcal{I}\)-closure and \(\mathcal{I}\)-hyperconnected spaces
- On G_s-convergence and G_s-countable compactness
- The symmetrizability in weak topological groups with ideal continuity
- \(\mathcal{I}\)-\(sn\)-metrizable spaces and the images of semi-metric spaces
- On I-convergence of nets of functions in fuzzy metric spaces
- On topological spaces defined by \(\mathcal{I} \)-convergence
This page was built for publication: On \(\mathcal{I}\)-neighborhood spaces and \(\mathcal{I}\)-quotient spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2045237)
