Veronica Vijayan, Associate Professor, Nirmala College, Coimbatore
Veronica Vijayan, Associate Professor, Nirmala College, Coimbatore
Veronica Vijayan, Associate Professor, Nirmala College, Coimbatore
_____________________________________________________________________________
Abstract : In this research paper we introduce a new class of sets namely, * -closed sets.
Applying these sets, the authors introduce four new classes of space namely, T * spaces, gT*
spaces, gsT* spaces and gT spaces. Further the authors introduce *continuous maps and
*irresolute maps.
Key words : * -closed sets; *continuous maps; *irresolute maps; T* spaces; gT* spaces;
*
gsT spaces and gT spaces.
_____________________________________________________________________________
1.INTRODUCTION
In 1970, Levine [10] first introduced the concept of generalized closed (briefly,g-closed)sets as a
generalization of closed sets in topological spaces. S.P.Arya and T.Nour [3] defined gs-closed
sets in 1990. Dontchev [9] introduced gsp-closed sets. Maki et.al.[13] defined g-closed sets
in1994. Levine [11], Mashhour et.al. [16] introduced semi-open sets, preopen sets respectively.
Maki et.al. [13] introduced g-closed sets. S.N.Maheshwari and P.C.Jain [12] introduced and
investigated -closed sets.
The purpose of this paper is to introduce the concept of *-closed sets, T* spaces, gT* spaces,
*
gsT spaces and gT spaces and investigate some of their properties.
2. PRELIMINARIES
Definition: 2.1 - A subset A of a topological space (X, ) is called,
i.
ii.
iii.
iv.
a pre open set [16] if A int (Cl (A)) and a pre closed set if Cl (int(A)) A.
a semi-open set [10] if A Cl (int (A)) and a semi-closed set if int (Cl (A)) A.
an -open set [17] if A int (Cl (int (A))) and an -closed if Cl (int ( Cl (A))) A.
a semi-preopen set [1] if A Cl (int(Cl (A))) and a semi-preclosed set if
int (Cl (int (A))) A.
The intersection of all semi-closed (resp. Pre-closed, semi-preclosed and
-closed) sets containing a subset A of (X, ) is called the semi-closure (resp. pre-closure,
Page 49
semi-pre-closure and -closure) of A and is denoted by Scl(A) (resp. Pcl(A), Spcl(A) and
cl(A)).
Definition: 2.2 - A subset A of a topological space (X, ) is called,
i.
ii.
iii.
iv.
v.
vi.
vii.
viii.
(Y, ) is called
1. an -continuous [13] if f-1(V) is an -closed set of (X, ) for every closed set V of (Y, ).
2. a g-continuous [4] if f-1(V) is an g-closed set of (X, ) for every closed set V of (Y, ).
3. an g-continuous [10] if f-1(V) is an g-closed set of (X, ) for every closed set V of
(Y, ).
4. a gs-continuous [8] if f-1(V) is a gs-closed set of (X, ) for every closed set V of (Y, ).
5. a gsp-continuous [9] if f-1(V) is a gsp-closed set of (X, ) for every closed set V of
(Y, ).
6. a gp-continuous [2] if f-1(V) is a gp-closed set of (X, ) for every closed set V of (Y, ).
7. a strongly g -continuous [18] if f-1(V) is a strongly g -closed set of (X, ) for every closed
set V of (Y, ).
Page 50
8. a gs-irresolute [8] if f-1(V) is an gs-closed set of (X, ) for every gs-closed set V of
(Y, ).
9. an g-irresolute [6] if f-1(V) is an g-closed set of (X, ) for every g-closed set V of
(Y, ).
3. BASIC PROPERTIES OF *-CLOSED SETS
We introduce the following definition
Definition 3.1 - A subset A of a topological space (X,) is called a *-closed set if Cl(A) U
whenever A U and U is -open in X.
Theorem 3.2 - Every closed set is a *-closed set.
The following example supports that an *-closed set need not be closed in general.
Example 3.3 - Let X= { a,b,c }, = { , X, {a,b} }. Let A = {a,c}. A is a *-closed set but not a
closed set of (X,).
So the class of *-closed sets properly contains the class of closed sets. Next we show
that the class of *-closed sets is properly contained in the class of g-closed sets.
Theorem 3.4 - Every *-closed set is a g-closed set.
The converse of the above theorem is not true in general as it can be seen from the
following example.
Example 3.5 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. B = {a,b} is g-closed but not *-closed
in (X,).
Theorem 3.6 - Every *-closed set is a gs-closed set.
The reverse implication does not hold as it can be seen from the following example.
Example 3.7 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. C = {a,b} is gs-closed but not *-closed
in (X,).
Theorem 3.8 - Every *-closed set is a gp-closed set.
The converse of the above theorem is not true in general as it can be seen from the
following example.
Example 3.9 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. D = {a,b} is gp-closed but not
*-closed in (X,).
Theorem 3.10 - Every *-closed set is a g-closed set.
Page 51
The converse of the above theorem is not true in general as it can be seen from the
following example.
Example 3.11 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. E = {c} is g-closed but not *-closed
in (X,).
Theorem 3.12 - Every *-closed set is a g -closed set.
The reverse implication does not hold as it can be seen from the following example
Example 3.13 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. F = {c} is g -closed but not *-closed
in (X,).
Theorem 3.14 - Every *-closed set is a gsp -closed set.
The converse of the above theorem is not true in general as it can be seen from the
following example.
Example 3.15 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. G = {a,b} is gsp -closed but not
*-closed in (X,).
Theorem 3.16 - Every *-closed set is a strongly g closed set.
The converse of the above theorem is not true in general as it can be seen from the
following example
Example 3.17 - Let X= { a,b,c }, = { , X, {a}, {a,c} }. H = {a,b} is strongly g-closed but not
*-closed in (X,).
Remark 3.18 - *-closedness is independent from -closedness
Let (X, ) be as in the example 3.5. Let B = {c}.Then B is -closed but not *-closed.
Let (X, ) be as in the example 3.3. Let B = {a,c}. Then B is *-closed but not -closed.
Remark 3.19 - If A and B are *-closed sets, then AB is also a *-closed set.
The result follows from the fact that Cl(AB) = Cl(A) Cl(B).
Theorem 3.20 - If A is both -open and *-closed in (X, ), then A is a closed set.
Theorem 3.21 - A is an *-closed set of (X, ) if and only if Cl(A)\A does not contain any nonempty -closed set.
Proof : Necessity - Let F be a -closed set of (X, ) such that F Cl(A)\A. Then A X\F. Since
A is an *-closed set and X\F is -open such that A X\F. Then Cl(A) X\F. This implies
F X\Cl(A). So F (X\Cl(A) (Cl(A)\A). Therefore F =
Page 52
Sufficiency - Let A be a subset of (X, ) such that Cl(A)\A does not contain any nonempty -closed set. Let U be a -open set of (X, ) such that A U. If Cl(A) U, then
Cl(A) UC and Cl(A) UC is -closed. Then Cl(A) UC Cl(A)\A. So Cl(A)\A
contains a non-empty -closed set which is a contradiction. This implies Cl(A) U. Therefore A
is an *-closed set .
Theorem 3.22 - If A is an *-closed set of (X, ) such that A B Cl(A), then B is an
*-closed set of (X, ).
PROOF : Let U be a -open set such that B U, then A B U. Since A is an *-closed set,
Cl(A) U. Now B Cl(A) implies Cl(B) Cl(A) U. This implies Cl(B) U. Therefore B is
an *-closed set of (X, ).
3.23 Thus we have the following diagram.
gp closed
gs closed
g closed
gsp closed
* closed
closed
g closed
closed
g closed
strongly g-closed
gT
gT
Page 55
Proof : Necessity - Let (X,) be both a gT* space and a T* space. Let A be a g-closed set.
Then A is *-closed, since (X,) is a gT* space and A is closed, since (X,) is a T * space.
Therefore (X,) is a Tb space
Sufficiency - Let (X,) be a Tb space. By theorem 4.14, (X,) is a gT* space. By theorem 4.8,
(X,) is a T* space. Hence (X,) is both a gT* space and a T* space.
Remark 4.22 - gsT* space and T* space are independent as it can be seen from the next two
examples.
Example 4.23 - Let X = {a,b,c}, = { , X , {c} , {b,c} } (X, ) is a T* space, since every
*-closed set is closed. A = {b} is gs-closed but not *-closed and hence (X, ) is not a gsT *
space. Therefore (X, ) is a T* space but not a gsT* space.
Example 4.24 - Let X={a,b,c}, = {, X, {a},{b,c}}. (X, ) is a gsT* space, since every
gs-closed set is *-closed. But A = {b} is *-closed and not closed and hence (X, ) is not a T *
space. Therefore (X, ) is a gsT* space but not a T*space.
Remark 4.25 examples.
gT
space and T* space are independent as it can be seen from the next two
Example 4.26 - Let (X,) be as in the example 4.23. (X, ) is a T * space since every *-closed
set in it is closed. But A = {b} is g-closed but not *-closed and hence (X, ) is not a gT *
space. Therefore (X, ) is a T* space but not a gT* space.
Example 4.27 - Let (X,) be as in the example 4.24. From example 4.12 and example 4.15,
every g-closed set is *-closed. So (X, ) is a gT* space. But A={b} is *-closed but not
closed. Hence (X, ) is not a T*space. Therefore (X, ) is a gT* space but not a T*space.
Remark 4.28 - gT* space and T* space are independent as it can be seen from the next two
examples.
Example 4.29 - Let (X,) be as in the example 4.23. (X, ) is a T* space since every *-closed
set in it is closed. But A = {a,c} is g-closed and not *-closed and hence (X, ) is not a gT*
space. Therefore (X, ) is a T* space but not a gT* space.
Example 4.30 - Let (X,) be as in the example 4.24. From example 4.12 and example 4.18,
every g-closed set is *-closed. So (X, ) is a gT* space. But A={b} is *-closed but not closed.
Hence (X, ) is not a T*space. Therefore (X, ) is a gT* space but not a T*space.
4.31 Thus we have the following diagram
Page 56
Tb space
gT
space
T*space
Tb space
gsT
space
gT
space
T1/2 space
since f-1(V) is a g-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {b,c} is a closed set of (Y, ) but g-1({b,c}) = {a,c} is not *-closed.
Example 5.6 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = b, g(b) = c, g(c) = a. The mapping g is g-continuous
-1
since f (V) is a g-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {c} is a closed set of (Y, ) but g-1({c}) = {b} is not *-closed.
Example 5.7 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = c, g(b) = a, g(c) = b. The mapping g is gsp-continuous
-1
since f (V) is a gsp-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {b,c} is a closed set of (Y, ) but g-1({b,c}) = {a,c} is not *-closed.
Example 5.8 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = c, g(b) = a, g(c) = b. The mapping g is gp-continuous
-1
since f (V) is a gp-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {b,c} is a closed set of (Y, ) but g-1({b,c}) = {a,c} is not *-closed.
Example 5.9 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = b, g(b) = c, g(c) = a. The mapping g is gs-continuous
-1
since f (V) is a gs-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {c} is a closed set of (Y, ) but g-1({c}) = {b} is not *-closed.
Example 5.10 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = b, g(b) = c, g(c) = a. The mapping g is g-continuous
-1
since f (V) is a g-closed set of (X, ) for every closed set V of (Y, ). g is not *-continuous
since {c} is a closed set of (Y, ) but g-1({c}) = {b} is not *-closed.
Example 5.11 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a} , {a,b} }.
Define g : (X, )
(Y, ) by g(a) = c, g(b) = a, g(c) = b. The mapping g is
strongly g -continuous since f-1(V) is a strongly g-closed set of (X, ) for every closed set V of
(Y, ). g is not *-continuous since {b,c} is a closed set of (Y, ) but g-1({b,c}) = {a,c} is not
*-closed.
Definition 5.12 - A function f : (X, )
(Y, ) is called *-irresolute if f-1(V) is a *-closed
set of (X, ) for every *-closed set V of (Y, ).
Theorem 5.13 - Every *-irresolute function is *-continuous.
Proof: Let f : (X, )
(Y, ) be an *-irresolute. Let V be a closed set of (Y, ).Every
closed set is *-closed. Therefore V is *-closed. Then f-1(V) is *-closed since f is *-irresolute
and hence f is *-continuous
Page 58
The converse of the above theorem is not true in general as it can be seen from the
following example.
Example 5.14 - Let X = Y = {a,b,c}, = { , X , {c} , {b,c} } and = { , X , {a,b} }.Define
g : (X, )
(Y, ) by g(a) = c, g(b) = a, g(c) = b. g -1({c}) = {a} is *-closed in (X, ) and
hence g is *-continuous
g-1({b,c}) = {a,c} is not *-closed in (X, ) and hence g is not *-irresolute.
Theorem 5.15 - Let (X, ) be a T* space and f : (X, )
continuous.
Proof: Let A be a *-closed set in Y. Then A is closed, since (Y, ) is a T* space. f-1(A) is
closed, since f is continuous. Every closed set is *-closed. Therefore f is *-irresolute.
Theorem 5.17 - Let (Y, ) be a gT* space and f : (X, )
g-irresolute.
Proof: Let A be a g-closed set in Y. Then A is *-closed, since (Y, ) is a gT* space. f-1(A) is
*-closed, since f is *-irresolute. Every *-closed set is g-closed. Therefore f is g-irresolute.
Theorem 5.18 - Let (Y, ) be a gsT* space and f : (X, )
gs-irresolute.
Proof: Let A be a gs-closed set in Y. Then A is *-closed, since (Y, ) is a gsT* space. f-1(A) is
*-closed, since f is *-irresolute. Every *-closed set is gs-closed. Hence f-1(A) is gs-closed and
therefore f is gs-irresolute.
References
[1] Andrijevic.D, Semi-preopen sets, Mat. Vesnik, 38(1)(1986), 24-32.
[2] Arokiarani.I, Balachandran.K and Dontchev.J, Some characteristics of gp-irresolute and
gp-continuous maps between topological spaces, Mem. Fac. Sci. Kochi. Univ. Ser. A.
Math., 20(1999), 93-104.
[3] Arya.S.P and Nour.T, Characterizations of s-normal spaces, Indian J. Pure. Appl. Math.,
21(8)(1990), 717-719
Page 59
[17] Njastad.O, On some classes of nearly open sets, Pacific J. Math., 15(1965),961-970.
[18] Pauline Mary Helen, Veronica Vijayan, Ponnuthai Selvarani, Punitha Tharani,
Strongly g-closed sets and Strongly g**-closed sets, IJMA., 3(8)(2012),3108-3112.
Page 60