 Research
 Open Access
 Published:
Topological aspects of circular metric spaces and some observations on the KKM property towards quasiequilibrium problems
Journal of Inequalities and Applications volume 2013, Article number: 343 (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 quasiequilibrium problem as an application.
MSC:54E35, 54H25.
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 quasiequilibrium 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$;
(C3) For any $\lambda >0$ and $x,y,z\in X$, we can find $\mu \in (0,\lambda )$ such that
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
for $(\lambda ,x,y)\in {\mathbb{R}}^{+}\times X\times X$. It is easy to verify that (C1)(C3) hold. However, we may notice that
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
to be an 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.
(⇐) Let ${\{{U}_{\alpha}\}}_{\alpha \in \mathrm{\Lambda}}$ be an infinite open cover of 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.
Let $\epsilon :={inf}_{x\in D}{\gamma}_{x}>0$. Choose ${z}_{1}\in D$ arbitrarily. Inductively, choose ${z}_{n}\in D$ such that
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{xy}{\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
This further implies 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.
In general, we write
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
for $(\lambda ,x,y)\in {\mathbb{R}}^{+}\times M\times M$. Let $X=[0,1]$ and define a map $F:X\u22b8X$ 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 Shaudertype 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 quasiequilibrium problems
As an application of our previous results, we present in this section a form of quasiequilibrium problem. Assume that 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}). □
Next, we associate the above theorem with the following standard quasiequilibrium problem:
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.
References
 1.
Nakano H Tokyo Math. Book Ser. 1. In Modulared SemiOrdered Linear Spaces. Maruzen, Tokyo; 1950.
 2.
Nakano H Tokyo Math. Book Ser. 3. In Topology and Linear Topological Spaces. Maruzen, Tokyo; 1951.
 3.
Chistyakov VV: Modular metric spaces, I: basic concepts. Nonlinear Anal. 2010, 72: 1–14. 10.1016/j.na.2009.04.057
 4.
Chaipunya P, Mongkolkeha C, Sintunavarat W, Kumam P: Fixedpoint theorems for multivalued maps in modular metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 503504
 5.
Chaipunya P, Cho YJ, Kumam P: Geraghtytype theorems in modular metric spaces with an application to partial differential equation. Adv. Differ. Equ. 2012., 2012: Article ID 83 10.1186/16871847201283
 6.
Cho YJ, Saadati R, Sadeghi G: Quasicontractive maps in modular metric spaces. J. Appl. Math. 2012., 2012: Article ID 907951
 7.
Mongkolkeha C, Sintunavarat W, Kumam P: Fixed point theorems for contraction maps in modular metric spaces. Fixed Point Theory Appl. 2011., 2011: Article ID 93
 8.
Chang TH, Yen CL: KKM property and fixed point theorems. J. Math. Anal. Appl. 1996, 203: 224–235. 10.1006/jmaa.1996.0376
 9.
Amini A, Fakhar M, Zafarani J: KKM maps in metric spaces. Nonlinear Anal. 2005, 60: 1045–1052. 10.1016/j.na.2004.10.003
Acknowledgements
The authors were supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (NRUCSEC 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.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors have carefully prepared, wrote, and checked this manuscript including its final appearance.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Received
Accepted
Published
DOI
Keywords
 circular metric space
 KKM property
 fixed point
 optimization