00 Fixed Point Theory and Applications
a SpringerOpen Journal
RESEARCH
Open Access
The uniqueness and well-posedness of vector equilibrium problems with a representation theorem for the solution set
Ding-Tao Peng1*, Jian Yu1 and Nai-Hua Xiu2
Correspondence: dingtaopeng@126.com 'College of Science, Guizhou University, Guiyang, Guizhou 550025, China
Full list of author information is available at the end of the article
Abstract
This paper aims to present some uniqueness and well-posedness results for vector equilibrium problems (for short, VEPs). We first construct a complete metric space M consisting of VEPs satisfying some conditions. Using the method of set-valued analysis, we prove that there exists a dense everywhere residual subset Q of M such that each VEP in Q has a unique solution. Moreover, we introduce and obtain the generalized Hadamard well-posedness and generic Hadamard well-posedness of VEPs by considering the perturbations of both vector-valued functions and feasible sets. As an application, we provide a representation theorem for the solution set to each VEP in M.
MSC: 49K40; 90C31; 46B40; 47H04
Keywords: vector equilibrium problem; set-valued mapping; dense everywhere residual set; uniqueness; well-posedness
1 Introduction
The vector equilibrium problem (for short, VEP) is a natural generalization of the equilibrium problem for the vector-valued function. It is well known that the vector equilibrium problem is a unified model of several fundamental mathematical problems, namely, the vector optimization problem, the vector variational inequality, the vector complementarity problem, the multiobjective game, the vector network equilibrium problem etc. Since the VEP was proposed at about 1997 lots of peoples have made many contributions to this problem and hundreds of papers have been published; see, e.g., the collection [1] and the monograph [2]. However, works on the uniqueness of solutions to VEPs were hardly seen. The only work we can find about the uniqueness of solutions to VEPs is [3], in which Khanh and Tung established sufficient conditions for the local uniqueness of solutions to VEPs by using approximations as generalized derivatives under the assumption that the functions have first and second Frechet derivatives. The reason why results on uniqueness are so few is due to the fact that except for a few types of mathematical problems, most of the mathematical problems cannot guarantee the uniqueness of the solution. Therefore, to consider the generic uniqueness of the solutions may be more suitable, which will answer the question how many problems there are in a class of problems having a unique solution. The generic uniqueness of solutions to VEPs is our main motivation in this paper.
As we know, several works have been achieved about the generic uniqueness of solutions to some optimization-related problems such as optimization problems [4, 5], two-person
Springer
© 2014 Peng et al.; licensee Springer. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
zero-sum continuous games [6], saddle point problems [7], large crowding games [8]. Recently, some new results were obtained. Yu et al. [9] obtained the generic uniqueness of equilibrium points for a class of equilibrium problems. The results in [9] showed that most of the monotone equilibrium problems (in the sense of Baire category) have a unique equilibrium point and that each monotone equilibrium problem can be arbitrarily approached by a sequence of such equilibrium problems that each of them has a unique equilibrium point. Moreover, Peng et al. [10] provided a unified approach to the generic uniqueness and applied it to several nonlinear problems. However, the study of the generic uniqueness of solutions to VEPs has an essential difficulty: that the values of different vector-valued functions are incomparable. To overcome such a difficulty is one of the main tasks in this paper.
The stability of solutions to nonlinear problems is also an important topic. The notion of well-posedness is just one of the approaches to the stability. There have been several notions of well-posedness about optimization-related problems. We refer to [11-15] for more details. For well-posedness of equilibrium problems or vector equilibrium problems, there are some results. Fang etal. [16] investigated the well-posedness of equilibrium problems; Kimura etal. [17] studied the parametric well-posedness for vector equilibrium problems; Bianchi et al. [18] introduced and studied two types of well-posedness for vector equilibrium problems; Li and Li [19] investigated the Levitin-Polyak well-posedness of vector equilibrium problems with variable domination structures; Salamon [20] analyzed the Hadamard well-posedness of parametric vector equilibrium problems; Peng et al. [21] investigated several types of Levitin-Polyak well-posedness of generalized vector equilibrium problems. Most of these works considered the perturbation of the parameters in the vector-valued functions. Different from these works, we will not only consider the perturbation of objective functions but also consider the perturbation of feasible sets.
This paper aims to present some generic uniqueness and well-posedness results for VEPs. We consider both the perturbation of vector-valued functions and the perturbation of feasible sets. The paper is organized as follows. In Section 2, we recall some definitions and preliminaries. In Section 3, we investigate the uniqueness of solutions to VEPs. We first construct a complete metric space M consisting of VEPs satisfying some conditions. Then we prove that most of the VEPs (in the sense of Baire category) in M have a unique solution. In Section 4, the Hadamard well-posedness of VEPs is introduced and studied. The generalized Hadamard well-posedness and generic Hadamard well-posedness ofVEPs are derived. In Section 5, applying the above results we provide an interesting representation theorem for the solution set of each VEP in M. Finally, we briefly conclude our results in Section 6.
2 Preliminaries
Throughout this section, let H be a Hausdorff topological vector space and C be a nonempty closed, convex and pointed cone in H with int C = 0, where int C denotes the topological interior of C. We note that int C + C c int C (see [22]).
Let X be a nonempty set and $ : X x X ^ H be a vector-valued function. The so-called vector equilibrium problem (for short, VEP) [2] is to find x* e X such that
$(x*, y e- int C, Vy e X.
We call x* a solution of VEP($). If H = R, C = (-cc,0], the VEP becomes the Ky Fan inequality [23, 24]. Similarly, if H = R, C = [0,+c), the VEP becomes the equilibrium problem [25].
Definition 2.1 (see [2]) Let X be a nonempty subset of a Hausdorff topological vector space E and f : X ^ H be a vector-valued function. f is said to be C-upper semi-continuous at x e X iff for any open neighborhood V of 0 in H, there exists an open neighborhood U of x in X such that, for any X e U,
f{x') e f (x) + V - C (or equivalentlyf (x) e f{x') + V + C);
f is said to be C-upper semi-continuous on X iff f is C-upper semi-continuous at each x e X; andf is said to C-lower semi-continuous on X iff -f is C-upper semi-continuous on X.
Definition 2.2 Let X be a nonempty subset of a Hausdorff topological vector space E and $ : X x X ^ H be a vector-valued function. $ is said to be C-strictly-quasi-monotone on X x X iff for any x, y e X with x = y,
$(x,y) e - int C ^ $(y, x) e -C.
Example 2.3 Let E = R, X = [-1,1] c E, H = R2 and C = R+ c H. Define
, ,f(0,0)T, -1 < x <0, /l(x):=((1,1)T, 0 < x < 1;
f2(x) := (x,x)T, -1 < x < 1;
$(x,y) := (|x| - |y|, |x| - |y|)T, -1 < x,y < 1.
One can easily check thatf is C-upper semi-continuous on X but not C-lower semi-continuous at x = 0; f2 is both C-upper semi-continuous and C-lower semi-continuous on X; $ is both C-upper semi-continuous and C-lower semi-continuous on X x X; $ is C-strictly-quasi-monotone on X x X; and that x = ±1 e X are the only two solutions to VEP($).
To investigate the uniqueness of solutions to VEPs, we will use the way of set-valued analysis. So let us recall some definitions and lemmas about set-valued mappings; for more details see [26].
Definition 2.4 Let X, M be two topological spaces. Denote by 2X the space of all nonempty subsets of X. Let S : M ^ 2X be a set-valued mapping. Then (i) S is said to be upper (respectively, lower) semi-continuous at u e M iff for each open set G in X with G D S(u) (respectively, G n S(u) = 0), there exists an open neighborhood O of u such that G D S(u') (respectively, G n S(u') = 0) for each u! e O; (ii) S is said to be continuous at u e M iff S is both upper semi-continuous and lower semi-continuous at u; (iii) S is said to be a usco mapping iff S is upper semi-continuous on M and S(u) is compact for each u e M; (iv) A subset Q of M is called residual iff it contains the intersection of countably many dense everywhere open subsets ofM.
Lemma 2.5 (see [7, 27]) Let M be a Baire space, X bea metric space and S: M ^ 2X be a usco mapping, then there exists a dense everywhere residual subset Q ofM such that S is lower semi-continuous at each x e Q.
Remark 2.6 If there exists a dense everywhere residual subset Q of M such that, for each u e Q, a certain property P depending on u holds, then we say that the property P is generic on M. Since Q is a second category set, we may say that the property P holds for most of the points (in the sense of Baire category) in M. The research on generic properties (including generic existence, generic uniqueness, generic stability, generic well-posedness and so on) has attracted much attention; see, e.g., [4-7, 9, 22, 24, 28, 29] and the references therein.
Lemma 2.7 (see [28]) Let A andAn (n = 1,2,...) all be nonempty compact subsets of a metric space X with An ^ Ain the Hausdorff distance topology, then the following statements hold:
(i) и+2 An U A is also nonempty compact subset ofX;
(ii) Ifxn e An, xn ^ x, then x e A.
3 Uniqueness of solutions to VEPs
In the rest of this paper, let X bea nonempty and closed subset of a complete metric space E, (H, у • у) be a Banach space, and C be a nonempty, closed, convex, and pointed cone in H with int C = 0. For any e >0, denote by B(e) := {z e H : ||z|| < ej and B°(e) := {z e H : ||z|| < ej. We emphasize that the open neighborhood V in Definition 2.1 can be replaced by B°(e) in the case that H is a normed space. Let a space M of VEPs be defined by
$ : X x X ^ H is C-upper semi-continuous on X x X; $ is C-strictly-quasi-monotone on X x X;
u = ($,A) : sup^XxX ll$(x,y)ll < +co;
A is a nonempty compact subset of X; and 3x e A such that $ (x,y) e - int C, Vy e A
For any u1 = (ф1, A1), u2 = (ф2, A2) e M, define
p (ui, u2)= sup 11Ф1 (x, y) — Ф2 (x, y) I + h(Ai, A2),
(x,y)eXxX
where h is the Hausdorff distance on X.
Lemma 3.1 (M, p) is a complete metric space.
Proof Clearly, p is a metric on M. We only need to show that (M, p) is complete. Let {un = ($n, An)} be a Cauchy sequence of M, then for any e > 0, there exists a positive integer N(e) such that
p(um, un)= sup |^m(x,y)— Фп^,y) || + h(Am, A„) < e, Vm, n > N(e).
(x,y)eXxX
sup ||<m(x,y)-<n(x,y)|| < e and h(Am,An)< e, Vm,n >N(e).
(x,y) eXxX
Since H is a Banach space, for any x,y e X, there exists $(x,y) e H such that limm^c $m(x, y) = $(x, y) and
Since X is complete, K(X) is also complete, where K(X) denotes the space of all nonempty compact subsets of X and is endowed with the Hausdorff distance h induced by the metric on X. Consequently, by h(Am, An) < e, there exists A e K(X) such that An ^ A. Next, we will prove u := (<, A) e M.
(i) Fix n > N(e). Since <n is C-upper semi-continuous on X x X, there exists a neighborhood U(x, y) c X x X of (x, y) such that
Thus, by (3.1) and (3.2), for any (x',y') e U(x,y), we have
<(x',y') e <n(x',y') + B(e) c <n(x,y)+B°(2e) - C c <(x,y)+B°(3e) - C.
It follows that < is C-upper semi-continuous on X x X.
(ii) For any x,y e X with x = y, suppose <(x,y) e - int C. Since int C is open and limn^c <n(x,y) = <(x,y), we have <n(x,y) e - int C when n is big enough. It follows from the C-strictly-quasi-monotonicity of <n that <n(y,x) e -C. Since C is closed and limn^c<n(y,x) = <(y,x), we obtain <(y,x) e -C. Therefore, < is C-strictly-quasi-monotone on X x X.
(iii) For each n > N(e), we have
sup ||<n(x,y)-<(x,y)| < e and sup ||<n(x,y)| <+c».
(x,y) eXxX (x,y) eXxX
Hence sup(x,y) eXxX ll<(x,y)y < sup(x,y)eXxX nVn (x,y)| + e < +cc.
(iv) Since un = (<n, An) e M for each n = 1,2,..., there exists xn e An such that
<n(xn,y) e - int C, VyeAn. (3.3)
Since A and An (n = 1,2,...) are all compact and An ^ A, by Lemma 2.7(i), (J+C An U A is also compact. Note that {xn} c (J+C An U A. Without loss of generality, suppose xn ^ x*. By Lemma 2.7(ii), x* e A. We shall show that x* fulfills
<(x*,y) e- int C, VyeA.
Assume, by contradiction, that there exists yo e A such that <(x*,yo) e - int C. Since int C is open, there exists eo > 0 such that
sup |<n(x,y) - <(x,y)|| < e, Vn > N(e).
(x,y) Xx X
<n(x',y) e <n(x,y) + B°(e) - C, V(x',y/) e U(x,y).
<(x*,B°(2eo) C - int C.
For y0 e A, by virtue of An ^ A, there exist yn eAn (n = 1,2,...) such that yn ^ y0. By (3.3), it follows from yn An that
$n(xn,yn) e -int C. (.5)
Since $ is C-upper semi-continuous on X x X and xn ^ x*, yn ^ y0, there exists N1 > N(e0) such that
$(xn,yn)-$(x*,y0)e B°(e0)-C, Vn > N1. (.6)
From (3.1), we derive
$n(xn,yn) - $(xn,yn) e B(e0), Vn > N1. (.7)
By (3.4), (3.6), and (3.7), we obtain for all n > N1,
$n(xn, yn) = $(x*, y<0) + [$n(xn, yn)-$(xn, yn)] + [$(xn, yn)-$(x*, y0)] e $(x*,y0) + B(e0)+B°(e0)-C C $(x*,y0) + B°(2f0)-C C - int C - C C - int C,
which contradicts (3.5). Hence $(x*,y) e - int C for all y e A. Thus we have shown u := ($, A) e M. Consequently, the inequality (3.1) and h(An, A) ^ 0 imply that limn^TO p(un, u) = 0. Therefore, (M, p) is a complete metric space. □
Lemma 3.2 Letf : X ^ H be C-upper semi-continuous on X, then the set L := {x e X : f (x) e - int C} is closed in X.
Proof Let xneL with xn ^ x e X. We only need to prove x e L. Assume, by contradiction, that x e L, thenf (x) e - int C. Note that - int C is open, there exists e >0 such thatf (x) + B° (e) C - int C. Sincef: X ^ H is C-upper semi-continuous at x and xn ^ x, there exists N >0 such that, for any n > N,we have f (xn) e f (x) + B° (e)- C C - int C - C C - int C. But
it follows from xneL thatf (xn) e - int C, which is a contradiction. The proof is complete.
For each u = ($, A) e M, by the definition of M, VEP($) must have at least one solution in A, i.e., 3x* e A such that $(x*,y) e - int C for all y e A. Denote by S(u) the set of all solutions to VEP($) in A. Then the correspondence u ^ S(u) yields a set-valued mapping S: M ^ 2X.
Lemma 3.3 S: M ^ 2X is a usco mapping. Proof For each u = ($, A) e M, note that
S(u) = {xe A : $(x,y) e - int C, Vy e A} = p| {xe A : $(x,y) e - int C}.
Since < is C-upper semi-continuous on X x X, it is also C-upper semi-continuous on A x A. Moreover, x ^ <(x,y) is also C-upper semi-continuous on A. By Lemma 3.2, for each y e A, the set {x e A : <(x,y) e - int C} is closed in A. Thus S(u) is closed in A. Furthermore, S(u) is compact since A is compact.
Next, we will prove that S is upper semi-continuous on M. We assume, by contradiction, that there exists u = (<, A) e M such that S is not upper semi-continuous at u, then there exists an open neighborhood G in X with G D S(u) such that, for each n = 1,2,... and each open neighborhood Un = {u' = (<', A') e M: p(u', u) < n} of u, there exist un = (<n, An) e Un and xn e S(un) but xn e G.
Since un = (<n, An) e Un for each n = 1,2,..., we have p(un, u)< n ^ 0. Then
<n ^ < and An ^ A. (.8)
It follows from xn e S(un) that xn e An and
<n(xn, y)e- int C, Vy e An. (.9)
By Lemma 2.7(i), UAn U A is compact due to the compactness of An and A. Note that {xn}+51 C U+=l An U A. Without loss of generality, we suppose that {xn}+2 is convergent. Moreover, by Lemma 2.7(ii), the limit x* of {xn}+ij belongs to A, i.e., xn ^ x* e A. Meanwhile, xn e G and G is open, thus x* e G. Since S(u) C G, we have x* e S(u). Consequently, there exists y e A such that <(x*,y) e - int C. Note that - int C is open; then there exists e >0 such that
Since An ^ A and y e A, there exists a sequence {yn}+?1 such that yn e An and yn ^ y. Since $n ^ $, there exists Ni > 0 such that, for any n > Ni,
Moreover, $ is C-upper semi-continuous on X x X as well as xn ^ x*, yn ^ y, hence there exists N2 > N1 such that, for any n > N2,
<(x*, y) + B°(e) C - int C.
By (3.10)-(3.12), we have for any n > N2,
<n(xn, yn) = <(x*, y) + [<n(xn, yn)-<(xn, yn )] + [<(xn, yn)-<(x*, y)]
<(x*,y) + B° (e)- C C - int C - C C - int C,
which is in contradiction with (3.9). Therefore, S must be upper semi-continuous on M. The proof is thus complete. □
Theorem 3.4 There exists a dense everywhere residual subset Q of M such that S(u) is a singleton for each u = (<, A) e Q, that is, VEP(<) has a unique solution in A.
Proof By Lemma 3.1, M is a complete metric space, so it is a Baire space. Since S: M ^ 2X is a usco mapping (Lemma 3.3) and X is a metric subspace, by Lemma 2.5, there exists a dense everywhere residual subset Q of M such that S is lower semi-continuous at each u = (<, A) e Q.
Assume, by contradiction, that S(uo) is not a singleton for some uo = (<<o, Ao) e Q. Then there exist at least two points x1,x2 e S(uo) c Ao with x1 = x2. Consequently, there exist two open subsets U and V in X such that x1 e U, x2 e V and U n V = 0.
Define a function g: X ^ R as follows:
g(x) =
d(x, xi)
d(x, xi) + d(x, X \ U) '
Vx e X,
where d is the metric on X. Note that g is continuous on X; o < g(x) < 1 for all x e X; g(x) = o if and only if x = x1; g(x) = 1 for all x e V. Take z e - int C. For each n = 1,2,..., let <n : X x X ^ H be defined by
<n(x, y) = 0o (x, y) +
z, Vx, y e X.
Furthermore, define un = (<n, Ao).
For each n = 1,2,..., we will prove un e M.
(i) It is easy to check that <n is C-upper semi-continuous on X x X;
(ii) For any x,y e X with x = y, suppose <n(x,y) e - int C. Then we can claim that <o(x,y) e - int C. Otherwise <o(x,y) e - int C. Note that [-g(x)]z e -C, then
<n(x, y) = <o(x, y) +
1 g(x) n
ze - int C - C c - int C,
which is a contradiction. By the C-strictly-quasi-monotonicity of <o and <o (x, y) e - int C, we get <o(y,x) e -C. Hence
<n(y, x) = <o(y, x) +
1 g(y)
z -C - C c -C.
That is, <n is C-strictly-quasi-monotone on X x X.
(iii) SUP(x,y)eXxX Wn^y)y < SUP(x,y)eXxX У<0(x,y) II +
(iv) From x1 e S(uo) and g(x1) = o, we derive
<n(xi, y)=<o(xi, y) + which implies x1 e S(un) = 0.
1 g (xi)
z = <o(xi, y) e - int C, VyeAo,
Thus we have shown un e M for each n = 1,2,____Consequently, p(un, uo) < n • IZII — 0
as n — to.
Note that x2 e V n S(u0), then V n S(u0) = 0. Since S is lower semi-continuous at u0 and un —y uo, there exists a positive integer n0 > 0 big enough such that V n S(uno) = 0. Take xno e V n S(un0), then we have xn0 e V n A0, g(xn0) = 1 and <n0(xn0,y) e -intC for any y e A0. Take y = x1 ( e A0), then we get
<o(Xno, xi) + — z = <o(Xno, xi) + «0
—g(x«o ) no
z = <no(Xno, Xi) e - int C.
(3.13)
Note that z e - int C. If <0(xn0,x1) e -C, then <n0(xn0,x1) e -C - int C c - int C, which contradicts (3.13). Hence we have
<o(x«o, Xi) e -C.
Since x1 e S(uo), we have <o(x1,y) e - int C for any y e Ao. Taking y = xno ( e Ao), we get <o(x1, xno) e - int C. It follows from the C-strictly-quasi-monotonicity of <o that <o(xno,x1) e -C, which is in contradiction with (3.14). Therefore, S(u) must be a singleton for each ueQ. □
When H = R, C =[o, +to), we get Corollary 3.5 as follows. Corollary 3.5 Let
f : X x X ^ R is upper semi-continuous onX x X; f is pseudo-monotone onX x X; M' = •{ u = (f, A) : Sup(xy)eXxX f (x,y)l < +C»;
A is a nonempty compact subset ofX; and 3x e A such thatf(x, y) > o, Vy e A
where f is called pseudo-monotone (see [30]) onX x X iff for any x, yeX with x = y,
f (x, y) > 0 ^ f (y, x) < 0.
Then there exists a dense everywhere residual subset Q ofM such that,for eachu = (f, A) e Q', f has a unique equilibrium point in A.
Remark 3.6 Corollary 3.5 generalized Theorem 3.2 of [9], one of main results of [9], as regards the following four aspects:
(i) we do not require the convexity of function f e M;
(ii) we do not require the convexity and linear structure of the set X;
(iii) we omit the requirement that f (x, x) > 0 for all x e X;
(iv) we replace the monotonicity off by pseudo-monotonicity which is weaker than the former.
4 Well-posedness ofVEPs
As is well known, the notions of well-posedness can be mainly divided into three groups, namely, Hadamard type, Tykhonov type and Levitin-Polyak type. Generally speaking, to
consider Tykhonov well-posedness of a problem, one introduces the notion of 'approximating sequence' for the solution and requires some convergence of such sequences to a solution of the problem; while, Hadamard well-posedness of a problem means the continuous dependence of the solutions on the data or the parameter of the problem; as for Levitin-Polyak well-posedness, we mean the convergence of the approximating solution sequence to a solution of the problem with some constraints; for more details to see [1115]. In this section, we will investigate the Hadamard well-posedness of VEPs.
Definition 4.1 Let u e M. (1) The VEP associated with u is said to be generalized Hadamard well-posed iff for any uneM and any xn e S(un), un ^ u implies that {xn} has a subsequence converging to an element of S(u); (2) The VEP associated with u is said to be Hadamard well-posed iff S(u) = {x} (a singleton) and for any uneM and any xn e S(un), un ^ u implies that {xn} converges to x.
Theorem 4.2 For each u = ($, A) e M, the VEP associated with u is generalized Hadamard well-posed.
Proof Let un = ($n, An) e M, xn e S(un), and un ^ u. Note that An ^ A because un ^ u. According to Lemma 2.7(i), it follows from the compactness of An and A that (J+2" An U A is compact. Since xn e S(un) C (J+2 An U A, there exists a convergent subsequence {xnk} of {xn}. Moreover, by Lemma 2.7(ii), the limit point x* of {x„k} belongs to A, i.e., xnk ^ x* e A. By Lemma 3.3, S is upper semi-continuous at u and S(u) is compact.
If x* e S(u), then there exists an open set O in X such that O D S(u) and x* e O. Since S is upper semi-continuous at u and un ^ u, there is a positive integer N such that O D S(un) for all n > N. From xnk e S(unk) C O for all nk > N and xnk ^ x*, it follows that x* e O, which is a contradiction. Hence x* e S(u). The proof is complete. □
Theorem 4.3 There exists a dense everywhere residual subset Q ofM such that, for each u = ($, A) e Q, the VEP associated with u is Hadamard well-posed, that is, VEPs in M are generic Hadamard well-posed.
Proof By Theorem 3.4, there exists a dense everywhere residual subset Q of M such that, for each u Q, S(u) is a singleton.
Let u = ($, A) e Q and S(u) = {x}. Suppose un e M, xne S(un), and un ^ u. We shall prove xn ^ x. If it is not true, then there exist an open neighborhood O of x and a subsequence {xnk} such that xnk e O. By Theorem 4.2, the VEP associated u is generalized Hadamard well-posed. Since S(u) = {x}, {xnk} has a subsequence converging to x, which contradicts xnk e O. □
5 A representation theorem of the solution set to VEPs
In this section, we use the limits of the solutions to VEPs, each of which has a unique solution, to provide an interesting representation of the solution set of each VEP in M, which in forms is very similar with the Clarke subdifferentials of the local Lipschitz functions. Denote by
P := {u = ($, A) e M: S(u) is a singleton}.
By Theorem 3.4, P = 0. It is clear that P is the largest dense everywhere residual subset (ordered by the set inclusion) of M such that, for each u e P, S(u) is a singleton and the VEP associated with u is Hadamard well-posed.
Theorem 5.1 For each u = ($, A) e M,
S(u) = jlimxn : xn e S(un), un eP, un ^ uj. (.1)
Proof The right-hand side of (5.1) means that we only consider such sequences {xn} and {un} satisfying that {un} C P; {un} converges to u; xn is the unique point of S(un); and that {xn} is convergent.
Since P is dense in M and u = ($, A) e M, there exists {un = ($n, An)} C P such that {un} converges to u. By the definition of P, S(un) has a unique point, denoted by xn. Note that {xn} C U+2 An U A, as well as An and A are compact and An ^ A, due to Lemma 2.7, {xn} or its subsequence converges to a point of A. Hence the right-hand side set of (5.1) is well-defined and nonempty.
First, suppose un e P, xne S(un), un ^ u and xn ^ x. By Theorem 4.2, the VEP associated with u is generalized Hadamard well-posed. It follows from xn ^ x that x S(u). HenceS(u) D {limnxn :xn eS(un),un eP,un ^ u}. Next, let x* e S(u). Define a functiong: X ^ R as follows:
d(x, x*)
g(x) = -—-r,—^ Vx e X, 1 + d(x, x*)
where d is the metric on X. Note that g is continuous on X; 0 < g(x) < 1 for all x e X; g(x) = 0 if and only if x = x*. Take z e - int C. For each n = 1,2,..., define
$n(x,y) :=$(x,y) +
- g (x)
z, Vx,yeX and un := ($n,A).
Same as in the proof of Theorem 3.4, one can check that un e M and x* e S(un) for each n = 1,2,..., and that un ^ u as n ^œ. Moreover, we shall show that S(un) is a singleton,
and hence S(un) = {x*} for each n = 1,2,____By way of contradiction, assume that S(uno) is
not a singleton for some uno = (<pno,A). Then there exists x' e S(uno) c A with x' = x*. It follows from x* e S(u) that $ (x*, x') e - int C. By the C-strictly-quasi-monotonicity of we get $(x',x*) e -C. Note thatg(x') > 0 and [^g(x')]z e - int C. Then
$no (x',x*) := $(x',x*) + — g{x')
ze -C - int C c - int C.
But it follows from x' e S(un0) that $n„(x', x*) e - int C, which is a contradiction. Thus
S(un) = {x*} for each n = 1,2,____
Take xn = x* for each n = 1,2,..., then we have un e P, un ^ u, xn e S(un), and x* = limnxn. From the arbitrariness of x* e S(u), we derive
S(u) C | limxn : xn e S(un), uneP, un ^ ^.
Combining the above two parts, we get the conclusion. □
6 Conclusions
In this paper, we considered a class of vector equilibrium problems. By considering the perturbations of vector-valued functions and feasible sets, we proved that each of the problems is generalized Hadamard well-posed, and that in the sense of Baire category, most of the problems have unique solution and are Hadamard well-posed. As an application, an interesting representation theorem for the solution set to each of the problems was provided.
Competing interests
The authors declare that they have no competing interests. Authors' contributions
Allauthors contributed equally to the writing of this paper. Allauthors read and approved the finalmanuscript. Author details
'College of Science, Guizhou University, Guiyang, Guizhou 550025, China. 2Schoolof Science, Beijing Jiaotong University, Beijing, '00044, China.
Acknowledgements
The first author was supported by the NSFC (''271098), the Science and Technology Foundation of Guizhou Province (20102133), and the Scientific Research Projects for the Introduced Talents of Guizhou University (201343). The third author was supported by the NationalBasic Research Program of China (2010CB732501) and the NSFC (7127102'). The authors, therefore, acknowledge these supports.
Received: 1 December 2013 Accepted: 22 April 2014 Published: 9 May 2014 References
'. Giannessi, F (ed.): Vector Variationallnequalities and Vector Equilibria: MathematicalTheories. Kluwer Academic, Dordrecht (2000)
2. Chen, GY, Huang, XX, Yang, XQ: Vector Optimization: Set-Valued and VariationalAnalysis. Springer, Berlin (2005)
3. Khanh, PQ, Tung, LT: Localuniqueness of solutions to Ky Fan vector inequalities using approximations as derivatives. J. Optim. Theory Appl. 155, 840-854 (20'2)
4. Kenderov, PS: Most of the optimization problems have unique solution. C. R. Acad. Bulgare Sci. 37, 297-299 ('984)
5. Beer, G: On a generic optimization theorem of Petar Kenderov. Nonlinear Anal. TMA 12,627-655 ('988)
6. Kenderov, PS, Ribarska, NK: Most of the two person zero-sum games have unique solution. In: Workshop/Mini-Conference on FunctionalAnalysis and Optimization, Canberra, pp. 73-82 ('988)
7. Tan, KK, Yu, J, Yuan, XZ:The uniqueness of saddle points. Bull. Pol. Acad. Sci., Math. 43, ''9-'29 ('995)
8. Milchtaich, I: Generic uniqueness of equilibrium in large crowding games. Math. Oper. Res. 25, 349-364 (2000)
9. Yu, J, Peng, DT, Xiang, SW: Generic uniqueness ofequilibrium points. Nonlinear Anal. TMA 74,6326-6332 (20'') '0. Peng, DT, Yu, J, Xiu, NH: Generic uniqueness theorems with some applications. J. Glob. Optim. 56, 7'3-725 (20'3) ''. Lucchetti, R, Revalski, JP (eds.): Recent Developments in Well-Posed VariationalProblems. Kluwer Academic,
Dordrecht ('995)
'2. Yang, H, Yu, J: Unified approaches to well-posedness with some applications. J. Glob. Optim. 31, 37'-38' (2005) '3. Lucchetti, R: Convexity and Well-Posed Problems. Springer, New York (2006)
'4. Huang, XX, Yang, XQ: Generalized Levitin-Polyak well-posedness in constrained optimization. SIAM J. Optim. 17, 243-258 (2006)
'5. Yu, J: On well-posed problems. Acta Math. Appl. Sin. 34, '007-'022 (20'')
'6. Fang, YP, Hu, R, Huang, NJ: Well-posedness for equilibrium problems and for optimization problems with equilibrium
constraints. Comput. Math. Appl. 55, 89-'00 (2008) '7. Kimura, K, Liou, Y-C, Wu, S-Y, Yao, J-C: Well-posedness for parametric vector equilibrium with applications. J. Ind.
Manag. Optim. 4, 3'3-327 (2008) '8. Bianchi, M, Kassay, G, Pini, R: Well-posedness for vector equilibrium problems. Math. Methods Oper. Res. 70, '7'-'82 (2009)
'9. Li, SJ, Li, MH: Levitin-Polyak well-posedness of vector equilibrium problems. Math. Methods Oper. Res. 69, '25-'40 (2009)
20. Salamon, J: Closedness and Hadamard well-posedness of the solution map for parametric vector equilibrium
problems. J.Glob.Optim.47, '73-'83 (20'0) 2'. Peng, JW, Wang, Y, Wu, SY: Levitin-Polyak well-posedness of generalized vector equilibrium problems. Taiwan. J. Math. 15, 23''-2330 (20'')
22. Yang, H, Yu, J: Essentialcomponents of the set of weakly Pareto-Nash equilibrium points. Appl. Math. Lett. 15, 553-560 (2002)
23. Fan, K: A minimax inequality and applications. In: Shisha, O (ed.) Inequalities III, pp. '03-''3. Academic Press, New York ('972)
24. Tan, KK,Yu,J, Yuan, XZ: The stability of Ky Fan's points. Proc. Am. Math. Soc. 123, '5''-'5'9 ('995)
25. Blum, E, Oettli, W: From optimization and variationalinequalities to equilibrium problems. Math. Stud. 63, '23-'35 ('994)
26. Aliprantis, CD, Border, KC: Infinite DimensionalAnalysis, 3rd edn. Springer, Berlin (2006)
27. Fort, MK: Points of continuity of semi-continuous functions. Publ. Math. (Debr.) 2,100-102 (1951)
28. Yu, J: Essentialweak efficient solution in multiobjective optimization problems. J. Math. Anal. Appl. 166, 230-235 (1992)
29. Xiang, SW, Yin, WS: Stability results for efficient solutions of vector optimization problems. J. Optim. Theory Appl. 134, 385-398 (2007)
30. Bianchi, M, Schaible, S: Equilibrium problems under generalized convexity and generalized monotonicity. J. Glob. Optim. 30, 121-134 (2004)
doi:10.1186/1687-1812-2014-115
Cite this article as: Peng et al.: The uniqueness and well-posedness of vector equilibrium problems with a representation theorem for the solution set. Fixed Point Theory and Applications 2014 2014:115.
Submit your manuscript to a SpringerOpen journal and benefit from:
► Convenient online submission
► Rigorous peer review
► Immediate publication on acceptance
► Open access: articles freely available online
► High visibility within the field
► Retaining the copyright to your article
Submit your next manuscript at ► springeropen.com
