, sp)-continuous functions
CHOKCHAI VIRIYAPONG
Mathematics and Applied Mathematics Research Unit
Department of Mathematics, Faculty of Science, Mahasarakham University
Maha Sarakham, 44150
THAILAND
CHAWALIT BOONPOK
Mathematics and Applied Mathematics Research Unit
Department of Mathematics, Faculty of Science, Mahasarakham University
Maha Sarakham, 44150
THAILAND
Abstract: This paper deals with the concept of , sp)-continuous functions. Moreover, several characterizations
of , sp)-continuous functions are investigated.
Key–Words: , sp)-open set, , sp)-closed set, , sp)-continuous function
Received: July 27, 2021. Revised: April 25, 2022. Accepted: May 27, 2022. Published: June 15, 2022.
1 Introduction
The field of the mathematical science which goes
under the name of topology is concerned with all
questions directly or indirectly related to continuity.
Stronger and weaker forms of open sets play an im-
portant role in the researches of generalizations of
continuity. In 1968, Singal and Singal [15] intro-
duced and studied the notion of almost continuous
functions as a generalization of continuity. Levine
[8] introduced the concept of weakly continuous func-
tions as a generalization of almost continuity. In
1983, Abd El-Monsef et al. [1] introduced and in-
vestigated the concept of β-continuous functions as a
generalization of semi-continuity [7] and percontinu-
ity [11]. Bors´
ık and Doboˇ
s [4] introduced the notion
of almost quasi-continuity which is weaker than that
of quasi-continuity [10] and obtained a decomposi-
tion theorem of quasi-continuity. Popa and Noiri [13]
investigated some characterizations of β-continuity
and showed that almost quasi-continuity is equiva-
lent to β-continuity. The equivalence of almost quasi-
continuity and β-continuity is also shown by Bors´
ık
[3] and Ewert [6]. In 2004, Noiri and Hatir [12] in-
troduced the notion of Λsp-sets in terms of β-open
sets and investigated the notion of Λsp-closed sets by
using Λsp-sets. In [2], the present author introduced
and studied the concepts of , sp)-closed sets and
, sp)-open sets. The purpose of the present paper
is to introduce the notion of , sp)-continuous func-
tions. Moreover, several characterizations of , sp)-
continuous functions are discussed.
2 Preliminaries
Throughout this paper, the spaces (X, τ )and (Y, σ)
(or simply Xand Y) always mean topological spaces
on which no separation axioms are assumed unless
explicitly stated. For a subset Aof a topological
space (X, τ ), Cl(A)and Int(A)represent the clo-
sure of Aand the interior of A, respectively. A sub-
set Aof a topological space (X, τ)is called β-open
[1] if ACl(Int(Cl(A))). The complement of a
β-open set is called β-closed. The family of all β-
open sets in a topological space (X, τ)is denoted by
β(X, τ ). Let Abe a subset of a topological space
(X, τ). A subset Λsp(A)[12] is defined as follows:
Λsp(A) = ∩{U|AU, U β(X, τ )}.
Lemma 1. [12] For subsets A,Band Aα(α )of
a topological space (X, τ ), the following properties
hold:
(1) AΛsp(A).
(2) If AB, then Λsp(A)Λsp(B).
(3) Λspsp(A)) = Λsp(A).
(4) If Uβ(X, τ ), then Λsp(U) = U.
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
380
Volume 21, 2022
(5) Λsp(∩{Aα|α ∇}) ∩{Λsp(Aα)|α ∇}.
(6) Λsp(∪{Aα|α ∇}) = ∪{Λsp(Aα)|α ∇}.
A subset Aof a topological space (X, τ)is called
aΛsp-set [12] if A= Λsp(A). The family of all
Λsp-sets of (X, τ )is denoted by Λsp(X, τ )(or sim-
ply Λsp).
Lemma 2. [12] For subsets Aand Aα(α )of
a topological space (X, τ ), the following properties
hold:
(1) Λsp(A)is a Λsp-set.
(2) If Ais β-open, then Ais a Λsp-set.
(3) If Aαis a Λsp-set for each α , then α∈∇Aα
is a Λsp-set.
(4) If Aαis a Λsp-set for each α , then α∈∇Aα
is a Λsp-set.
Lemma 3. [12] For a topological space (X, τ ), put
τΛsp ={G|GΛsp(X, τ )}.
Then, the pair (X, τΛsp )is an Alexandroff space.
A subset Aof a topological space (X, τ)is called
, sp)-closed [2] if A=TC, where Tis a Λsp-
set and Cis a β-closed set. The complement of a
, sp)-closed set is called , sp)-open. The collec-
tion of all , sp)-closed (resp. , sp)-open) sets in
a topological space (X, τ)is denoted by ΛspC(X, τ )
(resp. ΛspO(X, τ )).
Lemma 4. Every Λsp-set (resp. β-closed set) is
, sp)-closed.
Let Abe a subset of a topological space (X, τ).
A point xXis called a , sp)-cluster point [2] of
Aif AU=for every , sp)-open set Uof X
containing x. The set of all , sp)-cluster points of
Ais called the , sp)-closure of Aand is denoted by
A,sp).
Lemma 5. [2] Let Aand Bbe subsets of a topologi-
cal space (X, τ). For the , sp)-closure, the follow-
ing properties hold:
(1) AA,sp)and [A,sp)],sp)=A,sp).
(2) If AB, then A,sp)B,sp).
(3) A,sp)is , sp)-closed.
(4) Ais , sp)-closed if and only if A=A,sp).
Let Abe a subset of a topological space (X, τ).
The union of all , sp)-open sets contained in Ais
called the , sp)-interior [2] of Aand is denoted by
A,sp).
Lemma 6. [2] For subsets Aand Bof a topological
space (X, τ ), the following properties hold:
(1) A,sp)Aand [A,sp)],sp)=A,sp).
(2) If AB, then A,sp)B,sp).
(3) A,sp)is , sp)-open.
(4) Ais , sp)-open if and only if A,sp)=A.
(5) [XA],sp)=XA,sp).
(6) [XA],sp)=XA,sp).
3 Some characterizations of , sp)-
continuous functions
In this section, we introduce the concept of , sp)-
continuous functions. Moreover, several characteriza-
tions of , sp)-continuous functions are discussed.
Definition 7. A function f: (X, τ )(Y, σ)is said
to be , sp)-continuous at a point xXif, for each
, sp)-open set Vof Ycontaining f(x), there ex-
ists a , sp)-open set Uof Xcontaining xsuch that
f(U)V. A function f: (X, τ )(Y, σ)is said
to be , sp)-continuous if fhas this property at each
point of X.
Theorem 8. For a function f: (X, τ )(Y, σ), the
following properties are equivalent:
(1) fis , sp)-continuous at xX;
(2) x[f1(V)],sp)for every , sp)-open set V
of Ycontaining f(x);
(3) xf1([f(A)],sp))for every subset Aof X
with xA,sp);
(4) xf1(B,sp))for every subset Bof Ywith
x[f1(B)],sp);
(5) x[f1(B)],sp)for every subset Bof Ywith
xf1(B,sp));
(6) xf1(F)for every , sp)-closed set Fof Y
with x[f1(F)],sp).
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
381
Volume 21, 2022
Proof. (1) (2): Let Vbe any , sp)-open set of Y
containing f(x). By (1), there exists a , sp)-open
set Uof Xcontaining xsuch that f(U)V. Thus,
Uf1(V)and hence x[f1(V)],sp).
(2) (3): Let Abe any subset of X,xA,sp)
and let Vbe any , sp)-open set of Ycontaining
f(x). By (2), we have x[f1(V)],sp)and there
exists a , sp)-open set Uof Xsuch that xU
f1(V). Since xA,sp), we have UA=and
=f(UA)f(U)f(A)Vf(A).
Thus, f(x)[f(A)],sp)and hence
xf1([f(A)],sp)).
(3) (4): Let Bbe any subset of Yand let
x[f1(B)],sp).
By (3), we have xf1([f(f1(B))],sp))
f1(B,sp))and hence xf1(B,sp)).
(4) (5): Let Bbe any subset of Ysuch that
x∈ [f1(B)],sp). Then, xX[f1(B)],sp)=
[Xf1(B)],sp)= [f1(YB)],sp). By (4),
xf1([YB],sp)) = f1(YB,sp))
=Xf1(B,sp)).
Thus, x∈ f1(B,sp)).
(5) (6): Let Fbe any , sp)-closed set of Y
such that x∈ f1(F). Then, xXf1(F) =
f1(YF) = f1([YF],sp)), by (5),
x[f1(YF)],sp)= [(Xf1(F)],sp)
=X[f1(F)],sp)
and hence x∈ [f1(F)],sp).
(6) (2): Let Vbe any , sp)-open set of Y
containing f(x). Suppose that x∈ [f1(V)],sp).
Then,
xX[f1(V)],sp)= [Xf1(V)],sp)
= [f1(YV)],sp).
By (6),xf1(YV) = Xf1(V)and hence
x∈ f1(V). This contraries to the hypothesis.
(2) (1): Let xXand let Vbe any , sp)-
open set of Ycontaining f(x). By (2), we have
x[f1(V)],sp)
and there exists a , sp)-open set Uof Xcontaining
xsuch that Uf1(V). Thus, f(U)Vand hence
fis , sp)-continuous at x.
Theorem 9. For a function f: (X, τ )(Y, σ), the
following properties are equivalent:
(1) fis , sp)-continuous;
(2) f1(V)is , sp)-open in Xfor every , sp)-
open set Vof Y;
(3) f(A,sp))[f(A)],sp)for every subset Aof
X;
(4) [f1(B)],sp)f1(B,sp))for every subset
Bof Y;
(5) f1(B,sp))[f1(B)],sp)for every subset
Bof Y;
(6) f1(F)is , sp)-closed in Xfor every , sp)-
closed set Fof Y.
Proof. (1) (2): Let Vbe any , sp)-open set of
Ysuch that xf1(V). Then, f(x)Vand there
exists a , sp)-open set Uof Xcontaining xsuch
that f(U)V. Thus, Uf1(V)and hence
x[f1(V)],sp).
(2) (3): Let Abe any subset of X,xA,sp)
and let Vbe any , sp)-open set of Ycontaining
f(x). Then, x[f1(V)],sp)and there exists a
, sp)-open set Uof Xsuch that xUf1(V).
Since xA,sp), we have UA=and
=f(UA)f(U)f(A)Vf(A).
Thus, f(x)[f(A)],sp).
(3) (4): Let Bbe any subset of Y. By
(3),f([f1(B)],sp))[f(f1(B))],sp). Thus,
[f1(B)],sp)f1(B,sp)).
(4) (5): Let Bbe any subset of Y. By (4), we
have
X[f1(B)],sp)= [Xf1(B)],sp)
= [f1(YB)],sp)
f1([YB],sp))
=f1(YB,sp))
=Xf1(B,sp))
and hence f1(B,sp))[f1(B)],sp).
(5) (6): Let Fbe any , sp)-closed set of Y.
Then, YF= [YK],sp). By (5),
Xf1(F) = f1(YF)
=f1([YF],sp))
[f1(YF)],sp)
= [Xf1(F)],sp)
=X[f1(F)],sp).
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
382
Volume 21, 2022
Thus, [f1(F)],sp)f1(F).
(6) (2): The proof is obvious.
(2) (1): Let xXand let Vbe any , sp)-
open set of Ycontaining f(x). By (2), we have
x[f1(V)],sp)
and there exists a , sp)-open set Uof Xcontain-
ing xsuch that Uf1(V). Thus, f(U)Vand
hence fis , sp)-continuous at x. This shows that f
is , sp)-continuous.
A function f: (X, τ)(Y, σ)is called β-
irresolute [9] if f1(V)is β-open in Xfor each β-
open set Vof Y.
Lemma 10. Let f: (X, τ )(Y, σ)be β-irresolute.
Then, f: (X, τ Λsp )(Y, σΛsp )is continuous.
Proof. The proof follows from Theorem 2.8 of [5].
Theorem 11. If f: (X, τ )(Y, σ)is β-irresolute,
then fis , sp)-continuous.
Proof. Let Fbe any , sp)-closed set of Y. Then,
there exist a Λsp-set Tand a β-closed set Csuch that
F=TC. Since fis β-irresolute, f1(C)is β-
closed and f1(T)is a Λsp-set of Xby Lemma 10.
Thus, f1(F) = f1(T)f1(C)is , sp)-closed
in X, by Theorem 9, fis , sp)-continuous.
Definition 12. Let (X, τ)be a topological space, x
Xand let {xγ}γΓbe a net in (X, τ ). A net {xγ}γΓ
is called Λsp-converges to xif, for each , sp)-open
set Ucontaining x, there exists γ0Γsuch that γ
γ0implies xγU.
Lemma 13. Let Abe a subset of a topological space
(X, τ). A point xA,sp)if and only if there exists
a net {xγ}γΓof Awhich Λsp-converges to x.
Definition 14. Let (X, τ )be a topological space,
F={Fγ|γΓ}be a filterbase of Xand xX. A
filterbase Fis called Λsp-convergent to xif, for each
, sp)-open set Uof Xcontaining x, there exists
Fγ0 F such that Fγ0U.
Theorem 15. For a function f: (X, τ)(Y, σ), the
following properties are equivalent:
(1) fis , sp)-continuous;
(2) f1(V)is , sp)-open in Xfor every , sp)-
open set Vof Y;
(3) f(A,sp))[f(A)],sp)for every subset Aof
X;
(4) [f1(B)],sp)f1(B,sp))for every subset
Bof Y;
(5) f1(B,sp))[f1(B)],sp)for every subset
Bof Y;
(6) For each xXand each filterbase Fwhich
Λsp-converges to x,f(F) Λsp-converges to
f(x);
(7) For each xXand each net {xγ}γΓin X
which Λsp-converges to x, the net {f(xγ)}γΓ
of YΛsp-converges to f(x).
Proof. The proof follows from Theorem 3.2 of [5].
Definition 16. A topological space (X, τ )is said to
be:
(i) Λsp-compact if every cover of Xby , sp)-open
sets of Xhas a finite subcover;
(ii) nearly compact [14] if every regular open cover
of Xhas a finite subcover.
Lemma 17. A topological space (X, τ )is Λsp-
compact if and only if for every family {Fγ|γΓ}
of , sp)-closed sets in Xsatisfying
γΓFγ=,
there is a finite subfamily {Fγi|i= 1,2, ..., n}with
n
i=1Fγi=.
Theorem 18. For a topological space (X, τ), the fol-
lowing properties hold:
(1) If (X, τ Λsp )is compact, then (X, τ )is nearly
compact.
(2) If (X, τ )is Λsp-compact, then (X, τ)is nearly
compact.
Proof. (1) Let {Gγ|γΓ}be any regular open
cover of X. Since every regular open set is β-open, by
Lemma 2(2), Gγis a Λsp-set for each γΓ. More-
over, by the compactness of (X, τ Λsp ), there exists a
finite subset Γ0of Γsuch that X=
γΓ0
Gγ. This
shows that (X, τ )is nearly compact.
(2) Let {Fγ|γΓ}be a family of regu-
lar closed sets of Xsuch that
γΓFγ=. Since
every regular closed set is β-closed and by Lemma
4, Fγis a , sp)-closed set for each γΓ. By
Lemma 17, there exists a finite subset Γ0of Γsuch
that
γΓ0
Fγ=. It follows from Theorem 3.1 of [14]
that (X, τ)is nearly compact.
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
383
Volume 21, 2022
Theorem 19. If f: (X, τ)(Y, σ)is a , sp)-
continuous surjection and (X, τ)is a Λsp-compact
space, then (Y, σ)is Λsp-compact.
Proof. Let {Vγ|γΓ}be any cover of Yby
, sp)-open sets of Y. Since fis , sp)-continuous,
by Theorem 9, {f1(Vγ)|γΓ}is a cover of Xby
, sp)-open sets of X. Thus, there exists a finite sub-
set Γ0of Γsuch that X=
γΓ0
f1(Vγ). Since fis
surjective, Y=f(X) =
γΓ0
Vγ. This shows that
(Y, σ)is Λsp-compact.
Corollary 20. The Λsp-compactness is preserved by
β-irresolute surjections.
Proof. This is an immediate consequence of Lemma
10 and Theorem 19.
Definition 21. A topological space (X, τ )is called
Λsp-connected if Xcannot be written as a disjoint
union of two nonempty , sp)-open sets.
Theorem 22. For a topological space (X, τ), the fol-
lowing properties hold:
(1) If (X, τ Λsp )is connected, then (X, τ)is con-
nected.
(2) If (X, τ )is Λsp-connected, then (X, τ )is con-
nected.
Proof. (1) Suppose that (X, τ )is not connected.
There exist nonempty open sets U, V of Xsuch that
UV=and UV=X. Every open set is β-open
and U, V are Λsp-sets by Lemma 2(2). This shows
that (X, τΛsp )is not connected.
(2) Suppose that (X, τΛsp )is not connected.
There exist nonempty Λsp-sets U, V of Xsuch that
UV=and UV=X. By Lemma 4, Uand V
are , sp)-closed sets. This shows that (X, τ )is not
connected.
Theorem 23. If f: (X, τ)(Y, σ)is a , sp)-
continuous surjection and (X, τ)is Λsp-connected,
then (Y, σ)is Λsp-connected.
Proof. Suppose that (Y, σ)is not Λsp-connected.
There exist nonempty , sp)-open sets Uand Vof
Ysuch that UV=and UV=Y. Then,
f1(U)f1(V) = . Moreover, f1(U)and
f1(V)are nonempty , sp)-open sets of X. This
shows that (X, τ )is not Λsp-connected. Thus, (Y, σ)
is Λsp-connected.
Corollary 24. The Λsp-connectedness is preserved by
β-irresolute surjections.
Proof. This is an immediate consequence of Lemma
10 and Theorem 23.
4 Conclusion
Continuity is a basic concept for the study and inves-
tigation in topological spaces. Generalization of this
concept by using weaker and stronger forms of open
sets. This paper is dealing with the notion of , sp)-
continuous functions in topological spaces. In par-
ticular, some characterizations of , sp)-continuous
functions are established. The ideas and results of this
paper may motivate further research.
Acknowledgements
This research project was financially supported by
Mahasarakham University.
References:
[1] M.–E. Abd El-Monsef, S.–N. El-Deeb and R.–
A. Mahmoud, β-open sets and β-continuous
mappings, Bull. Fac. Assiut Univ. 12, 1983,
pp. 77–90.
[2] C. Boonpok, , sp)-closed sets and related
topics in topological spaces, WSEAS Tran.
Math. 19, 2020, pp. 312–322.
[3] J. Bors´
ı, On almost quasicontinuous functions,
Math. Bohemica 118, 1993, pp. 241–248.
[4] J. Bors´
ı and J. Doboˇ
s, On decompositions
of quasicontinuity, Real Anal. Exchange 16,
1990/91, pp. 292–305.
[5] M. Caldas, D.–N. Georgiou and S. Jafari, Study
of , α)-closed sets and the related notions in
topological spaces, Bull. Malays. Math. Sci. Soc.
(2) 30 (1), 2007, pp. 23–36.
[6] J. Ewert, On almost quasicontinuity of func-
tions, Tatra Mountains Math. Publ. 2, 1993,
pp. 81–92.
[7] N. Levine, Semi-open sets and semi-continuity
in topological spaces, Amer. Math. Monthly 70,
1963, pp. 36–41.
[8] N. Levine, A decomposition of continuity in
topological spaces, Amer. Math. Monthly 69,
1961, pp. 44–46.
[9] R.–A. Mahmoud and M.–E. Abd El-Monsef, β-
irresoute and β-topological invariant, Proc. Pak-
istan Acad. Sci. 27 (3), 1990, pp. 285–296.
[10] S. Marcus, Sur les fonctions quasicontinues au
sens de S. Kempisty, Colloq. Math. 8, 1961,
pp. 47–53.
[11] A.–S. Mashhour, M.–E. Abd El-Monsef and S.–
N. El-Deeb, On precontinuous and weak pre-
continuous mappings, Proc. Math. Phys. Soc.
Egypt 53, 1982, pp. 47–53.
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
384
Volume 21, 2022
[12] T. Noiri and E. Hatir, Λsp-sets and some weak
separation axions, Acta Math. Hungar. 103,
2004, pp. 225–232.
[13] V. Popa and T. Noiri, On β-continuous func-
tions, Real Anal. Exchange 18, 1992/93,
pp. 544–548.
[14] M.–K. Singal and A. Mathur, On weakly-
compact spaces, Boll. Union Mat. Ital. 42, 1969,
pp. 702–712.
[15] M.–K. Singal and A.–R. Singal, Almost contin-
uous mappings, Yokohama Math. J. 16, 1968,
pp. 63–73.
Creative Commons Attribution License 4.0
(Attribution 4.0 International, CC BY 4.0)
This article is published under the terms of the Creative
Commons Attribution License 4.0
https://creativecommons.org/licenses/by/4.0/deed.en_US
WSEAS TRANSACTIONS on MATHEMATICS
DOI: 10.37394/23206.2022.21.45
Chokchai Viriyapong, Chawalit Boonpok
E-ISSN: 2224-2880
385
Volume 21, 2022