# Applications of some basic theorems in the KKM theory

- Sehie Park
^{1, 2}Email author

**2011**:98

https://doi.org/10.1186/1687-1812-2011-98

© Park; licensee Springer. 2011

**Received: **4 March 2011

**Accepted: **7 December 2011

**Published: **7 December 2011

## Abstract

In this review, we introduce a new KKM-type theorem for intersectionally closed-valued KKM map on abstract convex spaces and its direct consequences such as a Fan-Browder-type 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.

## Keywords

## 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 *H*-spaces, Park for *G*-convex 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 closed-valued* multimaps and applied them to several related problems.

In this review, we introduce the new KKM-type theorem for intersectionally closed-valued KKM maps and its simple consequences such as a Fan-Browder-type 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 Fan-Browder fixed point theorem, and maximal element theorems. In Section 4, we give some known particular KKM-type theorems and indicate some of their known applications. In Section 5, we give some known Fan-Browder-type 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*〉.

*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 closed-valued 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 open-valued 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 KKM-type 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.$

*Then*$K\cap {\bigcap}_{z\in D}\overline{G\left(z\right)}\ne \varnothing $.

for a multimap *G* : *D* ⊸ *E*.

- (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 closed-valued*[4]). - (c)
${\bigcap}_{z\in D}\overline{G\left(z\right)}={\bigcap}_{z\in D}G\left(z\right)$ (

*G*is*transfer closed-valued*). - (d)
*G*is closed-valued.

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 closed-valued, but not transfer closed-valued:

- (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 star-shaped at*x**; see [4].

*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 open-valued*[4]). - (c)
${\bigcup}_{z\in D}G\left(z\right)={\bigcup}_{z\in D}\mathsf{\text{Int}}G\left(z\right)$ (

*G*is*transfer open-valued*). - (d)
*G*is open-valued.

**Proposition 2.9**. [4]*The multimap G is intersectionally closed-valued (resp., transfer closed-valued) if and only if its complement G*^{
c
} *is unionly open-valued (resp., transfer open-valued)*.

In view of this proposition, there are proper examples of unionly open-valued maps.

## 3. A KKM theorem, a fixed point theorem, and maximal element theorems

From the partial KKM principle we have the following KKM-type theorem:

**Theorem 3.1**. *Under the hypothesis of Theorem 2.7, the following hold:*

(*α*) *If G is transfer closed-valued, then*$K\cap {\bigcap}_{z\in D}G\left(z\right)\ne \varnothing $.

(*β*) *If G is intersectionally closed-valued, 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 closed-valued, we have

*β*) Since

*G*is intersectionally closed-valued, we have

These imply the conclusion. □

From the KKM Theorem 3.1, we have a whole intersection property of the Fan-type 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*

*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 closed-valued, then*$K\cap {\bigcap}_{z\in D}G\left(z\right)\ne \varnothing $.

(*β*) *If G is intersectionally closed-valued, 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*

*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 open-valued, then there exists an*$\overline{x}\in K$*such that*$\overline{x}\in T\left(\overline{x}\right)$.

(*β*) *If S is unionly open-valued, then there exists an*$\overline{x}\in E$*such 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*

*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 open-valued, then there exists a maximal element*$\overline{x}\in K$, *that is*, $S\left(\overline{x}\right)=\varnothing $.

(*β*) *If S is unionly open-valued, 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*).

*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 open-valued, then S*^{-}*has a maximal element*$\overline{x}\in K$*, that is*, ${S}^{-}\left(\overline{x}\right)=\varnothing $.

(*β*) *If S is unionly open-valued, 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 $. □

*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 KKM-type theorems due to the author in order to give a short history on such theorems with related studies.

- (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 K$*such 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 Fan-type minimax inequality and variational inequalities.

- (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 closed-valued 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.$

*Then*$K\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.

*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

*G*-convex space version of the Fan KKM lemma or Theorem 2.7 is as follows:

**Proposition 4.3**. *Let* (*X*, *D*; Γ) *be a G-convex space and G* : *D* ⊸ *X a closed-valued 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 *G*-convex 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 *G*-convex 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].

- (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 vector-minimum 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 noncompact-valued multimaps. This IVVI contains various vector variational-like 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 problems--the 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 single-valued case into the multi-valued one. They proved the existence of solutions of such inequalities and generalized quasi-vector 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 quasi-equilibrium problem which includes operator equilibrium problems. - (X)
In 2009, Hai et al. [25] established sufficient existence conditions for general quasi-variational inclusion problems, which contain most of variational inclusion problems and quasi-equilibrium 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 *G*-convex spaces are typical example of abstract convex spaces. The following extension of the Fan-Browder fixed point theorem to *G*-convex 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 G-convex 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

*G*-convex spaces which extend and improve a large number of generalizations of the Ky Fan minimax inequality and of the von Neumann-Sion minimax principle.

The following consequence of Theorem 3.3 is known in our *G*-convex space theory:

**Proposition 5.3**.

*Let*(

*X*; Γ)

*be a G-convex 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 G-convex 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

*G*-convex 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

*G*-convex 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 H-space 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}).

- (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 set-valued mapping satisfying the following conditions:*

- (i)
*x*∉ co*S*(*x*)*and S*^{-}*is open-valued;* - (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 H-space 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 KKM-type theorem in [31], Guo and Cho [35] deduced a maximal element theorem as above and applied it to the Browder-Hartmann-Stampacchia 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 variational-like inequality problems, which includes generalized nonlinear VVI problems, generalized VVI problems, generalized vector variational-like 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*C*-quasi-concave maps and properly*C*-quasi-concave maps in abstract convex spaces in the sense of Park, where*C*is a pointed closed convex cone with nonempty interior. By using the Fan-Browder-type fixed point theorem and the maximal element theorem due to Park, they established some minimax theorems for vector-valued mappings in abstract convex spaces. They also give some examples to illustrate their results.

## 7. Comments on some related results

- (I)
In 1994, Kum [38] applied the 1992 fixed point theorem for acyclic maps [[1], Theorem 7] to a generalized quasi-variational inequality problem. In a noncompact setting, he presented some general acyclic-valued 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 quasi-variational inequality for multimaps with vector values.

- (III)
In 1998, Lin and Park [41] studied some equilibrium problems, quasi-equilibrium problems, and generalized quasi-equilibrium theorems in

*G*-convex spaces. They are based on a selection theorem, a Fan-Browder fixed point theorem (particular to Theorem 3.3), and a KKM-type theorem (particular to Theorem 2.7) on*G*-convex 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 Ben-El-Mechaiekh (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 Neumann-type intersection theorems, the von Neumann-type minimax theorems, the Nash-type equilibrium theorems, cyclic coincidence theorems, best approximation theorems, (quasi-)variational inequalities, and the Gale-Nikaido-Debreu 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*FC*-spaces. For each*i*∈*I*, let*A*_{ i }:*X*⊸*Y*_{ i }be a set-valued 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*FC*-spaces. He and Zhang [44] claimed that their results improve and generalize some recent results.

*FC*-spaces.

- (VII)
In 2010, Chen and Zhang [45] proved a Fan-Browder-type 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.

*L*

_{ N }is a so-called

*FC*-space or, more generally, a

*G*-convex 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].

## Authors’ Affiliations

## 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.Google Scholar - Park S:
**Ninety years of the Brouwer fixed point theorem.***Vietnam J Math*1997,**27:**187–222.Google Scholar - 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.029MathSciNetView ArticleGoogle Scholar - 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.040MathSciNetView ArticleGoogle Scholar - Park S:
**Elements of the KKM theory on abstract convex spaces.***J Korean Math Soc*2008,**45:**1–27.MathSciNetView ArticleGoogle Scholar - Park S:
**A genesis of general KKM theorems for abstract convex spaces.***J Nonlinear Anal Optim*2011,**2**(1):121–132.Google Scholar - Rockafellar RT:
*Convex Analysis*. Princeton University Press, Princeton, NJ; 1970.View ArticleGoogle Scholar - Park S:
**Remarks on certain coercivity in general KKM theorems.***Nonlinear Anal Forum*2011,**16:**1–10.MathSciNetGoogle Scholar - Song W:
**Generalized vector variational inequalities.**In*Vector Variational Inequalities and Vector Equilibria*. Edited by: Giannessi F. Kluwer Academic Publisher; 2000:381–401.View ArticleGoogle Scholar - Park S:
**Remarks on some basic concepts in the KKM theory.***Nonlinear Anal*2011,**74:**2439–2447. 10.1016/j.na.2010.10.035MathSciNetView ArticleGoogle Scholar - Song W:
**Vector equilibrium problems with set-valued mappings.**In*Vector Variational Inequalities and Vector Equilibria*. Edited by: Giannessi F. Kluwer Academic Publisher; 2000:403–421.View ArticleGoogle Scholar - Song W:
**On generalized vector equilibrium problems.***J Comp Appl Math*2002,**146:**167–177. 10.1016/S0377-0427(02)00426-0View ArticleGoogle Scholar - Mitrović ZD:
**Remarks on best approximations in generalized convex spaces.***J Appl Anal*2006,**12:**181–188. 10.1515/JAA.2006.181MathSciNetGoogle Scholar - Mitrović ZD:
**On scalar equilibrium problem in generalized convex spaces.***J Math Anal Appl*2007,**130:**451–461.View ArticleGoogle Scholar - 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.MathSciNetGoogle Scholar - Lee GM, Kum S:
**Vector variational inequalities in a Hausdorff topological vector space.***Nonlinear Anal Forum*1998,**3:**137–149.MathSciNetGoogle Scholar - Park S, Kum S:
**An application of Browder-type fixed point theorem to generalized variational inequalities.***J Math Anal Appl*1998,**218:**519–526. 10.1006/jmaa.1997.5816MathSciNetView ArticleGoogle Scholar - Lee GM, Kum S:
**On implicit vector variational inequalities.***J Optim Theory Appl*2000,**104:**409–425. 10.1023/A:1004617914993MathSciNetView ArticleGoogle Scholar - Ansari QH, Konnov IV, Yao JC:
**On generalized vector equilibrium problems.***Nonlinear Anal*2001,**47:**543–554. 10.1016/S0362-546X(01)00199-7MathSciNetView ArticleGoogle Scholar - Kum S, Lee GM:
**Remarks on implicit vector variational inequalities.***Taiwan J Math*2002,**6:**369–382.MathSciNetGoogle Scholar - Lin L-J, Cheng SF:
**Nash-type equilibrium theorems and competitive Nash-type equilibrium theorems.***Comp Math Appl*2002,**44:**1360–1378.MathSciNetGoogle Scholar - Kum S, Kim WK:
**Generalized vector variational and quasi-variational inequalities with operator solutions.***J Glob Optim*2005,**32:**581–595. 10.1007/s10898-004-2695-6MathSciNetView ArticleGoogle Scholar - Kum S:
**A variant of the generalized vector variational inequalities with operator solutions.***Comm Korean Math Soc*2006,**21:**665–673.MathSciNetView ArticleGoogle Scholar - Kum S, Kim WK:
**On generalized operator quasi-equilibrium problems.***J Math Anal Appl*2008,**345:**559–565. 10.1016/j.jmaa.2008.04.035MathSciNetView ArticleGoogle Scholar - Hai NX, Khanh PQ, Quan NH:
**On the existence of solutions to quasi-variational inclusion problems.***J Glob Optim*2009,**45:**565–581. 10.1007/s10898-008-9390-yMathSciNetView ArticleGoogle Scholar - Park S:
**Continuous selection theorems in generalized convex spaces.***Numer Funct Anal Optim*1999,**20:**567–583. 10.1080/01630569908816911MathSciNetView ArticleGoogle Scholar - Balaj M:
**Two minimax inequalities in G-convex spaces.***Appl Math Lett*2006,**19:**235–239. 10.1016/j.aml.2005.06.003MathSciNetView ArticleGoogle Scholar - 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.MathSciNetGoogle Scholar - Balaj M, Lin L-J:
**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.005MathSciNetView ArticleGoogle Scholar - Yu Z-T, Lin L-J:
**Continuous selection and fixed point theorems.***Nonlinear Anal*2003,**52:**, 445–455.MathSciNetView ArticleGoogle Scholar - Park S:
**On minimax inequalities on spaces having certain contractible subsets.***Bull Aust Math Soc*1993,**47:**25–40. 10.1017/S0004972700012235View ArticleGoogle Scholar - Lin L-J, Yu Z-T, 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/S0022-247X(03)00385-8MathSciNetView ArticleGoogle Scholar - 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.051MathSciNetView ArticleGoogle Scholar - 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.051MathSciNetView ArticleGoogle Scholar - 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.040MathSciNetView ArticleGoogle Scholar - Xiao G, Fan Z, Qi X:
**Existence results for generalized nonlinear vector variational-like inequalities with set-valued mapping.***Appl Math Lett*2010,**23:**44–47. 10.1016/j.aml.2009.07.023MathSciNetView ArticleGoogle Scholar - Yang M-G, Xu J-P, Huang N-J, Yu S-J:
**Minimax theorems for vector-valued mappings in abstract convex spaces.***Taiwan J Math*2010,**14:**719–732.MathSciNetGoogle Scholar - Kum SH:
**A generalization of generalized quasi-variational inequalities.***J Math Anal Appl*1994,**182:**158–164. 10.1006/jmaa.1994.1073MathSciNetView ArticleGoogle Scholar - Park S:
**Applications of fixed point theorems for acyclic maps--a review.***Vietnam J Math*2009,**37:**419–441.MathSciNetGoogle Scholar - Lee GM, Lee BS, Chang S-S:
**On vector quasi-variational inequalities.***J Math Anal Appl*1996,**203:**626–638. 10.1006/jmaa.1996.0401MathSciNetView ArticleGoogle Scholar - Lin L-J, Park S:
**On some generalized quasi-equilibrium problems.***J Math Anal Appl*1998,**224:**167–181. 10.1006/jmaa.1998.5964MathSciNetView ArticleGoogle Scholar - Kim MH, Kum SH, Lee GM:
**Vector variational inequalities involving vector maximal points.***J Optim Theory Appl*2002,**114:**593–607. 10.1023/A:1016075029509MathSciNetView ArticleGoogle Scholar - Park S:
**Remarks on a fixed point problem of Ben-El-Mechaiekh.**In*Proceedings of the Nonlinear Analysis and Convex Analysis (NACA'98)*. World Scientific Press, Singapore; 1999:79–86.Google Scholar - He R-H, Zhang Y:
**Some maximal elements theorems in FC-spaces.***J Inequal Appl*2009. (Article ID 905605), 12. doi:10.1155/2009/905605Google Scholar - Chen Y-A, Zhang Y-P:
**A class of Fan-Browder type fixed-point theorem and its applications in topological space.***Abst Appl Anal*2010. (Article ID 314616), 9. doi:10.1155/2010/314616Google Scholar - Park S:
**Fixed point theorems in the new era of the KKM theory.**In*Proceedings of the Fixed Point Theory and Its Applications (ICFPTA-2009)*. Yokohama Publisher; 2010:145–159.Google Scholar - Park S:
**New generalizations of basic theorems in the KKM theory.***Nonlinear Anal*2011,**74:**3000–3010. 10.1016/j.na.2011.01.020MathSciNetView ArticleGoogle 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.