Dear Label_Name,

Greetings! I hope you are well.

I am writing on behalf of an international publishing house, Science and Education Publishing, USA (http://www.sciepub.com).

Science and Education Publishing (SciEP) is a multidisciplinary open access publisher of Journals covering the fields of Science, Technology and Medicine. All SciEP publications are subject to high-quality peer review, editorial and production processes and are freely available online.

Welcome to the April, 2013 edition of SciEP newsletter, providing monthly summaries of articles on science & education related topics of interest to scientist and professionals. The mission of our journals is to provide an open access forum for publishing new findings on issues pertinent to scientific and academic field. We also invite you to submit original research papers, review articles, short reports, or case studies are considered for publication in our Multidisciplinary Journals.

American Journal of Public Health Research
DOI: 10.12691/ajphr-1-1-3

The Implementation of a Tele-Homecare System with Service Oriented Architecture and HL7 Message Transmission Standard
Ching-Sung Wang

American Journal of Medical and Biological Research
DOI: 10.12691/ajmbr-1-1-2

The Influence of Ethanol on Pyruvate Kinases Activity in Vivo, in Vitro, in Silico
Lelevich Sergey Vladimirovich, Khrustalev Vladislav Victorovich, Barkovsky Eugene Victorovich, Shedogubova Tatyana Aleksandrovna

American Journal of Medical Sciences and Medicine
DOI: 10.12691/ajmsm-1-1-1

Clinical and Histological Features in Wegener Granulomatosis
Li Cavoli Gioacchino, Passantino Rita, Bono Luisa, Tortorici Calogera, Ferrantelli Angelo, Giammarresi Carlo, Rotolo Ugo

American Journal of Infectious Diseases and Microbiology
DOI: 10.12691/ajidm-1-1-2

The Curse of Lymphatic Filariasis: Would the Continual Use of Diethylcarbamazine Eliminate this Scourge in Papua New Guinea?
Anne Lanham, Lillian Mwanri

We have released issues of some journals on February 2013.
American Journal of Public Health Research
American Journal of Medical Sciences and Medicine
American Journal of Medical and Biological Research
American Journal of Pharmacological Sciences
American Journal of Clinical Medicine Research
American Journal of Nursing Research
American Journal of Cancer Prevention
American Journal of Medicine Studies
American Journal of Infectious Diseases and Microbiology
American Journal of Cardiovascular Disease Research
American Journal of Biomedical Research
American Journal of Mechanical Engineering
American Journal of Microbiological Research
Journal of Preventive Medicine
American Journal of Food and Nutrition
American Journal of Hypertension Research
American Journal of Sports Science and Medicine
Journal of Cancer Research and Treatment
American Journal of Zoological Research
Journal of Biomedical Engineering and Technology
American Journal of Microbiological Research
Biomedical Science and Engineering

We are pleased to announce that submissions are now being accepted for peer review for all the journals across all our subject areas in SciEP.

Please submit your manuscript via our online submission system:
http://www.sciepub.com/author/signin

To unsubscribe from our mailing list, please click on the following link: unsubscribe

I am looking forward to hearing from you.

Kind regards,

David Rain
Email:join@sciepub.com
Science and Education Publishing (http://www.sciepub.com)

The Number of Fuzzy Clopen Sets in Fuzzy Topological Spaces

Ali Ahmad Ali Fora

Department of Mathematics, Yarmok University, Irbid, Jordan

Abstract: 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.

Keywords: clopen, enumerating, finite set, fuzzy clopen

Citation: Ali Ahmad Ali Fora, The Number of Fuzzy Clopen Sets in Fuzzy Topological Spaces. Journal of Mathematical Sciences and Applications, 5 (1). 24-26. January 2017. doi:10.12691/jmsa-5-1-4

1. 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=xp (0<t<1) and p(x) = 0 for x xp. xp is called the support of p and p(xp)=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=xq and q(x)= 0 for x xq. 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 , CoM= (where 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(xp)< (xp). Finally, two fuzzy points p and q in X are said to be distinct iff their supports are distinct, i.e., xpxq. 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 ) in X given by (x)= 1-(x), xX. If then r will denote the fuzzy constant set on X given by r(x)=r, xX. 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 () that contain and X, and is closed under arbitrary union and finite intersection. A topology on X is a sublattice of (,) with the maximum element X, denoted by 1, and the minimum element , denoted by 0. A set HX is called an open set in the topological space (X,T) provided HT. Complement of open set s are called closed sets. A set M is called a clopen set in (X,T) provided {M, Mc}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 ).

N, Q, R denote the sets of natural, rational and real numbers, respectively. Tind, Tdis, TSor 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)= 2k for some kN.

1.2 THEOREM. Given a nonempty set X and n1 is any cardinal number. If n, then there exists a topology T on X such that card (CO(X, T)) = 2n.

One application of (fuzzy) clopen sets is that they can be used to describe (fuzzy) connectedness. In particular, a (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,TSorg) is not a topology on R because (o,1) is not a clopen set in (R,TSorg) 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.

2. 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.

2.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.

It is clear that the fuzzy constant set = j/n is clopen in (X,T) because c= (n-j)/n T ().

2.2. PROPOSITION. If (X,T) is a fuzzy disconnected space, then there exist nontrivial ( i.e., ) fuzzy clopen sets on X such that .

Proof: Since (X,T) is a fuzzy disconnected space, there exists a nontrivial fuzzy clopen set in X. Now taking = μc and =μc will complete the proof.

In the above Proposition2.2, there is no guarantee that are nonconstants. Indeed, taking X=[0,1] and T= {0,1, , μc, 0.25, 0.75}, where (x)= 0.25 for x and (x) = 0.75 for x. Then = μc = 0.25 and =μc= 0.75.Notice that (X,T) has six fuzzy clopen sets, two of which are nonconstants.

The following result shows that CO(X,T) can be even denumerable as well as having cardinality the continuum c.

2.3. PROPOSITION. For any ordinary nonempty set X, let i) T = {1/n: n N} {1-(1/n): n N} (ordinary union).

ii) = {c: }.

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).

2.4. PROPOSITION. Let X be an infinite set and T be a fuzzy topology on X. Then 2card ( CO(X,T)).

Notice that we have used the fact that for X an infinite set.

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 2n 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 = , (where A= and B ).

This operation makes ( K(X,T), ) an abelian group with the identity element 0. Moreover, for any K(X,T), we have = = 0 (where A = ). 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₁xC₂x…xCn, where CiZ₂ for i= 1,…,n. Hence card K(X,T) = card (C₁xC₂x…xCn) = 2n.

Another topological PROOF. Denote the collection of all crisp fuzzy clopen sets in (X,T) by K(X,T). Then

Define ={: K(X,T)}. 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, )) )= 2n for some n Henceforth Card K(X,T) = Card (CO(X, )) )= 2n.

3. 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.

Acknowledgements

The author thanks Yarmouk University for being one of its members since 1976 and offering him a sabbatical leave this year in which this paper and other research papers were done.. I also thank Dr. Mourad Massadeh for his help in typing and rearranging this paper. I also thank my sons Dr. Ahmad Fora and Mr. Mohammad Fora for their help in the final steps of preparing and publishing the paper. I also thank this JOURNAL for being patient with me.

References

[1]   | M. Benoumhani, The number of topologies on a finite set, J. of Integer Sequences 9(2006) Article 06.2.6, 1-9.
[2]   | C.L. Chang, Fuzzy topological spaces, J. Math. Anal. Appl. 24(1968). 182-190.
[3]   | A. A. Fora, Algebraic Approach to the number of clopen sets in topological spaces, Bull. Cal. Math. Soc., 107, (2), (2015) 171-178.
[4]   | M.H. Ghanim, E.E. Kerre and A.S. Mashhour, Separation axioms, subspaces and sums in fuzzy topology, J.Math. Anal. Appl. 102 (1984) 189-202.
[5]   | J.A. Goguen, L-fuzzy sets, J. Math. Anal. Appl. 18 (1967) 145-174.
[6]   | M. Kolli, Direct and Elementary Approach to Enumerate Topologies on a Finite Set, J. of Integer Sequences 10(2007) Article 07.3.1, 1-11.
[7]   | H. Sharp, Jr., Cardinality of finite topologies, J. Combinatorial Theory 5(1968) 82-86.
[8]   | R. Srivastava, S.N.Lal and A.K. Srivastava, Fuzzy Hausdorff topological spaces, J. Math. Anal. Appl. 81(1981) 497-506.
[9]   | R.P. Stanley, On the number of open sets of finite topologies, J. Combinatorial Theory 10(1971) 74-79.
[10]   | C.K. Wong, Fuzzy points and local properties of fuzzy topology, J.Math. Anal. Appl. 46(1974) 316-328.
[11]   | L.A. Zadeh, Fuzzy sets, Inform. and Control 8(1965) 338-353.