The Scientific World Journal

Volume 2013 (2013), Article ID 792484, 5 pages

http://dx.doi.org/10.1155/2013/792484

Research Article

On the Normed Space of Equivalence Classes of Fuzzy Numbers

Dong Qiu, Chongxia Lu, and Wei Zhang

College of Mathematics and Physics, Chongqing University of Posts and Telecommunications, Nanan, Chongqing 400065, China

Received 9 June 2013; Accepted 30 July 2013

Academic Editors: T. Allahviranloo and A. N. Yannacopoulos

Copyright © 2013 Dong Qiu 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.

Abstract.

We study the norm induced by the supremum metric on the space of fuzzy numbers. And then we propose a method for constructing a norm on the quotient space of fuzzy numbers. This norm is very natural and works well with the induced metric on the quotient space.

1. Introduction

Since the concept of fuzzy numbers was firstly introduced in the 1970s, it has been studied extensively from many different aspects of the theory and applications such as fuzzy topology, fuzzy analysis, fuzzy logic, and fuzzy decision making (see, e.g., [1–6]). The operations in the set of fuzzy numbers are usually obtained by the Zadeh extension principle [7–9]. In the study of algebraic structures and topological structures for fuzzy numbers, many results have been obtained (see, e.g., [10–19]).

In the classical mathematics, if is a normed space with norm , it is readily checked that the formula , for , defines a metric on . Thus a normed space is naturally a metric space and all metric space concepts are meaningful. However, we will show that such proposition does not hold true for the well known supremum metric on the space of fuzzy numbers. To overcome this weakness, we will consider the quotient space of fuzzy numbers up to an equivalence relation which is introduced by Mareš [20, 21] and is studied extensively by many researchers [4, 12, 22–24]. We will propose a method for constructing a norm on the quotient space of fuzzy numbers. This norm is very natural and works well with the induced metric on the quotient space.

2. Preliminaries

A fuzzy set of is a function . For each such fuzzy set , we denote by for any its -level set. We define the set by , where denotes the closure of a set . A fuzzy number is a fuzzy set with nonempty bounded closed level sets for all . We denote the class of fuzzy numbers by . Notice that the real numbers can be imbedded in by defining a fuzzy number as follows

for each .

For any and , owing to Zadeh's extension principle [7–9], scalar multiplication and addition are defined for any by

For any , we define the fuzzy number by , that is, , for all . Since the addition does not possess an inverse subtraction, is not a real vector space. We say that a fuzzy number is symmetric [20], if

for all , that is, . The set of all symmetric fuzzy numbers will be denoted by .

Definition 1 (see [22]). Let . We say that is equivalent to and write if and only if there exist symmetric fuzzy numbers such that

The equivalence relation defined above is reflexive, symmetric, and transitive [20]. Let denote the equivalence class containing the element and denote the set of equivalence classes by . By the level set representations for fuzzy numbers, one can easily prove the following lemmas.

Lemma 2 (see [25]). For any , .

Lemma 3 (see [25]). For any , if and only if .

Definition 4 (see [26]). For a fuzzy number , we define a function by assigning the midpoint of each -level set to for all , that is,

Lemma 5 (see [25]). For any , if and only if .

Lemma 6 (see [26]). is a real vector space.

3. Main Results

In this section, we will give a norm structure on which is compatible with a metric. For the family of fuzzy numbers , the -metric is induced by the Hausdorff metric as [17]

for all .

Define a function as

Theorem 7. The function in (7) is a norm on .

Proof. (i)  It is obvious that for all and if . Conversely, if , then we have that there exists such that . Thus we have .

(ii)  For all and , we have

(iii)  For all , we have that

We conclude that is a norm on .

Although is a norm on , the function induced by as is not a metric on . Consequently, we get that .

Theorem 8. The function has the following properties:

(i), for any ;(ii), for any ;(iii), for any ;(iv), for any fuzzy number .

Proof. (i)  By the definition of , it is obvious that , for any .

(ii)  For all , we have that

(iii)  In order to prove the triangle inequality, for any fixed , and for any , we only proof the following six cases. Similarly, the others can be proved.

Case  1 ( and ). In this case we have that

Case  2 ( and ). In this case we have that

Case  3 ( and ). In this case we have that

Case  4 (). If , then we have that

Otherwise, we have that

Case  5 (). In this case we have that

Consequently, we have that

Case  6 (). In this case we have that

Consequently, we have that

From what is proved above, we can get that

(iv)  Since , there exists such that . Thus we have that

In order to induce a metric which is compatible with the norm, we consider the quotient space of fuzzy numbers. It is very natural to define a function as

for each .

Theorem 9. The function in (22) is a norm on .

Proof. (i)  It is obvious that for all and if . Conversely, if , from Lemma 5, it follows that the midpoint function . Thus we have

(ii)  For all and , we have

(iii)  For all , we have that

We conclude that is a norm on .

Now we show that the function induced by as is exactly a metric on .

Theorem 10. The function is a metric on .

Proof. (i)  By the definition of , it is obvious that , for any . If , then . Thus by Theorem 9, we get . In addition, by Lemma 2 we have .

(ii)  For all , we have that

(iii)  For any , we have

We conclude that is a metric on .

4. Conclusions

In this present investigation, we studied the norm induced by the supremum metric on the space of fuzzy numbers. And then we proposed a method for constructing a norm on the quotient space of fuzzy numbers. This norm is very natural and works well with the induced metric on . The works in this paper enable us to study the fuzzy numbers in the new environment. We hope that our results in this paper may lead to significant, new, and innovative results in other related fields.

Acknowledgments

This work was supported by the Mathematical Tianyuan Foundation of China (Grant no. 11126087), the National Natural Science Foundation of China (Grant no. 11201512) and the Natural Science Foundation Project of CQ CSTC (cstc2012jjA00001).

References

B. Bede and S. G. Gal, “Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations,” Fuzzy Sets and Systems, vol. 151, no. 3, pp. 581–599, 2005.

D. Dubois and H. Prade, “Operations on fuzzy numbers,” International Journal of Systems Science, vol. 9, no. 6, pp. 613–626, 1978.

D. Dubois and H. Prade, Fuzzy Sets and Systems, Academic Press, New York, NY, USA, 1980.

D. H. Hong, “An additive decomposition of fuzzy numbers,” Kybernetika, vol. 39, no. 3, pp. 289–294, 2003.

M. Michta, “On set-valued stochastic integrals and fuzzy stochastic equations,” Fuzzy Sets and Systems, vol. 177, no. 1, pp. 1–19, 2011.

L. Stefanini, “A generalization of Hukuhara difference and division for interval and fuzzy arithmetic,” Fuzzy Sets and Systems, vol. 161, no. 11, pp. 1564–1584, 2010.

L. A. Zadeh, “The concept of alinguistic variable and its applications to approximate reasoning—I,” Information Sciences, vol. 8, no. 3, pp. 199–249, 1975.

L. A. Zadeh, “The concept of alinguistic variable and its applications to approximate reasoning,—II,” Information Sciences, vol. 8, no. 4, pp. 301–357, 1975.

L. A. Zadeh, “The concept of a linguistic variable and its application to approximate reasoning—III,” Information Sciences, vol. 9, no. 1, pp. 43–80, 1975.

A. M. Bica, “Algebraic structures for fuzzy numbers from categorial point of view,” Soft Computing, vol. 11, no. 11, pp. 1099–1105, 2007.

D. Dubois and H. Prade, “Additions of interactive fuzzy numbers,” IEEE Transactions on Automatic Control, vol. 26, no. 4, pp. 926–936, 1981.

D. H. Hong and S. Lee, “Some algebraic properties and a distance measure for interval-valued fuzzy numbers,” Information Sciences, vol. 148, no. 1–4, pp. 1–10, 2002.

A. Maturo, “On some structures of fuzzy numbers,” Iranian Journal of Fuzzy Systems, vol. 6, no. 4, pp. 49–59, 2009.

R. Mesiar, “A note to the T-sum of L-R fuzzy numbers,” Fuzzy Sets and Systems, vol. 79, no. 2, pp. 259–261, 1996.

S. G. Pushkov, “Fuzzy modules with respect to a t-norm and some of their properties,” Journal of Mathematical Sciences, vol. 154, no. 3, pp. 374–378, 2008.

D. Qiu and L. Shu, “Notes on ‘On the restudy of fuzzy complex analysis: part I and part II’,” Fuzzy Sets and Systems, vol. 159, no. 16, pp. 2185–2189, 2008.

D. Qiu and L. Shu, “Supremum metric on the space of fuzzy sets and common fixed point theorems for fuzzy mappings,” Information Sciences, vol. 178, no. 18, pp. 3595–3604, 2008.

D. Qiu, L. Shu, and Z. Mo, “Notes on fuzzy complex analysis,” Fuzzy Sets and Systems, vol. 160, no. 11, pp. 1578–1589, 2009.

D. Qiu, L. Shu, and Z. Mo, “On starshaped fuzzy sets,” Fuzzy Sets and Systems, vol. 160, no. 11, pp. 1563–1577, 2009.

M. Mareš, “Addition of fuzzy quantities: disjunction-conjunction approach,” Kybernetika, vol. 25, no. 2, pp. 104–116, 1989.

M. Mareš, “Additive decomposition of fuzzy quantities with finite supports,” Fuzzy Sets and Systems, vol. 47, no. 3, pp. 341–346, 1992.

D. H. Hong and H. Y. Do, “Additive decomposition of fuzzy quantities,” Information Sciences, vol. 88, no. 1–4, pp. 201–207, 1996.

M. Mareš, “Algebraic equivalences over fuzzy quantities,” Kybernetika, vol. 29, no. 2, pp. 122–132, 1993.

M. Mareš, “Brief note on distributivity of triangular fuzzy numbers,” Kybernetika, vol. 31, no. 5, pp. 451–457, 1995.

D. Qiu and W. Zhang, “Symmetric fuzzy numbers and additive equivalence of fuzzy numbers,” Soft Computing, vol. 17, no. 8, pp. 1471–1477, 2013.

K. D. Jamison, “Possibilities as cumulative subjective probabilities and a norm on the space of congruence classes of fuzzy numbers motivated by an expected utility functional,” Fuzzy Sets and Systems, vol. 111, no. 3, pp. 331–339, 2000.