The Number of Fuzzy Clopen Sets in Fuzzy Topological Spaces

We show the number of fuzzy clopen sets in an arbitrary fuzzy topological space can be any natural number greater than 1 if it is finite. We give an upper bound for this number. We shall also prove that the number of all crisp fuzzy clopen sets in an arbitrary fuzzy topological space is a power of 2 if it is finite.


Introduction
After Zadeh created fuzzy sets in his classical paper [11], Chang [2] used them to introduce the concept of a fuzzy topology.
In this paper we shall follow [10] for the definitions of: fuzzy point and fuzzy topology. For instance, a fuzzy point p in a set X is a fuzzy set in X given by p(x) =t for x=x p (0<t<1) and p(x) = 0 for x ≠ x p . x p is called the support of p and p(x p )=t the value of p. However, we shall agree that a fuzzy crisp point q in X is a fuzzy set in X given by q(x) =1 for x=x q and q(x)= 0 for x ≠ x q. It is clear that p is a fuzzy singleton (as introduced by Goguen [5] and used by Ghanim, Kerre and Mashhour [4]) if and only if p is either a fuzzy point or a fuzzy crisp point. We shall also follow [4] for the definition of c χ denotes the characteristic function of M) and fuzzy subspace topology. We shall follow [8] for the definition of 'belonging to'. Namely: A fuzzy point p in X is said to belong to a fuzzy set λ in X (notation: p λ ∈ ) iff p(x p )< λ (x p ). Finally, two fuzzy points p and q in X are said to be distinct iff their supports are distinct, i.e., x p ≠ x q . For an arbitrary fuzzy set λ on X, the ordinary set { µ : µ is a fuzzy set on X and µ λ ⊆ } is called the fuzzy power class of λ and is denoted by ( ) Remember that a fuzzy set λ on X is just a function from X to the unit interval [0,1]. The complement of the fuzzy set λ (denoted by c λ ) in X given by c λ (x)= 1-λ (x), x ∈ X. If r [0,1], ∈ then r will denote the fuzzy constant set on X given by r(x)=r, x∈ X. A fuzzy topology τ on a nonempty set X is a collection of fuzzy sets on X that 0, 1 and closed under finite intersection and arbitrary union. Elements of the fuzzy topology are called fuzzy open sets and their complements are called fuzzy closed sets. A fuzzy set λ is called fuzzy clopen set in X if it is fuzzy open and fuzzy closed, simultaneously. By a fuzzy crisp set we shall mean a fuzzy set on X whose range is a subset of the ordinary doubleton {0,1}. (i.e., if it is a characteristic function).
Recall that a topology T on a nonempty set X is a subset of the ordinary power set of X ( ( ) X Ρ ) that contain ϕ and X, and is closed under arbitrary union and finite intersection. A topology on X is a sublattice of ( ( ) X Ρ , ⊆ ) with the maximum element X, denoted by 1, and the minimum element ϕ , denoted by 0. A set H ⊆ X is called an open set in the topological space (X,T) provided H∈ T. Complement of open set s are called closed sets. A set M is called a clopen set in (X,T) provided {M, M c } ⊆ T( i.e., M is closed and open, simultaneously). The collection of all (fuzzy) clopen sets in (X, T) (T is either a topology or a fuzzy topology on X) will be denoted by CO(X, T) (or CO(X) if no confusion will arise). The cardinality of a set X will be denoted by card (X) (or X ). N, Q, R denote the sets of natural, rational and real numbers, respectively. T ind , T dis , T Sor will denote the indiscrete, the discrete and the Sorgenfrey topologies, respectively.
In a topological space (X,T), the complement of a clopen set is another clopen set (disjoint with it). Thus the number of clopen sets in any toplogical space must be even if finite. However this even number cannot be 6 for example. Fora [3] proved the following results. 1.1 THEOREM. Let (X,T) be a topological space such that CO(X,T) is finite. Then card CO(X,T)= 2 k for some k∈ N. 1.2 THEOREM. Given a nonempty set X and n ≥ 1 is any cardinal number. If X ≥ n, then there exists a topology T on X such that card (CO(X, T)) = 2 n .
One application of (fuzzy) clopen sets is that they can be used to describe (fuzzy) connectedness. In particular, a

25
(fuzzy) topological space (X,T) is (fuzzy) connected if and only if card (CO(X,T))= 2. It is clear that in general CO(X,T) need not be a topological space even if (X,T) is 0-dimensional (i.e., T has a base consisting of clopen sets). Indeed, CO(R,T Sorg ) is not a topology on R because (o,1) is not a clopen set in (R,T Sorg ) although (0,1) = Several researchers have enumerated the topologies on a finite set [1,6,7]. Others have studied the number of open sets of finite topologies [9]. Fora [3] has studied the number of clopen sets of arbitrary topological space. He used an algebraic approach for his goal.

Enumeration of CO(X,T) for Fuzzy Topological Space (X,T)
The following result shows that the number of fuzzy clopen sets in a fuzzy topological space may be any natural number (odd as well as even) greater than 1.

PROPOSITION.
For any ordinary nonempty set X and any natural number n, let T= {j/n: j= 0,1,2,…,n-1,n}. Then (X,T) is a fuzzy topological space with CO(X,T)= T of cardinality n+1 ≥ 2 may be even as well as odd.
The following result shows that CO(X,T) can be even denumerable as well as having cardinality the continuum c. ii) τ = {c: 0 Then (X,T), (X, τ) are fuzzy topological spaces satisfying the conclusion (i.e., CO(X,T) = T is denumerable and card(CO(X, τ)) =card(τ) = c.
The following result gives an upper bound for card CO(X,T) for fuzzy topological space (X,T). Of course its lower bound is 2. Its value is exactly 2 for connected fuzzy topological space (X,T).

PROPOSITION.
Let X be an infinite set and T be a fuzzy topology on X. Then 2 ≤ card ( CO(X,T)) 2 X ≤ . Notice that we have used the fact that The following result shows that the number of crisp fuzzy clopen sets obeys the order obtained by Fora [3]. Namely, we have the following convergence result with ordinary topological spaces. 2.5. THEOREM. Let (X,T) be a fuzzy topological space such that CO(X,T) is finite. Then the collection of all crisp fuzzy clopen sets in (X,T) has cardinality 2 n for some natural number n. Proof. Denote the collection of all crisp fuzzy clopen sets in (X,T) by K(X,T). Then For , α β ∈ K(X,T), define the binary operation * by ). This operation makes ( K(X,T), * ) an abelian group with the identity element 0. Moreover, for any α ∈ K(X,T), we have α * α ). I.e., each element has its own inverse. Thus applying the same technique as in Fora [3], we get (K(X,T), * ) ≈ (isomorphic to) C 1 xC 2 x…xC n , where C i ≈ Z 2 for i= 1,…,n. Hence card K(X,T) = card (C 1 xC 2 x…xC n ) = 2 n . Another topological PROOF. Denote the collection of all crisp fuzzy clopen sets in (X,T) by K(X,T). Then Then τ is indeed a topology on X because CO(X,T) is finite. Moreover CO(X, τ ) is finite. Hence by Theorem 1.1 (see Fora [3]). Card (CO(X, τ )) )= 2 n for some n . N ∈ Henceforth Card K(X,T) = Card (CO(X, τ )) )= 2 n .

Final Conclusion
As we have discovered in [3] that in any topological space, the number of clopen sets must be a power of 2 if it is finite. Although the collection of all clopen sets in general does not form a topology. However, if the number of all clopen sets is finite then these particular sets will indeed forms a topology. The case diverse in fuzzy topological spaces. As we have pointed out, the number of fuzzy clopen sets can be any natural number greater than 1 (even or odd). It also can be denumerable or continuum. However, the collection of all crisp fuzzy clopen sets must obey the rule as in ordinary topology, i.e., in the sense that their number is a power of 2 if it is finite.