i
has FUP;
Dr. H.S.Nayal, Manoj Kabadwal / International Journal of Engineering Research and Applications
(IJERA) ISSN: 22489622 www.ijera.com
Vol. 2, Issue4, JulyAugust 2012, pp.22512255
2252  P a g e
For if v
n
j=1
A
j
= 1xi;
Where P
i
1
(A
j
) e
Then n
V
j=1
P
1
i
(A
j
) = 1x
Since P
i
1
(1xi) = 1x and P
1
i
preserves
Therefore
i
is a noncover for
each i e I and there exits x
i
e X
i
such that
(V
i
) (x
i
) = a
i
<1
Now let x = < x
i
> e X and
I
= { P
1
i
(A) A e
i
}
Then _ implies =
I
I
and
( V
i
) (xi) = a
i
implies
( V
i
) (x) = a
i
Since ( V
I
) (x) = V { (P
i
1
(A)) (x)  A
e
i
and P
i
1
(A) e }
= V { A (P
i
(x)) P
i
1
(A) e
and Ae
i
} = (V
i
)
a
(xi).
Therefore (V ) (x) = V ((V
I
) (x))
ieI
= V ai < 1
i
since I is  isolated in I; each
a i < 1 and I .
1.7 Theorem If 1 is not isolated in L; then there
is a collection <xi:
i
> for i e I and I =
of compact Lspaces such that the product
<x: > is noncompact.
Proof non  isolation given I with I=
and ai <1 for i e I such that V
i
a
i =
1
.
Let X
i
= for ieI and
Let
i
= { 0, (ai)
[n]
. 1 }*; where
As ; for a e L and S _ Xi; denote the
function equal to a on S and O or X
i
S;
where [n] = { 0,1 . N1} and
where  indicates the L topology
generated by as a subbasis.
Then < ,
i
> is a compact. As every A e
i
except 1 is contained in (a
i
)
N
; and (a
i
)
N
<1; that
_
i
is a cover iff 1 e therefore every
cover has {1} as a subcover.
But <x : > = i
eI
<X
i
:
i
> is non
compact. Let A
in
denote the open Lset P
i
1
((ai) [n]) e : for i e I
at is given for x e X by the formula
A
in
(x) = a i if x
i
<n;
and A
in
(x) = O otherwise
{ A
in
} i e I; n e }
is an open cover with no finite subcover.
First V
n
A
in
= (a
i
)
x
. since
V
n
(ai)
[N]
= (ai)
in <xi:
i
;>
and P
i
1
preserves suprema so that
V
in
A
in
= Vi (V
n
A
in
) = Vi (a
i
)
x
= l
Second no finite subcollection
{A
in
 < i;n>e J } ; J < e can
Cover; since V<i,n> e J A
in
(x) = O
For any x with
X
i
V {n <i; n> e J } For any i
and infinitely many such x always exist.
1.8 Initial and Final Topologies In this paper we
introduce the notations of initial and final
topologies. For this firstly we defined initial
and final topologies then their theorems. We
show that from a categorical point of view
they are the right concept of generalize the
topological ones.
We show that with our notion of
fuzzy compactness the Tychonoff product
theorem is safeguarded. We also show that
this is not the case for weak fuzzy
compactness.
1.9 Initial Fuzzy Topologies If we consider a set E;
a fuzzy topological space (f:y) and a function
: E F then we can
define
1
(Y) = {
1
() : e Y }
It is easily seen that
1
(Y) is the smallest
fuzzy topology making fuzzy continuous.
More generally: consider a family of fuzzy
topological space
(F
j
: Y
j
) jeJ and for each je J a function
j
: E f
j
then it is easily seen that the union
1
j(Y
j
)
je J
is a subbase for a fuzzy topology on E
making every
i
fuzzy continues . we denote
it by
1
j
(Y
j
) or sup
1
j
(Y
j
)
je J j e J
1.10 Definition The initial fuzzy topology on E for
the family of fuzzy topological space (Fj:
Yj) j e J and the family of functions
j
: E (F
j
: y
j
)
Dr. H.S.Nayal, Manoj Kabadwal / International Journal of Engineering Research and Applications
(IJERA) ISSN: 22489622 www.ijera.com
Vol. 2, Issue4, JulyAugust 2012, pp.22512255
2253  P a g e
is the smallest fuzzy topology on E making
each function
j
fuzzy continuous.
Within the notations of the
definition let (G:o) be a fuzzy topological
space and let be a function from G to E
then will be fuzzy continuous iff all the
compositions
j
o are fuzzy continues.
Moreover the initial fuzzy topology on E is
the finest one possessing this property; it is
equally clear that the transitivity property for
initial topologies holds for initial fuzzy
topologies.
1.11 Definition If (E
j
, o
j
) j e J is a family of fuzzy
topological space; then the fuzzy product topology on
jeJ
E
j
is defined as the initial fuzzy topology on
jeJ
E
j
for the family of spaces (E
j
. o
j
) j e J and function
i:
jeJ
E
j
Ei
Where i e J
i = P
ri
,
the protection on the i
th
coordinate.
1.12 Definition if (E
j
, o
j
)
jeJ
is a family of fuzzy
topological space then the fuzzy product
topology, on
jeJ
E
j
is defined as the initial
fuzzy topology on
jeJ
E
j
for the family of
spaces (E
j
,o
j
)
jeJ
and functions i:
jeJ
jeJ
E
j
Ei where
i eJ fi = p
ri
the projection
on i
th
coordinate we denote this fuzzy
topology
jeJ
o
j
.
1.13 Theorems of Initial Topologies The
Theorems related to initial fuzzy topologies
is as follows
1.14 Lemma if : E F, o then
i (
1
(o )) =
1
(i(o )) = i (
1
(o)).
Proof  :E;
1
(i (o)) F.
i (o) is continuous: thus : E; W (

1
(i(o ))) F;
o is fuzzy continuous.
This implies W (
1
(i(o )))
1
(o)
1
(o)
1
(i(o)) i (
1
(o ))) i (
1
(o)).
Further: : E ;
1
( o ) F
o is fuzzy continuous thus
E : i (
1
(o)) F.
i (o) is continuous and this implies
i (
1
(o))
1
(i(o)).
1.15 Theorem If E is a set (F
j
: T
j
)
jeJ
is a family of
topological space and
j
: E E
j
is a family of
functions then we have
Sup
1
j
(w(T
j
))= w (sup
j

1
(T
j
))
jeJ jeJ
Proof we can prove this theorem By the following
lemma:
Lemma 1:if : E F : o then
i (
1
(o )) =
1
(i(o)) = i (
1
(o)).
Lemma 2:if : E F: W (T) then
W (
1
(T)) =
1
(W(T)).
Consider now a set E; a family of fuzzy
topological spaces (F
j
: o
j
)
jeJ
and a family of
functions
j
: E F
j
Then on the one hand: we can consider the
initial fuzzy topology as defined and take
the associated topology
i.e. i (sup)
1
(o
j
))
jeJ
on the other hand we can consider the family
of topological spaces (F
j
; i (o
j
))
jeJ
and take
the initial topology i.e.
Sup
1
j
(i(o
j
)).
j e J
Showing that these two topologies are equal
is trivial.
1.16 Theorem if E is a set (F
j
. o
j
)
jeJ
is a family of
fuzzy topological spaces: and
j
: E F
j
is a family of function:
then we have
Dr. H.S.Nayal, Manoj Kabadwal / International Journal of Engineering Research and Applications
(IJERA) ISSN: 22489622 www.ijera.com
Vol. 2, Issue4, JulyAugust 2012, pp.22512255
2254  P a g e
i (sup

1
j
(o
j
)) = sup
j
1
(i(o
j
)).
jeJ
jeJ
Proof we can prove this theorem by the help of
lemma 1
if : E F: o then
i (
1
(o)) =
1
(i(o)) = i (

1
(o)).
It follows that
jeJ
j
1
(i(o
j
)) = i
i
j
(o
j
).
and the result then follows
analogously by the lemma 2
Lemma 3: if E is a set and (T
j
)
jeJ
is a family of
topologies on E then
Sup e(T
j
) = e(sup T
j
).
jeJ jeJ
1.17 Final Fuzzy Topologies Consider a set F a
fuzzy topological space (E:o): and a function
: E F
Then we can define
(o) = <{v :
1
(v ) e o
}>
more generally consider a family of fuzzy
topological space (E
j
: o
j
)
jeJ
and for each jeJ
a function
j
: E
j
F.
It is easily seen that the intersection
j
(o
j
)
jeJ
is the finest fuzzy topology on F making all
the functions f
j
fuzzy continuous.
1.18 Definition the final fuzzy topology on F: for the
family of fuzzy topological spaces (E
j
:o
j
)
jeJ
and the family of functions
j
: (E
j
:o
j
) F
is the finest fuzzy topology on F making
each functions
j
: fuzzy continuous.
And
j
e J :
Let o
j
= e (T
j
)
Then on the other hand we have
j
(e (T
j
)).
jeJ
and on the other hand we have
W (
j
(T
j
))
jeJ
again we can show the two fuzzy
topological to be the same.
1.19 Lemma 1 if :E o F
Then we have i ((o)) = (i(o)) i ((o)).
Proof to show the inclusions
i ((o )) (i(o)) i ((o))
we proceed as we proceeded in lemma:
if : E F: o then
i (
1
(o)) =
1
(i(o)) = i (
1
(o )).
The remaining inclusion is shown using the
latter one upon o.
i.e i ((o)) c (i(o)) = (ioe
(i(o)))= (i(o)).
1.20 Lemma 2 if :E: e (T) F then we have
(e(T)) = e ( (T)).
Proof from lemma as proved above. at follows with
o = e (T) then
(e (T)) = W ( (T))
However: (e (T) is topologically
generated indeed it is the finest fuzzy
topology making
Dr. H.S.Nayal, Manoj Kabadwal / International Journal of Engineering Research and Applications
(IJERA) ISSN: 22489622 www.ijera.com
Vol. 2, Issue4, JulyAugust 2012, pp.22512255
2255  P a g e
: E : e (T) F:
(W(T)) fuzzy continuous
But since e (T) is topologically
generated
: E: e (T) F:
(e(T)) still is fuzzy continuous and thus
(e(T) = (w(T)).
1.21 Conclusion In this section we discussed about
the fuzzy Tychonoff theorems and initial
and final fuzzy topology fuzzy Tychonoff
theorems is describes as arbitrary products
of compact spaces are compact. We show
that with our notion of fuzzy compactness
the Tychonoff product theorem is
safeguarded.
REFERENCES:
[1] E. Bishop, Foundations of Constructive
Analysis, McGrawHill, New York, 1967.
[2] J.A. Goguen; Catogories of fuzzy sets; Ph.
D. Thesis; university of cal. At Berkeley;
Dept. of Math. 1968. (available through
University microfilm).
[3] J.A. Goguen; Lfuzzy sets; J.math Anal.
Appl. 18 (1967); 145 174.
[4] J.L. Kelley General Topology Van
Nostrand: Princetor: new Jersey : 1955.
[5] L.A. Zadeh; fuzzy sets inform and control 8
(1965); 338358
[6] S. Mac Lane, Categories for the Working
Mathematician, SprinerVerlag New York,
1971
[7] P.M. Cohn, universal Algebra, Harper and
Row, New York, 1965.
Much more than documents.
Discover everything Scribd has to offer, including books and audiobooks from major publishers.
Cancel anytime.