- Original research
- Open access
- Published:
On \(\psi _{{\mathcal{H}}}( . )\)-operator in weak structure spaces with hereditary classes
Journal of the Egyptian Mathematical Society volume 28, Article number: 49 (2020)
Abstract
Weak structure space (briefly, wss) has master looks, when the whole space is not open, and these classes of subsets are not closed under arbitrary unions and finite intersections, which classify it from typical topology. Our main target of this article is to introduce \(\psi _{{\mathcal {H}}}(.)\)-operator in hereditary class weak structure space (briefly, \({\mathcal {H}}wss\)) \((X, w, {\mathcal {H}})\) and examine a number of its characteristics. Additionally, we clarify some relations that are credible in topological spaces but cannot be realized in generalized ones. As a generalization of w-open sets and w-semiopen sets, certain new kind of sets in a weak structure space via \(\psi _{{\mathcal {H}}}(.)\)-operator called \(\psi _{{\mathcal {H}}}\)-semiopen sets are introduced. We prove that the family of \(\psi _{{\mathcal {H}}}\)-semiopen sets composes a supra-topology on X. In view of hereditary class \({\mathcal {H}}_{0}\), \(w T_{1}\)-axiom is formulated and also some of their features are investigated.
Introduction
Various topics have been initiated as a result of the interaction between topology and life’s problems [1, 2]. The characterizations of the hereditary classes idea \({{\mathcal {H}}}\) on a nonempty set X, \(S \in {{\mathcal {H}}}\) and \(\acute{S} \subset S\) implies \(\acute{S} \in {{\mathcal {H}}}\), which was created by Csaszar in [3], are applicable. In [4], Csaszar inserted the notion of weak structures w on X that is usable in digital topology. However, Modak and Noiri have drawn various relations among different mathematical structures in [5]. In 2012, Zahran et al. [6] utilized the hereditary classes and weak structures on X to extend classical topological concepts and got a new weak structure from old. Furthermore, they investigated some of its properties. Renukadevi and Vimaladevi [7] and Al-Omari et al. [8] extended the study of hereditary classes in the generalized topological spaces. In the current study, we apply the notions of weak structures w and hereditary classes \({\mathcal {H}}\) on X to acquaint \(\psi _{{\mathcal {H}}} ( . )\)-operators and discuss some of its characteristic features. With the aid of \(\psi _{{\mathcal {H}}}( . )\), we consider a type of sets in (X, w), which may be referred to as \(\psi _{{\mathcal {H}}}\)-semiopen. We show that the family of all \(\psi _{{\mathcal {H}}}\)-semiopen sets forms a supra-topology on X [9]. Furthermore, in view of hereditary class \({\mathcal {H}}_{0}\), \(w T_{1}\)-axiom is formulated and also some of their features are examined.
Preliminaries
In weak structures, most of the fundamental concepts and facts in ordinary topology are specified analogously. It is predicted that many considerable results in ordinary topology will not be carried over and some of interesting properties will be missing or weakened. Thus, any statement which is true in weak structures is true in ordinary topological spaces. However, in order to attain desirable and interesting inferences, additional terms must be imposed.
If there is no other particularization in the current paper, suppose X is a nonempty set and P(X) be a power set of X. Let \({\mathcal {H}} \ne \emptyset\) be a hereditary class on a weak structure space (X, w). A set S of X is said to be w-open iff \(S \in w\) and w-closed iff the complement of S is w-open in X. For \(S \in P(X)\), \(i_{w}(S)\) and \(c_{w}(S)\) denote w-interior, w-closure of a set S, respectively. It is known that \(i_{w}(S)\) is restricting, monotone, and idempotent. The map \(c_{w}(S)\) is enlarging, monotone, and idempotent (see [4]). Note that a subset N of X is w-rare iff \(i_{w}c_{w}(N) = \emptyset\) [6] and the collection \({\mathcal {H}}_{n} = \{N \subseteq X \, \mid \, i_{w}c_{w}(N) = \emptyset \}\) forms a hereditary class [10]. A weak structure space with a hereditary class \({\mathcal {H}}\) is called a hereditary class weak structure space (briefly, \({\mathcal {H}}wss\)) and is denoted by \((X, w, {\mathcal {H}})\).
For a subset S of \((X, w, {\mathcal {H}})\), define \(S_{{\mathcal {H}}}^{\star }=\{x \, \mid \, x \in N \in w\) implies \(N \cap S \notin {\mathcal {H}}\}\) [6]. \(S_{{\mathcal {H}}}^{\star }\) is a w-closed subset for any \(S \in P(X)\) [6]. Note that \(S_{{\mathcal {H}}_{n}}^{\star } \ne c_{w}i_{w}c_{w}(S)\) as we see in the next example.
Example 1
Consider \(w=\{\emptyset , \{a, b\}, \{a, c\}\}\) is a weak structure on \(X=\{a, b, c\}\) with a hereditary class \({\mathcal {H}}_{n} = \{\emptyset , \{b\}, \{c\}\}\). If \(S=\{b, c\}\), then \(S_{{\mathcal {H}}_{n}}^{\star } \ne c_{w}i_{w}c_{w}(S)\).
If \(c_{{\mathcal {H}}}^{\star }(S)=S \cup S_{{\mathcal {H}}}^{\star }\), then there is a weak structure \(w_{{\mathcal {H}}}^{\star }\) such that \(c_{{\mathcal {H}}}^{\star } (S)\) is the intersection of all \(w_{{\mathcal {H}}}^{\star }\)-closed supersets of S; \(S \in w_{{\mathcal {H}}}^{\star }\) iff \(c_{{\mathcal {H}}}^{\star }(X \backslash S) = (X \backslash S)\). The elements of \(w_{{\mathcal {H}}}^{\star }\) are called \(w_{{\mathcal {H}}}^{\star }\)-open and their complement are called \(w_{{\mathcal {H}}}^{\star }\)-closed sets. Obviously, a subset S is \(w_{{\mathcal {H}}}^{\star }\)-closed iff \(S_{{\mathcal {H}}}^{\star } \subset S\). However, Selim et al. in [11] introduced a new local function on any collection of a set X.
Theorem 1
[12] Let w be a weak structure on X such that w is closed under finite intersection and \(S, \acute{S} \in P(X)\). Then, the following hold:
-
(1)
\(c_w(S) \cup c_w(\acute{S})=c_w(S \cup \acute{S})\).
-
(2)
\(i_w(S \cap \acute{S})=i_w(S) \cap i_w(\acute{S})\).
For getting a deeper insight into further studying some properties of weak structure and generalized topological spaces, see [3, 4, 6, 7, 12,13,14,15] for details.
Set operator \(\psi _{{\mathcal {H}}}( . )\)
Definition 1
Let (X, w) be a weak structure space. \(N \subseteq X\) is said to be w-neighborhood (briefly, wnbhood) of a point \(x \in X\) if \(x \in i_{w}(N)\). We write \({\mathcal {N}}_{w}(x)\) for the collection of all wnbhoods of x, i.e., \({\mathcal {N}}_{w}(x)=\{N \subset X\, \mid \,x \in i_{w}(N)\}\), \(x \in X\). We write \({\mathcal {N}}^{o}_{w}(x)\) for the collection of all w-open nbhoods of x, i.e., \({\mathcal {N}}^{o}_{w}(x)=\{N \in w\, \mid \,x \in N\}\).
By using the duality property, one can define an operator \(\psi _{{\mathcal {H}}}(.)\) that is similar to \((.)_{{\mathcal {H}}}^{\star }\) operator [6].
Definition 2
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). An operator \(\psi _{{\mathcal {H}}}\) : \(P(X) \longrightarrow P(X)\) is defined in such a way:
Significant findings concerning the behavior of \(\psi _{{\mathcal {H}}}(.)\) are obtained in the coming theorems.
Theorem 2
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(S \in P(X)\), then
-
(1)
\(\psi _{{\mathcal {H}}}(S)=\{x \in X\, \mid \,\exists N \in {\mathcal {N}}^{o}_{w}(x)\) s.t. \(N \backslash S \in {\mathcal {H}}\}\).
-
(2)
\(\cup \{ N \in w\, \mid \,(N \backslash S) \cup (S \backslash N) \in {\mathcal {H}}\} \subseteq \psi _{{\mathcal {H}}} (S)\).
-
(3)
\(S_{{\mathcal {H}}}^{\star }=X \backslash \psi _{{\mathcal {H}}}(X \backslash S)\).
Proof
Direct to prove. \(\square\)
Theorem 3
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(S \subseteq X\), then the following hold:
-
(1)
\(N \in w\), \(N \backslash S \in {\mathcal {H}}\) imply \(N \subset \psi _{{\mathcal {H}}}(S)\).
-
(2)
If \(H \in {\mathcal {H}}\), then \(\psi _{{\mathcal {H}}}(X \backslash H)={{\mathcal {O}}_w}\), (where \({{\mathcal {O}}_w}\) denotes the union of all w-open sets in (X, w)),
-
(3)
\(\psi _{{\mathcal {H}}}(X)={{\mathcal {O}}_w}\), for any \({\mathcal {H}}\).
Proof
-
(1)
Let \(x \in N\). Since \(N \in w\) and \(N \backslash S \in {\mathcal {H}}\), then \(x \in \psi _{{\mathcal {H}}}(S)\).
-
(2)
From \(H \in {\mathcal {H}}\) and Lemma 0.1 of [6], it follows \(H_{{\mathcal {H}}}^{\star }=X \backslash {{\mathcal {O}}_w}\). Consequently, \(\psi _{{\mathcal {H}}}(X \backslash H)={{\mathcal {O}}_w}\), i.e., \({{\mathcal {O}}_w}=\{x \in X\, \mid \,\exists N \in {\mathcal {N}}^{o}_{w}(x)\) s.t. \(N \cap H \in {\mathcal {H}}\}\).
-
(3)
Obvious.
\(\square\)
Theorem 4
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). For \(S \in P(X)\), the following statements hold:
-
(1)
\(i_w(S) \subset \psi _{{\mathcal {H}}}(S)\),
-
(2)
\(\psi _{{\mathcal {H}}}(S)\) is a w-open set,
-
(3)
\(\psi _{{\mathcal {H}}}(S)=\psi _{{\mathcal {H}}}(S \cap \psi _{{\mathcal {H}}}(S))\).
Proof
-
(1)
For each \(x \in i_w(S)\), there exists \(N \in {\mathcal {N}}^{o}_{w}(x)\) s.t. \(N \subset S\). This implies \(N \backslash S=\emptyset \in {\mathcal {H}}\). Then, from Theorem 2 (1), \(x \in \psi _{{\mathcal {H}}}(S)\).
-
(2)
Accessible from Proposition 0.3. of [6].
-
(3)
Evidently, \(\psi _{{\mathcal {H}}}(S \cap \psi _{{\mathcal {H}}}(S)) \subset \psi _{{\mathcal {H}}}(S)\). Conversely, let \(x \in \psi _{{\mathcal {H}}}(S)\) implies the existence of w-open bhood N of x s.t. \(N \backslash S \in {\mathcal {H}}\). By Theorem 3 (1), \(N \subset \psi _{{\mathcal {H}}}(S)\). So \(N \backslash (S \cap \psi _{{\mathcal {H}}}(S))=N \backslash S \in {\mathcal {H}}\). Hence, \(x \in \psi _{{\mathcal {H}}}(S \cap \psi _{{\mathcal {H}}}(S))\) and so \(\psi _{{\mathcal {H}}}(S) \subset \psi _{{\mathcal {H}}}(S \cap \psi _{{\mathcal {H}}}(S))\).
\(\square\)
Next example shows that the reverse inclusion of Theorem 4 (1) may not achieved:
Example 2
Consider \(X=N\); the set of all natural numbers, \(w=\{\emptyset , \{1\}, \{2\}, X\}\) and \({\mathcal {H}}=\{\emptyset , \{1\}, \{2\}, \{3\}, \{1, 3\}\}\). If \(S=\{3, 4, \ldots , n,\ldots \}\), then \(\psi _{{\mathcal {H}}}(S)=\{1, 2\}\) and \(i_w(S)=\emptyset\). Hence, \(\psi _{{\mathcal {H}}}(S)\ne i_w(S)\).
The proofs of the following lemmas are attainable and then ignored.
Lemma 1
Let \({\mathcal {H}}_{1}, {\mathcal {H}}_{2}\) be hereditary classes on (X, w) with \({\mathcal {H}}_{1} \subseteq {\mathcal {H}}_{2}\). Then, \(\psi _{{\mathcal {H}}_{1}}(S) \subseteq \psi _{{\mathcal {H}}_{2}}(S)\), for each \(S \in P(X)\).
Lemma 2
Let \(w_{1}, w_{2}\) be two weak structures on X, \({\mathcal {H}}\) be a hereditary class on X and \(S \in P(X)\). If \(w_{1} \subseteq w_{2}\), then \(\psi _{{\mathcal {H}}}(w_{1})(S) \subseteq \psi _{{\mathcal {H}}}(w_{2})(S)\).
Theorem 5
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(S, \acute{S} \in P(X)\), then the following statements hold:
-
(1)
If \(S \subset \acute{S}\), then \(\psi _{{\mathcal {H}}}(S) \subset \psi _{{\mathcal {H}}}(\acute{S})\),
-
(2)
\(\psi _{{\mathcal {H}}}(S \cap \acute{S}) \subset \psi _{{\mathcal {H}}}(S) \cap \psi _{{\mathcal {H}}}(\acute{S})\) and \(\psi _{{\mathcal {H}}}(S) \cup \psi _{{\mathcal {H}}}(\acute{S}) \subset \psi _{{\mathcal {H}}}(S \cup \acute{S})\),
-
(3)
If \(S \in w\), then \(S \subset \psi _{{\mathcal {H}}}(S)\),
-
(4)
\(\psi _{{\mathcal {H}}}(S) \subset \psi _{{\mathcal {H}}}(\psi _{{\mathcal {H}}}(S))\),
-
(5)
\(S \cap \psi _{{\mathcal {H}}}(S)=i_{{\mathcal {H}}}^{\star }(S)\) (where \(i_{{\mathcal {H}}}^{\star }(S)\) is interior of S with respect to \({w_{{\mathcal {H}}}^{\star }}\)).
Proof
(1) and (2) are obvious.
-
3
Let \(S \in w\), then by using Theorem 4 (1), \(S=i_w(S) \subset \psi _{{\mathcal {H}}}(S)\) and so \(S \subset \psi _{{\mathcal {H}}}(S)\).
-
4
Let \(x \in \psi _{{\mathcal {H}}}(S)\), then there exists \(N \in {\mathcal {N}}^{o}_{w}(x)\) s.t. \(N \backslash S \in {\mathcal {H}}\). From Theorem 3, \(N \subset \psi _{{\mathcal {H}}}(S)\) and so \(N \backslash \psi _{{\mathcal {H}}}(S)=\emptyset \in {\mathcal {H}}\). Hence, \(x \in \psi _{{\mathcal {H}}}(\psi _{{\mathcal {H}}}(S))\).
-
5
Intelligible.
\(\square\)
Remark 1
Let w be closed under finite intersection and \({\mathcal {H}}\) be an ideal on (X, w). Then, \(\psi _{{\mathcal {H}}}(S \cap \acute{S}) = \psi _{{\mathcal {H}}}(S) \cap \psi _{{\mathcal {H}}}(\acute{S})\), for any sets \(S, \acute{S}\) of X.
Now we give an example to show that the reverse inclusion of Theorem 5 (2) fails to hold in general:
Example 3
Consider \(w=\{\emptyset , \{d\}, \{a, b\}, \{b, c\}\}\) is a weak structure on \(X=\{a, b, c, d\}\) with a hereditary class \({\mathcal {H}}=\{\emptyset , \{c\}, \{d\}\}\).
-
(1)
If \(S=\{a, b\}\) and \(\acute{S}=\{b, c\}\), then \(\psi _{{\mathcal {H}}}(S)=\{a, b, d\}\), \(\psi _{{\mathcal {H}}}(\acute{S})=\{b, c, d\}\) and \(\psi _{{\mathcal {H}}}(S \cap \acute{S})=\{d\}\). Hence, \(\psi _{{\mathcal {H}}}(S \cap \acute{S}) \ne \psi _{{\mathcal {H}}}(S) \cap \psi _{{\mathcal {H}}}(\acute{S})\).
-
(2)
If \(S=\{a\}\) and \(\acute{S}=\{b, c, d\}\), then \(\psi _{{\mathcal {H}}}(S)=\{d\}\), \(\psi _{{\mathcal {H}}}(\acute{S})=\{b, c, d\}\) and \(\psi _{{\mathcal {H}}}(S \cup \acute{S})=X\). Hence,
\(\psi _{{\mathcal {H}}}(S \cup \acute{S}) \ne \psi _{{\mathcal {H}}}(S) \cup \psi _{{\mathcal {H}}}(\acute{S})\).
In Theorem 5 (4), the reverse inclusion fails to hold in general as we can see by the next example.
Example 4
Consider \(w=\{\emptyset , \{d\}, \{a, b\}, \{b, c\}\}\) is a weak structure on \(X=\{a, b, c, d\}\) with a hereditary class \({\mathcal {H}}=\{\emptyset , \{a\}, \{b\}\}\). If \(S=\{c, d\}\), then \(\psi _{{\mathcal {H}}}(S)=\{b, c, d\}\) and \(\psi _{{\mathcal {H}}}\psi _{{\mathcal {H}}}(S)=X\). Hence, \(\psi _{{\mathcal {H}}}\psi _{{\mathcal {H}}}(S) \ne \psi _{{\mathcal {H}}}(S)\).
Also, Example 4 shows that Theorem 5 (3) fails to hold. If \(S=\{c, d\}\), then \(\psi _{{\mathcal {H}}}(S)=\{b, c, d\}\). It is clear that S is not a w-open set but it satisfies \(S \subset \psi _{{\mathcal {H}}}(S)\).
Theorem 6
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(\Theta =\{S \subset X\, \mid \,S \subset \psi _{{\mathcal {H}}}(S)\}\), then \(\Theta\) is a generalized topology on X and \(\Theta =w_{{\mathcal {H}}}^{\star }\).
Proof
Let \(\Theta =\{S \subset X\, \mid \,S \subset \psi _{{\mathcal {H}}}(S)\}\). It is clear that \(\emptyset \in \Theta\). Now if \(S_{r} \in \Theta\) for each \(r \in \Upsilon\), so \(S_{r} \subset \psi _{{\mathcal {H}}}(S_{r}) \subset\)
\(\psi _{{\mathcal {H}}}(\cup _{r}S_{r})\) for each \(r \in \Upsilon\). This implies that \(\cup _{r}S_{r} \subset \psi _{{\mathcal {H}}}(\cup _{r}S_{r})\). Hence, \(\cup _{r}S_{r} \in \Theta\). This shows that \(\Theta\) is a generalized topology on X. Let \(S \in \Theta\), then \(S \subset \psi _{{\mathcal {H}}}(S)=X \backslash (X \backslash S)_{{\mathcal {H}}}^{\star }\) which implies that \((X \backslash S)_{{\mathcal {H}}}^{\star } \subset (X \backslash S)\). Therefore, \((X \backslash S)\) is \(w_{{\mathcal {H}}}^{\star }\)-closed and so S is \(w_{{\mathcal {H}}}^{\star }\)-open. Therefore, \(\Theta \subset w_{{\mathcal {H}}}^{\star }\). Conversely, \(S \in w_{{\mathcal {H}}}^{\star }\) and \(x \in S\). Then, there exists \(N \in w\) and \(H \in {\mathcal {H}}\) s.t. \(x \in (N \backslash H) \subset S\). Now \((N \backslash H) \subset S\) implies that \((N \backslash S) \subset H\) which in turn implies that \((N \backslash S) \in {\mathcal {H}}\) and so \(x \in \psi _{{\mathcal {H}}}(S)\). Therefore, \(w_{{\mathcal {H}}}^{\star } \subset \Theta\). Hence, \(\Theta =w_{{\mathcal {H}}}^{\star }\). \(\square\)
Proposition 1
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\) and \(S \in P(X)\). If N is a nonempty w-open subset of \(\psi _{{\mathcal {H}}}(S) \backslash \psi _{{\mathcal {H}}}(X \backslash S)\) with \(\psi _{{\mathcal {H}}}(S) \backslash S \in {\mathcal {H}}\), then \(N \backslash S \in {\mathcal {H}}\) and \(N \cap S \notin {\mathcal {H}}\).
Proof
Suppose \(N \subset \psi _{{\mathcal {H}}}(S) \backslash \psi _{{\mathcal {H}}}(X \backslash S)\). If \(N \subset \psi _{{\mathcal {H}}}(S)\) and \(\psi _{{\mathcal {H}}}(S) \backslash S \in {\mathcal {H}}\), then \(N \backslash S \subset \psi _{{\mathcal {H}}}(S) \backslash S\) and so \(N \backslash S \in {\mathcal {H}}\). If \(N \subset X \backslash \psi _{{\mathcal {H}}}(X \backslash S)\), hence \(x \notin \psi _{{\mathcal {H}}}(X \backslash S)\) for every \(x \in N\). Since N is a w-open set containing x, then \(N \backslash (X \backslash S) \notin {\mathcal {H}}\) and so \(N \cap S \notin {\mathcal {H}}\). \(\square\)
Next segment is interested to introduce and examine the concepts w-codense (resp. strongly w-codense, \(*\)-strongly w-codense) hereditary class in \((X, w, {\mathcal {H}})\) with some of their effects.
Definition 3
[6] Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). \({\mathcal {H}}\) is w-codense iff \(w \cap {\mathcal {H}}=\{\emptyset \}\) iff \(X=X_{{\mathcal {H}}}^{\star }\).
Proposition 2
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). \({\mathcal {H}}\) is w-codense iff \(\psi _{{\mathcal {H}}}(\emptyset )=\emptyset\).
Proof
Obvious, from Proposition 0.5 of [6] and Theorem 2. \(\square\)
The proof of the following lemmas follows directly from Proposition 2.
Lemma 3
Let \({\mathcal {H}}_{1}, {\mathcal {H}}_{2}\) be hereditary classes on (X, w) with \({\mathcal {H}}_{1} \subseteq {\mathcal {H}}_{2}\). Then, \({\mathcal {H}}_{1}\) is w-codense, if \({\mathcal {H}}_{2}\) is w-codense.
Lemma 4
Let \({\mathcal {H}}\) be w-codense and \(A \subseteq X\). Then, \(A \notin {\mathcal {H}}\), if \(x \in i_{w}(A)\).
Theorem 7
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(\psi _{{\mathcal {H}}}(S) \subset S_{{\mathcal {H}}}^{\star }\) for every \(S \subset X\), then \({\mathcal {H}}\) is w-codense.
Proof
We shall prove \(X \subset X_{{\mathcal {H}}}^{\star }\). Let \(x \notin X_{{\mathcal {H}}}^{\star }\), then \(x \notin \psi _{{\mathcal {H}}}(X)\). Hence, for every w-open nbd. N of x, \(N \backslash X \notin {\mathcal {H}}\). So \(\emptyset \notin {\mathcal {H}}\), which is a contradiction. Consequently, \(X=X_{{\mathcal {H}}}^{\star }\), i.e., \({\mathcal {H}}\) is w-codense. \(\square\)
Remark 2
For any \(x \in X\), \(\{ A \subset X \mid x \notin A\}\) is a hereditary class denoted by \({\mathcal {H}}_{0}\).
In view of hereditary class \({\mathcal {H}}_{0}\), \(w T_{1}\)-axiom is formulated and also some of their features are investigated.
Theorem 8
In a \({\mathcal {H}}wss \, (X, w, {\mathcal {H}})\), the following statements are equivalent:
-
(1)
\(\cap _{x\in X}{\mathcal {N}}^{o}_{w}(x) = \{x\}\),
-
(2)
\((X, w, {\mathcal {H}})\) is a \(w T_{1}\)-space [16],
-
(3)
If \({\mathcal {H}}_{0} \cap {\mathcal {N}}^{o}_{w}(y) = \{\emptyset \}\), then \(x=y\).
Proof
-
(1)
\(\Longrightarrow (2)\) Let \(x, y \in X\), and \(x \ne y\). From (1), there exist w-open sets M and N s.t. \(x \in M\) while \(y \notin M\) and \(y \in N\) while \(x \notin N\).
-
(2)
\(\Longrightarrow (3)\) Let \(x \ne y\). In view of (2), there exist w-open sets M and N s.t. \(x \in M\) while \(y \notin M\) and \(y \in N\) while \(x \notin N\). Hence, there exists \(N \in {\mathcal {N}}^{o}_{w}(y)\) and \(N \in {\mathcal {H}}_{0}\) and so \({\mathcal {H}}_{0} \cap {\mathcal {N}}^{o}_{w}(y) \ne \{\emptyset \}\).
-
(3)
\(\Longrightarrow (1)\) Let \(y \in \cap _{x\in X}{\mathcal {N}}^{o}_{w}(x)\) and \(y \ne x\). Then, for every \(N \in {\mathcal {N}}^{o}_{w}(x)\); \(y \in N\), i.e., \(N \in {\mathcal {N}}^{o}_{w}(y)\). Also, from (3), \({\mathcal {H}}_{0} \cap {\mathcal {N}}^{o}_{w}(y) \ne \{\emptyset \}\); there exists M s.t. \(M \in {\mathcal {N}}^{o}_{w}(y)\) and \(M \in {\mathcal {H}}_{0}\). Hence, \(x \notin M\), i.e., \(M \not \in {\mathcal {N}}^{o}_{w}(x)\), which is a contradiction, so \(x = y\).
\(\square\)
Definition 4
If N, S are w-open, w-closed sets, respectively, and \(N \setminus S \in {\mathcal {H}}\) implies \(N \subset S\), then a hereditary class \({\mathcal {H}}\) is said to be strongly w-codense on (X, w).
Proposition 3
\({\mathcal {H}}\) is strongly w-codense on (X, w) iff \(\psi _{{\mathcal {H}}}(S) \subset i_w(S)\), for every w-closed set S.
Proof
(\(\Longrightarrow\)) Let S be a w-closed set. Suppose \(x \in \psi _{{\mathcal {H}}}(S)\), then there exists \(N \in w\) s.t. \(x \in N\) and \(N \backslash S \in {\mathcal {H}}\). Since \({\mathcal {H}}\) is strongly w-codense, thus \(N \subset S\) and so \(x \in i_w(S)\). Hence, \(\psi _{{\mathcal {H}}}(S) \subset i_w(S)\).
(\(\Longleftarrow\)) Let N, S be w-open, w-closed sets, respectively, and \(N \backslash S \in {\mathcal {H}}\). From Theorem 3, \(N \subset \psi _{{\mathcal {H}}}(S)\). Since \(\psi _{{\mathcal {H}}}(S) \subset i_w(S)\), then \(N \subset S\). \(\square\)
As a straightforward consequence to Theorem 4 and Proposition 3, the next corollaries are fulfilled.
Corollary 1
If \({\mathcal {H}}\) is strongly w-codense on (X, w), then \(\psi _{{\mathcal {H}}}(S) \backslash S=\emptyset\), for each w-closed set S of X.
Corollary 2
If S is a w-closed subset of X, then \({\mathcal {H}}\) is strongly w-codense on (X, w) iff \(\psi _{{\mathcal {H}}}(S)=i_w(S)\). Equivalently, if S is a w-open subset of X, then \({\mathcal {H}}\) is strongly w-codense on (X, w) iff \(S_{{\mathcal {H}}}^{\star }=c_w(S)\).
Definition 5
The boundary \(\partial _{w}(S)\) of a subset S of (X, w) is defined as \(\partial _{w}(S)=c_{w}(S) \backslash i_{w}(S)\).
The next result is a direct consequence of Definition 5 and Theorem 4 (1), so its proof is disregarded.
Lemma 5
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). For any subset S of X, the following statements hold:
-
(1)
\(S \backslash \partial _{w}(S) \subset \psi _{{\mathcal {H}}}(S)\),
-
(2)
\(X=\psi _{{\mathcal {H}}}(S) \cup \psi _{{\mathcal {H}}}(X \backslash S) \cup \partial _{w}(S)\).
In view of Theorem 1 and Corollary 2, the following theorem holds.
Theorem 9
Let w be closed under finite intersection and a hereditary class \({\mathcal {H}}\) be strongly w-codense on X. If \(\psi _{{\mathcal {H}}}(S) \cup \psi _{{\mathcal {H}}}(\acute{S})=\psi _{{\mathcal {H}}}(S \cup \acute{S})\), for any w-closed sets \(S, \acute{S}\) of (X, w), then \(\partial _{w}(S \cup \acute{S})=(\partial _{w}(S)\backslash \psi _{{\mathcal {H}}}(\acute{S})) \cup (\partial _{w}(\acute{S})\backslash \psi _{{\mathcal {H}}}(S))\)
Proof
Hence, \(\partial _{w}(S \cup \acute{S})=(\partial _{w}(S)\backslash \psi _{{\mathcal {H}}}(\acute{S})) \cup (\partial _{w}(\acute{S})\backslash \psi _{{\mathcal {H}}}(S)).\)
\(\square\)
Definition 6
For N, \(\acute{N} \in w\) and for all \(S \subseteq X\), \((N \cap \acute{N}) \backslash S \in {\mathcal {H}}\) and \(N \cap \acute{N} \cap S \in {\mathcal {H}}\) implies \(N \cap \acute{N}=\emptyset\), then a hereditary class \({\mathcal {H}}\) is said to be \(*\)-strongly w-codense on (X, w).
Lemma 6
If a hereditary class \({\mathcal {H}}\) is \(*\)-strongly w-codense on (X, w), then the following statements hold:
-
(1)
\({\mathcal {H}}\) is w-codense,
-
(2)
\({\mathcal {H}}\) is strongly w-codense.
Proof
-
(1)
We shall prove only \(X \subseteq X^{*}\). Let \(x \not \in X^{*}\), then there exists \(N \in {\mathcal {N}}^{o}_{w}(x)\) s.t. \(N \cap X \in {\mathcal {H}}\). Since \(N \backslash X=\emptyset \in {\mathcal {H}}\) and \({\mathcal {H}}\) is \(*\)-strongly w-codense, then \(N=\emptyset\). It is a contradiction, and so \(X=X^{*}\).
-
(2)
Let N, S be w-open, w-closed sets, respectively, and \(N \backslash S \in {\mathcal {H}}\). Suppose \(\acute{N}=X \backslash S\), then \((N \cap \acute{N}) \backslash S \in {\mathcal {H}}\) and \(N \cap \acute{N} \cap S=\emptyset \in {\mathcal {H}}\). Since \({\mathcal {H}}\) is \(*\)-strongly w-codense, hence \(N \cap \acute{N}=\emptyset\). So \(N \subset S\).
\(\square\)
In Lemma 6, the reverse implications fail to hold in general as we can see by the next examples.
Example 5
-
(1)
Consider \(w = \{\emptyset , \{a, b\}, \{a, c\}\}\) is a weak structure on \(X = \{a, b, c, d\}\) with \({\mathcal {H}} = \{\emptyset , \{a\}, \{d\}\}\). Clearly, \(\psi _{{\mathcal {H}}}(\emptyset ) = \emptyset\). If \(N = \{a, b\}\), \(\acute{N} = \{a, c\}\) are w-open sets, then \((N \cap \acute{N}) \backslash S \in {\mathcal {H}}\) and \(N \cap \acute{N} \cap S \in {\mathcal {H}}\) for every \(S \subseteq X\) but \(N \cap \acute{N} \ne \emptyset\). Then, \({\mathcal {H}}\) is w-codense but it is not \(*\)-strongly w-codense on (X, w).
-
(2)
Consider \(w = \{\emptyset , \{a, b, c\}, \{a, b, d\}\}\) is a weak structure on \(X = \{a, b, c, d\}\) with \({\mathcal {H}} = \{\emptyset , \{a\}, \{b\}\}\). consider \(N = \{a, b, c\}\), \(\acute{N} = \{a, b, d\}\) are w-open sets. Obviously, \({\mathcal {H}}\) is a strongly w-codense on (X, w). For \(S = \{a, c\}\), \((N \cap \acute{N}) \backslash S \in {\mathcal {H}}\) and \(N \cap \acute{N} \cap S \in {\mathcal {H}}\) but \(N \cap \acute{N} \ne \emptyset\). Then, \({\mathcal {H}}\) is strongly w-codense but it is not \(*\)-strongly w-codense on (X, w).
Theorem 10
Let (X, w) be a weak structure space, and let a hereditary class \({\mathcal {H}}\) be \(*\)-strongly w-codense on X. Then, \(\psi _{{\mathcal {H}}}(S) \subset S_{{\mathcal {H}}}^{\star }\), for every \(S \in P(X)\).
Proof
Suppose there exists an element \(x \in \psi _{{\mathcal {H}}}(S)\) and \(x \not \in S_{{\mathcal {H}}}^{\star }\). Then, there exist w-open sets N, \(\acute{N}\) s.t. \(x \in N \cap \acute{N}\), \(N \backslash S \in {\mathcal {H}}\) and \(\acute{N} \cap S \in {\mathcal {H}}\). Hence, \((N \cap \acute{N}) \backslash S \in {\mathcal {H}}\) and \(N \cap \acute{N} \cap S \in {\mathcal {H}}\). Since \({\mathcal {H}}\) is \(*\)-strongly w-codense, then \(N \cap \acute{N}=\emptyset\). But this contradicts the fact that \(x \in N \cap \acute{N}\). Consequently, \(\psi _{{\mathcal {H}}}(S) \subset S_{{\mathcal {H}}}^{\star }\). \(\square\)
The following example shows that the reverse inclusions of Theorem 10 fail to hold.
Example 6
Consider \(w = \{\emptyset , \{a, c\}\}\) is a weak structure on \(X = \{a, b, c\}\). If \({\mathcal {H}} = \{\emptyset , \{a\}, \{b\}\}\) is a \(*\)-strongly w-codense on (X, w). For \(S = \{b, c\}\), \(\psi _{{\mathcal {H}}}(S) = \{a, c\}\), and \(S_{{\mathcal {H}}}^{\star } = X\), i.e., \(S_{{\mathcal {H}}}^{\star } \not \subseteq \psi _{{\mathcal {H}}}(S)\).
Remark 3
The reverse direction of Theorem 10 is true if we assume the following condition: The intersection of any two w-open sets is w-open.
Theorem 11
Let w be a weak structure on X, \({\mathcal {H}}\) be a \(*\)-strongly w-codense hereditary class and \(S \subset X\). Then, \(\psi _{{\mathcal {H}}}(S) = \emptyset\), if \(S \in {\mathcal {H}}\).
Proof
Let \(S \in {\mathcal {H}}\) and \({\mathcal {H}}\) be a \(*\)-strongly w-codense hereditary class, then in view of Lemma 0.1 of [6] and Theorem 10\(\psi _{{\mathcal {H}}}(S) \subset S_{{\mathcal {H}}}^{\star } = X \backslash {{\mathcal {O}}_w}\). Since \(\psi _{{\mathcal {H}}}(S)\) is a w-open set, then from definition of \({{\mathcal {O}}_w}\), \(\psi _{{\mathcal {H}}}(S) = \psi _{{\mathcal {H}}}(S) \cap {{\mathcal {O}}_w} = \emptyset\). \(\square\)
Corollary 3
If \({\mathcal {H}}\) is a \(*\)-strongly w-codense hereditary class on (X, w) and \(X \backslash S \in {\mathcal {H}}\), then \(S_{{\mathcal {H}}}^{\star } = X\).
Example 7
Let X be any nonempty set endowed with the weak structure \(w=\{\emptyset \}\) and any hereditary class \({\mathcal {H}}\). Then, the following hold:
-
(1)
\(\psi _{{\mathcal {H}}}(S) = \emptyset\), for every \(S \subseteq X\).
-
(2)
\({\mathcal {H}}\) is a strongly w-codense hereditary class.
-
(3)
\({\mathcal {H}}\) is a \(*\)-strongly w-codense hereditary class.
Presently, we introduce and study the concepts \(\psi _{{\mathcal {H}}}\)-open, \(\psi _{{\mathcal {H}}}\)-semiopen and \(\psi ^{*}_{{\mathcal {H}}}\)-semiopen sets with some of their properties.
Definition 7
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). A subset S of X is said to be
-
(1)
\(\psi _{{\mathcal {H}}}\)-open (or \(w_{{\mathcal {H}}}^{\star }\)-open), if \(S \subset \psi _{{\mathcal {H}}}(S)\).
-
(2)
\(\psi _{{\mathcal {H}}}\)-semiopen if \(S \subset c_w\psi _{{\mathcal {H}}}(S)\).
-
(3)
\(\psi ^{*}_{{\mathcal {H}}}\)-semiopen if \(S \subset (\psi _{{\mathcal {H}}}(S))^{*}\).
The class of all \(\psi _{{\mathcal {H}}}\)-open (resp. \(\psi _{{\mathcal {H}}}\)-semiopen, \(\psi ^{*}_{{\mathcal {H}}}\)-semiopen) sets in \((X, w, {\mathcal {H}})\) is denoted by \(\psi _{{\mathcal {H}}} O(X, w)\) (resp. \(\psi _{{\mathcal {H}}} SO(X, w)\), \(\psi _{{\mathcal {H}}}^{*} SO(X, w)\)).
We can say that \(\psi ^{*}\) : \((X, w, {\mathcal {H}})\) \(\longrightarrow\) C(X, w), (where C(X, w) is a class of all w-closed sets in (X, w)), is a set operator and it is defined as \(\psi ^{*}(S) = (\psi (S))^{*}\) for \(A \subset X\). Although, Modak and Bandyopadhyay in [17], Modak in [18] and Modak and Islam in [13] have introduced similar types of set \(\psi _{{\mathcal {H}}}\)-semiopen, \(\psi ^{*}_{{\mathcal {H}}}\)-semiopen and the similar type of operator \(\psi ^{*}\) in the ideal topological space.
Lemma 7
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\) and \(S \subset X\). Then,
-
(1)
\(c_w\psi _{{\mathcal {H}}}(S)\) is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(2)
\(\psi _{{\mathcal {H}}}c_w(S)\) is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(3)
Every w-regular closed set is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(4)
X is \(\psi _{{\mathcal {H}}}\)-semiopen.
Proof
-
(1)
Since \(\psi _{{\mathcal {H}}}(S) \subset c_w\psi _{{\mathcal {H}}}(S)\), then \(\psi _{{\mathcal {H}}}(S) \subset \psi _{{\mathcal {H}}}\psi _{{\mathcal {H}}}(S) \subset \psi _{{\mathcal {H}}}c_w\psi _{{\mathcal {H}}}(S)\). Hence, \(c_w\psi _{{\mathcal {H}}}(S) \subset c_w\psi _{{\mathcal {H}}}c_w\psi _{{\mathcal {H}}}(S)\) and so \(c_w\psi _{{\mathcal {H}}}(S)\) is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(2)
From (4) of Theorem 5, \(\psi _{{\mathcal {H}}}c_w(S) \subset \psi _{{\mathcal {H}}}\psi _{{\mathcal {H}}}c_w(S)\). Then, \(\psi _{{\mathcal {H}}}c_w(S) \subset c_w\psi _{{\mathcal {H}}}\psi _{{\mathcal {H}}}c_w(S)\). So \(\psi _{{\mathcal {H}}} c_w(S)\) is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(3)
Let S be a w-regular closed set, then \(S = c_wi_w(S)\). Then, by using Theorem 4 (1), S is \(\psi _{{\mathcal {H}}}\)-semiopen.
-
(4)
Obvious.
\(\square\)
Theorem 12
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \(S \subset G \subset \psi _{{\mathcal {H}}}(S)\), then G is \(\psi _{{\mathcal {H}}}\)-semiopen.
Proof
Let \(S \subset G \subset \psi _{{\mathcal {H}}}(S)\). Since \(S \subset G\), then \(c_w\psi _{{\mathcal {H}}}(S) \subset c_w\psi _{{\mathcal {H}}}(G)\). Hence, \(G \subset \psi _{{\mathcal {H}}}(S) \subset c_w\psi _{{\mathcal {H}}}(S) \subset c_w\psi _{{\mathcal {H}}}(G)\). Therefore, G is \(\psi _{{\mathcal {H}}}\)-semiopen set. \(\square\)
The proof of the following theorem is obvious and then omitted.
Theorem 13
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). Then,
In the next, we give examples which show that the reverse implications are not true.
Example 8
Let \(X = \{a, b, c\}\), \(w = \{\emptyset , \{b\}, \{a, b\}, \{b, c\}\}\) and \({\mathcal {H}} = \{\emptyset , \{b\}\}\). Then,
-
(1)
A set \(S = \{c\}\) is \(\psi _{{\mathcal {H}}}\)-semiopen, but it is not w-semiopen.
-
(2)
A set \(S = \{b\}\) is \(\psi _{{\mathcal {H}}}\)-semiopen, but it is not \(\psi ^{*}_{{\mathcal {H}}}\)-semiopen.
Example 9
Let \(X = \{a, b, c, d\}\), a weak structure \(w = \{\emptyset , \{a, b, c\}, \{a, b\}, \{b, c\}\}\) and \({\mathcal {H}} = \{\emptyset , \{b\}, \{d\}\}\). If \(S = \{a, c, d\}\), then \(\psi _{{\mathcal {H}}}(S) = \{a, b, c\}\) and \(c_w\psi _{{\mathcal {H}}}(S) = X\). Hence, \(\psi _{{\mathcal {H}}}\)-semiopen set may not be \(\psi _{{\mathcal {H}}}\)-open.
The proof of the coming theorems are evident and then omitted.
Theorem 14
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). If \({\mathcal {H}}\) is the class of all w-rare sets, then every \(\alpha\)-w-open set is \(\psi _{{\mathcal {H}}}\)-open.
Theorem 15
Let \({\mathcal {H}}\) be a strongly w-codense hereditary class on (X, w) and S be a w-closed set. If S is \(\psi _{{\mathcal {H}}}\)-open, then \(S = i_w(S)\) and so it is w-semiopen.
Theorem 16
Let \({\mathcal {H}}\) be a strongly w-codense hereditary class on (X, w) and S be a w-open set. Then, every \(\psi _{{\mathcal {H}}}\)-semiopen set is \(\psi ^{*}_{{\mathcal {H}}}\)-semiopen.
Proof
Let S be a \(\psi _{{\mathcal {H}}}\)-semiopen set, then \(S \subset c_w\psi _{{\mathcal {H}}}(S)\). Since \(\psi _{{\mathcal {H}}}(S)\) is a w-open set and \({\mathcal {H}}\) is strongly w-codense, hence by Corollary 2, \(c_w\psi _{{\mathcal {H}}}(S) = (\psi _{{\mathcal {H}}}(S))^{\star }\). So \(S \subset (\psi _{{\mathcal {H}}}(S))^{*}\). \(\square\)
Theorem 17
Let \({\mathcal {H}}\) be a strongly w-codense hereditary class on (X, w) and S be a w-closed set. If S is \(\psi _{{\mathcal {H}}}\)-semiopen, then it is w-\(\beta\)open.
Proof
Let S be a \(\psi _{{\mathcal {H}}}\)-semiopen set, then \(S \subset c_w\psi _{{\mathcal {H}}}(S)\) and so \(S \subset c_w\psi _{{\mathcal {H}}}c_w(S)\). Since S is a w-closed set and \({\mathcal {H}}\) is strongly w-codense, hence \(\psi _{{\mathcal {H}}}(S) = i_w(S)\). Therefore \(S \subset c_wi_wc_w(S)\). \(\square\)
Example 10
In Example 9, \(\{b\}\) is a w-\(\beta\)open set but it is not \(\psi _{{\mathcal {H}}}\)-semiopen.
Theorem 18
Let \({\mathcal {H}}\) be a \(*\)-strongly w-codense hereditary class on (X, w). Then, the following statements hold:
-
(1)
\(\psi _{{\mathcal {H}}}(S) \subset i_wc_w(S)\), for any set S of X.
-
(2)
Every \(\psi _{{\mathcal {H}}}\)-open set is w-\(\beta\)open.
-
(3)
\(\psi _{{\mathcal {H}}}(S) \subset S\), for every w-closed set S.
Proof
Clear. \(\square\)
Remark 4
Let \({\mathcal {H}}\) be a \(*\)-strongly w-codense hereditary class on (X, w). Then, for any set S of X, \(i_w(S) \subset \psi _{{\mathcal {H}}}(S) \subset S_{{\mathcal {H}}}^{\star } \subset c_w(S)\).
Theorem 19
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). Then, a subset S of X is \(\psi _{{\mathcal {H}}}\)-semiopen if there exists w-open set G s.t. \(G \subset S \subset c_{w}(G)\).
Proof
Suppose there exists w-open set G s.t. \(G \subset S \subset c_{w}(G)\). Then, \(G \subset S\) implies that \(c_w\psi _{{\mathcal {H}}}(G) \subset c_w\psi _{{\mathcal {H}}}(S)\). Since G is w-open, then \(S \subset c_w(G) \subset c_w\psi _{{\mathcal {H}}}(G) \subset c_w\psi _{{\mathcal {H}}}(S)\). Therefore, S is \(\psi _{{\mathcal {H}}}\)-semiopen. \(\square\)
Theorem 20
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). Then, the union of \(\psi _{{\mathcal {H}}}\)-semiopen sets is also \(\psi _{{\mathcal {H}}}\)-semiopen.
Proof
Let \(S_{j}\) be \(\psi _{{\mathcal {H}}}\)-semiopen set for \(j \in \jmath\). For each \(j \in \jmath\), \(S_{j} \subset c_w\psi _{{\mathcal {H}}}(S_{j}) \subset c_w\psi _{{\mathcal {H}}}(\cup _{j} S_{j})\). Hence, \(\cup _{j} S_{j}\) is \(\psi _{{\mathcal {H}}}\)-semiopen. \(\square\)
Next example shows that the intersection of two \(\psi _{{\mathcal {H}}}\)-semiopen sets in \((X, w, {\mathcal {H}})\) may not be \(\psi _{{\mathcal {H}}}\)-semiopen.
Example 11
In Example 9, let \(S = \{a, b\}\), \(\acute{S} = \{b, c\}\) be two \(\psi _{{\mathcal {H}}}\)-semiopen sets. Then, \(S \cap \acute{S} = \{b\}\) and \(c_w\psi _{{\mathcal {H}}}(S \cap \acute{S}) = \{d\}\). So the intersection of two \(\psi _{{\mathcal {H}}}\)-semiopen sets is not \(\psi _{{\mathcal {H}}}\)-semiopen.
Corollary 4
Let \((X, w, {\mathcal {H}})\) be a \({\mathcal {H}}wss\). Then, the family of all \(\psi _{{\mathcal {H}}}\)-semiopen sets forms a supra-topology on X.
Conclusion
Diverse topics had appeared as the results of the interaction between topology and life’s problems. One of this topics, studies \(\psi _{{\mathcal {H}}}( . )\)-operator relating the concepts weak structures with hereditary classes, which is useful in generalizing the most basic properties in general topology. As a generalization of w-open sets and w-semiopen sets, certain new kind of sets in a weak structure space via \(\psi _{{\mathcal {H}}}( . )\)-operator called \(\psi _{{\mathcal {H}}}\)-semiopen sets were introduced. Also, via hereditary class \({\mathcal {H}}_{0}\), \(w T_{1}\)-axiom was formulated and also some of their features were examined.
Availability of data and materials
The datasets used and/or analyzed during the current study are available from the corresponding author on reasonable request.
Abbreviations
- wss :
-
Weak structure space
- \({\mathcal {H}}wss\) :
-
Hereditary class weak structure space
- wnbhood:
-
w-neighborhood
References
Ghrist, R.: Elementary Applied Topology, 1st edn. Createspace, Scotts Valley (2014)
Pearl, E.: Open Problems in Topology II. Elsevier, Amsterdam (2007)
Csaszar, A.: Modification of generalized topologies via hereditary classes. Acta Math. Hung. 115(1–2), 29–36 (2007)
Csaszar, A.: Weak structures. Acta Math. Hung. 131(1–2), 193–195 (2011)
Modak, S., Noiri, T.: A Note on Mathematical Structures. Bol. Soc. Paran. Mat. 37(1), 63–69 (2019)
Zahran, A.M., El-Saady, Kamal, Ghareeb, A.: Modification of weak structures via hereditary classes. Appl. Math. Lett. 25(5), 869–872 (2012)
Renukadevi, V., Vimaladevi, P.: Note on generalized topological spaces with hereditary classes. Bol. Soc. Paran. Mat. 32(1), 89–97 (2014)
Al-Omari, A., Modak, S., Noiri, T.: On θ-modifications of generalized topologies via hereditary class. Commun. Korean Math. Soc. 31(4), 857–868 (2016)
Mashhour, A.S., Allam, A.A., Mahmoud, F.S., Kheder, F.H.: On supra topological spaces. Indian J. Pure Appl. Math. 14, 502–510 (1983)
Modak, S.: Dense sets in weak structure and minimal structure. Commun. Korean Math. Soc. 28(3), 589–596 (2013)
Selim, Sk, Islam, Md M., Modak, S.: Common properties and approximations of local function and set operator. Cumhuriyet Sci. J. 41(2), 360–368 (2020). https://doi.org/10.17776/csj.644158
Navaneethakrishnan, M., Thamaraiselvi, S.: On weak structure of Csaszar. Acta Math. Hung. 137(3), 224–229 (2012)
Modak, S., Islam, MdM: On * and ψ operators in topological spaces with ideals. Trans. A. Razmadze Math. Inst. 172, 491–497 (2018)
Modak, S.: Minimal spaces with a mathematical structure. J. Assoc. Arab Univ. Basic Appl. Sci. 22, 98–101 (2017)
Modak, S.: Grill-filter space. J. Indian Math. Soc. 80(3–4), 313–320 (2013)
Zahran, A.M., Mousa, A.K., Ghareeb, A.: Generalized closed sets and some separation axioms on weak structure. Hacettepe J. Math. Stat. 44(3), 669–677 (2015)
Modak, S., Bandyopadhyay, C.: A note on ψ-operator. Bull. Malyas. Math. Sci. Soc. 30(1), 43–48 (2007)
Modak, S.: Some new topologies on ideal topological spaces. Proc. Natl. Acad. Sci. India A 82(3), 233–243 (2012)
Acknowledgements
The authors thank the reviewers for their useful comments that led to the improvement of the original manuscript.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
HMA-D investigated a certain new kind of sets via operators and contributed to the interpretation of the results. RAH conceived of the presented idea, developed operators, verified the theories and corollaries, and was a major contributor in writing the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Abu-Donia, H.M., Hosny, R.A. On \(\psi _{{\mathcal{H}}}( . )\)-operator in weak structure spaces with hereditary classes. J Egypt Math Soc 28, 49 (2020). https://doi.org/10.1186/s42787-020-00107-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s42787-020-00107-2
Keywords
- Weak structures
- \(\psi _{{\mathcal {H}}}( . )\)-operator
- \(wT_{1}\)-spaces
- \(\psi _{{\mathcal {H}}}\)-semiopen sets