# Essential components of the set of solutions for the system of vector quasi-equilibrium problems

- Xun-Hua Gong
^{1}Email author and - Jian-Chen Chen
^{2}

**2012**:181

https://doi.org/10.1186/1029-242X-2012-181

© Gong and Chen; licensee Springer 2012

**Received: **11 May 2012

**Accepted: **3 August 2012

**Published: **30 August 2012

## Abstract

In this paper, we prove that, for every vector quasi-equilibrium problem, there exists at least one essential component of the set of its solutions. As application, we show that, for every system of vector quasi-equilibrium problems, there exists at least one essential component of the set of its solutions in the uniform topological space of objective functions and constraint mappings.

## Keywords

## 1 Introduction

Essential component has been an important aspect in the study of stability for nonlinear problems. Fort [1] first introduced the notion of essential fixed points of a continuous mapping from a compact metric space into itself and proved that any mapping can be approximately closed by a mapping whose fixed points are all essential. Kinoshita [2] then introduced the notion of essential components of the set of fixed points of a single-valued map. Jiang [3] introduced the notion of essential components of the set of Nash equilibrium points for an n-person non-cooperative game and proved the existence of essential components of the set of Nash equilibrium points. Kohlberg and Mertens [4] studied the stability of Nash equilibrium points and suggested that a satisfactory solution for a non-cooperative game should be set-wise, and they proved that such a solution is just an essential component of Nash equilibrium points. Recently, Yu, Xiang [5], Yu, Luo [6], Isac, Yuan [7], Yang, Yu [8], Lin [9], Chen, Gong [10] introduced the notion of essential components to solution sets of various problems such as Ky Fan point problems, equilibrium problems, coincident point problems, vector optimization problem, and symmetric vector quasi-equilibrium problems. On the other hand, in order to describe the real world and economic behavior better, very recently, much attention has been attracted to multi-criteria equilibrium models. Ansari, Schaible and Yao [11] studied the system of generalized vector equilibrium problems. Ansari, Chan and Yang [12] studied the system of vector quasi-equilibrium problems (briefly, SVQEP). Fang, Huang and Kim [13] studied the system of vector equilibrium problems. Peng, Lee, Yang [14] studied the system of generalized vector quasi-equilibrium problems with set-valued maps (briefly, SGVOEPS). Lin [15] studied the system of generalized vector quasi-equilibrium problems (briefly, SGVQEP) in Banach spaces. Peng, Yang and Zhu [16] studied the system of vector quasi-equilibrium. Lin [9] established essential components of the solution set for SGVQEP under perturbations of the best-reply map. But up to now, no paper has established essential components of the solution set for SVQEP, SGVQEP or SGVQEPS under perturbations of objective functions and constraint mappings. In this paper, we first give a new result of essential components of the solution set for SVQEP under perturbations of objective functions and constraint mappings.

## 2 Preliminaries and definitions

where $\overline{{x}_{i}}$ denotes the *i* th component of $\overline{x}$, and $\overline{x}$ is said to be a solution of the SVQEP. For each $i\in I$, ${f}_{i}$ is said to be an objective function of the SVQEP and for each $i\in I$, ${S}_{i}$ is said to be a constraint mapping of the SVQEP. The SVQEP includes, as a special case, the following multiobjective generalized game problem:

where $\overline{x}$ is said to be a weakly Pareto-Nash equilibrium point.

the SVQEP coincides with the multiobjective generalized game problem, which has been studied by Yu and Luo [6] but for real functions and Lin [9] but for ${Y}_{i}={R}^{{k}_{i}}$ ($1\le {k}_{i}\le n$) for any $i\in I$.

For each $i\in I$, setting ${G}_{i}({x}_{\stackrel{\u02c6}{i}})={K}_{i}$, the multiobjective generalized game problem coincides with the multiobjective game problem, which has been studied by Yu and Xiang [5] and Yang and Yu [8].

**Definition 2.1** Let *X* be a real Hausdorff topological space and *Y* a real Hausdorff topological vector space with a convex cone *C*. Let $f:X\to Y$ be a vector-valued function.

*f*is said to be

*C*-continuous at ${x}_{0}\in X$ if, for any open neighborhood

*V*of the zero element

*θ*in

*Y*, there is an open neighborhood $N({x}_{0})$ of ${x}_{0}$ in

*X*such that

*f* is said to be *C*-continuous on *X* if it is *C*-continuous at every element of *X*.

*f*is said to be (−

*C*)-continuous at ${x}_{0}\in X$ if, for any open neighborhood

*V*of

*θ*in

*Y*, there exists an open neighborhood $N({x}_{0})$ of ${x}_{0}$ in

*X*such that

*f* is said to be (−*C*)-continuous on *X* if it is (−*C*)-continuous at every point of *X*.

**Definition 2.2**Let

*K*be a nonempty convex subset of a vector space

*X*, let

*Y*be a vector space with a convex pointed cone

*C*. Let $f:K\to Y$ be a mapping.

*f*is said to be

*C*-convex if, for any $x,y\in K$ and $t\in [0,1]$,

**Definition 2.3**Let

*X*and

*Y*be two Hausdorff topological spaces, let $F:X\to {2}^{Y}$ be a set-valued mapping.

*F*is said to be upper semicontinuous (in short, u.s.c.) at ${x}_{0}\in X$ if, for any neighborhood $N(F({x}_{0}))$ of $F({x}_{0})$, there exists a neighborhood $N({x}_{0})$ of ${x}_{0}$ such that

*F* is said to be upper semicontinuous on *X* if *F* is u.s.c. at every point $x\in X$.

*F*is said to be lower semicontinuous (in short, l.s.c.) at ${x}_{0}\in X$ if, for any ${y}_{0}\in F({x}_{0})$ and any neighborhood $N({y}_{0})$ of ${y}_{0}$, there exists a neighborhood $N({x}_{0})$ of ${x}_{0}$ such that

*F* is said to be lower semicontinuous on *X* if it is lower semicontinuous at every $x\in X$.

*F* is said to be continuous on *X* if it is both u.s.c. and l.s.c. on *X*.

*F* is said to be a closed mapping if $GraphF=\{(x,y)\in X\times Y:y\in F(x)\}$ is a closed set in $X\times Y$.

*F* is an usco mapping if *F* is u.s.c. on *X* and $F(x)$ is compact for every $x\in X$.

Let $(X,d)$ be a linear metric space. Denote by $CK(X)$ all nonempty convex compact subsets of *X*. Define the Hausdorff metric *h* on $CK(X)$ as follows.

**Theorem 2.1**[17]

*Let* *Y* *be a real Hausdorff topological vector space*, *and*$C\subset Y$*be a closed convex pointed cone with*$intC\ne \mathrm{\varnothing}$. *Let* *K* *be a nonempty compact convex subset of a real locally convex Hausdorff topological vector space* *X*. *Let the set*-*valued mapping*$S:K\to {2}^{K}$*be continuous with nonempty compact convex values*. *If*$\psi :K\times K\to Y$*satisfies the following conditions*:

(i) $\psi (\cdot ,\cdot )$*is* (−*C*)-*continuous*;

(ii) *for any fixed*$x\in K$, $\psi (x,\cdot )$*is* *C*-*convex*;

(iii) *for any*$x\in K$, $\psi (x,x)\notin -intC$.

*Then*,

*there exists an element*${x}^{\ast}\in K$

*such that*${x}^{\ast}\in S({x}^{\ast})$

*and*

## 3 Essential components of the solution set for the system of vector quasi-equilibrium problems

Throughout this section, let $I=\{1,2,\dots ,n\}$ be a finite set which has at least two elements. For each $i\in I$, let ${X}_{i}$ be a real normed linear space and ${Y}_{i}$ a Banach space with ${Y}_{i}\subset {Y}_{n}$; let ${K}_{i}$ be a nonempty compact convex subset of ${X}_{i}$, and let ${C}_{i}$ be a closed convex pointed cone of ${Y}_{i}$ with ${C}_{i}={C}_{n}\cap {Y}_{i}$ and $int{C}_{i}\ne \mathrm{\varnothing}$. Let $K={\prod}_{i=1}^{n}{K}_{i}$ and $X={\prod}_{i=1}^{n}{X}_{i}$.

Let Φ be the collection of all vector-valued functions such that $\psi :K\times K\to {Y}_{n}$ such that: (i) $\psi (x,y)$ is $(-{C}_{n})$-continuous on $K\times K$; (ii) for each fixed $x\in K$, $\psi (x,\cdot )$ is ${C}_{n}$-convex; (iii) for any $x\in K$, $\psi (x,x)=\theta $, where *θ* is the zero element of ${Y}_{n}$; (iv) ${sup}_{(x,y)\in K\times K}\parallel \psi (x,y)\parallel <+\mathrm{\infty}$.

Let *M* be the collection of all set-valued mappings $S:K\to {2}^{K}$ such that: (i) for each $x\in K$, $S(x)$ is convex and closed; (ii) *S* is continuous on *K*.

where $\parallel \cdot \parallel $ is the norm on ${Y}_{n}$ and *h* is the Hausdorff metric defined on $CK(X)$. Clearly, $(H,{\rho}_{1})$ is a metric space.

Thus $F(u)\ne \mathrm{\varnothing}$ for any $u\in H$ and $u\mapsto F(u)$ indeed defines a set-valued mapping from *H* to *K*.

The following lemma can be found in [18].

**Lemma 3.1** *Let* *X* *be a metric space and*$K(X)$*be the family of all nonempty compact subsets of* *X*. *Let*$A,{A}_{n}\in K(X)$ ($n=1,2,\dots $) *satisfy the condition that for each open set* *O* *containing* *A*, *there exists an integer* *N* *such that whenever*$n>N$, *we have*${A}_{n}\subset O$. *Then for any sequence*$\{{x}_{n}\}$*with*${x}_{n}\in {A}_{n}$ ($n=1,2,\dots $), *there exists a subsequence which converges to a point in* *A*.

**Lemma 3.2**$F:H\to {2}^{K}$*is an usco mapping*.

*Proof*Since

*K*is compact, by [19], it suffices to prove that $Graph(F)=\{(u,x)\in H\times K:x\in F(u)\}$ is closed. Let $\{({u}_{n},{x}_{n})\}\subset Graph(F)$ with $({u}_{n},{x}_{n})\to (u,\overline{x})\in H\times K$, where ${u}_{n}=({\psi}_{n},{S}_{n})$ and $u=(\psi ,S)$. Since ${x}_{n}\in F({u}_{n})$, we have

*O*of $S(\overline{x})$ in

*K*, since $S(\overline{x})$ is compact, by [[19], p.108], there is ${\epsilon}_{0}>0$ such that

*S*is u.s.c. at $\overline{x}$, there is

*N*such that for any $n>N$, we have

*S*is l.s.c. at $\overline{x}\in K$, for any $z\in S(\overline{x})$, by [19], there exists ${a}_{n}\in S({x}_{n})$ such that ${a}_{n}\to z$. Since ${\rho}_{1}(({\psi}_{n},{S}_{n}),(\psi ,S))\to 0$, there exists a subsequence $\{{S}_{{n}_{k}}\}$ of $\{{S}_{n}\}$ such that

*B*denotes the open unit ball in ${Y}_{n}$. Since

*ψ*is $(-{C}_{n})$-continuous on $K\times K$, ${x}_{{n}_{k}}\to \overline{x}$ and ${a}_{{n}_{k}}^{\prime}\to z$, for above $\overline{\epsilon}>0$, there is a positive integer ${k}_{0}$ such that

By (2) and (8), we have that $((\psi ,S),\overline{x})\in Graph(F)$. Hence, $Graph(F)$ is closed. $F(u)$ is also closed, for all $u\in H$. By the compactness of *K*, we know that *F* is a set-valued mapping with compact values. Hence, *F* is an usco mapping. The proof is completed. □

*x*. Note that the components are connected closed subsets of $F(u)$, and thus are connected and compact, see [20]. It is easy to see that the components of two distinct points of $F(u)$ either coincide or are disjoint, so that all components constitute a decomposition of $F(u)$ into connected pairwise disjoint compact subsets,

*i.e.*,

where Λ is an index set for each $\alpha \in \mathrm{\Lambda}$, ${F}_{\alpha}(u)$ is a nonempty connected compact subset of $F(u)$ and, for any $\alpha ,\beta \in \mathrm{\Lambda}$ ($\alpha \ne \beta $), ${F}_{\alpha}(u)\cap {F}_{\beta}(u)=\mathrm{\varnothing}$.

**Definition 3.1** Let $u\in H$ and *m* be a nonempty closed subset of $F(u)$. *m* is said to be an essential set of $F(u)$ if, for each open set $O\supset m$, there exists $\delta >0$ such that for any ${u}^{\prime}\in H$ with ${\rho}_{1}(u,{u}^{\prime})<\delta $, $F({u}^{\prime})\cap O\ne \mathrm{\varnothing}$. If a component ${F}_{\alpha}(u)$ of $F(u)$ is an essential set, then ${F}_{\alpha}(u)$ is said to be an essential component of $F(u)$. An essential set *m* of $F(u)$ is said to be a minimal essential set of $F(u)$ if *m* is a minimal element of the family of essential sets in $F(u)$ ordered by set inclusion.

**Lemma 3.3**[7]

*Let* *A*, *B* *and* *C* *be nonempty convex compact subsets of a normed linear space* *X*. *Then*$h(A,\lambda B+\mu C)\le \lambda h(A,B)+\mu h(A,C)$, *where* *h* *is the Hausdorff metric defined on*$CK(X)$, $\lambda \ge 0$, $\mu \ge 0$, *and*$\lambda +\mu =1$.

The following theorem is the exist theorem of an essential component of the set of solutions for the vector quasi-equilibrium problem.

**Theorem 3.1**

(a) *For any*$u\in H$, *there exists at least one minimal essential set of*$F(u)$, *and every minimal essential set of*$F(u)$*is connected*;

(b) *For any*$u\in H$, *there exists at least one essential connected component of*$F(u)$.

*Proof*$(a)$ Since

*F*is upper semicontinuous, following the idea of Lemma 2.2 in [5], we can easily obtain that there exists one minimal essential set of $F(u)$ for each $u\in H$. Now, for each minimal essential set of $F(u)$, as Yang and Yu did in [8], we prove that each minimal essential set of $F(u)$ is connected. Let $m(u)$ be one minimal essential set of $F(u)$. If $m(u)$ is not connected, then there exist two nonempty closed sets ${c}_{1}(u)$ and ${c}_{2}(u)$ of $F(u)$ and two open sets ${V}_{1}$ and ${V}_{2}$ in

*K*such that

It is obvious that *λ* and *μ* are continuous functions on *K* with $\lambda (x)\ge 0$, $\mu (x)\ge 0$, and $\lambda (x)+\mu (x)=1$ for any $x\in K$.

*y*; (iii) ${\psi}^{\prime}(x,x)=\theta \notin -int{C}_{n}$ for all $x\in K$; (iv) ${sup}_{(x,y)\in K\times K}\parallel {\psi}^{\prime}(x,y)\parallel <+\mathrm{\infty}$; (v) for each $x\in K$, ${S}^{\prime}(x)$ is convex and compact; (vi) ${S}^{\prime}$ is continuous on

*K*. Hence $v:=({\psi}^{\prime},{S}^{\prime})\in H$. By Lemma 3.3, we have

If $x\in {U}_{1}$, then $\lambda (x)=1$, $\mu (x)=0$, ${S}^{\prime}(x)={S}_{1}(x)$ and ${\psi}^{\prime}(x,y)={\psi}_{1}(x,y)$ for all $y\in K$. If $x\in F(v)$, then $x\in {S}^{\prime}(x)$ and ${\psi}^{\prime}(x,y)\notin -int{C}_{n}$ for all $y\in {S}^{\prime}(x)$. Since ${S}^{\prime}(x)={S}_{1}(x)$ and ${\psi}^{\prime}(x,y)={\psi}_{1}(x,y)$ for all $y\in K$, we have $x\in F({u}_{1})$. This contradicts (11). Thus, we have $F(v)\cap {U}_{1}=\mathrm{\varnothing}$. Similarly, we can show that $F(v)\cap {U}_{2}=\mathrm{\varnothing}$. This contradicts (12). Hence, $m(u)$ is connected, so the conclusion $(a)$ holds.

$(b)$ For any $u\in H$, by $(a)$, there exists at least one essential connected set *m* of $F(u)$. There exists a component ${F}_{\alpha}(u)$ of $F(u)$ such that $m\subset {F}_{\alpha}(u)$. It is obvious that ${F}_{\alpha}(u)$ is essential. □

where *h* is the Hausdorff metric defined on $CK(X)$. Clearly, $(P,{\rho}_{2})$ is a metric space.

*K*is a nonempty compact convex subset of $X={\prod}_{i=1}^{n}{X}_{i}$. For any $({f}_{1},\dots ,{f}_{n})\in D$, and $({S}_{1},\dots ,{S}_{n})\in Q$, define the mapping $\psi :K\times K\to {Y}_{n}$ by

For each $p\in P$, denote by $E(p)$ all solutions to the SVQEP. By (13), there exists ${x}^{\ast}\in E(p)$, thus $E(p)\ne \mathrm{\varnothing}$. Similar to Definition 3.1, we can define the minimal essential set and essential component of $E(p)$.

**Lemma 3.4**

*For each*$p=(({f}_{1},\dots ,{f}_{n}),({S}_{1},\dots ,{S}_{n}))\in P$,

*define the mapping*$T:P\to H$

*by*

*where*

*and*

*Then* *T* *is continuous*.

*Proof* It is easy to check that for each $p=(({f}_{1},\dots ,{f}_{n}),({S}_{1},\dots ,{S}_{n}))\in P$, $T(p)=(\psi ,S)\in H$.

This completes the proof of the lemma. □

The following lemma can be found in [8].

**Lemma 3.5** *Let* *U*, *Y* *and* *Z* *be three metric spaces*, $F:U\to {2}^{Y}$*be an usco mapping and*$G:Z\to {2}^{Y}$*be a set*-*valued mapping*. *Suppose that there exists a continuous mapping*$T:Z\to U$*such that*$G(z)\supset F(T(z))$*for each*$z\in Z$. *Furthermore*, *suppose that there exists at least one essential component of*$F(\phi )$*for each*$\phi \in U$. *Then there exists at least one essential component of*$G(z)$*for each*$z\in Z$.

As application of Theorem 3.1, now we will show that, for every system of vector quasi-equilibrium problems, there exists at least one essential component of the set of its solutions in the uniform topological space of objective functions and constraint mappings.

**Theorem 3.2** *For each*$p\in P$, *there exists at least one essential component of*$E(p)$.

*Proof*For any $p=(({f}_{1},\dots ,{f}_{n}),({S}_{1},\dots ,{S}_{n}))\in P$, define $T:P\to H$ by $T(p)=(\psi ,S)$, where

*T*is continuous. Now we need to prove that for each $p\in P$, $E(p)\supset F(T(p))$, where

*F*is defined by (1). If ${x}^{\ast}=({x}_{1}^{\ast},\dots ,{x}_{i}^{\ast},\dots ,{x}_{n}^{\ast})\in F(T(p))$, then ${x}^{\ast}\in K$, ${x}^{\ast}\in S({x}^{\ast})$ and

Hence ${x}^{\ast}\in E(p)$ and hence $E(p)\supset F(T(p))$. Thus, by Lemma 3.2, Theorem 3.1 and Lemma 3.5, there exists at least one essential component of $E(p)$. □

## Declarations

### Acknowledgements

This research was partially supported by the National Natural Science Foundation of China (Grant No. 11061023) and the Natural Science Foundation of Jiangxi Province (2010GZS0176), China.

## Authors’ Affiliations

## References

- Fort MK:
**Essential and nonessential fixed points.***Am. J. Math.*1950, 72: 315–322. 10.2307/2372035MathSciNetView ArticleGoogle Scholar - Kinoshita S:
**On essential component of the set of fixed points.***Osaka J. Math.*1952, 4: 19–22.MathSciNetGoogle Scholar - Jiang JH:
**Essential components of the set of fixed points of multivalued mappings and its application to the theory of games.***Sci. Sin.*1963, 12: 951–964.Google Scholar - Kohlberg E, Mertens JF:
**On the strategic stability of equilibria.***Econometrica*1986, 54: 1003–1037. 10.2307/1912320MathSciNetView ArticleGoogle Scholar - Yu J, Xiang SW:
**On essential components of the set of Nash equilibrium points.***Nonlinear Anal., Theory Methods Appl.*1999, 38: 259–264. 10.1016/S0362-546X(98)00193-XMathSciNetView ArticleGoogle Scholar - Yu J, Luo Q:
**On essential components of the solution set of generalized games.***J. Math. Anal. Appl.*1999, 230: 303–310. 10.1006/jmaa.1998.6202MathSciNetView ArticleGoogle Scholar - Isac G, Yuan GXZ:
**The essential components of coincident points for weakly inward and outward set-valued mappings.***Appl. Math. Lett.*1999, 12: 121–126.MathSciNetView ArticleGoogle Scholar - Yang H, Yu J:
**Essential components of the set of weakly Pareto-Nash equilibrium points.***Appl. Math. Lett.*2002, 15: 553–560. 10.1016/S0893-9659(02)80006-4MathSciNetView ArticleGoogle Scholar - Lin Z:
**Essential components of the set of weakly Pareto-Nash equilibrium points for multiobjective generalized games in two different topological spaces.***J. Optim. Theory Appl.*2005, 124: 387–405. 10.1007/s10957-004-0942-0MathSciNetView ArticleGoogle Scholar - Chen JC, Gong XH:
**The stability of set of solutions for symmetric vector quasi-equilibrium problems.***J. Optim. Theory Appl.*2008, 136: 359–374. 10.1007/s10957-007-9309-7MathSciNetView ArticleGoogle Scholar - Ansari QH, Schaible S, Yao JC:
**The system of generalized vector equilibrium problems with applications.***J. Glob. Optim.*2002, 22: 3–16. 10.1023/A:1013857924393MathSciNetView ArticleGoogle Scholar - Ansari QH, Chan WK, Yang XQ:
**The system of vector quasi-equilibrium problems with applications.***J. Glob. Optim.*2004, 29: 45–57.MathSciNetView ArticleGoogle Scholar - Fang YP, Huang NJ, Kim JK:
**Existence results for system of vector equilibrium problems.***J. Glob. Optim.*2006, 35: 71–83. 10.1007/s10898-005-1654-1MathSciNetView ArticleGoogle Scholar - Peng JW, Lee HWJ, Yang XM:
**On system of generalized vector quasi-equilibrium problems with set-valued maps.***J. Glob. Optim.*2006, 36: 139–158. 10.1007/s10898-006-9004-5MathSciNetView ArticleGoogle Scholar - Lin Z:
**The study of the system of generalized vector quasi-equilibrium problems.***J. Glob. Optim.*2006, 36: 627–635. 10.1007/s10898-006-9031-2View ArticleGoogle Scholar - Peng JW, Yang XM, Zhu DL:
**System of vector quasi-equilibrium and its applications.***Appl. Math. Mech.*2006, 27: 1107–1114. 10.1007/s10483-006-0811-yMathSciNetView ArticleGoogle Scholar - Chen JC, Gong XH:
**Generic stability of the solution set for symmetric vector quasi-equilibrium problems under the condition of cone-convexity.***Acta Math. Sci.*2010, 30: 1006–1017.MathSciNetGoogle Scholar - Yang H, Yu J:
**The generic stability and the existence of essential components of the solution sets for generalized vector variational-like inequalities.***J. Syst. Sci. Math. Sci.*2002, 22: 90–95. in ChineseMathSciNetGoogle Scholar - Aubin JP, Ekeland I:
*Applied Nonlinear Analysis*. Wiley, New York; 1984.Google Scholar - Engelking R:
*General Topology*. Helderman, Berlin; 1989.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.