Translate this page into:
On s-weakly gw-closed sets in w-spaces
-
Received: ,
Accepted: ,
This article was originally published by Elsevier and was migrated to Scientific Scholar after the change of Publisher.
Peer review under responsibility of King Saud University.
Abstract
The purpose of this note is to introduce the notion of s-weakly gw-closed set in w-spaces and to study its some basic properties. In particular, the relationships among wg-closed sets, w-semi-closed sets and s-weakly g-closed sets are investigated.
Keywords
gw-closed
Weakly gw-closed
s-weakly gw-closed
Introduction
In (Siwiec, 1974), the author introduced the notions of weak neighborhoods and weak base in a topological space. We introduced the weak neighborhood systems defined by using the notion of weak neighborhoods in (Min, 2008). The weak neighborhood system induces a weak neighborhood space which is independent of neighborhood spaces (Kent and Min, 2002) and general topological spaces (Csázár, 2002). The notions of weak structure and w-space were investigated in (Kim and Min, 2015). In fact, the set of all g-closed subsets (Levine, 1970) in a topological space is a kind of weak structure. We introduced the notion of gw-closed set in (Min and Kim, 2016a) and some its basic properties. In (Min, 2017), we introduced and studied the notion of weakly gw-closed sets for the sake of extending the notion of gw-closed sets in w-spaces. The purpose of this note is to extend the notion of gw-closed sets in w-spaces in a different way than the notion of weakly gw-closed sets. So, we introduce the new notion of s-weakly gw-closed sets in weak spaces, and investigate its properties. In particular, the relationships among weakly wg-closed sets, w-semi-closed sets and s-weakly g-closed sets are investigated.
Preliminaries
Let S be a subset of a topological space X. The closure (resp., interior) of S will be denoted by clS (resp., intS). A subset S of X is called a pre-open (Mashhour et al., 1982) (resp., -open (Njastad, 1964), semi-open (Levine, 1963)) set if (resp., . The complement of a pre-open (resp., -open, semi-open) set is called a pre-closed (resp., -closed, semi-closed) set. The family of all pre-open (resp., -open, semi-open) sets in X will be denoted by (resp., ). The -interior of a subset A of X is the union of all regular open sets of X contained in A and it is denoted by (Velicko, 1968). A subset A is called if . The complement of a is called . The of a set A in a space is defined by and it is denoted by . A subset A of a space is said (Ekici, 2008) if and if . And A is said -open (Ekici and Jafari, 2010) if for every , there exists an open subset containing x such that is countable. The family of all a-open (resp., -open) sets in X will be denoted by (resp., ).
A subset A of a topological space is said to be:
-
g-closed (Levine, 1970) if whenever and U is open in X;
-
gp-closed (Noiri et al., 1998) if whenever and U is open in X;
-
gs-closed (Arya and Nori, 1990) if whenever and U is open in X;
-
-closed (Maki et al., 1994) if whenever and U is -open in X where ;
And the complement of a g-closed (resp., gp-closed, gs-closed, -closed) set is called a g-open (resp., gp-open, gs-open, -open) set. The family of all g-open (resp., gp-open sets, gs-open, -open) sets in X will be denoted by (resp., ).
Let X be a nonempty set. A subfamily of the power set is called a weak structure (Kim and Min, 2015) on X if it satisfies the following:
and .
For .
Then the pair is called a w-space on X. Then is called a w-open set and the complement of a w-open set is a w-closed set.
Then the family and are all weak structures on X. But and are not weak structures on X.
Let be a w-space. For a subset A of X, the w-closure of A and the w-interior (Kim and Min, 2015) of A are defined as follows:
.
.
[Kim and Min, 2015] Let be a w-space and .
if and only if there exists an element such that .
if and only if for all .
If , then .
.
If A is w-closed (resp., w-open), then (resp., ).
Let be a w-space and . Then A is called a generalized w-closed set (simply, gw-closed set) (Min and Kim, 2016a) if , whenever and U is w-open. If the -structure is a topology, the generalized w-closed set is exactly a generalized closed set in sense of Levine in (Levine, 1970). Obviously, every w-closed set is generalized w-closed, but in general, the converse is not true.
And A is called a weakly generalized w-closed set (simply, weakly gw-closed set) (Min, 2017) if whenever and U is w-open. Obviously, every gw-closed set is weakly gw-closed. In (Min, 2017), we showed that every w-pre-closed set (Min and Kim, 2016b) is weakly gw-closed.
Main results
Now, we introduce an extended notion of gw-closed sets in w-spaces as the following:
Let be a w-space and . Then A is said to be s-weakly generalized w-closed (simply, s-weakly gw-closed) if whenever and U is w-open.
Obviously, the next theorem is obtained:
Every gw-closed set is s-weakly g-closed.
In general, the converse of the above theorem is not true. Furthermore, there is no any relation between s-weakly gw-closed sets and weakly gw-closed sets as shown in the examples below:
Let and be a weak structure in X. For a w-open set , note that and . So A is s-weakly gw-closed but not gw-closed. And since is also not weakly gw-closed.
For , let be a structure in X. Consider . Then since , obviously A is weakly gw-closed. For a w-open set with . So A is not s-weakly gw-closed.
In general, the intersection as well as the union of two s-weakly gw-closed sets is not s-weakly gw-closed as shown in the next examples:
For , let be a weak structure in X.
Let us consider and . Note that and . Then we know that A and B are all s-weakly gw-closed sets but the union is not s-weakly gw-closed.
Consider two s-weakly gw-closed sets and . Then is not s-weakly gw-closed in the above (1).
Let be a w-space. Then every w-semi-closed set is s-weakly gw-closed.
Let A be a w-semi-closed set and U be a w-open set containing A. Since , obviously it satisfies . It implies that A is s-weakly gw-closed. □
In (2) of Example 3.6, the s-weakly gw-closed set is not w-semi-closed. So, the converse of the above theorem is not always true.
From the above theorems and examples, the following relations are obtained:
Let X be a nonempty set. Then a family of subsets of X is called a minimal structure (Maki, 1996) if .
Let be a w-space. Then the family of all s-weakly gw-closed sets is a minimal structure in X.
[Kim and Min, 2015] Let be a w-space and . Then the following things hold:
(1) .
(2) .
Let X be a w-space and . Then A is said to be w-semi-open (resp., w-semi-closed) (Min and Kim, 2016c) if (resp., ).
Let be a w-space. Then for is w-semi-closed.
From Lemma 3.10 and Theorem 2.1, .
So, is w-semi-closed. □
Let be a w-space and . If F is any w-semi-closed set such that , then .
Let F be a w-semi-closed set with . Then , and so . □
Let be a w-space. For , the w-semi-closure (Min and Kim, 2016c) of A, denoted by , is defined as:
.
Let be a w-space. Then for .
It is obtained from Lemma 3.11 and Lemma 3.12. □
Finally, we have the following theorem:
Let be a w-space and . Then A is s-weakly wg-closed if and only if whenever and U is w-open.
Let A be an s-weakly gw-closed subset of X and let U be any w-open set such that . Then and . So, by Theorem 3.13, .
For , suppose that whenever and U is w-open. Let U be any w-open set with . Then from hypothesis and Theorem 3.13, . Hence, A is s-weakly gw-closed. □
Recall that: Let X be a topological space and . Then A is call a gs-closed set (Arya and Nori, 1990) if whenever and U is open.
Let be a w-space and . If is a topology, then the following thing hold: A is gs-closed if and only if whenever and U is open.
From , whenever and U is open if and only if whenever and U is open. So, this theorem is obtained. □
Let be a w-space. Then if A is an s-weakly gw-closed set, then contains no any non-empty w-closed set.
For an s-weakly gw-closed set A, let F be a w-closed subset such that . Then and is w-open. Since A is s-weakly gw-closed, . From the facts, and , and so . □
In general, the converse in Theorem 3.16 is not true as shown in the next example.
Let and a weak structure in X. For and . So, we know that there is no any nonempty w-closed set contained in . But A is not s-weakly gw-closed.
Let be a w-space. Then if A is an s-weakly gw-closed set, then contains no any non-empty w-closed set.
Since , by Theorem 3.16, the statement is satisfied. □
Let be a w-space. Then if A is an s-weakly gw-closed set and , then B is s-weakly gw-closed.
Let U be any w-open set such that . By hypothesis, obviously . Since A is s-weakly gw-closed and . So B is s-weakly gw-closed. □
Let be a w-space. Then if A is an s-weakly gw-closed set and , then B is s-weakly gw-closed.
From . By Theorem 3.19, the corollary is obtained. □
From now on, we introduce the notion of s-weakly gw-open sets and study its basic properties.
Let be a w-space and . Then A is called an s-weakly generalized open set (simply, s-weakly gw-open set) if is s-weakly gw-closed.
Let be a w-space and . Then A is s-weakly gw-open if and only if whenever and F is w-closed.
Obvious. □
From Theorem 3.13, the following is easily obtained:
Let be a w-space. Then for , .
Let be a w-space and . Then A is s-weakly gw-open if and only if whenever and F is w-closed.
For an s-weakly gw-open subset A of X, let F be a w-closed set such that . Then . Since , by Theorem 3.23, .
For , suppose that whenever and F is w-closed. If F is any w-closed set and , then by hypothesis and Theorem 3.23, , and so . Hence, A is s-weakly gw-open. □
Let be a w-space and . Then if A is s-weakly gw-open, then , whenever and U is w-open.
Let U be any w-open set and . Then . Since is s-weakly gw-closed, by Theorem 3.16, the w-closed set must be empty. Hence, . □
Let be a w-space and . Then if A is s-weakly gw-open, then , whenever and U is w-open.
Since , by the above theorem, it is obtained. □
Let be a w-space. Then if A is an s-weakly gw-open set and , then B is s-weakly gw-open.
It is similar to the proof of Theorem 3.19 and Corollary 3.20. □
Let be a w-space. Then if A is an s-weakly gw-closed set, then is s-weakly gw-open.
If A is an s-weakly gw-closed set, then by Theorem 3.12, is the only one w-closed subset of . So, . Hence, is s-weakly gw-open. □
Let be a w-space. Then if A is an s-weakly gw-closed set, then is s-weakly gw-open.
From , it is obtained. □
Let be a w-space. Then if A is an s-weakly gw-open set, then is s-weakly gw-closed.
If A is an s-weakly gw-open set, then by Theorem 3.25, X is the only one w-open set containing . So, obviously, is s-weakly gw-closed. □
Let be a w-space. Then if A is an s-weakly gw-open set, then is s-weakly gw-closed.
It follows from and Theorem 3.30. □
Acknowledgments
The author is thankful to the referee for his/her useful suggestions.
References
- Generalized topology, generalized continuity. Acta Math. Hung.. 2002;96(4):351-357.
- [Google Scholar]
- On a-open sets, -sets and decompositions of continuity and super-continuity. Ann. Univ. Sci. Budapest. 2008;51:39-51.
- [Google Scholar]
- On a new topology and decompositions of continuity. Int. J. Math. Game Theory Algebra. 2010;19(1/2):129-141.
- [Google Scholar]
- Semi-open sets and semi-continuity in topological spaces. Am. Math. Mon.. 1963;70:36-41.
- [Google Scholar]
- Associated topologies of generalized -closed sets and -generalized closed sets. Mem. Fac. Sci. Kochi Univ. Ser. A. Math.. 1994;15:51-63.
- [Google Scholar]
- On generalizing semi-open and preopen sets, Report for Meeting on Topological Spaces Theory and its Applications, August 1996. Yatsushiro College of Technology; 1996. 13-18
- On precontinuous and weak precontinuous mappings. Proc. Math. Phys. Soc. Egypt. 1982;53:47-53.
- [Google Scholar]
- On generalized w-closed sets in w-spaces. Int. J. Pure Appl. Math.. 2016;110(2):327-335.
- [Google Scholar]
- w-preopen sets and W-precontinuity in weak spaces. Int. J. Math. Anal.. 2016;10(21):1009-1017.
- [Google Scholar]
- w-semiopen sets and W-semicontinuity in weak spaces. Int. J. Pure Appl. Math.. 2016;110(1):49-56.
- [Google Scholar]