 Research Article
 Open access
 Published:
Solving the Set Equilibrium Problems
Fixed Point Theory and Applications volumeÂ 2011, ArticleÂ number:Â 945413 (2011)
Abstract
We study the weak solutions and strong solutions of set equilibrium problems in real Hausdorff topological vector space settings. Several new results of existence for the weak solutions and strong solutions of set equilibrium problems are derived. The new results extend and modify various existence theorems for similar problems.
1. Introduction and Preliminaries
Let , , be arbitrary real Hausdorff topological vector spaces, let be a nonempty closed convex set of , and let be a proper closed convex and pointed cone with apex at the origin and , that is, is proper closed with and satisfies the following conditions:
(1), for all ;
(2);
(3).
Letting , be two sets of , we can define relations "" and "" as follows:
(1);
(2).
Similarly, we can define the relations "" and "" if we replace the set by .
The trimapping and mapping are given. The set equilibrium problem (SEP)_{ I } is to find an such that
for all and for some . Such solution is called a weak solution for (SEP)_{ I }. We note that (1.1) is equivalent to the following one:
for all and for some .
For the case when does not depend on , that is, to find an with some such that
for all , we will call this solution a strong solution of (SEP)_{ I }. We also note that (1.3) is equivalent to the following one:
for all .
We note that if is a vectorvalued function and the mapping is constant for each , then (SEP)_{ I } reduces to the vector equilibrium problem (VEP), which is to find such that
for all . Existence of a solution of this problem is investigated by Ansari et al. [1, 2].
If is a vectorvalued function and which is denoted the space of all continuous linear mappings from to and , where denotes the evaluation of the linear mapping at , then (SEP)_{ I } reduces to (GVVIP): to find and such that
for all . It has been studied by Chen and Craven [3].
If we consider , , , and , where denotes the evaluation of the linear mapping at , then (SEP)_{ I } reduces to the (GVVIP) which is discussed by Huang and Fang [4] and Zeng and Yao [5]: to find a vector and such that
If , is a singlevalued mapping, , then (SEP)_{ I } reduces to the (weak) vector variational inequalities problem which is considered by Fang and Huang [6], Chiang and Yao [7], and Chiang [8] as follows: to find a vector such that
for all . The vector variational inequalities problem was first introduced by Giannessi [9] in finitedimensional Euclidean space.
Summing up the above arguments, they show that for a suitable choice of the mapping and the spaces , , and , we can obtain a number of known classes of vector equilibrium problems, vector variational inequalities, and implicit generalized variational inequalities. It is also well known that variational inequality and its variants enable us to study many important problems arising in mathematical, mechanics, operations research, engineering sciences, and so forth.
In this paper we aim to derive some solvabilities for the set equilibrium problems. We also study some results of existence for the weak solutions and strong solutions of set equilibrium problems. Let be a nonempty subset of a topological vector space . A setvalued function from into the family of subsets of is a KKM mapping if for any nonempty finite set , the convex hull of is contained in . Let us first recall the following results.
Fan's Lemma (see [10]).
Let be a nonempty subset of Hausdorff topological vector space . Let be a KKM mapping such that for any , is closed and is compact for some . Then there exists such that for all .
Definition 1.1 (see [11]).
Let be a vector space, let be a topological vector space, let be a nonempty convex subset of , and let be a proper closed convex and pointed cone with apex at the origin and , and is said to be
(1)convex if for every and ;
(2)naturally quasiconvex if for every and .
The following definition can also be found in [11].
Definition 1.2.
Let be a Hausdorff topological vector space, let be a proper closed convex and pointed cone with apex at the origin and , and let be a nonempty subset of . Then
(1)a point is called a minimal point of if ; is the set of all minimal points of ;
(2)a point is called a maximal point of if ; is the set of all maximal points of ;
(3)a point is called a weakly minimal point of if ; is the set of all weakly minimal points of ;
(4)a point is called a weakly maximal point of if ; is the set of all weakly maximal points of .
Definition 1.3.
Let , be two topological spaces. A mapping is said to be
(1)upper semicontinuous if for every and every open set in with , there exists a neighborhood of such that ;
(2)lower semicontinuous if for every and every open neighborhood of every , there exists a neighborhood of such that for all ;
(3)continuous if it is both upper semicontinuous and lower semicontinuous.
We note that is lower semicontinuous at if for any net , , implies that there exists net such that . For other netterminology properties about these two mappings, one can refer to [12].
Lemma 1.4 (see [13]).
Let , , and be real topological vector spaces, and let and be nonempty subsets of and , respectively. Let , be setvalued mappings. If both and are upper semicontinuous with nonempty compact values, then the setvalued mapping defined by
is upper semicontinuous with nonempty compact values.
By using similar technique of [11, Proposition â€‰2.1], we can deduce the following lemma that slightgeneralized the original one.
Lemma 1.5.
Let , be two Hausdorff topological vector spaces, and let , be nonempty compact convex subsets of and , respectively. Let be continuous mapping with nonempty compact valued on ; the mapping is naturally quasi convex on for each , and the mapping is convex on for each . Assume that for each , there exists such that
Then, one has
2. Existence Theorems for Set Equilibrium Problems
Now, we state and show our main results of solvabilities for set equilibrium problems.
Theorem 2.1.
Let , , be real Hausdorff topological vector spaces, let be a nonempty closed convex subset of , and let be a proper closed convex and pointed cone with apex at the origin and . Given mappings , , and , suppose that
(1) for all ;
(2)for each , there is an such that for all ,
(3)for each , the set is convex;
(4)there is a nonempty compact convex subset of , such that for every , there is a such that for all ,

(5)
for each , the set is open in .
Then there exists an which is a weak solution of (SEP)_{I}. That is, there is an such that
for all and for some .
Proof.
Define by
for all . From condition (5) we know that for each , the set is closed in , and hence it is compact in because of the compactness of .
Next, we claim that the family has the finite intersection property, and then the whole intersection is nonempty and any element in the intersection is a solution of (SEP)_{ I }, for any given nonempty finite subset of . Let , the convex hull of . Then is a compact convex subset of . Define the mappings , respectively, by
for each . From conditions (1) and (2), we have
and for each , there is an such that
Hence , and then for all .
We can easily see that has closed values in . Since, for each , , if we prove that the whole intersection of the family is nonempty, we can deduce that the family has finite intersection property because and due to condition (4). In order to deduce the conclusion of our theorem, we can apply Fan's lemma if we claim that is a KKM mapping. Indeed, if is not a KKM mapping, neither is since for each . Then there is a nonempty finite subset of such that
Thus there is an element such that for all , that is, for all . By (3), we have
and hence which contradicts (2.6). Hence is a KKM mapping, and so is . Therefore, there exists an which is a solution of (SEP)_{ I }. This completes the proof.
Theorem 2.2.
Let , , be real Hausdorff topological vector spaces, let be a nonempty closed convex subset of , and let be a proper closed convex and pointed cone with apex at the origin and . Let the mapping be such that for each , the mappings and are upper semicontinuous with nonempty compact values and . Suppose that conditions (1)â€“(4) of Theorem 2.1 hold. Then there exists an which is a solution of (SEP)_{I}. That is, there is an such that
for all and for some .
Proof.
For any fixed , we define the mapping by
for all and . Since the mappings and are upper semicontinuous with nonempty compact values, by Lemma 1.4, we know that is upper semicontinuous on with nonempty compact values. Hence, for each , the set
is open in . Then all conditions of Theorem 2.1 hold. From Theorem 2.1, (SEP)_{ I } has a solution.
In order to discuss the results of existence for the strong solution of (SEP)_{ I }, we introduce the condition (). It is obviously fulfilled that if , is singlevalued function.
Theorem 2.3.
Under the framework of Theorem 2.2, one has a weak solution of (SEP)_{I} with . In addition, if , , and is compact, is convex, the mapping is continuous with nonempty compact valued on , the mapping is naturally quasi convex on for each , and the mapping is convex on for each . Assuming that for each , there exists such that
then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Proof.
From Theorem 2.2, we know that such that (1.1) holds for all and for some . Then we have .
From condition () and the convexity of , Lemma 1.5 tells us that . Then there is an such that . Thus for all , we have . Hence there exists such that
for all . Such an is a strong solution of (SEP)_{ I }.
Finally, to see that the solution set of (SEP)_{ I } is compact, it is sufficient to show that the solution set is closed due to the coercivity condition (4) of Theorem 2.2. To this end, let denote the solution set of (SEP)_{ I }. Suppose that net which converges to some . Fix any . For each , there is an such that
Since is upper semicontinuous with compact values and the set is compact, it follows that is compact. Therefore without loss of generality, we may assume that the sequence converges to some . Then and . Let . Since the mapping is upper semicontinuous with nonempty compact values, the set is open in . Hence is closed in . By the facts and , we have . This implies that . We then obtain
Hence and is closed.
We would like to point out that condition () is fulfilled if we take and is a singlevalued function. The following is a concrete example for both Theorems 2.1 and 2.3.
Example 2.4.
Let , , , , and . Choose to be defined by for every and is defined by , where , with , for some , , and is defined by
Then all conditions of Theorems 2.1 and 2.3 are satisfied. By Theorems 2.1 and 2.3, respectively, the (SEP)_{ I } not only has a weak solution, but also has a strong solution. A simple geometric discussion tells us that is a strong solution for (SEP)_{ I }.
Corollary 2.5.
Under the framework of Theorem 2.1, one has a weak solution of (SEP)_{I} with . In addition, if and , is compact, is convex, convex on for each and the mapping is convex on for each , such that is continuous with nonempty compact values for each , and is upper semicontinuous with nonempty compact values. Assume that condition () holds, then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Theorem 2.6.
Let , , , , , , be as in Theorem 2.1. Assume that the mapping is convex on for each and such that
(1)for each , there is an such that ;
(2)there is a nonempty compact convex subset of , such that for every , there is a such that for all ,
(3)for each , the set is open in .
Then there is an which is a weak solution of (SEP)_{I}.
Proof.
For any given nonempty finite subset of . Letting , then is a nonempty compact convex subset of . Define as in the proof of Theorem 2.1, and for each , let
We note that for each , is nonempty and closed since by conditions (1) and (3). For each , is compact in . Next, we claim that the mapping is a KKM mapping. Indeed, if not, there is a nonempty finite subset of , such that . Then there is an such that
for all and . Since the mapping
is convex on , we can deduce that
for all . This contradicts condition (1). Therefore, is a KKM mapping, and by Fan's lemma, we have . Note that for any , we have by condition (2). Hence, we have
for each nonempty finite subset of . Therefore, the whole intersection is nonempty. Let . Then is a solution of (SEP)_{ I }.
Corollary 2.7.
Let , , , , , , be as in Theorem 2.1. Assume that the mapping is convex on for each and , such that is continuous with nonempty compact values for each , and is upper semicontinuous with nonempty compact values. Suppose that
(1)for each , there is an such that ;
(2)there is a nonempty compact convex subset of , such that for every , there is a such that for all ,
Then there is an which is a weak solution of (SEP)_{I}.
Proof.
Using the technique of the proof in Theorem 2.2 and applying Theorem 2.6, we have the conclusion.
The following result is another existence theorem for the strong solutions of (SEP). We need to combine Theorem 2.6 and use the technique of the proof in Theorem 2.3.
Theorem 2.8.
Under the framework of Theorem 2.6, on has a weak solution of (SEP)_{I} with . In addition, if and , is compact, is convex and the mapping is naturally quasi convex on for each , such that is continuous with nonempty compact values for each , and is upper semicontinuous with nonempty compact values. Assuming that condition () holds, then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Using the technique of the proof in Theorem 2.3, we have the following result.
Corollary 2.9.
Under the framework of Corollary 2.7, one has a weak solution of (SEP)_{I} with . In addition, if and , is compact, is convex, and the mapping is naturally quasi convex on for each . Assuming that condition () holds, then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Next, we discuss the existence results of the strong solutions for (SEP)_{ I } with the set without compactness setting from Theorems 2.10 to 2.14 below.
Theorem 2.10.
Letting be a finitedimensional real Banach space, under the framework of Theorem 2.1, one has a weak solution of (SEP)_{I} with . In addition, if and , is convex, for all and for all , the mapping is convex on for each and and the mapping is naturally quasi convex on for each , such that is continuous for each , and is upper semicontinuous with nonempty compact values. Assume that for some , such that for each , there is a such that the condition
is satisfied, where . Then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Proof.
Let us choose such that condition () holds. Letting , then the set is nonempty and compact in . We replace by in Theorem 2.3; all conditions of Theorem 2.3 hold. Hence by Theorem 2.3, we have such that
for all . For any , choose small enough such that . Putting in (2.29), we have
We note that
which implies that
for all . This completely proves the theorem.
Corollary 2.11.
Letting be a finitedimensional real Banach space, under the framework of Theorem 2.2, one has a weak solution of (SEP)_{I} with . In addition, if and , is convex, for all and for all , the mapping is convex on for each and , and the mapping is naturally quasi convex on for each . Assume that for some , condition () holds. Then is a strong solution of (SEP)_{I}; that is, there exists such that
for all Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
Using a similar argument to that of the proof in Theorem 2.10 and combining Theorem 2.6 and Corollary 2.7, respectively, we have the following two results of existence for the strong solution of (SEP)_{ I }.
Theorem 2.12.
Let be a finitedimensional real Banach space, under the framework of Theorem 2.6, one has a weak solution of (SEP)_{I} with . In addition, if and , is convex, for all and for all , the mapping is naturally quasi convex on for each , such that is continuous for each , and is upper semicontinuous with nonempty compact values. Assume that for some , condition () holds. Then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
In order to illustrate Theorems 2.10 and 2.12 more precisely, we provide the following concrete example.
Example 2.13.
Let , , , , and . Choose to be defined by for every and is defined by , where , , and is defined by
We claim that condition () holds. Indeed, We know that the weak solution . For each , if we choose any , then and . Hence condition () and all other conditions of Theorems 2.10 and 2.12 are satisfied. By Theorems 2.10 and 2.12, respectively, the (SEP)_{ I } not only has a weak solution, but also has a strong solution. We can see that is a strong solution for (SEP)_{ I }.
Theorem 2.14.
Letting be a finitedimensional real Banach space, under the framework of Corollary 2.7, one has a weak solution of (SEP)_{I} with . In addition, if and , is convex, for all and for all , and the mapping is naturally quasi convex on for each . Assume that for some , condition () holds. Then is a strong solution of (SEP)_{I}; that is, there exists such that
for all . Furthermore, the set of all strong solutions of (SEP)_{I} is compact.
We would like to point out an open question naturally arising from Theorem 2.3: is Theorem 2.3 extendable to the case of or more general spaces, such as Hausdorff topological vector spaces?
References
Ansari QH, Konnov IV, Yao JC: Existence of a solution and variational principles for vector equilibrium problems. Journal of Optimization Theory and Applications 2001,110(3):481â€“492. 10.1023/A:1017581009670
Ansari QH, Oettli W, SchlÃ¤ger D: A generalization of vectorial equilibria. Mathematical Methods of Operations Research 1997,46(2):147â€“152. 10.1007/BF01217687
Chen GY, Craven BD: A vector variational inequality and optimization over an efficient set. Zeitschrift fÃ¼r Operations Research 1990,34(1):1â€“12.
Huang NJ, Fang YP: On vector variational inequalities in reflexive Banach spaces. Journal of Global Optimization 2005,32(4):495â€“505. 10.1007/s108980032686z
Zeng LC, Yao JenChih: Existence of solutions of generalized vector variational inequalities in reflexive Banach spaces. Journal of Global Optimization 2006,36(4):483â€“497. 10.1007/s1089800555096
Fang YP, Huang NJ: Strong vector variational inequalities in Banach spaces. Applied Mathematics Letters 2006,19(4):362â€“368. 10.1016/j.aml.2005.06.008
Chiang Y, Yao JC: Vector variational inequalities and the condition. Journal of Optimization Theory and Applications 2004, 123(2):271â€“290. 10.1007/s109570045149x
Chiang Y: The condition for vector equilibrium problems. Taiwanese Journal of Mathematics 2006,10(1):31â€“43.
Giannessi F: Theorems of alternative, quadratic programs and complementarity problems. In Variational Inequalities and Complementarity Problems. Edited by: Cottle RW, Giannessi F, Lions LJL. Wiley, Chichester, UK; 1980:151â€“186.
Fan K: A generalization of Tychonoff's fixed point theorem. Mathematische Annalen 1961, 142: 305â€“310. 10.1007/BF01353421
Li SJ, Chen GY, Lee GM: Minimax theorems for setvalued mappings. Journal of Optimization Theory and Applications 2000,106(1):183â€“199. 10.1023/A:1004667309814
Aubin JP, Cellina A: Differential Inclusions: SetValued Maps and Viability Theory, Grundlehren der Mathematischen Wissenschaften. Volume 264. Springer, Berlin, Germany; 1984:xiii+342.
Lin LJ, Yu ZT: On some equilibrium problems for multimaps. Journal of Computational and Applied Mathematics 2001,129(1â€“2):171â€“183. 10.1016/S03770427(00)005483
Acknowledgments
The authors would like to thank the referees whose remarks helped improving the paper. This work was partially supported by Grant no. 98EduProject7B55 of Ministry of Education of Taiwan (Republic of China) and Grant no. NSC982115M039001 of the National Science Council of Taiwan (Republic of China) that are gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Lin, YC., Chen, HJ. Solving the Set Equilibrium Problems. Fixed Point Theory Appl 2011, 945413 (2011). https://doi.org/10.1155/2011/945413
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/945413