International Journal of Applied Information Systems (IJAIS) – ISSN : 2249-0868

Foundation of Computer Science FCS, New York, USA

Volume 11 – No. 6, November 2016 – www.ijais.org

Separation of Fuzzy Topological Space

Mohammad Arshaduzzaman, PhD
M.Sc (Mathematics)
Associate Professor
Department of Mathematics
Al Baha University, Al Baha
Kingdom of Saudi Arabia (KSA)

ABSTRACT 2. THEOREM (I)

In this paper I discussed about some separation properties of
fuzzy topological space. The definition of fuzzy compactness
does not hold good on the definition of fuzzy Hausdorff space,
we introduce a new definition of proper compactness and prove
some interesting results related with it.
Every fuzzy T2- space is a fuzzy T1- space.
Proof : Let (X, T) be a fuzzy T2- space.
qp'
Case (i) : Let p be a fuzzy point in X, and let be
arbitrary. Then, there exist an open set Gq containing q such that

(p) x p  Gq x p 
Keywords
Fuzzy set, Fuzzy topological space, Fuzzy Hausdorff space,
compactness, T2- space.
Hence Gq {p}. So, {p} being the union of open sets, is an open
1. INTRODUCTION set. This implies that {p} is closed.
Let X be any set. A fuzzy set A in X is characterized by
 A : X  0,1 A fuzzy singleton p in X is
G 
Case (ii) : Let p be a crisp point and converges to zero, then we
membership function
pqn nN p Gpqn
p can find a sequence of open sets with
a fuzzy set with the membership function defined by 
p (X)  y if x  x 0 qn Gpqn for all n, as (X, T) is fuzzy T
= 0 otherwise and 2.
y (0,1). x 0 p x 0    A x 0  
where fuzzy set in X, if P   Gpqn
pAiff p x 0   A x 0 
If then p is a closed set with
Hence p x q  0 and p x p  1
Definition 1 :
A fuzzy topological space is said to be Housdorff of fuzzy T2 if
p Vpqn

qP' p' p'

the following conditions are satisfied :

p, q X , So, P' is an open set with Consequently, is

For any
an open set i.e.
p is closed. So, (X, T) is fuzzy T -space.
1
xp  x q
(i) If then there exist open sets and Gp and We now introduce the concept of properly compact space in a
  fuzzy
pGp and qGq,pGp
Gq, topological space and prove an analogous result of general
p x p  q x q 
topology which holds for a compact Hausdroff space.By
(ii) xp = xq and there exist an Palaniappan[3] & Zadeh[4]

pGp but qGp Definition 4 :
open Gp with .
A family 1G :iIopen sets in fuzzy topological space X is
By Srivastava & Lal [8]. called a proper open cover of a fuzzy set A in X if for every
Definition 2 : x X Gix
A fuzzy set A is said to be open for each , there exists an open there exists a member of this family such that of
pG  A Gix (x)   A (x)
set G with . Out definition of open set is this family such that
equivalent to that given by Change [1].
The family
Gi :iI is called a proper open sub cover of
Definition 3 :
A fuzzy topological space is said to be a fuzzy T1- space if the
Gi :iI if it is itself a proper open cover of A.
By Lowen[5].
singletons are closed. By Hutton & Reilly [2].

1
 International Journal of Applied Information Systems (IJAIS) – ISSN : 2249-0868
Foundation of Computer Science FCS, New York, USA
Volume 11 – No. 6, November 2016 – www.ijais.org

Definition 5 : p x p  Fp x p for all x q X

A fuzzy set A in a fuzzy topological space X is said to be Then Fp is closed and (v)

p x p  Fp x p 
properly compact if every proper open cover of A is reducible to
a finite proper open sub cover.
We also have (iv)

F  where
By Lowen [6] & Rodabaugh[7].
p
3. THEOREM 2 Then, for all satisfying the condition (i), the family
Every properly compact set in a fuzzy T2- space is closed. F 'p
is open in X, satisfies the conditions (v) & (vi).
Consequently we have
 A x q  Inf Fp x q for all x q X.
Proof : Let A be a properly compact set in a fuzzy T2-space X.
We choose a point with p

p x p   A x p  A   Fp
(i)
Then, p with establishes that A is closed.
since X is T2, there exists an open Gp with
 A x p  Gp x p  4. CONCLUSION
(ii) From the above theorems and definitions it is clear that A fuzzy

p x p  Gp  x p 
set in a fuzzy topological space is said to be properly compact if
every proper open cover of a fuzzy set is reducible to a finite
and (iii) proper open sub cover and every properly compact set in a fuzzy
Thus, for each such X there exists a family
T2-space is closed. Thus the definition of fuzzy compactness

G pq : x q  X
of open sets
does not hold good on the definition of fuzzy Hausdorff space.

5. REFERENCES
 A x q  Gpq x q  x q X [1] Chang, C.L. : Fuzzy topological spaces, J.Math. Anal.
with for all there exists a
 A x q  Gpq x q 
Appl. 24, 182-190, 1960.

family
G pq : x X
of open sets [2] Hutton, B & Reilly, I. : Seperation axioms in fuzzy
with (iv) topological space, Fuzzy Sets & systems 3, 99-104, 1980.

sup [3] Palaniappan, N. : Fuzzy topology, Narosa Publ. House,

 A x q  x q Gpq x p 
New Delhi, 2002.

So, [4] Zadeh, L.A. : Fuzzy sets, Inform, Control, 8, 338-353.

[5] Lowen R : Fuzzy topological spaces and fuzzy
A   Gpq compactness,J. Math. Anal. Appl.,56 (1976), pp.621–633.
x q X
This implies that
[6] Lowen R: Compact Hausdorff fuzzy topological spaces

Thus, the family

G pq : x q  X
is a proper cover of A. Since
are topological, Topology and Appl., 12 (1981), pp. 65–
74.
A is properly compact, there exists a finite subfamily, say,
[7] Rodabaugh S :The Hausdorff separation axiom for fuzzy
G pq1 ,Gpq2 ,....., Gpqmof Gpq : xqXofGpq : x q X
with
topological spaces,Topol. Appl.,11 (1980),pp. 319–334.

m 
[8] Srivastava R, Lal S N, and Srivastava A K, “Fuzzy
A   Gpqk .Then A   Gpqk  Fp (sup pose) Hausdorff topological spaces,” Journal of Mathematical
K 1 Analysis and Applications, vol. 81, no. 2, pp. 497–506,
1981.