Research  Open  Published:
Fixed point results of pointwise contractions in modular metric spaces
Fixed Point Theory and Applicationsvolume 2013, Article number: 163 (2013)
Abstract
The notion of a modular metric on an arbitrary set and the corresponding modular spaces, generalizing classical modulars over linear spaces like Orlicz spaces, were recently introduced. In this paper we investigate the existence of fixed points of modular contractive mappings in modular metric spaces. These are related to the successive approximations of fixed points (via orbits) which converge to the fixed points in the modular sense, which is weaker than the metric convergence.
MSC: 47H09, 46B20, 47H10, 47E10.
1 Introduction
The purpose of this paper is to give an outline of a fixed point theory for Lipschitzian mappings defined on some subsets of modular metric spaces which are natural generalizations of both function and sequence variants of many important, from applications perspective, spaces like Lebesgue, Orlicz, MusielakOrlicz, Lorentz, OrliczLorentz, CalderonLozanovskii spaces and many others. Modular metric spaces were introduced in [1, 2]. The main idea behind this new concept is the physical interpretation of the modular. Informally speaking, whereas a metric on a set represents nonnegative finite distances between any two points of the set, a modular on a set attributes a nonnegative (possibly, infinite valued) ‘field of (generalized) velocities’: to each ‘time’ $\lambda >0$ (the absolute value of) an average velocity ${w}_{\lambda}(x,y)$ is associated in such a way that in order to cover the  ‘distance’ between points $x,y\in X$, it takes time λ to move from x to y with velocity ${w}_{\lambda}(x,y)$. But the way we approached the concept of modular metric spaces is different. Indeed, we look at these spaces as the nonlinear version of the classical modular spaces as introduced by Nakano [3] on vector spaces and modular function spaces introduced by Musielack [4] and Orlicz [5].
In recent years, there was an uptake of interest in the study of electrorheological fluids, sometimes referred to as ‘smart fluids’ (for instance, lithium polymetachrylate). For these fluids, modeling with sufficient accuracy using classical Lebesgue and Sobolev spaces, ${L}^{p}$ and ${W}^{1,p}$, where p is a fixed constant, is not adequate, but rather the exponent p should be able to vary [6, 7]. One of the most interesting problems in this setting is the famous Dirichlet energy problem [8, 9]. The classical technique used so far in studying this problem is to convert the energy functional, naturally defined by a modular, to a convoluted and complicated problem which involves a norm (the Luxemburg norm). The modular metric approach is more natural and has not been used extensively.
The fixed point property in modular function spaces was initiated after the publication of the paper [10] in 1990. More recently, the authors presented a series of fixed point results for pointwise contractions and asymptotic pointwise contractions acting in modular functions spaces [11, 12]. In this paper, we define and investigate the fixed point property in the framework of modular metric spaces. It seems that a timid start has been going on for a few years now but it still lacks some generalities. The importance of applications of fixed points of mappings in modular metric spaces follows the success of such applications in modular function spaces because of the richness of structure of modular function spaces that  besides being Banach spaces (or Fspaces in a more general settings)  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 modulartype assumptions can be more easily verified than their metric or norm counterparts. From this perspective, the fixed point theory in modular metric spaces should be considered as complementary to the fixed point theory in modular function spaces and in metric spaces. The theory of contractions and nonexpansive mappings defined on convex subsets of Banach spaces has been well developed since the 1960s (see, e.g., Belluce and Kirk [13, 14], Browder [15], Bruck [16], DeMarr [17], and Lim [18]) and generalized to other metric spaces (see, e.g., [19–21]) and modular function spaces (see, e.g., [10]). The corresponding fixed point results were then extended to larger classes of mappings like pointwise contractions [22, 23] and asymptotic pointwise contractions and nonexpansive mappings [24, 25].
For more on metric fixed point theory, the reader may consult the book [26] and for modular metric spaces [27].
2 Basic definitions and properties
Let X be a nonempty set. Throughout this paper, for a function $w:(0,\mathrm{\infty})\times X\times X\to (0,\mathrm{\infty})$, we write
for all $\lambda >0$ and $x,y\in X$.
Definition 2.1 [1, 2] A function $w:(0,\mathrm{\infty})\times X\times X\to [0,\mathrm{\infty}]$ is said to be modular metric on X if it satisfies the following axioms:

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

(ii)
${w}_{\lambda}(x,y)={w}_{\lambda}(y,x)$ for all $\lambda >0$ and $x,y\in X$;

(iii)
${w}_{\lambda +\mu}(x,y)\le {w}_{\lambda}(x,z)+{w}_{\mu}(z,y)$ for all $\lambda ,\mu >0$ and $x,y,z\in X$.
If instead of (i) we have only the condition (i′)
then w is said to be a pseudomodular (metric) on X. A modular metric w on X is said to be regular if the following weaker version of (i) is satisfied:
Finally, w is said to be convex if, for $\lambda ,\mu >0$ and $x,y,z\in X$, it satisfies the inequality
Note that for a metric pseudomodular w on a set X, and any $x,y\in X$, the function $\lambda \to {w}_{\lambda}(x,y)$ is nonincreasing on $(0,\mathrm{\infty})$. Indeed, if $0<\mu <\lambda $, then
Let w be a pseudomodular on X. Fix ${x}_{0}\in X$. The two sets
and
are said to be modular spaces (around ${x}_{0}$).
It is clear that ${X}_{w}\subset {X}_{w}^{\ast}$, but this inclusion may be proper in general. It follows from [1, 2] that if w is a modular on X, then the modular space ${X}_{w}$ can be equipped with a (nontrivial) metric, generated by w and given by
for any $x,y\in {X}_{w}$. If w is a convex modular on X, according to [1, 2], the two modular spaces coincide, ${X}_{w}^{\ast}={X}_{w}$, and this common set can be endowed with the metric ${d}_{w}^{\ast}$ given by
for any $x,y\in {X}_{w}$. These distances will be called Luxemburg distances (see example below for the justification).
Next we give the main example that motivated this paper.
Example 2.1 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\in \mathrm{\Sigma}$. Let us assume that there exists an increasing sequence of sets ${K}_{n}\in \mathcal{P}$ such that $\mathrm{\Omega}=\cup {K}_{n}$. By ℰ we denote the linear space of all simple functions with supports from $\mathcal{P}$. By ${\mathcal{M}}_{\mathrm{\infty}}$ we denote the space of all extended measurable functions, i.e., all functions $f:\mathrm{\Omega}\to [\mathrm{\infty},\mathrm{\infty}]$ such that there exists a sequence $\{{g}_{n}\}\subset \mathcal{E}$, ${g}_{n}\le f$ and ${g}_{n}(\omega )\to f(\omega )$ for all $\omega \in \mathrm{\Omega}$. By ${1}_{A}$ we denote the characteristic function of the set A. Let $\rho :{\mathcal{M}}_{\mathrm{\infty}}\to [0,\mathrm{\infty}]$ be a nontrivial, convex and even function. We say that ρ is a regular convex function pseudomodular if:

(i)
$\rho (0)=0$;

(ii)
ρ is monotone, i.e., $f(\omega )\le g(\omega )$ for all $\omega \in \mathrm{\Omega}$ implies $\rho (f)\le \rho (g)$, where $f,g\in {\mathcal{M}}_{\mathrm{\infty}}$;

(iii)
ρ is orthogonally subadditive, i.e., $\rho (f{1}_{A\cup B})\le \rho (f{1}_{A})+\rho (f{1}_{B})$ for any $A,B\in \mathrm{\Sigma}$ such that $A\cap B\ne \mathrm{\varnothing}$, $f\in \mathcal{M}$;

(iv)
ρ has the Fatou property, i.e., ${f}_{n}(\omega )\uparrow f(\omega )$ for all $\omega \in \mathrm{\Omega}$ implies $\rho ({f}_{n})\uparrow \rho (f)$, where $f\in {\mathcal{M}}_{\mathrm{\infty}}$;

(v)
ρ is order continuous in ℰ, i.e., ${g}_{n}\in \mathcal{E}$ and ${g}_{n}(\omega )\downarrow 0$ implies $\rho ({g}_{n})\downarrow 0$.
Similarly, as in the case of measure spaces, we say that a set $A\in \mathrm{\Sigma}$ is ρnull if $\rho (g{1}_{A})=0$ for every $g\in \mathcal{E}$. We say that 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}(\mathrm{\Omega},\mathrm{\Sigma},\mathcal{P},\rho )$ is actually an equivalence class of functions equal ρa.e. rather than an individual function. Where no confusion exists, we write ℳ instead of $\mathcal{M}(\mathrm{\Omega},\mathrm{\Sigma},\mathcal{P},\rho )$. Let ρ be a regular function pseudomodular.

(a)
We say that ρ is a regular function semimodular if $\rho (\alpha f)=0$ for every $\alpha >0$ implies $f=0$ ρa.e.;

(b)
We say that ρ is a regular function modular if $\rho (f)=0$ implies $f=0$ ρa.e.
The class of all nonzero regular convex function modulars defined on Ω is denoted by ℜ. Let us denote $\rho (f,E)=\rho (f{1}_{E})$ for $f\in \mathcal{M}$, $E\in \mathrm{\Sigma}$. It is easy to prove that $\rho (f,E)$ is a function pseudomodular in the sense of Def. 2.1.1 in [27] (more precisely, it is a function pseudomodular with the Fatou property). Therefore, we can use all results of the standard theory of modular function space as per the framework defined by Kozlowski in [27–29]; see also Musielak [4] for the basics of the general modular theory. Let ρ be a convex function modular.
(a) The associated modular function space is the vector space ${L}_{\rho}(\mathrm{\Omega},\mathrm{\Sigma})$, or briefly ${L}_{\rho}$, defined by
(b) The following formula defines a norm in ${L}_{\rho}$ (frequently called the Luxemburg norm):
A modular function space furnishes a wonderful example of a modular metric space. Indeed, let ${L}_{\rho}$ be a modular function space. Define the function w by
for all $\lambda >0$ and $f,g\in {L}_{\rho}$. Then w is a modular metric on ${L}_{\rho}$. Note that w is convex if and only if ρ is convex. Moreover, we have
for any $f,g\in {L}_{\rho}$.
Other easy examples may be found in [1, 2].
Definition 2.3 Let ${X}_{w}$ be a modular metric space.

(1)
The sequence ${({x}_{n})}_{n\in N}$ in ${X}_{w}$ is said to be wconvergent to $x\in {X}_{w}$ if and only if ${w}_{\lambda}({x}_{n},x)\to 0$ as $n\to \mathrm{\infty}$ for some $\lambda >0$.

(2)
The sequence ${({x}_{n})}_{n\in N}$ in ${X}_{w}$ is said to be wCauchy if ${w}_{\lambda}({x}_{m},{x}_{n})\to 0$ as $m,n\to \mathrm{\infty}$ for some $\lambda >0$.

(3)
A subset C of ${X}_{w}$ is said to be wclosed if the limit of a wconvergent sequence of C always belongs to C.

(4)
A subset C of ${X}_{w}$ is said to be wcomplete if any wCauchy sequence in C is a convergent sequence and its limit is in C.

(5)
A subset C of ${X}_{w}$ is said to be wbounded if for some $\lambda >0$, we have
$${\delta}_{w}(C)=sup\{{w}_{\lambda}(x,y);x,y\in C\}<\mathrm{\infty}.$$
In general if ${lim}_{n\to \mathrm{\infty}}{w}_{\lambda}({x}_{n},x)=0$ for some $\lambda >0$, then we may not have ${lim}_{n\to \mathrm{\infty}}{w}_{\lambda}({x}_{n},x)=0$ for all $\lambda >0$. Therefore, as it is done in modular function spaces, we say that w satisfies ${\mathrm{\Delta}}_{2}$condition if this is the case, i.e., ${lim}_{n\to \mathrm{\infty}}{w}_{\lambda}({x}_{n},x)=0$ for some $\lambda >0$ implies ${lim}_{n\to \mathrm{\infty}}{w}_{\lambda}({x}_{n},x)=0$ for all $\lambda >0$. In [1] and [2], one can find a discussion about the connection between wconvergence and metric convergence with respect to the Luxemburg distances. In particular, we have
for any $\{{x}_{n}\}\in {X}_{w}$ and $x\in {X}_{w}$. And, in particular, we have wconvergence and ${d}_{w}$ convergence are equivalent if and only if the modular w satisfies the ${\mathrm{\Delta}}_{2}$condition. Moreover, if the modular w is convex, then we know that ${d}_{w}^{\ast}$ and ${d}_{w}$ are equivalent, which implies
for any $\{{x}_{n}\}\in {X}_{w}$ and $x\in {X}_{w}$ [1, 2]. Another question that arises in this setting is the uniqueness of wlimit. Assume that w is regular, then we have the uniqueness of wlimit. Indeed, let $\{{x}_{n}\}\in {X}_{w}$ be a sequence such that $\{{x}_{n}\}$ wconverges to $a\in {X}_{w}$ and $b\in {X}_{w}$. Then we have
for any $n\ge 1$. Our assumptions imply ${w}_{2}(a,b)=0$. Since w is regular, we must have $a=b$ as claimed.
Let us finish this section with the modular metric definitions of Lipschitzian mappings. The definitions are straightforward generalizations of their norm and metric equivalents [10].
Definition 2.4 Let $(X,w)$ be a modular metric space. Let C be a nonempty subset of ${X}_{w}$. A mapping $T:C\to C$ is called a Lipschitzian mapping if there exists a constant $k\ge 0$ such that
The smallest such constant k is known as ${Lip}_{w}(T)$. A point $x\in C$ is called a fixed point of T whenever $T(x)=x$. The set of fixed points of T is denoted by $Fix(T)$.
In the next definition, we introduce the concept of pointwise contraction mappings in this setting.
Definition 2.5 Let $(X,w)$ be a modular metric space. Let C be a nonempty subset of ${X}_{w}$. A mapping $T:C\to C$ is called

(i)
a contraction mapping if there exists a constant $k\in [0,1)$ such that
$${w}_{1}(T(x),T(y))\le k{w}_{1}(x,y)\phantom{\rule{1em}{0ex}}\text{for any}x,y\in C;$$ 
(ii)
a pointwise contraction mapping if there exists a function $\alpha :C\to [0,1)$ such that
$${w}_{1}(T(x),T(y))\le \alpha (x){w}_{1}(x,y)\phantom{\rule{1em}{0ex}}\text{for any}x,y\in C.$$
In [1, 2] the author defined Lipschitzian mappings in modular metric spaces and proved some fixed point theorems. Our definition is more general. Indeed, in the case of modular function spaces, it is proved in [10] that
if and only if
Moreover, an example is given to show that
but T is not Lipschitzian with respect to ${d}_{w}$ with constant 1.
3 Banach contraction principle in modular metric spaces
The statement of Banach contraction principle in modular metric spaces is as follows.
Theorem 3.1 Let $(X,w)$ be a modular metric space. Assume that w is regular. Let C be a nonempty subset of ${X}_{w}$. Assume that C is wcomplete and wbounded, i.e., ${\delta}_{w}(C)=sup\{{w}_{1}(x,y);x,y\in C\}<\mathrm{\infty}$. Let $T:C\to C$ be a contraction. Then T has a unique fixed point ${x}_{0}$. Moreover, the orbit $\{{T}^{n}(x)\}$ wconverges to ${x}_{0}$ for each $x\in C$.
Proof Since T is a contraction, therefore there exists $k\in [0,1)$ such that
First note that T has at most one fixed point. Indeed, let $a,b\in C$ be two fixed points of T. Then we have
Our assumption on C implies ${w}_{1}(a,b)<\mathrm{\infty}$. This forces ${w}_{1}(a,b)=0$, which implies $a=b$ because w is regular. Next we fix $x\in C$. Then we have
for any $n\ge 1$ and $h\ge 1$. This clearly implies that $\{{T}^{n}(x)\}$ is wCauchy. Since C is wcomplete, therefore $\{{T}^{n}(x)\}$ wconverges to some point ${x}_{0}\in C$. Next let us show that ${x}_{0}$ is a fixed point of T. Indeed, we have
which implies
for any $n\ge 1$. Since $\{{T}^{n}(x)\}$ wconverges to ${x}_{0}$, therefore we get ${w}_{2}({x}_{0},T({x}_{0}))=0$, i.e., $T({x}_{0})={x}_{0}$. Since T has at most one fixed point, we conclude that any orbit of T wconverges to the only fixed point ${x}_{0}$ of T. □
Remark 3.1 In the classical Banach contraction principle, the metric space is not supposed to be bounded. In fact the contractive condition of the mapping implies that any orbit is bounded. In the case of a modular metric space, due to the failure of the triangle inequality, it is not true that the contractive condition of the mapping implies the boundedness of the orbit. Note that if T has a fixed point, then it is obvious that an orbit of T is bounded. Conversely, if T has a bounded orbit $\{{T}^{n}(x)\}$ for some $x\in C$, then we have
for any $n\ge 1$ and $h\ge 1$. This clearly implies that $\{{T}^{n}(x)\}$ is wCauchy. Since C is wcomplete, then $\{{T}^{n}(x)\}$ is wconvergent to some ${x}_{0}\in C$. Since
we conclude that $\{{T}^{n}(x)\}$ wconverges to $T({x}_{0})$. Since w is regular, we must have $T({x}_{0})={x}_{0}$, i.e., ${x}_{0}$ is the only fixed point of T. Next, for any $z\in C$ such that ${w}_{1}(z,{x}_{0})<\mathrm{\infty}$, we have
for any $n\ge 1$. Hence the orbit $\{{T}^{n}(z)\}$ wconverges to ${x}_{0}$ as well. In this remark, we show how one has to be careful when dealing with modulars. Indeed, a modular may take infinite value. This is the problem that the authors of [30] did not pay attention to. This was also pointed out in the short note [31]. In fact, the authors of [30] did try to fix this problem in another short note [32] but they used the triangle inequality in their proof knowing that w does not in general satisfy the triangle inequality. Therefore our Theorem 3.1 properly establishes the classical Banach contraction principle in the best possible way in modular metric spaces and improves a number of earlier known results in this setting.
4 Pointwise contraction mappings in modular metric spaces
Pointwise contractive behavior was introduced in [22] to extend the contractive behavior in the Banach contraction principle. The central fixed point result in the metric setting for such mappings is the following theorem.
Let K be a weakly compact convex subset of a Banach space and suppose that $T:K\to K$ is a pointwise contraction. Then T has a unique fixed point ${x}_{0}$. Moreover, the orbit $\{{T}^{n}(x)\}$ converges to ${x}_{0}$ for each $x\in K$.
The main focus of this paper is on the fixed point problem, so we would like to make some observations here. It is easy to prove that a pointwise contraction $T:C\to C$ has a fixed point in the same way as in the case of contractions. Indeed, let a be a fixed point of T. Then the orbit $\{{T}^{n}(x)\}$ wconverges to a for each $x\in C$ such that ${w}_{1}(x,a)<\mathrm{\infty}$. Indeed, we have
for any $x\in C$. Since $\alpha (a)<1$, we conclude that $\{{T}^{n}(x)\}$ wconverges to a. Moreover, if b is another fixed point of T, then from ${w}_{1}(a,b)<\mathrm{\infty}$, we must have $a=b$. But it is not clear how to prove the existence of the fixed point from the convergence of the orbits, which is the case in the classical proof of the Banach contraction principle. In this case, we have to use a different technique than the one used in Theorem 3.1.
Let $(X,w)$ be a modular metric space. In the rest of this work, we assume that w satisfies the Fatou property, i.e., if $\{{x}_{n}\}$ wconverges to x and $\{{y}_{n}\}$ wconverges to y, then we must have
For any $x\in {X}_{w}$ and $r\ge 0$, we define the modular ball
Note that if w satisfies the Fatou property, then modular balls are wclosed. An admissible subset of ${X}_{w}$ is defined as an intersection of modular balls. Denote by ${\mathcal{A}}_{w}({X}_{w})$ the family of admissible subsets of ${X}_{w}$. Note that ${\mathcal{A}}_{w}({X}_{w})$ is stable under intersection. At this point we introduce some notation which will be used in the remainder of this work. For a subset A of a modular metric space ${X}_{w}$, set
Recall that A is wbounded if ${\delta}_{w}(A)=sup\{{w}_{1}(x,y);x,y\in A\}<\mathrm{\infty}$.
Definition 4.1 Let $(X,w)$ be a modular metric space. We say that ${\mathcal{A}}_{w}({X}_{w})$ is compact if any family ${({A}_{\alpha})}_{\alpha \in \mathrm{\Gamma}}$ of elements of ${\mathcal{A}}_{w}({X}_{w})$ has a nonempty intersection provided ${\bigcap}_{\alpha \in F}{A}_{\alpha}\ne \mathrm{\varnothing}$ for any finite subset $F\subset \mathrm{\Gamma}$.
Remark 4.1 Note that if ${\mathcal{A}}_{w}({X}_{w})$ is compact, then ${X}_{w}$ is wcomplete. Indeed, let $\{{x}_{n}\}\subset {X}_{w}$ be a wCauchy sequence. Set
for any $n\ge 1$. Since $\{{x}_{n}\}$ is a wCauchy sequence, then ${lim}_{n\to \mathrm{\infty}}{r}_{n}=0$. By the definition of ${r}_{n}$, we get ${x}_{m}\in {B}_{w}({x}_{n},{r}_{n})$ for any $n\ge 1$ and $m\ge n$. Hence, for any ${n}_{1},{n}_{2},\dots ,{n}_{p}\ge 1$, we have
for any $m\ge max\{{n}_{1},{n}_{2},\dots ,{n}_{p}\}$. Since ${\mathcal{A}}_{w}({X}_{w})$ is compact, then
If $z\in \mathrm{\Omega}$, then we have ${w}_{1}({x}_{n},z)\le {r}_{n}$ for any $n\ge 1$. Hence $\{{x}_{n}\}$ wconverges to z, which completes the proof of our statement.
The main result in [22, 23] may be stated in modular metric spaces as follows.
Theorem 4.2 Let $(X,w)$ be a modular metric space. Let C be a nonempty wclosed wbounded subset of ${X}_{w}$. Assume that the family ${\mathcal{A}}_{w}(C)$ is compact. Let $T:C\to C$ be a pointwise contraction. Then T has a unique fixed point ${x}_{0}\in C$. Moreover, the orbit $\{{T}^{n}(x)\}$ wconverges to ${x}_{0}$ for each $x\in C$.
Proof Since ${\mathcal{A}}_{w}(C)$ is compact, therefore there exists a minimal nonempty $K\in {\mathcal{A}}_{w}(C)$ such that $T(K)\subset K$. It is easy to check that ${cov}_{w}(T(K))=K$. Let us prove that ${\delta}_{w}(K)=0$, i.e., K is reduced to one point. Indeed, since C is wbounded, then ${\delta}_{w}(K)<\mathrm{\infty}$, i.e., K is also wbounded. As T is a pointwise contraction, so there exists a mapping $\alpha :C\to [0,1)$ such that
For any $x\in K$, set ${r}_{x}(K)=sup\{{w}_{1}(x,y);y\in K\}$. We have ${r}_{x}(K)\le {\delta}_{w}(K)$ for any $x\in K$. Moreover, it is easy to check that $T(K)\subset {B}_{w}(T(x),\alpha (x){r}_{x}(K))$ for any $x\in K$, which implies ${cov}_{w}(T(K))\subset {B}_{w}(T(x),\alpha (x){r}_{x}(K))$. So, ${r}_{T(x)}(K)\le \alpha (x){r}_{x}(K)$ for any $x\in K$. Next we fix $a\in K$ and define
Clearly, ${K}_{a}$ is not empty since $a\in {K}_{a}$. Moreover, we have
And since ${r}_{T(x)}(K)\le \alpha (x){r}_{x}(K)$ for any $x\in K$, we get $T({K}_{a})\subset {K}_{a}$. The minimality behavior of K implies ${K}_{a}=K$. In particular, we have ${r}_{x}(K)={r}_{a}(K)$ for any $x\in K$. Hence ${\delta}_{w}(K)={sup}_{x\in K}{r}_{x}(K)={r}_{a}(K)$ for any $a\in K$. Hence ${\delta}_{w}(K)\le \alpha (a){\delta}_{w}(K)$. And since $\alpha (a)<1$, we get ${\delta}_{w}(K)=0$, i.e., K is reduced to one point which is fixed by T. Hence the fixed point set of T is not empty. The remaining conclusion of the theorem follows from the general properties of pointwise contractions. □
References
 1.
Chistyakov VV: Modular metric spaces, I: basic concepts. Nonlinear Anal. 2010, 72(1):1–14. 10.1016/j.na.2009.04.057
 2.
Chistyakov VV: Modular metric spaces, II: application to superposition operators. Nonlinear Anal. 2010, 72(1):15–30. 10.1016/j.na.2009.04.018
 3.
Nakano H: Modulared SemiOrdered Linear Spaces. Maruzen, Tokyo; 1950.
 4.
Musielak J Lecture Notes in Math. 1034. In Orlicz Spaces and Modular Spaces. Springer, Berlin; 1983.
 5.
Orlicz W: Collected Papers. Part I, II. Panstwowe Wydawnictwo Naukove, Warsaw; 1988.
 6.
Diening, L: Theoretical and numerical results for electrorheological fluids. Ph.D. thesis, University of Freiburg, Germany (2002)
 7.
Ruzicka M: Electrorheological Fluids Modeling and Mathematical Theory. Springer, Berlin; 2002.
 8.
Harjulehto P, Hästö P, Koskenoja M, Varonen S: The Dirichlet energy integral and variable exponent Sobolev spaces with zero boundary values. Potential Anal. 2006, 25(3):205–222. 10.1007/s1111800690233
 9.
Heinonen J, Kilpeläinen T, Martio O: Nonlinear Potential Theory of Degenerate Elliptic Equations. Oxford University Press, Oxford; 1993.
 10.
Khamsi MA, Kozlowski WK, Reich S: Fixed point theory in modular function spaces. Nonlinear Anal. 1990, 14: 935–953. 10.1016/0362546X(90)90111S
 11.
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
 12.
Khamsi MA, Kozlowski WK: On asymptotic pointwise nonexpansive mappings in modular function spaces. J. Math. Anal. Appl. 2011, 380: 697–708. 10.1016/j.jmaa.2011.03.031
 13.
Belluce LP, Kirk WA: Fixedpoint theorems for families of contraction mappings. Pac. J. Math. 1966, 18: 213–217. 10.2140/pjm.1966.18.213
 14.
Belluce LP, Kirk WA: Nonexpansive mappings and fixedpoints in Banach spaces. Ill. J. Math. 1967, 11: 474–479.
 15.
Browder FE: Nonexpansive nonlinear operators in a Banach space. Proc. Natl. Acad. Sci. USA 1965, 54: 1041–1044. 10.1073/pnas.54.4.1041
 16.
Bruck RE: A common fixed point theorem for a commuting family of nonexpansive mappings. Pac. J. Math. 1974, 53: 59–71. 10.2140/pjm.1974.53.59
 17.
DeMarr RE: Common fixedpoints for commuting contraction mappings. Pac. J. Math. 1963, 13: 1139–1141. 10.2140/pjm.1963.13.1139
 18.
Lim TC: A fixed point theorem for families of nonexpansive mappings. Pac. J. Math. 1974, 53: 487–493. 10.2140/pjm.1974.53.487
 19.
Goebel K, Reich S Series of Monographs and Textbooks in Pure and Applied Mathematics 83. In Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. Dekker, New York; 1984.
 20.
Goebel K, Sekowski T, Stachura A: Uniform convexity of the hyperbolic metric and fixed points of holomorphic mappings in the Hilbert ball. Nonlinear Anal. TMA 1980, 4: 1011–1021. 10.1016/0362546X(80)900127
 21.
Kirk WA:A fixed point theorem in $CAT(0)$ spaces and ℝtrees. Fixed Point Theory Appl. 2004, 2004(4):309–316.
 22.
Kirk WA: Fixed points of asymptotic contractions. J. Math. Anal. Appl. 2003, 277: 645–650. 10.1016/S0022247X(02)006121
 23.
Kirk WA: Asymptotic pointwise contractions. Plenary Lecture, the 8th International Conference on Fixed Point Theory and Its Applications 2007., Chiang Mai University, Thailand, July 1622 2007
 24.
Hussain N, Khamsi MA: On asymptotic pointwise contractions in metric spaces. Nonlinear Anal. 2009, 71(10):4423–4429. 10.1016/j.na.2009.02.126
 25.
Kirk WA, HongKun Xu: Asymptotic pointwise contractions. Nonlinear Anal. 2008, 69: 4706–4712. 10.1016/j.na.2007.11.023
 26.
Khamsi MA, Kirk WA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York; 2001.
 27.
Kozlowski WM Series of Monographs and Textbooks in Pure and Applied Mathematics 122. In Modular Function Spaces. Dekker, New York/Basel; 1988.
 28.
Kozlowski WM: Notes on modular function spaces I. Comment. Math. 1988, 28: 91–104.
 29.
Kozlowski WM: Notes on modular function spaces II. Comment. Math. 1988, 28: 105–120.
 30.
Mongkolkeha C, Sintunavarat W, Kumam P: Fixed point theorems for contraction mappings in modular metric spaces. Fixed Point Theory Appl. 2011. 10.1186/16871812201193
 31.
Dehghan H, Eshaghi Gordji M, Ebadian A: Comment on ‘Fixed point theorems for contraction mappings in modular metric spaces, Fixed Point Theory and Applications, doi:10.1186/1687–1812–2011–93, 20 pages’. Fixed Point Theory Appl. 2012. 10.1186/168718122012144
 32.
Mongkolkeha C, Sintunavarat W, Kumam P: Correction: Fixed point theorems for contraction mappings in modular metric spaces, Fixed Point Theory Appl. 2011, 2011:93. Fixed Point Theory Appl. 2012., 2012: Article ID 103 10.1186/168718122012103
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
 ${\mathrm{\Delta}}_{2}$condition
 fixed point
 modular function space
 modular metric spaces
 Orlicz spaces
 pointwise contraction mapping