On Convergence in <svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-0.06579971pt" id="M1" height="11.9431pt" version="1.1" viewBox="-0.0657574 -11.8773 10.0582 11.9431" width="10.0582pt"><g transform="matrix(.018,0,0,-0.018,0,0)"><path id="g113-77" d="M541 160L512 170C485 116 462 88 439 67C411 41 376 35 318 35C272 35 238 37 224 48C207 61 205 85 212 121L290 533C305 611 308 615 391 622L397 650H139L133 622C217 615 221 612 206 533L126 118C111 41 103 34 23 26L17 0H474C489 31 528 124 541 160Z"/></g></svg>-Valued Fuzzy Topological Spaces

Ramadan, A. A.; El-Dardery, M.; Zhao, Hu

doi:https://doi.org/10.1155/2015/730940

Abstract and Applied Analysis

On this page

Abstract Introduction Preliminaries References Copyright Related Articles

Research Article | Open Access

Volume 2015 | Article ID 730940 | https://doi.org/10.1155/2015/730940

On Convergence in -Valued Fuzzy Topological Spaces

A. A. Ramadan,¹M. El-Dardery,²and Hu Zhao³

Academic Editor: Abdelghani Bellouquid

Received30 Nov 2014

Revised28 Dec 2014

Accepted29 Dec 2014

Published11 Feb 2015

Abstract

We introduce the concept of L-fuzzy neighborhood systems using complete MV-algebras and present important links with the theory of L-fuzzy topological spaces. We investigate the relationships among the degrees of L-fuzzy r-adherent points (r-convergent, r-cluster, and r-limit, resp.) in an L-fuzzy topological spaces. Also, we investigate the concept of LF-continuous functions and their properties.

1. Introduction

Šostak [1–3] introduced a new definition of -fuzzy topology as the concept of the degree of the openness of fuzzy set. It is an extension of -fuzzy topology defined by Chang [4]. It has been developed in many directions [5–11]. The study of neighborhood systems and convergence of nets in Chang fuzzy topology was initiated by Pao-Ming and Ying-Ming [11] and Liu and Luo [12]. In [13] Ying introduced the degree to which a fuzzy point belongs to a fuzzy subset by and gave the idea of graded neighborhood on fuzzy topological spaces. This plays an important role in the theory of convergence in Chang fuzzy topology see also [14–18]. Following Ying [13], Demirci [5] introduced the idea of graded neighborhood systems in smooth toplogical spaces [19] (a smooth topology is similar to fuzzy topology as defined by Šostak [1], Hazra and Samanta [6]) in a different approach but restricted himself to the -valued fuzzy sets.

In this paper, we study the concept of -fuzzy neighborhood systems and present important links with the theory of -fuzzy topological spaces and investigate some of their properties. We investigate the relationships among the degrees of -fuzzy r-adherent points (r-convergent, r-cluster, and r-limit, resp.) nets in an -fuzzy topological spaces. Also, we give some related examples to illustrate some of the introduced notions. In the end, we characterize -continuous functions in terms of some of the various notions introduced in this paper.

2. Preliminaries

Throughout the text we consider as a completely distributive lattice with and , respectively, being the universal upper and lower bound and . A lattice is called order dense if for each such that , there exist such that . If is a completely distributive lattice and , then there must be such that , where means , such that . If and , we always assume [20] and some properties of can be found in [12].

A completely distributive lattice (or , in short) is called a residuated lattice [9, 21–23] if it satisfies the following conditions: for each ,(R1) is a commutative monoid,(R2)if , then ( is isotone operation),(R3)(Galois correspondence) .

In a residuated lattice , is called complement of .

A residuated lattice is called a -algebra [9, 21, 23] if it satisfies the following conditions: for each ,(B1), (B2), (B3).

A -algebra is called an -algebra if , for each .

Lemma 1 (see [9, 21, 23]). Let be a complete MV-algebra. For each , , one has the following properties:(1), (2), (3)If , , and ,(4), (5) iff ,(6), (7), (8), (9), (10) and ,(11), (12), (13), (14), (15) and .

In this paper, we always assume that is a complete MV-algebra. Let be a nonempty set, and the family denotes the set of all -fuzzy subsets of a given set . For , we denote , , and as , , and .

A fuzzy point for is an element of such that The set of all fuzzy points in is denoted by . For and if and only if .

Given a mapping , we write for the mapping defined by ; we write for the mapping defined by for all .

For a given set , define a binary mapping as For each , can be interpreted as the degree to which is fuzzy included in . It is called the -fuzzy inclusion order [24].

Lemma 2 (see [24]). For each , and , the following properties hold:(1), (2) and , for any ,(3), for any ,(4) if and only if and ,(5), (6), for any ,(7), for any .

Lemma 3 (see [16]). Let be a mapping. Then the following statement hold:(1), for each (2), for each .

In particular, if the mapping is bijective, and then the equalities hold.

Definition 4 (see [1, 9]). A map is called an -fuzzy topology on if it satisfies the following conditions:(LO1),(LO2), for all ,(LO3), for any .The pair is called an -fuzzy topological space.

Let and be -fuzzy topologies on . We say that is finer than ( is coarser than ), denoted by , if for all . Let and be -fuzzy topological space spaces. A map is -fuzzy continuous (-continuous, for short) if .

Theorem 5 (see [7, 9]). Let be an -fuzzy topological space. For each and , one defines operators as follows:

For each and , one has the following properties:(I1),(I2),(I3)if and , then ,(I4),(I5), (I6).

Definition 6 (see [12]). Let be a directed set. A function is called a fuzzy net in . Let , and one says that is a fuzzy net in if for every .

Definition 7 (see [12, 25]). Let be a fuzzy net and .(1) is often in if for each , there exists such that and .(2) is finally in if there exists such that for each with , one has .

Definition 8 (see [12, 25]). Let and be two fuzzy nets. A fuzzy net is called a subnet of if there exists a function , called by a cofinal selection on , such that(1); (2)for every , there exists such that , for .

3. -Fuzzy Neighborhood Systems

Definition 9. Let and . Then the degree to which belongs to is

Definition 10. Let be an -fuzzy topological space, , , and . The degree to which is a r-neighborhood of is defined by A mapping is called the -fuzzy neighborhood system of .

Theorem 11. Let be an -fuzzy topological space and let be the fuzzy neighborhood system of . For all and , the following properties hold:(1) and ,(2),(3), if ,(4), if ,(5), (6)(7).

Proof. , , and are easily proved.
is proved from the following:
In if , then and , and there exists with and such that . Again, there exists with and such that . So, , , and . Hence,
In if , then , for each . It implies
is proved from

Theorem 12. Let be a nonempty set. Let for each , and satisfying the above conditions . Define by
Then one has the following:(a) is an -fuzzy topology on ;(b)if is the -fuzzy neighborhood system of induced by , then ;(c)if ’s satisfy the conditions (6) and (7), then (d).

Proof. (a) (LO1) It is easily proved from Theorem 11.
(LO2) It is proved from the following:
(LO3) If , then for each , and note that so there exists , with such that . Put , and then . By Theorem 11, we have It implies . Furthermore, by Lemma 2, we have So . Hence, . Therefore, .
(b) If , then there exists with such that . Since then, for each ,
Thus, . So . Hence, . We can easily obtain .
(c) We only show that
if and only if .
It is trivial.
From condition (7),
(d) From the proof of Theorem 11, we easily obtain .
If , there exists with , such that . Note that and there exists with such that (thus ). So . Therefore, .

By Theorem 12, we have the following corollary.

Corollary 13. The set of all -fuzzy topologies on and the set of all -fuzzy neighborhood systems on are in one to one correspondence.

Example 14. Let , be a set, , and let be defined as follows: We define an -fuzzy topology on as From Definition 10, as follows: From Theorem 12(c), we have

4. R-Convergence

Definition 15. Let be an -fuzzy topological space, , and . The degree to which a fuzzy net in is r-convergent to and is r-cluster to are defined, respectively, as follows:

Definition 16. Let be be an -fuzzy topological space, , and . The degree to which is r-adherent point of is defined by

Proposition 17. Let be an -fuzzy topological space. For each and , one has(1), (2), (3)

Proof. (1) From Lemma 2, we have
(2) From Theorem 5, we have
(3) From Theorem 11, we have

Theorem 18. Let be an -fuzzy topological space. Let be fuzzy net and let be a subnet of . For , the following properties hold:(1)if , , and ,(2), (3), (4), (5), and

Proof. (1) is easily proved.
In (2) if is finally in , is often in . Hence
In (3) if is finally in , is finally in . Hence
In (4) let be often in . We will show that is often in . Let . Since is a subnet of , there exists a cofinal selection . For each , there exists such that for . Since is often in , for , there exists such that for . Put . Then and . Thus, is often in . Hence
In (5) one has The other case is the same.

Proposition 19. Let be an -fuzzy topological space, let be a fuzzy net, , and . Then one has

Proof. Since is finally in , is often in . We easily show that We only show that Let . If , then . Put . Define a relation on by For each , since by Theorem 11, Hence, and . Thus, is a directed set. For each , that is, , we have ; that is, there exists such that . Thus, we can define a fuzzy net by where and .
We will show that if , then is not often in . Suppose that is often in . For , there exists such that such that and . Since implies , it implies It is contradiction for the definition of . Thus, if is often in , then ; that is, . Therefore,

Theorem 20. Let be -fuzzy topological space and let be fuzzy nets such that for each . Define fuzzy nets by, for each , For each , the following properties hold:(1)if for all , then (2), (3), (4), (5)if is order dense, then .

Proof. In let be finally (often) in . Then let be finally (often) in , respectively. Thus it is trivial. , , and are easily proved.
In since and , by , we have
Suppose that . Since is order dense, then there exist and a fuzzy point such that Since and , by the definition , there exist such that and are finally in and , respectively, with Since is finally in , there exists such that for every with . Since is finally in , there exists such that for every with . Let such that and . For , we have Thus, is finally in . It implies It is a contradiction. Hence, we have

Example 21. Let be defined as Example 14. Let be a set and as follows: We define -fuzzy topology as follows:
In general, .
Let be a natural numbers. Define fuzzy nets by From Theorem 20, is a fuzzy net. Let . From Definition 15, we have for , Since or is finally in , Similarly, . For ,
In general, .
Define fuzzy nets by From Theorem 20, is a fuzzy net. Let . For all , Since or is often in , for , Similarly, . For

5. Fuzzy -Limit Nets and -Continuous Mappings

Definition 22. Let be an -fuzzy toplogical space. Let be fuzzy net in , , and . Then the degree to which is r-limit to is defined, denoted by , if .

Theorem 23. Let be -fuzzy topological space and let be fuzzy nets such that for each . If is order dense, , and , then

Proof. From Theorem 20, is a fuzzy net. We easily proved it from the following:

Theorem 24. Let be -fuzzy topological space. Let be a fuzzy net and . Then, if is an order dense, the following statements hold:(1);(2).

Proof. For each , by Theorem 18, we have Hence Suppose Then there exist and such that Since , there exists with is often in such that Since is often in , for each there exists with and . Hence there exists a cofinal selection such that . Thus is a subnet of and is finally in . It is a contradiction.
From , we have Conversely, let . Then , for is finally in . Let . Define a relation on by Then is a directed set. If , then is not finally in . For each , there exists with such that . So, we can define . For each and , there exists with such that . Hence for every , since , we have . Therefore is a cofinal selection on . So is a fuzzy subnet of and is finally to every member of . If is often in , then is not finally of ; that is, . Thus Since is arbitrary, we complete the proof.

Theorem 25. Let be an order dense, let be -fuzzy topological space, and let be a fuzzy net. If every subnet of has a subnet of such that , then .

Proof. Let . For each , since has a subnet with , by Theorem 18, we have Hence, by Theorem 24, Conversely, by Theorem 18, Hence, by Theorem 24, Hence, . Since from Theorem 18, ; that is, .

Example 26. Let ( be defined as in Example 21. Let be a natural number set. Define a fuzzy net by Let . Since is often in , for , Since is finally in , for each , Thus, since for , does not exists.
Since for , .

Theorem 27. Let and be -fuzzy topological spaces. For every fuzzy net in , , , and , the following statements are equivalent:(1) is -continuous;(2);(3);(4);(5);(6);(7).

Proof. For any such that and . Since is -continuous, then , and we have by Lemma 3 Thus, .
If and is finally in , there exists such that, for all , . Let . Then It implies . Therefore, is finally in . One has
Every subnet of , and there exists a cofinal selection such that . Put . Then is a subnet of . We can prove it from the following: From Theorem 18, we have .
From Theorem 5 and Proposition 17, It implies Thus, we have
and are easily proved.
We will show that , for all .
Let . It is trivial.
Let . Since from Theorem 12(b), we have for all , It implies, for all , Since , Thus, by Theorem 11, we have Hence, .

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The authors would like to thank the anonymous refree for his comments, which helped us to improve the final version of this paper.

References

A. P. Šostak, “On a fuzzy topological structure,” Rendiconti del Circolo Matematico di Palermo II, vol. 11, pp. 89–103, 1985.
View at: Google Scholar
A. P. Šostak, “On the neighborhood structure of a fuzzy topological spaces,” Zbornik Radova, no. 4, pp. 7–14, 1990.
View at: Google Scholar
A. P. Šostak, “Basic structures of fuzzy topology,” Journal of Mathematical Sciences, vol. 78, no. 6, pp. 662–701, 1996.
View at: Publisher Site | Google Scholar | MathSciNet
C. L. Chang, “Fuzzy topological spaces,” Journal of Mathematical Analysis and Applications, vol. 24, pp. 182–190, 1968.
View at: Publisher Site | Google Scholar | MathSciNet
M. Demirci, “Neighborhood structures of smooth topological spaces,” Fuzzy Sets and Systems, vol. 92, no. 1, pp. 123–128, 1997.
View at: Publisher Site | Google Scholar | MathSciNet
R. N. Hazra, S. K. Samanta, and K. C. Chattopadhyay, “Fuzzy topology redefined,” Fuzzy Sets and Systems, vol. 45, no. 1, pp. 79–82, 1992.
View at: Publisher Site | Google Scholar | MathSciNet
K. C. Chattopadhyay, R. N. Hazra, and S. K. Samanta, “Gradation of openness: fuzzy topology,” Fuzzy Sets and Systems, vol. 49, no. 2, pp. 237–242, 1992.
View at: Publisher Site | Google Scholar
U. Höhle, Many Valued Topology and Its Application, Kluwer Academic, Boston, Mass, USA, 2001.
View at: Publisher Site | MathSciNet
U. Höhle and S. E. Rodabaugh, Mathematics of Fuzzy Sets, Logic, Topology and Measure Theory, vol. 3 of The Handbooks of Fuzzy Sets Series, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1999.
U. Höhle and A. P. Šostak, “Axiomatic foundations of fixed-basis fuzzy topology,” in Mathematics of Fuzzy Sets, vol. 3 of The Handbooks of Fuzzy Sets Series, chapter 3, pp. 123–272, Kluwer Academic, Boston, Mass, USA, 1999.
View at: Publisher Site | Google Scholar | MathSciNet
P. Pao-Ming and L. Ying-Ming, “Fuzzy topology. I. Neighborhood structure of a fuzzy point and Moore-Smith convergence,” Journal of Mathematical Analysis and Applications, vol. 76, no. 2, pp. 571–599, 1980.
View at: Publisher Site | Google Scholar
Y.-M. Liu and M.-K. Luo, Fuzzy Topology, World Scientific, Singapore, 1997.
View at: MathSciNet
M. S. Ying, “On the method of neighborhood systems in fuzzy topology,” Fuzzy Sets and Systems, vol. 68, no. 2, pp. 227–238, 1994.
View at: Publisher Site | Google Scholar | MathSciNet
S. L. Chen and J. S. Cheng, “On convergence of nets of $L$ -fuzzy sets,” Journal of Fuzzy Mathematics, vol. 2, no. 3, pp. 517–524, 1994.
View at: Google Scholar | MathSciNet
S. L. Chen and J. S. Cheng, “ $θ$ -convergence of nets of L-fuzzy sets and its applications,” Fuzzy Sets and Systems, vol. 86, pp. 235–240, 1997.
View at: Google Scholar
J. Fang, “Relationships between $L$ -ordered convergence structures and strong $L$ -topologies,” Fuzzy Sets and Systems, vol. 161, no. 22, pp. 2923–2944, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
D. N. Georgiou and B. K. Papadopoulos, “Convergences in fuzzy topological spaces,” Fuzzy Sets and Systems, vol. 101, no. 3, pp. 495–504, 1999.
View at: Publisher Site | Google Scholar | MathSciNet
W. Yao, “On many-valued stratified $L$ -fuzzy convergence spaces,” Fuzzy Sets and Systems, vol. 159, no. 19, pp. 2503–2519, 2008.
View at: Publisher Site | Google Scholar | MathSciNet
A. A. Ramadan, “Smooth topological spaces,” Fuzzy Sets and Systems, vol. 48, no. 3, pp. 371–375, 1992.
View at: Publisher Site | Google Scholar | MathSciNet
G. Gierz and K. H. Hofmann, Continuous Lattices and 305 Domains, Cambridge University Press, Cambridge, UK, 2003.
P. Hájek, Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1998.
View at: Publisher Site | MathSciNet
E. Turunen, “Algebraic structures in fuzzy logic,” Fuzzy Sets and Systems, vol. 52, no. 2, pp. 181–188, 1992.
View at: Publisher Site | Google Scholar | MathSciNet
E. Turunen, Mathematics Behind Fuzzy Logic, Springer, New York, NY, USA, 1999.
F. Jinming, “Stratified $L$ -ordered convergence structures,” Fuzzy Sets and Systems, vol. 161, no. 16, pp. 2130–2149, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
H. Lai and D. Zhang, “Fuzzy preorder and fuzzy topology,” Fuzzy Sets and Systems, vol. 157, no. 14, pp. 1865–1885, 2006.
View at: Publisher Site | Google Scholar | MathSciNet

Copyright

Copyright © 2015 A. A. Ramadan et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

PDF Download Citation

Download other formats

Order printed copies

Views

1007

Downloads

1008

Citations