 Research
 Open Access
 Published:
Applications of some basic theorems in the KKM theory
Fixed Point Theory and Applications volume 2011, Article number: 98 (2011)
Abstract
In this review, we introduce a new KKMtype theorem for intersectionally closedvalued KKM map on abstract convex spaces and its direct consequences such as a FanBrowdertype fixed point theorem and maximal element theorems. For these basic theorems of the KKM theory, we review previously obtained particular consequences of them mainly due to the author and their recent applications obtained by other authors. Therefore, those applications might be improved by following our new results.
2010 Mathematics Subject Classification: 47H04; 47H10; 52A99; 54H25; 55M20; 58E35; 90D13.
1. Introduction
The KKM theory, first called by the author [1], is the study on applications of equivalent formulations of the KKM theorem due to Knaster, Kuratowski, and Mazurkiewicz. The KKM theorem provides the foundations for many of the modern essential results in diverse areas of mathematical sciences.
Some of the basic theorems which are useful to applications of the KKM theory were first obtained by Ky Fan, Browder, and others for convex subsets of topological vector spaces (not necessarily Hausdorff). Later extensions of the theory were due to Lassonde for convex spaces, Horvath for Hspaces, Park for Gconvex spaces, and others; see [2] and the references therein.
Recently, the KKM theory is extended to abstract convex spaces by the author and we obtained new results in such frame; see [3] and the references therein. In fact, there are very large numbers of equivalent formulations, generalizations, and applications of the KKM theorem. On the other hand, Luc et al. [4] introduced a meaningful concept of intersectionally closedvalued multimaps and applied them to several related problems.
In this review, we introduce the new KKMtype theorem for intersectionally closedvalued KKM maps and its simple consequences such as a FanBrowdertype fixed point theorem and maximal element theorems. We also recall some previously obtained particular results of them mainly due to the author and their recent applications obtained by many other authors. Therefore, these applications might be improved by following our new results.
In Section 2, we introduce basic concepts on our abstract convex spaces and a basic KKM theorem by following [3]. We give also the new concepts of intersectionally closed and unionly open sets due to Luc et al. [4]. Section 3 devotes to deduce a new KKM theorem, a FanBrowder fixed point theorem, and maximal element theorems. In Section 4, we give some known particular KKMtype theorems and indicate some of their known applications. In Section 5, we give some known FanBrowdertype fixed point theorems mainly due to the author and indicate their known applications by other authors. Section 6 devotes to give some known particular maximal element theorems and to indicate their known applications. Finally, in Section 7, we introduce several applications of related fixed point theorems due to the author.
2. Abstract convex spaces
In this section, we follow [3].
A multimap or simply a map F : X ⊸ Y is a function F : X → 2 ^{Y} to the power set of Y and F^{} : Y ⊸ X is defined by F^{}(y): = {x ∈ X  y ∈ F(x)} for y ∈ Y. Let 〈D〉 denote the set of all nonempty finite subsets of a set D.
Definition 2.1. An abstract convex space (E, D; Γ) consists of a topological space E, a nonempty set D, and a multimap Γ: 〈D〉 ⊸ E with nonempty values Γ _{ A } : = Γ(A) for A ∈ 〈D〉.
For any nonempty D' ⊂ D, the Γconvex hull of D' is denoted and defined by
A subset X of E is called a Γconvex subset of (E, D; Γ) relative to D' if for any N ∈ 〈D'〉, we have Γ _{ N } ⊂ X, that is, co_{Γ}D' ⊂ X.
When D ⊂ E in (E, D; Γ), a subset X of E is said to be Γconvex if co_{Γ} (X⋂D) ⊂ X; in other words, X is Γconvex relative to D': = X ⋂ D. In case E = D, let (E; Γ): = (E, E; Γ).
If E is compact, then (E, D; Γ) is called a compact abstract convex space.
Example 2.2. Many known examples of abstract convex spaces are given in [3] and the references therein.
Definition 2.3. Let (E, D; Γ) be an abstract convex space. If a map G : D ⊸ E satisfies
then G is called a KKM map.
We have abstract convex subspaces as the following simple observation shows:
Proposition 2.4. [5]For an abstract convex space (E, D; Γ) and a nonempty subset D' of D, let X be a Γconvex subset of E relative to D' and Γ' : 〈D'〉 ⊸ X a map defined by
Then, (X, D'; Γ') itself is an abstract convex space called a subspace relative to D' .
Definition 2.5. The partial KKM principle for an abstract convex space (E, D; Γ) is the statement that, for any closedvalued KKM map G : D ⊸ E, the family {G(z)}_{z∈D}has the finite intersection property. The KKM principle is the statement that the same property also holds for any openvalued KKM map.
An abstract convex space is called a KKM space if it satisfies the KKM principle.
Example 2.6. Many known examples of KKM spaces are given in [3] and the references therein.
From the partial KKM principle, we have the following KKMtype theorem which is a particular form of [[6], Theorem C] and corrects [[3], Theorem 3]:
Theorem 2.7. Let (E, D; Γ) be an abstract convex space satisfying the partial KKM principle and G : D ⊸ E a map such that

(1)
\overline{G} is a KKM map, and

(2)
there exists a nonempty compact subset K of E such that either

(i)
{\bigcap}_{z\in M}\overline{G\left(z\right)}\subset K for some M ∈ 〈D〉; or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of E relative to some D' ⊂ D such that N ⊂ D' and
\overline{{L}_{N}}\cap \phantom{\rule{2.77695pt}{0ex}}\bigcap _{z\in {D}^{\prime}}\overline{G\left(z\right)}\subset K.
ThenK\cap {\bigcap}_{z\in D}\overline{G\left(z\right)}\ne \varnothing.
Recall that the main conclusions of most of KKMtype theorems follow from the form
for a multimap G : D ⊸ E.
Consider the following related four conditions:

(a)
{\bigcap}_{z\in D}\overline{G\left(z\right)}\ne \varnothing implies {\bigcap}_{z\in D}G\left(z\right)\ne \varnothing.

(b)
{\bigcap}_{z\in D}\overline{G\left(z\right)}=\overline{{\bigcap}_{z\in D}G\left(z\right)} (G is intersectionally closedvalued [4]).

(c)
{\bigcap}_{z\in D}\overline{G\left(z\right)}={\bigcap}_{z\in D}G\left(z\right) (G is transfer closedvalued).

(d)
G is closedvalued.
The authors of [4] noted that (a) ⇐ (b) ⇐ (c) ⇐ (d) and gave some examples of multimaps satisfying (b) but not (c). Therefore, it would be better to deal with condition (b) instead of (c) in the KKM theory.
Example 2.8. The following maps G are intersectionally closedvalued, but not transfer closedvalued:

(1)
G(z) = (0, 1) for every z ∈ [0, 1] is a constant multimap from D = [0, 1] to E = [0, 1]; see [4].

(2)
G(z) is a convex set in a Euclidean space having a relative interior point in common; see Rockafellar [[7], Theorem 6.5].

(3)
For a given subset E of a topological vector space with x* ∈ E, each G(z), z ∈ D, is a nicely starshaped at x*; see [4].
For a multimap G : D ⊸ E, consider the following related four conditions:

(a)
{\bigcup}_{z\in D}G\left(z\right)=E\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{implies}}\phantom{\rule{2.77695pt}{0ex}}{\bigcup}_{z\in D}\mathsf{\text{Int}}G\left(z\right)=E.

(b)
\mathsf{\text{Int}}\phantom{\rule{2.77695pt}{0ex}}{\bigcup}_{z\in D}G\left(z\right)={\bigcup}_{z\in D}\mathsf{\text{Int}}G\left(z\right) (G is unionly openvalued [4]).

(c)
{\bigcup}_{z\in D}G\left(z\right)={\bigcup}_{z\in D}\mathsf{\text{Int}}G\left(z\right) (G is transfer openvalued).

(d)
G is openvalued.
Proposition 2.9. [4]The multimap G is intersectionally closedvalued (resp., transfer closedvalued) if and only if its complement G^{c} is unionly openvalued (resp., transfer openvalued).
In view of this proposition, there are proper examples of unionly openvalued maps.
3. A KKM theorem, a fixed point theorem, and maximal element theorems
From the partial KKM principle we have the following KKMtype theorem:
Theorem 3.1. Under the hypothesis of Theorem 2.7, the following hold:
(α) If G is transfer closedvalued, thenK\cap {\bigcap}_{z\in D}G\left(z\right)\ne \varnothing.
(β) If G is intersectionally closedvalued, then{\bigcap}_{z\in D}G\left(z\right)\ne \varnothing.
Proof. Since \overline{G} is a KKM map with closed values, by Theorem 2.7, we have K\cap {\bigcap}_{z\in D}\overline{G\left(z\right)}\ne \varnothing.
(α) Since G is transfer closedvalued, we have
(β) Since G is intersectionally closedvalued, we have
These imply the conclusion. □
From the KKM Theorem 3.1, we have a whole intersection property of the Fantype as follows:
Theorem 3.2. Let (E, D; Γ) be an abstract convex space satisfying the partial KKM principle and G : D ⊸ E, H : E ⊸ E maps satisfying
(2.1) for each x ∈ E, x ∈ H(x);
(2.2) for each x ∈ E, co_{Γ} (D\G^{}(x)) ⊂ X\H^{} (x); and
(2.3) there exists a nonempty compact subset K of E such that either

(i)
{\bigcap}_{z\in M}\overline{G\left(z\right)}\subset K for some M ∈ 〈D〉; or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of E relative to some D' ⊂ D such that N ⊂ D' and
\overline{{L}_{N}}\cap \bigcap _{z\in {D}^{\prime}}\overline{G\left(z\right)}\subset K.
(α) If G is transfer closedvalued, thenK\cap {\bigcap}_{z\in D}G\left(z\right)\ne \varnothing.
(β) If G is intersectionally closedvalued, then{\bigcap}_{z\in D}G\left(z\right)\ne \varnothing.
Proof. In view of Theorem 3.1, it suffices to show that (2.1) and (2.2) imply that G is a KKM map. Suppose that there exists an N ∈ 〈D〉 such that Γ _{ N } ⊄ G(N ); that is, there exist an x ∈ Γ _{ N } such that x = ∉ G(y) for all y ∈ N. In other words, N ∈ 〈D\G^{} (x)〉. By (2.2), Γ _{ N } ⊂ X\H^{} (x). Since x ∈ Γ_{ N }, we have x ∉ H^{} (x) or x ∉ H(x). This contradicts (2.1). □
From Theorem 3.2, we have the following fixed point theorem:
Theorem 3.3. Let (E, D; Γ) be an abstract convex space satisfying the partial KKM principle, and S : D ⊸ E, T : E ⊸ E maps. Suppose that
(3.1) for each x ∈ E, co_{Γ}S^{} (x) ⊂ T^{} (x);
(3.2) E = S(D); and
(3.3) there exists a nonempty compact subset K of E such that either

(i)
{\bigcap}_{z\in M}\overline{E\backslash S\left(z\right)}\subset K for some M ∈ 〈D〉; or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of E relative to some D' ⊂ D such that N ⊂ D' and
\overline{{L}_{N}}\cap \bigcap _{z\in {D}^{\prime}}\overline{E\backslash S\left(z\right)}\subset K.
(α) If S is transfer openvalued, then there exists an\overline{x}\in Ksuch that\overline{x}\in T\left(\overline{x}\right).
(β) If S is unionly openvalued, then there exists an\overline{x}\in Esuch that\overline{x}\in T\left(\overline{x}\right).
Proof. Suppose that x ∉ T(x) for all x ∈ E. Let G(z): = E\S(z) for z ∈ D and H(x): = E\T(x) for x ∈ E. Then all of the requirements of Theorem 3.2 are satisfied.
(α) Therefore, by Theorem 3.2, there exists a {y}_{0}\in K\cap {\bigcap}_{z\in D}G\left(z\right); that is, y_{0} ∈ K such that y_{0} ∉ S(z) for all z ∈ D. This contradicts (3.2).
(β) Similar. □
From Theorem 3.3, we have the following maximal element theorem:
Theorem 3.4. Let (E, D; Γ) be an abstract convex space satisfying the partial KKM principle, and S : E ⊸ D, T : E ⊸ E maps. Suppose that
(4.1) for each x ∈ E, co_{Γ}S(x) ⊂ T (x);
(4.2) for each x ∈ E, x ∉ T(x); and
(4.3) there exists a nonempty compact subset K of E such that either

(i)
{\bigcap}_{z\in M}\overline{E\backslash s\left(z\right)}\subset K for some M ∈ 〈D〉; or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of E relative to some D' ⊂ D such that N ⊂ D' and
\overline{{L}_{N}}\cap \phantom{\rule{2.77695pt}{0ex}}\bigcap _{z\in {D}^{\prime}}\overline{E\backslash {S}^{}\left(z\right)}\subset K.
(α) If S is transfer openvalued, then there exists a maximal element\overline{x}\in K, that is, S\left(\overline{x}\right)=\varnothing.
(β) If S is unionly openvalued, then there exists a maximal element\overline{x}\in E, that is, S\left(\overline{x}\right)=\varnothing.
Proof. Replace S and T in Theorem 3.3 by S^{} and T^{}, respectively. □
From Theorem 3.1, we can deduce another maximal element theorem:
Theorem 3.5. Let (E, D; Γ) be an abstract convex space satisfying the partial KKM principle, and S : D ⊸ E a map. Suppose that
(5.1) for each A ∈ 〈D〉 and each y ∈ Γ_{ A }, there exists z ∈ A such that y ∉ S(z).
(5.2) Suppose that there exists a nonempty compact subset K of E such that either

(i)
{\bigcap}_{z\in M}\overline{E/S\left(z\right)}\subset K for some M ∈ 〈D〉; or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of E relative to some D' ⊂ D such that N ⊂ D' and
\overline{{L}_{N}}\cap \phantom{\rule{2.77695pt}{0ex}}\bigcap _{z\in {D}^{\prime}}\overline{E\backslash S\left(z\right)}\subset K.
(α) If S is transfer openvalued, then S^{}has a maximal element\overline{x}\in K, that is, {S}^{}\left(\overline{x}\right)=\varnothing.
(β) If S is unionly openvalued, then S^{}has a maximal element\overline{x}\in E, that is, {S}^{}\left(\overline{x}\right)=\varnothing.
Proof. Let G(z): = E\S(z) for each z ∈ D. For any A ∈ 〈D〉 and any y ∈ Γ_{ A }, by (5.1), there exists z ∈ A such that y ∉ S(z), that is, y ∈ G(z). Then G : D ⊸ E is a KKM map. Note that G satisfies all requirements of Theorem 3.1. Hence, there exists \overline{x}\in K for the case (α) [resp., \overline{x}\in E for (β)] such that \overline{x}\in {\bigcap}_{z\in D}G\left(z\right). Hence \overline{x}\notin S\left(z\right) for all z ∈ D. This shows {S}^{}\left(\overline{x}\right)=\varnothing. □
In Theorems 2.7 and 3.13.5, for the Γconvex subset L_{ N } of E, its closure \overline{{L}_{N}} can be replaced by simply L_{ N } whenever one of the following holds; see [8].

(1)
E is Hausdorff (hence, every compact subset is closed).

(2)
K is closed.

(3)
L_{ N } itself is closed.
4. Particular KKM theorems and applications
There are several hundreds of articles on generalizations of the KKM theorem and their applications. In a recent study by Park [6], we recalled a number of KKMtype theorems due to the author in order to give a short history on such theorems with related studies.
In this section, we introduce some of simple consequences of Theorem 3.1 and only a few applications (I)(IV) obtained by other authors. We will omit the proofs.

(I)
In 2000, Song [9] deduced the following:
Proposition 4.1. [9]Let E be a topological vector space, X a nonempty convex subset of E, D a nonempty subset of X, and K a nonempty compact subset of X. Let G : D ⊸ X be a multimap such that

(1)
for each x ∈ D and for each nonempty compact subset B of X, the set G(x) ⋂ B is closed in B;

(2)
for each finite subset N of D, co N ⊂ G(N);

(3)
for each finite subset N of D, there exists a nonempty compact convex subset L_{ N } of X containing N such that, ∀y ∈ L_{ N } \K, ∃x ∈ L_{ N } ⋂ D with y ∉ G(x).
Then\exists \u0177\in Ksuch that\u0177\in G\left(x\right)\phantom{\rule{2.77695pt}{0ex}}\phantom{\rule{2.77695pt}{0ex}}\forall x\in D.
This is a particular form of [[1], Theorem 3 or 4']. Note that G(x) can be merely closed instead of the "compactly" closedness in (1) since the topology of X can be replaced by its compactly generated extension; see [10].
In our previous study [3], we showed that the partial KKM property implies various forms of the Fantype minimax inequality and variational inequalities.
Similarly, Song [9] deduced from Proposition 4.1 a vector and setvalued generalization of the Fan minimax inequality. This is applied to several existence theorems for generalized vector variational inequalities involving certain setvalued operators. Moreover, he gave a certain relationship between a kind of generalized vector variational inequality (VVI) and a vector optimization problem.

(II)
In 2000, Song [11] obtained the following:
Proposition 4.2. [11]Let X be a nonempty convex subset of a real topological vector space E, D ⊂ X nonempty, and K ⊂ X nonempty compact. Let G : D ⊸ X be a map such that

(1)
G is transfer compactly closedvalued on D;

(2)
for every compact convex subset X _{0} of X and for each N ∈ 〈D ⋂ X _{0}〉, \mathsf{\text{co}}\left(N\right)\subset {\bigcup}_{y\in N}\mathsf{\text{c}}{1}_{{X}_{0}}\left(G\left(y\right)\cap {X}_{0}\right);

(3)
for each N ∈ 〈D〉, there exists a nonempty compact convex subset L_{ N } of X containing N such that
\bigcap _{y\in {L}_{N}\cap D}\mathsf{\text{c}}{1}_{{L}_{N}}\left(G\left(y\right)\cap {L}_{N}\right)\subset K.
ThenK\cap \left({\bigcap}_{y\in A}G\left(y\right)\right)\ne \varnothing.
This is particular to Theorem 2.7 as we can eliminate "compactly" in (1).
In [11], by applying Proposition 4.2, an existence result for a generalized vector equilibrium problem was obtained. This was used to obtain existence results for vector equilibrium problems and vector variational inequalities. Its author adopted artificial and impractical concepts like compactly closed and compact closure, which can be eliminated by adopting the compactly generated extension of the original topology.
Note that (X, D) in Propositions 4.1 and 4.2 is a convex space in the sense of Park.

(III)
A modification of Proposition 4.2 is given in [12] and applied to similar problems.

(IV)
A simple Gconvex space version of the Fan KKM lemma or Theorem 2.7 is as follows:
Proposition 4.3. Let (X, D; Γ) be a Gconvex space and G : D ⊸ X a closedvalued KKM map. If G(x) is compact for some x ∈ D, then{\bigcap}_{x\in D}G\left(x\right)\ne \varnothing.
There are a large number of applications of the Fan KKM lemma and it is hard to list all of them. Recently its Gconvex space versions like Proposition 4.3 also were shown to have applications. For example, Mitrović [13, 14] published some applications of Proposition 4.3 to various problems in Gconvex spaces as follows.
In 2006 [13], he proved a best approximation theorem and applied it to the existence of maximal elements and coincidence points.
In 2007 [14], he proved the existence of a solution to the scalar equilibrium problem and applied it to best approximations and simultaneous approximations.
5. Particular fixed point theorems and applications
In this section, we introduce simple consequences of Theorem 3.3 and their applications (I)(XIII) obtained by other authors. We will omit the proofs.
Proposition 5.1. Let x be a nonempty convex subset of a topological vector space E, A, B : X ⊸ X two multimaps, and K a nonempty compact subset of X. Suppose that

(1)
for each x ∈ X, A(x) ⊂ B(x) and B(x) is convex;

(2)
for each x ∈ K, A(x) ≠ ∅;

(3)
for each y ∈ X, A ^{} (y) is open in X;

(4)
for each finite subset N of X, there exists a compact convex subset L_{ N } of X containing N such that A(x) ⋂ L_{ N } ≠ ∅ for all x ∈ L_{ N } \K.
Then B has a fixed point.
This is originally given as a particular form of [[1], Theorem 1] or [[15], Theorem 5].
In order to prove some existence results for noncompact settings, many authors applied Proposition 5.1 as follows:

(I)
In 1998, Lee and Kum [16] applied Proposition 5.1 to obtain two theorems on the existence of solutions of VVI problems with a noncompact setting in a Hausdorff topological vector space. The results generalize previous studies of Lai and Yao, Yu and Yao. In addition, the equivalent relation between solutions of generalized Minty vector variational inequality and generalized vectorminimum points of vector optimization problems was shown.

(II)
In 1998, Park and Kum [17] applied Proposition 5.1 with A = B to a general existence theorem on a generalized variational inequalities and some of its consequences.

(III)
In 2000, Lee and Kum [18] applied Proposition 5.1 to several existence theorems of solutions of implicit vector variational inequalities for multimaps with or without generalized pseudomonotonicity. These results extend and unify corresponding earlier studies.

(IV)
In 2001, Ansari et al. [19] obtained some existence results for solutions to the generalized vector equilibrium problem for C_{ x } pseudomonotone as well as C_{ x } quasimonotone multimaps by applying Proposition 5.1. They also proved an existence result without any kind of monotonicity assumption. As special cases, they derived existence results for solutions to the implicit vector variational inequalities.

(V)
In 2002, Kum and Lee [20] applied Proposition 5.1 to some existence of solutions of the implicit vector variational inequality problem (IVVI) for noncompactvalued multimaps. This IVVI contains various vector variationallike inequalities and vector equilibrium problems as particular cases. They gave several existence results of solutions for IVVI, thus extending similar results from their previous article [18], and they established such existence results under additional generalized hemicontinuity and pseudomonotonicity type assumptions. Some other existence results, based on a selection theorem, were also presented.

(VI)
In 2002, Lin and Cheng [21] applied Proposition 5.1 to the existence results of two types of equilibrium problemsthe constrained or the competitive Nash type equilibrium problems with multivalued payoff functions. In these two problems, the authors found a strategy combination such that each player wishes to find a minimal lose from his multivalued payoff function.

(VII)
In 2005, Kum and Kim [22] applied Proposition 5.1 to develop the scheme of vector variational inequalities with operator solutions due to Domokos and Kolumbán from the singlevalued case into the multivalued one. They proved the existence of solutions of such inequalities and generalized quasivector variational inequalities with operator solutions. Some applications to such inequalities in a normed space were also provided.

(VIII)
In 2006, Kum [23] applied the compact case of Proposition 5.1 to further develop the previous study [22] for a more general pseudomonotone operator.

(IX)
In 2008, Kum and Kim [24] applied Proposition 5.1 with A = B to new existence theorems on generalized operator equilibrium problem and generalized operator quasiequilibrium problem which includes operator equilibrium problems.

(X)
In 2009, Hai et al. [25] established sufficient existence conditions for general quasivariational inclusion problems, which contain most of variational inclusion problems and quasiequilibrium problems considered in the literature. The authors made use of Proposition 5.1 and noted that "it turns out that this theorem is suitable to our problem setting and helps to get new results or to sharpen some recent existing ones."
We know that Gconvex spaces are typical example of abstract convex spaces. The following extension of the FanBrowder fixed point theorem to Gconvex spaces is well known. For instance, it is a particular case of Theorem 3.3 and [[26], Theorem 3].
Proposition 5.2. Let (X, D; Γ) be a compact Gconvex space and T : X ⊸ X, S : X ⊸ D be two maps satisfying the following conditions:

(i)
for each x ∈ X, A ∈ 〈S(x)〉 implies Γ(A) ⊂ T(x);

(ii)
X=\bigcup \left\{\mathsf{\text{Int}}{S}^{}\left(z\right)z\in D\right\}.
Then T has a fixed point.

(XI)
In 2006, Balaj [27] applied this to obtain two minimax inequalities in Gconvex spaces which extend and improve a large number of generalizations of the Ky Fan minimax inequality and of the von NeumannSion minimax principle.
The following consequence of Theorem 3.3 is known in our Gconvex space theory:
Proposition 5.3. Let (X; Γ) be a Gconvex space and S, Q : X ⊸ X be two maps satisfying the following conditions:

(i)
for each x ∈ X, M ∈ 〈S(x)〉 implies Γ(M) ⊂ Q(x);

(ii)
X={\bigcup}_{y\in X}\mathsf{\text{Int}}{S}^{}\left(y\right);

(iii)
there exists a nonempty compact subset K of X such that for each M ∈ 〈X〉, there exists a compact Gconvex subset L_{ M } ⊂ X containing M such that
{L}_{M}\backslash K\subset \bigcup \left\{\mathsf{\text{Int}}\phantom{\rule{2.77695pt}{0ex}}{S}^{}\left(y\right)y\in {L}_{M}\right\}.
Then there exists x_{0} ∈ X such that x_{0} ∈ Q(x_{0}).

(XII)
In 2003, Ding and Park [28] applied this to a class of abstract generalized vector equilibrium problems in Gconvex spaces.

(XIII)
In 2009, Balaj and Lin [29] claimed that Proposition 5.3 is essentially Theorem 4 of [30] and applied it to obtain a new fixed point theorem for multivalued maps in Gconvex spaces from which they derived several coincidence theorems and existence theorems for maximal elements. Applications of these results to generalized equilibrium problems and minimax theory were also given.
6. Particular maximal element theorems and applications
In this section, we introduce simple consequences of Theorems 3.4 and 3.5, and their applications (I)(VI) due to other authors. We obtain the following from Theorem 3.4:
Proposition 6.1. [31]Let (X ⊃ D; Γ) be an Hspace and S : D ⊸ X, T : X ⊸ X multimaps such that

(1)
for each z ∈ D, S(z) ⊂ T(z) and S(z) is compactly open; and

(2)
for each y ∈ X, T ^{}(y) is Γconvex.
Suppose that there exists a nonempty compact subset K of X such that either

(i)
X\K ⊂ S(M) for some M ∈ 〈D〉, or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subset L_{ N } of X containing N such that
{L}_{N}\backslash K\subset S\left({L}_{N}\cap D\right).
Then either there exists y_{0} ∈ K such that S^{} (y_{0}) = ∅ or there exists x_{0} ∈ X such that x_{0} ∈ T (x_{0}).
We indicate some applications of Proposition 6.1 as follows:

(I)
The following in 2003 simply follows from Proposition 6.1:
Proposition 6.2. [32]Let X be a nonempty convex subset of a t.v.s. E. Let S : X ⊸ X be a setvalued mapping satisfying the following conditions:

(i)
x ∉ co S(x) and S ^{} is openvalued;

(ii)
there exist a nonempty compact subset A of X and a nonempty compact convex subset B of X such that for all x ∈ X\A, there exists z ∈ B such that x ∈ Int S ^{} (z).
Then there exists x ∈ X such that S(x) = ∅.

(II)
In 2004, Guo [33] applied Proposition 6.2 to prove existence theorems of solutions of the complementarity problems for multivalued monotone operator in Banach spaces.

(III)
In 2005, Peng and Yang [34] applied Proposition 6.1 to a new existence result for a multivalued complementarity problem due to Guo [33], which is a correction of a previous result in [33].
The following is a simple consequence of Theorem 3.5:
Proposition 6.3. [35]Let (X ⊃ D; Γ) be an Hspace and S : D ⊸ X, T : X ⊸ X multimaps such that

(1)
for each z ∈ D, S(z) ⊂ T(z) and S(z) is compactly open; and

(2)
for each A ∈ 〈D〉 and for each y ∈ Γ _{ A }, there exists z ∈ A such that y ∉ T (z).
Suppose that there exists a nonempty compact subset K of X such that either

(i)
X\K ⊂ S(M) for some M ∈ 〈D〉, or

(ii)
for each N ∈ 〈D〉, there exists a compact Γconvex subspace L_{ N } of X containing N such that
{L}_{N}\backslash K\subset S\left({L}_{N}\cap D\right).
Then either there exists y_{0} ∈ K such that S^{} (y_{0}) = ∅.

(IV)
In 2007, from a KKMtype theorem in [31], Guo and Cho [35] deduced a maximal element theorem as above and applied it to the BrowderHartmannStampacchia variational inequalities and the complementarity problem in Banach spaces and locally convex topological vector spaces, respectively.

(V)
In 2010, Xiang et al. [36] studied a class of generalized nonlinear vector variationallike inequality problems, which includes generalized nonlinear VVI problems, generalized VVI problems, generalized vector variationallike inequality problems, and so on. Applying Proposition 6.3, they proved the existence of its solutions in the setting of locally convex t.v.s.

(VI)
In 2010, particular forms of Theorems 3.2 and 3.3 for a compact Γconvex subspace X were applied to minimax theorems by Yang et al. [37]. In this article, they introduced the concepts of Cquasiconcave maps and properly Cquasiconcave maps in abstract convex spaces in the sense of Park, where C is a pointed closed convex cone with nonempty interior. By using the FanBrowdertype fixed point theorem and the maximal element theorem due to Park, they established some minimax theorems for vectorvalued mappings in abstract convex spaces. They also give some examples to illustrate their results.
7. Comments on some related results
In this section, we are concerned with some other applications of related fixed point theorems other than the preceding basic theorems of the KKM theory.

(I)
In 1994, Kum [38] applied the 1992 fixed point theorem for acyclic maps [[1], Theorem 7] to a generalized quasivariational inequality problem. In a noncompact setting, he presented some general acyclicvalued versions of several known results due to Kim, Shih, and Tan. For further developments, see [39].

(II)
In 1996, Lee et al. [40] also applied the 1992 theorem to a vector version of the main result of [36], which is an existence theorem for the vector quasivariational inequality for multimaps with vector values.

(III)
In 1998, Lin and Park [41] studied some equilibrium problems, quasiequilibrium problems, and generalized quasiequilibrium theorems in Gconvex spaces. They are based on a selection theorem, a FanBrowder fixed point theorem (particular to Theorem 3.3), and a KKMtype theorem (particular to Theorem 2.7) on Gconvex spaces. Therefore, some results in [41] can be extended to abstract convex spaces satisfying the partial KKM principle.

(IV)
In 2002, Kim et al. [42] applied a fixed point theorem on compact Browder maps due to BenElMechaiekh (see [43]) to an existence result for a VVI involving vector maximal points. Moreover, four kinds of VVIs are shown to be equivalent in the sense that their solution sets are same.

(V)
In 2009 [39], we reviewed applications of our fixed point theorems on compact compositions of acyclic maps. Our applications are mainly on acyclic polyhedra, locally convex topological vector spaces, admissible (in the sense of Klee) convex sets, and almost convex or Klee approximable sets in topological vector spaces. Those applications are concerned with general equilibrium problems like as (collective) fixed point theorems, the von Neumanntype intersection theorems, the von Neumanntype minimax theorems, the Nashtype equilibrium theorems, cyclic coincidence theorems, best approximation theorems, (quasi)variational inequalities, and the GaleNikaidoDebreu theorem. Finally, we briefly introduced some related results mainly appeared in other author's studies.

(VI)
In [44], let I be a finite or infinite index set, let X be a topological space, and let {\left({Y}_{i},{\varphi}_{{N}_{i}}\right)}_{i\in I} be a family of FCspaces. For each i ∈ I, let A_{ i } : X ⊸ Y_{ i } be a setvalued mapping. Some existence theorems of maximal elements for a multimap and a family of multimaps involving a better admissible multimap in the sense of Park are established under noncompact setting of FCspaces. He and Zhang [44] claimed that their results improve and generalize some recent results.
However, the authors adopted artificial and useless concepts on the socalled FCspaces.

(VII)
In 2010, Chen and Zhang [45] proved a FanBrowdertype fixed point theorem under noncompact setting of general topological spaces. By applying the fixed point theorem, several existence theorems of solutions for equilibrium problems are proved under noncompact setting of topological spaces. The authors claimed that these theorems improve and generalize the corresponding results in related literature.
However, the authors of [45] adopted artificial and useless concepts like compact closure, compact interior, transfer compactly open, compactly local intersection property, generalized RKKM map, etc. due to Ding. Moreover, they claimed that they are concerned with general topological spaces, but their L_{ N } is a socalled FCspace or, more generally, a Gconvex space.

(VIII)
Finally, there have appeared a number of fixed point theorems for the multimap classes \mathfrak{B} or \mathfrak{R}\mathfrak{C} on abstract convex spaces; for example, see Park [46] and the references therein. Moreover, refined versions of the basic theorems in the KKM theory for abstract convex spaces are given in a recent study of Park [47].
References
Park S: Some coincidence theorems on acyclic multifunctions and applications to KKM theory. In Fixed Point Theory and Applications. Edited by: Tan KK. World Scientific Publisher, River Edge, NJ; 1992:248–277.
Park S: Ninety years of the Brouwer fixed point theorem. Vietnam J Math 1997, 27: 187–222.
Park S: The KKM principle in abstract convex spaces: equivalent formulations and applications. Nonlinear Anal 2010, 73: 1028–1042. 10.1016/j.na.2010.04.029
Luc DT, Sarabi E, Soubeyran A: Existence of solutions in variational relation problems without convexity. J Math Anal Appl 2010, 364: 544–555. 10.1016/j.jmaa.2009.10.040
Park S: Elements of the KKM theory on abstract convex spaces. J Korean Math Soc 2008, 45: 1–27.
Park S: A genesis of general KKM theorems for abstract convex spaces. J Nonlinear Anal Optim 2011,2(1):121–132.
Rockafellar RT: Convex Analysis. Princeton University Press, Princeton, NJ; 1970.
Park S: Remarks on certain coercivity in general KKM theorems. Nonlinear Anal Forum 2011, 16: 1–10.
Song W: Generalized vector variational inequalities. In Vector Variational Inequalities and Vector Equilibria. Edited by: Giannessi F. Kluwer Academic Publisher; 2000:381–401.
Park S: Remarks on some basic concepts in the KKM theory. Nonlinear Anal 2011, 74: 2439–2447. 10.1016/j.na.2010.10.035
Song W: Vector equilibrium problems with setvalued mappings. In Vector Variational Inequalities and Vector Equilibria. Edited by: Giannessi F. Kluwer Academic Publisher; 2000:403–421.
Song W: On generalized vector equilibrium problems. J Comp Appl Math 2002, 146: 167–177. 10.1016/S03770427(02)004260
Mitrović ZD: Remarks on best approximations in generalized convex spaces. J Appl Anal 2006, 12: 181–188. 10.1515/JAA.2006.181
Mitrović ZD: On scalar equilibrium problem in generalized convex spaces. J Math Anal Appl 2007, 130: 451–461.
Park S: Foundations of the KKM theory via coincidences of composites of admissible u.s.c. maps. J Korean Math Soc 1994, 31: 493–519.
Lee GM, Kum S: Vector variational inequalities in a Hausdorff topological vector space. Nonlinear Anal Forum 1998, 3: 137–149.
Park S, Kum S: An application of Browdertype fixed point theorem to generalized variational inequalities. J Math Anal Appl 1998, 218: 519–526. 10.1006/jmaa.1997.5816
Lee GM, Kum S: On implicit vector variational inequalities. J Optim Theory Appl 2000, 104: 409–425. 10.1023/A:1004617914993
Ansari QH, Konnov IV, Yao JC: On generalized vector equilibrium problems. Nonlinear Anal 2001, 47: 543–554. 10.1016/S0362546X(01)001997
Kum S, Lee GM: Remarks on implicit vector variational inequalities. Taiwan J Math 2002, 6: 369–382.
Lin LJ, Cheng SF: Nashtype equilibrium theorems and competitive Nashtype equilibrium theorems. Comp Math Appl 2002, 44: 1360–1378.
Kum S, Kim WK: Generalized vector variational and quasivariational inequalities with operator solutions. J Glob Optim 2005, 32: 581–595. 10.1007/s1089800426956
Kum S: A variant of the generalized vector variational inequalities with operator solutions. Comm Korean Math Soc 2006, 21: 665–673.
Kum S, Kim WK: On generalized operator quasiequilibrium problems. J Math Anal Appl 2008, 345: 559–565. 10.1016/j.jmaa.2008.04.035
Hai NX, Khanh PQ, Quan NH: On the existence of solutions to quasivariational inclusion problems. J Glob Optim 2009, 45: 565–581. 10.1007/s108980089390y
Park S: Continuous selection theorems in generalized convex spaces. Numer Funct Anal Optim 1999, 20: 567–583. 10.1080/01630569908816911
Balaj M: Two minimax inequalities in Gconvex spaces. Appl Math Lett 2006, 19: 235–239. 10.1016/j.aml.2005.06.003
Ding XP, Park JY: Fixed points of generalized vector equilibrium problems in generalized convex spaces. Indian J Pure Appl Math 2003,34(6):973–990.
Balaj M, Lin LJ: Fixed points, coincidence points and maximal elements with applications to generalized equilibrium problems and minimax theory. Nonlinear Anal 2009, 70: 393–403. 10.1016/j.na.2007.12.005
Yu ZT, Lin LJ: Continuous selection and fixed point theorems. Nonlinear Anal 2003, 52:, 445–455.
Park S: On minimax inequalities on spaces having certain contractible subsets. Bull Aust Math Soc 1993, 47: 25–40. 10.1017/S0004972700012235
Lin LJ, Yu ZT, Ansari QH, Lai LP: Fixed point and maximal element theorems with applications to abstract economies and minimax inequalities. J Math Anal Appl 2003, 284: 656–671. 10.1016/S0022247X(03)003858
Guo W: Complementarity problems for multivalued monotone operator in Banach spaces. J Math Anal Appl 2004, 292: 344–350. 10.1016/j.jmaa.2003.11.051
Peng J, Yang X: On multivalued complementarity problems in Banach spaces. J Math Anal Appl 2005, 307: 245–254. 10.1016/j.jmaa.2004.10.051
Guo W, Cho YJ: A new maximal element theorem in H space with applications. Nonlinear Anal 2008, 68: 2194–2203. 10.1016/j.na.2007.01.040
Xiao G, Fan Z, Qi X: Existence results for generalized nonlinear vector variationallike inequalities with setvalued mapping. Appl Math Lett 2010, 23: 44–47. 10.1016/j.aml.2009.07.023
Yang MG, Xu JP, Huang NJ, Yu SJ: Minimax theorems for vectorvalued mappings in abstract convex spaces. Taiwan J Math 2010, 14: 719–732.
Kum SH: A generalization of generalized quasivariational inequalities. J Math Anal Appl 1994, 182: 158–164. 10.1006/jmaa.1994.1073
Park S: Applications of fixed point theorems for acyclic mapsa review. Vietnam J Math 2009, 37: 419–441.
Lee GM, Lee BS, Chang SS: On vector quasivariational inequalities. J Math Anal Appl 1996, 203: 626–638. 10.1006/jmaa.1996.0401
Lin LJ, Park S: On some generalized quasiequilibrium problems. J Math Anal Appl 1998, 224: 167–181. 10.1006/jmaa.1998.5964
Kim MH, Kum SH, Lee GM: Vector variational inequalities involving vector maximal points. J Optim Theory Appl 2002, 114: 593–607. 10.1023/A:1016075029509
Park S: Remarks on a fixed point problem of BenElMechaiekh. In Proceedings of the Nonlinear Analysis and Convex Analysis (NACA'98). World Scientific Press, Singapore; 1999:79–86.
He RH, Zhang Y: Some maximal elements theorems in FCspaces. J Inequal Appl 2009. (Article ID 905605), 12. doi:10.1155/2009/905605
Chen YA, Zhang YP: A class of FanBrowder type fixedpoint theorem and its applications in topological space. Abst Appl Anal 2010. (Article ID 314616), 9. doi:10.1155/2010/314616
Park S: Fixed point theorems in the new era of the KKM theory. In Proceedings of the Fixed Point Theory and Its Applications (ICFPTA2009). Yokohama Publisher; 2010:145–159.
Park S: New generalizations of basic theorems in the KKM theory. Nonlinear Anal 2011, 74: 3000–3010. 10.1016/j.na.2011.01.020
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Park, S. Applications of some basic theorems in the KKM theory. Fixed Point Theory Appl 2011, 98 (2011). https://doi.org/10.1186/16871812201198
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871812201198
Keywords
 intersectionally closed
 unionly open
 abstract convex space
 KKMtype theorem
 fixed point
 maximal element