Mathematical Problems in Engineering

Volume 2012 (2012), Article ID 854942, 8 pages

doi:10.1155/2012/854942

Research Article

On Interval-Valued Supra-Fuzzy Syntopogenous Structure

F. M. Sleim and Heba I. Mustafa

Mathematics Department, Faculty of Science, Zagazig University, Zagazig 44519, Egypt

Received 12 August 2012; Accepted 1 November 2012

Academic Editor: Hamid Reza Karimi

Copyright © 2012 F. M. Sleim and Heba I. Mustafa. 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.

Abstract.

A new definition of interval-valued supra-fuzzy syntopogenous (resp., supra-fuzzy proximity) space is given. We show that for any interval-valued fuzzy syntopogenous structure , there is another interval-valued fuzzy syntopogenous structure called the conjugate of . This leads to introducing the concept of interval-valued bifuzzy syntopogenous space. Finally, we show every interval-valued bifuzzy syntopogenous space induces an interval-valued fuzzy supra-syntopogenous space. Throughout this paper, the family of all fuzzy sets on nonempty set will be denoted by and the family of all interval-valued fuzzy sets on a nonempty set will be denoted by .

1. Introduction

In [1], Csaszar introduced the concept of a syntopogenous structure to develop a unified approach to the three main structures of set-theoretic-topology: topologies, uniformities, and proximities. This enables him to evolve a theory including the foundations of the three classical theories of topological spaces, uniform spaces, and proximity spaces. In the case of the fuzzy structures, there are at least three notions of fuzzy syntopogenous structures. The first notion worked out in [2–4] presents a unified approach to the theories of Chang fuzzy topological spaces [5], Hutton fuzzy uniform spaces [6], and Liu fuzzy proximity spaces [7]. The second notion worked out in [8] agrees very well with Lowen fuzzy topological spaces [9], Lowen-Hohle fuzzy uniform spaces [10], and Artico-Moresco fuzzy proximity spaces [11]. The third notion worked out in [12] agrees with the framework of a fuzzifying topology [13]. In [14], Kandil et al. introduced the concepts of a supra-fuzzy topological space and supra-fuzzy proximity space. In [15], Ghanim et al. introduced the concepts of supra-fuzzy syntopogenous space as a generalization of the concepts of supra-fuzzy proximity and supra-fuzzy topology.

Interval-valued fuzzy sets were introduced independently by Zadeh [16], Grattan-Guiness [17], Jahn [18], and Sambuc [19], in the seventies, in the same year. An interval-valued fuzzy set (IVF) is defined by an interval-valued membership function. As a generalization of fuzzy, the concept of intuitionistic fuzzy sets was introduced by Atanassov [20]. In [21], it is shown that the concepts of interval-valued fuzzy sets and intuitionistic fuzzy sets are equivalent and they are extensions of fuzzy sets.

Interval-valued fuzzy sets can be viewed as a generalization of fuzzy sets (Zadeh [22]) that may better model imperfect information which is omnipresent in any conscious decision making [23]. It can be considered as a tool for a more human consistent reasoning under imperfectly defined facts and imprecise knowledge, with an application in supporting medical diagnosis [24, 25]. In [26] new notions of interval-valued supra-fuzzy topology (resp., supra-fuzzy proximity) were introduced by using the notions of interval-valued fuzzy sets.

In this paper, we generalize the concept of supra-fuzzy syntopogenous space by using the notion of interval-valued set. Topology and its generalization proximity and syntopogenous are branches of mathematics which have many real life applications. We believe that the generalized topological structure suggested in this paper will be important base for modification of medical diagnosis, decision making, and knowledge discovery. The other parts of this paper are arranged as follows. In Section 2, We recall and develop some notions and notations concerning supra-fuzzy topological space, interval-valued fuzzy set, interval-valued fuzzy topology, interval-valued supra-fuzzy topology, and interval-valued supra-fuzzy proximity. In Section 3, we introduce the concept of interval-valued supra-fuzzy syntopogenous (resp., supra-fuzzy proximity) space. We show that there is one-to-one correspondence between family of all interval-valued supra-fuzzy topological spaces and the family of all perfect interval-valued supra-fuzzy topogenous spaces. Also, we prove that there is one-to-one correspondence between the family of all interval-valued supra-fuzzy proximity spaces and the family of all symmetrical interval-valued supra-fuzzy topogenous spaces. We show that for any interval-valued fuzzy topogenous order on there is another interval-valued fuzzy topogenous structure in Section 3. In Section 4, we introduce the concept of interval-valued bifuzzy syntopogenous structure by using two interval-valued fuzzy syntopogenous spaces. In the last section we show that with every interval-valued bifuzzy syntopogenous space there is an interval-valued supra-fuzzy syntopogenous associated with this space.

2. Preliminaries

The concept of a supra-fuzzy topological space has been introduced as follows.

Definition 2.1 (see [27]). A collection is a supra-fuzzy topology on if 0, 1 and is closed under arbitrary supremum. The pair () is a supra-fuzzy topological space.

Definition 2.2 (see [20]). An interval-valued fuzzy set (IVF set for short) is a set such that . The family of all interval-valued fuzzy sets on a given nonempty set will be denoted by .

The IVF set = (1, 1) is called the universal IVF set and the IVF set = (0, 0) is called the empty IVF set.

Proposition 2.3 (see [20]). The operations on are given by the following: Let , :

(1) ,,(2) , ,(3),(4),(5).

Definition 2.4 (see [26]). The family is called an interval-valued fuzzy topology (IVF tpology for short) on if and only if contains , , and it is closed under finite intersection and arbitrary union. The pair () is called an interval-valued fuzzy topological space (IVF top. space for short). Any IVF set is called an open IVF set and the complement of denoted by is called a closed IVF set. The family of all closed interval-valued fuzzy sets is denoted by .

Definition 2.5 (see [26]). A non empty family is called an interval-valued supra-fuzzy topology (IVSF top. for short) on if it contains , and it is closed under arbitrary unions.

Definition 2.6 (see [26]). A binary relation is called an interval-valued supra-fuzzy (IVSF) proximity on if it satisfies the following conditions:

(1),(2) or ,(3),(4),(5) s.t. and .

3. Interval-Valued Fuzzy Topogenous Order

In this article, we define a new concept of topogenous structure by using the concept of interval-valued fuzzy sets.

Definition 3.1. Let be a binary relation on . Consider the following axioms:

(1),(2),(3),(4) and and ,(5) for all ,(6) for all ,(7).

If satisfies (1)–(4) then it is called an interval-valued fuzzy topogenous order (IVF topogenous order for short) on .

If satisfies (1)–(3) then it is called an interval-valued supra-fuzzy topogenous order (IVSF topogenous order for short) on .

The interval-valued fuzzy topogenous order is called perfect (resp., biperfect, symmetrical) if it satisfies the condition (5) (resp., (6), (7)).

Definition 3.2. Let and be a nonempty family of IVF topogenous orders on satisfy the following conditions:

 (s₁) s.t. and, (s₂) s.t. .

Then is said to be interval-valued fuzzy (IVF) syntopogenous structure on . The pair () is called an interval-valued fuzzy syntopogenous (IVF syntopogenous for short) space. If satisfy the single element, then is called an IVF topogenous structure on and the pair () is called an IVF topogenous space.

Definition 3.3. Let and be a nonempty family of IVSF topogenous orders on satisfy the conditions (s₁) and (s₂). Then is called an IVSF syntopogenous space. If consists of single element, then it is called an IVSF topogenous structure. If each element of is perfect (resp., biperfect symmetrical), then it is called a perfect (resp., biperfect symmetrical) IVSF structure on .

The following proposition investigates the relation between the family of all IVSF topological spaces and the family of all perfect IVSF topogenous spaces.

Proposition 3.4. There is one-to-one correspondence between the family of all IVSF topological spaces and the family of all perfect IVSF topogenous spaces.

Proof. Let be an IVSF topological space. Define a relation by s.t. . Then is a perfect IVSF topogenous order on . In fact, since , and, then and . Let s.t. . Assume that s.t. . Thus, is an IVSF topogenous order on . We show that is perfect. Let s.t. . Hence and . Thus, and consequently is perfect. Thus is an IVSF topogenous order. Consequently, is a perfect IVSF topogenous structure.

Conversely, let () be a perfect IVSF topogenous space. Then , where is a perfect IVSF order. Define by . We show that is an IVSF topology on . Since and , then . Also, for all for all , because is perfect. Hence and, consequently, is an IVSF topology on .

Remark 3.5. One can easily show that and .

Example 3.6. This example is a small form of interval-valued information table of a file containing some patients = {Li, Wang, Zhang, Sun}. We consider the set of symptoms = {Chest-pain, Cough, Stomach-pain, Headache, Temperature}. Each symptom is described by an interval fuzzy sets on . The symptoms are given in Table 1. Define a binary relation on by if and only if implies for all . Therefore, is biperfect IVSF topogenous order on . The set of patients are ordered by Li ≤ Wang ≤ Zhang ≤ Sun. So, we have chest-pain Cough.

Table 1

Chest-pain
Cough
Stomach-pain
Headache
Temperature

Li
[0.1, 0.2]
[0.1, 0.3]
[0, 0.2]
[0.3, 0.9]
[0.1, 0.9]

Wang
[0.1, 0.2]
[0.2, 0.3]
[0.3, 0.9]
[0.3, 0.6]
[0.2, 0.2]

Zhang
[0.5, 0.5]
[0.2, 0.3]
[0.4, 0.4]
[0.1, 0.9]
[0.1, 0.9]

Sun
[0.3, 0.6]
[0.7, 0.8]
[0.3, 0.6]
[0.1, 0.6]
[0.3, 0.4]

The following proposition shows the relation between the family of all IVSF proximity spaces and the family of all symmetrical IVSF topogenous spaces.

Proposition 3.7. There is one-to-one correspondence between the family of all IVSF proximity spaces and the family of all symmetrical IVSF topogenous spaces.

Proof. Let be an IVSF proximity. Define . Then is a symmetrical IVSF topogenous order. In fact, since and , then and . Also . Finally, , and . Thus and therefore . Consequently (), where is IVSF topogenous space.

Conversely, let a symmetrical IVSF topogenous space. Then , where is a symmetrical IVSF topogenous order on . Define by . We show that is an IVSF topogenous order on . Assume that , then . Therefore because is symmetric. Hence . Since and , then . Assume that or . Then or . Suppose that , then . Thus . Consequently and . So, and a contradiction. Now implies and hence .

4. Interval-Valued Bifuzzy Syntopogenous Space

Proposition 4.1. Let be an IVF topogenous order on . Then the relation on defined by is an IVF topogenous order on .

Proof. Since and , then and . Also, . Furthermore, , . Finally, and and . Since is a topogenous order, then and hence . Consequently, . Similarly, we can show that . Thus is an IVF topogenous order on .

Remark 4.2. (1) The relation defined in the previous proposition is called the conjugate of .

(2) If is perfect or biperfect, then is also.

Proposition 4.3. Let and be two IVF topogenous orders on . If , then and .

Proof. Assume that, . Then . Hence, . Also, s.t. s.t. s.t. . Similarly, we can show that . Consequently, .

Proposition 4.4. Let be an IVF syntopogenous structure on . Then the family is also an IVF syntopogenous structure.

Proof. Since , then . Let , then . Hence s.t. and . Therefore s.t. and . Also, s.t. . Thus s.t. . Consequently, is also IVF syntopogenous structure on .

Hence, we have the result that on a nonempty set we have two interval-valued fuzzy syntopogenous structures.

Definition 4.5. Let a nonempty set. Let be two IVF syntopogenous structures on . The triple is called an interval-valued bifuzzy syntopogenous space. If each is perfect (resp., biperfect symmetrical), then the space is perfect (resp. biperfect symmetrical).

The following proposition shows that two IVF topogenous orders on can induce an IVSF topogenous order on .

Proposition 4.6. Let be two interval-valued fuzzy topogenous orders on . Then the order defined by

is IVSF topogenous order on .

Proof. Since, and  for all  , then and . Also, for some for some . Finally, for some . Thus, is an IVSF topogenous order on .

5. Interval-Valued Supra-Fuzzy Syntopogenous Space Associated with Interval-Valued Bifuzzy Syntopogenous Spaces

Proposition 5.1. Let be interval-valued bifuzzy syntopogenous space. Then the family is an IVSF syntopogenous structure on .

Proof. (s₁) Let and and for some s.t. and s.t. . So, s.t. .

(s₂) , s.t. s.t. and s.t. . Since , then and . Therefore and . So and consequently is an IVSF syntopogenous structure on .

Remark 5.2. The structure is called the interval-valued supra-fuzzy syntopogenous associated with the space .

Proposition 5.3. Let be an IVF topological spaces. Then the family is an IVSF topology on .

Proof. Since for all , then Also, , . Since, is an IVSF topology, then and . Therefore, and consequently, is an IVSF topology on .

Proposition 5.4. Let be an interval-valued bifuzzy syntopogenous space. Assume that is the interval-valued fuzzy topology associated with for all and is interval-valued supra-fuzzy topology associated with the space . Then is the IVSF topology associated with the space , that is, .

Proof. The proof is obvious.

Remark 5.5. In crisp case, let be a fuzzy topogenous order on . Define a binary relation as follows:

Then, is a perfect fuzzy topogenous order on finer than and coarser than any perfect fuzzy semitopogenous order on which is finer than .

Let S be a fuzzy syntopogenous structure on . Define a relation on by

The binary relation as defined above is a perfect topogenous order on . Let be the coarsest perfect topogenous order on finer than each member of . is the topogenous space. Let .

6. Conclusion

Computer scientists used the relation concepts in many areas of life such as artificial intelligence, knowledge discovery, decision making and medical diagnosis [28]. One of the important theories depend on relations is the rough set theory [29]. Many authors studied the topological properties of rough set [30, 31]. In this paper we generalized the topological concepts by introducing the notions of IVSF syntopogenous structures. We can use the relations obtained from an interval-valued information systems to generate an IVSF syntopogenous structure and use the mathematical properties of these structures to discover the knowledge in the information modelings.

Acknowledgment

The authors are thankful to both the referees for their valuable suggestions for correcting this paper.

References

A. Csaszar, Foundations of General Topology, A Pergamon Press Book, Pergamon Press, New York, NY, USA, 1963.

A. K. Katsaras, “On fuzzy syntopogenous structures,” Revue Roumaine de Mathématiques Pures et Appliquées, vol. 30, no. 6, pp. 419–431, 1985.

M. Z. Wen, L. W. Jin, and S. Lan, “On fuzzy syntopogenous structures and preorder,” Fuzzy Sets and Systems, vol. 90, no. 3, pp. 355–359, 1997.

K. A. Hashem, “-syntopogenous spaces,” Annals of Fuzzy Mathematics and Informatics, vol. 4, no. 1, pp. 25–48, 2012.

C. L. Chang, “Fuzzy topological spaces,” Journal of Mathematical Analysis and Applications, vol. 24, pp. 182–190, 1968.

B. Hutton, “Uniformities on fuzzy topological spaces,” Journal of Mathematical Analysis and Applications, vol. 58, no. 3, pp. 559–571, 1977.

L. Wang-Jin, “Fuzzy proximity spaces redefined,” Fuzzy Sets and Systems, vol. 15, no. 3, pp. 241–248, 1985.

A. K. Katsaras, “Operations on fuzzy syntopogenous structures,” Fuzzy Sets and Systems, vol. 43, no. 2, pp. 199–217, 1991.

R. Lowen, “Fuzzy topological spaces and fuzzy compactness,” Journal of Mathematical Analysis and Applications, vol. 56, no. 3, pp. 621–633, 1976.

R. Lowen, “Fuzzy uniform spaces,” Journal of Mathematical Analysis and Applications, vol. 82, no. 2, pp. 370–385, 1981.

G. Artico and R. Moresco, “Fuzzy proximities compatible with Lowen fuzzy uniformities,” Fuzzy Sets and Systems, vol. 21, no. 1, pp. 85–98, 1987.

A. A. Ramadan, S. N. El-Deeb, M.-S. Saif, and M. El-Dardery, “Fuzzifying syntopogenous structures,” Journal of Fuzzy Mathematics, vol. 7, no. 3, pp. 535–546, 1999.

M. S. Ying, “A new approach for fuzzy topology,” Fuzzy Sets and Systems, vol. 53, no. 1, pp. 93–104, 1993.

A. Kandil, A. A. Nouh, and S. A. El-Sheikh, “On fuzzy bitopological spaces,” Fuzzy Sets and Systems, vol. 74, no. 3, pp. 353–363, 1995.

M. H. Ghanim, O. A. Tantawy, and F. M. Salem, “On supra fuzzy syntopogenous space,” in Proceeding of the Conference on Geometry Topology and Application, Cairo University, December 1997.

L. A. Zadeh, “The concept of a linguistic variable and its application to approximate reasoning. I,” Information Sciences, vol. 8, pp. 199–249, 1975.

I. Grattan-Guiness, “Fuzzy membership mapped onto interval and many-valued quantities,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 22, pp. 149–160, 1975.

K. U. Jahn, “Intervall-wertige Mengen,” Mathematische Nachrichten, vol. 68, pp. 115–132, 1975.

R. Sambuc, Function Φ-flous, application a l’aide au diagnostic en pathologie thyroidienne [Ph.D. thesis], University of Marseille, Marseille, France, 1975.

K. T. Atanassov, “Intuitionistic fuzzy sets,” Fuzzy Sets and Systems, vol. 20, no. 1, pp. 87–96, 1986.

D. Dubois, P. Hájek, and H. Prade, “Knowledge-driven versus data-driven logics,” Journal of Logic, Language and Information, vol. 9, no. 1, pp. 65–89, 2000.

L. A. Zadeh, “Fuzzy sets,” Information and Computation, vol. 8, pp. 338–353, 1965.

J. Hongmei, “Multicriteria fuzzy decision-making methods based on interval-valued fuzzy sets,” in Proceedings of the 5th International Conference on Intelligent Computation Technology and Automation (ICICTA'12), pp. 217–220, Hunan, China, January 2012.

J. Hong and F. Wang, “A similarity measure for interval-valued fuzzy sets and its application in supporting medical diagnostic reasoning,” in Proceedings of the 10th International Symposium on Operations Research and Its Applications (ISORA'11), pp. 251–257, Dunhuang, China, August 2011.

H. Choi, G. Mun, J. Ahn, and C. Korea, “A medical diagnosis based on interval valued fuzzy set,” Biomedical Engineering: Applications, Basis and Communications, vol. 24, no. 4, p. 349, 2012.

F. M. Sleim, “On interval valued-supra-openness,” submitted for publication to the acta mathematica sinica journal

A. S. Mashhour, A. A. Allam, F. S. Mahmoud, and F. H. Khedr, “On supratopological spaces,” Indian Journal of Pure and Applied Mathematics, vol. 14, no. 4, pp. 502–510, 1983.

A. E. Samuel and M. Balamurugan, “Fuzzy max-min composition technique in medical diagnosis,” Applied Mathematical Sciences, vol. 6, no. 35, pp. 1741–1746, 2012.

Z. Pawlak, “Rough sets,” International Journal of Computer and Information Sciences, vol. 11, no. 5, pp. 341–356, 1982.

A. S. Salama, “Some topological properties of rough sets with tools for data mining,” International Journal of Computer Science Issues, vol. 8, no. 3, part 2, pp. 1694–0814, 2011.

R. Raghavan and B. K. Tripathy, “On some topological properties of multigranular rough sets,” Advances in Applied Science Research, vol. 2, no. 3, pp. 536–543, 2011.