- Research
- Open Access

# Topological aspects of circular metric spaces and some observations on the KKM property towards quasi-equilibrium problems

- Parin Chaipunya
^{1}and - Poom Kumam
^{1}Email author

**2013**:343

https://doi.org/10.1186/1029-242X-2013-343

© Chaipunya and Kumam; licensee Springer 2013

**Received:**30 October 2012**Accepted:**8 July 2013**Published:**26 July 2013

## Abstract

The main purpose of this paper is to study some topological nature of circular metric spaces and deduce some fixed point theorems for maps satisfying the KKM property. We also investigate the solvability of a variant of a quasi-equilibrium problem as an application.

**MSC:**54E35, 54H25.

## Keywords

- circular metric space
- KKM property
- fixed point
- optimization

## 1 Introduction

The theory of modulars on linear spaces and the corresponding theory of modular linear spaces were founded by Nakano [1, 2]. The attempt to generalize the notion of a modular to avoid its restriction on a linear space or on a space with additional algebraic structure resulted in defining and developing a new modular which works on an arbitrary set. This new modular is called a metric modular and was introduced by Chistyakov in [3]. He also pointed out the connection between a modular metric space, a metric space and a modular space. He even studied one of its applications in superposition operator theory. Recently, the concept of a metric modular has been involved in the development of fixed point theory (see [4–7]).

Amongst the flourishing growth of fixed point theory, it is the KKM maps that attracts the interests of most mathematicians. In [8, 9], the notion of an admissible hull is used to overcome the invalidity of a convex hull, and the class of KKM maps, generalized KKM maps and the KKM property were explored within metrizable spaces.

The purposes of this paper are to introduce and study the circular metric space, which generalizes the modular metric space, together with some elementary properties. Then, under the scope of circular metric space, we present a number of fixed point theorems for maps satisfying the KKM property. Examples of the contents are also provided alongside. In the final part of the paper, we employ the solvability of a variant of a quasi-equilibrium problem as an application of our fixed point results.

## 2 Circular metric spaces

In this section, we adopt the concept of circular metric space, which extends the notion of modular metric space. Some properties of the space are also deduced, emphasizing on those related to the compactness.

**Definition 2.1** Let *X* be a nonempty set. A function $\delta :{\mathbb{R}}^{+}\times X\times X\to [0,\mathrm{\infty}]$ is said to be a *circular metric* if the following conditions are satisfied:

(C1) ${\delta}_{\lambda}(x,y)=0$ for all $\lambda >0$ if and only if $x=y$;

(C2) ${\delta}_{\lambda}(x,y)={\delta}_{\lambda}(y,x)$ for all $(\lambda ,x,y)\in {\mathbb{R}}^{+}\times X\times X$;

In this case, the pair $(X,\delta )$ is called a *circular metric space*.

**Remark 2.2** If the inequality in (C3) holds for all $\mu \in (0,\lambda )$, we say that $(X,\delta )$ is a modular metric space (see also [3]).

It is obvious that every modular metric space is in turn a circular metric space. It is natural to ask the converse, which is not true as we shall illustrate in the next example.

**Example 2.3**Let $X=\mathbb{R}$ and define a function $\gamma :{\mathbb{R}}^{+}\times X\times X\to [0,\mathrm{\infty}]$ by

which makes $(X,\gamma )$ fail to be a modular metric space.

Now, let us turn to some topological aspects of circular metric spaces.

**Definition 2.4**Let $(X,\delta )$ be a circular metric space. For ${x}_{0}\in X$ and $\gamma >0$, we define

*open ball*centered at ${x}_{0}$ of radius

*γ*. Analogously, we define

to be a *closed ball* centered at ${x}_{0}$ of radius *γ*.

Let ℬ be the family of all open balls in a circular metric space $(X,\delta )$. Then ℬ determines, as a base, a unique topology *τ* on *X*. In what follows, a circular metric space will always be equipped with this topology. One may observe that *τ* is ${T}_{2}$-separable. Note also that a closed ball in *X* is closed.

Next, we give some characterizations of a compact subset of a circular metric space, where the concept of convergence is embodied.

**Theorem 2.5** *A nonempty subset* *D* *of a circular metric space* $(X,\delta )$ *is sequentially compact if and only if every infinite subset of* *D* *has an accumulated point*.

*Proof* (⇒) Let *D* be an infinite subset of *X* which is sequentially compact, and let *A* be an infinite subset of *D*. We may construct a sequence $\{{a}_{n}\}$ of distinct points in *A*. Since $\{{a}_{n}\}$ is also in *D*, we can find a subsequence $\{{a}_{{n}_{k}}\}$ which converges to some $a\in D$. Clearly, *a* is an accumulated point of *A*.

(⇐) Let *D* be an infinite subset of *X* such that every infinite subset of *D* has an accumulated point *a*. Let $\{{a}_{n}\}$ be a sequence in *D*. Since $\{{a}_{n}\}$ is an infinite subset of *D*, there exists an accumulated point *a* of $\{{a}_{n}\}$. Clearly, there is a sequence $\{{b}_{n}\}$ which converges to *a*. In fact, $\{{b}_{n}\}$ is a subsequence of $\{{a}_{n}\}$. Since $\{{a}_{n}\}$ is arbitrarily defined, the conclusion consequently holds. □

**Theorem 2.6** *A nonempty subset* *D* *of a circular metric space* $(X,\delta )$ *is compact if and only if* *D* *is sequentially compact*.

*Proof*(⇒) Equivalently, we may show that every infinite subset of a compact subset

*D*of

*X*has an accumulated point. So, let

*A*be an infinite subset of

*D*. Assume that

*A*has no accumulated point. For each $x\in D$, we choose ${\epsilon}_{x}>0$ such that

Observe that these open balls form an infinite open cover for *D*. Since *D* is compact, there exists a finite subcover. Since each of these open balls contains at most one point of *A*, *A* is a finite set. This contradicts our hypothesis. Therefore, every infinite subset of *D* has an accumulated point. That is, *D* is sequentially compact.

*D*. For each $x\in D$, we define

We claim that ${inf}_{x\in D}{\gamma}_{x}>0$. Assume the contrary, so there exists a sequence $\{{x}_{n}\}$ in *D* such that ${lim}_{n\to \mathrm{\infty}}{\gamma}_{{x}_{n}}=0$. Since *D* is sequentially compact, $\{{x}_{n}\}$ has a convergent subsequence, namely $\{{x}_{{n}_{k}}\}$, which converges to some point $x\in D$. Observe that $x\in {U}_{\alpha}$ for some $\alpha \in \mathrm{\Lambda}$, so there exists $\gamma >0$ such that ${\mathcal{B}}_{\delta}(x,\gamma )\subset {U}_{\alpha}$. For every $k\in \mathbb{N}$ large enough, we have ${x}_{{n}_{k}}\in {\mathcal{B}}_{\delta}(x,\frac{\gamma}{2})$ so that ${\gamma}_{{x}_{{n}_{k}}}\ge \frac{\gamma}{2}>0$. This is a contradiction. So, we have proved our claim.

Assume that there are infinitely many points satisfying (2.1). This will result in the lack of existence of a convergent subsequence of $\{{z}_{n}\}$, which contradicts the sequential compactivity. So, the above process stops at some $N\in \mathbb{N}$. Clearly, ${\bigcup}_{k=1}^{N}{\mathcal{B}}_{\delta}({z}_{k},\frac{\epsilon}{2})\supset D$. Note that for each ${\mathcal{B}}_{\delta}({z}_{n},\frac{\epsilon}{2})$, there exists ${\alpha}_{n}\in \mathrm{\Lambda}$ such that ${\mathcal{B}}_{\delta}({z}_{n},\frac{\epsilon}{2})\subset {U}_{{\alpha}_{n}}$. Therefore, ${\bigcup}_{k=1}^{N}{U}_{{\alpha}_{k}}\supset D$. That is, the family $\{{U}_{{\alpha}_{n}}:n\in \mathbb{N}\text{with}n\le N\}$ is a finite subcover of ${\{{U}_{\alpha}\}}_{\alpha \in \mathrm{\Lambda}}$. In other words, *D* is compact. □

**Definition 2.7**A nonempty subset

*D*of a circular metric space $(X,\delta )$ is said to be

*bounded*if

Unlike in a metric space, a finite subset in a circular metric space needs not be bounded. We will provide an easy example of such a situation in the following.

**Example 2.8** Let $X=\mathbb{R}$ and ${\delta}_{\lambda}(x,y):=\frac{|x-y|}{\lambda}$ be a circular metric on *X*. Then any nonempty nonsingleton finite subset of *X* is not bounded.

**Remark 2.9** Example 2.8 further implies that in a circular metric space, a compact set needs not be bounded.

**Definition 2.10** Let *D* be a nonempty subset of a circular metric space $(X,\delta )$, and let $\epsilon >0$ be given. A nonempty subset ${N}_{\epsilon}$ of *X* is said to be an *ε*-*net for* *D* if for any $y\in D$ there exists $x\in {N}_{\epsilon}$ such that $y\in {\mathcal{B}}_{\delta}(x,\epsilon )$. If for any $\epsilon >0$ there is a bounded finite *ε*-net ${N}_{\epsilon}$ for *D*, then *D* is said to be *totally bounded*.

**Proposition 2.11** *In any circular metric space*, *a totally bounded set is bounded*.

*Proof*Let $(X,\delta )$ be a circular metric space and

*D*be a totally bounded subset of

*X*. The conclusion is obvious if $D=\mathrm{\varnothing}$. For the case $D\ne \mathrm{\varnothing}$, let $\epsilon >0$ and let ${N}_{\epsilon}$ be a bounded finite

*ε*-net for

*D*. So, for any $x,y\in D$, there exists ${z}_{x},{z}_{y}\in {N}_{\epsilon}$ such that $x\in {\mathcal{B}}_{\delta}({z}_{x},\epsilon )$ and $y\in {\mathcal{B}}_{\delta}({z}_{y},\epsilon )$. That is, ${sup}_{\lambda >0}{\delta}_{\lambda}({z}_{x},x)<\epsilon $ and ${sup}_{\lambda >0}{\delta}_{\lambda}({z}_{y},y)<\epsilon $. Now, observe that

Therefore, we can conclude that *D* is bounded. □

Note that the converse of this proposition is not generally true. In fact, the uniform boundedness is the necessary but not sufficient condition for the uniform total boundedness.

**Theorem 2.12** *Let* *D* *be a nonempty subset of a circular metric space* $(X,\delta )$. *If* *D* *is compact*, *then for each* $\epsilon >0$ *we can find an* *ε*-*net in* *X* *for* *D*.

*Proof* Let $\epsilon >0$ be arbitrary. Observe that the family $U:=\{{\mathcal{B}}_{\delta}(x,\epsilon ):x\in D\}$ is an open cover for *D*. Since *D* is compact, we can find a subcover $V:=\{{\mathcal{B}}_{\delta}({x}_{n},\epsilon )\}\subset U$. Therefore, *V* is a finite *ε*-net for *D*. □

**Corollary 2.13** *Let* *D* *be a nonempty subset of a circular metric space* $(X,\delta )$. *If* *D* *is relatively compact*, *i*.*e*., *the closure* $\overline{D}$ *is compact*, *then for each* $\epsilon >0$ *we can find a finite* *ε*-*net in* *X* *for* *D*.

*Proof* According to the proof of the previous theorem and since $D\subset \overline{D}\subset V$, we have our conclusion. □

The above two assertions lead us to the following consequences.

**Corollary 2.14** *A bounded compact subset in a circular metric space is totally bounded*.

**Corollary 2.15** *A bounded relatively compact subset in a circular metric space is totally bounded*.

## 3 The KKM property

We shall discuss now some fixed point theorems for maps that obey the KKM property. To begin with, we shall give some brief recollection of notions in multivalued analysis which will be used sooner or later in this paper.

**Definition 3.1**Suppose that

*D*is a bounded subset of a circular metric space $(X,\delta )$. We define

- (i)
$ad(D):=\bigcap \{\mathcal{B}\subset X:\mathcal{B}\text{is a closed ball in}X\text{such that}\mathcal{B}\supset D\}$;

- (ii)
$\mathcal{A}(X):=\{D\subset X:D=ad(D)\}$. If $D\in \mathcal{A}(X)$, we say that

*D*is*admissible*; - (iii)
*D*is said to be*subadmissible*if $A\in \u3008D\u3009\Rightarrow ad(A)\subset D$, where $\u3008D\u3009$ denotes the family of all nonempty finite subsets of*D*.

**Definition 3.2**Let

*X*and

*Y*be two spaces which are ${T}_{2}$-separable, and let $F:X\u22b8Y$ be a multivalued map with nonempty values.

*F*is said to be:

- (i)
*upper semicontinuous*if for each nonempty closed set $B\subset Y$, ${F}^{-}(B):=\{x\in X:F(x)\cap B\ne \mathrm{\varnothing}\}$ is closed in*X*; - (ii)
*lower semicontinuous*if for each nonempty open set $B\subset Y$, ${F}^{-}(B):=\{x\in X:F(x)\cap B\ne \mathrm{\varnothing}\}$ is open in*X*; - (iii)
*continuous*if it is both upper and lower semicontinuous; - (iv)
*closed*if its graph ${\mathrm{\Gamma}}_{F}:=\{(x,y)\in X\times Y:y\in F(x)\}$ is closed; - (v)
*firmly compact*if for each nonempty bounded set $A\subset X$, $F(A):={\bigcup}_{x\in A}F(x)$ is bounded and relatively compact.

**Remark 3.3** It is well known that if the multivalued map $F:X\u22b8Y$ is upper semicontinuous, then *F* is closed. The converse holds when the space *Y* is compact.

Now, let us introduce the class of maps satisfying the KKM property.

**Definition 3.4** Let *M* be a circular metric space and *X* be a subadmissible subset of *M*. A multivalued map $G:X\u22b8M$ is said to be a *KKM map* if for each $A\in \u3008X\u3009$ we have $ad(A)\subset G(A)$.

**Definition 3.5** Let *M* be a circular metric space, *X* be a subadmissible subset of *M* and *Y* be a topological space. Let $F,G:X\u22b8Y$ be two multivalued maps. If for each $A\in \u3008X\u3009$ we have $F(ad(A))\subset G(A)$, then *G* is said to be a *generalized KKM map with respect to* *F*.

**Definition 3.6** Let *M* be a circular metric space, *X* be a subadmissible subset of *M* and *Y* be a topological space. A multivalued map $F:X\u22b8Y$ is said to satisfy the *KKM property* if for any generalized KKM map $G:X\u22b8Y$ with respect to *F*, the family $\{\overline{G(x)}:x\in X\}$ has the finite intersection property.

**Definition 3.7** Let $(M,\delta )$ be a circular metric space and *X* be a nonempty subset of *M*. A multivalued map $F:X\u22b8M$ is said to have the approximate fixed point property if for any $\epsilon >0$, there exists ${x}_{\epsilon}\in X$ such that $F({x}_{\epsilon})\cap {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon},\epsilon )\ne \mathrm{\varnothing}$. In other words, there exists $y\in F({x}_{\epsilon})$ such that ${sup}_{\lambda >0}{\delta}_{\lambda}({x}_{\epsilon},y)<\epsilon $.

Now, we are ready to give a fixed point theorem for such a class.

**Theorem 3.8** *Let* $(M,\delta )$ *be a circular metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* $\overline{F(X)}$ *is totally bounded*, *then* *F* *has the approximate fixed point property*.

*Proof* Let $Y:=\overline{F(X)}$. By the uniform total boundedness of *Y*, for each $\epsilon >0$, there exists $A\in \u3008X\u3009$ such that $Y\subset {\bigcup}_{x\in A}{\mathcal{B}}_{\delta}(x,\epsilon )$. Now, define a multivalued map $G:X\u22b8X$ by $G(x)=Y\setminus {\mathcal{B}}_{\delta}(x,\epsilon )$ for all $x\in X$. So, $G(x)$ is closed for each $x\in X$ and ${\bigcap}_{x\in A}G(x)=\mathrm{\varnothing}$. Therefore, *G* is not a generalized KKM map with respect to *F*. This implies that there exists a finite subset $B=\{{x}_{0},{x}_{1},\dots ,{x}_{m}\}$ of *X* such that $F(ad(B))\not\subset G(B)={\bigcup}_{i=0}^{m}G({x}_{i})$. Thus, there exists ${x}_{\epsilon}\in F(ad(B))$ such that ${x}_{\epsilon}\notin {\bigcup}_{i=0}^{m}G({x}_{i})$. By the definition of *G*, it follows that ${x}_{\epsilon}\in {\bigcap}_{i=0}^{m}{\mathcal{B}}_{\delta}({x}_{i},\epsilon )$. Therefore, ${x}_{i}\in {\mathcal{B}}_{\delta}({x}_{\epsilon},\epsilon )$ for each ${x}_{i}\in B$. Hence, $B\subset {\mathcal{B}}_{\delta}({x}_{\epsilon},\epsilon )\subset {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon},\epsilon )$ so that $ad(B)\subset {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon},\epsilon )$. Suppose that ${x}_{\epsilon}\in F{({x}^{\prime})}_{\epsilon}$ for some ${x}_{\epsilon}^{\mathrm{\prime}}\in ad(B)$, then we have ${x}_{\epsilon}^{\mathrm{\prime}}\in {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon},\epsilon )$. This further implies that ${x}_{\epsilon}\in {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon}^{\mathrm{\prime}},\epsilon )$. Therefore, ${x}_{\epsilon}\in F{({x}^{\prime})}_{\epsilon}\cap {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon}^{\mathrm{\prime}},\epsilon )$. That is, $F{({x}^{\prime})}_{\epsilon}\cap {\overline{\mathcal{B}}}_{\delta}({x}_{\epsilon}^{\mathrm{\prime}},\epsilon )\ne \mathrm{\varnothing}$. □

**Theorem 3.9** *Let* $(M,\delta )$ *be a circular metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* *F* *is closed and firmly compact*, *then* *F* *has a fixed point*.

*Proof*By the firm compactness of

*F*, we can see that $\overline{F(X)}$ is bounded and compact. According to Theorem 3.8,

*F*has the approximate fixed point property. Therefore, for each $n\in \mathbb{N}$, there exists ${x}_{n},{x}_{n}^{\mathrm{\prime}}\in X$ such that ${x}_{n}^{\mathrm{\prime}}\in F({x}_{n})\cap {\overline{\mathcal{B}}}_{\delta}({x}_{n},\frac{1}{n})$. Now, since $Y:=\overline{F(X)}$ is compact, we may assume that $\{{x}_{n}^{\mathrm{\prime}}\}$ converges to some ${x}_{0}\in Y$. So, for any $\epsilon >0$, there exists $N\in \mathbb{N}$ such that ${sup}_{\lambda >0}{\delta}_{\lambda}({x}_{0},{x}_{n}^{\mathrm{\prime}})<\frac{\epsilon}{2}$ whenever $n\in \mathbb{N}$ and $n\ge N$. Observe that for $n\in \mathbb{N}$ with $n>max\{N,\frac{2}{\epsilon}\}$, we have

Since $\epsilon >0$ is arbitrary, we say that $\{{x}_{n}\}$ converges also to ${x}_{0}$. Since ${x}_{n}^{\mathrm{\prime}}\in F({x}_{n})$, we have $({x}_{n},{x}_{n}^{\mathrm{\prime}})\in {\mathrm{\Gamma}}_{F}$. Since $\{({x}_{n},{x}_{n}^{\mathrm{\prime}})\}$ is a sequence in ${\mathrm{\Gamma}}_{F}$ which converges to $({x}_{0},{x}_{0})$ and ${\mathrm{\Gamma}}_{F}$ is closed, we may conclude that $({x}_{0},{x}_{0})\in {\mathrm{\Gamma}}_{F}$. Therefore, ${x}_{0}\in F({x}_{0})$. □

Before we stride on further results, we would like to give a simple example to visualize and support Theorem 3.9.

**Example 3.10**Assume that $M:=\mathbb{R}$ is equipped with the circular metric $\delta :{\mathbb{R}}^{+}\times M\times M\to [0,\mathrm{\infty}]$ defined by

Clearly, we have *X* being subadmissible and *F* being closed and firmly compact. Now, let $G:X\u22b8X$ be a given KKM map w.r.t. *F*. It is clear that $G(x)\supset F(x)$ for all $x\in X$. Since *F* has the finite intersection property, so does *G*. Therefore, we have $F\in KKM(X,X)$. In view of Theorem 3.9, *F* has a fixed point. To be precise, every point in $[\frac{1}{3},\frac{2}{3}]$ is a fixed point of *F*.

Now, we give the following lemma which enables us to obtain the Shauder-type fixed point.

**Lemma 3.11** *Let* $(M,\delta )$ *be a circular metric space*, *Y* *be a topological space and* *X* *be a nonempty subadmissible subset of* *M*. *Suppose that* $f:Y\to X$ *is continuous*. *If* $F\in KKM(X,Y)$, *then* $fF\in KKM(X,X)$.

*Proof* Let $G:X\u22b8Y$ be a generalized KKM map with respect to *fF*, and let $A=\{{x}_{1},{x}_{2},\dots ,{x}_{n}\}\in \u3008X\u3009$. So, $fF(ad(A)\cap X)\subset {\bigcup}_{i=1}^{n}G({x}_{i})$. Note also that $F(ad(A)\cap X)\subset {f}^{-1}fF(ad(A)\cap X)\subset {f}^{-1}G({x}_{i})$. Since $A\subset \u3008X\u3009$ is arbitrary, we have that ${f}^{-1}G$ is a generalized KKM map with respect to *F*. Now, since $F\in KKM(X,Y)$, the family $\{\overline{{f}^{-1}G(x)}:x\in X\}$ has the finite intersection property, so does the family $\{\overline{G(x)}:x\in X\}$. This shows that $fF\in KKM(X,X)$. □

**Corollary 3.12** *Let* $(M,\delta )$ *be a circular metric space*, *Y* *be a topological space and* *X* *be a nonempty subadmissible subset of* *M*. *Suppose that* $f:X\to X$ *is continuous and* $\overline{f(A)}$ *is bounded and compact for all nonempty bounded subset* *A* *of* *X*. *If* $I\in KKM(X,X)$, *then* *f* *has a fixed point*.

*Proof* According to Lemma 3.11, we have $f\equiv fI\in KKM(X,X)$. Since *f* is continuous, *f* is closed. So, we can apply Theorem 3.9 to obtain the desired result. □

We give some consequences of our results, some of which also appeared in [9], as follows.

**Theorem 3.13** *Let* ${M}_{\omega}$ *be a modular metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* $\overline{F(X)}$ *is totally bounded*, *then* *F* *has the approximate fixed point property*.

**Theorem 3.14** *Let* ${M}_{\omega}$ *be a modular metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* *F* *is closed and firmly compact*, *then* *F* *has a fixed point*.

**Corollary 3.15** [9]

*Let* $(M,d)$ *be a metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* $\overline{F(X)}$ *is totally bounded*, *then* *F* *has the approximate fixed point property*.

**Corollary 3.16** [9]

*Let* $(M,d)$ *be a metric space*, *X* *be a nonempty subadmissible subset of* *M* *and* $F\in KKM(X,X)$. *If* *F* *is closed and compact*, *then* *F* *has a fixed point*.

## 4 Subadmissible quasi-equilibrium problems

*X*is a nonempty subadmissible subset of a circular metric space $(M,\delta )$, and let $\phi :X\times X\to \mathbb{R}$ and $H:X\u22b8X$ be given. We consider the following problem:

In fact, this problem (QEP_{1}) is set in the context where the linear structure is absent. Hence, the convexity is as well not present. While most of the studies in optimization require the linearity, our next result will eventually overcome the situation when such notion is not valid.

**Theorem 4.1**

*Suppose that*

*φ*

*is l*.

*s*.

*c*.

*and*

*H*

*is firmly compact with compact values*.

*Assume further that the following hold*:

- (a)
*the function*$\mathrm{\Phi}:X\to \mathbb{R}$*defined by*$\mathrm{\Phi}(x):=\underset{y\in H(x)}{min}\phi (x,y)$

*is u*.

*s*.

*c*.,

- (b)
*the map*$F:X\u22b8X$*defined by*$F(x):=\{y\in H(x):\phi (x,y)=\mathrm{\Phi}(x)\}$

*is in the class* $KKM(X,X)$.

*Then problem* (QEP_{1}) *has a solution*.

*Proof*Since

*φ*is l.s.c. and

*H*has compact values, the function Φ is defined and $F(x)$ is nonempty for all $x\in X$. We shall claim first that

*F*is closed. Consider the sequence $({x}_{n},{y}_{n})$ in ${\mathrm{\Gamma}}_{F}$ converging to a pair $(x,y)\in X\times X$. We have

Thus, it must be the case that $\phi (x,y)=\mathrm{\Phi}(x)$. Since *H* is closed and ${y}_{n}\in H({x}_{n})$ for all $n\in \mathbb{N}$, we conclude that $y\in H(x)$. Consequently, we have $(x,y)\in {\mathrm{\Gamma}}_{F}$, and so *F* is closed. Furthermore, since *H* is firmly compact, *F* is also firmly compact (by definition). Finally, Theorem 3.9 yields the existence of a fixed point $\overline{x}\in X$ of *F*. In turn, the point $\overline{x}$ is actually a solution of problem (QEP_{1}). □

The following solvability of (QEP_{2}) resulted directly.

**Corollary 4.2** *According to Theorem * 4.1, *additionally assume that* $\phi (x,x)\ge 0$ *for all* $x\in X$. *Then problem* (QEP_{2}) *has a solution*.

## Declarations

### Acknowledgements

The authors were supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRU-CSEC No. 56000508). The second author gratefully acknowledges the support provided by the Department of Mathematic and Faculty of Science, King Mongkut’s University of Technology Thonburi (KMUTT) during his stay at the Department of Mathematical and Statistical Sciences, University of Alberta as a visitor for the short term research.

## Authors’ Affiliations

## References

- Nakano H Tokyo Math. Book Ser. 1. In
*Modulared Semi-Ordered Linear Spaces*. Maruzen, Tokyo; 1950.Google Scholar - Nakano H Tokyo Math. Book Ser. 3. In
*Topology and Linear Topological Spaces*. Maruzen, Tokyo; 1951.Google Scholar - Chistyakov VV: Modular metric spaces, I: basic concepts.
*Nonlinear Anal.*2010, 72: 1–14. 10.1016/j.na.2009.04.057MathSciNetView ArticleGoogle Scholar - Chaipunya P, Mongkolkeha C, Sintunavarat W, Kumam P: Fixed-point theorems for multivalued maps in modular metric spaces.
*Abstr. Appl. Anal.*2012., 2012: Article ID 503504Google Scholar - Chaipunya P, Cho YJ, Kumam P: Geraghty-type theorems in modular metric spaces with an application to partial differential equation.
*Adv. Differ. Equ.*2012., 2012: Article ID 83 10.1186/1687-1847-2012-83Google Scholar - Cho YJ, Saadati R, Sadeghi G: Quasi-contractive maps in modular metric spaces.
*J. Appl. Math.*2012., 2012: Article ID 907951Google Scholar - Mongkolkeha C, Sintunavarat W, Kumam P: Fixed point theorems for contraction maps in modular metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 93Google Scholar - Chang TH, Yen CL: KKM property and fixed point theorems.
*J. Math. Anal. Appl.*1996, 203: 224–235. 10.1006/jmaa.1996.0376MathSciNetView ArticleGoogle Scholar - Amini A, Fakhar M, Zafarani J: KKM maps in metric spaces.
*Nonlinear Anal.*2005, 60: 1045–1052. 10.1016/j.na.2004.10.003MathSciNetView 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.