# Faintly compatible mappings and common fixed points

- Ravindra K Bisht
^{1}and - Naseer Shahzad
^{2}Email author

**2013**:156

https://doi.org/10.1186/1687-1812-2013-156

© Bisht and Shahzad; licensee Springer. 2013

**Received: **18 January 2013

**Accepted: **15 April 2013

**Published: **18 June 2013

## Abstract

In this paper we introduce a generalization of the concept of compatible mappings, and using that condition, we obtain some new fixed point theorems under both contractive and noncontractive conditions, which may allow the existence of a common fixed point or the existence of multiple fixed or coincidence points. We also manifest that the new concept is a necessary condition for the existence of a common fixed point.

**MSC:**47H10, 54H25.

### Keywords

common fixed point compatible maps weak compatible maps Lipschitz-type mappings## 1 Introduction and preliminaries

The question of the existence of common fixed points of commuting continuous self-maps of a compact convex set had remained an open problem for a fairly long time. It was only in 1969 that Boyce [1] and Huneke [2] independently proved that there exist two continuous commuting self-maps of the unit interval $[0,1]$ without a common fixed point. Thus, the study of common fixed points of a pair of self-mappings satisfying contractive-type conditions becomes interesting in view of the fact that even commuting continuous mappings on such nicely behaved entities as compact convex sets may fail to have a common fixed point. When we extend such studies to the class of noncommuting contractive-type mapping pair, it becomes still more interesting.

In 1982, Sessa [3] obtained the first weaker version of commutativity by introducing the notion of weak commutativity. This concept was further generalized by Jungck when he defined the concept of compatible mappings [4]. Extending weak commuting mappings, Pant [5] introduced the notion of R-weak commutativity. In 1996 Jungck again generalized the notion of compatible mappings by introducing weakly compatible mappings [4]. In 2008, Al-Thagafi and Shahzad [6] weakened the notion of nontrivial weakly compatible maps by introducing a new notion of occasionally weakly compatible (in short, owc) maps. In the recent work, Pant and Pant [7] redefined the notion of occasionally weakly compatible mappings by conditional commutativity. Over the past few years, generalizations of weakly compatible mappings and owc have been extensively used to study common fixed points of contractive mappings. In a recent note Alghamdi *et al.* ([8], see also [9] and references therein) have shown that many recent results which employ several weaker noncommuting notions are not real generalizations of previously existing results on weakly compatible mappings. They have also shown that many of the generalized commutativity conditions including owc fall in the subclass of weak compatibility in the setting of a unique common fixed point (or a unique point of coincidence). Those new classes of noncommuting notions are interesting but contractive conditions do not provide an ideal setting for the application of these concepts. For proper applications of these notions, one should look to mappings satisfying nonexpansive conditions, Lipschitz-type conditions or some other general conditions [10].

In 2011, Haghi *et al.* [11] proved a powerful lemma and showed that some coincidence and common fixed point generalizations in fixed point theory are merely consequences of the corresponding fixed point theorems existing in the literature (for more details, see [11]).

Fixed point theorems are statements containing sufficient conditions that ensure the existence of a fixed point. Common fixed point theorems invariably require a commutativity condition, a condition on the ranges of the mappings, some continuity condition, and a contractive or possibly a Lipschitz-type condition and every significant fixed point theorem attempts to weaken or obtain a necessary version of one or more of these conditions (see, for instance, [12–16]).

Before proceeding further, we recall some relevant concepts.

**Definition 1.1**A pair of self-maps $(A,S)$ of a metric space $(X,d)$ is said to be

- (i)
compatible [17] if and only if ${lim}_{n\to \mathrm{\infty}}d(A(S({y}_{n})),S(A({y}_{n})))=0$, whenever $\{{y}_{n}\}$ is a sequence in

*X*such that ${lim}_{n\to \mathrm{\infty}}A({y}_{n})={lim}_{n\to \mathrm{\infty}}S({y}_{n})=t$ for some*t*in*X*; - (ii)
noncompatible if there exists a sequence $\{{y}_{n}\}$ in

*X*such that ${lim}_{n\to \mathrm{\infty}}A({y}_{n})={lim}_{n\to \mathrm{\infty}}S({y}_{n})=t$ for some*t*in*X*, but ${lim}_{n\to \mathrm{\infty}}d(A(S({y}_{n})),S(A({y}_{n})))$ is either non-zero or non-existent; - (iii)
weakly compatible [4] if the pair commutes on the set of coincidence points (a point $x\in X$ is called a coincidence point of the pair $(A,S)$ if $A(x)=S(x)$),

*i.e.*, $A(S(x))=S(A(x))$ whenever $A(x)=S(x)$ for some $x\in X$; - (iv)
occasionally weakly compatible [6] if there exists a coincidence point

*x*in*X*such that $A(x)=S(x)$ implies $A(S(x))=S(A(x))$; - (v)
conditionally commuting [7] if the pair commutes on a nonempty subset of the set of coincidence points whenever the set of coincidences is nonempty;

- (vi)
subcompatible [18] if there exists a sequence $\{{y}_{n}\}$ in

*X*such that ${lim}_{n\to \mathrm{\infty}}A({y}_{n})={lim}_{n\to \mathrm{\infty}}S({y}_{n})=t\in x$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({y}_{n})),S(A({y}_{n})))=0$; - (vii)
conditionally compatible [10] if and only if whenever the set of sequences $\{{y}_{n}\}$ satisfying ${lim}_{n\to \mathrm{\infty}}A({y}_{n})={lim}_{n\to \mathrm{\infty}}S({y}_{n})$ is nonempty, there exists a sequence $\{{z}_{n}\}$ such that ${lim}_{n\to \mathrm{\infty}}A({z}_{n})={lim}_{n\to \mathrm{\infty}}S({z}_{n})=t$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({z}_{n})),S(A({z}_{n})))=0$.

It may be observed that compatibility is independent of the notion of conditional compatibility, and in the setting of a unique common fixed point (or unique point of coincidence), conditional compatibility does not reduce to the class of compatibility. The following examples illustrate these facts.

**Example 1.1**Let $X=[1,\mathrm{\infty})$ with the Euclidean metric

*d*. Define mappings $A,S:X\to X$ by

Then it can be verified that *f* and *g* are compatible but not conditionally compatible.

**Example 1.2**Let $X=[1,8]$ with the usual metric

*d*. Define mappings $A,S:X\to X$ as follows:

In this example *A* and *S* are conditionally compatible but not compatible. To see this, we can consider the constant sequence ${z}_{n}=2$, then ${lim}_{n\to \mathrm{\infty}}A({z}_{n})=2$, ${lim}_{n\to \mathrm{\infty}}S({z}_{n})=2$, ${lim}_{n\to \mathrm{\infty}}A(S({z}_{n}))=2$, ${lim}_{n\to \mathrm{\infty}}S(A({z}_{n}))=2$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({z}_{n})),S(A({z}_{n})))=0$. Again, if we consider the sequence ${y}_{n}=2-\frac{1}{n}$, then ${lim}_{n\to \mathrm{\infty}}A({y}_{n})=2$, ${lim}_{n\to \mathrm{\infty}}S({y}_{n})={lim}_{n\to \mathrm{\infty}}(2+\frac{2}{n})\to 2$, ${lim}_{n\to \mathrm{\infty}}A(S({y}_{n}))=5$, ${lim}_{n\to \mathrm{\infty}}S(A({y}_{n}))=2$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({y}_{n})),S(A({y}_{n})))=3$. Thus *f* and *g* are conditionally compatible but not compatible.

It may also be observed that conditional compatibility need not imply commutativity at the coincidence points. The following example illustrates this fact.

**Example 1.3**Let $X=[0,\mathrm{\infty})$ and

*d*be the Euclidean metric

*X*. Define

*A*and $S:X\to X$ by

In this example *A* and *S* are conditionally compatible, but they do not commute their only coincidence point $x=3$. To see this, let us consider the sequence ${y}_{n}=3+\frac{1}{n}$, then ${lim}_{n\to \mathrm{\infty}}A({y}_{n})=9={lim}_{n\to \mathrm{\infty}}S({y}_{n})$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({y}_{n})),S(A({y}_{n})))=0$. Thus *f* and *g* are conditionally compatible. On the other hand, we have $A(x)=S(x)$ iff $x=3$ and $A(S(3))=A(9)=81$, $S(A(3))=S(9)=15$. Then $A(3)=9=S(3)$, but $A(S(3))\ne S(A(3))$.

In this paper we define the notion of conditionally compatible maps in a slightly different manner as follows.

**Definition 1.2** Two self-mappings *A* and *S* of a metric space $(X,d)$ will be called to be *faintly compatible* iff *A* and *S* are conditionally compatible and *A* and *S* commute on a nonempty subset of coincidence points whenever the set of coincidences is nonempty.

If *A* and *S* are compatible, then they are obviously faintly compatible, but the converse is not true in general.

**Example 1.4**Let $X=[3,6]$ and

*d*be the usual metric on

*X*. Define self-mappings

*A*and

*S*on

*X*as follows:

In this example *A* and *S* are faintly compatible but not compatible. To see this, if we consider the constant sequence $\{{y}_{n}=3\}$, then *A* and *S* are faintly compatible. On the other hand, if we choose the sequence $\{{x}_{n}=5+\frac{1}{n}\}$, then ${lim}_{n\to \mathrm{\infty}}A({x}_{n})=3={lim}_{n\to \mathrm{\infty}}S({x}_{n})$, and ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))\ne 0$. Thus *A* and *S* are faintly compatible, but they are not compatible.

It is also relevant to mention here that faint compatibility and noncompatibility are independent concepts. To see this, we can consider the following examples.

**Example 1.5**Let $X=[2,10]$ and

*d*be the usual metric on

*X*. Define self-mappings

*A*and

*S*on

*X*as follows:

In this example *A* and *S* are noncompatible, but not faintly compatible. To see this, let us consider the sequence ${x}_{n}=5+\frac{1}{n}$, then ${lim}_{n\to \mathrm{\infty}}A({x}_{n})=2$, ${lim}_{n\to \mathrm{\infty}}S({x}_{n})={lim}_{n\to \mathrm{\infty}}=2$, but ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))=6$. Thus *A* and *S* are noncompatible, but not faintly compatible.

**Example 1.6**Let $X=[1,\mathrm{\infty})$ and let

*d*be the usual metric on

*X*. Define $A,S:X\to X$ by

In this example *A* and *S* are faintly compatible, but not noncompatible.

Examples 1.5 and 1.6 clearly show that faint compatibility and noncompatibility are independent of each other.

If *A* and *S* are weakly compatible, then they are also faintly compatible, but the converse is not true in general (see examples on the following pages).

It is worth mentioning here that if *f* and *g* are owc, then they are also faintly compatible, but the converse is not true in general.

**Example 1.7**Let $X=[1,\mathrm{\infty})$ and

*d*be the usual metric on

*X*. Define $A,S:X\to X$ by

Then it can be verified that *A* and *S* are trivially faintly compatible but not owc.

It may be pointed out that the notion of owc implies commutativity at some coincidence points, but it does not help in establishing the existence of coincidence points, whereas the new notion is useful in establishing the existence of coincidence points.

## 2 Main results

**Theorem 2.1**

*Let*

*A*

*and*

*S*

*be noncompatible faintly compatible self*-

*mappings of a metric space*$(X,d)$

*satisfying*

- (i)
$AX\subseteq SX$,

- (ii)
$d(A(x),A(y))\le kd(S(x),S(y))$, $0\le k<1$.

*If either* *A* *or* *S* *is continuous*, *then* *A* *and* *S* *have a unique common fixed point*.

*Proof* Noncompatibility of *A* and *S* implies that there exists some sequence $\{{x}_{n}\}$ in *X* such that $A({x}_{n})\to t$ and $S({x}_{n})\to t$ for some $t\in X$, but ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))$ is either non-zero or non-existent. Since *A* and *S* are faintly compatible and ${lim}_{n\to \mathrm{\infty}}A({x}_{n})={lim}_{n\to \mathrm{\infty}}S({x}_{n})=t$, there exists a sequence $\{{z}_{n}\}$ in *X* satisfying ${lim}_{n\to \mathrm{\infty}}A({z}_{n})={lim}_{n\to \mathrm{\infty}}S({z}_{n})=u$ (say) such that ${lim}_{n\to \mathrm{\infty}}d(A(S({z}_{n})),S(A({z}_{n})))=0$. Further, since *A* is continuous, then ${lim}_{n\to \mathrm{\infty}}A(A({z}_{n}))=A(u)$ and ${lim}_{n\to \mathrm{\infty}}A(S({z}_{n}))=A(u)$. The last three limits together imply ${lim}_{n\to \mathrm{\infty}}S(A({z}_{n}))=A(u)$. Since $AX\subseteq SX$ implies that $A(u)=S(v)$ for some $v\in X$ and $A(A({z}_{n}))\to S(v)$, $S(A({z}_{n}))\to S(v)$. Also, using (ii), we get $d(A(v),A(A({z}_{n})))\le kd(S(v),S(A({z}_{n})))$. On letting $n\to \mathrm{\infty}$, we get $A(v)=S(v)$. Thus *v* is a coincidence point of *A* and *S*. Further, faint compatibility implies $A(S(v))=S(A(v))$, and hence $A(S(v))=S(A(v))=A(A(v))=S(S(v))$. If $A(v)\ne A(A(v))$, then using (ii) we get $d(A(v),A(A(v)))\le kd(S(v),S(A(v)))=kd(A(v),A(A(v)))$, a contradiction. Hence $A(v)$ is a common fixed point of *A* and *S*. The same conclusion is obtained when *S* is assumed to be continuous since the continuity of *S* implies the continuity of *A*. The uniqueness of the common fixed point theorem is an easy consequence of the condition (ii). □

We now give an example to illustrate Theorem 2.1.

**Example 2.1** Let $X=[0,20]$ and let *d* be the usual metric on *X*. Define $A,S:X\to X$ as follows:

$Ax=\frac{x}{10}$ if $x<10$, $Ax=\frac{20-x}{10}$ if $x\ge 10$,

$S0=0$, $Sx=20-x$ if $x>0$.

Then *A* and *S* satisfy all the conditions of Theorem 2.1 and have a unique common fixed point at $x=0$. It can be verified in this example that *A* and *S* satisfy the condition (ii) with $k=\frac{1}{10}$. Furthermore, *A* and *S* are faintly compatible. Also, *A* and *S* are noncompatible. To see that, let us consider an increasing sequence $\{{x}_{n}\}$ in $X=[2,20]$ such that ${x}_{n}\to 20$. Then $A({x}_{n})\to 0$, $S({x}_{n})\to 0$, $A(S({x}_{n}))\to 0$ and $S(A({x}_{n}))\to 20$ as $n\to \mathrm{\infty}$. Therefore, *A* and *S* are noncompatible.

It is well known that the strict contractive condition $d(A(x),A(y))<d(S(x),S(y))$ does not ensure the existence of common fixed points unless the space taken to be compact or some sequence of iterates is assumed to be a Cauchy sequence. The next theorem illustrates the applicability of faintly compatible mappings satisfying the strict contractive condition.

**Theorem 2.2**

*Let*

*A*

*and*

*S*

*be noncompatible faintly compatible self*-

*mappings of a metric space*$(X,d)$

*satisfying the condition*(i)

*of Theorem*2.1

*and*

- (i)
$d(A(x),A(y))<d(S(x),S(y))$

*whenever*$Sx\ne Sy$.

*If either* *A* *or* *S* *is continuous*, *then* *A* *and* *S* *have a unique common fixed point*.

*Proof*Noncompatibility of

*A*and

*S*implies that there exists some sequence $\{{x}_{n}\}$ in

*X*such that $A({x}_{n})\to t$ and $S({x}_{n})\to t$ for some $t\in X$, but ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))\ne 0$ or nonexistent. Since

*A*and

*S*are faintly compatible, there exists a sequence $\{{z}_{n}\}$ in

*X*satisfying ${lim}_{n\to \mathrm{\infty}}A({z}_{n})={lim}_{n\to \mathrm{\infty}}S({z}_{n})=v$ (say) such that ${lim}_{n\to \mathrm{\infty}}d(A(S({z}_{n})),S(A({z}_{n})))=0$. Further, since

*A*is continuous, then ${lim}_{n\to \mathrm{\infty}}A(A({z}_{n}))=A(v)$ and ${lim}_{n\to \mathrm{\infty}}A(S({z}_{n}))=A(v)$. The last three limits together imply ${lim}_{n\to \mathrm{\infty}}S(A({z}_{n}))=A(v)$. Since $AX\subseteq SX$ implies that $A(v)=S(w)$ for some $w\in X$ and $A(A({z}_{n}))\to S(w)$, $S(A({z}_{n}))\to S(w)$. Also, using (i) we get $d(A(w),A(A({z}_{n})))<d(S(w),S(A({z}_{n})))$. On letting $n\to \mathrm{\infty}$, we get $A(w)=S(w)$. Again, in view of faint compatibility of

*A*and

*S*, we get $A(S(w))=S(A(w))$, and hence $A(S(w))=S(A(w))=A(A(w))=S(S(w))$. We claim that $A(w)=A(A(w))$. If not, by virtue of (i), we get

which gives a contradiction implying thereby $A(w)=A(A(w))=S(A(w))$. Hence, *Aw* is a common fixed point of *A* and *S*. The same conclusion can be drawn when *S* is assumed to be continuous since the continuity of *S* implies the continuity of *A*. The uniqueness of the common fixed point follows from (i). □

**Remark 2.1** We have proved Theorem 2.2 under the simplest contractive condition $d(A(x),A(y))<d(S(x),S(y))$. Analogous results for commuting or compatible mappings require a Banach-type or $d(A(x),A(y))\le \varphi (d(S(x),S(y)))$ or Meir-Keeler-type contractive condition [19].

We now show that the notion of faint compatibility is also useful in studying fixed points of mappings satisfying Lipschitz-type conditions.

**Theorem 2.3**

*Let*

*A*

*and*

*S*

*be noncompatible faintly compatible self*-

*mappings of a metric space*$(X,d)$

*satisfying the condition*(i)

*of Theorem*2.1

*and*

- (i)
$d(A(x),A(y))\le kd(S(x),S(y))$, $k\ge 0$;

- (ii)
$d(A(x),A(A(x)))\ne max\{d(A(x),S(A(x))),d(S(A(x)),A(A(x)))\}$

*whenever the right*-*hand side is non*-*zero*.

*Suppose either* *A* *or* *S* *is continuous*, *then* *A* *and* *S* *have a common fixed point*.

*Proof*Noncompatibility of

*A*and

*S*implies that there exists some sequence $\{{x}_{n}\}$ in

*X*such that $A({x}_{n})\to t$ and $S({x}_{n})\to t$ for some $t\in X$, but ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))\ne 0$ or nonexistent. Since

*A*and

*S*are faintly compatible and ${lim}_{n\to \mathrm{\infty}}A({x}_{n})={lim}_{n\to \mathrm{\infty}}S({x}_{n})=t$, there exists a sequence $\{{z}_{n}\}$ in

*X*satisfying ${lim}_{n\to \mathrm{\infty}}A({z}_{n})={lim}_{n\to \mathrm{\infty}}S({z}_{n})=v$ (say) such that ${lim}_{n\to \mathrm{\infty}}d(A(S({z}_{n})),S(X({z}_{n})))=0$. Further, since

*A*is continuous, then ${lim}_{n\to \mathrm{\infty}}A(A({z}_{n}))=A(v)$ and ${lim}_{n\to \mathrm{\infty}}A(S({z}_{n}))=A(v)$. The last three limits together imply ${lim}_{n\to \mathrm{\infty}}S(A({z}_{n}))=A(v)$. Since $AX\subseteq SX$ implies that $A(v)=S(w)$ for some $w\in X$ and $A(A({z}_{n}))\to S(w)$, $S(A({z}_{n}))\to S(w)$. Also, using (i), we get $d(A(w),A(A({z}_{n})))\le kd(S(w),S(A({z}_{n})))$. On letting $n\to \mathrm{\infty}$, we get $A(w)=S(w)$. This implies that

*w*is a coincidence point of

*A*and

*S*. In view of faint compatibility of

*A*and

*S*, we get $A(S(w))=S(A(w))=A(A(w))=S(S(w))$. We claim that $A(w)=A(A(w))$. If not, by virtue of (ii), we get

which gives a contradiction. Hence $A(w)=A(A(w))=A(S(w))$ and *Aw* is a common fixed point of *A* and *S*. The same conclusion is obtained when *S* is assumed to be continuous since the continuity of *S* implies the continuity of *A*. This completes the proof. □

We now give an example [20] to illustrate Theorem 2.3.

**Example 2.2**Let $X=[0,1]$ with the Euclidean metric

*d*. Define mappings $A,S:X\to X$ by

Then *A* and *S* satisfy all the conditions of Theorem 2.3 and have a common fixed point $x=\frac{2}{5}$ and a coincidence point $x=1$ at which *A* and *S* do not commute. It may be verified in this example that *A* and *S* satisfy the condition (i) for $k=\frac{3}{2}$ together with the condition (ii). The mappings *A* and *S* are faintly compatible (take a constant sequence ${y}_{n}=\frac{2}{5}$) and they commute at the coincidence point at $x=\frac{2}{5}$. Moreover, *A* and *S* are noncompatible (consider a sequence ${x}_{n}=1-\frac{1}{n}$).

In Example 2.2, *A* and *S* do not commute at the coincidence point $x=1$, hence they do not satisfy the condition of weakly compatible mappings.

The next example also illustrates Theorem 2.3.

**Example 2.3**Let $X=[0,1]$ and let

*d*be the usual metric on

*X*. Define self-mappings

*A*on

*X*as in the above Example 2.1 and $S:X\to X$ by

Then *A* and *S* satisfy all the conditions of Theorem 2.3 and have two common fixed points $x=\frac{2}{5}$ and $x=1$.

As an application of faint compatible mappings, we now prove a common fixed point theorem under a more general condition that may hold for mappings satisfying contractive as well as nonexpansive and Lipschitz-type conditions.

**Theorem 2.4**

*Let*

*A*

*and*

*S*

*be noncompatible faintly compatible self*-

*mappings of a metric space*$(X,d)$

*satisfying*

- (i)
$d(A(x),A(A(x)))\ne max\{d(A(x),S(A(x))),d(S(A(x)),A(A(x)))\}$

*whenever the right*-*hand side is non*-*zero*.

*Suppose* *A* *and* *S* *are continuous*, *then* *A* *and* *S* *have a common fixed point*.

*Proof* Noncompatibility of *A* and *S* implies that there exists some sequence $\{{x}_{n}\}$ in *X* such that $A({x}_{n})\to t$ and $S({x}_{n})\to t$ for some $t\in X$, but ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))\ne 0$ or nonexistent. The continuity of *A* and *S* implies that ${lim}_{n\to \mathrm{\infty}}A(S({x}_{n}))=A(t)$, and ${lim}_{n\to \mathrm{\infty}}S(A({x}_{n}))=S(t)$. In view of faint compatibility and continuity of *A* and *S*, we can easily obtain a common fixed point as has been proved in the corresponding part of Theorem 2.3. □

Examples 2.2 and 2.3 also illustrate Theorem 2.4.

**Remark 2.2** It may be in order to point out here that Theorems 2.1, 2.2, 2.3 and 2.4 have been proved under a noncomplete metric space. Further, it would be interesting to apply the technique of Haghi *et al.* [11] in the above results.

**Remark 2.3**Theorem 2.4 remains true if one replaces the condition (i) by any one of the following conditions (see also [21]):

- (a)
$d(S(x),S(S(x)))\ne max\{d(S(x),A(S(x))),d(A(S(x)),S(S(x)))\}$,

- (b)
$d(A(x),A(A(x)))\ne d(A(x),S(x))+d(S(x),A(A(x)))$,

- (c)
$d(S(x),S(S(x)))\ne d(S(x),A(x))+d(A(x),S(S(x)))$

*whenever the right-hand side is non-zero*.

**Remark 2.4** Faint compatibility is a necessary condition for the existence of common fixed points of given mappings *A* and *S* satisfying contractive or more general Lipschitz-type mapping pairs. Let *A* and *S* be a Lipschitz-type pair of self-mappings of a metric space $(X,d)$ and let *A* and *S* have a common fixed point *x*. Then $A(x)=S(x)=x$ and $A(S(x))=S(A(x))=A(x)=S(x)=x$. If we choose the constant sequence ${x}_{n}=x$, then ${lim}_{n\to \mathrm{\infty}}A({x}_{n})={lim}_{n\to \mathrm{\infty}}S({x}_{n})={lim}_{n\to \mathrm{\infty}}A(S({x}_{n}))={lim}_{n\to \mathrm{\infty}}S(A({x}_{n}))=x$ and ${lim}_{n\to \mathrm{\infty}}d(A(S({x}_{n})),S(A({x}_{n})))=d(x,x)=0$, that is, *A* and *S* are faintly compatible.

## Declarations

### Acknowledgements

The authors are thankful to the referees for their valuable suggestions for improving the presentation of the paper. The research of N. Shahzad was partially supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

## Authors’ Affiliations

## References

- Boyce WB: Commuting functions with common fixed point.
*Trans. Am. Math. Soc.*1969, 137: 77–92.MathSciNetView 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 - Sessa S: On a weak commutativity condition of mappings in fixed point considerations.
*Publ. Inst. Math.*1982, 32: 149–153.MathSciNetGoogle Scholar - Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces.
*Far East J. Math. Sci.*1996, 4: 199–215.MathSciNetGoogle Scholar - Pant RP: Common fixed points of noncommuting mappings.
*J. Math. Anal. Appl.*1994, 188: 436–440. 10.1006/jmaa.1994.1437MathSciNetView ArticleGoogle Scholar - Al-Thagafi MA, Shahzad N: Generalized
*I*-nonexpansive selfmaps and invariant approximations.*Acta Math. Sin.*2008, 24: 867–876. 10.1007/s10114-007-5598-xMathSciNetView ArticleGoogle Scholar - Pant V, Pant RP: Common fixed points of conditionally commuting maps.
*Fixed Point Theory*2010, 1: 113–118.MathSciNetGoogle Scholar - Alghamdi MA, Radenović S, Shahzad N: On some generalizations of commuting mappings.
*Abstr. Appl. Anal.*2012., 2012: Article ID 952052Google Scholar - Ðorić D, Kadelburg Z, Radenović S: A note on occasionally weakly compatible and common fixed points.
*Fixed Point Theory*2012, 13: 475–480.MathSciNetGoogle Scholar - Pant RP, Bisht RK: Occasionally weakly compatible mappings and fixed points.
*Bull. Belg. Math. Soc. Simon Stevin*2012, 19: 655–661.MathSciNetGoogle Scholar - Haghi RH, Rezapour S, Shahzad N: Some fixed point generalizations are not real generalizations.
*Nonlinear Anal.*2011, 74: 1799–1803. 10.1016/j.na.2010.10.052MathSciNetView ArticleGoogle Scholar - Ćirić L, Samet B, Vetro C: Common fixed point theorems for families of occasionally weakly compatible mappings.
*Math. Comput. Model.*2011, 53(5–6):631–636. 10.1016/j.mcm.2010.09.015View ArticleGoogle Scholar - Ćirić L, Samet B, Cakić N, Damjanović B: Generalized $(\psi ,\omega )$ -weak nonlinear contractions in ordered
*K*-metric spaces.*Comput. Math. Appl.*2011, 62: 3305–3316. 10.1016/j.camwa.2011.07.061MathSciNetView ArticleGoogle Scholar - Ćirić L, Razani A, Radenović S, Ume JS: Common fixed point theorems for families of weakly compatible maps.
*Comput. Math. Appl.*2008, 55(11):2533–2543. 10.1016/j.camwa.2007.10.009MathSciNetView ArticleGoogle Scholar - Ćirić LB, Nikolić NT, Ume JS: Common fixed point theorems for weakly compatible quasi contraction mappings.
*Acta Math. Hung.*2006, 113(4):257–267. 10.1007/s10474-006-0103-zView ArticleGoogle Scholar - Abbas M, Ćirić L, Damjanović B, Khan MA: Coupled coincidence and common fixed point theorems for hybrid pair of mappings.
*Fixed Point Theory Appl.*2012. doi:10.1186/1687–1812–2012–4Google Scholar - Jungck G: Compatible mappings and common fixed points.
*Int. J. Math. Math. Sci.*1986, 9(4):771–779. 10.1155/S0161171286000935MathSciNetView ArticleGoogle Scholar - Bouhadjera, H, Godet-Thobie, C: Common fixed point theorems for pair of subcompatible maps. arXiv:0906.3159v1 [math. FA] (2009)Google Scholar
- Meir A, Keeler E: A theorem on contraction mappings.
*J. Math. Anal. Appl.*1969, 28: 326–329. 10.1016/0022-247X(69)90031-6MathSciNetView ArticleGoogle Scholar - Bisht RK: Common fixed points of generalized Meir-Keeler type condition and nonexpansive mappings.
*Int. J. Math. Math. Sci.*2012., 2012: Article ID 786814Google Scholar - Pant RP: Common fixed points of Lipschitz type mapping pairs.
*J. Math. Anal. Appl.*1999, 240: 280–283. 10.1006/jmaa.1999.6559MathSciNetView 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.

## Comments

View archived comments (1)