The Scientific World Journal

Volume 2014 (2014), Article ID 412534, 5 pages

http://dx.doi.org/10.1155/2014/412534

## Equivalent Conditions of Generalized Convex Fuzzy Mappings

College of Mathematics, Chongqing Normal University, Chongqing 400047, China

Received 2 November 2013; Accepted 22 December 2013; Published 8 January 2014

Academic Editors: T. Allahviranloo, E. Ammar, and G. Bonanno

Copyright © 2014 Xue Wen Liu and Dou He. 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 obtain some equivalent conditions of (strictly) pseudoconvex and quasiconvex fuzzy mappings. These results will be useful to present some characterizations of solutions for fuzzy mathematical programming.

#### 1. Introduction

The occurrence of randomness and fuzziness in the real world is inevitable owing to some unexpected situations. In [1], Zadeh initially introduced the concept of fuzzy number. Since then, theories of fuzzy number and their applications have been extensively and intensively studied by many scholars; one can refer to [2–9]. Mathematical programming under fuzzy environment or which involves fuzziness is called fuzzy mathematical programming. Bellman and Zadeh [10] introduced fuzzy optimization problems and stated that a fuzzy decision can be viewed as the intersection of fuzzy goals and problem constraints.

Nanda and Kar [11] proposed the concept of convex fuzzy mappings and proved that a fuzzy mapping is convex if and only if its epigraph is a convex set. At the same time, some applications to fuzzy mathematical programming problems were studied. The convexity has been playing an important role in fuzzy mathematical programming theory. Some related research work has been carried out; one can refer to [12–21]. But it is obvious that the condition of convex fuzzy mappings is too strict. Recently, different types of generalized convex fuzzy mappings were defined. Some properties and the applications were studied in fuzzy mathematical programming problems. Especially, Panigrahi et al. [22] proposed the concept of quasiconvex fuzzy mappings, which is different from that of Nanda and Kar [11] as well as Syau [14], and derived the Karush-Kuhn-Tucker optimality conditions for the constrained fuzzy minimization problems. Strict inequality relation between fuzzy numbers is used in [22], which is too much restrictive. Syau [15] introduced the concept of generalized convexity such as pseudoconvexity for fuzzy mappings with several variables and studied some basic differentiability properties of fuzzy mappings from the standpoint of convex analysis.

Motivated by the earlier works of Panigrahi et al. [22], Karamardian [23], and Karamardian and Schaible [24], in this paper, we establish some equivalent conditions of (strictly) pseudoconvex and quasiconvex fuzzy mappings.

#### 2. Preliminaries

In this section, we quote some preliminary notations and definitions.

Let be the set of all real numbers. A fuzzy number is a mapping with the following properties:(1)is normal; that is, ,(2) is upper semicontinuous,(3) is convex; that is, for all ,(4)the support of , and its closure cl() is compact.

Let be the set of all fuzzy numbers on . The -level set of a fuzzy number , , denoted by , is defined as

It is clear that the -level set of a fuzzy number is a closed and bounded interval . denotes the left-hand end point of and denotes the right-hand end point of . Also any can be regarded as a fuzzy number defined by In particular, the fuzzy number is defined as if and otherwise . Thus, fuzzy number can be identified by parameterized triples .

For fuzzy numbers and parameterized by respectively, and each nonnegative real number , we define the addition and nonnegative scalar multiplication as follows: Obviously, for each real number , Moreover, define the opposite of a fuzzy number to be the fuzzy number satisfying . In other words, if is represented by the parametric form , then is represented by the corresponding parametric form . We represent a fuzzy number as .

A fuzzy number is said to be a triangular fuzzy number if . Moreover, if and are linear, then we say that is a linear triangular fuzzy number. We denote .

*Definition 1 (see [22]). *For , we say that if for each , , . If , , then . We say that , if and there exists such that or . For , if either or , then we say that and are comparable, otherwise noncomparable.

A mapping is said to be a fuzzy mapping. For any and for any , we denote .

*Definition 2 (see [22]). *Let be a fuzzy mapping. Then, is said to be comparable if for each pair , and are comparable. Otherwise, is said to be noncomparable.

*Definition 3 (see [22]). *Let be an open set and assume that is a fuzzy mapping. Let and let stand for the partial differentiation with respect to the th variable . Assume that for all , and have continuous partial derivatives. Define
If for each defines the -cut of a fuzzy number, then we say that is differentiable at , and we denote
We call the gradient of the fuzzy mapping at . A fuzzy mapping is said to be differentiable at if exists and both and for each are differentiable at .

*Definition 4 (see [22]). *Let be a nonempty open convex set and let be a differentiable fuzzy mapping. is said to be pseudoconvex if for each , implies that .

*Definition 5 (see [22]). *Let be a nonempty convex set and let be a fuzzy mapping. is said to be quasiconvex if for each and for each , the following implications hold:
whenever and are comparable.

*Definition 6 (see [25]). *Let be a nonempty open convex set and let be a differentiable fuzzy mapping. is said to be strictly pseudoconvex if for each , implies that .

In the following sections, we always assume that be a nonempty open convex set, be a differentiable fuzzy mapping, and be comparable.

#### 3. Pseudoconvexity of Fuzzy Mappings

In this section, we establish the equivalent conditions of pseudoconvex and strictly pseudoconvex fuzzy mappings. We first give some lemmas which will be used in the sequel.

Lemma 7 (see [25]). *Assume that is a pseudoconvex fuzzy mapping. Then is a quasiconvex fuzzy mapping.*

Lemma 8 (see [22]). * is a quasiconvex fuzzy mapping if and only if for each , implies that .*

Theorem 9. * is a pseudoconvex fuzzy mapping if and only if for each , implies that .*

*Proof. *Suppose that is a pseudoconvex fuzzy mapping. Let be such that
We need to show that . Assume to the contrary that
By the pseudoconvexity of and (9), we have
By Lemmas 7 and 8, it follows from (11) that
which contradicts (10).

Conversely, let such that
We need to show that . Assume the contrary, that is, . Hence, for each ,
and there exists an such that
Without loss of generality, we assume that
From the mean-value theorem, we have
where for some . From (16) and (17), we have
On the other hand, from (13), it follows that
From the comparability assumption of , this implies that
Then, for each , we have
which contradicts (18).

*Remark 10. *Theorem 9 generalizes Karamardian’s result (Theorem 3.1 in [23]) to fuzzy mapping case.

Theorem 11. * is a strictly pseudoconvex fuzzy mapping if and only if for each , implies that .*

*Proof. *Suppose that is a strictly pseudoconvex fuzzy mapping. Let , , such that
We need to show that
Assume to the contrary that
Combine with (22) and from strict pseudoconvexity of , we have
On the other hand, (24) can be written as
From strict pseudoconvexity of , it follows that
which contradicts (25).

Conversely, let , such that
We need to show that . Assume to the contrary that
Hence, for each ,
From the mean-value theorem, we have
where for some .

From (30) and (31), we have
On the other hand, from (28), it follows that , which implies that . Then, for each ,
which contradicts (32).

*Remark 12. *Theorem 11 generalizes Karamardian and Schaible’s result (Proposition 4.1 in [24]) to fuzzy mapping case.

#### 4. Quasiconvexity of Fuzzy Mappings

In this section, we establish an equivalent condition of a differentiable quasiconvex fuzzy mapping.

Theorem 13. * is a quasiconvex fuzzy mapping if and only if for each , implies that .*

*Proof. *Suppose that is a quasiconvex fuzzy mapping. Let such that
The relation is not possible. Otherwise, it will imply that
according to Lemma 8, which contradicts to (34). From the compatibility,
From Lemma 8 and (36), it follows that
that is,

Conversely, assume that is not a quasiconvex fuzzy mapping. Then, there exists such that and , where . There exists such that
or
Without loss of generality, we assume that
By the mean-value theorem, then there exist , such that
where
From (41), and (42), it follows that
Thus, (43) yields
On the other hand, from (45) and the hypothesis, for each ,
we obtain that . Hence,
which contradicts (46).

*Remark 14. *Theorem 13 generalizes Karamardian and Schaible’s result (Proposition 5.2 in [24]) to fuzzy mapping case.

#### Conflict of Interests

The authors declare that there is no conflict of interests.

#### Acknowledgment

The research was supported by the National Science Foundation of China (Grant. 11171363, 11001289).

#### References

- L. A. Zadeh, “Fuzzy sets,”
*Information and Control*, vol. 8, no. 3, pp. 338–353, 1965. View at Google Scholar · View at Scopus - D. Dubois and H. Prade, “Towards fuzzy differential calculus. Part 1: integration of fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 8, no. 1, pp. 1–17, 1982. View at Google Scholar · View at Scopus - D. Dubois and H. Prade, “Towards fuzzy differential calculus. Part 2: integration of fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 8, no. 1, pp. 105–116, 1982. View at Google Scholar · View at Scopus - D. Dubois and H. Prade, “Towards fuzzy differential calculus. Part 3: integration of fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 8, no. 1, pp. 225–234, 1982. View at Google Scholar · View at Scopus - R. Goetschel Jr. and W. Voxman, “Topological properties of fuzzy numbers,”
*Fuzzy Sets and Systems*, vol. 10, no. 1–3, pp. 87–99, 1983. View at Google Scholar · View at Scopus - R. Goetschel Jr. and W. Voxman, “Elementary fuzzy calculus,”
*Fuzzy Sets and Systems*, vol. 18, no. 1, pp. 31–43, 1986. View at Google Scholar · View at Scopus - H. J. Zimmermann,
*Fuzzy Sets Theory and Application*, Kluwer Academic, London, UK, 2nd edition, 1991. - J. Ramík and M. Vlach,
*Generalized Concavity in Optimization and Decision Making*, Kluwer Academic, London, UK, 2001. - J. Ramík, “Duality in fuzzy linear programming with possibility and necessity relations,”
*Fuzzy Sets and Systems*, vol. 157, no. 10, pp. 1283–1302, 2006. View at Publisher · View at Google Scholar · View at Scopus - R. E. Bellman and L. A. Zadeh, “Decision making in a fuzzy environment,”
*Management Science*, vol. 17, no. 4, pp. 141–164, 1970. View at Google Scholar · View at Scopus - S. Nanda and K. Kar, “Convex fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 48, no. 1, pp. 129–132, 1992. View at Google Scholar · View at Scopus - E. Ammar and J. Metz, “On fuzzy convexity and parametric fuzzy optimization,”
*Fuzzy Sets and Systems*, vol. 49, no. 2, pp. 135–142, 1992. View at Google Scholar · View at Scopus - X. Y. Xinmin Yang, “Some properties of convex fuzzy sets,”
*Fuzzy Sets and Systems*, vol. 72, no. 1, pp. 129–132, 1995. View at Google Scholar · View at Scopus - Y.-R. Syau, “On convex and concave fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 103, no. 1, pp. 163–168, 1999. View at Google Scholar · View at Scopus - Y.-R. Syau, “Differentiability and convexity of fuzzy mappings,”
*Computers and Mathematics with Applications*, vol. 41, no. 1-2, pp. 73–81, 2001. View at Publisher · View at Google Scholar · View at Scopus - X. M. Yang and F. M. Yang, “A property on convex fuzzy sets,”
*Fuzzy Sets and Systems*, vol. 126, no. 2, pp. 269–271, 2002. View at Publisher · View at Google Scholar · View at Scopus - H. Yan and J. Xu, “A class of convex fuzzy mappings,”
*Fuzzy Sets and Systems*, vol. 129, no. 1, pp. 47–56, 2002. View at Publisher · View at Google Scholar · View at Scopus - G. Wang and C. Wu, “Directional derivatives and subdifferential of convex fuzzy mappings and application in convex fuzzy programming,”
*Fuzzy Sets and Systems*, vol. 138, no. 3, pp. 559–591, 2003. View at Publisher · View at Google Scholar · View at Scopus - Y.-E. Bao and C.-X. Wu, “Convexity and semicontinuity of fuzzy mappings,”
*Computers and Mathematics with Applications*, vol. 51, no. 12, pp. 1809–1816, 2006. View at Publisher · View at Google Scholar · View at Scopus - Y.-R. Syau and E. Stanley Lee, “Fuzzy convexity and multiobjective convex optimization problems,”
*Computers and Mathematics with Applications*, vol. 52, no. 3-4, pp. 351–362, 2006. View at Publisher · View at Google Scholar · View at Scopus - Y.-R. Syau and E. S. Lee, “A note on convexity and semicontinuity of fuzzy mappings,”
*Applied Mathematics Letters*, vol. 21, no. 8, pp. 814–819, 2008. View at Publisher · View at Google Scholar · View at Scopus - M. Panigrahi, G. Panda, and S. Nanda, “Convex fuzzy mapping with differentiability and its application in fuzzy optimization,”
*European Journal of Operational Research*, vol. 185, no. 1, pp. 47–62, 2008. View at Publisher · View at Google Scholar · View at Scopus - S. Karamardian, “Complementarity problems over cones with monotone and pseudomonotone maps,”
*Journal of Optimization Theory and Applications*, vol. 18, no. 4, pp. 445–454, 1976. View at Publisher · View at Google Scholar · View at Scopus - S. Karamardian and S. Schaible, “Seven kinds of monotone maps,”
*Journal of Optimization Theory and Applications*, vol. 66, no. 1, pp. 37–46, 1990. View at Publisher · View at Google Scholar · View at Scopus - R. X. Wang,
*Convex fuzzy mapping with differentiablity and fuzzy optimization problems [Dissertation]*, 2008.