# Metrical common fixed point theorems without completeness and closedness

- Dhananjay Gopal
^{1}Email author, - Mohammad Imdad
^{2}and - Mujahid Abbas
^{3}

**2012**:18

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

© Gopal et al.; licensee Springer. 2012

**Received: **19 April 2011

**Accepted: **20 February 2012

**Published: **20 February 2012

## Abstract

In this article, we point out that some recent results proved in Babu and Alemayehu are corollaries of the main result of an article due to Ali and Imdad. However, combining the notions of *R*-weakly commuting property of type (*Ag*) (due to Pathak et al. together with sequential continuity of type (*Ag*) (to be introduced in this note) (also alternately *R*-weakly commuting property of type (*Af*) (due to Pathak et al.) together with sequential continuity of type (*Af*) (to be introduced in this note)) these results are improved which are possibly new results in the literature of metric fixed point theory.

**Mathematics Subject Classification (2000)**: 47H06; 47H10.

## Keywords

*R-*weakly commuting pair of maps of type (

*Ag*)

*R-*weakly commuting pair of maps of type (

*Af*)sequentially continuity of type (

*Ag*)sequentially continuity of type (

*Af*)the property (E.A); weakly compatible mapsoccasionally weakly compatible maps

## 1 Introduction and preliminaries

Recently, Babu and Alemayehu [1] proved the following results as improvements over the relevant ones presented in Kameswari [2].

**Proposition 1.1**. [1] Let

*A, B, S*and

*T*be four self maps of a metric space (

*X, d*) satisfying the inequality

*x, y*∈

*X*where

*c*

_{1},

*c*

_{2},

*c*

_{3}≥ 0 and

*c*

_{1}+

*c*

_{3}< 1. If either

- (i)
*B*(*X*) ⊆*S*(*X*), the pair (*B, T*) satisfies the property (E.A.) and*T*(*X*) is a closed subset of*X*, or - (ii)
*A*(*X*) ⊆*T*(*X*), the pair (*A, S*) satisfies the property (E.A.) and*S*(*X*) is a closed subset of*X*,

then the pairs (*A, S*) and (*B, T*) have a coincidence point each.

**Theorem 1.1**. [1] If, in addition to the hypotheses of Proposition 1.1, both the pairs (*A, S*) and (*B, T*) are occasionally weakly compatible, then the maps *A, B, S* and *T* have a unique common fixed point in *X.*

**Proposition 1.2**. [1] Let *A, B, S* and *T* be four self-maps of a metric space (*X, d*) satisfying the inequality (1.1) (of Proposition (1.1)). If the pairs (*A, S*) and (*B, T*) share the common property (*E.A.*) and *S*(*X*) as well as *T*(*X*) are closed subsets of *X*, then the pairs (*A, S*) and (*B*,*T*) have a coincidence point each.

**Theorem 1.2**. [1] If, in addition to the hypotheses of Proposition 1.2, both the pairs (*A, S*) and (*B, T*) are occasionally weakly compatible, then the maps *A, B, S* and *T* have a unique common fixed point in *X.*

First, we point out that preceding results can be deduced as corollaries of Theorem 3.1 due to Ali and Imdad [3] which runs as follows.

**Theorem 1.3**. [3] Let

*A, B, S*and

*T*be four self maps of a metric space (

*X, d*) satisfying the inequality

for all *x, y* ∈ *X* and *F* ∈ Ψ, where Ψ is the class of lower semi-continuous (in short l.s.c.) functions $F:{\mathbb{R}}_{+}^{6}\to \mathbb{R}$ enjoying the following properties:

*F*_{1} *F*(*t*,0,*t*,0,0,*t*) > 0, for all *t* > 0;

*F*_{2} *F*(*t*,0,0,*t*,*t*,0) > 0, for all *t* > 0;

*F*_{3} *F*(*t*,*t*,0,0,*t*,*t*) > 0, for all t > 0.

- (i)
the pairs (

*A, S*) and (*B*,*T*) share the common property (E.A.), - (ii)
*S*(*X*) and*T*(*X*) are closed subsets of*X.*

Then the pairs (*A, S*) and (*B, T*) have a coincidence point each. Moreover, *A, B, S*, and *T* have a unique common fixed point provided both the pairs (*A, S*) and (*B*,*T*) are weakly compatible.

Recently, Gopal et al. [4] extended Theorem 1.3 to symmetric spaces involving a sequence of mappings in symmetric spaces. In order to state this result, we need some terminology which can be summarize as follows:

A symmetric *d* in respect of a non-empty set *X* is a function *d*: *X* × *X* → [0, ∞) which satisfies *d*(*x, y*) = *d*(*y, x*) and *d*(*x, y*) = 0 ⇔ *x* = *y*(for all *x, y* ∈ *X*). If *d* is a symmetric on a set *X*, then for *x* ∈ *X* and *ϵ* > 0, we write *B*(*x, ϵ*) = {*y* ∈ *X*: *d*(*x, y*) < *ϵ*}. A topology *τ*(*d*) on *X* is given by the sets *U* (along with empty set) in which for each *x* ∈ *U*, one can find some *ϵ* > 0 such that *B*(*x, ϵ*) ⊂ *U*. A set *S* ⊂ *X* is a neighborhood of *x* ∈ *X* if and only if there is a *U* containing *x* such that *x* ∈ *U* ⊂ *S*. A symmetric *d* is said to be a semi-metric if for each *x* ∈ *X* and for each *ϵ* > 0, *B*(*x, ϵ*) is a neighborhood of *x* in the topology *τ*(*d*). Thus a symmetric (resp., a semi-metric) space *X* is a topological space whose topology *τ*(*d*) on *X* is induced by a symmetric (resp., a semi-metric) *d*. Notice that $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},x\right)=0$ if and only if *x*_{
n
}→ *x* in the topology *τ*(*d*). The distinction between a symmetric and a semi-metric is apparent as one can easily construct a symmetric *d* such that *B*(*x, ϵ*) need not be a neighborhood of *x* in *τ*(*d*). As symmetric spaces are not essentially Hausdorff and the symmetric *d* is also not continuous in general, therefore in order to prove fixed point theorems some additional axioms are required.

The following axioms are relevant to this note which are available in Aliouche [5], Galvin and Shore [6], Hicks and Rhoades [7], and Wilson [8]. From now on symmetric as well as semi-metric spaces will be denoted by (*X, d*).

(*W*_{3}): (cf. [8]) Given {*x*_{
n
}}, *x* and *y* in *X* with *d*(*x*_{
n
}, *x*) → 0 and *d*(*x*_{
n
}, *y*) → 0 imply *x* = y.

(1*C*): (cf. [9]) A symmetric *d* is said to be 1-continuous if $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},x\right)=0$ implies $\underset{n\to \infty}{\text{lim}}d\left({x}_{n},y\right)=d\left(x,y\right)$.

(*HE*): (cf. [5]) Given {*x*_{
n
}}, {*y*_{
n
}} and an *x* in *X* with *d*(*x*_{
n
}, *x*) → 0 and *d*(*y*_{
n
}, *x*) → 0 imply *d*(*x*_{
n
}, *y*_{
n
}) → 0.

Now we are equipped to state the following theorem.

**Theorem 1.4**. (cf. [4]) Let (

*X, d*) be a symmetric space satisfying (1

*C*) and (

*HE*). Let

*S, T, A*

_{ k }, for

*k*= 1, 2,..., be self mappings of

*X*satisfying the inequality

for all *x, y* ∈ *X* and *ϕ* ∈ Ψ. Suppose that the pairs (*A*_{1}, *S*) and (*A*_{
k
},*T*) for *k* > 1 share the common property (*E.A.*), *S*(*X*) and *T*(*X*) are closed subsets of *X*. Then the pairs (*A*_{1},*S*) and (*A*_{
k
}, *T*) have a coincidence point. Moreover *S, T* and *A*_{
k
}have a unique common fixed point provided both the pairs (*A*_{1}, *S*) and (*A*_{
k
}, *T*) for each *k* > 1 are weakly compatible.

In the event of single valued pair of maps, the notion of occasional weak compatibility reduces to weak compatibility due to unique coincidence point of the underlying maps (see [10]) which is always ensured by underlying contraction condition. Hence, weak compatibility remains the minimal commutativity condition for the existence of common fixed point for contractive type mappings.

In fact, it was claimed by some authors (e.g., [11, 12]) that the notion of occasional weak compatibility relaxes the requirement of completeness as well as closedness condition on underlying space or subspaces in proving common fixed point theorems for contractive type mappings.

Now, there arises a natural question: "which optimal class of mappings will do the job?" The present article is an attempt to give an affirmative answer of the above question. In this perspective, we utilize the combined idea of *R*-weakly commuting of type (*Ag*) due to Pathak et al. [13] together with sequentially continuity of type (*Ag*) (also alternately *R*-weakly commuting of type (*Af*) due to Pathak et al. [13] together with sequentially continuity of type (*Af*)).

Before presenting our main results, we recall the relevant definitions and results needed in our latter discussion. For details, we refer to [1, 3, 13, 14] and references mentioned therein.

**Definition 1.1**. A pair (

*f, g*) of self maps defined on a metric space (

*X, d*) is said to be:

- (i)
compatible if $\underset{n\to \infty}{\text{lim}}d\left(fg{x}_{n},gf{x}_{n}\right)=0$, whenever {

*x*_{ n }} is a sequence in*X*such that $\underset{n\to \infty}{\mathrm{lim}}f{x}_{n}=\underset{n\to \infty}{\mathrm{lim}}g{x}_{n}=t$ for some*t*∈*X*, - (ii)
non-compatible if there exists some sequence {

*x*_{ n }} in*X*such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some*t*∈*X*but $\underset{n\to \infty}{\text{lim}}d\left(fg{x}_{n},gf{x}_{n}\right)$ is either non-zero or non-existent, - (iii)
*R-*weakly commuting of type (*Ag*) on*X*if*d*(*ffx, gfx*) ≤*Rd*(*fx, gx*) for some*R*> 0, where*x*varies over*X*, - (iv)
*R*-weakly commuting of type (*Af*) on*X*if*d*(*fgx, ggx*) ≤*Rd*(*fx, gx*) for some*R*> 0, where*x*varies over*X*, - (v)
weakly compatible (or partially commuting or coincidentally commuting) if

*f*and*g*commute on the set of coincidence points, that is, if*fx*=*gx*for some*x*in*X*implies that*fgx*=*gfx*, - (vi)
occasionally weakly compatible iff there is a point

*x*in*X*which is a coincidence point of*f*and*g*at which*f*and*g*commutes, i.e., there exist a point*x*in*X*such that*fx*=*gx*and*fgx*=*gfx*, - (vii)
sub-compatible iff there exists a sequence {

*x*_{ n }} in*X*such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some*t*∈*X*and which satisfy $\underset{n\to \infty}{\text{lim}}d\left(fg{x}_{n},gf{x}_{n}\right)=0$, - (viii)
tangential (or satisfying the property (E.A.)) if there exists a sequence {

*x*_{ n }} in*X*such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some*t*∈*X*, - (ix)
reciprocally continuous if $\underset{n\to \infty}{\text{lim}}fg{x}_{n}=ft$ and $\underset{n\to \infty}{\text{lim}}gf{x}_{n}=gt$ whenever {

*x*_{ n }} is a sequence in*X*such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some*t*∈*X*, - (x)
sub-sequential continuous iff there exists a sequence {

*x*_{ n }} in*X*such that lim_{n→∞},*fx*_{ n }= lim_{n→∞}*gx*_{ n }=*t*for some*t*∈*X*and which satisfy $\underset{n\to \infty}{\text{lim}}fg{x}_{n}=ft$ and $\underset{n\to \infty}{\text{lim}}gf{x}_{n}=gt$.

For further information on weak commutativity conditions, one is also referred [15, 16]. Notice that (iii) and (iv)⇒(v)⇒(vi)⇒(vii) but the converse implications are not true. Let us agree to call a pair (*f, g*) of maps to be nonvacuously reciprocally continuous if there exists at least one sequence meeting the requirement of the definition of reciprocal continuity. Otherwise, the pair of maps (*f, g*) may be termed as vacuously reciprocally continuous. Notice that every nonvacuously reciprocally continuous pair of maps (*f, g*) is naturally sub-sequentially continuous. However, there do exist sub-sequentially continuous pairs of maps which are neither continuous nor reciprocally continuous [14].

Before proving our results, it can be pointed out that earlier stated results of Babu and Alemayehu [1] can be deduced from Theorem 1.3 as inequality (1.1) falls in the format of implicit relation utilized in Ali and Imdad [3] while the notions of weak compatibility and occasional weak compatibility coincide in the presence of contraction conditions. One may also notice that improved versions of earlier stated results can also be deduced from Theorem 1.4 contained in [4].

## 2 Main results

Motivated by the authors of [13, 14, 17], we introduce the following definitions.

**Definition 2.1**. A pair (*f, g*) of self maps defined on a metric space (*X, d*) is said to be sequentially continuous of type (*Ag*) iff there exists a sequence {*x*_{
n
}} in *X* such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some *t* ∈ *X* and $\underset{n\to \infty}{\mathrm{lim}}ff{x}_{n}=ft$ and $\underset{n\to \infty}{\text{lim}}gf{x}_{n}=gt$.

**Definition 2.2**. A pair (*f, g*) of self maps defined on a metric space (*X, d*) is said to be sequentially continuous of type (*Af*) iff there exists a sequence {*x*_{
n
}} in *X* such that $\underset{n\to \infty}{\text{lim}}f{x}_{n}=\underset{n\to \infty}{\text{lim}}g{x}_{n}=t$ for some *t* ∈ *X* and $\underset{n\to \infty}{\text{lim}}fg{x}_{n}=ft$ and $\underset{n\to \infty}{\text{lim}}gg{x}_{n}=gt$.

Notice that the notions of sub-sequential continuity and sequentially continuity of type (*Ag*) (also alternately notions of sub-sequential continuity and sequentially continuous of type (*Af*)) are independent of each other. To substantiate this view point, we furnish the following examples:

**Example 2.1**. Consider *X* = [0, ∞) endowed with the natural metric *d* and define *f, g*:

*X*→

*X*by

*n*= 1, 2,..., then

Thus, the pair (*f, g*) is subsequentially continuous but not sequentially continuous of type (Ag).

**Example 2.2**. Consider

*X*= [2, 20] endowed with the natural metric

*d*and define

*f, g*:

*X*→

*X*by

Here, the pair (*f, g*) is sequentially continuous of type (*Ag*) but not subsequently continuous. To substantiate the claim, one can choose $\left\{{x}_{n}=\left(5+\frac{1}{n}\right)\right\}$ for *n* = 1, 2,... in *X.*

Now, we prove our results on common fixed point of four maps which not only improve the results contained in [1] but possibly give rise new results.

**Theorem 2.1**. Let

*A, B, S*, and

*T*be four self maps of a metric space (

*X, d*). If the pairs (

*A, S*) and (

*B, T*) are sequentially continuous of type (Ag) as well as

*R*-weakly commuting of type (

*Ag*), then pairs (

*A, S*) and (

*B, T*) have a coincidence point. If pairs (

*A, S*) and (

*B, T*) satisfy the following inequality

for all *x, y* ∈ *X* and *F* ∈ Ψ, where $\Psi =\left\{F\right|F:{\mathbb{R}}_{+}^{6}\to \mathbb{R}$ is lower semi-continuous functions (l.s.c.) with *F*(*t*,*t*,0,0,*t*,*t*) > 0, for all *t* > 0}, then *A, B, S*, and *T* have a unique common fixed point.

*Proof*. Since the pair (*A, S*) is sequentially continuous of type (*Ag*) as well as *R*-weakly commuting of type (*Ag*), there exists a sequence {*x*_{
n
}} in *X* with $\underset{n\to \infty}{\text{lim}}A{x}_{n}=\underset{n\to \infty}{\text{lim}}S{x}_{n}=u$ (for some *u* ∈ *X*) such that $\underset{n\to \infty}{\text{lim}}AA{x}_{n}=Au$ and $\underset{n\to \infty}{\text{lim}}SA{x}_{n}=Su$. Also, $\underset{n\to \infty}{\text{lim}}d\left(AA{x}_{n},SA{x}_{n}\right)\le R\underset{n\to \infty}{\text{lim}}d\left(A{x}_{n},S{x}_{n}\right)=0$ so that $d\left(Au,Su\right)=\underset{n\to \infty}{\text{lim}}d\left(AA{x}_{n},SA{x}_{n}\right)=0$, i.e., *u* is a coincidence point of the pair (*A, S*).

Similarly, in respect of pair (*B, T*), there also exists a sequence {*y*_{
n
}} with $\underset{n\to \infty}{\text{lim}}B{y}_{n}=\underset{n\to \infty}{\text{lim}}T{y}_{n}=v$ (for some *v* ∈ *X*) such that $\underset{n\to \infty}{\text{lim}}BB{y}_{n}=Bv$ and $\underset{n\to \infty}{\text{lim}}TB{y}_{n}=Tv$. Also, $\underset{n\to \infty}{\text{lim}}d\left(BB{y}_{n},TB{y}_{n}\right)\le R\underset{n\to \infty}{\text{lim}}d\left(B{y}_{n},T{y}_{n}\right)=0$, so that $d\left(Bv,Tv\right)=\underset{n\to \infty}{\text{lim}}d\left(BB{y}_{n},TB{y}_{n}\right)=0$, i.e., *v* is a coincidence point of the pair (*B, T*).

*u*=

*v*. If it is not so, then using inequality (2.1), we have

*n*→ ∞ and using the l.s.c. of

*F*, we obtain

a contradiction so that *u* = *v*.

*Au*=

*u*. Let on contrary that

*Au*≠

*u*. On using (2.1), we get

*n*→ ∞ and using the l.s.c. of

*F*, we get

*u*=

*Au*=

*Su*. To prove

*Bu*=

*u*, assume on contrary that

*Bu*≠

*u*. Using (2.1), we obtain

a contradiction. Thus *u* is a common fixed point of *A, B, S* and *T.*

*z*of

*A, B, S*and

*T*such that

*z*≠

*u*. Then, on using inequality (2.1), we have

which is a contradiction. Hence *u* = *z*. Thus, *u* is the unique common fixed point of *A, B, S*, and *T*. This completes the proof.

Restricting Theorem 2.1 to a pair of mappings, we deduce the following:

**Corollary 2.1**. Let

*A*and

*S*be two self maps of a metric space (

*X, d*). If the pair (

*A, S*) is sequentially continuous of type (

*Ag*) as well as

*R*-weakly commuting of type (

*Ag*), then pair (

*A, S*) has a coincidence point. If pair (

*A, S*) satisfies the inequality

for all *x, y* ∈ *X* and *F* ∈ Ψ, where $\Psi =\left\{F\right|F:{\mathbb{R}}_{+}^{6}\to \mathbb{R}$ is lower semi-continuous functions (l.s.c.) and *F*(*t*,*t*,0,0,*t*,*t*) > 0, for all *t* > 0}, then *A* and *S* have a unique common fixed point.

**Remark 2.1**. A careful examination of the proof reveals the fact that Theorem 2.1 (hence also Corollary 2.1) remains valid in symmetric space (*X, d*) wherein *d* is continuous.

Alternately, using *R*-weakly commuting property of type (*Af*) (due to Pathak et al. [13]) together with sequential continuity of type (*Af*), we have the following:

**Theorem 2.2**. Let *A, B, S*, and *T* be four self maps of a metric space (*X, d*). If the pairs (*A, S*) and (*B, T*) are sequentially continuous of type (*Af*) as well as *R-* weakly commuting of type (*Af*), then pairs (*A, S*) and (*B, T*) have a coincidence point. If pairs (*A, S*) and (*B, T*) satisfy the inequality (2.1) (of Theorem 2.1), then *A, B, S* and *T* have a unique common fixed point.

*Proof*. Since the pair (*A, S*) is sequentially continuous of type (*Af*) and *R*-weakly commuting of type (*Af*), there exist sequence {*x*_{
n
}} in *X* with $\underset{n\to \infty}{\text{lim}}A{x}_{n}=\underset{n\to \infty}{\text{lim}}S{x}_{n}=u$, for some *u* ∈ *X* such that $\underset{n\to \infty}{\text{lim}}AS{x}_{n}=Au$ and $\underset{n\to \infty}{\text{lim}}SS{x}_{n}=Su$. Also, $\underset{n\to \infty}{\text{lim}}d\left(AS{x}_{n},SS{x}_{n}\right)=0$. Thus, we get $d\left(Au,Su\right)=\underset{n\to \infty}{\text{lim}}d\left(AS{x}_{n},SS{x}_{n}\right)=0$, i.e., *u* is a coincidence point of the pair (*A, S*).

Similarly, in respect of pair (*B, T*), there also exists a sequence {*y*_{
n
}} in *X* with $\underset{n\to \infty}{\text{lim}}B{y}_{n}=\underset{n\to \infty}{\text{lim}}T{y}_{n}=v$, for some *v* ∈ *X* such that $\underset{n\to \infty}{\text{lim}}BT{y}_{n}=Bv$ and $\underset{n\to \infty}{\text{lim}}TT{y}_{n}=Tv$. Also, $\underset{n\to \infty}{\text{lim}}d\left(BT{y}_{n},TT{y}_{n}\right)\le R\underset{n\to \infty}{\text{lim}}d\left(B{y}_{n},T{y}_{n}\right)=0$. Thus, we get $d\left(Bv,Tv\right)=\underset{n\to \infty}{\text{lim}}d\left(BB{y}_{n},TB{y}_{n}\right)=0$, i.e., *v* is a coincidence point of the pair (*B, T*). The rest of the proof can be completed on the lines of above Theorem 2.1. This concludes the proof.

Restricting Theorem 2.2 to a pair of mappings, we deduce the following:

**Corollary 2.2**. Let

*A*and

*S*be two self maps of a metric space (

*X, d*). If the pair (

*A, S*) is sequentially continuous of type (

*Af*) as well as

*R*-weakly commuting of type (

*Af*), then the pair (

*A, S*) has a coincidence point. If pair (

*A, S*) satisfies the inequality

for all *x, y* ∈ *X* and *F* ∈ Ψ, where $\Psi =\left\{F\right|F:{\mathbb{R}}_{+}^{6}\to \mathbb{R}$ is lower semi-continuous functions (l.s.c.) and *F*(*t*,*t*,0,0,*t*,*t*) > 0, for all *t* > 0}, then *A* and *S* have a unique common fixed point.

**Remark 2.2**. A careful examination of the proof reveals the fact that Theorem 2.2 (hence also Corollary 2.2) remains valid in symmetric space (*X, d*) wherein *d* is continuous.

Finally, we present an example to demonstrate the validity of the hypotheses and degree of generality of our results over comparable ones from the existing literature.

**Example 2.3**. Consider

*X*= [2, 20) endowed with the natural metric

*d*and define

*A, S*:

*X*→

*X*by

*n*= 1, 2,... in

*X*, we have

*A, S*) is subsequently continuous of type (

*Ag*) as well as

*R-*weakly commuting of type (Ag) but not reciprocally continuous and compatible. Moreover, one can also check inequality (2.3) by defining

*F*as

*F*(

*t*

_{1},

*t*

_{2},

*t*

_{3},

*t*

_{4},

*t*

_{5},

*t*

_{6}): ${\mathbb{R}}_{+}^{6}\to \mathbb{R}$ as

where $k\in \left[\frac{1}{2},1\right)$. Thus, all the conditions of Corollary 2.2 are satisfied. Notice that 2 is a coincidence as well as unique common fixed point of the pair (*A, S*).

This example cannot be covered by those fixed point theorems which require both compatibility and reciprocal continuity or completeness (or closedness) of the underlying spaces or subspaces. Notice that in this example neither *X* is complete nor $A\left(X\right)=\left\{2\right\}\cup \left(\frac{8}{3},\frac{20}{3}\right]$ or *S*(*X*) = [2,7) ∪ {18} is closed (e.g., [3, 13, 18]).

## Declarations

### Acknowledgements

The authors were thankful to all the three learned referees for their deep observations and pertinent suggestions, which greatly helped us to improve the article significantly.

## Authors’ Affiliations

## References

- Babu GVR, Alemayehu GN: Common fixed point theorems for occasionally weakly compatible maps satisfying property (E.A.) using an inequality involving quadratic terms.
*Appl Math Lett*2011, 24: 975–981. 10.1016/j.aml.2011.01.008MathSciNetView ArticleGoogle Scholar - Kameswari MVR:
*Existence of Common fixed points, equivalence of the convergence of certain iterations and approximations of fixed points of multi-valued maps.*Andhra University, India; 2008.Google Scholar - Ali J, Imdad M: An implicit function implies several contraction conditions.
*Sarajevo J Math*2008, 17(4):269–285.MathSciNetGoogle Scholar - Gopal D, Imdad M, Vetro C: Common fixed point theorems for mappings satisfying common property (E.A.) in symmetric spaces.
*Filomat*2011, 25(2):59–78. 10.2298/FIL1102059GMathSciNetView ArticleGoogle Scholar - Aliouche A: A common fixed point theorem for weakly compatible mappings in symmetric spaces satisfying a contractive condition of integral type.
*J Math Anal Appl*2006, 322(2):796–802. 10.1016/j.jmaa.2005.09.068MathSciNetView ArticleGoogle Scholar - Galvin F, Shore SD: Completeness in semi-metric spaces.
*Pacific J Math*1984, 113(1):67–75.MathSciNetView ArticleGoogle Scholar - Hicks TL, Rhoades BE: Fixed point theory in symmetric spaces with applications to probabilistic spaces.
*Nonlinear Anal*1999, 36: 331–344. 10.1016/S0362-546X(98)00002-9MathSciNetView ArticleGoogle Scholar - Wilson WA: On semi-metric spaces.
*Am J Math*1931, 53: 361–373. 10.2307/2370790View ArticleGoogle Scholar - Cho SH, Lee GY, Bae JS: On coincidence and fixed-point theorems in symmetric spaces.
*Fixed Point Theory Appl*2008, 9. Volume Art. ID 562130Google Scholar - Dori'c D, Kadelburg Z, Radenović S: A note on occasionally weakly compatible mappings and common fixed points.
*Fixed Point Theory*, in press. http://www.math.ubbcluj.ro - Jungck G, Rhoades BE: Fixed point theorems for occasionally weakly compatible mappings.
*Fixed Point Theory*2006, 7(2):287–296.MathSciNetGoogle Scholar - Jungck G, Rhoades BE: Erratum to fixed point theorems for occasionally weakly compatible mappings.
*Fixed Point Theory*2006, 7(2):287–296.MathSciNetGoogle Scholar - Pathak HK, Cho YJ, Kang MS: Remarks on
*R*-weakly commuting mappings and common fixed point theorems.*Bull Korean Math Soc*1997, 34(2):247–257.MathSciNetGoogle Scholar - Bouhadjera H, Godet-Thobie C: Common fixed point theorem for pair of subcompat-ible maps. 2009.Google Scholar
- Abbas M, Gopal D, Radenovi'c S: A note on recently introduced commutative conditions (submitted).Google Scholar
- Ali Alghamdi Mohammad, Radenovi'c Stojan, Naseer Shahzad: On some generalizations of commuting mappings.
*Abst and Appl Anal*2012, 6. Volume Article ID 952052Google Scholar - Imdad M, Ali J: Tanveer, M: Remarks on recent metrical fixed point theorems.
*Appl Math lett*2011, 24: 1165–1169. 10.1016/j.aml.2011.01.045MathSciNetView ArticleGoogle Scholar - Pant RP: Common fixed points for four mappings.
*Bull Calcutta Math Soc*1998, 9: 281–286.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.