Professional Documents
Culture Documents
Abstract:The purpose of this paper is to introduce some definitions of relations generated by using some
classes of near open sets in topological spaces. Proved results and examples are provided.
ISSN 2347-1921
1. Preliminaries
This section presents a review of some fundamental notions of topological spaces.
A topological space [6] is a pair
following conditions:
(T1)
(T3)
(T2)
(X , )
X .
and
(X , )
belonging to
is denoted by
belonging to
. The family
of open
X.
(X , )
(X , ) . The family of
X called the discrete topology and it is denoted by . A topological space (X , ) is
are called open sets in the space. The complements of the subsets of
are called closed sets in the space, and the family of all closed subsets of
subsets of
is a topology on
is clopen subset of X.
B is called a basis for (X , ) iff every nonempty open subset of X can be represented as a union of
subfamily of B . Clearly, a topological space can have many bases. A family S is called a subbasis for (X , )
A family
-closure of a subset A
Evidently,
Ao
of a subset A
is a basis for
is denoted by
X
Ao
interior of a subset
Evidently,
of
of
is denoted by
(briefly
BN (A)
and it is defined by
which contains
) is denoted by
. Note that,
and it is defined by
which contained in
A F X : A F and F * .
. Note that,
and it is defined by
of
is called:
A A o .
i)
ii)
iii)
iv)
v)
-open [10] if A A o o .
vi)
A Ao .
A A o .
A Ao A o .
-open,
-open
and
-open)
-closed and - closed) set. The family of all r-open (resp. s-open, p-open, -open, open and -open) sets is denoted by RO (X ) (resp. SO (X ), PO (X ), O (X ), O (X ) and O (X )). The
family of all r-closed (resp. s-closed, p-closed, -closed, -closed and -closed) sets is denoted by RC (X ) (resp.
SC (X ), PC (X ), C (X ), C (X ) and C (X )).
closed, p- closed,
5008 | P a g e
-closed,
ISSN 2347-1921
The near interior (briefly
(resp.
A j )
j -interior)
j -closure)) [2] of
a subset A of X is denoted by
A jo
and it is defined by
A jo G X : G A , G is a j -open set
resp. A j H X : A H , H is a j -closed s et ,
where j {r , s , p , , , } .
A jo for all j {s, p, , , } is the largest j-open subset of X which contained in A. Note that, A is a j-open
jo
j
set iff A A . Also, A for all j {s, p, , , } is the smallest j-closed subset of X which contains A. Note that A
j
is a j-closed set iff A A .
Evidently,
BN (A ) ) is denoted by A jb
for all
j r , s , p , , ,
and it is defined
A jb A j A jo .
RO (X ) O (X ) SO (X ) PO (X ) O (X ) O (X ).
i)
ii) RC (X ) * C (X ) SC (X ) PC (X ) C (X ) C (X ).
Remark 2.2. Let (X , )
be a subset of X. Then
A r o A o A o A s o A po A o A .
i)
ii) A A A s A p A A A r .
Proposition 2.1. Let (X , )
i)
RO( X ) SO( X ) O( X )
ii)
PO( X ) O( X ) O( X ) .
Proof.
i) Let
G SO (X ) , then G G o . Since
Thus
G G o . But G o G
, then
is quasi-discrete, then
G G o , that is G
G o G o .
. Hence
SO (X )
SO (X ) . Then SO (X ) .
Similarly, we can prove O (X ) .
But
. Since
since
Then
PO (X ) .
5009 | P a g e
O (X ) O (X ) .
ISSN 2347-1921
Definition 2.2 [6].
(X , )
A topological space
x U
y U
is said to be a
and
y V
(X , )
is a
x y
is a closed
Definition 2.3 [6]. A topological space (X , ) is said to be regular at a point x X if for every closed
subset F of X not containing x , there exist two disjoint open sets U, V such that x U and F V . A topological
space (X , ) is said to be regular space if it is regular at each of its points.
Proposition 2.2. Every finite regular topological space is a quasi-discrete topological space.
Proof. Let (X , ) be a finite regular topological space and G
each x G , there exists H x such that X G H x
. Then
X G . Since X
x Hx
and
. Thus
X G
and
x G
x Hx
x G
then
H x
x G
is open. Thus X
. Then
x G
x G
space.
or {x} { y} .
Proposition 2.3.
{x}
{ y}
or
Let
(X , )
{x}
{ y}
either
for all
RO (X ) SO (X ) O (X ) .
{x} { y}
x, y X
x X
is quasi-discrete. Thus by
, we get
{x} r {x} s {x} {x} . Since X is regular, then by Lemma 2.2, we have for any two points x, y X
{x} j { y} j or {x} j { y} j for all j r , s , . Also by using Proposition 2.1 part (ii), we have
PO (X ) O (X ) O (X ) . Hence for any point x X
{ y}
for all
j { p, , } .
Lemma 2.4.
Proof. Let A
A Ao .
Then
for
any
two
points
x, y X
either
{x} j { y} j
(X , )
and
x X
. Then
if and
A A o .
Thus
(X , ) . Then A A o .
A A o . Since A o A , A o A .
Hence
(X , )
a topological space
Proof.
A A o . Hence x A
5010 | P a g e
x A
meets A.
o
Then x A if and only if every open set containing x meets A .
A
or
Let
either
, we get
either
j r , s , p , , , .
Proof.
x, y X
iff
and
x X
x Ao ,
ISSN 2347-1921
iff every open set containing x meets
Ao
by Lemma 2.3.
Proposition 2.5.
BN (A ) BN (A o ) .
Let
Lemma 2.6.
A o Ao .
G X
such that
(X , )
G A .
x G
and
and
x X
. Then
(X , )
and
Proposition 2.6.
Then
x A
Proof.
Let
G X
G X
x G
and
Proposition 2.7.
BN (A ) BN (A )
Proof.
Hence
Let
such that
x Ao
if and
x X
. Then
since
(X , )
Hence
A A.
Then
Ao A .
(X , ) .
G A
x G
and
G A
and
x X
A o A o . Hence x A o iff x A o
iff
by Lemma 2.5.
a topological space
(X , ) .
Then
Lemma 2.5.
(X , )
G A ,
where
and
x X
x A j
. Then
if and only if
j r , p , s , , , .
Proof. We shall prove this lemma in the case of j and the other cases can be proved similarly. Let
x A . Suppose contrary that G is a -open set such that x G and G A . Then x X G and
A X G . But X G is a -closed set containing A. Hence x A , which is a contradiction. Thus
G A .
Conversely, assume that for each
-open
set G containing x,
x A jo
if and only if
x G X : G A, G is a open set
5011 | P a g e
. Then
iff
there exists a
-open
set
G X
such that
ISSN 2347-1921
x G A .
Proposition 2.8.
where
Proof.
j s , p , , , ,
A
intersects
x A .
then
intersects
(X , )
x X
and
x A j , where j s , p , , , . Since A j A
x A o , where j s , p , , ,
and
x A j
x A
Proof.
Ao
by Lemma 2.3.
and
x X
. Then
. Then
Proposition 2.11.
x X
x Ao
for each
x A j
Ao .
x A j
. If
(X , )
and
x X
. If
x G A , where j s , p , , , .
A o A o .
x G A .
Thus
that
Now if
. Then x
iff
x A
x A
. Then
A A
j
o
. But
A o
x G A
. Then
We shall prove this proposition in the case of j=s and the other cases can be proved similarly. Let A
x A o
Then
iff
x Aso
A o A . But A o
x G A
by Lemma 2.8.
A o A so . Then
5012 | P a g e
ISSN 2347-1921
Definition 3.1 [11].
R and it is defined by
(X , )
Let
is denoted by
R (x , y ) : x y .
Example 3.1.
X , ,a
Let
X a, b , c .
on
X , b b , c and c b , c .
Hence
to
, X ,b ,c . Then
Definition
3.1,
we
get
Definition 3.2. Let (X , ) be a topological space. Then the relation on X generated by the class RO(X ) (resp.
PO(X ) , SO(X ) , O(X ) , O(X ) and O(X ) ) is denoted by R r (resp. R p , R s , R , R and R ) and it
is defined by
(resp.
R ( x, y) : x { y} ,
R ( x, y) : x { y} ,
( x, y) : x { y} , R ( x, y) : x { y} and R ( x, y) : x { y} ).
R r ( x, y) : x { y}r
Example 3.2.
Let
X a, b , c , d
and
and
c , d .
and
Hence
according
to
Definition
b a, b , c ,
r
3.2,
we
get
Proposition 3.1.
(X , )
Let
R R R s R p R R R r .
Proof. Let y X
{ y } { y } { y }s { y }p { y } { y } { y }r .
Hence
R R RS R P R R R r .
Definition 3.3 [8].
A relation
on a set
following conditions:
i)
(x , x ) R , x X
ii) If
(x , y ) R ,
then
iii) If
(x , y ) R
and
Proposition 3.2.
(reflexive).
( y , x ) R (symmetric).
( y ,z )R,
(X , )
Let
then
(x , z ) R
(transitive).
j r , s , p , , , .
Proof.
Since
(x , x ) R j
x x
for all
x X .
Proposition 3.3.
5013 | P a g e
and
Let
x x
Hence
(X , )
and
for all
Rj
x X
and
and
Rj
j r , s , p , , , ,
and
Rj
then
(x , x ) R
j r , s , p , , , .
and
ISSN 2347-1921
j s , p , , , .
Proof.
Let
(x , z ) R
(x , y ), ( y , z ) R .
. Therefore
Rj
x y
Then
y z
and
. Thus
and so
x z
. Then
is transitive relation on X.
j s , p , , , .
X , ,a,b , d ,a,b , d
be a topology on X. Then
RO (X ) {X , ,{a},{b , d }},
O (X ) {X , ,{a},{b },{d },{a, b },{a, c },{a, d },{a, b , c },{a, b , d },{a, c , d },{b ,c },{b , d }
{b , c , d },{c , d }}.
Thus
C (X ) {X , ,{b ,c , d },{c},{a,c}},
SC (X ) {X , ,{b , c , d },{b , d },{c },{a, c},{a}},
PC (X ) {X , ,{b , c , d },{a, c , d },{a, b , c},{c , d },{b , c},{d },{c},{b},{a, c}},
C (X ) {X , ,{b , c , d },{a, c , d },{a, b , c },{c , d },{b , d },{b , c },{d },{c },{b },{a , d },{a ,c }
{a},{a, b }}.
a a
Hence
a, c , b b b
c c
a , b b , d , c c , d b , d ,
a, c , b
c , d d d
b , c , d ,
b , c
a , b b
b , c , d ,
c , d
d ,
b , c c
c ,
and
d .
5014 | P a g e
ISSN 2347-1921
R R r R (a, a),(c , a),(b , b ),(c , b ),(d , b ),(c , c ),(b , d ),(c , d ),(d , d ) ,
R s (a, a ), (b , b ), (d , b ), (c , c ), (b , d ), (d , d ) ,
R p (a, a ), (c , a ), (b , b ), (c , c ), (d , d ) , and
R , R j
R R j (x , x ) : x X ,
Proof. Let (X , )
and
for all
R Rj ( x, x) : x X Then
.
Proposition 3.5.
(X , )
Let
Proof.
(X , )
(X , )
x y
j s , p , , , .
( y , x ) R . Therefore R
Proposition 3.7.
x x , for
is a T1 space.
Let
x X
all
. Thus
(X , )
is a
T1 space,
then
Rj
and
are
is symmetric relation on X.
is symmetric relation on X.
(x , y ) R .
(X , )
is a closed set
Since
j s , p , , , .
j s , p , , , .
for all
be a topological space. If
Proof.
for all
R R j (x , x ) : x X ,
x X
(X , )
x x . But x
Conversely, let
j s , p , , , .
x y
Then
. But
. Hence
x x
y x
. Thus
, and so
Rj
j r , s , p , , , .
Proof. We shall proof this proposition in the case of j r , and the other cases can be
proved similarly. Let
x x
. Thus
(X , )
all
Let
(x , y ) R r .
( y , x ) R r . Therefore R r
Proposition 3.8.
is symmetric relation on X.
(X , )
x y
. Then
y x
and
Rj
j r , s , p , , , .
5015 | P a g e
. But
. Thus
x X and
x G and F H ,
for each j-closed set F does not contain x, there exist two disjoint j-open sets G and H such that
where
Proof. By Proposition 3.2, Proposition 3.3, Proposition 3.6 and Proposition 3.7, the proof is obvious.
Definition 3.4. A topological space (X , )
j s , p , , , .
Then
ISSN 2347-1921
Example 3.4. Let X a, b , c , d and let
SO (X ) X , , a , a, c , a, b , d , b , d , b , c , d
and
SC (X ) X , , b , c , d , b , d , c , a, c , a .
Hence X is s-regular, since for each point
x G
Proposition 3.9.
Let
(X , )
x X
F X
and
F H
such that
x F,
j s , p , , , .
or
x y
either
x.
or
Proposition 3.10.
x y
. Let
sets G and H
Then
, since
such that
X H
be
y y
-open
is an
. Suppose that
and
Hence
. Then
y H . But
x y (X
x G
X H
is an
-closed
H )H .
set
Therefore
Let
(X , )
be a
j s , p , , , .
Then
Rj
is
symmetric relation on X.
Therefore
is
. But
is symmetric relation on X.
Proposition 3.11.
Let
(X , )
x x
. Hence
. Thus
y x
, and so
(X , )
(y , x ) R .
j s , p , , , .
Then
Rj
is
equivalence relation on X .
Proof. By Proposition 3.2, Proposition 3.3 and Proposition 3.10, The proof is obvious.
4. Conclusions
In this paper, we introduced some definitions of relations generated by using some classes of near open sets. Also, we
introduced some properties of some classes of near open sets in topological spaces .
References
[1]
M. E. Abd El-Monsef, S. N. El-Deeb, R. A. Mahmoud, -open sets and -continuous mappings, Bull. Fac. Sc.
Assuit Univ., 12 (1983) 77-90.
[2]
M. E. Abd El-Monsef,
approximations, Jour. of
Ser.), 20 (1) (2009) 99-109.
[3]
[4]
[5]
A. A. El-Atik, A study of some types of mappings on topological spaces, M.Sc. Thesis, Tanta Univ., 1997.
[6]
[7]
N. Levine, Semi-open sets and semi-continuity in topological spaces, Amer Math. Monthly, 70 (1963) 36-41.
5016 | P a g e
A. M. Kozae, M. J. Iqelan, On
Inst. of Mathematics & Computer
ISSN 2347-1921
[8]
S. Lipschutz, Theory and problems of general topology, Schaum's Outline Series, McGraw-Hill, 1965.
[9]
[10]
O. Njastad, On some classes of nearly open sets, Pacific J. Math, 15 (1965), 961-970.
[11]
I. A. Noaman, Topological applications on Fuzzy relations, Ph.D. Thesis, Tanta Univ., Egypt, 2009.
[12]
M. Stone, Application of the theory of Boolian rings to general topology, Trans. Amer, Math. Soc., 41 (1937) 374481.
5017 | P a g e