# One-local retract and common fixed point in modular function spaces

- Saleh Abdullah Al-Mezel
^{1}Email author, - Abdullah Al-Roqi
^{1}and - Mohamed Amine Khamsi
^{2}

**2012**:109

https://doi.org/10.1186/1687-1812-2012-109

© Al-Mezel et al; licensee Springer. 2012

**Received: **6 March 2012

**Accepted: **5 July 2012

**Published: **5 July 2012

## Abstract

In this paper, we introduce and study the concept of one-local retract in modular function spaces. In particular, we prove that any commutative family of *ρ*-nonexpansive mappings defined on a nonempty, *ρ*-closed and *ρ*-bounded subset of a modular function space has a common fixed point provided its convexity structure of admissible subsets is compact and normal.

**MSC**: Primary 47H09; Secondary 46B20, 47H10.

### Keywords

convexity structure fixed point modular function space nonexpansive mappings normal structure retract## Introduction

The purpose of this paper is to give an outline of a common fixed point theory for nonexpansive mappings defined on some subsets of modular function spaces. These spaces are natural generalizations 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. The current paper operates within the framework of convex function modulars. The importance for applications of nonexpansive mappings in modular function spaces consists in the richness of structure of modular function spaces, that-besides being Banach spaces (or *F*-spaces 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 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 apparatus 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 has been well developed since the 1960s (see e.g. [1–6]), and generalized to other metric spaces (see e.g. [7–9]), and modular function spaces (see e.g. [10–12]).

In this paper, we invesigate the structure of the fixed point set of *ρ*-nonexpansive mappings. In particular, we introduce and investigate the concept of one-local retracts in the framework of modular function spaces. Then we show a common fixed point in this setting.

## Preliminaries

Let Ω be a nonempty set and ∑ be a nontrivial *σ*-algebra of subsets of Ω. Let $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 ℰ we denote the linear space of all simple functions with supports from $P$. By ℳ_{∞} we will denote the space of all extended measurable functions, i.e. all functions *f:* Ω → [-∞, ∞] such that there exists a sequence{*g*_{
n
}} ⊂ ℰ, |*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

*ρ*: ℳ

_{∞}→ [0, ∞] 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*∈ ℳ_{∞}; - (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*∈ ℳ; - (iv)
*ρ*has the Fatou property, i.e. |*f*_{ n }(*ω*)|↑|*f*(*ω*)| for all*ω*∈ Ω implies*ρ*(*f*_{ n }) ↑*ρ*(*f*), where*f*∈ ℳ_{∞}; - (v)
*ρ*is order continuous in ℰ, i.e.*g*_{ n }∈ ℰ and*|g*_{ n }(*ω*)*|*↓ 0 implies*ρ*(*g*_{ n }) ↓ 0.

*A*∈ ∑ is

*ρ*-null if

*ρ*(

*g*1

_{ A }) = 0 for every

*g*∈ ℰ. 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}\left(\Omega ,\mathrm{\Sigma},\mathcal{P},\rho \right)$ is actually an equivalence class of functions equal *ρ*-a.e. rather than an individual function. Where no confusion exists we will write ℳ instead of $\mathcal{M}\left(\Omega ,\mathrm{\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* ∈ ℳ, *E* ∈ ∑. It is easy to prove that *ρ*(*f, E*) is a function pseudomodular in the sense of Def. 2.1.1 in [13] (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 [13–15], see also Musielak [16] for the basics of the general modular theory.

**Definition 2.3**. [13–15] Let

*ρ*be a convex function modular.

- (a)A modular function space is the vector space
*L*_{ ρ }(Ω, ∑), or briefly*L*_{ ρ }, defined by${L}_{\rho}=\left\{f\in \mathcal{M};\rho \left(\lambda f\right)\to 0\phantom{\rule{2.77695pt}{0ex}}as\phantom{\rule{2.77695pt}{0ex}}\lambda \to 0\right\}.$ - (b)The following formula defines a norm in
*L*_{ ρ }(frequently called Luxemburg norm):${\u2225f\u2225}_{\rho}=\mathsf{\text{inf}}\left\{\alpha >0;\rho \left(f/\alpha \right)\le 1\right\}.$

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**. [13–15]

*Let ρ*∈ ℜ.

- (1)
*L*_{ ρ }, ||*f*||_{ ρ }*is complete and the norm*|| · ||_{ ρ }*is monotone w.r.t. the natural order in ℳ*. - (2)
||

*f*_{ n }||_{ ρ }→ 0*if and only if ρ*(*af*_{ 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*{*fn*}*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}=\{f\in {L}_{\rho};\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\rho \left(f,\cdot \right)$*is order continuous*}*and*${E}_{\rho}=\left\{f\in {L}_{\rho};\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}\lambda f\in {L}_{\rho}^{0}\phantom{\rule{0.3em}{0ex}}for\phantom{\rule{0.3em}{0ex}}every\phantom{\rule{0.3em}{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 ℰ (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}{\mathsf{\text{sup}}}\rho \left(2{f}_{n},{D}_{k}\right)\to 0$ whenever *D*_{
k
} ↓ ∅ and $\underset{n}{\mathsf{\text{sup}}}\rho \left({f}_{n},{D}_{k}\right)\to 0$.

**Theorem 2.2**.

*Let ρ*∈ ℜ.

*The following conditions are equivalent:*

- (a)
*ρ has*Δ_{2}, - (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 }→ 0 (*ρ*) 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${d}_{\rho}\left(f,C\right)=\mathsf{\text{inf}}\left\{\rho \left(f-g\right);g\in C\right\}.$

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*_{ ρ }(*x, r*) = {*y*∈*L*_{ ρ };*ρ*(*x - y*) ≤*r*}*are ρ-closed*.

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

**Definition 2.6**. 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.

Throughout this paper we will need the following.

**Definition 2.7**. Let

*ρ*∈ ℜ and

*C*⊂

*L*

_{ ρ }be nonempty.

- (a)By the
*ρ*-diameter of*C*, we will understand the number${\delta}_{\rho}\left(C\right)=\mathsf{\text{sup}}\left\{\rho \left(f-g\right);f,g\in C\right\}.$

*C*is said to be

*ρ*-bounded whenever

*δ*

_{ ρ }(

*C*) < ∞.

- (b)
The quantity

*r*_{ ρ }(*f, C*) = sup{*ρ*(*f*-*g*);*g*∈*C*} will be called the*ρ*-Chebyshev radius of*C*with respect to*f*. - (c)
The

*ρ*-Chebyshev radius of*C*is defined by*R*_{ ρ }(*C*) = inf {*r*_{ ρ }(*f, C*);*f*∈*C*}. - (d)The
*ρ*-Chebyshev center of*C*is defined as the set${\mathcal{C}}_{\rho}\left(C\right)=\left\{f\in C;{r}_{\rho}\left(f,C\right)={R}_{\rho}\left(C\right)\right\}.$

Note that *R*_{
ρ
}(*C*) ≤ *r*_{
ρ
} (*f, C*) ≤ *δ*_{
ρ
}(*C*) for all *f* ∈ *C* and observe that there is no reason, in general, for ${\mathcal{C}}_{\rho}\left(C\right)$ to be nonempty.

Let us finish this section with the modular definitions of *ρ*-nonexpansive mappings. The definitions are straightforward generalizations of their norm and metric equivalents.

**Definition 2.8**. Let

*ρ*∈ ℜ and

*C*⊂

*L*

_{ ρ }be nonempty and

*ρ*-closed. A mapping

*T: C*→

*C*is called a

*ρ*-nonexpansive mapping if

A point *f* ∈ *C* is called a fixed point of *T* whenever *T*(*f*) = *f*. The set of fixed point of *T* is denoted by Fix(*T*).

## Penot compactness of admissible sets

The following definition is needed.

**Definition 2.9**. Let

*ρ*∈ ℜ and

*C*⊂

*L*

_{ ρ }be nonempty and

*ρ*-bounded. We say that

*A*is an admissible subset of

*C*if

where *b*_{
i
} ∈ *C, r*_{
i
} ≥ 0 and *I* is an arbitrary index set. By $\mathcal{A}\left(C\right)$ we denote the family of all admissible subsets of *C*.

Note that if *C* is *ρ*-bounded, then $C\in \mathcal{A}\left(C\right)$. In order to prove an analogue of Kirk's fixed point theorem [3], Penot [17] introduced the following definition.

**Definition 2.10**. Let

*ρ*∈ ℜ and

*C*⊂

*L*

_{ ρ }be nonempty.

- (1)
We will say that $\mathcal{A}\left(C\right)$ is

*ρ*-normal if for any nonempty $A\in \mathcal{A}\left(C\right)$, which has more than one point, we have*R*_{ ρ }(*A*)*< δ*_{ ρ }(*A*). - (2)We will say that $\mathcal{A}\left(C\right)$ is compact if for any family ${\left\{{A}_{\alpha}\right\}}_{\alpha \in \Gamma}\subset \mathcal{A}\left(C\right)$ we have$\bigcap _{\alpha \in \Gamma}{A}_{\alpha}\ne \mathrm{\varnothing},$

provided that $\bigcap _{\alpha \in F}{A}_{\alpha}\ne \mathrm{\varnothing}$ for any finite subset *F* of Γ.

Clearly if $\mathcal{A}\left({L}_{\rho}\right)$ is compact, then *L*_{
ρ
} has property (*R*). In [18], the authors discussed the concept of uniform convexity in modular function spaces. In particular they proved that uniform convexity implies the property (R). Next, we show that uniform convexity implies compactness in the sense of Penot [17] of the family of convex sets. First, let us recall the definition of uniform convexity in modular function spaces. For more on this, the reader may consult [18].

**Definition 2.11**. Let

*ρ*∈ ℜ.

- (i)Let
*r*> 0,*ε*> 0. Define$D\left(r,\epsilon \right)=\left\{\left(f,g\right);f,g\in {L}_{\rho},\rho \left(f\right)\le r,\rho \left(g\right)\le r,\rho \left(\frac{f-g}{2}\right)\ge \epsilon r\right\}.$

*δ*(

*r, ε*) = 1

*if D*(

*r, ε*) = ∅. We say that

*ρ*satisfies (

*UC*) if for every

*r*> 0,

*ε*> 0,

*δ*(

*r, ε*) > 0. Note, that for every

*r*> 0,

*D*(

*r, ε*) ≠ ∅, for

*ε*> 0 small enough.

- (ii)We say that
*ρ*satisfies (UUC) if for every*s*≥ 0,*ε*> 0 there exists$\eta \left(s,\epsilon \right)>0$

*s*and

*ε*such that

- (iii)We say that
*ρ*is Strictly Convex, (SC), if for every*f, g*∈*L*_{ ρ }such that*ρ*(*f*) =*ρ*(*g*) and$\rho \left(\frac{f+g}{2}\right)=\frac{\rho \left(f\right)+\rho \left(g\right)}{2}$

there holds *f* = *g*.

Note that in [11], the authors proved that in Orlicz spaces over a finite, atomless measure space, both conditions (UC) and (UUC) are equivalent. Typical examples of Orlicz functions that do not satisfy the Δ_{2} condition but are uniformly convex are: *φ*_{1}(*t*) = *e*^{|t|}-|*t*|-1 and ${\phi}_{2}\left(t\right)={e}^{{t}^{2}}-1$. In these cases, the associated modular is (UUC).

*ρ*∈ ℜ is (UUC), then for any nonempty, convex, and

*ρ*-closed

*C*⊂

*L*

_{ ρ }, and any

*f*∈

*L*

_{ ρ }such that

*d*=

*d*

_{ ρ }(

*f, C*)

*<*∞, there exists a unique best

*ρ*-approximant of

*f*in

*C*, i.e. a unique

*g*

_{0}∈

*C*such that

Moreover it is also shown in [18] that if *ρ* ∈ ℜ is (*UUC*), then for any nonincreasing sequence {*C*_{
n
}} of nonempty, convex, and *ρ*-closed subsets of *L*_{
ρ
}, we have ∩_{n ≥ 1}*C*_{
n
} ≠ ∅, provided there exists *f* ∈ *L*_{
ρ
} such that $\underset{n\ge 1}{\mathsf{\text{sup}}}{d}_{\rho}\left(f,{C}_{n}\right)\infty $. The authors in [18] did not show that such conclusion is still valid for any decreasing family. A property useful to get the compactness of the admissible subsets.

**Theorem 2.3**. *Let ρ* ∈ ℜ. *Assume ρ* ∈ ℜ *is (UUC). Let* {*C*_{
α
}}_{α∈Γ}*be a decreasing family of nonempty, convex, ρ-closed subsets of L*_{
ρ
}*, where* (Γ,≺) *is upward directed. Assume that there exists f ∈ L*_{
ρ
} *such that* $\underset{\alpha \in \Gamma}{\mathsf{\text{sup}}}{d}_{\rho}\left(f,{C}_{\alpha}\right)\infty $. *Then*, ∩_{α∈Γ}C_{
α
}≠ ∅.

*Proof*. Set $d=\underset{\alpha \in \Gamma}{\mathsf{\text{sup}}}{d}_{\rho}\left(f,{C}_{\alpha}\right)$. Without loss of generality, we may assume

*d*> 0. For Any

*n*≥ 1, there exists

*a*

_{ n }∈ Γ such that

*α*

_{ n }≺

*α*

_{n+1}. In particular we have ${C}_{{\alpha}_{n+1}}\subset {C}_{{\alpha}_{n}}$ for any

*n*≥ 1. Since

*ρ*is (UUC), we get ${C}_{0}={\cap}_{n\ge 1}{C}_{{\alpha}_{n}}\ne \mathrm{\varnothing}$. Clearly

*C*

_{0}is

*ρ*-closed and

Again using the property (UUC) satisfied by *ρ*, there exists *g*_{0} ∈ *C*_{0} unique such that *d*_{
ρ
}(*f, C*_{0}) = *ρ* (*f - g*_{0}). Let us prove that *g*_{0} ∈ *C*_{
α
} for any *α* ∈ Γ. Fix *α* ∈ Γ. If for some *n* ≥ 1 we have *α* ≺ *α*_{
n
}, then obviously we have ${g}_{0}\in {C}_{{\alpha}_{n}}\subset {C}_{\alpha}$.

*α*⊀

*α*

_{ n }, for any

*n*≥ 1. Since Γ is upward directed, there exists

*β*

_{ n }∈ Γ such that

*α*

_{ n }≺

*β*

_{ n }and

*α*≺

*β*

_{ n }for any

*n*≥ 1. We can also assume that

*β*

_{ n }≺

*β*

_{n+1}for any

*n*≥ 1. Again we have ${C}_{1}={\cap}_{n\ge 1}{C}_{{\beta}_{n}}\ne \mathrm{\varnothing}$. Since ${C}_{{\beta}_{n}}\subset {C}_{{\alpha}_{n}}$, for any

*n*≥ 1, we get

*C*

_{1}⊂

*C*

_{0}. Moreover we have

Hence, *d*_{
ρ
}(*f, C*_{1}) = *d* which implies the existence of a unique point *g*_{1} ∈ *C*_{1} such that *d*_{
ρ
}(*f, C*_{1}) = *ρ*(*f - g*_{1}) = *d*. Since *ρ* is uniformly convex, it must be (SC). Hence, *g*_{0} = *g*_{1}. In particular, we have ${g}_{0}\in {C}_{{\beta}_{n}}$, for any *n* ≥ 1. Since *α* ≺ *β*_{
n
}, we get ${C}_{{\beta}_{n}}\subset {C}_{\alpha}$, for any *n* ≥ 1, which implies *g*_{0} ∈ *C*_{
α
}. Since *α* was taking arbitrary in Γ, we get *g*_{0} ∈ ∩_{α∈Γ} *C*_{α}, which implies ∩_{α∈Γ} *C*_{α} ≠ ∅. □

Since *ρ* is convex, *ρ*-closed balls are convex. Theorem 2.3 implies the following.

**Corollary 2.1**. *Let ρ* ∈ ℜ *and C* ⊂ *L*_{
ρ
} *be nonempty, convex, ρ-closed, and ρ-bounded. Assume ρ is* (*UUC*). *Then* $\mathcal{A}\left(C\right)$ *is compact*.

**2.1**. Note that under the above assumptions, $\mathcal{A}\left(C\right)$ is

*ρ*-normal. Indeed let $A\in \mathcal{A}\left(C\right)$ nonempty and not reduced to one point. Let

*f, g*∈

*A*such that

*f ≠ g*. Then $\rho \left(\frac{f-g}{2}\right)>0$. Since

*ρ*is (UUC), there exists

*η*> 0 such that for any

*h*∈

*A*, we have

Hence, ${r}_{\rho}\left(\frac{f+g}{2},A\right)\le \left(1-\eta \right){\delta}_{\rho}\left(A\right)$, which implies *R*_{
ρ
}(*A*) *< δ*_{
ρ
}(*A*).

Finally, we state Penot's formulation of Kirk's fixed point theorem in modular function spaces. For the sake of completeness we will give its proof.

**Theorem 2.4**. *Let ρ* ∈ ℜ *and C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. Then any ρ-nonexpansive T: C* → *C has a fixed point*.

*Proof*. Since

*C*is

*ρ*-bounded, then we have $C\in \mathcal{A}\left(C\right)$. Since $\mathcal{A}\left(C\right)$ is compact, the family $\mathcal{F}=\left\{A\in \mathcal{A}\left(C\right);T\left(A\right)\subset A\right\}$ has a minimal element

*K*. Set

*T*(

*K*) ⊂

*K*

_{0}. This implies that

*K*

_{0}is nonempty and belongs to $\mathcal{A}\left(C\right)$. Moreover since

*K*

_{0}⊂

*K*, we get

*T*(

*K*

_{0}) ⊂

*T*(

*K*) ⊂

*K*

_{0}. Hence

*K*

_{0}∈ ℱ. The minimality of

*K*implies that

*K*=

*K*

_{0}. Next let

*f*∈

*K*. By definition of the

*ρ*-Chebyshev radius

*r*

_{ ρ }(

*f, K*), we have

*K*⊂

*B*

_{ ρ }(

*f, r*

_{ ρ }(

*f, K*)). Since

*T*is

*ρ-*nonexpansive, we have

*T*(

*K*) ⊂

*B*

_{ ρ }(

*T*(

*f*),

*r*

_{ ρ }(

*f, K*)). The definition of

*K*

_{0}implies

*K*

_{0}⊂

*B*

_{ ρ }(

*T*(

*f*),

*r*

_{ ρ }(

*f, K*)). Since

*K*=

*K*

_{0}, we get

*K*⊂

*B*

_{ ρ }(

*T*(

*f), r*

_{ ρ }(

*f, K*)), which implies

*r*

_{ ρ }(

*T*(

*f*),

*K*) ≤

*r*

_{ ρ }(

*f, K*). Fix

*f*∈

*K*and set

*r*=

*r*

_{ ρ }(

*f, K*). We have

Clearly, we have *T*(*K*_{1}) ⊂ *K*_{1} and ${K}_{1}\in \mathcal{A}\left(C\right)$. Since *K* is minimal, we get *K* = *K*_{1} which implies that the *ρ*-Chebyshev radius *r*_{
ρ
}(*f, K*) is constant. In particular, we have *r*_{
ρ
}(*f, K*) = *δ*_{
ρ
} (*K*), for any *f* ∈ *K*. Since $\mathcal{A}\left(C\right)$ is *ρ*-normal, we conclude that *K* does not have more than one point. Therefore, *K* = {*f*} which forces *T* (*f*) = *f*. □

In the next section, we investigate the structure of the fixed point set of *ρ*-nonexpansive mappings.

## One-local retract subsets in modular function spaces

Let *ρ* ∈ ℜ and *C* ⊂ *L*_{
ρ
} be nonempty. A nonempty subset *D* of *C* is said to be a *one-local retract* of *C* if for every family {*B*_{
i
}; *i ∈ I*} of *ρ*-balls centered in *D* such that *C* ∩ (∩_{i∈I}*B*_{
i
}) ≠ ∅, it is the case that *D* ∩ (∩_{i∈I}*B*_{
i
}) ≠ ∅. It is immediate that each *ρ*-nonexpansive retract of *L*_{
ρ
} is a one-local retract (but not conversely). Recall that *D* ⊂ *C* is a *ρ*-nonexpansive retract of *C* if there exists a *ρ*-nonexpansive map *R: C* → *D* such that *R*(*f*) = *f*, for every *f* ∈ *D*.

The following result will shed some light on the interest generated around this concept.

**Theorem 2.5**. *Let ρ* ∈ ℜ *and C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. Then for any ρ-nonexpansive mapping T: C* → *C, the fixed point set Fix*(*T*) *is a nonempty one-local retract of C*.

*Proof*. Theorem 2.4 shows that Fix(

*T*) is nonempty. Let us complete the proof by showing it is a one-local retract of

*C*. Let {

*B*

_{ ρ }(

*f*

_{ i }

*, r*

_{ i })}

_{i∈I}be any family of

*ρ*-closed balls such that

*f*

_{ i }∈ Fix(

*T*), for any

*i*∈

*I*, and

*T*) ∩ (∩

_{i∈I}

*B*

_{ ρ }(

*f*

_{ i }

*, r*

_{ i })) ≠ ∅. Since {

*fi*}

_{i∈I}⊂ Fix(

*T*), and

*T*is

*ρ*-nonexpansive, then

*T*(

*C*

_{0}) ⊂

*C*

_{0}. Clearly, ${C}_{0}\in \mathcal{A}\left(C\right)$ and is nonempty. Then we have $\mathcal{A}\left({C}_{0}\right)\subset \mathcal{A}\left(C\right)$. Therefore, $\mathcal{A}\left({C}_{0}\right)$ is compact and

*ρ*-normal. Theorem 2.4 will imply that

*T*has a fixed point in

*C*

_{0}which will imply

□

This result gives some information to the structure of the fixed point set. To the best of our knowledge this is the first attempt done in modular function spaces. Next we discuss some properties of one-local retract subsets.

**Theorem 2.6**.

*Let ρ*∈ ℜ

*and C*⊂

*L*

_{ ρ }

*be nonempty. Let D be a nonempty subset of C. The following are equivalent*.

- (i)
*D is a one-local retract of C*. - (ii)
*D is a ρ-nonexpansive retract of D*∪ {*f*},*for every f*∈*C*.

*Proof*. let us prove (

*i*) ⇒ (

*ii*). Let

*f*∈

*C*. We may assume that

*f*∉

*D*. In order to construct a

*ρ*-nonexpansive retract

*R: D*∪ {

*f*} →

*D*, we only need to find

*R*(

*f*) ∈

*D*such that

*f*∈ ∩

_{g∈D}

*B*

_{ ρ }(

*g, ρ*(

*f*-

*g*)) and

*f*∈

*C*, then

*D*is a one-local retract of

*C*, we get

Any point in *D*_{0} will work as *R*(*f*).

*ii*) ⇒ (

*i*). In order to prove that

*D*is a one-local retract of

*C*, let {

*B*

_{ ρ }(

*f*

_{ i }

*, r*

_{ i })}

_{i∈I}be any family of

*ρ*-closed balls such that

*f*

_{ i }∈

*D*, for any

*i*∈

*I*, and

Let us prove that *D* ∩ (∩_{i∈I}*B*_{
ρ
}(*f*_{
i
}*, r*_{
i
})) = ∅. Let *f* ∈ *C*_{0}. If *f* ∈ *D*, we have nothing to prove. Assume otherwise that *f* ∉ *D*. Property (*ii*) implies the existence of a *ρ*-nonexpansive retract *R: D* ∪ {*f*} → *C*. It is easy to check that *R*(*f*) ∈ *D* ∩ (∩_{i∈I}*B*_{
ρ
}(*f*_{
i
}*, r*_{
i
})) = ∅, which completes the proof of our theorem. □

The following technical lemma will be useful for the next results.

**Lemma 2.1**.

*Let ρ*∈ ℜ

*and C*⊂

*L*

_{ ρ }

*be nonempty, and ρ-bounded. Let D be a nonempty one-local retract of C. Set*$c{o}_{C}\left(D\right)=C\cap (\cap \{A;A\in \mathcal{A}\left(C\right)$

*and D*⊂

*A*}).

*Then*

- (i)
*r*_{ ρ }(*f, D*) =*r*_{ ρ }(*f, co*_{ C }(*D*)),*for any f*∈*C;* - (ii)
*R*_{ ρ }(*co*_{ C }(*D*)) =*R*_{ ρ }(*D*); - (iii)
*δ*_{ ρ }(*co*_{ C }(*D*)) =*δ*_{ ρ }(*D*).

*Proof*. Let us first prove (*i*). Fix *f* ∈ *C*. Since *D* ⊂ *co*_{
C
}(*D*), we get *r*_{
ρ
}(*f, D*) *≤ r*_{
ρ
}(*f, co*_{
C
}(*D*)). Set *r* = *r*_{
ρ
}(*f, D*). We have $D\subset {B}_{\rho}\left(f,r\right)\in \mathcal{A}\left(C\right)$. The definition of *co*_{
C
}(*D*) implies *co*_{
C
}(*D*) ⊂ *B*_{
ρ
}(*f, r*). Hence *r*_{
ρ
}(*f, co*_{
C
}(*D*)) ≤ *r* = *r*_{
ρ
}(*f, D*), which implies *r*_{
ρ
}(*f, D*) = *r*_{
ρ
}(*f, co*_{
C
}(*D*)).

Next, we prove (*ii*). Let *f* ∈ *D*. We have *f* ∈ *co*_{
C
}(*D*). Using (*i*), we get *r*_{
ρ
}(*f, D*) = *r*_{
ρ
}(*f, co*_{
C
}(*D*)) ≥ *R*_{
ρ
}(*co*_{
C
}(*D*)). Hence, *R*_{
ρ
}(*D*) ≥ *R*_{
ρ
}(*co*_{
C
}(*D*)). Next, let *f* ∈ *co*_{
C
}(*D*) and set *r* = *r*_{
ρ
}(*f, co*_{
C
}(*D*)). We have *D* ⊂ *co*_{
C
}(*D*) ⊂ *B*_{
ρ
}(*f, r*). Hence, *f* ∈ ∩_{g∈D}*B*_{
ρ
}(*g, r*). Hence, *C* ∩ (∩_{g∈ D}*B*_{
ρ
}(*g, r*)) = ∅. Since *D* is a one-local retract of *C*, we get *D*_{0} = *D* ∩ (∩_{g∈ D}*B*_{
ρ
}(*g, r*)) = ∅. Let *g* ∈ *D*_{0}. Then it is easy to see that *r*_{
ρ
}(*g, D*) ≤ *r*. Hence, *R*_{
ρ
}(*D*) ≤ *r*. Since *f* was arbitrary taken in *co*_{
C
}(*D*), we get *R*_{
ρ
}(*D*) ≤ *R*_{
ρ
}(*co*_{
C
}(*D*)), which implies *R*_{
ρ
}(*D*) = *R*_{
ρ
}(*co*_{
C
}(*D*)).

Finally, let us prove (*iii*). Since *D* ⊂ *co*_{
C
}(*D*), we get *δ*_{
ρ
}(*D*) ≤ *δ*_{
ρ
}(*co*_{
C
}(*D*)). Next set *d* = *δ*_{
ρ
}(*D*). Then, for any *f* ∈ *D*, we have *D* ⊂ *B*_{
ρ
}(*f, d*). Hence *co*_{
C
}(*D*) ⊂ *B*_{
ρ
}(*f, d*). This implies $f\in {\cap}_{g\in c{o}_{C}\left(D\right))}{B}_{\rho}\left(g,d\right)$. Sice *f* was taken arbitrary in *D*, we get $D\subset {\cap}_{g\in c{o}_{C}\left(D\right))}{B}_{\rho}\left(g,d\right)$. The definition of *co*_{
C
}(*D*) implies $c{o}_{C}\left(D\right)\subset {\cap}_{g\in c{o}_{C}\left(D\right))}{B}_{\rho}\left(g,d\right)$. So for any *f, g* ∈ *co*_{
C
}(*D*), we have *ρ*(*f - g*) ≤ *d*. Hence *δ*_{
ρ
}(*co*_{
C
}(*D*)) ≤ *d* = *δ*_{
ρ
}(*D*), which implies *δ*_{
ρ
} (*D*) = *δ*_{
ρ
} (*co*_{
C
}(*D*)). □

As an application of this lemma we get the following result.

**Theorem 2.7**. *Let ρ* ∈ ℜ *and C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. If D is a nonempty one-local retract of C, then* $\mathcal{A}\left(D\right)$ *is compact and ρ-normal*.

*Proof*. Using the definition of one-local retract, it is easy to see that $\mathcal{A}\left(D\right)$ is compact. Let us show that $\mathcal{A}\left(D\right)$ is

*ρ*-normal. Let ${A}_{0}\in \mathcal{A}\left(D\right)$ nonempty and not reduced to one point. Set $c{o}_{C}\left({A}_{0}\right)=C\cap \left(\cap \left\{A;A\in \mathcal{A}\left(C\right)\phantom{\rule{2.77695pt}{0ex}}\mathsf{\text{and}}\phantom{\rule{2.77695pt}{0ex}}{A}_{0}\subset A\right\}\right)$. Then from the Lemma 2.1, we get

Since $c{o}_{C}\left({A}_{0}\right)\in \mathcal{A}\left(C\right)$, then we must have *R*_{
ρ
}(*co*_{
C
}(*A*_{0})) *< δ*_{
ρ
}(*co*_{
C
}(*A*_{0})) because $\mathcal{A}\left(C\right)$ is *ρ*-normal. Therefore, we have *R*_{
ρ
}(*A*_{0}) *< δ*_{
ρ
}(*A*_{0}), which completes the proof of our claim. □

The next result is amazing and has found many applications in metric spaces. Most of the ideas in its proof go back to Baillon's work [8].

**Theorem 2.8**. *Let ρ* ∈ ℜ *and C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. Let* (*C*_{
β
})_{β∈Γ}*be a decreasing family of one-local retracts of C, where* (Γ, ≺) *is totally ordered. Then ∩*_{β∈ Γ}*C*_{
β
} *is not empty and is a one-local retract of C*.

*Proof*. First, let us prove that

*∩*

_{β∈ Γ}

*C*

_{ β }is not empty. Consider the family

*ℱ*is not empty since $\prod _{\beta \in \Gamma}{C}_{\beta}\in \mathcal{F}$.

*ℱ*will be ordered by inclusion, i.e., $\prod _{\beta \in \Gamma}{A}_{\beta}\subset \prod _{\beta \in \Gamma}{B}_{\beta}$ if and only if

*A*

_{ β }⊂

*B*

_{ β }for any

*β*∈ Γ. From Theorem 2.7, we know that $\mathcal{A}\left({C}_{\beta}\right)$ is compact, for every

*β*∈ Γ. Therefore,

*ℱ*satisfies the hypothesis of Zorn's lemma. Hence for every

*D*∈

*ℱ*, there exists a minimal element

*A*∈

*ℱ*such that

*A*⊂

*D*. We claim that if $A=\prod _{\beta \in \Gamma}{A}_{\beta}$ is minimal, then there exists

*β*

_{0}∈ Γ such that

*δ*(

*A*

_{ β }) = 0 for every

*β*≻

*β*

_{0}. Assume not, i.e.,

*δ*(

*A*

_{ β }) > 0 for every

*β*∈ Γ. Fix

*β*∈ Γ. For every

*K*⊂

*C*, set

*A*∈

*ℱ*. Let

*α*≤

*γ*≤

*β*. Then ${A}_{\gamma}^{\prime}\subset {A}_{\alpha}^{\prime}$ since

*A*

_{ γ }⊂

*A*

_{ α }and

*A*

_{ β }=

*co*

_{ β }(

*A*

_{ β }) ∩

*A*

_{ β }. Hence the family $\left({A}_{\alpha}^{\prime}\right)$ is decreasing. On the other hand if

*α*≺

*β*, then $c{o}_{\beta}\left({A}_{\beta}\right)\cap {A}_{\alpha}\in \mathcal{A}\left({C}_{\alpha}\right)$since

*C*

_{ β }⊂

*C*

_{ α }. Hence ${A}_{\alpha}^{\prime}\in \mathcal{A}\left({C}_{\alpha}\right)$. Therefore, we have

*A*' ∈ ℱ. Since

*A*is minimal, then

*A*=

*A*'. Hence

*f*∈

*C*

_{ β }and

*a*≺

*β*. Since

*A*

_{ β }⊂

*A*

_{ α }, then

*r*

_{ ρ }(

*f, A*

_{ β }) ≤

*r*

_{ ρ }(

*f, A*

_{ α }). Because $c{o}_{\beta}\left({A}_{\beta}\right)={\cap}_{g\in {C}_{\beta}}{B}_{\rho}\left(g,{r}_{\rho}\left(g,{A}_{\beta}\right)\right)$, then we have

*co*

_{ β }(

*A*

_{ β }) ⊂

*B*

_{ ρ }(

*g, r*

_{ ρ }(

*g, A*

_{ β })) which implies

*r*

_{ ρ }(

*g, A*

_{ β }) ≤

*r*

_{ ρ }(

*g, A*

_{ α }). Since

*A*

_{ α }⊂

*co*

_{ β }(

*A*

_{ β }), then

*r*

_{ ρ }(

*g, A*

_{ α }) ≤

*r*

_{ ρ }(

*g, A*

_{ β }) for every

*g*∈

*C*

_{ β }. Using the definition of the

*ρ*-Chebyshev radius

*R*

_{ ρ }, we get

*f*∈

*A*

_{ α }and set

*s*=

*r*

_{ ρ }(

*f, A*

_{ α }). Then

*f*∈

*co*

_{ β }(

*A*

_{ β }) since

*A*

_{ α }⊂

*co*

_{ β }(

*A*

_{ β }). Hence, $f\in \left({\cap}_{g\in {A}_{\beta}}{B}_{\rho}\left(g,s\right)\right)\cap c{o}_{\beta}\left({A}_{\beta}\right)$. Since

*C*

_{ β }is a one-local retract of

*C*, then

*A*

_{ β }=

*C*

_{ β }∩

*co*

_{ β }(

*A*

_{ β }), then we have

*h*∈

*S*

_{ β }, then $h\in \bigcap _{g\in {A}_{\beta}}{B}_{\rho}\left(g,s\right)$. Hence,

*r*

_{ ρ }(

*h, A*

_{ β }) ≤

*s*which implies

*R*

_{ ρ }(

*A*

_{ β }) ≤

*s*=

*r*

_{ ρ }(

*f, A*

_{ α }), for every

*f*∈

*A*

_{ α }. Hence

*R*

_{ ρ }(

*A*

_{ β }) ≤

*R*

_{ ρ }(

*A*

_{ α }). Therefore we have

*δ*

_{ ρ }(

*A*

_{ β }) > 0 for every

*β*∈ Γ. Set ${A}_{\beta}^{\prime \prime}$ to be the

*ρ*-Chebyshev center of

*A*

_{ β }, i.e., ${A}_{\beta}^{\prime \prime}={\mathcal{C}}_{\rho}\left({A}_{\beta}\right)$, for every

*β*∈ Γ. Since

*R*

_{ ρ }(

*A*

_{ β }) =

*R*

_{ ρ }(

*A*

_{ α }), for every

*α, β*∈ Γ, then the family $\left({A}_{\beta}^{\prime \prime}\right)$ is decreasing. Indeed, let

*α*≺

*β*and $f\in {A}_{\beta}^{\prime \prime}$. Then we have

*r*

_{ ρ }(

*f, A*

_{ β }) =

*R*

_{ ρ }(

*A*

_{ β }). Since we proved that

*r*

_{ ρ }(

*g, A*

_{ β }) =

*r*

_{ ρ }(

*g, A*

_{ α }), for every

*g*∈

*C*

_{ β }, then

*A''*⊂

*A*and

*A*is minimal, we get

*A*=

*A*

^{ '' }. Therefore, we have ${\mathcal{C}}_{\rho}\left({A}_{\beta}\right)={A}_{\beta}$ for every

*β*∈ Γ. This contradicts the fact that $\mathcal{A}\left({C}_{\beta}\right)$ is normal for every

*β*∈ Γ. Hence there exists

*β*

_{0}∈ Γ such that

*A*

_{ β }= {

*f*}, for every

*β*≻

*β*

_{0}. This clearly implies that

*f*∈ ∩

_{β∈Γ}

*C*

_{ β }≠ ∅. In order to complete the proof, we need to show that

*S*= ∩

_{β∈Γ}

*C*

_{ β }is a one-local retract of

*C*. Let (

*B*

_{ i })

_{i∈I}be a family of

*ρ*-balls centered in

*S*such that ∩

_{i∈I}

*B*

_{ i }≠ ∅. Set

*D*

_{ β }= (∩

_{i∈I}

*B*

_{ i }) ∩

*C*

_{ β }, for any

*β*∈ Γ. Since

*C*

_{ β }is a one-local retract of

*C*, and the family (

*B*

_{ i }) is centered in

*C*

_{ β }, then

*D*

_{ β }is not empty and ${D}_{\beta}\in \mathcal{A}\left({C}_{\beta}\right)$. Therefore, $D=\prod _{\beta \in \Gamma}{D}_{\beta}\in \mathcal{F}$. Let $A=\prod _{\beta \in \Gamma}{A}_{\beta}\subset D$ be a minimal element of ℱ. The above proof shows that

The proof of Theorem 2.8 is therefore complete. □

The next theorem will be useful to prove the main result of the next section.

**Theorem 2.9**. Let *ρ* ∈ ℜ and *C* ⊂ *L*_{
ρ
} be nonempty, *ρ*-closed, and *ρ*-bounded. Assume that $\mathcal{A}\left(C\right)$ is compact and *ρ*-normal. Let (*C*_{
β
})_{β∈Γ}be a family of one-local retracts of *C* such that for any finite subset *I* of Γ, ∩_{β ∈ Γ}*C*_{
β
} is not empty and is a one-local retract of *C*. Then ∩_{β ∈ Γ}*C*_{
β
} is not empty and is a one-local retract of *C*.

*Proof*. Consider the family ℱ of subsets *I* ⊂ Γ such that for any finite subset *J* ⊂ Γ (empty or not), we have ∩_{α∈I∪J}*C*_{
α
} is a nonempty one-local retract of *C*. Note that ℱ is not empty since any finite subset of Γ is in ℱ. Using Theorem 2.8, we can show that ℱ satisfies the hypothesis of Zorn's lemma. Hence ℱ has a maximal element *I* ⊂ Γ. Assume *I* ≠ Γ. Let *α* ∈ Γ \ *I*. Obviously we have *I* ∪ {*α*}∈ ℱ. This is a clear contradiction with the maximality of *I*. Therefore we have *I* = Γ ∈ ℱ, i.e., ∩_{β∈Γ}*C*_{
β
} is not empty and is a one-local retract of *C*.

**□**

## Common fixed point result

In the previous section, we showed that under suitable conditions, any *ρ*-nonexpansive mapping has a fixed point. In this section we will discuss the existence of a fixed point common to a family of a commutative *ρ*-nonexpansive mappings. First we will need to discuss the case of finite families.

**Theorem 2.10**. *Let ρ* ∈ ℜ and *C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. Then for any finite family* ℱ = {*T*_{1}, *T*_{2},...*T*_{
n
}} *of commutative ρ-nonexpansive mappings defined on C has a common fixed point, i.e., Fix* (*T*_{1}) ∩ ··· ∩ *Fix*(*T*_{n}) ≠ ∅. *Moreover, the set of common fixed point set, denoted Fix*(ℱ) = *Fix*(*T*_{1})) ∩ ··· ∩ *Fix*(*T*_{
n
}), *is a one local retract of C*.

*Proof*. Let us first prove Theorem 2.10 for two mappings *T*_{1} and *T*_{2}. Using Theorem 2.5, we know that Fix(*T*_{1}) is a nonempty one-local retract of *C*. Since *T*_{1} and *T*_{2} are commutative, then *T*_{2}(Fix(*T*_{1})) ⊂ Fix(*T*_{1}). Theorems 2.4 and 2.7 show that the restriction of *T*_{2} to Fix(*T*_{1}) has a fixed point. Again Theorem 2.5 will imply that the common fixed point set Fix(*T*_{1}) ∩ Fix(*T*_{2}) is a nonempty one-local retract of *C*. Using the same argument will show that the conclusion of Theorem 2.10 is valid for any finite number of mappings. □

Next we prove the main result of this section.

**Theorem 2.11**. *Let ρ* ∈ ℜ and *C* ⊂ *L*_{
ρ
} *be nonempty, ρ-closed, and ρ-bounded. Assume that* $\mathcal{A}\left(C\right)$ *is compact and ρ-normal. Then for any family* ℱ = {*T*_{i}*; i*∈*I*}*of commutative ρ-nonexpansive mappings defined on C has a common fixed point, i.e., ∩*_{
i∈I
} Fix(*T*_{i}) ≠ ∅. *Moreover the set of common fixed point set, denoted* Fix(ℱ) = *∩*_{
i∈I
} Fix(*T*_{i}), *is a one-local retract of C*.

*Proof*. Let Γ = {*β*; *β* is a nonempty finite subset of *I*}. Theorem 2.10 implies that for every *β* ∈ Γ, the set *F*_{
β
} of common fixed point set of the mappings *T*_{
i
}*, i* ∈ *β*, is a nonempty one-local retract of *C*. Clearly the family (*F*_{
β
})_{β∈Γ}is decreasing and satisfies the assumptions of Theorem 2.9. Therefore, we have ∩_{β∈Γ}*F*_{
β
} is nonempty and is a one-local retract of *C*. The proof of Theorem 2.11 is complete.

□

Using Corollary 2.1 and Remark 2.1 we get the following result.

**Corollary 2.2**. *Let ρ* ∈ ℜ and *C* ⊂ *L*_{
ρ
} *be nonempty, convex, ρ-closed, andρ-bounded. Assume ρ is* (*UUC*). *Then for any family* ℱ = {*T*_{i}*; i*∈*I*} *of commutative ρ-nonexpansive mappings defined on C has a common fixed point, i.e*., *∩*_{
i∈I
} Fix(*T*_{i}) ≠ ∅. *Moreover the set of common fixed point set, denoted* Fix(ℱ) = *∩*_{
i∈I
} Fix(*T*_{i}), *is a one-local retract of C*.

## Declarations

### Acknowledgements

The authors gratefully acknowledge the financial support provided by the University of Tabuk through the project of international cooperation with the University of Texas at El Paso.

## Authors’ Affiliations

## References

- Browder FE: Nonexpansive nonlinear operators in a Banach space.
*Proc Natl Acad Sci USA*1965, 54: 1041–1044. 10.1073/pnas.54.4.1041MathSciNetView ArticleGoogle Scholar - Gohde D: Zum prinzip der kontraktiven abbildung.
*Math Nachr*1965, 30: 251–258. 10.1002/mana.19650300312MathSciNetView ArticleGoogle Scholar - Kirk WA: A fixed point theorem for mappings which do not increase distances.
*Am Math Soc*1965, 82: 1004–1006.MathSciNetView ArticleGoogle Scholar - Kirk WA: Fixed Point Theory for Nonexpansive Mappings, I and II. In
*Lecture Notes in Mathematics*.*Volume 886*. Springer, Berlin; 1981:485–505.Google Scholar - Goebel K, Reich S: Uniform Convexity, Hyperbolic Geometry, and Nonexpansive Mappings. In
*Series of Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 83*. Dekker, New York; 1984.Google Scholar - Dhompongsa S, Kirk WA, Sims B: Fixed points of uniformly lipschitzian mappings.
*Nonlinear Anal*2006, 65: 762–772. 10.1016/j.na.2005.09.044MathSciNetView ArticleGoogle Scholar - 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-7MathSciNetView ArticleGoogle Scholar - Baillon JB: Nonexpansive mappings and hyperconvex spaces.
*Contemp Math*1988, 72: 11–19.MathSciNetView ArticleGoogle Scholar - Khamsi MA, Kirk WA:
*An Introduction to Metric Spaces and Fixed Point Theory.*Wiley, New York; 2001.View ArticleGoogle Scholar - 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-SMathSciNetView ArticleGoogle Scholar - Khamsi MA, Kozlowski WM, Shutao C: Some geometrical properties and fixed point theorems in Orlicz spaces.
*J Math Anal Appl*1991, 155.2: 393–412.View ArticleGoogle Scholar - Khamsi MA: A convexity property in Modular function spaces.
*Math Japonica*1996, 44.2: 269–279.MathSciNetGoogle Scholar - Kozlowski WM: Modular Function Spaces. In
*Series of Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 122*. Dekker, New York; 1988.Google Scholar - Kozlowski WM: Notes on modular function spaces I.
*Comment Math*1988, 28: 91–104.MathSciNetGoogle Scholar - Kozlowski WM: Notes on modular function spaces II.
*Comment Math*1988, 28: 105–120.MathSciNetGoogle Scholar - Musielak J: Orlicz Spaces and Modular Spaces. In
*Lecture Notes in Mathematics*.*Volume 1034*. Springer, Berlin; 1983.Google Scholar - Penot JP: Fixed point theorem without convexity, Analyse Non Convexe (1977, Pau). Bull Soc Math France, Memoire 60: 129–152.Google Scholar
- 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.031MathSciNetView 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.