Table Of ContentSEPARATION AXIOMS OF αm-OPEN SETS
R. PARIMELAZHAGAN AND MILBY MATHEW
6
1
0
2 Abstract. Inthispaper,weintroduceTαm-Spaces,αm-closedmapsandαm-open
n maps and studied some of their properties.
a
J Keywords : Tαm-Spaces, αm-closed maps and αm-open maps.
4
1
2000 Mathematics Subject Classification : 57N40.
]
N
G
.
h 1. Introduction
t
a
m Separation axioms are one among the most common, important and interesting
[ concepts in Topology. They can be used to define more restricted classes of topologi-
cal spaces. The separation axioms of topological spaces are usually denoted with the
1
v letter “T” after the German “Trennung” which means separation. Most of the weak
4
separation axioms are defined in terms of generalized closed sets and their definitions
1
5 are deceptively simple. However, the structure and the properties of those spaces
3 are not always that easy to comprehend. The separation axioms that were studied
0
together in this way were the axioms for Hausdorff spaces, regular spaces and normal
.
1
spaces.
0
6
1 Separation axioms and closed sets in topological spaces have been very useful in
:
v the study of certain objects in digital topology ([5], [7]). Khalimsky, Kopperman and
i
X Meyer [6] proved that the digital line is a typical example of T1-spaces. There were
2
r many definitions offered, some of which assumed to be separation axioms before the
a
current general definition of a topological space. For example, the definition given
by Felix Hausdorff in 1914 is equivalent to the modern definition plus the Hausdorff
separation axiom. The first step of generalized closed sets was done by Levine in
1970 [5] and he initiated the notion of T1-spaces in unital topology which is properly
2
placed between T0-space and T1-spaces by defining T1-space in which every general-
2
ized closed set is closed.
The concept of generalized closed sets(briefly g-closed) in topological spaces was
introduced by Levine [9] and a class of topological spaces called T1 spaces. Arya
2
and Nour [3], Bhattacharya and Lahiri [4], Levine [8], Mashhour [10], Njastad [13]
and Andrijevic([1], [2]) introduced and investigated generalized semi-open sets, semi
generalized opensets, generalized opensets, semi-open sets, pre-opensets and α-open
sets, semi pre-open sets and b-open sets which are some of the weak forms of open
sets and the complements of these sets are called the same types of closed sets.
1
2 R. PARIMELAZHAGANANDMILBY MATHEW
m m
In 2014, [11] we introduced the concepts of α -closed sets and α -open set in
m
topologicalspaces. Also wehave introducedtheconcepts ofα -continuous functiopns
m m m
and α -irresolute functions. In this paper, based on the α -open and α -closed sets
m
we introduce separation axioms of α -open set called Tαm-space. Further various
characterisation are studied. are introduced
2. Preliminaries
Throughout this paper (X,τ) and (Y,σ) represent topological spaces on which no
separation axioms are assumed unless otherwise mentioned. For a subset A of a space
c
(X,τ), cl(A), int(A) and A denote the closure of A, the interior of A and the com-
plement of A in X, respectively.
Definition 2.1. A subset A of a topological space (X,τ) is called
(a) a preopen set [10] if A ⊆ int(cl(A)) and pre-closed set if cl(int(A)) ⊆ A.
(b) a semiopen set [8] if A ⊆ cl(int(A)) and semi closed set if int(cl(A)) ⊆ A.
(c) an α-open set [13] if A ⊆ int(cl(int(A))) and an α-closed set if cl(int(cl(A))) ⊆ A.
(d) a semi-preopen set [1] (β-open set) if A ⊆ cl(int(cl(A))) and semi-preclosed set if
int(cl(int(A))) ⊆ A.
m
(e) an α -closed set [11] if int(cl(A)) ⊆ U, whenever A ⊆ U and U is α-open.
m m
The complement of α -closed set is called an α -open set.
Definition 2.2. A space (X, τX) is called a T1-space [9] if every g-closedset is closed.
2
Definition 2.3. A function f : (X, τ) −→ (Y, σ) is called
m −1 m
(a) an α -continuous [12] if f (V) is α -closed in (X, τ) for every closed set V of
(Y, σ).
m −1 m m
(b) an α -irresolute [12] if f (V) is α -closed in (X, τ) for every α -closed set
V of (Y, σ).
3. Separation axioms of αm-open sets
Definition 3.1. A space (X,τ) is called Tαm-space if every αm-closed set is closed.
Theorem 3.2. For a topological space (X,τ) the following conditions are equivalent.
(a) (X,τ) is a Tαm-space.
SEPARATION AXIOMS OF αm-OPEN SETS 3
(b) Every singleton {x} is either α-closed (or) clopen.
Proof. (a) ⇒ (b) Let x ∈ X. Suppose {x} is not an α-closed set of (X,τ). Then
X−{x} is not an α-open set. Thus X−{x} is an α-closed set of (X,τ). Since (X,τ)
is a Tαm-space, X −{x} is a α-closed set of (X,τ), i.e., {x} is α-open set of (X,τ).
m
(b) ⇒ (a) Let A be an α -closed set of (X,τ). Let x ∈ int(cl(A)) by (b), {x} is
either α-closed (or) clopen.
Case(i): Let {x} be an α-closed. If we assume that x ∈/ A, then we would have
x ∈ int(cl(A))−A which cannot happen. Hence x ∈ A.
Case(ii): Let {x} be a clopen. Since x ∈ int(cl(A)), then {x}TA 6= φ. This shows
that x ∈ A. So in both cases we have int(cl(A)) ⊆ A. Trivially A ⊆ int(cl(A)).
Therefore A = int(cl(A)) (or) equivalently A is clopen. Hence (X,τ) is a Tαm-space.
(cid:3)
Proposition 3.3. If f : (X,τ) −→ (Y,σ) be an αm-continuous function and (X,τ)
be a Tαm-space. Then f is continuous.
m −1
Proof. Let V be closed set in (Y,σ). Since f is an α -continuous function, f (V) is
m −1
an α -closed set in (X,τ). Since (X,τ) is a Tαm-space, f (V) is closed set in (X,τ).
Hence f is continuous.
(cid:3)
Theorem 3.4. Let f : (X,τ) −→ (Y,σ) be a mapping and (X,τ) be a Tαm-space,
then f is continuous if one of the following conditions is satisfied.
m
(a) f is α -continuous.
m
(b) f is α -irresolute.
(cid:3)
Proof. Obvious.
Theorem 3.5. A map f : (X,τ) −→ (Y,σ) is an αm-continuous function if and only
m
if the inverse image of every open set in (Y,σ) is an α -open set in (X,τ).
m
Proof. Necessity : Let f : (X,τ) −→ (Y,σ) be an α -continuous function and U be
m
an open set in (Y,σ). Then Y −U is closed in (Y,σ). Since f is an α -continuous
−1 −1 m −1
function, f (Y −U) = X −f (U) is an α -closed in (X,τ) and hence f (U) is
m
an α -open in (X,τ).
−1 m
Sufficiency : Assume that f (V) is an α -open set in (X,τ) for each open set
V in (Y,σ). Let V be a closed set in (Y,σ). Then Y −V is an open set in (Y,σ). By
−1 −1 m
assumption, f (Y −V) = X −f (V) is an α -open in (X,τ), which implies that
−1 m m
f (V) is an α -closed set in (X,τ). Hence f is an α -continuous function.
(cid:3)
4 R. PARIMELAZHAGANANDMILBY MATHEW
Proposition 3.6. Let f : (X,τ) −→ (Y,σ) be any topological space and (Y,σ) be a
m
Tαm-space. If f : (X,τ) −→ (Y,σ) and g : (Y,σ) −→ (Z,η) are α -continuous func-
m
tions, then their composition g ◦f : (X,τ) −→ (Z,η) is an α -continuous function.
m
Proof. Let V be a closed set in (Z,η). Since g : (Y,σ) −→ (Z,η) is an α -continuous
−1 m −1
function, g (V) is an α -closed set in (Y,σ). Since (Y,σ) is a Tαm-space, g (V)
m
is a closed set in (Y,σ). Since f : (X,τ) −→ (Y,σ) is an α -continuous function,
−1 −1 −1 m
f (g (V)) = (g ◦f) (V) is an α -closed set in (X,τ). Hence g ◦ f : (X,τ) −→
m
(Z,η) is an α -continuous function.
(cid:3)
Definition 3.7. A map f : (X, τ) −→ (Y, σ) is said to be
m m
(a) α -closed map if f(V) is α -closed in (Y, σ) for every closed set V of (X, τ).
m m
(b) α -open map if f(V) is α -open in (Y, σ) for every open set V of (X, τ).
Theorem 3.8. Let f : (X,τ) −→ (Y,σ) and g : (Y,σ) −→ (Z,η) be two mappings
and (Y,σ) be a Tαm-space, then
m m
(a) g ◦f is α -continuous, if f and g are α -continuous.
m m
(b) g ◦f is α -closed, if f and g are α -closed.
−1 m
Proof. (a) Let V be a closed set of (Z,η), then g (V) is α -closed set in(Y,σ). Since
−1 m
(Y,σ) is a Tαm-space, then g (V) is a closed set in (Y,σ). But f is α -continuous,
−1 −1 −1 m
then (g ◦ f) (V) = f (g (V)) is α -closed in (X,τ) this implies that g ◦ f is
m
α -continuous mappings.
(b) The proof is similar.
(cid:3)
Theorem 3.9. Let f : (X,τ) −→ (Y,σ) be a mapping from a Tαm-space (X,τ) into
a space (Y,σ), then
m
(a) f is continuous mapping if, f is α -continuous.
m
(b) f is closed mapping if, f is α -closed.
Proof. Obvious.
(cid:3)
Theorem 3.10. Let f : (X,τ) −→ (Y,σ) is surjective closed and αm-irresolute, then
(Y,σ) Tαm-space if (X,τ) is also Tαm-space.
SEPARATION AXIOMS OF αm-OPEN SETS 5
m −1 m
Proof. LetV beanα -closedsubset of(Y,σ). Thenf (V)isα -closedsetin(X,τ).
−1
Since, (X,τ) is a Tαm-space, then f (V) is closed set in (X,τ). Hence, V is closed
set in (Y,σ) and so, (Y,σ) is Tαm-space.
(cid:3)
Proposition 3.11. If f : (X, τ) −→ (Y, σ) is αm-closed, g : (Y,σ) −→ (Z,η) is an
m
α -closed, and (Y, σ) is a Tαm-space, then their composition g◦f : (X,τ) −→ (Z,η)
m
is α -closed.
m
Proof. Let A be a closed set of (X, τ). Then by assumption f(A) is α -closed in
(Y, σ). Since (Y, σ) is a Tαm-space, f(A) is closed in (Y, σ) and again by assumption
m m
g(f(A)) is α -closed in (Z,η). i.e., (g ◦ f)(A) is α -closed in (Z,η) and so g ◦f is
m
α -closed.
(cid:3)
Proposition 3.12. For any bijection f : (X,τ) −→ (Y,σ) the following statements
are equivalent:
−1 m
(a) f : (X,τ) −→ (Y,σ) is α -continuous.
m
(b) f is α -open map.
m
(c) f is α -closed map.
−1 −1
Proof. (a) =⇒ (b) Let U beanopenset of(X,τ). Byassumption, (f ) (U) = f(U)
m m
is α -open in (Y,σ) and so f is α -open.
c
(b) =⇒ (c) Let F be a closed set of (X,τ). Then F is open set in (X,τ). By
c m c c m
assumption, f(F ) is α -open in (Y,σ). That is f(F ) = (f(F)) is α -open in
m m
(Y,σ) and therefore f(F) is α -closed in (Y,σ). Hence f is α -closed.
m
(c) =⇒ (a) Let F be a closed set of (X,τ). By assumption, f(F) is α -closed in
−1 −1 −1 m
(Y,σ). But f(F) = (f ) (F) and therefore f is α -continuous.
(cid:3)
References
[1] Andrijevic. D, Semi-preopen sets, Mat. Vesink, 38 (1986), 24 - 32.
[2] Andrijevic. D, On b-open sets,Mat. Vesink, 48 (1996), 59 - 64.
[3] S. P. Arya and T. Nour, Characterizations of s-normal spaces, Indian J. Pure Appl. Math., 21
(1990), 717-719.
[4] Bhattacharyya.P and Lahiri. B. K, Semi-generalizsedclosed sets in topology, Indian J. Math.,
29 (1987), 375 - 382.
[5] E.D. Khalimsky, Applications of connected ordered topological spaces in topology, Conference
of Math. Departments of Povolsia(1970).
6 R. PARIMELAZHAGANANDMILBY MATHEW
[6] E. Khalimsky, R. Kopperman, P.R. Meyer, Computer graphics and connected topologies on
finite ordered sets , Topology Appl., 36, No. 1, (1990), 1-17.
[7] T.Y. Kong, R. Kopperman, P.R. Meyer, A topological approach to digital topology, Amer.
Math. Monthly, 98 (1991), 901-917.
[8] Levine. N, Semi-open sets and semi-continuity in topologicalspaces, Amer. Math. Monthly, 70
(1963), 36 - 41.
[9] Levine. N, Generalized closed sets in topology, Rend. Circ. Math. Palermo, 19 (1970), 89 - 96.
[10] Mashhour. A. S, Abd EI-Monsef. M. E. and EI-Deeb. S. N., On Precontinuous and weak
pre-continuous mapping, Proc. Math., Phys. Soc. Egypt, 53 (1982), 47 - 53.
[11] Milby Mathew and R. Parimelazhagan, αm-Closed Sets in Topological Spaces, International
Journal of Mathematical Analysis Vol. 8, 2014, no. 47, 2325 - 2329.
[12] Milby Mathew and R. Parimelazhagan, αm-Continuous Maps in Topological Spaces. (submit-
ted)
[13] Njastad. O, On some classes of nearly open sets, Pacific J. Math., , 15 (1965), 961-970.
Department of Mathematics, RVS Technical Campus, Coimbatore - 641 402, Tamil-
nadu, India. E-mail: pari [email protected].
−
Research Scholar, Department of Mathematics, Karpagam University, Coimbat-
ore - 32, Tamilnadu, India. E-mail: [email protected]
