International Journal of Modern Engineering Research (IJMER)

www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 463 | Page



T. Nithiya,
1
M.K. Uma,
2
E. Roja
3

1
Department of Mathematics, Avs Engineering College, Salem-636003 Tamil Nadu, India
23
Department of Mathematics, Sri Sarada College for Women, Salem-636016 Tamil Nadu, India

Abstract: In this paper, we introduce maximal smooth fuzzy -centered system, the smooth fuzzy space u(R). Also
extremally -disconnectedness in smooth fuzzy -centered system and its properties are studied.

Keywords: Maximal smooth fuzzy -centered system, the smooth fuzzy space u(R) and smooth fuzzy extremally -
disconnectedness.
2000 Mathematics Subject Classification: 54A40-03E72.

I. Introduction and Preliminaries
The concept of fuzzy set was introduced by Zadeh [8]. Since then the concept has invaded nearly all branches of
mathematics. In 1985, a fuzzy topology on a set X was defined as a fuzzy subset T of the family I
X
of fuzzy subsets of X
satisfying three axioms, the basic properties of such a topology were represented by Sostak [6]. In 1992, Ramadan [4],
studied the concepts of smooth topological spaces. The method of centered systems in the theory of topology was introduced
in [3]. In 2007, the above concept was extended to fuzzy topological spaces by Uma, Roja and Balasubramanian [8]. In this
paper, the method of -centered system is studied in the theory of smooth fuzzy topology. The concept of extremally -
disconnectedness in maximal structure u(R) of maximal smooth fuzzy -centered system is introduced and its properties are
studied.

Definition 1.1. [6]
A function T: I
X
I is called a smooth fuzzy topology on X if it satisfies the following conditions:
a) T( ) 0 = T( ) 1 = 1
b) T(
1
.
2
) > T(
1
).T(
2
) for any
1
,
2
e I
X

c)
( )
i i
i i
T T( )
eI eI
v . > For any {
i} i
eI
e I
X

The pair (X, T) is called a smooth fuzzy topological space.

Definition 1.2. [7]
Let R be a fuzzy Hausdroff space. A system p = {
o
} of fuzzy open sets of R is called fuzzy centered system if any
finite collection of fuzzy sets of the system has a non-zero intersection. The system p is called maximal fuzzy centered
system or a fuzzy end if it cannot be included in any larger fuzzy centered system.

Definition 1.3. [7]
Let u(R) denotes the collection of all fuzzy ends belonging to R. We introduce a fuzzy topology in u(R) in the
following way: Let P

be the set of all fuzzy ends that include as an element, where is a fuzzy open set of R. Now P

is a
fuzzy neighbourhood of each fuzzy end contained in P

. Thus to each fuzzy open set of R, there corresponds a fuzzy

neighbourhood P

in u(R).

Definition 1.4. [7]
A fuzzy Hausdroff space R is extremally disconnected if the closure of an open set is open.

Definition 1.5. [1]
The fuzzy real line R(L) is the set of all monotone decreasing elements e L
R
satisfying v { (t)/ t e R } = 1 and .
{ (t)/ t e R } = 0, after the identification of , e L
R
iff (t-) = (t) and (t+) = (t+) for all t e R, where (t-) = . { (s)
: s < t } and (t+) = v { (s) : s > t }. The natural L-fuzzy topology on R(L) is generated from the sub-basis { L
t
, R
t
}
where L
t
() = (t-)' and R
t
() = (t+).

Definition 1.6. [2]
The L-fuzzy unit interval I (L) is a subset of R(L) such that [] e I(L) if (t) = 1 for t < 0 and (t) = 0 for t > 1.


EXTREMALLY -DISCONNECTEDNESS IN SMOOTH
FUZZY -CENTERED SYSTEM
International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 464 | Page
Definition 1.7. [5]
A fuzzy set is quasi-coincident with a fuzzy set , denoted by q , if there exists x e X such that (x) + (x) >
1, otherwise q
/

.
II. The Spaces of maximal smooth fuzzy -centered systems
In this section the maximal smooth fuzzy centered system is introduced and its properties are discussed.

Definition 2.1.
A smooth fuzzy topological space (X, T) is said to be smooth fuzzy -Hausdorff iff for any two distinct fuzzy points
x
t
1
, x
t
2
in X, there exists r-fuzzy -open sets , e I
X
such that x
t
1
e and x
t
2
e with q .

Definition 2.2.
Let R be a smooth fuzzy -Hausdorff space. A system p

= {
i
} of r-fuzzy -open sets of R is called a smooth
fuzzy -centered system if any finite collection of {
i
} is such that
i
q
/

j
for i j. The system p

is called maximal smooth

fuzzy -centered system or a smooth fuzzy -end if it cannot be included in any larger smooth fuzzy -centered system.

Definition 2.3.
Let (X, T) be a smooth fuzzy topological space. Its Q*-neighbourhood structure is a mapping Q* : X x I
X
I (X
denotes the totality of all fuzzy points in X), defined by
Q*(
t
0
x , ) = sup { : is an r-fuzzy -open set, s ,
t
0
x e } and
=
q x
t
0
inf Q*(
t
0
x , ) is r-fuzzy -open set.

We note the following Properties of maximal smooth fuzzy -centred system.
(1) If
i
e p

( i = 1, 2, 3n), then
i
n
1 i
.
=
e p.

Proof:
If
i
e p

(i = 1, 2, 3n), then
i
q
/

j
for i j. If
i
n
1 i
.
=
e p

, then p

{
i
n
1 i
.
=
} will be a larger smooth fuzzy -end than p.
This contradicts the maximality of p

. Therefore,
i
n
1 i
.
=
e p

.
(2) If 0 = < , e p

and is an r-fuzzy -open set, then e p

.

Proof:
If e p

, then p

{ } will be a larger smooth fuzzy -end than p

. This contradicts the maximality of p

. Therefore
e p

.

(3) If is r-fuzzy -open set, then e p

iff there exists e p

such that
q .

Proof:
Let e p

be an r-fuzzy -open set. If there exists no e p

such that q , then q

/
for all e p

. That is, p

{ } will be a larger smooth fuzzy -end than p

. This contradicts the maximality of p

.
Conversely, suppose that there exists e p

such that q . If e p

, then q
/
. Contradiction. Hence e p

.
(3) If
1
v
2
=
3
e p

,
1
and
2
are r-fuzzy -open sets in R with
1

q
2
, then either
1
e p

or
2
e p

.

Proof:
Let us suppose that both
1
e p

and
2
e p

. Then
1
q
/

2
. Contradiction. Hence either
1
e p

or
2
e p

.

Note 2.1
Every smooth fuzzy -centered system can be extended in atleast one way to a maximum one.

III. The Smooth Fuzzy maximal structure in u(R).
In this section, smooth fuzzy maximal structure in the collection of all smooth fuzzy -ends u(R) is introduced and
its properties are investigated.
Let u(R) denotes the collection of all smooth fuzzy -ends belonging to R. We introduce a smooth fuzzy maximal
structure in u(R) in the following way:
International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 465 | Page
Let P

be the set of all smooth fuzzy -ends that include as an element, where is a r-fuzzy -open set of R. Now,
P

is a smooth fuzzy Q* -neighbourhood structure of each smooth fuzzy -end contained in P

. Thus to each r-fuzzy -open

set of R corresponds a smooth fuzzy Q* -neighbourhood structure P

in u(R).

Proposition 3.1.
If and are r-fuzzy -open sets, then
(a) P
v
= P

.

(b) P


) r , ( C 1
) R ( T
P

= u(R).
Proof:
(a) Let p

e P

. That is, e p

. Then by Property (2), v e p

. That is, p

e P
v
. Hence P

P

_ P
v
. Let p e P
v
.
That is, v e p

. By the definition of P

, e p

or e p

. That is, p

e P

or p

e P

, therefore, p

e P

P

. This
shows that P

P

_ P
v.
Hence, P
v
= P

P
.
(b) If p

e
) r , ( C 1
) R ( T
P

, then ) r , ( C 1
) R ( T
e p

. That is, e p

and p

e P

. Hence, u(R)

) r , ( C 1
) R ( T
P

c P

. If p

e P

, then e p

. That is,

) r , ( C 1
) R ( T
e p

, p

e
) r , ( C 1
) R ( T
P

. Therefore, p

e u(R)
) r , ( C 1
) R ( T
P

. That is, P

c
u(R)

) r , ( C 1
) R ( T
P

. Hence, P


) , ( 1
) (
r C
R T
P

= u(R).

Proposition 3.2.
u(R) With the smooth fuzzy maximal structure described above is a smooth fuzzy -compact space and has a base
of smooth fuzzy Q*-neighbourhood structure {P

} that are both r-fuzzy -open and r-fuzzy -closed.

Proof:
Each P

in u(R) is a r-fuzzy -open by definition and by (b) of Proposition 3.1, it follows that it is r-fuzzy -closed.
Thus u(R) has a base of smooth fuzzy Q*-neighbourhood structure { P

} that are both r-fuzzy -open and r-fuzzy -closed.

We now show that u(R) is smooth fuzzy -compact. Let { P

o
} be a covering of u(R) where each P

o

is r-fuzzy -open. If it
is impossible to pick a finite sub covering from the covering, then no set of the form 1
v
=
n
i 1

-C
T(R)
(

o
i
,
r) is 0 , since
otherwise the sets P

o
i
would form a finite covering of u(R). Hence the sets 1
v
=
n
i 1
-C
T(R)
(

o
i
,
r) form a smooth fuzzy -
centered system. It may be extended to a maximal smooth fuzzy -centered system p

. This maximal smooth fuzzy -

centered system is not contained in { P

o
}

since it contains in particular, all the 1 -C
T(R)
(

o
i
,
r). This contradiction proves
that u(R) is smooth fuzzy -compact.

IV. Smooth fuzzy Extremally -Disconnectedness in the maximal structure u(R).
Definition 4.1.
A smooth fuzzy -Hausdorff space R is smooth fuzzy extremally -disconnected if -C
T(R)
(, r) is r-fuzzy -open
for any r-fuzzy -open set , r e I
0
.

Proposition 4.1.
The maximal smooth fuzzy structure u(R) of maximal smooth fuzzy -centered system of R is smooth fuzzy
extremally -disconnected.

Proof:
The proof of this theorem follows from the following equation
o
o
v
P
= -C
T(u(R))
(
o

o
P
, r), r e I
0
. If < , it
follows that P

c P

and therefore
o

o
P
c -C
T(u(R))
(
o
o
v
P , r). By Proposition 3.2,
o
o
v
P is r-fuzzy -closed and
therefore, -C
T(u(R))
(
o

o
P
, r) c
o
o
v
P
. Let p be an arbitrary element of
o
o
v
P
=
o

o
P
. Then by Pro.3.1 (a), p

e -
C
T(u(R))
(
o

o
P
, r). Therefore,
o
o
v
P
c -C
T(u(R))
(
o

o
P
, r). Hence,
o
o
v
P
= -C
T(u(R))
(
o

o
P
, r).

International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 466 | Page
Note 4.1.
The maximal structure u(R) of maximal smooth fuzzy -centered system is smooth fuzzy extremally -disconnected if
o
o
v
P
= -C
T(u(R))
(
o

o
P
, r) where
o
s r-fuzzy -open sets. By Pro 3.1(a), it follows that
o
o
v
P
= -C
T(u(R))
(
o
o
v
P
, r).
That is, P

=
-C
T(u(R))
( P

, r) where

=
o
o
v .
Proposition 4.2.
Let u(R) be an maximal smooth fuzzy -centered system of the smooth fuzzy -Hausdorff space R. Then the
following conditions are equivalent:
(a) The space u(R) is smooth fuzzy extremally -disconnected.
(b) For each r-fuzzy -open P

, -I
T(u(R))
(

u(R) P

,r) is r-fuzzy -closed, r e I

0
.
(c) For each r-fuzzy -open P

, -C
T(u(R))
( P

, r) + -C
T(u(R))
( u(R)

C
T(u(R))
( P

, r), r) = u(R), r e I
0
.
(d) For every pair of collections of r-fuzzy -open sets { P

} and { P

} such that -C
T(u(R))
( P

, r) + P

= u(R)
, we
have
-C
T(u(R))
( P

, r) + -C
T(u(R))
( P

, r) = u(R)
,
r e I
0
.


Proof:
(a) (b).
Let
u(R) be an smooth fuzzy extremally -disconnected space and suppose that P

be r-fuzzy -open, r e I
0
. Now,

-
C
T(u(R))
(P

, r) = u(R)

-I
T(u(R))
(

u(R) P

, r). Since u(R) is smooth fuzzy extremally -disconnected, P

= -C
T(u(R))
(P

,
r). Now, P

= u(R)

-I
T(u(R))
(

u(R) P

, r). Since , P

is r-fuzzy -open.

(b) (c).
Suppose that P

be r-fuzzy -open, r e I
0
. Then,
-C
T(u(R))
( P

, r) + -C
T(u(R))
( u(R)

-C
T(u(R))
( P

, r), r)
= -C
T(u(R))
( P

, r) + -C
T(u(R))
( -I
T(u(R))
(u(R) P

, r), r)
= -C
T(u(R))
( P

, r) + -I
T(u(R))
(u(R) P

, r)
= -C
T(u(R))
( P

, r) + u(R)

-C
T(u(R))
( P

, r)
= u(R)
.
(c) (d).
Suppose that

P

and P

are r-fuzzy -open, r e I

0
, with

-C
T(u(R))
( P

, r) + P

= u(R) (4.3.1)
Now by (c), we have
u(R)

= -C
T(u(R))
( P

, r) + -C
T(u(R))
(u(R)

-C
T(u(R))
( P

, r), r

)
= -C
T(u(R))
(P

, r) + -C
T(u(R))
( P

, r) (from (4.3.1))
Hence, -C
T(u(R))
( P

, r) + -C
T(u(R))
( P

, r) = u(R).

(d) (a).
Let us suppose that P

r-fuzzy -open, r e I
0
and let
P

= u(R)

-C
T(u(R))
(P

, r) (4.3.2)
This implies that P

is r-fuzzy -open. By (d), we have
-C
T(u(R))
( P

, r) + -C
T(u(R))
(P

, r) = u(R)
. (4.3.3)
From (4.3.2) and (4.3.3) we have,

P

= -C
T(u(R))
( P

, r). By Note 4.1, it follows that u(R) is smooth fuzzy extremally -disconnected.

Proposition 4.3.
Let u(R) be the space of maximal smooth fuzzy -centered system of the smooth fuzzy -Hausdorff space R. Then,
u(R) is smooth fuzzy extremally -disconnected iff for all r-fuzzy -open P

and r-fuzzy -closed P

with P

_ P

, -
C
T(u(R))
(P

, r) _ -I
T(u(R))
(P

, r), r e I
0
.

Proof:
Let P

be r-fuzzy -open and P

be r-fuzzy -closed, r e I
0
, with P

_ P

. Then -I
T(u(R))
( P

, r) _ -
I
T(u(R))
(P

, r). That is, P

_ -I
T(u(R))
(P

, r). This implies that, -C

T(u(R))
( P

, r) _ -C
T(u(R))
(-I
T(u(R))
(P

, r), r). By
Proposition 4.2.(b), it follows that, -C
T(u(R))
( P

, r) _ I
T(u(R))
( P

, r).
International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 467 | Page
Conversely, suppose that P

be r-fuzzy -closed, r e I
0
. Then, -I
T(u(R))
(P

, r) _ P

. By assumption, -C
T(u(R))
(-
I
T(u(R))
(P

, r), r) _ -I
T(u(R))
(P

, r) (4.3.1)
But, -I
T(u(R))
(P

, r) _ -C
T(u(R))
(-I
T(u(R))
(P

, r), r) (4.3.2)
From (4.3.1) and (4.3.2), we get
-I
T(u(R))
(P

, r) = -C
T(u(R))
( -I
T(u(R))
(P

, r), r).
That is, -I
T(u(R))
(P

, r)) is r-fuzzy -closed. By Proposition 4.2(b), it follows that u(R) is smooth fuzzy extremally
-disconnected.

Remark 4.1.
Let u(R) be an smooth fuzzy extremally -disconnected space. Let { P

i
, u(R) P

i
, I N } be a collection such
that P

i

are r-fuzzy -open and P

I

are r-fuzzy -closed, r e I
0
. Let P

, P

are both r-fuzzy -open and r-fuzzy -closed.
If P

i


_ P

_ P

i

and P

i

_ P

_

P

i
, then there exists an P
q

which is both r-fuzzy -open and r-fuzzy -closed

such that -C
T(u(R))
( P

i
, r) _ P
q

_ -I
T(u(R))
( P

i
, r).
Proof:
By proposition 4.3, we have -C
T(u(R))
( P

i
, r) _ -C
T(u(R))
(P

, r) -I
T(u(R))
(P

, r) _ -I
T(u(R))
(P

i
, r).
Therefore, P
q

= -C
T(u(R))
(P

, r) -I
T(u(R))
(P

, r) is such that r-fuzzy -open and r-fuzzy -closed. Hence -

C
T(u(R))
(P

i
, r) _ P
q

_ -I
T(u(R))
(P

i
, r).

Proposition 4.4.
Let u(R) be an smooth fuzzy extremally -disconnected space. Let { P

q

}q
eQ
and { P

q
}
qeQ
be monotone
increasing collections of r-fuzzy -open and r-fuzzy -closed sets and suppose that P

q
1
_ P

q
2
whenever q
1
< q
2
(Q is the
set of all rational numbers). Then there exists a monotone increasing collections { P

q
}
qeQ
of r-fuzzy -open and r-fuzzy -
closed sets such that -C
T(u(R))
( P

q
1
, r) _ P
q
q
2
and P
q
q
1
_ -I
T(u(R))
( P

q
2
, r) whenever q
1

< q
2
, for all r-fuzzy -open sets

q
,
q
, q
q
, r e I
0
.

Proof:

Let us arrange into a sequence { q
n
} of all rational numbers (without repetition). For every n > 2, we shall define
inductively a collection { P
q
q
i
/ 1 s i s n} such that for all i < n
-C
T(u(R))
( P

q
, r) _ P
q
q
i

if q < q
i

P
q
q
i
_ -I
T(u(R))
( P

q
, r) if q
i
< q
By Proposition 4.3.3, the countable collection { -C
T(u(R))
(P

q
1
, r)} and {-I
T(u(R))
(P

q
2
, r)} satisfy -C
T(u(R))
(P

q
1
, r) _ -
I
T(u(R))
(P

q
2
, r) if q
1

< q
2
. By Remark 4.3.1., there exists P
o

1

which is both r-fuzzy -open and r-fuzzy -closed, with -
C
T(u(R))
(P

q
1
, r) _ P
o

1

_ -I
T(u(R))
(P

q
2
, r). Setting P
o

1

= P
q
q
1
we get (S
2
). Define P

= { P
q
q
i
/ i < n, q
i

< q
n
}
P

q
n
and P
|

= { P
q
q
j
/ j < n, q
j

> q
n
} P

q
n
. Then, we have -C
T(u(R))
(P
q
q
i
, r) _ -C
T(u(R))
(P

, r) _ -I
T(u(R))
(P
q
q
j
,
r) and -C
T(u(R))
(P
q
q
i
, r) _ -I
T(u(R))
(P
|

, r) _ -I
T(u(R))
(P
q
q
j
, r) whenever q
i

< q
n
< q
j
(i < j < n) and P

q
_ -C
T(u(R))
(P

, r)
_ P

q
'
and P

q
_ -I
T(u(R))
(P
|

, r) _ P

q
'
whenever q < q
n
< q'. This shows that the countable collections {P
q
q
i
/ i < n, q
i

<
q
n
} {P

q

/
q
<
q
n
} and

{P
q
q
j
/ j < n, q
j

> q
n
} {P

q
/q >
q
n
} together with
P

and
P
|

fulfill all the
conditions of
Remark 4.1. Hence there exists a collection P
o
q
n
which is r-fuzzy -open and r-fuzzy -closed such that
-C
T(u(R))
(P
o
q
n
, r) _ P

q
if q >
q
n,
P

q
_-I
T(u(R))
( P
o
q
n
, r) if q < q
n

-C
T(u(R))
( P
q
q
i
, r) _ -I
T(u(R))
( P
o
q
n
, r) if q
i

< q
n

-C
T(u(R))
(P
o
q
n
, r) _ -I
T(u(R))
(P
q
q
j
, r) if q
j
> q
n

where 1 s i, j s n 1.
(Sn)
International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 468 | Page
Now setting P
q
q
n
= P
o
q
n
we obtain the collections P
q
q
1
, P
q
q
2
,, P
q
q
n
, that satisfy (S
n+1
). Therefore the collection { P
q
q
i
/ i
= 1,2,3, --- n } has the required property.

Definition 4.2.
Let u(R) be an maximal smooth fuzzy -centered system. The smooth fuzzy real line R*(I) in smooth fuzzy -
centered system is the set of all monotone decreasing r-fuzzy -sets { P

} satisfying { P

(t)
/ t e R } = u(R) and {
P

(t)
/t e R } = |, after the identification of P

and P

iff P

(t-)
= P

(t-)
and P

(t+)
= P

(t+)
for all t e R, where P

(t-)
=
{ P

(s)
/ s < t } and P

(t+)
= { P

(s)
/ s > t }. The natural smooth fuzzy topology on R*(I) is generated from the sub-basis
{ L
t
*, R
t
*} where L
t
*[ P

] = P

(t-)'
and R
t
*[ P

] = P

(t+)
. A partial order on R*(I) is defined by [P

] s [P

] iff P

(t-)
_
P

(t-)
and P

(t+)
_ P

(t+)
for all t e R.

Definition 4.3.
Let u(R) be an maximal smooth fuzzy -centered system. The smooth fuzzy unit interval I*(I) in smooth fuzzy -
centered system is a subset of R*(I) such that [P

]

e I*(I) if P

(t)
= u(R) for t < 0 and P

(t)
= | for t > 1 where

s are r-
fuzzy -open set and t e R, r e I
0
.

Definition 4.4.
Let u(R) be an maximal smooth fuzzy -centered system. A mapping f : u(R) R*(I) is called lower (upper)
smooth fuzzy -continuous if f
1
(R
t
*) (resp. f
1
(L
t
*)) is r-fuzzy -open (resp. f
1
(L
t
*) is r-fuzzy -open and r-fuzzy -
closed set), for all t e R, r e I
0
.

Proposition 4.5.
Let u(R) be an maximal smooth fuzzy -centered system. Let f : u(R) R*(I) be a mapping such that
u(R) t < 0

= P

(t)
0 s t s 1

| t > 1
Where

is a r-fuzzy -open set. Then f is lower (upper) smooth fuzzy -continuous iff

is a r-fuzzy -open set(resp r-

fuzzy -closed).

Proof:
Now, u(R) t < 0

P

(t)
0 s t s 1

| t > 1

implies that f is lower smooth fuzzy -continuous iff P
(t)
is r-fuzzy -open.
Now, u(R) t < 0

P

(t)
0 s t s 1

| t > 1

implies that f is upper smooth fuzzy -continuous iff P

(t)
is r-fuzzy -open and r-fuzzy -closed.

Definition 4.5.
Let u(R) be an maximal smooth fuzzy -centered system. The characteristic function _
P

(P

) is a function _
P

:

u(R) I*(I) defined by _
P

(P

) = P

if P

e u(R).
Definition 4.6.
Let u(R) be an maximal smooth fuzzy -centered system. Then _
P

is lower (resp. upper) smooth fuzzy -

continuous iff P

is r-fuzzy -open(resp., P

is r-fuzzy -open and r-fuzzy -closed), r e I

0
.

f(P

(t))
f

1
(Rt*) =
f

1
(Lt*) =
International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 469 | Page
Definition 4.7.
Let u(R) be an maximal smooth fuzzy -centered system. Then f : u(R) R*(I) is said to be strongly smooth fuzzy
-continuous if f
1
(R
t
*) is smooth fuzzy -open and f
1
(L
t
*) is both r-fuzzy -open and r-fuzzy -closed, for all t e R, r e
I
0
.

Proposition 4.7.
Let u(R) be an maximal smooth fuzzy -centered system. Then the following statements are equivalent :
(a) u(R) is an smooth fuzzy extremally -disconnected space.
(b) If g, h : u(R) R*(I), where g is lower smooth fuzzy -continuous, h is
upper smooth fuzzy -continuous and g s h, then there exists a strong
smooth fuzzy -continuous function f such that g s f s h.
(c) If u(R) P

and P

are both r-fuzzy -open and -closed with P

_ P

,
then there exist a strong smooth fuzzy -continuous function
f : u(R) I such that P

_ (u(R) L
1
*)f _ R
0
*f _ P

.

Proof:
(a) (b)
Define H
i
= h
1
L
i
*
and G
i
= g
1
(u(R) R
i
*) , i e Q. Then we have two monotone increasing collections H
i
which are r-
fuzzy -open sets and G
i
r-fuzzy -closed sets, r e I
0
. Moreover H
i
_ G
j
if i < j. By Proposition 4.3.4, there exists a
monotone increasing collections of r-fuzzy -open and r-fuzzy -closed sets { F
i
}
ieQ
, such that -C
T(u(R))
(H
i
, r) _ F
j
and F
i

_ -I
T(u(R))
(G
j
, r) if i < j. Set V
k
=
k i<
(1 F
i
) such that V
k
is a monotone decreasing collection of r-fuzzy -open and r-fuzzy
-closed sets.
Moreover, -C
T(u(R))
(V
k
, r) _ -I
T(u(R))
(V
j
, r) whenever k < j.
Therefore,
R ke
V
k =
R ke
(
k i<
(1 F
i
))
_
R ke
(
k i<
(1 G
i
))
=
R ke
(
k i<
g
1
(R
i
*))
=
R ke
( g
1
(R
k
*))
= g
1
(
R ke
R
k
*)
=

u(R).
Similarly,
R ke

V
k
= |.
Define a function f : u(R) R*(I) satisfying the required properties. Let f(P

i
) = q

i
(t) where P
q

i
(t)
is a collection
in V
k
. To prove that f is strongly smooth fuzzy -continuous. We observe that
k j>

V
j
=
k j>

-I
T(u(R))
(V
j
, r) and
k j<

V
j
=
k j<

-C
T(u(R))
(V
j
, r). Then f
1
(R
k
*) =
k j>

V
j
=
k j>

-I
T(u(R))
(V
j
, r) is r-fuzzy -open set and f
1
(1 - L
k
*) =
k j<

V
j
=
k j<

-
C
T(u(R))
(V
j
, r) is r-fuzzy -closed and f
1
(L
k
*) is r-fuzzy -open set. Hence f is strongly smooth fuzzy -continuous.
To show that g s f s h. That is, g
1
(1 L
t
*) _ f
1
(1 L
t
*) _ h
1
(1 L
t
*), g
1
(R
t
*) _ f
1
(R
t
*) _ h
1
(R
t
*).
Now, g
1
(1 L
t
*) =
t s<

g
1
(1

L
s
*)
=
t s<

s p<

g
1
(R
p
*)
=
t s<

s p<

(1

G
p
)
_
t s<

s p<

(1

F
p
)
=
t s<

V
s
=
f
1
(1

L
t
*)
f
1
(u(R)

L
t
*) =
t s<

V
s

International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 470 | Page
=
t s<

s p<

(1 F
p
)
_
t s<

s p<

(1

H
p
)
=
t s<

s p<

h
1
(1

L
p
*)
=
t s<

h
1
(1

L
s
*)

=
h
1
(1

L
t
*)
Similarly we obtain,
g
1
(R
t
*) =
t s>

g
1
(R
s
*)
=
t s>

s p>

g
1
(R
p
*)
=
t s>

s p>

(1

G
p
)
_
t s>

s p<

(1

F
p
)
=
t s>

V
s
=
f
1
(R
t
*) and
f
1
(R
t
*) =
t s>

V
s

=
t s>

s p<

(1

F
p
)
_
t s>

s p<

(1

H
p
)
=
t s>

s p<

h
1
(1

L
p
*)
=
t s>

h
1
( R
s
*)


= h
1
(R
t
*).
Thus (b) is proved.

(b) (c)
Suppose P

is r-fuzzy -open set and r-fuzzy -closed set and P

is r-fuzzy -open set and r-fuzzy -closed set with

P

_ P

. Then _
P

_ _
P

, where _
P

, _
P

are lower and upper smooth fuzzy -continuous function respectively. By (b),
there exist a strongly smooth fuzzy -continuous function f : u(R) R(I) such that _
P

s f s _
P

. Clearly f(P

) e I*(I) and
P

= (1

L
1
*)_
P

_ (1 L
1
*)f _ R
0
*f _ R
0
* _
P

_ P

.
Therefore, P

_ (1

L
1
*)f _ R
0
*f _ P

.

(c) (a)
By (c), it follows that (1 L
1
*)f and R
0
*f are r-fuzzy -open and r-fuzzy -closed. By Proposition 4.3, it follows that
u(R) is an smooth fuzzy extremally -disconnected space.

V. Tietze Extension Theorem
In this section, Tietze Extension Theorem for smooth fuzzy extremally -disconnected space is discussed.

Proposition 5.1.
Let u(R) be a smooth fuzzy extremally -disconnected space. Let A _ u(R) and the collection { P

} in A such that
_
P

is r-fuzzy -open. Let f : A I*(I) be a strongly smooth fuzzy -continuous function. Then, f has a strongly smooth
fuzzy -continuous extension over u(R).


International Journal of Modern Engineering Research (IJMER)
www.ijmer.com Vol.3, Issue.1, Jan-Feb. 2013 pp-463-471 ISSN: 2249-6645

www.ijmer.com 471 | Page
Proof:
Let g, h : u(R) I*(I) be such that g = f = h on A.
Now,
P

t
. _
P

if t > 0

u(R) if t < 0 where P

t
is r-fuzzy -open

set and is such that P

t
= R
t
*g in A.

P

t
. _
P

if t s 1

u(R) if t >1 where P

t
is both r-fuzzy -open and -closed set is such that
P

t
= L
t
*h in A. Thus g is lower smooth fuzzy -continuous, h is upper smooth fuzzy -continuous and g s h. By
Proposition 4.7, there is a strong smooth fuzzy -continuous function F: u(R) I*(I) such that g s F s h. Hence f F on A.

REFERENCES
[1] GANTNER.T.E., STEINLAGE.R.C and WARREN.R.H: Compactness in fuzzy topological; spaces, J. Math. Anal. Appl., 62
(1978), 547-562.
[2] HUTTON.B. : Normality in fuzzy topological spaces, J. Math. Anal. Appl., 43 (1973), 734-742.
[3] ILLIADIS and FOMIN.S: The method of centred systems in the theory of topological spaces, N, 21(1966), 47 - 66.
[4] RAMADAN A.A: A smooth topological spaces, Fuzzy Sets and Systems 48,371 (1992).
[5] RAMADAN A.A, ABBAS. S.E. and ABD EL LATIF A.A.: On fuzzy bitopological spaces in Sostaks sense, Commun. Korean
Math.Soc., 21 [2006) , 865 877.
[6] SOSTAK A.P.: On a fuzzy topological structure. Rend. Circ. Materm Palermo (Ser II), 11 (1985), 89 103
[7] UMA M.K., ROJA.E, BALASUBRAMANIAN.G: The method of centred systems in fuzzy topological spaces, The Journal of fuzzy
mathematics, 15(4), 2007, 1 7.
[8] ZADEH L.A.: Fuzzy sets. Information and Control, 8(1965), 338 353.


R
t
*g =
Lt*h =