arxiv: v1 [math.gn] 24 Oct 2010

Transcript

1 1 COMPACTNESS IN L-FUZZY TOPOLOGICAL SPACES JOAQUÍN LUNA-TORRES a AND ELÍAS SALAZAR-BUELVAS b arxiv: v1 [math.gn] 24 Oct 2010 a Universidad Sergio arboleda b Universidad de Cartagena Abstract. We give a definition of compactness in L-fuzzy topological spaces and provide a characterization of compact L-fuzzy topological spaces, where L is a complete quasi-monoidal lattice with some additional structures, and we present a version of Tychonoff s theorem within the category of L-fuzzy topological spaces. 0. Introduction Over the years, a number of descriptions of compactness of fuzzy topological spaces has appeared. As mathematicians sought to general topology in various ways using the concept of fuzzy subsets of an ordinary set, it is not surprising that searches for such properties were obtained with different degrees of success, depending on the structure of the underlying lattice L. One of the main goals of any theory of compactness is to investigate the problem to which extent the formulation of a theorem of Tychonoff is possible. The aim of this paper is to present a version of Tychonoff s theorem within the category of L-fuzzy topological spaces, when the underlying lattice L is a cqm-lattice with some additional structures. Following P. T. Johnstone ([10]), within the text of the paper, those propositions, lemmas and theorems whose proofs require Zorn s lemma are distinguished by being marked with an asterisk. 1 Partially supported by Universidad de Cartagena 2000 Mathematics Subject Classification. 54A40, 54D30, 06B23. Key words and phrases. GL-monoid; Co-GL-monoid; L-fuzzy topological space; L-fuzzy filter; L-fuzzy neighborhood system; L-fuzzy interior operator; Adherent point; Tychonoff theorem. 1

2 The paper is organized as follows: After some lattice-theoretical prerequisites, where we briefly recall the concept of a cqm-lattice, in section 2 we shall present the concept of compact L-fuzzy topological spaces. Finally, in section 3 we present a proof of the Tychonoff s theorem. 1. From Lattice Theoretic Foundations Let (L, ) be a complete, infinitely distributive lattice, i.e. (L, ) is a partially ordered set such that for every subset A L the join A and the meet A are defined, moreover ( A) α = {a α) a A and ( A) α = {a α) a A for every α L. In particular, L =: and L =: are respectively the universal upper and the universal lower bounds in L. We assume that, i.e. L has at least two elements cqm lattices. The definition of complete quasi-monoidal lattices introduced by E. Rodabaugh in [11] is the following: A cqm lattice (short for complete quasi-monoidal lattice) is a triple (l,, ) provided with the following properties (1) (L, ) is a complete lattice with upper bound and lower bound. (2) : L L : L is a binary operation satisfying the following axioms: (a) is isotone in both arguments, i.e. α 1 α 2, β 1 β 2 implies α 1 β 1 α 2 β 2 ; (b) is idempotent, i.e. = GL monoids. A GL monoid (see [6], [7], [8]) is a complete lattice enriched with a further binary operation, i.e. a triple (L,, ) such that: (1) is isotone, i.e. α β implies α γ β γ, α,β,γ L; (2) is commutative, i.e. α β = β α, α,β L; 2

3 (3) is associative, i.e. α (β γ) = (α β) γ, α,β,γ L; (4) (L,, ) is integral, i.e. acts as the unity: α = α, α L; (5) acts as the zero element in (L,, ), i.e. α =, α L; (6) is distributive over arbitrary joins, i.e. α ( λ β λ) = λ (α β λ), α L, {β λ : λ I L; (7) (L,, ) is divisible, i.e. α β implies the existence of γ L such that α = β γ. It is well known that every GL monoid is residuated, i.e. there exists a further binary operation (implication) on L satisfying the following condition: α β γ α (β γ) α,β,γ L. Explicitly implication is given by α β = {λ L α λ β. Important examples of GL-monoids are Heyting algebras and M V-algebras. Namely, a Heyting algebra is GL-monoid of the type (L,,,, ) (i.e. in case of a Heyting algebra = ), cf. e.g. [10]. A GL-monoid is called an MV-algebra if (α ) = α α L, [4], [5], see also [8, Lemma 2.14]. Thus in an MV-algebra an order reversing involution c : L L can be naturally defined by setting α c := α α L. If X is a set and L is a GL-monoid, then the fuzzy powerset L X in an obvious way can be pointwise endowed with a structure of a GL-monoid. In particular the L-sets 1 X and 0 X defined by 1 X (x) := and 0 X (x) := x X are respectively the universal upper and lower bounds in L X Co-GL-monoids. A co-gl monoid is a complete lattice with a further binary operation, i.e. a triple (L,, ) such that: 3

4 (1) is isotone, i.e. α β implies α γ β γ, α,β,γ L; (2) is commutative, i.e. α β = β α, α,β L; (3) is associative, i.e. α (β γ) = (α β) γ, α,β,γ L; (4) (L,, ) is co-integral, i.e. acts as the unity: α = α, α L; (5) acts as the co-zero element in (L,, ), i.e. α =, α L; (6) is distributive over arbitrary meets, i.e. α ( λ β λ) = λ (α β λ), α L, {β λ : λ I L; (7) (L,, ) is co-divisible, i.e. α β implies the existence of γ L such that α γ = β. Every co-gl monoid is co-residuated, i.e. there exists a further binary operation (co-implication) on L satisfying the following condition: α β γ α (β γ) α,β,γ L. Explicitly, coimplication is given by α β = {λ L α β λ. If X is a set and L is a co-gl-monoid, then the fuzzy powerset L X in an obvious way can be pointwise endowed with a structure of a co-gl-monoid. Remark 1.1. In this paper we will use the particular case in which = and the co-implication is α β = {λ L α β λ. In the sequel (L,, ) denotes an arbitrary GL-monoid and (L,, ) denotes an co-gl-monoid. 2. Compactness and L-fuzzy Topological Spaces In this section we recall some topological concepts (as in [9]) from the theory of L-fuzzy topological spaces. 4

5 Definition 2.1. Given (L,, ) a cqm-lattice and X a non-empty set; an L-fuzzy topology on X is a map τ : L X L satisfying the following axioms: o1. τ(1 X ) =, o2. For f,g L X, τ(f) τ(g) τ(f g), o3. For every subset {f λ of L X the inequality τ(f λ ) τ( f λ ) holds. If τ is an L-fuzzy topology on X, the pair (X, τ) is an L-fuzzy topological space. If the set X is non-empty, then L X consists at least of two elements. In particular, the universal lower bound in (L X, ) is given by 0 X. When we take the empty subset of L X and we apply the axiom o3, we obtain o1. τ(0 X ) =. Definition 2.2. Given (X, τ) and (Y, η) L-fuzzy topological spaces, a map φ : X Y is L-fuzzy continuous iff for all g L Y, φ satisfies η(g) τ(g φ). In this way, we have the category L-FTop where the objects are the L-fuzzy topological spaces and the morphisms are the L-fuzzy continuous maps. On the set T L (X) of all L-fuzzy topologies on X we have a partial ordering: τ 1 τ 2 τ 1 (f) τ 2 (f), f L X. Remark 2.3. On the set L X L we introduce a partial ordering by (f,α) (g,β) (f g and β α) 5

6 Lemma 2.4. Let L be a complete lattice such that (L,, ) is a GL monoid and (L,, ) is a co-gl monoid, then (L X L,, ), where (f,α) (g,β) := (f g,α β), (f,α),(g,β) L X L, is a GL monoid. Proof. It is straightforward to check that for {(f λ,α λ ) L X L: (i) (f λ,α λ ) = ( f λ I λ, α λ I λ). (ii) (f λ,α λ ) = ( f λ I λ, α λ I λ). (iii) = (1 X, ) is the universal upper bound of (L,, ). (iv) = (0 X, ) is the universal lower bound of (L,, ). Consequently, is isotone, commutative and associative; (L,, ) is integral with respect to and acts as the zero element in (L,, ). (v) is distributive over arbitrary joins, i.e. for all (f,α) L X L, for all {(g j,β j ) j I L X L, (f,α) j I(g j,β j ) = (f,α) g j, j j I j Iβ = f j Ig j,α j Iβ j = (f g j ), j ) j I j I(α β = (f g j,α β j ) j I = [(f,α) (g j,β j )]. j I (vi) (L X L,, ) is divisible, i.e. (f,α) (g,β) f g and β α implies the existence of h L X and γ L such that f = g h and β γ = α, in other words (f,α) = (g h,β γ) = (g,β) (h,γ). 6

7 Remark 2.5. The residuation in (L X L,, ) is the binary operation given by (f,α) (g,β) = {(h,η) h f g, β η α h L X η L = (f g,β α), which satisfies the following condition (f,α) (g,β) (h,γ) (f,α) [(g,β) (h,γ)], (f,α),(g,β),(h,γ) L X L. It is also straightforward to check that (f,α) [(g,β) (h,γ)] [(g,β) (f,α) (h,γ)]. [(g,β) (f,α)] [(g,β) (h,γ)] [(g,β) (f,α) (h,γ)], whenever will be idempotent. Definition 2.6 (L-fuzzy filter). Let X be a set. A map F : L X L L is called an L-fuzzy filter on X if and only if F satisfies the following axioms: (FF0) F(1 X,α) =. (FF1) (f,α) (g,β) F(f,α) F(g,β). (FF2) F(f,α) F(g,β) F(f g,α β). (FF3) F(0 X,α) =. LetF LF (X)bethesetofallL-fuzzyfiltersonX. OnF LF (X)weintroduce a partial ordering by F 1 F 2 F 1 (f,α) F 2 (f,α), (f,α) L X L Proposition 2.7. The partially ordered set (F LF (X), ) has maximal elements. 7

8 Proof. Referring to Zorn s lemma, it is sufficient to show that every chain C in F LF (X) has an upper bound in F LF (X). For this purpose let us consider a non-empty chain C = {F λ λ I. We define a map F : L X L L by F (f,α) = F λ (f,α), and we show that F is an L-fuzzy filter on X. In fact (FF0) F (1 X,α) = F λ(1 X,α) = =. (FF1) (f,α) (g,β) F (f,α) = F λ(f,α) F λ(g,β) = F (g,β). (FF2) ( ) ( ) F (f,α) F (g,β) = F λ (f,α) F λ (g,β) = [F λ (f,α) F λ (g,β)] [F λ (f g,α β)] = F (f g,α β). (FF3) F (0 X,α) = F λ(0 X,α) = =. Definition 2.8. A maximal element in (F LF (X), ) is also called an L- fuzzy ultrafilter. Proposition 2.9. For every L-fuzzy filter U : L X L L on X the following assertions are equivalent (i) U is an L-fuzzy ultrafilter. (ii) U(f,α) = (U [(f,α) (0 X,ρ)]), for all (f,α) L X L, for all ρ α in L. 8

9 Proof. (i) (ii) Because of (FF2) and (FF3) every L-fuzzy filter satisfies the condition (FF3 ) U(f,α) (U [(f,α) (0 X,ρ)]), for all (f,α) L X L, for all ρ α in L. In order to verify (i) (ii) it is sufficient to show that the maximality of U implies (U [(f,α) (0 X,ρ)]) U(f,α), (f,α) L X L, ρ α in L. For this purpose, we fix an element (g,β) L X L, for that element we let G β := (U [(g,β) (0 X,ρ)]) and define a map Û : LX L L by Û(f,α) = U(f,α) { U [(g,β) (f,α)] G β. We must show that Û is an L-fuzzy ultrafilter. Firstly Û is an L-fuzzy filter: obviously Û satisfies (FF0). For the axiom (FF1), from the definition Û(f,α) = U(f,α) { U [(g,β) (f,α)] G β and Û(h,γ) = U(h,γ) { U [(g,β) (h,γ)] G β. Now, for (f,α) (h,γ) we have that U(f,α) U(h,γ), moreover, (g,β) (f,α) = { (k,δ) L X L (g,β) (k,δ) (f,α) which implies that { (k,δ) L X L (g,β) (k,δ) (h,γ) = (g,β) (h,γ), Û(f,α) = U(f,α) { U [(g,β) (f,α)] G β U(h,γ) { U [(g,β) (h,γ)] G β = Û(h,γ). 9

10 For the axiom (FF2), we must verify that In fact, Û(f,α) Û(h,γ) Û(f,α) Û(h,γ) Û(f h,α γ), = ( U(f,α) { U [(g,β) (f,α)] Gβ ) ( U(h,γ) { ) U [(g,β) (h,γ)] Gβ = U(f,α) [U(h,γ) { ] U [(g,β) (h,γ)] Gβ [ {U { { ] [(g,β) (f,α)] Gβ U(h,γ) U [(g,β) (h,γ)] Gβ = U(f,α) U(h,γ) [ U(f,α) { U [(g,β) (h,γ)] Gβ ] ({ U [(g,β) (f,α)] Gβ U(h,γ) ) ({ U [(g,β) (f,α)] Gβ { U [(g,β) (h,γ)] Gβ ) = U(f,α) U(h,γ) [{ U(f,α) U [(g,β) (h,γ)] Gβ ] ({ U(h,γ) U [(g,β) (f,α)] Gβ ) ({ U [(g,β) (f,α)] U [(g,β) (h,γ)] Gβ ) U(f h,α γ) [U ((f,α) [(g,β) (h,γ)]) G β ] (U ((h,γ) [(g,β) (f,α)]) Gβ ) (U ([(g,β) (f,α)] [(g,β) (h,γ)]) Gβ ) U(f h,α γ) [U [(g,β) (f,α) (h,γ)] G β ] [U [(g,β) (f,α) (h,γ)] Gβ ] [U [(g,β) (f,α) (h,γ)] Gβ ] = U(f h,α γ) [U [(g,β) (f,α) (h,γ)] G β ] = Û(f h,α γ). In order to verify (FF3), we have that 10

11 Û(0 X,α) = U(0 X,α) { U [(g,β) (0 X,α)] G β = {U [(g,β) (0 X,α)] G β = U [(g,β) (0 X,α)] G β. On the other hand, using the fact that ρ α, we conclude that ρ β α β which implies (g,β) (0 X,α) (g,β) (0 X,ρ). Therefore, i.e. U ((g,β) (0 X,α)) U ((g,β) (0 X,ρ)), G β [U ((g,β) (0 X,ρ)) ]. Now we invoke the residuation property of (L,, ) to obtain Û(0 X,α) = {U [(g,β) (0 X,α)] G β =. Now we must show that Û is an L-fuzzy ultrafilter on X. In fact, since Û(f,α) = U(f,α) { U [(g,β) (f,α)] G β, clearly U(f,α) Û(f,α), (f,α) LX L, but U is an L-fuzzy ultrafilter on X, therefore Û = U. In this way U(g,β) = U(g,β) { U [(g,β) (g,β)] G β = U(g,β) { U(1 X, ) G β = U(g,β) { G β = U(g,β) G β. Therefore, G β = (U [(g,β) (0 X,ρ)]) U(g,β), (g,β) L X L. 11

12 From the last inequality and (FF3 ) we obtain (ii). (ii) (i) We must verify that if U(f,α) = (U [(f,α) (0 X,ρ)]), for all (f,α) L X L, for all ρ α in L then U is an L-fuzzy ultrafilter on X. Suppose U Û, then ((Û [(f,α) (0X,ρ)]) ) ((U [(f,α) (0 X,ρ)]) ), therefore Û U, consequently U is an L-fuzzy ultrafilter on X. Proposition Let φ : X Y be a map and let F : L X L L be an L-fuzzy filter on X. Then (1) The map φ F : LY L L defined by φ F (g,β) = F(g φ,β), (g,β) L Y L is an L-fuzzy filter on Y. (2) The map φ U : LY L L is an L-fuzzy ultrafilter on Y, whenever U will be an L-fuzzy ultrafilter on X Proof. (1). We must show φ F satisfies the axioms of an L-fuzzy filter: In fact, (FF0) φ F (1 Y,β) = F(1 Y φ,β) = F(1 X,β) =, β L. (FF1) (f,α) (g,β) φ F (f,α) = F(f φ,α) F(g φ,β) = φ F (g,β), since (f φ,α) (g φ,β). (FF2) φ F (f,α) φ F (g,β) = F(f φ,α) F(g φ,β) F((f g) φ,α β) = φ F (f g,α β), since (f φ) (g φ) = [(f g) φ]. (FF3) φ F (0 Y,α) = F(0 Y φ,α) = F(0 X,α) =, α L. 12

13 (2). Let U : L X L L be an L-fuzzy ultrafilter on X, let (g,β) L Y L and let α L, then φ U (g,β) = U(g φ,β) = U [(g φ,β) (0 X,α)] = U[(g φ) 0 X,α β] = U[(g φ) (0 Y φ),α β] = U[(g 0 Y ) φ,α β] = φ U [g 0 Y,α β] = φ U [(g,β) (0 Y,α)]. We conclude from 2.9 that φ U : LY L L is an L-fuzzy ultrafilter on Y. Proposition Let φ : X Y be a surjective map and let F : L Y L L be an L-fuzzy filter on Y. Then the map φ F : LX L L defined by φ F (f,α) = {F(g,β) (g φ,β) (f,α), (f,α) L X L, is an L-fuzzy filter on X. Proof. We must show φ F satisfies the axioms of an L-fuzzy filter: (FF0) φ F (1 X,α) = {F(g,β) (g φ,β) (1 X,α) = {F(g,β) g φ 1 X, α β g L Y β L = F(1 Y,α) =, α L. 13

14 (FF1) (f,α) (g,β) implies φ F (f,α) = {F(h,δ) (h φ,δ) (f,α) = {F(h,δ) h φ f, α δ h L Y δ L h L Y δ L {F(h,δ) h φ g, β δ = {F(h,δ) (h φ,δ) (g,β) = φ F (gβ). (FF2) φ F (f,α) φ F (g,β) = = {F(h,δ) (h φ,δ) (f,α) {F(j,η) (j φ,η) (g,β) {F(h,δ) F(j,η) ((h j) φ,δ η) (f g,α β) {F(h j,δ η) ((h j) φ,δ η) (f g,α β) = φ F (f g,α β). (FF3) φ F (0 X,α) = {F(h,δ) (h φ,δ) (0 X,α) = {F(h,δ) h φ 0 X, α δ h L Y δ L = F(0 Y,α), since φ is surjective =. Definition 2.12 (L-fuzzy neighborhood system). Let X be a set. A map N : X L (LX L) is called an L-fuzzy neighborhood system on X if and only if, for each p X, the mapping N p : L X L L satisfies the following axioms: 14

15 (N 0 ) N p (1 X,α) =. (N 1 ) (f,α) (g,β) N p (f,α) N p (g,β). (N 2 ) N p (f,α) N p (g,β) N p (f g,α β). (N 3 ) N p (f,α) f(p). (N 4 ) N p (f,α) {N p (g,β) (f,α) (g,β) and g(q) N q (f,α), q X. Definition 2.13 (L-fuzzy interior operator). Let X be a set. A map I : L X L L X is called an L-fuzzy interior operator on X if and only if I satisfies the following conditions: (I 0 ) I(1 X,α) = 1 X, α L. (I 1 ) (f,α) (g,β) I(f,α) I(g,β). (I 2 ) I(f,α) I(g,β) I(f g,α β). (I 3 ) I(f,α) f. (I 4 ) I(f,α) I ( I(f,α) ). (I 5 ) I(f, ) = f. (I 6 ) If K L, I(f,α) = f 0 α K, then I(f, K) = f 0. Lemma (cf. [9]) Given an L-fuzzy topology T : L X L on a set X, the mapping I T : L X L L X defined by I(f,α) := I T (f,α) = {u L X (u,t (u)) (f,α), (f,α) L X L is an L-fuzzy interior operator on X. Lemma (cf. [9]) Every L-fuzzy interior operator I : L X L L X induces, for each p X, an L-fuzzy neighborhood system Np I : L X L L defined by N p (f,α) := Np I (f,α) = [I(f,α)](p). Proposition Let (X,T ) and (Y,σ) be a pair of L-fuzzy topological spaces, let φ : X Y be an L-fuzzy continuous surjective map, let 15

16 N p : L X L L be the L-fuzzy neighborhood system of a point p X induced by T, and let N φ(p) : L Y L L be the corresponding L-fuzzy neighborhood system of φ(p) in Y induced by σ. Then N φ(p) φ (N p ) where φ (N p ) : L Y L L is defined by φ (N p )(g,β) = N p (g φ,β), (g,β) L Y L. Proof. From lemma 2.14 we have that I σ (g,β) = {u L Y (u,σ(u)) (g,β), (g,β) L Y L is an L-fuzzy interior operator on X. The L-fuzzy continuity of φ implies that σ(u) T (u φ), u L Y. We therefore have that {u L Y u g, β σ(u) {v L Y v g, β T (v φ), which implies {u L Y u g, β σ(u) {v L Y v g, β T (v φ). In other words, I σ (g,β) {v L Y v g, β T (v φ). If ω = {v L Y v g, β T (v φ), then N φ(p) (g,β) = [I σ (g,β)](φ(p)) ω(φ(p)) = (ω φ)(p), and so (2.16.1) N φ(p) (g,β) (ω φ)(p). On the other hand, it follows from ω φ g φ, and N p (g φ,β) = [I T (g φ,β)](p) = {u L X u g φ, β T (u)(p), 16

17 and ω φ {u L X u g φ, β T (u), that (ω φ)(p) {u L X u g φ, β T (u)(p) = [I T (g φ,β)](p) = N p (g φ,β) = φ (N (g,β), p) and so (2.16.2) (ω φ)(p) φ (N (g,β). p) Finally, from and , we conclude that N φ(p) φ (N p ). Definition 2.17 (Adherent point). Let (X, τ) be an L-fuzzy topological space and N : X L (LX L) the corresponding L-fuzzy neighborhood system. Further, let F : L X L L be an L-fuzzy filter on X. A point p X is called an adherent point of F iff there exists a further L-fuzzy filter G on X provided with the following properties (i) G( ).1 X,α), α L. (ii) N p G and F G. Definition An L-fuzzy topological space (X, τ) is compact iff each L-fuzzy filter on X has at least one adherent point. Proposition Let (X, τ) be a compact L-fuzzy topological space, let (Y,σ) be an L-fuzzy topological space and let φ : X Y be a surjective, L-fuzzy continuous map. Then (Y, σ) is compact. Proof. Let F : L Y L L be an L-fuzzy filter on Y, then by 2.11, φ F is an L-fuzzy filter on X. Since (X,τ) is compact, φ F has an adherent point p X, i.e. there exists an L-fuzzy filter G on X with N p G and φ F 17 G.

18 Now we form, using 2.10, the corresponding L-fuzzy filter image and we obtain from the surjectivity of φ the following relations F = φ (φ (F)) φ (G) and φ (N p ) φ (G). On the other hand, from 2.16 follows N φ(p) φ (N p ), which implies that F φ (G) and N φ(p) φ (G), hence φ(p) is an adherent point of F. This completes the proof of the proposition. In order to get a proof of our version of Tychonoff s theorem, we need the following lemmas: Lemma Let F = {(X λ,t λ ) λ I be a non-empty family of L-fuzzy topological spaces and let (X, T ) be its L-fuzzy topological product. Then for each p X, the mapping N p : L X L L defined by N p (f,α) = { N pλ (h λ,α) h Γ f, α τ λ (h λ ), where Γ f = {µ L X λ µ λ = 1 Xλ for all but finitely many indices λ, and (µ λ π λ ) f, is an L-fuzzy neighborhood system on X. Proof. We must show that N p satisfies the axioms of an L-fuzzy neighborhood system: (N 0 ). Let 1 LX λ defined by (1 ) λ = 1 Xα, for each λ I. Then 1 Γ 1X. Since (1) τ λ (1 Xλ ) = for all λ I, and so τ λ(1 Xλ ) = =, 18

19 (2) N pλ (1 Xλ,α) = for all λ I, and N p λ (1 Xλ,α) = =, then N p (1 X,α) = { We therefore have that N p (1 X,α) =. N pλ (h λ,α) h Γ 1X, α τ λ (h λ ) =. (N 1 ). It is our purpose to show that N p (f,α) N p (g,β), whenever f g in L X, and β α in L. Clearly f g implies that Γ f Γ g. Consequently, { τ λ (h λ ) N pλ (h λ,α) h Γ f, α { τ λ (h λ ). N pλ (h λ,β) h Γ g, β This verifies that N p (f,α) N p (g,β). (N 2 ). We must show that N p (f,α) N p (g,β) N p (f g,α β). Since N p (f,α) = { N p λ (h λ,α) h Γ f, α τ λ(h λ ) and N p (g,β) = { N p λ (j λ,β) j Γ g, β τ λ(j λ ), and since is distributive over non-empty joins, we have that N p (f,α) N p (g,β) = { N pλ (h λ,α) N pλ (j λ,β) h Γ f,j Γ g, α β = { [N pλ (h λ,α) N pλ (j λ,β)] h Γ f,j Γ g, α β τ λ (h λ j λ ) { τ λ (h λ j λ ) N pλ (h λ j λ,α β) h j Γ f g, α β = N p (f g,α β). (N 3 ). We must verify that N p (f,α) f(p), for each (f,α) L X L. τ λ (h λ j λ ) Since N pλ is an L-fuzzy neighborhood system on X λ, we have that N pλ (h λ,α) h λ (p λ ), for all λ I, and for all (h λ,α) L X λ L. Now, 19

20 let h Γ f, then h LX λ, h λ = 1 Xλ for all but finitely many indices λ I, and (h λ π λ ) f. Hence λ π λ )(p) = (h (h λ )(p λ ) f(p). We therefore have that N pλ (h λ,α) (h λ )(p λ ) f(p), which implies N p (f,α) = { N pλ (h λ,α) h Γ f, α τ λ (h λ ) f(p). (N 4 ). To show that N p (f,α) {N p (g,β) (f,α) (g,β), g(q) N q (f,α), q X, we must verify the following: N pλ (ω λ,α) {N pλ (v λ,β) (ω λ,α) (v λ,β), v λ (q λ ) N qλ (ω λ,α), q λ X λ implies N p (f,α) {N p (g,β) (f,α) (g,β), g(q) N q (f,α), q X. We observe from the hypothesis that, for ω Γ f and v Γ g, N pλ (ω λ,α) { N pλ (v λ,β) (ω λ,α) (v λ,β), v λ (q λ ) N qλ (ω λ,α), q λ X λ { N pλ (v λ π λ,β) (ω λ,α) (v λ,β), v λ (q λ ) N qλ (ω λ,α), q λ X λ. We therefore have that N p (f,α) {N p (g,β) (f,α) (g,β), g(q) N q (f,α), q X. 20

21 Lemma Let F = {(X λ,t λ ) λ I be a non-empty family of compact L-fuzzy topological spaces and let (X, T ) be its L-fuzzy topological product. Let U : L X L L be an L-fuzzy ultrafilter on X, then the following statements are equivalent: (1) U converges to an element p = (p λ ) in X. (2) For each λ I, πλ (U) converges to p λ, where π λ ;X X λ is the λth projection. Proof. (1) (2) is trivial. (2) (1). Suppose that π λ (U) converges to p λ, for each λ I. Then N pλ π λ (U). Therefore N pλ (h λ,α) πλ (U)(h λ,α) = U(h λ π λ,α) ( ) U (h λ π λ ),α U (f,α). It follows that N p (f,α) = { N pλ (h λ,α) h Γ f, α τ λ (h λ ) U (f,α). This establishes that U converges to an element p = (p λ ) in X. As a consequence of the previous lemmas, we get the main result: Theorem Let F = {(X λ,t λ ) λ I be a non-empty family of L-fuzzy topological spaces. Then the following assertions are equivalent: (1) (X λ,t λ ) is compact, for all λ I. 21

22 (2) The L-fuzzy topological product (X 0,T 0 ) of F in the category L-FTop is compact. References [1] J.Adámek, H. Herrlich, G. E. Strecker, Abstract And Concrete Categories: The Joy Of Cats, Wiley Interscince Pure And Applied Mathematics, John Wiley & Sons (Brisbane/Chisester/New York/Singapure/Toronto), [2] G. Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publications, Volume XXV, The American Mathematical Society (Providence, Rhode Island), [3] N. Bourbaki, General Topology, Part 1, Addison-Wesley Publishing Company, Advanced Book Program Reading, Massachusetts, [4] C.C. Chang, Algebraic analysis of many valued logics, Trans. Amer. Math. Soc. 88(1958), [5], A new proof of the completeness of the lukasiewicz axiom, Trans. Amer. Math. Soc. 93(1959), [6] U. Höhle, Monoidal closed categories, weak topoi and generalized logics, Fuzzy Sets and Systems 42(1991), [7], M-valued sets and sheaves over integral commutative cl-monoids, Applications of category theory to fuzzy subsets (Linz, 1989), Kluwer Acad. Publ., Dordrecht, 1992, [8], Commutative, residuated l-monoids, Non-classical logics and their applications to fuzzy subsets (Linz, 1992), Kluwer Acad. Publ., Dordrecht, 1995, [9] U. Höhle, A. Šostak, Axiomatic fundations of fixed-basis fuzzy topology, Chapter 3 in: U. Höhle, S. E. Rodabaugh, eds, Mathematics Of Fuzzy Sets: Logic, Topology And Measure Theory, The Handbook of Fuzzy Sets Series, Volume 3(1999), Kluwer Academic Publisher (Boston/Dordrecht/London), [10] P. T. Johnstone, Stone spaces, Cambridge University Press (Cambridge), [11] S. E. Rodabaugh, Powerset Operator Foundations For Poslat Fuzzy Set Theories and Topologies, Chapter 2 in: U. Höhle, S. E. Rodabaugh, eds, Mathematics Of Fuzzy Sets: Logic, Topology And Measure Theory, The Handbook of Fuzzy Sets Series, Volume 3(1999), Kluwer Academic Publisher (Boston/Dordrecht/London), [12] AP. Šostak, Fuzzy functions and an extension of the category L-Top of Chang-Goguen L-topological spaces, Proceedings of the Ninth Prague Topological Symposium, Contributed papers from the symposium held in Prague, Czech Republic, August 19 25, 2001, , Topology Atlas, Toronto, 2002; arxiv:math.gn/ [13] S. Willard, General Topology, Addison-Wesley Publishing Company (Reading, Massachusetts/Menlo Park, California/London/Amsterdam/Don Mills, Ontario/Sydney), address: a jluna@ima.usergioarboleda.edu.co address: b elisalazar31@hotmail.com 22