- Research
- Open access
- Published:

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

*Journal of Inequalities and Applications*
**volume 2012**, Article number: 181 (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.

## 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

Let I=\{1,2,\dots ,n\} be a finite set which has at least two elements. For each i\in I, let {X}_{i} and {Y}_{i} be real Hausdorff topological vector spaces and {K}_{i} a nonempty subset of {X}_{i}. For each i\in I, let {C}_{i} be a closed, convex and pointed cone of {Y}_{i} with int{C}_{i}\ne \mathrm{\varnothing}, where int{C}_{i} denotes the interior of {C}_{i}. Let K={\prod}_{i=1}^{n}{K}_{i}. For each i\in I, let {f}_{i}:K\times {K}_{i}\to {Y}_{i} be a vector-valued mapping and {S}_{i}:K\to {2}^{{K}_{i}} be a set-valued mapping. The SVQEP consists of finding \overline{x}\in K such that for each i\in I,

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:

For each i\in I, let {g}_{i}:K\to {Y}_{i} be a vector-valued mapping and {G}_{i}:{K}_{\stackrel{\u02c6}{i}}\to {2}^{{K}_{i}} be a feasible strategy mapping, where {K}_{\stackrel{\u02c6}{i}}={\prod}_{j\in I,j\ne i}{K}_{j}. For each x\in K, we can write x=({x}_{i},{x}_{\stackrel{\u02c6}{i}}). The multiobjective generalized game problem consists of finding \overline{x}\in K such that for each i\in I, \overline{{x}_{i}}\in {G}_{i}({\overline{x}}_{\stackrel{\u02c6}{i}}) and

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

For each i\in I, setting

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.

(i) *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*.

(ii) *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.

For any {S}_{1},{S}_{2}\in CK(X), let

where

and

**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*.

Let H=\mathrm{\Phi}\times M. For any {u}_{1}=({\psi}^{\prime},{S}^{\prime}), {u}_{2}=({\psi}^{\u2033},{S}^{\u2033})\in H, define

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.

For any u=(\psi ,S)\in H, by Theorem 2.1, there exists a solution {x}^{\ast}\in K to the vector quasi-equilibrium problem: {x}^{\ast}\in S({x}^{\ast}) and

For each u=(\psi ,S)\in H, define

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

For any open neighborhood *O* of S(\overline{x}) in *K*, since S(\overline{x}) is compact, by [[19], p.108], there is {\epsilon}_{0}>0 such that

where d(x,S(\overline{x}))={inf}_{a\in S(\overline{x})}\parallel x-a\parallel. Since {\rho}_{1}(({\psi}_{n},{S}_{n}),(\psi ,S))\to 0, {x}_{n}\to \overline{x}, and *S* is u.s.c. at \overline{x}, there is *N* such that for any n>N, we have

and

So whenever n>N, we have

Since {x}_{n} belongs to {S}_{n}({x}_{n}), and S(\overline{x}) and {S}_{n}({x}_{n}) are compact, by Lemma 3.1, there exists a subsequence \{{x}_{{n}_{k}}\} of \{{x}_{n}\} such that {x}_{{n}_{k}}\to {x}_{0}\in S(\overline{x}). Since {x}_{{n}_{k}}\to \overline{x}, we have

Since *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

Thus, there exists a subsequence \{{x}_{{n}_{k}}\} of \{{x}_{n}\} such that

which implies that there exists {a}_{{n}_{k}}^{\prime}\in {S}_{{n}_{k}}({x}_{{n}_{k}}) such that

where \{{a}_{{n}_{k}}\} is a subsequence of \{{a}_{n}\}. Since \parallel {a}_{{n}_{k}}^{\prime}-z\parallel \le \parallel {a}_{{n}_{k}}^{\prime}-{a}_{{n}_{k}}\parallel +\parallel {a}_{{n}_{k}}-z\parallel <1/k+\parallel {a}_{{n}_{k}}-z\parallel and {a}_{{n}_{k}}\to z (k\to +\mathrm{\infty}), we have that {a}_{{n}_{k}}^{\prime}\to z (k\to +\mathrm{\infty}). As {a}_{{n}_{k}}^{\prime}\in {S}_{{n}_{k}}({x}_{{n}_{k}}), we have

Now we need to show that

If the conclusion is false, then \psi (\overline{x},z)\in -int{C}_{n}, which implies that there is \overline{\epsilon}>0 such that

where *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

On the other hand, since {\rho}_{1}(({\psi}_{{n}_{k}},{S}_{{n}_{k}}),(\psi ,S))\to 0, there is a positive integer {k}_{1} with {k}_{1}\ge {k}_{0}, such that

By (7), (6) and (5), we have

This contradicts (3). Hence (4) holds. Then by the arbitrariness of z\in S(\overline{x}), we obtain 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. □

For each u\in H, the component of a point x\in F(u) is the union of all the connected subsets of F(u) containing *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

Since m(u) is a minimal essential set of F(u), neither {c}_{1}(u) nor {c}_{2}(u) is essential. Thus, there exist two open sets {O}_{1}\supset {c}_{1}(u) and {O}_{2}\supset {c}_{2}(u) such that, for any \delta >0, there exist {u}_{1},{u}_{2}\in H with

Set {W}_{1}={V}_{1}\cap {O}_{1}, and {W}_{2}={V}_{2}\cap {O}_{2}. Then both {W}_{1} and {W}_{2} are open sets and {c}_{1}(u)\subset {W}_{1}, and {c}_{2}(u)\subset {W}_{2}. Since {c}_{1}(u) and {c}_{2}(u) are a closed subset of the compact set F(u), {c}_{1}(u) and {c}_{2}(u) are a compact set, there exist two open sets {U}_{1} and {U}_{2} such that

Since m(u) is essential and m(u)\subset {U}_{1}\cup {U}_{2}, there exists {\delta}^{\prime}>0 such that for any {u}^{\prime} with {\rho}_{1}(u,{u}^{\prime})<{\delta}^{\prime}, we have

Since {U}_{1}\subset {O}_{1} and {U}_{2}\subset {O}_{2}, for above {\delta}^{\prime}/2>0, by (9), there exist {u}_{1},{u}_{2}\in H such that

Since {u}_{1},{u}_{2}\in H, we have {u}_{1}=({\psi}_{1},{S}_{1}) and {u}_{2}=({\psi}_{2},{S}_{2}). Now we define {S}^{\prime}:K\to {2}^{K} and {\psi}^{\prime}:K\times K\to {Y}_{n} by

and

respectively, where

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.

We can see that: (i) {\psi}^{\prime}(x,y) is (-{C}_{n})-continuous on K\times K; (ii) for each fixed x\in K, {\psi}^{\prime}(x,y) is {C}_{n}-convex in *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

and

Thus, by (11), we have

Using (10), 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. □

Now, for each i\in I, let {f}_{i}:K\times {K}_{i}\to {Y}_{i} be a vector-valued mapping and {S}_{i}:K\to {2}^{{K}_{i}} a set-valued mapping. Let

Let

Let P=D\times Q. For any

define

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

Let K={\prod}_{i=1}^{n}{K}_{i}. It is clear that *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

and the mapping S:K\to {2}^{K} by

Since ({f}_{1},\dots ,{f}_{n})\in D and ({S}_{1},\dots ,{S}_{n})\in Q, we can see that S:K\to {2}^{K} is continuous with nonempty convex and compact valued, (i) \psi (\cdot ,\cdot ) is (-{C}_{n})-continuous on K\times K; (ii) for each fixed x\in K, \psi (x,\cdot ) is (-{C}_{n})-convex; and (iii) \psi (x,x)=\theta \notin -int{C}_{n} for all x\in K. It is clear that (\psi ,S)\in H. Since {Y}_{i}\subset {Y}_{n} for each i\in I=\{1,2,\dots ,n\}, by Theorem 2.1, there exists an element {x}^{\ast}\in K such that {x}^{\ast}\in S({x}^{\ast}) and

That is

For each i\in I, by the arbitrariness of {y}_{j}\in {S}_{j}({x}^{\ast}), j\in \{1,\dots ,n\}, j\ne i, take {y}_{j}={x}_{j}^{\ast}, and by assumption {f}_{j}({x}^{\ast},{x}_{j}^{\ast})=\theta, j=1,\dots ,n, and j\ne i, we obtain that {x}_{i}^{\ast}\in {S}_{i}({x}^{\ast}) and

Since {f}_{i}({x}^{\ast},{y}_{i})\in {Y}_{i} and {C}_{i}={C}_{n}\cap {Y}_{i}, it follows that

Thus, there exists {x}^{\ast}=({x}_{1}^{\ast},\dots ,{x}_{n}^{\ast})\in K such that for each i\in I, {x}_{i}^{\ast}\in {S}_{i}({x}^{\ast}) and

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.

For any {p}_{1}=(({f}_{11},\dots ,{f}_{1n}),({S}_{11},\dots ,{S}_{1n})), {p}_{2}=(({f}_{21},\dots ,{f}_{2n}),({S}_{21},\dots ,{S}_{2n}))\in P, if {\rho}_{2}({p}_{1},{p}_{2})<\epsilon, then by the definition of {\rho}_{1}, we have

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

and

By Lemma 3.4, *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

That is

For each i\in I, by the arbitrariness of {y}_{j}\in {S}_{j}({x}^{\ast}), j\in \{1,\dots ,n\}, j\ne i, take {y}_{j}={x}_{j}^{\ast}, and by assumption {f}_{j}({x}^{\ast},{x}_{j}^{\ast})=\theta, j=1,\dots ,n, and j\ne i, we obtain that {x}_{i}^{\ast}\in {S}_{i}({x}^{\ast}) and

Since {f}_{i}({x}^{\ast},{y}_{i})\in {Y}_{i} and {C}_{i}={C}_{n}\cap {Y}_{i}, it follows that

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). □

## References

Fort MK:

**Essential and nonessential fixed points.***Am. J. Math.*1950, 72: 315–322. 10.2307/2372035Kinoshita S:

**On essential component of the set of fixed points.***Osaka J. Math.*1952, 4: 19–22.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.Kohlberg E, Mertens JF:

**On the strategic stability of equilibria.***Econometrica*1986, 54: 1003–1037. 10.2307/1912320Yu 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-XYu 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.6202Isac G, Yuan GXZ:

**The essential components of coincident points for weakly inward and outward set-valued mappings.***Appl. Math. Lett.*1999, 12: 121–126.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-4Lin 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-0Chen 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-7Ansari QH, Schaible S, Yao JC:

**The system of generalized vector equilibrium problems with applications.***J. Glob. Optim.*2002, 22: 3–16. 10.1023/A:1013857924393Ansari QH, Chan WK, Yang XQ:

**The system of vector quasi-equilibrium problems with applications.***J. Glob. Optim.*2004, 29: 45–57.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-1Peng 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-5Lin Z:

**The study of the system of generalized vector quasi-equilibrium problems.***J. Glob. Optim.*2006, 36: 627–635. 10.1007/s10898-006-9031-2Peng 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-yChen 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.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 ChineseAubin JP, Ekeland I:

*Applied Nonlinear Analysis*. Wiley, New York; 1984.Engelking R:

*General Topology*. Helderman, Berlin; 1989.

## 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.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

This work was carried out in collaboration between all authors. X-HG gave the ideas of the problems in this research and interpreted the results. J-CC proved the theorems, interpreted the results and wrote the article. All authors defined the research theme, read and approved the manuscript.

## 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

Gong, XH., Chen, JC. Essential components of the set of solutions for the system of vector quasi-equilibrium problems.
*J Inequal Appl* **2012**, 181 (2012). https://doi.org/10.1186/1029-242X-2012-181

Received:

Accepted:

Published:

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