Research | Open | Published:

# KKM and KY fan theorems in modular function spaces

*Fixed Point Theory and Applications***volume 2011**, Article number: 57 (2011)

## Abstract

In modular function spaces, we introduce Knaster-Kuratowski-Mazurkiewicz mappings (in short KKM-mappings) and prove an analogue to Ky Fan s fixed point theorem.

**2010 Mathematics Subject Classification:** Primary 46B20, 47H09; Secondary 47H10.

## 1. Introduction

The purpose of this paper is to give outlines of the Knaster-Kuratowski-Mazurkiewicz theory for mappings defined on some subsets of modular function spaces which are natural generalization of both function and sequence variants of many important, from applications perspective, spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, Calderon-Lozanovskii spaces and many others. This paper operates within the framework of convex function modulars.

The importance of applications of nonexpansive mappings in modular function spaces lies in the richness of structure of modular function spaces, that is, besides being Banach spaces (or F-spaces in a more general setting)--are equipped with modular equivalents of norm or metric notions, and also are equipped with almost everywhere convergence and convergence in submeasure. In many cases, particularly in applications to integral operators, approximation and fixed point results, modular type conditions are much more natural as modular type assumptions can be more easily verified than their metric or norm counterparts. There are also important results that can be proved only using the tools of modular function spaces. From this perspective, the fixed point theory in modular function spaces should be considered as complementary to the fixed point theory in normed spaces and in metric spaces.

The theory of contractions and nonexpansive mappings defined on convex subsets of Banach spaces is very well developed (see e.g. [1–5]) and generalized to other metric spaces (see e.g. [6–8]) and modular function spaces (see e.g. [9–11]). The corresponding fixed point results were then extended to larger classes of mappings like asymptotic mappings [12, 13], pointwise contractions [14] and asymptotic pointwise contractions and nonexpansive mappings [15–18].

As noted in [18], questions are sometimes asked whether the theory of modular function spaces provides general methods for the consideration of fixed point properties; the situation here is the same as it is in the Banach setting.

In this paper, we introduce the concept of Knaster-Kuratowski-Mazurkiewicz mappings (in short KKM-mappings) in modular function spaces. Then, we prove an analogue to Ky Fans fixed point theorem which can be seen as an extension to Brouwer's and Schauders fixed point theorems. Most of the results proved here are similar to the extension obtained in hyperconvex metric spaces [19]. Reader may also consult [20, 21].

## 2. Preliminaries

Let Ω be a nonempty set and Σ be a nontrivial *σ*-algebra of subsets of Ω. Let $\mathcal{P}$ be a *δ*-ring of subsets of Ω, such that $E\cap A\in \mathcal{P}$ for any $E\in \mathcal{P}$ and *A* ∈ Σ. Let us assume that there exists an increasing sequence of sets ${K}_{n}\in \mathcal{P}$ such that Ω = ∪*K*_{
n
} . By $\mathcal{E}$, we denote the linear space of all simple functions with supports from $\mathcal{P}$. By ${\mathcal{M}}_{\infty}$, we will denote the space of all extended measurable functions, i.e. all functions *f* : Ω → [-∞, ∞] such that there exists a sequence $\left\{{g}_{n}\right\}\subset \mathcal{E}$, |*g*_{
n
} | ≤ |*f*| and *g*_{
n
} (*ω*) → *f*(*ω*) for all *ω* ∈ Ω. By 1_{
A
}, we denote the characteristic function of the set *A*.

**Definition 2.1**. *Let*$\rho :{\mathcal{M}}_{\infty}\to \left[0,\infty \right]$*be a notrivial, convex and even function. We say that ρ is a regular convex function pseudomodular if:*

*(i) ρ*(0) = 0*;*

*(ii) ρ is monotone, i.e*. |*f*(*ω*)| ≤ |*g*(*ω*)| *for all ω* ∈ Ω *implies ρ*(*f*) ≤ *ρ*(*g*), *where*$f,g\in {\mathcal{M}}_{\infty}$;

*(iii) ρ is orthogonally subadditive, i.e. ρ*(*f* 1_{A∪B}) ≤ *ρ*(*f* 1 _{
A
}) + *ρ*(*f* 1_{
B
}) *for any A*, *B* ∈ Σ *such that A* ∩ *B* ≠ ∅, $f\in \mathcal{M}$;

*(iv) ρ has the Fatou property, i.e*. |*f*_{
n
} (*ω*)| ↑ |*f*(*ω*)| *for all ω* ∈ Ω *implies ρ*(*f*_{
n
} ) ↑ *ρ*(*f*), *where*$f\in {\mathcal{M}}_{\infty}$;

*(v) ρ is order continuous in*$\mathcal{E}$, *i.e*. ${g}_{n}\in \mathcal{E}$*and* |*g*_{
n
} (*ω*)| ↓ 0 *implies ρ*(*g*_{
n
}) ↓ 0.

As in the case of measure spaces, we say that a set *A* ∈ Σ is *ρ*-null if *ρ*(*g* 1_{
A
}) = 0 for every $g\in \mathcal{E}$. A property holds *ρ*-almost everywhere if the exceptional set is *ρ*-null. As usual we identify any pair of measurable sets whose symmetric difference is *ρ*-null as well as any pair of measurable functions differing only on a *ρ*-null set. With this in mind, we define

where each $f\in \mathcal{M}\left(\Omega ,\Sigma ,\mathcal{P},\rho \right)$ is actually an equivalence class of functions equal *ρ*-a.e. rather than an individual function. When no confusion arises, we will write $\mathcal{M}$ instead of $\mathcal{M}\left(\Omega ,\Sigma ,\mathcal{P},\rho \right)$.

**Definition 2.2**. *Let ρ be a regular function pseudomodular*.

*(1) We say that ρ is a regular convex function semimodular if ρ*(*α f*) = 0 *for every α* > 0 *implies f* = 0 *ρ* - *a*.*e*.*;*

*(2) We say that ρ is a regular convex function modular if ρ*(*f*) = 0 *implies f* = 0 *ρ* - *a*.*e*.*;*

*The class of all nonzero regular convex function modulars defined on* Ω *will be denoted by* ℜ.

Let us denote *ρ*(*f*, *E*) = *ρ*(*f* 1_{
E
}) for $f\in \mathcal{M}$, *E* ∈ Σ. It is easy to prove that *ρ*(*f*, *E*) is a function pseudomodular in the sense of Def. 2.1.1 in [22] (more precisely, it is a function pseudomodular with the Fatou property). Therefore, we can use all results of the standard theory of modular function spaces as per the framework defined by Kozlowski in [22–24]; see also Musielak [25] for the basics of the general modular theory.

**Remark 2.1**. *We limit ourselves to convex function modulars in this paper. However, omitting convexity in Definition* 2.1 *or replacing it by s-convexity would lead to the definition of nonconvex or s-convex regular function pseudomodulars, semimodulars and modulars as in*[22].

**Definition 2.3**. [22–24]*Let ρ be a convex function modular*.

*(a) A modular function space is the vector space L*_{
ρ
} (Ω, Σ), *or briefly L*_{
ρ
}*, defined by*

*(b) The following formula defines a norm in L*
_{
ρ
}
*(frequently called Luxemburg norm):*

In the following theorem, we recall some of the properties of modular spaces that will be used later on in this paper.

**Theorem 2.1**. [23, 24, 22]*Let ρ* ∈ ℜ.

*(1)* (*L*_{
ρ
} , ||*f*||_{
ρ
}) *is complete and the norm* || · || _{
ρ
} *is monotone w.r.t. the natural order in*$\mathcal{M}$.

*(2)* ||*f*_{
n
} || _{
ρ
} → 0 *if and only if ρ*(*α f*_{
n
} ) → 0 *for every α* > 0.

*(3) If ρ*(*α f*_{
n
} ) → 0 *for an α* > 0, *then there exists a subsequence* {*g*_{
n
} } *of* {*f*_{
n
} } *such that g*_{
n
} → 0 *ρ* - *a*.*e*.

*(4) If* {*f*_{
n
} } *converges uniformly to f on a set*$E\in \mathcal{P}$, *then ρ*(*α*(*f*_{
n
} - *f*), *E*) → 0 *for every α* > 0.

*(5) Let f*_{
n
} → *f ρ* - *a*.*e*. *There exists a nondecreasing sequence of sets*${H}_{k}\in \mathcal{P}$ *such that H*_{
k
} ↑ Ω *and* {*f*_{
n
} } *converges uniformly to f on every H*_{
k
} *(Egoroff Theorem)*.

*(6) ρ*(*f*) ≤ lim inf *ρ*(*f*_{
n
} ) *whenever f*_{
n
} → *f ρ - a.e*. *(Note: this property is equivalent to the Fatou Property)*.

*(7) Defining* ${L}_{\rho}^{0}=\left\{f\in {L}_{\rho};\phantom{\rule{2.77695pt}{0ex}}\rho \left(f,\cdot \right)\phantom{\rule{2.77695pt}{0ex}}is\phantom{\rule{2.77695pt}{0ex}}order\phantom{\rule{2.77695pt}{0ex}}continuous\right\}$ and ${E}_{\rho}=\left\{f\in {L}_{\rho};\phantom{\rule{2.77695pt}{0ex}}\lambda f\in {L}_{\rho}^{0}\phantom{\rule{2.77695pt}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}every\phantom{\rule{2.77695pt}{0ex}}\lambda >0\right\}$, *we have:*

*(a)* ${L}_{\rho}\supset {L}_{\rho}^{0}\supset {E}_{\rho}$,

*(b) E*_{
ρ
} *has the Lebesgue property, i.e. ρ*(*α f*, *D*_{
k
} ) → 0 *for α* > 0, *f* ∈ *E*_{
ρ
} *and D*_{
k
} ↓ ∅.

*(c) E*_{
ρ
} *is the closure of*$\mathcal{E}$*(in the sense of* || · ||_{
ρ
}).

The following definition plays an important role in the theory of modular function spaces.

**Definition 2.4**. *Let ρ* ∈ ℜ. *We say that ρ has the* Δ_{2}*-property if* $\underset{n}{sup}\rho \left(2{f}_{n},{D}_{k}\right)\to 0$ *as k*→ ∞ *whenever* $\left\{{f}_{n}\right\}\subset \mathcal{M}$ *and*{*D*_{
k
} } ⊂ Σ *which decreases to* ∅ and $\underset{n}{sup}\rho \left({f}_{n},{D}_{k}\right)\to 0$ as k→ ∞.

**Theorem 2.2**. *Let ρ* ∈ ℜ. *The following conditions are equivalent:*

*(a) ρ has* Δ_{2}*-property*,

*(b)* ${L}_{\rho}^{0}$ *is a linear subspace of L*_{
ρ
} ,

*(c)* ${L}_{\rho}={L}_{\rho}^{0}={E}_{\rho}$,

*(d) if ρ*(*f*_{
n
} ) → 0, *then ρ*(2*f*_{
n
} ) → 0,

*(e) if ρ*(*α f*_{
n
} ) → 0 *for an α* > 0, *then* ||*f*_{
n
} ||*ρ* → 0, *i.e. the modular convergence is equivalent to the norm convergence*.

The following definition is crucial throughout this paper.

**Definition 2.5**. *Let ρ* ∈ ℜ.

*(a) We say that* {*f*_{
n
} } *is ρ-convergent to f and write f*_{
n
} → *f* (*ρ*) *if and only if ρ*(*f*_{
n
} - *f*) → 0.

*(b) A sequence* {*f*_{
n
} } *where f*_{
n
} ∈ *L*_{
ρ
} *is called ρ-Cauchy if ρ*(*f*_{
n
} - *f*_{
m
} ) → 0 *as n*, *m* → ∞.

*(c) A set B* ⊂ *L*_{
ρ
} *is called ρ-closed if for any sequence of f*_{
n
} ∈ *B, the convergence f*_{
n
} → *f* (*ρ*) *implies that f belongs to B*.

*(d) A set B* ⊂ *L*_{
ρ
} *is called ρ-bounded if* sup{*ρ*(*f* - *g*); *f* ∈ *B*, *g* ∈ *B*} < ∞.

*(e) Let f* ∈ *L*_{
ρ
} *and C* ⊂ *L*_{
ρ
}*. The ρ-distance between f and C is defined as*

Let us note that *ρ*-convergence does not necessarily imply *ρ*-Cauchy condition. Also, *f*_{
n
} → *f* does not imply in general *λf*_{
n
} → *λf*, *λ* > 1. Using Theorem 2.1, it is not difficult to prove the following

**Proposition 2.1**. *Let ρ* ∈ ℜ.

*(i) L*_{
ρ
} *is ρ-complete*,

*(ii) ρ-balls B*_{
ρ
} (*f*, *r*) = {*g* ∈ *L*_{
ρ
} ; *ρ*(*f* - *g*) ≤ *r*} *are ρ-closed*.

In this work, we will need the following definition.

**Definition 2.6**. *A subset A* ⊂ *L*_{
ρ
} *is called finitely ρ-closed if for every f*_{1}, *f*_{2}, ..., *f*_{
n
} ∈ *L*_{
ρ
}*, the set* ${\overline{conv}}_{\rho}\left(\left\{{f}_{1},\dots ,{f}_{n}\right\}\right)\cap A$ *is ρ-closed*.

Note that if *A* is *ρ*-closed, then obviously it is also finitely closed.

The following property plays in the theory of modular function spaces a role similar to the reflexivity in Banach spaces (see e.g. [10]).

**Definition 2.7**. *We say that L*_{
ρ
} *has property* (*R*) *if and only if every nonincreasing sequence* {*C*_{
n
} } *of nonempty, ρ-bounded, ρ-closed, convex subsets of L*_{
ρ
} *has nonempty intersection*.

A more general definition of *ρ*-compactness is given in the following definition.

**Definition 2.8**. *A nonempty subset K of L*_{
ρ
}*is said to be ρ-compact if for any family*$\left\{{A}_{\alpha};{A}_{\alpha}\in {2}^{{L}_{\rho}},\phantom{\rule{2.77695pt}{0ex}}\alpha \in \Gamma \right\}$*of ρ-closed subsets with*$K\cap {A}_{{\alpha}_{1}}\cap \cdots \cap {A}_{{\alpha}_{n}}\ne \varnothing $, *for any α*_{1}, ..., *α*_{
n
}∈ Γ, *we have*

Let us finish this section with the modular definition of nonexpansive mappings. The definition are straightforward generalizations of their norm and metric equivalents, [12, 15–17].

**Definition 2.9**. *Let ρ* ∈ ℜ *and let C* ⊂ *L*_{
ρ
} *be nonempty. A mapping T* : *C* → *C is called a nonexpansive mapping if*

*The fixed point set of T is defined by*

## 3. KKM-maps and Ky Fan theorem

Among the results equivalent to the Brouwer's fixed point theorem, the theorem of Knaster-Kuratowski-Mazurkiewicz [26] occupies a special place. Let *ρ* ∈ ℜ and let *C* ⊂ *L*_{
ρ
} be nonempty. The set of all subsets of *C* is denoted 2 ^{C} . The notation *conv*(*A*) describes the convex hull of *A*, while ${\overline{conv}}_{\rho}\left(A\right)$ describes the smallest *ρ*-closed convex subset of *L*_{
ρ
} which contains *A*. Recall that a family $\left\{{A}_{\alpha};{A}_{\alpha}\in {2}^{{L}_{\rho}},\phantom{\rule{2.77695pt}{0ex}}\alpha \in \Gamma \right\}$ is said to have the finite intersection property if the intersection of each finite subfamily is not empty.

**Definition 3.1**. *Let ρ* ∈ ℜ *and let C* ⊂ *L*_{
ρ
} *be nonempty. A multivalued mapping* $G:C\to {2}^{{L}_{\rho}}$ *is called a Knaster-Kuratowski-Mazurkiewicz mapping (in short KKM-mapping) if*

*for any f*_{1}, ..., *f*_{
n
} ∈ *C*.

Now we are ready to prove the following result:

**Theorem 3.1**. *Let ρ* ∈ ℜ. *Let C* ⊂ *L*_{
ρ
} *be nonempty and*$G:C\to {2}^{{L}_{\rho}}$*be a KKM-mapping such that for any f* ∈ *C, G*(*f*) *is nonempty and finitely ρ-closed. Then, the family* {*G*(*f*); *f* ∈ *C*} *has the finite intersection property*.

*Proof*. Assume not, i.e. there exist *f*_{1}, ..., *f*_{
n
} ∈ *C* such that ${\bigcap}_{1\le i\le n}G\left({f}_{i}\right)=\varnothing $. Set $L={\overline{conv}}_{\rho}\left(\left\{{f}_{i}\right\}\right)$ in *L*_{
ρ
} . Our assumptions imply that *L* ∩ *G*(*f*_{
i
} ) is *ρ*-closed for every *i* = 1, 2, ..., *n*. Using Theorem 2.1 (2) with *α* = 1, *L*∩*G*(*f*_{
i
} ) is closed for the Luxemburg norm ||·|| _{
ρ
} for any *i* ∈ {1, ..., *n*}. Thus for every *f* ∈ *L*, there exists *i*_{0} such that *f* does not belong to $L\cap G\left({f}_{{i}_{0}}\right)$ since $L\phantom{\rule{2.77695pt}{0ex}}\bigcap \left({\bigcap}_{1\le i\le n}G\left({f}_{i}\right)\right)=\varnothing $.

Hence

because $L\cap G\left({f}_{{i}_{0}}\right)$ is closed. We use the function

where *f* ∈ *K* = *conv*{*f*_{1}, ..., *f*_{
n
} } to define the map *T* : *K* → *K* by

Clearly, *T* is a continuous map. Since *K* is a compact convex subset of the Banach space (*L*_{
ρ
} , ||*f* ||_{
ρ
}), Brouwer's theorem implies the existence of a fixed point *f*_{0} ∈ *K* of *T*, i.e. *T*(*f*_{0}) = *f*_{0}. Set

Clearly,

Hence, ${f}_{0}\notin {\bigcup}_{i\in I}G\left({f}_{i}\right)$ and *f*_{0} ∈ *conv*({*f*_{
i
} ; *i* ∈ *I*}) as this contradicts the assumption

□

As an immediate consequence, we obtain the following result:

**Theorem 3.2**. *Let ρ* ∈ ℜ. *Let C* ⊂ *L*_{
ρ
} *be nonempty and*$G:C\to {2}^{{L}_{\rho}}$*be a KKM-mapping such that for any f* ∈ *C, G*(*f*) *is nonempty and ρ-closed. Assume there exists f*_{0} ∈ *C such that G*(*f*_{0}) *is ρ-compact. Then, we have*

Notice that the *ρ*-compactness of *G*(*f*_{0}) may be weakened, i.e. we can still reach the conclusion if one involves an auxiliary multivalued map and a suitable topology on *L*_{
ρ
} .

**Theorem 3.3**. *Let ρ* ∈ ℜ. *Let C* ⊂ *L*_{
ρ
} *be nonempty and*$G:C\to {2}^{{L}_{\rho}}$*a KKM-mapping such that for any f* ∈ *C, G*(*f*) *is nonempty and finitely ρ-closed. Assume there is a multivalued map* $K:C\to {2}^{{L}_{\rho}}$ *such that G*(*f*) ⊂ *K*(*f*) *for every f* ∈ *C and*

*If there is some topology τ on L*_{
ρ
} *such that each K*(*f*) *is τ-compact, then*

*Proof*. The proof is obvious. □

Before we state an analogue to Ky Fan fixed point result [26], we need the following definition

**Definition 3.2**. *Let ρ* ∈ ℜ. *Let C* ⊂ *L*_{
ρ
} *be a nonempty ρ-closed subset. Let T* : *C* → *L*_{
ρ
} *be a map. T is called ρ-continuous if* {*T*(*f*_{
n
} )} *ρ-converges to T* (*f* ) *whenever* {*f*_{
n
} } *ρ-converges to f. Also T will be called strongly ρ-continuous if T is ρ-continuous and*

*for any sequence* {*f*_{
n
} } ⊂ *C which ρ-converges to f and for any g* ∈ *C*.

It is not clear for what type of modular *ρ*, *ρ*-continuity implies strong *ρ*-continuity. The Δ_{2}-property is enough to provide this implication. The following technical lemma is needed to prove the analogue of Ky Fan fixed point result.

**Lemma 3.1**. *Let ρ* ∈ ℜ. *Let K* ⊂ *L*_{
ρ
} *be nonempty convex and ρ-compact. Let T* : *K* → *L*_{
ρ
} *be strongly ρ-continuous. Then, there exists f*_{0} ∈ *K such that*

*Proof*. Consider the map $G:K\to {2}^{{L}_{\rho}}$ defined by

Since *T* is strongly *ρ*-continuous, for any sequence {*f*_{
n
} } ⊂ *G*(*g*) which *ρ*-converges to *f*, we have

on the basis of the Fatou property and the continuity of *T*. Clearly, this implies that *G*(*g*) is *ρ*-closed for any *g* ∈ *K*. Next, we show that *G* is a KKM-mapping. Assume not. Then, there exists {*g*_{1}, ..., *g*_{
n
} } ⊂ *K* and *f* ∈ *conv*({*g*_{
i
} }) such that $f\notin {\bigcup}_{1\le i\le n}G\left({g}_{i}\right)$. This clearly implies

Let *ε* > 0 be such that *ρ*(*g*_{
i
} - *T*(*f*)) ≤ *ρ*(*f* - *T*(*f*)) - *ε*, for *i* = 1, 2, ..., *n*. Since *ρ* is convex, for any *g* ∈ *conv*({*g*_{
i
} }), we have

As *f* ∈ *conv*({g_{
i
}}), so we get *ρ*(*f* - *T*(*f*)) ≤ *ρ*(*f* - *T*(*f*)) - *ε*. Contradiction. Therefore, *G* is a KKM-mapping. By the *ρ*-compactness of *K*, we deduce that *G*(*g*) is compact for any *g* ∈ *K*. Theorem 3.2 implies the existence of ${f}_{0}\in {\bigcap}_{g\in K}G\left(g\right)$. Hence, *ρ*(*f*_{0} - *T*(*f*_{0})) ≤ *ρ*(*g* - *T*(*f*_{0})) for any *g* ∈ *K*. In particular, we have

□

We are now ready to state Ky Fan fixed point theorem [26] in modular function spaces.

**Theorem 3.4**. *Let ρ* ∈ ℜ. *Let K* ⊂ *L*_{
ρ
} *be nonempty convex and ρ-compact. Let T* : *K* → *L*_{
ρ
} *be strongly ρ-continuous. Assume that for any f* ∈ *K, with f* ≠ *T*(*f*), *there exists α* ∈ (0, 1) *such that*

*Then, T has a fixed point, i.e. T*(*g*) = *g for some g* ∈ *K*.

*Proof*. From the previous lemma, there exists *f*_{0} ∈ *K* such that

We claim that *f*_{0} is a fixed point of *T*. Assume not, i.e. *f*_{0} ≠ *T*(*f*_{0}). Then, our assumption on *K* implies the existence of *α* ∈ (0, 1) such that

Let *g* ∈ *K*_{0}. Then, *ρ*(*g* - *T*(*f*_{0})) ≤ (1 - *α*) *ρ*(*f*_{0} - *T*(*f*_{0})). This implies a contradiction to the property satisfied by *f*_{0}.

□

Note that the condition (*) is satisfied if *T*(*K*) ⊂ *K* which implies the following result:

**Theorem 3.5**. *Let ρ* ∈ ℜ. *Let K* ⊂ *L*_{
ρ
} *be nonempty convex and ρ-compact. Let T* : *K* → *K be strongly ρ-continuous. Then, T has a fixed point, i.e. T*(*g*) = *g for some g* ∈ *K*.

## References

- 1.
Browder FE:

**Nonexpansive nonlinear operators in a Banach space.***Proc Nat Acad Sci USA*1965,**54:**1041–1044. 10.1073/pnas.54.4.1041 - 2.
Gohde D:

**Zum Prinzip der kontraktiven Abbildung.***Math Nachr*1965,**30:**251–258. 10.1002/mana.19650300312 - 3.
Kirk WA:

**Fixed point theory for nonexpansive mappings, I and II.***Lecture Notes in Math*1981,**886:**485–505. - 4.
Goebel K, Reich S:

*Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings, Series of Monographs and Textbooks in Pure and Applied Mathematics.**Volume 83*. Dekker, New York; 1984. - 5.
Dhompongsa S, Kirk WA, Sims B:

**Fixed points of uniformly lipschitzian mappings.***Nonlinear Anal*2006,**65:**762–772. 10.1016/j.na.2005.09.044 - 6.
Goebel K, Sekowski T, Stachura A:

**Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball.***Nonlinear Anal*1980,**4:**1011–1021. 10.1016/0362-546X(80)90012-7 - 7.
Baillon JB:

**Nonexpansive mappings and hyperconvex spaces.***Contemp Math*1988,**72:**11–19. - 8.
Khamsi MA, Kirk WA:

**An Introduction to Metric Spaces and Fixed Point Theory.***Wiley, New York*2001. - 9.
Khamsi MA, Kozlowski WK, Reich S:

**Fixed point theory in modular function spaces.***Nonlinear Anal*1990,**14:**935–953. 10.1016/0362-546X(90)90111-S - 10.
Khamsi MA, Kozlowski WM, Shutao C:

**Some geometrical properties and fixed point theorems in Orlicz spaces.***J Math Anal Appl*1991,**155:**393–412. 10.1016/0022-247X(91)90009-O - 11.
Khamsi MA:

**A convexity property in modular function spaces.***Math Japonica*1996,**44.2:**269–279. - 12.
Kirk WA:

**Fixed points of asymptotic contractions.***J Math Anal Appl*2003,**277:**645–650. 10.1016/S0022-247X(02)00612-1 - 13.
Khamsi MA:

**On asymptotically nonexpansive mappings in hyperconvex metric spaces.***Proc Amer Math Soc*2004,**132:**365–373. 10.1090/S0002-9939-03-07172-7 - 14.
Kirk WA:

**Mappings of generalized contractive type.***J Math Anal Appl*1970,**32:**567–572. 10.1016/0022-247X(70)90278-7 - 15.
Kirk WA:

**Asymptotic pointwise contractions.***Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications, Chiang Mai University, Thailand*2007. - 16.
Kirk WA, Xu HK:

**Asymptotic pointwise contractions.***Nonlinear Anal*2008,**69:**4706–4712. 10.1016/j.na.2007.11.023 - 17.
Hussain N, Khamsi MA:

**On asymptotic pointwise contractions in metric spaces.***Nonlinear Anal*2009,**71:**4423–4429. 10.1016/j.na.2009.02.126 - 18.
Khamsi MA, Kozlowski WK:

**On asymptotic pointwise contractions in modular function spaces.***Nonlinear Anal*2010,**73:**2957–2967. 10.1016/j.na.2010.06.061 - 19.
Khamsi MA:

**KKM and Ky Fan theorems in hyperconvex metric spaces.***J Math Anal Appl*196,**204:**298–306. - 20.
Bardaro C, Ceppitelli R:

**Some generalizations in H-modular spaces of Fan's best approximation theorem.***J Aust Math Soc(ser A)*1994,**56:**291–302. 10.1017/S1446788700035503 - 21.
Hussain N, Khan AR, Ravi P:

**Krasnosel'skii and Ky Fan type fixed point theorems in ordered Banach spaces.***J Nonlinear Convex Anal*2010,**11**(3):475–489. - 22.
Kozlowski WM:

*Modular Function Spaces, Series of Monographs and Textbooks in Pure and Applied Mathematics.**Volume 122*. Dekker, New York/Basel; 1988. - 23.
Kozlowski WM:

**Notes on modular function spaces I.***Comment Math*1988,**28:**91–104. - 24.
Kozlowski WM:

**Notes on modular function spaces II.***Comment Math*1988,**28:**105–120. - 25.
Musielak J:

*Orlicz spaces and modular spaces, Lecture Notes in Mathematics.**Volume 1034*. Springer, Berlin/Heidelberg/New York/Tokyo; 1983. - 26.
Dugunddji J, Granas A:

*Fixed Point Theory.**Volume 1*. PWN-Polish Scientific Publishers, Warszawa; 1982.

## Acknowledgements

The authors gratefully acknowledge the financial support from the Deanship of Scientific Research (DSR) at King Abdulaziz University (KAU) represented by the Unit of Research Groups through the grant number (11/31/Gr) for the group entitled Nonlinear Analysis and Applied Mathematics. The authors thank the referees for pointing out some oversights and calling attention to some related literature.

## Author information

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors' contributions

All authors participated in the design of this work and performed equally. All authors read and approved the final manuscript.

## Rights and permissions

## About this article

#### Received

#### Accepted

#### Published

#### DOI

### Keywords

- fixed point
- KKM mapping
- Ky Fan's theorem
- modular function space