- Research
- Open Access

# KKM lemmas and minimax inequality theorems in abstract convexity spaces

- Shuwen Xiang
^{1}Email author, - Shunyou Xia
^{1}and - Jing Chen
^{2}

**2013**:209

https://doi.org/10.1186/1687-1812-2013-209

© Xiang et al.; licensee Springer 2013

**Received:**24 October 2012**Accepted:**22 July 2013**Published:**7 August 2013

## Abstract

The purpose of this paper is to give some further results in a type of generalized convexity spaces. First, we prove that an abstract convex space has KKM property if and only if it has a strong Fan-Browder property. Then we introduce an abstract convex structure via an upper semi-continuous multi-valued mapping and establish some generalized versions of KKM lemma. By employing our general KKM lemmas, we derive some generalizations of minimax inequalities, which contain several existing ones as special cases.

## Keywords

- abstract convexity space
- KKM lemma
- KKM property
- Fan-Browder property
- minimax inequality

## 1 Introduction

Many problems in nonlinear analysis can be solved by nonempty intersection of a certain family of subsets of an underlying set. One of the remarkable results on such nonempty intersection is the celebrated Knaster-Kuratowski-Mazurkiewicz theorem (simply, KKM lemma) in 1929 [1], which is concerned with certain types of multi-valued mappings later called the KKM maps. Ky Fan [2] extends this method to Fan-KKM lemma and Fan’s minimax inequality, which have played very important roles in the study of modern nonlinear analysis. At the beginning, KKM theory named by Park [3] was mainly concerned with original convex subsets of topological vector spaces. Later, it has been extended to convex spaces by Lassonde [4], and to spaces having certain families of contractible subsets (simply, C-spaces or H-spaces) by Horvath [5–7]. Moreover, a great deal of effort has gone into KKM theory and its applications such as generalized convexity (simply,G-spaces) and others (see, Park [8–11]).

In KKM theory, the convexity of space plays a very important role. There are many works, dealing with various kinds of generalized, topological, or axiomatically-defined convexities (see, [4–19]). Most of them are to establish various KKM lemmas, fixed point theorems and selection theorems in topological spaces without linear structure. The question is whether the various convexity structures should have some common characteristic. Regarding these questions, the authors of [20] prove that in a sense, ${H}_{0}$-condition is necessary for a convexity structure to ensure the existence of fixed points or continuous selections of mappings.

The purpose of this paper is to give some further results in generalized convexity spaces. We prove that an abstract convex space has a KKM property if and only if it has a strong Fan-Browder property. Then we introduce an abstract convexity structure via an upper semi-continuous multi-valued mapping and establish some generalized versions of KKM lemma. By employing our general KKM lemmas, we derive some generalizations of minimax inequalities, in which the functions *φ* are defined on the sets of two different linear topological spaces or have a weaker convexity condition.

## 2 Preliminaries

Throughout the work, we assume that *Y* is nonempty. Let ${2}^{Y}$ denote the class of all subsets of *Y*, and let $\u3008Y\u3009$ denote the class of all nonempty finite subsets of *Y*.

As the basic framework of this paper, let us start with an abstract convexity structure, of which many generalized convexity structures are some special cases (see, [18, 21]).

**Definition 2.1**A pair $(Y,\mathcal{C})$, where is a family of subsets of

*Y*, called a convex structure if

- (1)
∅ and

*Y*belong to ; - (2)
is closed for arbitrary intersection: ${\bigcap}_{A\in \mathcal{D}}A\in \mathcal{C}$ for each family of subsets $\mathcal{D}\subset \mathcal{C}$.

*C*of

*Y*is said to be a convex subset if $C\in \mathcal{C}$. It is clear that

*C*is convex if and only if ${co}_{\mathcal{C}}(C)=C$, and it is easy to check that this convexity structure includes various abstract convexity structures mentioned above (see, [20]). For example, in Horvath’s H-spaces, the class of a ‘convex’ set

where $\{{\mathrm{\Gamma}}_{A}\}$ is a family of contractible subsets of *Y* indexed by all finite subsets of *Y* such that ${\mathrm{\Gamma}}_{A}\subset {\mathrm{\Gamma}}_{B}$, whenever $A\subset B$ (see, [5–7]).

Let $(Y,\mathcal{C})$ be an abstract convexity space, let *X* be a subset of *Y*, and let $F:X\mapsto {2}^{Y}$ be a multi-valued mapping. *F* is said to be convex-valued if for each $x\in X$, $F(x)$ is convex (*i.e.*, for each $x\in X$ and any finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset F(x)$, ${co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset F(x)$). Let *Y* be a topological space. *F* is said to be nonempty-valued (respectively, compact-valued) if for each $x\in X$, $F(x)$ is nonempty (respectively, compact).

**Definition 2.2** Let $(Y,\mathcal{C})$ be an abstract convexity space, let *X* be a subset of *Y*, and let $F:X\mapsto {2}^{X}$ be a multi-valued mapping. *F* is said to be weakly convex-valued if for each $x\in X$ and any finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset F(x)$, ${co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset F(x)$, whenever $x\in {co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$.

**Remark 2.3** It is clear that *F* is convex-valued, then *F* is weakly convex-valued.

*X*be a subset of

*Y*.

- (i)$F:X\mapsto {2}^{Y}$ is said to be a KKM mapping if for each $A\in \u3008X\u3009$,
*F*satisfies${co}_{\mathcal{C}}(A)\subset \bigcup _{x\in A}F(x).$ - (ii)
$F:X\mapsto {2}^{X}$ is said to be a Fan-Browder mapping if

*F*is convex-valued and has relatively open preimages in*X*(*i.e.*, $F(x)$ is convex for each $x\in X$ and ${F}^{-1}(y)$ is open in*X*for each $y\in X$). - (iii)
$F:X\mapsto {2}^{X}$ is said to be a weak Fan-Browder mapping if

*F*is weakly convex- valued and has relatively open preimages in*X*.

Let $(Y,\mathcal{C})$ be an abstract convexity space, and let *X* be a subset of *Y*. *X* is said to be of KKM property (briefly KKMP) if every KKM mapping $F:X\mapsto {2}^{Y}$ with close values has a finite intersection property (*i.e.*, ${\bigcap}_{x\in A}F(x)\ne \mathrm{\varnothing}$ for each $A\in \u3008X\u3009$). *X* is said to be of Fan-Browder fixed point property (briefly FBFP) if every Fan-Browder mapping $F:X\mapsto {2}^{X}$ with nonempty values has a fixed point. *X* is said to be of a strong Fan-Browder fixed point property (briefly SFBFP) if every weak Fan-Browder mapping $F:X\mapsto {2}^{X}$ with nonempty values has a fixed point.

The following is just an inverse negative proposition of SFBFP.

**Proposition 2.4** *Let* $(Y,\mathcal{C})$ *be an abstract convexity space*, *and let* *X* *be a subset of* *Y*. *Then* *X* *has SFBFP if and only if*, *for every weak Fan*-*Browder mapping* $F:X\mapsto {2}^{X}$, *there exists some* $\stackrel{\u02c6}{x}\in X$ *such that* $F(\stackrel{\u02c6}{x})=\mathrm{\varnothing}$, *whenever* *F* *has no fixed point*.

## 3 KKM property and Fan-Browder fixed point property

In this section, we give an equivalent relation between KKMP and SFBFP.

**Theorem 3.1** *Let* $(Y,\mathcal{C})$ *be an abstract convexity space*, *and let* *X* *be a compact subset of* $(Y,\mathcal{C})$. *Then* *X* *has KKMP if and only if it has SFBFP*.

*Proof*For any mapping $F:X\mapsto {2}^{Y}$, denote $T:X\mapsto {2}^{X}$ by

- (i)
$\{x:T(x)=\mathrm{\varnothing}\}={\bigcap}_{x\in X}F(x)$ and $\{x:F(x)=\mathrm{\varnothing}\}={\bigcap}_{x\in X}T(x)$.

- (ii)
If $F:X\mapsto {2}^{Y}$ is a KKM mapping with closed values, then $T:X\mapsto {2}^{X}$ is a weak Fan-Browder mapping with no fixed point.

- (iii)
If $F:X\mapsto {2}^{X}$ is a weak Fan-Browder mapping with no fixed point, then $T:X\mapsto {2}^{X}$ is a KKM mapping with closed values.

- (1)
It is easy to check that (i) holds.

- (2)Let $F:X\mapsto {2}^{Y}$ be a KKM mapping with closed values. If $x\in X$, then${T}^{-1}(x)=\{y\in X:x\in T(y)\}=\{y\in X:x\in X\setminus {F}^{-1}(y)\}=X\setminus F(x)$

is an open subset in *X*. On the other hand, if *T* has a fixed point, suppose ${x}^{\ast}\in X$ and ${x}^{\ast}\in T({x}^{\ast})$. Then ${x}^{\ast}\in X\setminus {F}^{-1}({x}^{\ast})$, so ${x}^{\ast}\notin F({x}^{\ast})$, which contradicts that *F* is a KKM mapping. Hence *T* has no fixed point. It remains to show that *T* is weakly convex-valued. Fix $x\in X$, and let $\{{y}_{0},{y}_{1},\dots ,{y}_{m}\}\subset T(x)$ be an arbitrary finite subset. By Definition 2.2, it suffices to show that $x\notin {co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$. Indeed, since $\{{y}_{0},{y}_{1},\dots ,{y}_{m}\}\subset T(x)$, ${y}_{j}\in T(x)=X\setminus {F}^{-1}(x)$ for each $j=0,1,\dots ,m$, so $x\notin {\bigcup}_{j=0}^{m}F({y}_{j})$. Note that *F* is a KKM mapping. Then ${co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{m}\}\subset {\bigcup}_{j=0}^{m}F({y}_{j})$, which implies $x\notin {co}_{\mathcal{C}}\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$. Hence *T* is a weak Fan-Browder mapping, and (ii) is proved.

(3) Let $F:X\mapsto {2}^{X}$ be a weak Fan-Browder mapping with no fixed point. Since *F* has relatively open preimages, $T(x)=X\setminus {F}^{-1}(x)$ is closed for each $x\in X$. Let $\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset X$ be an arbitrary finite subset. It remains to show that ${co}_{\mathcal{C}}\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset {\bigcup}_{i=0}^{n}T({x}_{i})$. If not, there exists some ${x}^{\ast}\in {co}_{\mathcal{C}}\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}$ such that ${x}^{\ast}\notin {\bigcup}_{i=0}^{n}T({x}_{i})$. It follows that ${x}^{\ast}\in {\bigcap}_{i=0}^{n}{F}^{-1}({x}_{i})$, which implies that ${x}_{i}\in F({x}^{\ast})$ for each $i=0,1,\dots ,n$, that is, $\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset F({x}^{\ast})$. Note that *F* is weakly convex-valued and ${x}^{\ast}\in {co}_{\mathcal{C}}\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}$. Then ${x}^{\ast}\in {co}_{\mathcal{C}}\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset F({x}^{\ast})$, which contradicts that *F* has no fixed point. Hence *T* is a KKM mapping with closed values, and (iii) is proved.

Next we prove that KKMP is equivalent to SFBFP.

KKMP ⇒ SFBFP: Let $F:X\mapsto {2}^{X}$ be a weak Fan-Browder mapping with no fixed point. By Proposition 2.4, what follows to show is that there exists some $\stackrel{\u02c6}{x}\in X$ such that $F(\stackrel{\u02c6}{x})=\mathrm{\varnothing}$. By (ii), *T* is a KKM mapping with closed values. Then $\{T(x):x\in X\}$ has a finite intersection property and hence ${\bigcap}_{x\in X}T(x)\ne \mathrm{\varnothing}$ by the compactness of *X*. Thus there exists some $\stackrel{\u02c6}{x}\in X$ such that $\stackrel{\u02c6}{x}\in {\bigcap}_{x\in X}T(x)=\{x:F(x)=\mathrm{\varnothing}\}\ne \mathrm{\varnothing}$. This implies that $F(\stackrel{\u02c6}{x})=\mathrm{\varnothing}$.

SFBFP ⇒ KKMP: Let $F:X\mapsto {2}^{Y}$ be a KKM mapping with closed values. By (ii), *T* is a weak Fan-Browder mapping with no fixed point. Since *X* has SFBFP, there exists some $\stackrel{\u02c6}{x}\in X$ such that $T(\stackrel{\u02c6}{x})=\mathrm{\varnothing}$, and (i) implies $\stackrel{\u02c6}{x}\in \{x:T(x)=\mathrm{\varnothing}\}={\bigcap}_{x\in X}F(x)\ne \mathrm{\varnothing}$. In particular, *X* has a finite intersection property. □

**Corollary 3.2** *Let* $(Y,{co}_{\mathcal{C}})$ *be an abstract convexity space*, *and let* *X* *be a compact subset of* $(Y,{co}_{\mathcal{C}})$. *If* *X* *has KKMP*, *then it has FBFP*.

## 4 An abstract convexity structure

In this section, we introduce an abstract convexity structure via an upper semi-continuous multi-valued mapping and establish some generalized versions of KKM lemma based on this convexity structure.

Let $N=\{0,1,2,\dots ,n\}$, ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$ be the standard simplex of dimension *n*, where $\{{e}^{0},{e}^{1},\dots ,{e}^{n}\}$ is the canonical basis of ${R}^{n+1}$, and for $J\subset N$, let ${\mathrm{\Delta}}_{J}=co\{{e}^{j}:j\in J\}$ be a face of ${\mathrm{\Delta}}_{n}$.

**Definition 4.1** Let *Y* be a compact set of a topological space, let ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$ be the standard simplex, and let $q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$ be a multi-valued mapping. If for each continuous mapping $p:Y\mapsto {\mathrm{\Delta}}_{n}$ (called a simplex mapping), there exists some ${x}_{0}\in {\mathrm{\Delta}}_{n}$ such that ${x}_{0}\in p\cdot q({x}_{0})$, then we say that *q* has a fixed point property with respect to ${\mathrm{\Delta}}_{n}$ and simplex mappings.

**Lemma 4.2**

*Let*

*Y*

*be a metric space*,

*let*$\{{F}_{0},{F}_{1},\dots ,{F}_{n}\}$

*be a family of closed subsets of*

*Y*.

*If there exists an upper semi*-

*continuous mapping*$q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$

*such that*

*and* *q* *has a fixed point property with respect to* ${\mathrm{\Delta}}_{n}$ *and simplex mappings*. *Then* ${\bigcap}_{i=0}^{n}{F}_{i}\ne \mathrm{\varnothing}$.

*Proof*Suppose that ${\bigcap}_{i=0}^{n}{F}_{i}=\mathrm{\varnothing}$. Denote ${\beta}_{i}:Y\mapsto [0,1]$ by

Then for each $y\in Y$, ${\beta}_{i}(y)\ge 0$ and ${\sum}_{i=0}^{n}{\beta}_{i}(y)=1$.

and *q* has fixed point property with respect to ${\mathrm{\Delta}}_{n}$ and simplex mappings. Then $p\cdot q:{\mathrm{\Delta}}_{n}\mapsto {\mathrm{\Delta}}_{n}$ has a fixed point in ${\mathrm{\Delta}}_{n}$. Let $e\in {\mathrm{\Delta}}_{n}$, and let $e\in p\cdot q(e)$. Then there exists some ${y}^{\ast}\in q(e)$ such that $e=p({y}^{\ast})={\sum}_{i=0}^{n}{\beta}_{i}({y}^{\ast}){e}^{i}$.

Let $I({y}^{\ast})=\{i:{\beta}_{i}({y}^{\ast})>0,i=0,1,\dots ,n\}$. Given $i\in I({y}^{\ast})$, we have ${\beta}_{i}({y}^{\ast})>0$ and ${y}^{\ast}\notin {F}_{i}$, and hence ${y}^{\ast}\notin {\bigcup}_{i\in I({y}^{\ast})}{F}_{i}$.

which is a contradiction. □

We obtain the following approximation result, because the partition of unity $\{{\beta}_{i}\}$, subordinate to the finite covering $\{{F}_{i}^{c}:i=0,1,\dots ,n\}$ of *Y*, can be given by using the compactness of *X* instead of the hypothesis of metric space in the proof of Lemma 4.2.

**Lemma 4.3**

*Let*

*Y*

*be a compact space*,

*let*$\{{F}_{0},{F}_{1},\dots ,{F}_{n}\}$

*be a family of closed subsets of*

*Y*.

*If there exists an upper semi*-

*continuous mapping*$q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$

*such that*

*and* *q* *has a fixed point property with respect to* ${\mathrm{\Delta}}_{n}$ *and simplex mappings*. *Then* ${\bigcap}_{i=0}^{n}{F}_{i}\ne \mathrm{\varnothing}$.

**Definition 4.4**Let $(Y,\mathcal{C})$ be an abstract convexity space. If for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$ and the standard simplex ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$, there exists multi-valued mapping $q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$ such that

and *q* has a fixed point property with respect to ${\mathrm{\Delta}}_{n}$ and simplex mappings. Then $(Y,\mathcal{C})$ is said to be of ${H}^{q}$-property.

**Theorem 4.5** *Let* $(Y,\mathcal{C})$ *be an abstract convexity space*, $X\subset Y$ *be a subset of* *Y*, *and* $F:X\mapsto {2}^{Y}$ *be a KKM mapping with closed values*. *If* *Y* *is a compact topological space or a metric space*, *and* $(Y,\mathcal{C})$ *is of* ${H}^{q}$-*property*, *then* $\{F(y):y\in X\}$ *has a finite intersection property*.

*Proof*Given an finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset X$, we prove that ${\bigcap}_{i=0}^{n}F({y}_{i})\ne \mathrm{\varnothing}$. Since

*F*is a KKM mapping, we have

and *q* has a fixed point property with respect to ${\mathrm{\Delta}}_{n}$ and simplex mappings.

From Lemma 4.2 and 4.3, it follows that ${\bigcap}_{i=0}^{n}F({y}_{i})\ne \mathrm{\varnothing}$ by using $\{F({y}_{0}),F({y}_{i}),\dots ,F({y}_{n})\}$ instead of $\{{F}_{0},{F}_{1},\dots ,{F}_{n}\}$. □

The latter result follows from Theorem 3.1 and Theorem 4.5.

**Corollary 4.6** *Let* $(Y,\mathcal{C})$ *be an abstract convexity space*, *let* $X\subset Y$ *be a subset of* *Y*, *and let* $F:X\mapsto {2}^{Y}$ *be a KKM mapping with closed values*. *If* *Y* *is a compact topological space and* $(Y,\mathcal{C})$ *is of* ${H}^{q}$-*property*, *then* *X* *has a strong Fan*-*Browder fixed point property*.

To see this, we give the following example.

**Example 4.7** Let $(Y,\mathcal{C})$ be an abstract convexity space, let $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$ be a finite subset of $(Y,\mathcal{C})$, and let ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$ be the standard simplex.

To obtain some results in a specific abstract convexity space, we recall a fixed point theorem (see, [22, 23]).

**Lemma 4.8** *Let* *Y* *be a compact set of a topological space*, *and let* ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$ *be the standard simplex*. *If* $p:Y\mapsto {\mathrm{\Delta}}_{n}$ *is continuous*, *and* $q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$ *is an upper semi*-*continuous mapping with nonempty*, *closed and contractible values*, *then there exists some* $e\in {\mathrm{\Delta}}_{n}$ *such that* $e\in p\cdot q(e)$. *Therefore*, *q* *has a fixed point property with respect to* ${\mathrm{\Delta}}_{n}$ *and simplex mappings*.

As an immediate corollary of Lemma 4.2, 4.3 and 4.8, we state the following result.

**Corollary 4.9**

*Let*

*Y*

*be a compact topological space or a metric space*,

*let*$\{{F}_{0},{F}_{1},\dots ,{F}_{n}\}$

*be a family of closed subsets of*

*Y*.

*If there exists an upper semi*-

*continuous mapping*$q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$

*with nonempty*,

*closed and contractible values such that*

*Then* ${\bigcap}_{i=0}^{n}{F}_{i}\ne \mathrm{\varnothing}$.

**Definition 4.10**Let $(Y,{co}_{\mathcal{C}})$ be an abstract convexity space. If for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$ and the standard simplex ${\mathrm{\Delta}}_{n}={e}^{0}{e}^{1}\cdots {e}^{n}$, there exists an upper semi-continuous mapping $q:{\mathrm{\Delta}}_{n}\mapsto {2}^{Y}$ with nonempty, closed and contractible values such that

Then $(Y,{co}_{\mathcal{C}})$ is said to be of ${H}_{0}^{q}$-property.

**Remark 4.11**

- (1)
If $(Y,{co}_{\mathcal{C}})$ is of ${H}_{0}^{q}$-property, then $(Y,{co}_{\mathcal{C}})$ is of ${H}^{q}$-property.

- (2)
Let $(Y,\mathcal{C})$ be an abstract convexity space. If is of ${H}_{0}$-property, then it also is of ${H}_{0}^{q}$-property.

*H*-space and*G*-convexity space have ${H}_{0}^{q}$-property because both of them satisfy ${H}_{0}$-condition.

Theorem 4.5 embraces the following special case.

**Theorem 4.12** *Let* $(Y,{co}_{\mathcal{C}})$ *be an abstract convexity space*, *let* *X* *be a subset of* *Y*, *and let* $F:X\mapsto {2}^{Y}$ *be a KKM mapping with closed values*. *If* *Y* *is a compact topological space and* $(Y,{co}_{\mathcal{C}})$ *is of* ${H}_{0}^{q}$-*property*, *then* $\{F(x):x\in X\}$ *has a finite intersection property*, *and so that* *X* *has a strong Fan*-*Browder fixed point property*.

## 5 Minimax inequalities

As applications, we give some minimax inequality theorems in this section. To prove the main results, we introduce the following lemma.

**Lemma 5.1**

*Let*

*X*

*be a subset of linear topological space*,

*let*

*Y*

*be a compact topological space*,

*and let*$s:X\mapsto {2}^{Y}$

*be an upper semi*-

*continuous mapping with nonempty*,

*closed and contractible values*.

*Let*$F:X\mapsto {2}^{Y}$

*be a closed valued mapping such that for each finite subset*$\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset X$,

*Then* ${\bigcap}_{x\in X}F(x)\ne \mathrm{\varnothing}$.

*Proof*Given a finite subset $\{{x}_{0},{x}_{1},\dots ,{x}_{n}\}\subset X$, $p:{\mathrm{\Delta}}_{n}\mapsto X$ is defined as

By Corollary 4.9, ${\bigcap}_{i=0}^{n}F({x}_{i})\ne \mathrm{\varnothing}$. Since *Y* is compact, ${\bigcap}_{x\in X}F(x)\ne \mathrm{\varnothing}$. □

We now derive some general versions of minimax inequalities from Lemma 5.1.

**Theorem 5.2**

*Let*

*X*,

*Y*

*be compact subsets of linear topological spaces*. $\phi :X\times Y\mapsto R$

*satisfies the following conditions*:

- (1)
*For any fixed*$y\in Y$, $\phi (x,y)$*is lower semi*-*continuous with respect to**x*; - (2)
$s:X\mapsto {2}^{Y}$

*is an upper semi*-*continuous mapping with nonempty*,*closed and contractible values and for any finite subset*$\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$*and*$x\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$, $\phi (x,{y}_{i})\le 0$*for some*$i=0,1,\dots ,n$.

*Then there exists*${x}^{\ast}\in X$,

*such that*

*Proof*The multi-valued mapping $F:Y\mapsto {2}^{X}$ is defined as

Condition (1) implies that *F* is closed-valued.

*F*satisfies

In fact, for each $x\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$, it follows from (2) that $\phi (x,{y}_{i})\le 0$ for some $i=0,1,\dots ,n$, *i.e.*, $x\in F({y}_{i})$ for some $i=0,1,\dots ,n$. Thus $x\in {\bigcup}_{i=0}^{n}F({y}_{i})$ and $s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})\subset {\bigcup}_{i=0}^{n}F({y}_{i})$.

□

**Definition 5.3**Let

*Y*be a subset of some linear topological space. A function $\phi :Y\mapsto R$ is said to be quasiconcave if, for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$,

*φ*satisfies

*φ*is said to be

*s*-quasiconcave if there exists an upper semi-continuous mapping $s:Y\mapsto {2}^{X}$ and for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$,

*φ*satisfies

Below, we present two forms of minimax inequalities.

**Theorem 5.4**

*Let*

*X*,

*Y*

*be compact subsets of linear topological spaces*.

*If*$\phi :X\times Y\mapsto R$

*satisfies the following conditions*:

- (1)
*For any fixed*$y\in X$, $\phi (x,y)$*is lower semi*-*continuous respect to**x*; - (2)
$s:Y\mapsto {2}^{X}$

*is an upper semi*-*continuous mapping with nonempty*,*closed and contractible values*,*and for any fixed*$x\in s(Y)$, $\phi (x,y)$*is quasiconcave with respect to**y*; - (3)
*For any*$y\in Y$*and*$x\in s(y)$, $\phi (x,y)\le 0$.

*Then there exists*${x}^{\ast}\in X$,

*such that*

*Proof* By Theorem 5.2, it remains to prove that for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$ and $x\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$, $\phi (x,{y}_{i})\le 0$ for each $i=0,1,\dots ,n$.

If not, there exists some $\overline{x}\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$ such that $\phi (\overline{x},{y}_{i})>0$ for each $i=0,1,\dots ,n$. From condition (2), it follows that $\phi (\overline{x},y)>0$ for all $y\in co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$. Note that $\overline{x}\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$. Then there exists some $\overline{y}\in co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$ such that $\overline{x}\in s(\overline{y})$. It is immediate that $\phi (\overline{x},\overline{y})>0$, which is a contradiction with condition (3). The proof is complete. □

Theorem 5.4 generalizes the Ky Fan minimax inequality theorem to the case that *φ* is defined on the sets of two different linear topological spaces. We next present a minimax inequality theorem that *φ* is defined on the same set.

**Theorem 5.5**

*Let*

*X*

*be a compact subset of some linear topological space*. $\phi :X\times X\mapsto R$

*satisfies the following conditions*:

- (1)
*For any fixed*$y\in X$, $\phi (x,y)$*is lower semi*-*continuous with respect to**x*; - (2)
$s:X\mapsto {2}^{X}$

*is an upper semi*-*continuous mapping with nonempty*,*closed and contractible values and for any fixed*$x\in s(X)$, $\phi (x,y)$*is**s*-*quasiconcave with respect to**y*; - (3)
$\phi (x,x)\le 0$, $\mathrm{\forall}x\in X$.

*Then there exists* ${x}^{\ast}\in X$ *such that* $\phi ({x}^{\ast},y)\le 0$ *for all* $y\in Y$.

*Proof* By Theorem 5.2, it remains to prove that for each finite subset $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$ and $x\in s(co\{{x}_{0},{x}_{1},\dots ,{x}_{n}\})$, $\phi (x,{y}_{i})\le 0$ for each $i=0,1,\dots ,n$.

If not, there exists some $\overline{y}\in co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}$ and $\overline{x}\in s(\overline{y})$ such that $\phi (\overline{x},{y}_{i})>0$ for each $i=0,1,\dots ,n$. Since $\phi (\overline{x},y)$ is *s*-quasiconcave with respect to *y*, it follows that $\phi (\overline{x},y)\ge min\{\phi (\overline{x},{y}_{0}),\phi (\overline{x},{y}_{1}),\dots ,\phi (\overline{x},{y}_{n})\}>0$ for all $y\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$. Note that $\overline{x}\in s(\overline{y})\subset s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$. It is immediate that $\phi (\overline{x},\overline{x})>0$ which contradicts condition (3). By Theorem 5.2, the proof is complete. □

Further, we prove that condition (2) is necessary for the conclusion of Theorem 5.5 under a certain condition.

**Theorem 5.6**

*Let*

*X*

*be a compact subset of linear topological space*. $\phi :X\times X\mapsto R$

*satisfies the following conditions*:

- (1)
*For any fixed*$y\in X$, $\phi (x,y)$*is lower semi*-*continuous with respect to**x*; - (2)
$\phi (x,x)=0$, $\mathrm{\forall}x\in X$.

*Then there exists* ${x}^{\ast}\in X$ *such that* $\phi ({x}^{\ast},y)\le 0$ *for all* $y\in Y$ *if and only if there exists an upper semi*-*continuous mapping* $s:X\mapsto {2}^{X}$ *with nonempty*, *closed and contractible values and for any fixed* $x\in s(X)$, $\phi (x,y)$ *is* *s*-*quasiconcave with respect to* *y*.

*Proof*It only needs to prove the necessity. If there exists ${x}^{\ast}\in X$ such that

It is clear that *s* is an upper semi-continuous mapping with nonempty, closed and contractible values.

On the other hand, for any fixed $x\in s(X)$, we have $y={x}^{\ast}$. Let $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$. Note that $s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})=\{{x}^{\ast}\}$ and $\phi ({x}^{\ast},y)\le 0$ for all $y\in X$. We have $\phi ({x}^{\ast},y)=\phi ({x}^{\ast},{x}^{\ast})=0\ge min\{\phi ({x}^{\ast},{y}_{0}),\phi ({x}^{\ast},{y}_{1}),\dots ,\phi ({x}^{\ast},{y}_{n})\}$ for all $y\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$, so that $\phi (x,y)$ is *s*-quasiconcave with respect to *y*. The proof is complete. □

We can weaken the convexity condition of the function *φ* by choosing a proper $s:X\mapsto {2}^{X}$. To see this, we observe the following example.

**Example 5.7**Let $X=[0,1]\subset R$, $\phi :X\times X\mapsto R$ be a function defined by

Now we check that *φ* satisfies all conditions of Theorem 5.5.

It is easy to check that *φ* satisfies (1) and (3) of Theorem 5.5. It remains to show that (2) holds. For each $x\in s(X)$, it follows from the definition of *s* that $x=0$. Let $\{{y}_{0},{y}_{1},\dots ,{y}_{n}\}\subset Y$, and let $y\in s(co\{{y}_{0},{y}_{1},\dots ,{y}_{n}\})$; we have $\phi (0,y)=\phi (0,0)=0\ge \phi (0,{y}_{i})$, so that $\phi (0,y)\ge min\{\phi (0,{y}_{0}),\phi (0,{y}_{1}),\dots ,\phi (0,{y}_{n})\}$. Hence $\phi (x,y)$ is *s*-quasiconcave with respect to *y*.

On the other hand, we observe that $\phi (1,y)$ is neither quasiconcave nor quasiconvex with respect to *y*.

Since we can apply minimax inequalities to prove the existence of Nash equilibrium points in non-cooperative games, Theorems 5.2, 5.4 and 5.5 enable us to discuss the existence of Nash equilibrium under some weaker convexity conditions.

## Declarations

### Acknowledgements

This work is supported by NSFC (Grant 70661001, 11161008) and the Doctoral Program Fund of Ministry of Education of P.R. China (20115201110002).

## Authors’ Affiliations

## References

- Kanster B, Kuratowski C, Mazurkiewicz S: Ein Beweis des Fixpunktsatzes fur
*n*-dimensionale Simplexe.*Fundam. Math.*1929, 14: 132–137.Google Scholar - Fan K: A generalization of Tychonoff’s fixed-point theorem.
*Math. Ann.*1961, 142: 305–310. 10.1007/BF01353421MathSciNetView ArticleGoogle Scholar - 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, River Edge; 1992:248–277.Google Scholar - Lassonde M: Fixed points for Kakutani factorizable multifunctions.
*J. Math. Anal. Appl.*1990, 152: 46–60. 10.1016/0022-247X(90)90092-TMathSciNetView ArticleGoogle Scholar - Horvath CD: Some results on multi-valued mappings and inequalities without convexity. Lecture Notes in Pure and Applied Math. In
*Nonlinear and Convex Analysis*. Edited by: Lin BL, Simons S. Dekker, New York; 1987:99–106.Google Scholar - Horvath CD: Contractibility and generalized convexity.
*J. Math. Anal. Appl.*1991, 156: 341–357. 10.1016/0022-247X(91)90402-LMathSciNetView ArticleGoogle Scholar - Horvath CD: Extension and selection theorems in topological spaces with a generalized convexity structure.
*Ann. Fac. Sci. Toulouse*1993, 2: 253–269. 10.5802/afst.766View ArticleGoogle Scholar - Park S: A unified fixed point theory in generalized convex spaces.
*Acta Math. Sin. Engl. Ser.*2007, 23: 1509–1526. 10.1007/s10114-007-0947-3MathSciNetView ArticleGoogle Scholar - Park S, Kim H: Admissible classes of multifunctions on generalized convexity spaces.
*Proc. Nat. Sci. SNU*1993, 18: 1–21.Google Scholar - Park S, Kim H: Coincidence theorems for admissible multifunctions on generalized convexity spaces.
*J. Math. Anal. Appl.*1996, 197: 173–187. 10.1006/jmaa.1996.0014MathSciNetView ArticleGoogle Scholar - Park S, Kim H: Foundations of the KKM theory on generalized convex spaces.
*J. Math. Anal. Appl.*1997, 209: 551–571. 10.1006/jmaa.1997.5388MathSciNetView ArticleGoogle Scholar - Bardaro C, Ceppitelli R: Some further generalizations of Knaster-Kuratowski-Mazurkiewicz theorem and minimax inequalities.
*J. Math. Anal. Appl.*1988, 132: 484–490. 10.1016/0022-247X(88)90076-5MathSciNetView ArticleGoogle Scholar - Bardaro C, Ceppitelli R: Applications of the generalized Knaster-Kuratowski-Mazurkiewicz theorem to variational inequalities.
*J. Math. Anal. Appl.*1989, 137: 46–58. 10.1016/0022-247X(89)90272-2MathSciNetView ArticleGoogle Scholar - Briec W, Horvath CD: B-convexity.
*Optimization*2004, 53(2):103–127. 10.1080/02331930410001695283MathSciNetView ArticleGoogle Scholar - Ding XP: Maximal element theorems in product FC-spaces and generalized games.
*J. Math. Anal. Appl.*2005, 305: 29–42. 10.1016/j.jmaa.2004.10.060MathSciNetView ArticleGoogle Scholar - Ding XP: Generalized KKM type theorems in FC-spaces with applications, I.
*J. Glob. Optim.*2006, 36: 581–596. 10.1007/s10898-006-9028-xView ArticleGoogle Scholar - Horvath CD, Llinares Ciscar JV: Minimal elements and fixed point for binary relations on topological ordered spaces.
*J. Math. Econ.*1996, 25: 291–306. 10.1016/0304-4068(95)00732-6MathSciNetView ArticleGoogle Scholar - Kay DC, Womble EW: Axiomatic convexity theory and relationships between the Caratheodory, Helly, and Radon numbers.
*Pac. J. Math.*1971, 38(2):471–485. 10.2140/pjm.1971.38.471MathSciNetView ArticleGoogle Scholar - Michael E: Convex structures and continuous selections.
*Can. J. Math.*1959, 11: 556–575. 10.4153/CJM-1959-051-9MathSciNetView ArticleGoogle Scholar - Xiang SW, Xia SY: A further characteristic of abstract convexity structures on topological spaces.
*J. Math. Anal. Appl.*2007, 335(1):716–723. 10.1016/j.jmaa.2007.01.101MathSciNetView ArticleGoogle Scholar - van de Vel M North-Holland Mathematical Library 50. In
*Theory of Convex Structures*. North-Holland, Amsterdam; 1993.Google Scholar - Shioji N: A further generalization of the Knaster-Kuratowski-Mazurkiewicz theorem.
*Proc. Am. Math. Soc.*1991, 111: 187–195. 10.1090/S0002-9939-1991-1045601-XMathSciNetView ArticleGoogle Scholar - Yuan GXZ A Series of Monographs and Textbooks in Pure and Applied Math. In
*KKM Theory and Applications in Nonlinear Analysis*. Marcel Dekker, New York; 1999:42–43.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.