# Banach operator pairs and common fixed points in modular function spaces

- N Hussain
^{1}, - MA Khamsi
^{2}and - A Latif
^{1}Email author

**2011**:75

https://doi.org/10.1186/1687-1812-2011-75

© Hussain et al; licensee Springer. 2011

**Received: **28 April 2011

**Accepted: **3 November 2011

**Published: **3 November 2011

## Abstract

In this article, we introduce the concept of a Banach operator pair in the setting of modular function spaces. We prove some common fixed point results for such type of operators satisfying a more general condition of nonexpansiveness. We also establish a version of the well-known De Marr's theorem for an arbitrary family of symmetric Banach operator pairs in modular function spaces without Δ_{2}-condition.

### MSC(2000)

primary 06F30; 47H09; secondary 46B20; 47E10; 47H10.

## Keywords

*ρ*-nonexpansive mapping

## 1. Introduction

The purpose of this article is to give an outline of fixed point 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 article 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 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 concepts 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 rich (see, e.g., [1–4]) and has been well developed since the 1960s and generalized to other metric spaces (see, e.g., [5–7]), and modular function spaces (see, e.g., [8–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–17].

As noted in [16, 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 space setting.

In this article, we introduce the concept of a Banach operator pair in modular function spaces. Then, we investigate the existence of common fixed points for such operators. Believing that the well-known De Marr's theorem [19] is not known yet in the setting of modular function spaces, we establish this classical result in this new setting.

## 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 Ω = U*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 nontrivial, 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\cap B\ne \varnothing ,\phantom{\rule{1em}{0ex}}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.

*ρ*-null if

*ρ*(

*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}\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* $\Re $.

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 Definition 2.1.1 in [20] (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 [20–22]; see also Musielak [23] for the basics of the general modular theory.

**Remark 2.1.** *We limit ourselves to convex function modulars in this article. 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* [20].

**Definition 2.3**. [20–22] *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 Luxemurg norm):*

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

**Theorem 2.1**. [20, 21, 22] *Let* $\rho \in \Re $.

*(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{1em}{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}}\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}\downarrow \varnothing $.

*(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* $\rho \in \Re $. *We say that ρ has the* Δ_{2}*-property if* sup_{
n
}*ρ*(2*f*_{
n
}, *D*_{
k
}) → 0 *whenever* ${D}_{k}\downarrow \varnothing $ *and* sup_{
n
}*ρ*(*f*_{
n
}, *D*_{
k
}) → 0.

**Theorem 2.2**. *Let* $\rho \in \Re $*. 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 article.

**Definition 2.5**. *Let* $\rho \in \Re $.

*(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 its ρ-diameter δ*_{
ρ
}(*B*) = 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* $\rho \in \Re $.

*(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., [10]).

**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. A nonempty subset K of L*

_{ ρ }

*is said to be ρ-compact if for any family*{

*A*

_{ α };

*A*

_{ α }∈ 2

^{ Lρ },

*α*∈ Γ}

*of ρ-closed subsets with*$K\cap {A}_{\alpha 1}\cap \cdots \cap {A}_{\alpha n}\ne \varnothing $,

*for any α*

_{1},...,

*α*

_{n∈ Γ},

*we have*

Next, we give the modular definitions of asymptotic pointwise nonexpansive mappings. The definitions are straightforward generalizations of their norm and metric equivalents [13, 15, 17].

**Definition 2.7**.

*Let*$\rho \in \Re $

*and let C*⊂

*L*

_{ ρ }

*be nonempty and ρ-closed. A mapping T : C*→

*C is called an asymptotic pointwise mapping if there exists a sequence of mappings α*

_{ n }:

*C*→ [0, ∞)

*such that*

*(i) If*lim sup

_{n→∞}

*α*

_{ n }(

*f*) ≤ 1

*for any f*∈

*L*

_{ ρ },

*then T is called asymptotic point-wise ρ-nonexpansive*.

- (ii)
*If*sup_{n∈ℕ}*α*_{ n }(*f*) ≤ 1*for any f*∈*L*_{ ρ },*then T is called ρ-nonexpansive. In particular, we have*$\rho \left(T\left(f\right)-T\left(g\right)\right)\le \rho \left(f-g\right)\phantom{\rule{1em}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}any\phantom{\rule{2.77695pt}{0ex}}f,g\in C.$

*The fixed point set of T is defined by Fix*(*T*) = {*f* ∈ *C*; *T*(*f*) = *f*}.

In the following definition, we introduce the concept of Banach Operator Pairs [24, 25] in modular function spaces.

**Definition 2.8**. *Let* $\rho \in \Re $ *and let C* ⊂ *L*_{
ρ
}*be nonempty. The ordered pair* (*S*, *T*) *of two self-maps of the subset C is called a Banach operator pair, if the set Fix(T) is S-invariant, namely S*(*Fix*(*T*)) ⊆ *Fix*(*T*).

In [26], a result similar to Ky Fan's fixed point theorem in modular function spaces was proved. The following definition is needed:

**Definition 2.9**.

*Let*$\rho \in \Re $

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

## 3. Common fixed points for Banach operator pairs

The study of a common fixed point of a pair of commuting mappings was initiated as soon as the first fixed point result was proved. This problem becomes more challenging and seems to be of vital interest in view of historically significant and negatively settled problem that a pair of commuting continuous self-mappings on the unit interval [0,1] need not have a common fixed point [27]. Since then, many fixed point theorists have attempted to find weaker forms of commutativity that may ensure the existence of a common fixed point for a pair of self-mappings on a metric space. In this context, the notions of weakly compatible mappings [28] and Banach operator pairs [24, 25, 29–34] have been of significant interest for generalizing results in metric fixed point theory for single valued mappings. In this section, we investigate some of these results in modular function spaces.

We first prove the following technical result.

**Theorem 3.1**. *Let* $\rho \in \Re $*. Let K* ⊂ *L*_{
p
}*be ρ-compact convex subset. Then, any T : K* → *K strongly ρ-continuous has a nonempty fixed point set Fix*(*T*)*. Moreover, Fix*(*T*) *is ρ-compact*.

*Proof*. The existence of a fixed point is proved in [26]. Hence, *Fix*(*T*) is nonempty. Let us prove that *Fix*(*T*) is *ρ*-compact. It is enough to show that *Fix*(*T*) is *ρ*-closed since *K* is *ρ*-compact. Let {*f*_{
n
}} be a sequence in *Fix*(*T*) such that {*f*_{
n
}} *ρ*-converges to *f*. Let us prove that *f* ∈ *Fix*(*T*). Since *T* is *ρ*-continuous, so {*T*(*f*_{
n
})} *ρ*-converges to *T*(*f*). Since *T*(*f*_{
n
}) *= f*_{
n
}, we get {*f*_{
n
}} *ρ*-converges to *f* and *T*(*f*). The uniqueness of the *ρ*-limit implies *T*(*f*) *= f*, i.e., *f* ∈ *Fix*(*T*).

**Definition 3.1**. *Let K* ⊂ *L*_{
ρ
}*be nonempty subset. The mapping T : K* → *K is called R-map if Fix* (*T*) *is a ρ-continuous retract of K. Recall that a mapping R* : *K* → *Fix*(*T*) *is a retract if and only if R* ○ *R* = *R*.

Note that in general the fixed point set of *ρ*-continuous mappings defined on any *ρ*-compact convex subset of *L*_{
ρ
}may not be a *ρ*-continuous retract.

**Theorem 3.2**. *Let* $\rho \in \Re $*. Let K* ⊂ *L*_{
ρ
}*be ρ-compact convex subset. Let T : K* → *K be strongly ρ-continuous R-map. Let S* : *K* → *K be strongly ρ-continuous such that* (*S*,*T*) *is a Banach operator pair. Then, F*(*S*,*T*) = *Fix*(*T*) ⋂ *Fix*(*S*) *is a nonempty ρ-compact subset of K*.

*Proof*. From Theorem 3.1, we know that

*Fix*(

*T*) is not empty and

*ρ*-compact subset of

*K*. Since

*T*is an

*R*-map, then there exists a

*ρ*-continuous retract

*R : K*→

*Fix*(

*T*). Since (

*S,T*) is a Banach pair of operators, then

*S*(

*Fix*(

*T*)) ⊂

*Fix*(

*T*). Note that

*S*○

*R*:

*K*→

*K*is strongly

*ρ*-continuous. Indeed, if {

*f*

_{ n }} ⊂

*K ρ*-converges to

*f*, then {

*R*(

*f*

_{ n })} ⊂

*K ρ*-converges to

*R*(

*f*) since

*R*is

*ρ*-continuous. And since

*S*is strongly

*ρ*-continuous, then for any

*g*∈

*K*, we have

which shows that *S* ○ *R* is strongly *ρ*-continuous. Theorem 3.1 implies that *Fix*(*S* ○ *R*) is nonempty and *ρ*-compact. Note that if *f* ∈ *Fix*(*S* ○ *R*), then we have *S* ○ *R*(*f*) = *S*(*R*(*f*)) = *f* ∈ *Fix*(*T*) since *S* ○ *R*(*K*) ○ *Fix*(*T*). In particular, we have *R*(*f*) = *f*. Hence, *S*(*f*) = *f*, i.e., *f* ∈ *Fix*(*T*) ⋂ *Fix*(*S*). It is easy to then see that *Fix*(*T*) ⋂ *Fix*(*S*) = *Fix*(*S* ○ *R*) = *F*(*S*,*T*) which implies *F*(*S*,*T*) is nonempty and *ρ*-compact subset of *K*.

Before we state next result which deals with *ρ*-nonexpansive mappings, let us recall the definition of uniform convexity in modular function spaces [18].

**Definition 3.2**. *Let* $\rho \in \Re $*. We define the following uniform convexity type properties of the function modular ρ:*

*(i) Let r*> 0,

*ε*> 0.

*Define*

*Let*

*and δ*_{1}(*r*,*ε*) = 1 *if* ${D}_{1}\left(r,\epsilon \right)=\varnothing $. *We say that ρ satisfies* (*UC* 1) *if for every r* > 0,*ε* > 0, *δ*_{1}(*r,ε*) > 0. *Note that for every r* > 0, ${D}_{1}\left(r,\epsilon \right)\ne \varnothing $, *for ε* > 0 *small enough*.

*(ii) We say that ρ satisfies*(

*UUC*1)

*if for every s*≥ 0,

*ε*> 0

*there exists*

*depending on s and ε such that*

*(iii) Let r*> 0,

*ε*> 0.

*Define*

*Let*

*and δ*_{2} (*r*,*ε*) = 1 *if* ${D}_{2}\left(r,\epsilon \right)=\varnothing $. *We say that ρ satisfies* (*UC* 2) *if for every r* > 0,*ε* > 0, *δ*_{2} (*r*,*ε*) > 0. *Note that for every r* > 0, ${D}_{2}\left(r,\epsilon \right)\ne \varnothing $, for *ε* > 0 *small enough*.

*(iv) We say that ρ satisfies*(

*UUC*2)

*if for every s*≥ 0,

*ε*> 0

*there exists*

*depending on s and ε such that*

In [18], it is proved that any asymptotically pointwise *ρ*-nonexpansive mapping defined on a *ρ*-closed *ρ*-bounded convex subset has a fixed point. The next result improves their result by showing that the fixed point set is convex.

**Theorem 3.3**. *Assume* $\rho \in \Re $ *is* (*UUC* 1). *Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
ρ
}. *Then, any T : C* → *C asymptotically pointwise ρ-nonexpansive has a fixed point. Moreover, the set of all fixed points Fix(T) is ρ-closed and convex*.

*Proof*. In [18], it is proved that

*Fix*(

*T*) is a

*ρ*-closed nonempty subset of

*C*. Let us prove that

*Fix*(

*T*) is convex. Let

*f*,

*g*∈

*Fix*(

*T*), with

*f*≠

*g*. For every

*n*∈ ℕ, we have

*ρ*is (

*UUC*2) (since (

*UUC*1) implies (

*UUC*2)), then we must have

*ρ*is convex we get

If we let *n* → ∞, we get $\rho \left(\frac{1}{2}\left[\frac{f+g}{2}-T\left(\frac{f+g}{2}\right)\right]\right)=0,\mathsf{\text{i}}\mathsf{\text{.e}}.,T\left(\frac{f+g}{2}\right)=\frac{f+g}{2}$ and so $\frac{f+g}{2}\in Fix\left(T\right)$. This completes the proof of our claim.

As a corollary, we obtain the following result.

**Corollary 3.1**. *Assume* $\rho \in \Re $ *is* (*UUC* 1)*. Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
p
}*. Then, any T : C* → *C ρ-nonexpansive has a fixed point. Moreover, the set of all fixed points Fix*(*T*) *is ρ-closed and convex*.

Next, we discuss the existence of common fixed points for Banach operator pairs of pointwise asymptotically *ρ*-nonexpansive mappings.

**Theorem 3.4**. *Assume* $\rho \in \Re $ *is* (*UUC* 1). *Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
p
}. *Let T : C* → *C be asymptotically pointwise ρ-nonexpansive mapping. Then, any S* : *C* → *C pointwise asymptotically ρ-nonexpansive mapping such that* (*S*, *T*) *is a Banach operator pair has a common fixed point with T. Moreover F*(*S*, *T*) = *Fix*(*T*) ⋂ *Fix*(*S*) *is a nonempty ρ-closed convex subset of C*.

*Proof*. Since *T* is asymptotically pointwise *ρ*-nonexpansive, then *Fix*(*T*) is nonempty *ρ*-closed convex subset of *C*. Since (*S*, *T*) is a Banach operator pair, then we must have *S*(*Fix*(*T*)) ⊂ *Fix*(*T*). Theorem 3.3 implies that the restriction of *S* to *Fix*(*T*) has a nonempty fixed point set which is *ρ*-closed and convex, i.e., *F*(*S*,*T*) = *Fix*(*T*) ⋂ *Fix*(*S*) is a nonempty *ρ*-closed convex subset of *C*. This completes the proof of our claim.

As a corollary, we get the following result.

**Corollary 3.2**. *Assume* $\rho \in \Re $ *is* (*UUC* 1). *Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
p
}. *Let T : C* → *C be ρ-nonexpansive mapping. Then, any S : C* → *C ρ-nonexpansive mapping such that* (*S*,*T*) *is a Banach operator pair has a common fixed point with T. Moreover, F*(*S*,*T*) = *Fix*(*T*) ⋂ *Fix*(*S*) *is a nonempty ρ-closed convex subset of C*.

## 4. Common fixed point of Banach operator family

The aim of this section is to extend the common fixed point results found in the previous section to a family of Banach operator mappings. In particular, we prove an analogue of De Marr's result in modular function spaces. In order to obtain such extension we need to introduce the concept of symmetric Banach operator pairs.

**Definition 4.1**. *Let T and S be two self-maps of a set C. The pair* (*S*,*T*) *is called symmetric Banach operator pair if both* (*S*, *T*) *and* (*T*, *S*) *are Banach operator pairs, i.e., T*(*Fix*(*S*)) ⊆ *Fix*(*S*) *and S*(*Fix*(*T*)) ⊆ *Fix*(*T*).

Let $\rho \in \Re $ and *C* be a *ρ*-closed nonempty subset of *L*_{
p
}. Let $\mathcal{T}$ be a family of self-maps defined on *C*. Then, the family $\mathcal{T}$ has a common fixed point if it is the fixed point of each member of $\mathcal{T}$. The set of common fixed points is denoted by $Fix\left(\mathcal{T}\right)$. We have by definition $Fix\left(\mathcal{T}\right)={\bigcap}_{T\in \mathcal{T}}Fix\left(T\right)$.

Next, we state an analogue of De Marr's result in modular function spaces.

**Theorem 4.1**. *Let* $\rho \in \Re $*. Let K* ⊂ *L*_{
p
}*be nonempty ρ-compact convex subset. Let* $\mathcal{T}$ *be a family of self-maps defined on K such that any map in* $\mathcal{T}$ *is strongly ρ-continuous R-map. Assume that any two mappings in* $\mathcal{T}$ *form a symmetric Banach operator pair. Then, the family* $\mathcal{T}$ *has a common fixed point. Moreover*, $Fix\left(\mathcal{T}\right)$ *is a ρ-compact subset of K*.

*Proof*. Using Theorem 3.2, we deduce that for any *T*_{1},*T*_{2},... ,*T*_{
n
}in $\mathcal{T}$, we have *Fix*(*T*_{1})⋂*Fix*(*T*_{2})⋂⋯⋂*Fix*(*T*_{
n
}) is a nonempty *ρ*-compact subset of *K*. Therefore, any finite family of the subsets $\left\{Fix\left(T\right);T\in \mathcal{T}\right\}$ has a nonempty intersection. Since these sets are all *ρ*-closed and *K* is *ρ*-compact, we conclude that $Fix\left(\mathcal{T}\right)={\bigcap}_{T\in \mathcal{T}}Fix\left(T\right)$ is not empty and is *ρ*-closed. Therefore, $Fix\left(\mathcal{T}\right)$ is a *ρ*-compact subset of *K* which finishes the proof of our theorem.

As commuting operators are symmetric Banach operators, so we obtain:

**Corollary 4.1**. *Let* $\rho \in \Re $*. Let K* ⊂ *L*_{
p
}*be nonempty ρ-compact convex subset. Let* $\mathcal{T}$ *be a family of commuting self-maps defined on K such that any map in* $\mathcal{T}$ *is strongly ρ-continuous R-map. Then, the family* $\mathcal{T}$ *has a common fixed point. Moreover*, $Fix\left(\mathcal{T}\right)$ *is a ρ-compact subset of K*.

Next, we discuss a similar conclusion in modular function spaces *L*_{
p
}when *ρ* is (*UUC* 1). Prior to obtain such result we will need an intersection property which seems to be new. Indeed, it is well known [18] that if $\rho \in \Re $ is (*UUC* 2), then any countable family {*C*_{
n
}} of *ρ*-bounded *ρ*-closed convex subsets of *L*_{
p
}has a nonempty intersection provided that the intersection of any finite subfamily has a nonempty intersection. Such intersection property is known as property (R). This intersection property is parallel to the well-known fact that uniformly convex Banach spaces are reflexive. The property (R) is essential for the proof of many fixed point theorems in metric and modular function spaces. But since it is not clear that this intersection property is related to any topology, we did not know if such intersection property is in fact valid for any family. Therefore, the next result seems to be new.

**Theorem 4.2**. *Assume* $\rho \in \Re $ *is* (*UUC* 1). *Let* {*C*_{
a
}}_{a∈Γ}*be a nonincreasing family of nonempty, convex, ρ-closed ρ-bounded subsets of L*_{
p
}*, where* Γ *is a directed index set. then*, ${\bigcap}_{\alpha \in \Gamma}{C}_{\alpha}\ne \varnothing $.

*Proof*. Recall that Γ is directed if there exists an order ≼ defined on Γ such that for any

*α*,

*β*∈ Γ, there exists γ ∈ Γ such that

*α*≼ γ and

*β*≼ γ. And {

*C*

_{ a }}

_{a∈Γ}is nonincreasing if and only if for any

*α*,

*β*∈ Γ such that

*α*≼

*β*, then

*C*

_{ β }⊂

*C*

_{ α }. Note that for any α

_{0}∈ Γ, we have

*C*⊂

*L*

_{ p }

*ρ*-closed

*ρ*-bounded convex subset such that

*C*

_{ α }⊂

*C*for any

*α*∈ Γ. If

*δ*

_{ P }(

*C*) = 0, then all subsets

*C*

_{ α }are reduced to a single point. In this case, we have nothing to prove. Hence, let us assume

*δ*

_{ P }(

*C*) > 0. Let

*f*∈

*C*. Then, the proximinality of

*ρ*-closed convex subsets of

*L*

_{ p }when

*ρ*is (

*UUC*2) (see [18]) implies the existence of

*f*

_{ α }∈

*C*

_{ α }such that

*A*

_{ α }= {

*f*

_{ β };

*α*≼

*β*}, for any

*α*∈ Γ. Then,

*A*

_{ α }⊂

*C*

_{ α }, for any

*α*∈ Γ. Notice that

*g*∈

*A*

_{ α }, then

*A*

_{ α }⊂

*B*(

*g*,

*δ*

_{ ρ }(

*A*

_{ α })). Since

*B*(

*g,δ*

_{ ρ }(

*A*

_{ α })) is

*ρ*-closed and convex, then we must have ${\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\subset B\left(g,{\delta}_{\rho}\left({A}_{\alpha}\right)\right)$. Hence, for any $h\in {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$, we have

*ρ*(

*g*-

*h*) ≤

*δ*

_{ ρ }(

*A*

_{ α }). Since

*g*was arbitrary in

*A*

_{ α }we conclude that

*A*

_{ α }⊂

*B*(

*h*,

*δ*

_{ ρ }(

*A*

_{ α })). Again for the same reason we get ${\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\subset B\left(h,{\delta}_{\rho}\left({A}_{\alpha}\right)\right)$. Hence, for any

*g*, $h\in {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$ we have

*ρ*(

*g*-

*h*) ≤

*δ*

_{ ρ }(

*A*

_{ α }), which implies ${\delta}_{\rho}\left({\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\right)\le {\delta}_{\rho}\left({A}_{\alpha}\right)$. This is enough to have ${\delta}_{\rho}\left({\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\right)={\delta}_{\rho}\left({A}_{\alpha}\right)$. Set

*R*= sup

_{α∈Γ}

*ρ*(

*f*-

*f*

_{ α }). Without loss of any generality, we may assume

*R*> 0. Let us prove that inf

_{α∈Γ}

*δ*

_{ ρ }(

*A*

_{ α }) = 0. Assume not. Then, inf

_{α∈Γ}

*δ*

_{ ρ }(

*A*

_{ α }) > 0. Set $\delta =\frac{1}{2}{inf}_{\alpha \in \Gamma}\phantom{\rule{2.77695pt}{0ex}}{\delta}_{\rho}\left({A}_{\alpha}\right)$. Then, for any

*α*∈ Γ, there exist

*β,γ*∈ Γ such that

*α*≼

*β*and

*α*≼

*γ*and

*ρ*(

*f*-

*f*

_{ γ }) ≤

*R*and

*ρ*(

*f*-

*f*

_{ β }) ≤

*R*, then we have

*f*

_{ β },

*f*

_{ γ }∈

*C*

_{ α }and

*C*

_{ α }is convex, we get

*f*

_{ α }. Since

*α*was chosen arbitrarily in Γ we get

This is a contradiction. Therefore, we have inf_{α∈Γ} *δ*_{
ρ
}(*A*_{
α
}) = 0. Since Γ is directed, there exists {*α*_{
n
}} ⊂ Γ such that *α*_{
n
}≼ *α*_{n+1}and inf_{n ≥ 1} *δ*_{
ρ
}(*A*_{
αn
}) = 0. In particular, we have *A*_{αn+ 1}⊂ *A*_{
αn
}which implies ${\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n+1}}\right)\subset {\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)$. Using the property (R) satisfied by *L*_{
ρ
}, we conclude $A={\bigcap}_{n\ge 1}{\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)\ne \varnothing $. Since $\underset{\alpha \in \Gamma}{inf}{\delta}_{\rho}\left({\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)\right)=\underset{\alpha \in \Gamma}{inf}{\delta}_{\rho}\left({A}_{\alpha}\right)=0$, we conclude that *A* = {h} for some *h* ∈ *C*. Let us prove that for any *α* ∈ Γ we have $h\in {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$. Indeed, let *α* ∈ Γ. If there exists *n* ≥ 1 such that *α* ≼ *α*_{
n
}, then we have *A*_{
αn
}⊂ *A*_{
α
}. Hence, ${\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)\subset {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$. This clearly implies $h\in {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$. Otherwise, assume that for any *n* ≥ 1 such that *α*_{
n
}≼ *α*, so *A*_{α} ≼ *A*_{
αn
}. Hence, ${\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\subset {\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)$. In particular, we have ${\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\subset {\bigcap}_{n\ge 1}{\overline{conv}}^{\rho}\left({A}_{{\alpha}_{n}}\right)=\left\{h\right\}$. Which forces $h\in {\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$. Therefore, $h\in {\bigcap}_{\alpha \in \Gamma}{\overline{conv}}^{\rho}\left({A}_{\alpha}\right)$. Since ${\bigcap}_{\alpha \in \Gamma}{\overline{conv}}^{\rho}\left({A}_{\alpha}\right)\subset {\bigcap}_{\alpha \in \Gamma}{C}_{\alpha}$, we conclude that $h\in {\bigcap}_{\alpha \in \Gamma}{C}_{\alpha}$. Hence, ${\bigcap}_{\alpha \in \Gamma}{C}_{\alpha}\ne \varnothing $.

Using Theorem 4.2, we get the following common fixed point result.

**Theorem 4.3**. *Assume* $\rho \in \Re $. *is* (*UUC* 1). *Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
p
}. *Let* $\mathcal{T}$ *be a family of self-maps defined on C such that any map in* $\mathcal{T}$ *is asymptotically pointwise ρ-nonexpansive. Assume that any two mappings in* $\mathcal{T}$ *form a symmetric Banach operator pair. Then, the family* $\mathcal{T}$ *has a common fixed point. Moreover*, $Fix\left(\mathcal{T}\right)$ *is a ρ-closed convex subset of C*.

*Proof*. Using Theorem 3.4, we deduce that for any *T*_{1}*,T*_{2},...,*T*_{
n
}in $\mathcal{T}$, we have *Fix*(*T*_{1}) ⋂ *Fix*(*T*_{2}) ⋂ ⋯ ⋂ *Fix*(*T*_{
n
}) is a nonempty *ρ*-closed convex subset of *C*. Therefore, any finite family of the subsets $\left\{Fix\left(T\right);T\in \mathcal{T}\right\}$ has a nonempty intersection. Since these sets are all *ρ*-closed and convex subsets of *C*, then Theorem 4.2 implies that $Fix\left(\mathcal{T}\right)={\bigcap}_{T\in \mathcal{T}}Fix\left(T\right)$ is not empty and is *ρ*-closed and convex. Therefore, $Fix\left(\mathcal{T}\right)$ is a *ρ*-closed convex subset of *C* which finishes the proof of our theorem.

As corollaries we get the following common fixed point results which seem to be new.

**Corollary 4.2**. *Assume* $\rho \in \Re $ *is* (*UUC* 1)*. Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
ρ
}. *Let* $\mathcal{T}$ *be a family of self-maps defined on C such that any map in* $\mathcal{T}$ *is ρ-nonexpansive. Assume that any two mappings in* $\mathcal{T}$ *form a symmetric Banach operator pair. Then, the family* $\mathcal{T}$ *has a common fixed point. Moreover*, $Fix\left(\mathcal{T}\right)$ *is a ρ-closed convex subset of C*.

**Corollary 4.3**. *Assume* $\rho \in \Re $ *is* (*UUC* 1). *Let C be a ρ-closed ρ-bounded convex nonempty subset of L*_{
p
}. *Let* $\mathcal{T}$ *be a family of commuting self-maps defined on C such that any map in* $\mathcal{T}$ *is asymptotically pointwise ρ-nonexpansive. Then, the family* $\mathcal{T}$ *has a common fixed point. Moreover*, $Fix\left(\mathcal{T}\right)$ *is a ρ-closed convex subset of C*.

## Declarations

### 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".

## 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 - 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, 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 - Gohde D:
**Zum Prinzip der kontraktiven Abbildung.***Math Nachr*1965,**30:**251–258. 10.1002/mana.19650300312MathSciNetView ArticleGoogle Scholar - Baillon JB:
**Nonexpansive mappings and hyperconvex spaces.***Contemp Math*1988,**72:**11–19.MathSciNetView 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 - Khamsi MA, Kirk WA:
*An Introduction to Metric Spaces and Fixed Point Theory.*Wiley, New York; 2001.View ArticleGoogle Scholar - Khamsi MA:
**A convexity property in modular function spaces.***Math Japonica*1996,**44**(2):269–279.MathSciNetGoogle 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. 10.1016/0022-247X(91)90009-OMathSciNetView ArticleGoogle Scholar - Kutbi MA, Latif A:
**Fixed point of multivalued maps in modular function spaces.***Fixed Point Theory Appl*2009. Article ID 786357, 12 pages (2009)Google Scholar - Khamsi MA:
**On asymptotically nonexpansive mappings in hyperconvex metric spaces.***Proc Am Math Soc*2004,**132:**365–373. 10.1090/S0002-9939-03-07172-7MathSciNetView ArticleGoogle Scholar - Kirk WA:
**Fixed points of asymptotic contractions.***J Math Anal Appl*2003,**277:**645–650. 10.1016/S0022-247X(02)00612-1MathSciNetView ArticleGoogle Scholar - Kirk WA:
**Mappings of generalized contractive type.***J Math Anal Appl*1970,**32:**567–572. 10.1016/0022-247X(70)90278-7MathSciNetView ArticleGoogle Scholar - Hussain N, Khamsi MA:
**On asymptotic pointwise contractions in metric spaces.***Nonlinear Anal*2009,**71**(10):4423–4429. 10.1016/j.na.2009.02.126MathSciNetView ArticleGoogle Scholar - Khamsi MA, Kozlowski WK:
**On asymptotic pointwise contractions in modular function spaces.***Nonlinear Anal*2010,**73:**2957–2967. 10.1016/j.na.2010.06.061MathSciNetView ArticleGoogle Scholar - Kirk WA, Xu HK:
**Asymptotic pointwise contractions.***Nonlinear Anal*2008,**69:**4706–4712. 10.1016/j.na.2007.11.023MathSciNetView ArticleGoogle 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 - De Marr R:
**Common fixed points for commuting contraction mappings.***Pacific J Math*1963,**13:**1139–1141.MathSciNetView ArticleGoogle Scholar - Kozlowski WM:
**Modular function spaces.**In*Series of Monographs and Textbooks in Pure and Applied Mathematics, vol*.*Volume 122*. Dekker, New York, Basel; 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 - Chen J, Li Z:
**Banach operator pair and common fixed points for nonexpansive maps.***Nonlinear Anal*2011,**74:**3086–3090. 10.1016/j.na.2010.12.010MathSciNetView ArticleGoogle Scholar - Pathak HK, Hussain N:
**Common fixed points for Banach operator pairs with applications.***Nonlinear Anal*2008,**69:**2788–2802. 10.1016/j.na.2007.08.051MathSciNetView ArticleGoogle Scholar - Khamsi MA, Latif A, Al-Sulami H:
**KKM and Ky Fan theorems in modular function spaces.***Fixed Point Theory Appl*2011,**2011:**57. 10.1186/1687-1812-2011-57MathSciNetView ArticleGoogle Scholar - Huneke JP:
**On common fixed points of commuting continuous functions on an interval.***Trans Am Math Soc*1969,**139:**371–381.MathSciNetView ArticleGoogle Scholar - Jungck G:
**Common fixed point theorems for compatible self maps of Hausdorff topolog-ical spaces.***Fixed Point Theory Appl*2005, 355–363.Google Scholar - Ciric LjB, Hussain N, Cakic N:
**Common fixed points for Ciric type f-weak contraction with applications.***Publ Math Debrecen*2010,**76**(1–2):31–49.MathSciNetGoogle Scholar - Ciric LjB, Hussain N, Akbar F, Ume JS:
**Common fixed points for Banach operator pairs from the set of best approximations.***Bull Belgian Math Soc Simon Stevin*2009,**16:**319–336.MathSciNetGoogle Scholar - Hussain N:
**Common fixed points in best approximation for Banach operator pairs with Ciric type I-contractions.***J Math Anal Appl*2008,**338:**1351–1362. 10.1016/j.jmaa.2007.06.008MathSciNetView ArticleGoogle Scholar - Hussain N, Khamsi MA, Latif A:
**Banach operator pairs and common fixed points in hyperconvex metric spaces.***Nonlinear Anal*2011,**743:**5956–5961.MathSciNetView ArticleGoogle Scholar - Khan AR, Akbar F:
**Best simultaneous approximations, asymptotically nonexpansive mappings and variational inequalities in Banach spaces.***J Math Anal Appl*2009,**354:**469–477. 10.1016/j.jmaa.2009.01.007MathSciNetView ArticleGoogle Scholar - Khan AR, Akbar F:
**Common fixed points from best simultaneous approximations.***Taiwan J Math*2009,**13:**1379–1386.MathSciNetGoogle 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.