 Research
 Open Access
 Published:
The existence and stability for weakly Ky Fan’s points of setvalued mappings
Journal of Inequalities and Applications volume 2012, Article number: 199 (2012)
Abstract
In this paper, the notion of weakly Ky Fan’s points of setvalued mappings is established, and we prove some existence theorems of weakly Ky Fan’s points for functions with no continuity or space with no compactness. Then, from the viewpoint of the essential stability, we prove that most of problems in weakly Ky Fan’s points (in the sense of Baire category) are essential.
MSC:26D20, 26E25.
1 Introduction
Ky Fan [1] gave an inequality for real valued functions which plays a very important role in nonlinear analysis (e.g., see Lin and Simons [2]). Let X be a nonempty compact convex subset of a Hausdorff topological vector space, and \phi :X\times X\to \mathrm{\Re} be such that (1) \phi (x,x)\le 0 for all x\in X; (2) for each fixed x\in X, y\to \phi (x,y) is lower semicontinuous; (3) for each fixed y\in X, x\to \phi (x,y) is quasiconcave, then there exists {y}^{\ast}\in X such that \phi (x,{y}^{\ast})\le 0 for all x\in X.
Tan, Yu and Yuan [3] defined the inequality above as the Ky Fan inequality and called such a point {y}^{\ast} Ky Fan’s point, which is fundamental in proving many theorems in nonlinear analysis such as optimization problem, Nash equilibrium problem, variational inequality problem. There have been numerous generalizations of the Ky Fan inequality (see [4–8]). In [4], Yu and Yuan studied the existence of weight Nash equilibria and Pareto equilibria for multiobjective games using the Ky Fan minimax inequality. In [5], Luo proved the existence of an essential component of the solution set for vector equilibrium problems. Yang and Yu [6] gave a generalization of the Ky Fan inequality to vectorvalued functions. They proved that for every vectorvalued function (satisfying some continuity and convexity condition), there exists at least one essential component of the set of its Ky Fan’s points. Yu and Xiang [8] proposed a notion of essential components of Ky Fan’s points and proved its existence under some conditions, the Ky Fan’s points have at least one essential component. Besides, they proved that for every npersons noncooperative game, there exists at least one essential component of the set of its Nash equilibrium points. Zhou, Xiang and Yang [9] studied the stability of solutions for Ky Fan’s section theorem with some applications. For our purpose, we give the notion of weakly Ky Fan’s points of setvalued mappings and obtain some existence theorems of weakly Ky Fan’s points for functions with no continuity or space with no compactness. Then, we prove that most of problems in weakly Ky Fan’s points (in the sense of Baire category) are essential, thus they are stable. Our results include corresponding results in the literature as a special case.
2 Preliminaries
Now we recall some definitions in [10, 11].
Definition 2.1 Let X and Y be two Hausdorff topological spaces, and F:X\to {2}^{Y} be a setvalued mapping.

(1)
F is said to be upper semicontinuous at x\in X, if for any open subset O of Y with O\supset F(x), there exists an open neighborhood U(x) of x such that O\supset F({x}^{\prime}) for any {x}^{\prime}\in U(x) and F is said to be upper semicontinuous on X, if F is upper semicontinuous at each x\in X.

(2)
F is said to be lower semicontinuous at x\in X, if for any open subset O of Y with O\cap F(x)\ne \mathrm{\varnothing}, there exists an open neighborhood U(x) of x such that O\cap F({x}^{\prime})\ne \mathrm{\varnothing} for any {x}^{\prime}\in U(x) and F is said to be lower semicontinuous on X, if F is lower semicontinuous at each x\in X.

(3)
F is said to be a usco mapping, if F is upper semicontinuous on X and F(x) is compact for each x\in X.

(4)
F is said to be closed, if Graph(F)=\{(x,y)\in X\times Y\mid y\in F(x)\} is closed.
Definition 2.2 Let H be a topological vector space and C be a cone of H. A cone C is said to be convex, if C+C=C, and a cone C is said to be pointed, if C\cap C=\{\theta \}, where \{\theta \} denotes the zero element of H.
Remark 2.3 (see [6])
If C is a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}, where intC denotes the interior of C in H, then we can easily obtain that intC+C=intC.
Definition 2.4 Let X and Y be two topological vector spaces, K be a nonempty convex subset of X, F:K\to {2}^{Y} be a setvalued mapping, and C be a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}.

(1)
F is said to be Cconcave, if for every {x}_{1},\dots ,{x}_{n}\in K and {\lambda}_{i}\in [0,1], {\sum}_{i=1}^{n}{\lambda}_{i}=1 then F({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i})\subset {\sum}_{i=1}^{n}{\lambda}_{i}F({x}_{i})+C and Cconvex if −F is Cconcave.

(2)
F is said to be Cquasiconcavelike, if for every {x}_{1},\dots ,{x}_{n}\in K and {\lambda}_{i}\in [0,1], {\sum}_{i=1}^{n}{\lambda}_{i}=1 there exists {i}_{0}\in \{1,2,\dots ,n\} such that F({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i})\subset F({x}_{{i}_{0}})+C and Cquasiconvexlike if −F is Cquasiconcavelike.
Remark 2.5 Cconcave and Cquasiconcavelike are two different notions which cannot deduce from each other. For example, let X=[0,1], {R}_{+}^{2}=[0,+\mathrm{\infty})\times [0,+\mathrm{\infty}), vector valued function f=({f}_{1},{f}_{2})=(x,x), g=({g}_{1},{g}_{2})=({x}^{2},{x}^{2}). It is easy to prove that f is {R}_{+}^{2}concave but f is not {R}_{+}^{2}quasiconcavelike, inverse g is {R}_{+}^{2}quasiconcavelike but is not {R}_{+}^{2}concave.
3 Existence for weakly Ky Fan’s points of setvalued mappings
Lemma 3.1 (see [12])
Let X be a nonempty subset of a Hausdorff topological vector space E, F:X\to {2}^{X} be a setvalued mapping. For each x\in X, F(x) is closed, and there exists some {x}_{0}\in X such that F({x}_{0}) is compact. If \mathit{co}\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset {\bigcup}_{i=1}^{n}F({x}_{i}), where \mathit{co}\{{x}_{1},{x}_{2},\dots ,{x}_{n}\} is the convex hull of \{{x}_{1},{x}_{2},\dots ,{x}_{n}\}, then {\bigcap}_{x\in X}F(x)\ne \mathrm{\varnothing}.
Theorem 3.2 Let X be a nonempty convex compact subset of a Hausdorff topological vector space E, C is a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}. If \phi :X\times X\to {2}^{E} satisfies the following conditions:

(1)
\phi (x,x)\not\subset intC for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is Cquasiconcavelike,
then there exists {y}^{\ast}\in X such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\not\subset intC for any \alpha \in D (i.e., for each x\in X and a neighborhood N({y}^{\ast}) of {y}^{\ast}, there exists a net \{{y}^{\alpha}\}\in N({y}^{\ast}) such that \phi (x,{y}^{\alpha})\not\subset intC).
Proof Define a setvalued mapping F:X\to {2}^{X} as follows:
By (1), we can easily know that F(x)\ne \mathrm{\varnothing} for each x\in X. Next, we prove that for each \{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset X, \mathit{co}\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset {\bigcup}_{i=1}^{n}F({x}_{i})\phantom{\rule{0.25em}{0ex}}(\ast ). Suppose (∗) is not true, then there exist some \{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset X and {t}_{i}\in [0,1], {\sum}_{i=1}^{n}{t}_{i}=1 such that x={\sum}_{i=1}^{n}{t}_{i}{x}_{i}\notin {\bigcup}_{i=1}^{n}F({x}_{i}). By the definition of F(x), we can know that \phi ({x}_{i},x)\subset intC for each i=1,2,\dots ,n. By Theorem 3.2(2), Remark 2.3, and Definition 2.4(2), we can obtain that
which contradicts the condition (1), thus \mathit{co}\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset {\bigcup}_{i=1}^{n}F({x}_{i}) for each \{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset X. Define a setvalued mapping Cl(F):X\to {2}^{X} as follows,
where Cl(F(x)) denotes the closure of F(x). Clearly, for each x\in X, Cl(F(x))\subset X, X is compact, so Cl(F(x)) is compact. By F(x)\subset Cl(F(x)) and (∗), we know that Cl(F):X\to {2}^{X} also satisfies (∗), thus by Lemma 3.1 we have {\bigcap}_{x\in X}Cl(F(x))\ne \mathrm{\varnothing}. Take {y}^{\ast}\in {\bigcap}_{x\in X}Cl(F(x)), then {y}^{\ast}\in Cl(F(x)) for each x\in X. Therefore, there exists {y}^{\ast}\in X, such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\not\subset intC for any \alpha \in D. The proof is finished. □
Corollary 3.3 Let X be a nonempty convex compact subset of a Hausdorff topological vector space E, C is a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}. If a vectorvalued function \phi :X\times X\to H satisfies the following conditions:

(1)
\phi (x,x)\notin intC for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is Cquasiconcavelike,
then there exists {y}^{\ast}\in X such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\notin intC for any \alpha \in D.
Proof In Theorem 3.2, let \phi (x,y)\equiv H, \mathrm{\forall}x\in X, \mathrm{\forall}y\in X. □
Corollary 3.4 Let X be a nonempty convex compact subset of a Hausdorff topological vector space E. If a function \phi :X\times X\to \mathrm{\Re} satisfies the following conditions:

(1)
\phi (x,x)\le 0 for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is quasiconcave,
then there exists {y}^{\ast}\in X such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\le 0 for any \alpha \in D.
Proof In Corollary 3.3, let H=\mathrm{\Re}, C=[0,+\mathrm{\infty}). □
Remark 3.5 From the proof process of Theorem 3.2, we can easily extend it to the case in which X is not compact.
Theorem 3.6 Let X be a nonempty convex subset of a Hausdorff topological vector space E, C is a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}. If \phi :X\times X\to {2}^{H} satisfies the following conditions:

(1)
\phi (x,x)\not\subset intC for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is Cquasiconcavelike,

(3)
Cl(F({x}_{0}))=Cl\{y\in X\mid \phi ({x}_{0},y)\not\subset intC\} is compact,
then there exists {y}^{\ast}\in X such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\not\subset intC for any \alpha \in D.
Proof Define a setvalued mapping F:X\to {2}^{X} as follows:
From the proof of Theorem 3.2, we can know that for each \{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset X, \mathit{co}\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\subset {\bigcup}_{i=1}^{n}F({x}_{i})\phantom{\rule{0.25em}{0ex}}(\ast ).
Define a setvalued mapping Cl(F):X\to {2}^{X} as follows:
where Cl(F(x)) denotes the closure of F(x). Clearly, for each x\in X, Cl(F(x)) is closed. By Theorem 3.6(3), there exists {x}_{0} such that Cl(F({x}_{0}))=Cl\{y\in X\mid \phi ({x}_{0},y)\not\subset intC\} is compact. Thus the conditions of Lemma 3.1 are satisfied. So we have {\bigcap}_{x\in X}Cl(F(x))\ne \mathrm{\varnothing}. Take {y}^{\ast}\in {\bigcap}_{x\in X}Cl(F(x)), then {y}^{\ast}\in Cl(F(x)) for each x\in X. Therefore, there exists {y}^{\ast}\in X, such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\not\subset intC for any \alpha \in D. The proof is finished. □
In the same way, Corollary 3.3 and Corollary 3.4 can be promoted respectively as follows.
Corollary 3.7 Let X be a nonempty convex subset of a Hausdorff topological vector space E, C is a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}. If a vectorvalued function \phi :X\times X\to H satisfies the following conditions:

(1)
\phi (x,x)\notin intC for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is Cquasiconcavelike,

(3)
Cl(F({x}_{0}))=Cl\{y\in X\mid \phi ({x}_{0},y)\in intC\} is compact,
then there exists {y}^{\ast}\in X such that for each x\in X and a net \{{y}^{\alpha}\} with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\notin intC for any \alpha \in D.
Corollary 3.8 Let X be a nonempty convex compact subset of a Hausdorff topological vector space E. If a function \phi :X\times X\to \mathrm{\Re} satisfies the following conditions:

(1)
\phi (x,x)\le 0 for all x\in X,

(2)
for each fixed y\in X, x\to \phi (x,y) is quasiconcave,

(3)
Cl(F({x}_{0}))=Cl\{y\in X\mid \phi ({x}_{0},y)\le 0\} is compact,
then there exists {y}^{\ast}\in X such that for each x\in X and any net \{{y}^{\alpha}\} of F(x) with \{{y}^{\alpha}\}\to {y}^{\ast}, \phi (x,{y}^{\alpha})\le 0 for any \alpha \in D.
Remark 3.9 By Remark 2.5, we know that Cconcave and Cquasiconcavelike are two different notions which cannot deduce from each other. Then Theorem 3.2, Theorem 3.6 can easily extend the case in which for each fixed y\in X, x\to \phi (x,y) is Cconcave in a similar way.
Remark 3.10 We call such points {y}^{\ast} the weakly Ky Fan’s points in Theorem 3.2, Theorem 3.6. It is obvious that Ky Fan’s points must be weakly Ky Fan’s points, inverse is not true.
4 Generic stability of the set for weakly Ky Fan’s points of setvalued mappings
In this section, we first give some lemmas and concepts, then we study the generic stability of the set for weakly Ky Fan’s points for setvalued mappings.
Let X be a nonempty convex compact subset of a Banach space E with norm \parallel \cdot \parallel, C be a closed, convex, pointed cone with intC\ne \mathrm{\varnothing}, K(E) be the set of all nonempty compact subsets of E. {M}_{1}=\{\phi :X\times X\to K(E)\mid \phi \text{satisfies the conditions (1), (2) in Theorem3.2}\}.
\mathrm{\forall}{\phi}_{1},{\phi}_{2}\in {M}_{1}, define
where h({\phi}_{1}(x,y),{\phi}_{2}(x,y)) denotes the Hausdorff distance between {\phi}_{1}(x,y) and {\phi}_{2}(x,y) on X\times X.
Clearly ({M}_{1},\rho ) is a metric space, (K(E),h) is complete metric space (see [11]). For any \phi \in {M}_{1}, by Theorem 3.2, there exists {y}^{\ast} a weakly Ky Fan’s point of setvalued mappings. Let F(\phi ) be the set of all weakly Ky Fan’s points of φ, then F(\phi )\ne \mathrm{\varnothing}, and thus define a setvalued mapping from {M}_{1} into X, F:{M}_{1}\to {2}^{X}, where F(\phi )=\{y\in X\mid \text{for each}x\in X\text{and a net}\{{y}^{\alpha}\}\text{with}\{{y}^{\alpha}\}\to y\text{we have}\phi (x,{y}^{\alpha})\not\subset intC\text{for any}\alpha \in D\}.
Next, we give some important lemmas in proving the generic stability of weakly Ky Fan’s points for setvalued mappings.
Lemma 4.1 (see [13])
Let X be a complete metric space, Y is a metric space, F:X\to {2}^{Y} is an usco mapping. Then there is a dense {G}_{\delta} subset Q of X such that F is lower semicontinuous on Q.
Lemma 4.2 (see [11])
Let X and Y be two topological spaces with Y is compact. If F is a closed setvalued mapping from X to Y, then F is upper semicontinuous.
Lemma 4.3 ({M}_{1},\rho ) is a complete metric space.
Proof Let {\{{\phi}_{n}\}}_{n=1}^{\mathrm{\infty}} be any Cauchy sequence in {M}_{1}, then for any \epsilon >0, there exists N such that \rho ({\phi}_{n},{\phi}_{m}) for any n,m\ge N, i.e., {Sup}_{(x,y)\in X\times X}h({\phi}_{n}(x,y),{\phi}_{m}(x,y))<\epsilon for any n,m\ge N. It follows that for each (x,y)\in X\times X, {\{{\phi}_{n}(x,y)\}}_{n=1}^{\mathrm{\infty}} is a Cauchy sequence in K(E). Since K(E) is a complete metric space, there exists a compact set \phi (x,y)\in K(E) such that h({\phi}_{n}(x,y),\phi (x,y))\le \epsilon \phantom{\rule{0.25em}{0ex}}(\ast ) for any (x,y)\in X\times X. Next, we prove that \phi \in {M}_{1}.
By (∗), we can obtain {\phi}_{n}(x,y)\subset U(\phi (x,y),\epsilon ) and \phi (x,y)\subset U({\phi}_{n}(x,y),\epsilon ) for any n\ge N, then we can obtain that \phi ({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i},y)\subset U({\phi}_{n}({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i},y),\epsilon ). As {\phi}_{n}\in {M}_{1}, and x\to {\phi}_{n}(x,y) is Cquasiconcavelike, we have {\phi}_{n}({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i},y)\subset {\phi}_{n}({x}_{{i}_{0}},y)+C where {i}_{0}\in \{1,\dots ,n\}. Thus we have \phi ({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i},y)\subset U({\phi}_{n}({x}_{{i}_{0}},y)+C,\epsilon )\subset U(\phi ({x}_{{i}_{0}},y)+C,2\epsilon ). Since ε is arbitrary, \phi ({\sum}_{i=1}^{n}{\lambda}_{i}{x}_{i},y)\subset \phi ({x}_{{i}_{0}},y)+C, then x\to \phi (x,y) is Cquasiconcavelike. Now we suppose that \phi (x,x)\subset intC, then by (∗) we have {\phi}_{n}(x,x)\subset U(\phi (x,x),\epsilon ). Since ε is arbitrary, we can obtain that {\phi}_{n}(x,x)\subset \phi (x,x), then we have {\phi}_{n}(x,x)\subset \phi (x,x)\subset intC which contradicts the assumption that {\phi}_{n}(x,x)\not\subset intC. Thus \phi (x,x)\not\subset intC. Hence, \phi \in {M}_{1}, ({M}_{1},\rho ) is a complete metric space. □
Lemma 4.4 F:{M}_{1}\to {2}^{X} is a usco mapping.
Proof Since X is compact, by Lemma 4.2, it suffices to show that F is a closed mapping, i.e., if for any {\phi}_{n}\in {M}_{1}, {\phi}_{n}\to \phi \in {M}_{1}, \mathrm{\forall}{z}_{n}\in F({\phi}_{n}), {z}_{n}\to z, then z\in F(\phi ).
By {z}_{n}\in F({\phi}_{n}), there exists a net {y}^{{\alpha}_{n}}\to {z}_{n} and {\phi}_{n}(x,{y}^{{\alpha}_{n}})\not\subset intC for any \alpha \in D. Next, we suppose that z\notin F(\phi ). Then there exists some x, and for each {y}^{{\alpha}_{n}}\to z, we have \phi (x,{y}^{{\alpha}_{n}})\subset intC. As {\phi}_{n}\to \phi, we have {\phi}_{n}(x,{y}^{{\alpha}_{n}})\subset U(\phi (x,{y}^{{\alpha}_{n}}),\epsilon ) when n\ge N. Since ε is arbitrary, we can obtain that {\phi}_{n}(x,{y}^{{\alpha}_{n}})\subset \phi (x,{y}^{{\alpha}_{n}})\subset intC which contradicts the assumption that {\phi}_{n}(x,{y}^{{\alpha}_{n}})\not\subset intC. Thus, z\in F(\phi ), i.e. F is a closed mapping. Therefore, by Lemma 4.2, F:{M}_{1}\to {2}^{X} is a usco mapping. □
Definition 4.5 Let \phi \in {M}_{1} (1) {y}^{\ast}\in F(\phi ) is essential if for any \epsilon >0, there exists \delta >0 such that for each {\phi}^{\prime}\in {M}_{1} with \rho (\phi ,{\phi}^{\prime})<\delta, there exists {y}^{\prime}\in F({\phi}^{\prime}) with \parallel y{y}^{\prime}\parallel <\epsilon. (2) φ is essential if every y\in F(\phi ) is essential.
By Definition 2.1(2) and Definition 4.5, it is easy to obtain the following results.
Lemma 4.6 φ is essential if and only if the setvalued mapping F is lower semicontinuous on φ.
Theorem 4.7 There exists a dense {G}_{\delta} subset Q of {M}_{1}such that each \phi \in Q, φ is essential.
Proof By Lemma 4.4, F:{M}_{1}\to {2}^{X} is a usco mapping. By Lemma 4.1, there exists a dense {G}_{\delta} subset Q such that each \phi \in Q, φ is lower semicontinuous on Q. By Lemma 4.6, for each \phi \in Q, φ is essential. □
Remark 4.8 (1) Let \phi \in Q. By Lemma 4.4 and Lemma 4.6, F is continuous on Q. Then for any \epsilon >0, there exists \delta >0 such that for any {\phi}^{\prime}\in M, with \rho (\phi ,{\phi}^{\prime})<\delta, h(F(\phi ),F({\phi}^{\prime}))<\epsilon. Thus φ is stable.

(2)
Since Q is a dense residual subset, it is the second category set, therefore most of \phi \in {M}_{1} have stable solution sets in the sense of Baire category.
Theorem 4.9 If \phi \in {M}_{1} is such that F(\phi ) is a singleton set, then φ is essential.
Proof For any open set G of X, F(\phi )\cap G\ne \mathrm{\varnothing}, by F(\phi )=\{y\}, then y\in G, and G\supset F(\phi ). By Lemma 4.4, F:{M}_{1}\to {2}^{X} is upper semicontinuous. There exists an open neighborhood O(\phi ) of φ such that G\supset F({\phi}^{\prime}) for any {\phi}^{\prime}\in O(\phi ), thus G\cap F({\phi}^{\prime})\ne \mathrm{\varnothing}, then F is lower semicontinuous on φ. By Lemma 4.6, φ must be essential. □
References
Fan K: A minimax inequality and its applications. In Inequality. Academic Press, New York; 1972.
Lin B, Simons S: Nonlinear and Convex Analysis. Dekker, New York; 1987.
Tan KK, Yu J, Yuan XZ: The stability of Ky Fan’s points. Proc. Am. Math. Soc. 1995, 123: 1511–1519.
Yu J, Yuan XZ: The study of Pareto equilibria for multiobjective games by fixed point and Ky Fan minimax inequality methods. Comput. Math. Appl. 1998, 35: 17–24.
Luo Q: The essential component of the solution set for vector equilibrium problems. J. Glob. Optim. 2006, 34: 589–595. 10.1007/s108980051648z
Yang H, Yu J: Essential component of the weakly Pareto Nash equilibrium points. Appl. Math. Lett. 2002, 15: 553–556. 10.1016/S08939659(02)800064
Yu J, Yang H, Yu C: Wellposed Ky Fan’s point, quasivariational inequality and Nash equilibrium problems. Nonlinear Anal. TMA 2007, 66: 777–790. 10.1016/j.na.2005.10.018
Yu J, Xiang SW: On essential components of the set of Nash equilibrium points. Nonlinear Anal. TMA 1999, 38: 259–264. 10.1016/S0362546X(98)00193X
Zhou YH, Xiang SW, Yang H: Stability of solutions for Ky Fan’s section theorem with some applications. Nonlinear Anal. TMA 2005, 62: 1127–1136. 10.1016/j.na.2005.01.113
Aubin JP, Ekeland I: Applied Nonlinear Analysis. Wiley, New York; 1984.
Klein E, Thompson AC: Theory of Correspondence. Wiley, New York; 1984.
Fan K: A generalization of Tychonoff’s fixed point theorem. Math. Ann. 1961, 142: 305–310. 10.1007/BF01353421
Yu J: Essential equilibria of n person noncooperative games. J. Math. Econ. 1999, 31: 361–372. 10.1016/S03044068(97)000608
Acknowledgements
This work is supported by National Natural Science Foundation of China (11161008), Doctoral Program Fund for Ministry of Education (20115201110002) and Natural Science Fund of Guizhou Province (20122139).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
WSJ and SWX carried out the design of the study and performed the analysis. JHH and YLY participated in its design and coordination. All authors read and approved the final 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
Jia, W., Xiang, S., He, J. et al. The existence and stability for weakly Ky Fan’s points of setvalued mappings. J Inequal Appl 2012, 199 (2012). https://doi.org/10.1186/1029242X2012199
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2012199
Keywords
 weakly Ky Fan’s points
 setvalued mappings
 Cconcave
 Cquasiconcavelike
 essential solution