# Common fixed point theorems for expansion mappings in various abstract spaces using the concept of weak reciprocal continuity

- Saurabh Manro
^{1}Email author and - Poom Kumam
^{2}Email author

**2012**:221

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

© Manro and Kumam; licensee Springer. 2012

**Received: **19 August 2012

**Accepted: **5 November 2012

**Published: **7 December 2012

The Research to this article has been published in Fixed Point Theory and Applications 2013 2013:8

## Abstract

In this paper, we prove expansion mapping theorems using the concept of compatible maps, weakly reciprocal continuity, *R*-weakly commuting mappings, *R*-weakly commuting of type $({A}_{f})$, $({A}_{g})$ and $(P)$ in metric spaces and in *G*-metric spaces.

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

## Keywords

*G*-metric spacesweakly reciprocal continuity

*R*-weakly commuting mappings

*R*-weakly commuting of type $({A}_{f})$, $({A}_{g})$ and $(P)$

## 1 Metric spaces

In 1922, Banach proved a common fixed point theorem which ensures, under appropriate conditions, the existence and uniqueness of a fixed point. This result of Banach is known as Banach’s fixed point theorem or Banach contraction principle. Many authors have extended, generalized and improved Banach’s fixed point theorem in different ways.

Jungck [1] proved a common fixed point theorem for commuting maps, which generalized the Banach fixed point theorem. This theorem has had many applications but suffers from one drawback that the continuity of a map throughout the space is needed. Jungck [2] defined the concept of compatible mappings.

**Definition 1** ([2], see also [3])

A pair of self-mappings $(f,g)$ of a metric space $(X,d)$ is said to be compatible if ${lim}_{n\to \mathrm{\infty}}d(fg{x}_{n},gf{x}_{n})=0$ whenever $\{{x}_{n}\}$ is a sequence in *X* such that ${lim}_{n\to \mathrm{\infty}}f({x}_{n})={lim}_{n\to \mathrm{\infty}}g({x}_{n})=z$ for some *z* in *X*.

In 1994, Pant [4] introduced the notion of pointwise *R*-weak commutativity in metric spaces.

**Definition 2** ([4], see also [5])

A pair of self-mappings $(f,g)$ of a metric space $(X,d)$ is said to be *R*-weakly commuting at a point *x* in *X* if $d(fgx,gfx)\le Rd(fx,gx)$ for some $R>0$.

**Definition 3** ([4])

Two self-maps *f* and *g* of a metric space $(X,d)$ are called pointwise *R*-weakly commuting on *X* if, given *x* in *X*, there exists $R>0$ such that $d(fgx,gfx)\le Rd(fx,gx)$.

In 1997, Pathak *et al.* [6] generalized the notion of *R*-weakly commuting mappings to *R*-weakly commuting mappings of type $({A}_{f})$ and of type $({A}_{g})$.

**Definition 4** ([6])

Two self-maps *f* and *g* of a metric space $(X,d)$ are called *R*-weakly commuting of type $({A}_{g})$ if there exists some $R>0$ such that $d(ffx,gfx)\le Rd(fx,gx)$ for all *x* in *X*.

Similarly, two self-mappings *f* and *g* of a metric space $(X,d)$ are called *R*-weakly commuting of type $({A}_{f})$ if there exists some $R>0$ such that $d(fgx,ggx)\le Rd(fx,gx)$ for all *x* in *X*.

It is obvious that pointwise *R*-weakly commuting maps commute at their coincidence points and pointwise *R*-weak commutativity is equivalent to commutativity at coincidence points. It may be noted that both compatible and non-compatible mappings can be *R*-weakly commuting of type $({A}_{g})$ or $({A}_{f})$ but converse may not be true.

**Definition 5** ([6])

Two self-maps *f* and *g* of a metric space $(X,d)$ are called *R*-weakly commuting of type $(P)$ if there exists some $R>0$ such that $d(ffx,ggx)\le Rd(fx,gx)$ for all *x* in *X*.

In 1999, Pant [7] introduced a new continuity condition, known as reciprocal continuity, and obtained a common fixed point theorem by using the compatibility in metric spaces. He also showed that in the setting of common fixed point theorems for compatible mappings satisfying contraction conditions, the notion of reciprocal continuity is weaker than the continuity of one of the mappings. The notion of pointwise *R*-weakly commuting mappings increased the scope of the study of common fixed point theorems from the class of compatible to the wider class of pointwise *R*-weakly commuting mappings. Subsequently, several common fixed point theorems have been proved by combining the ideas of *R*-weakly commuting mappings and reciprocal continuity of mappings in different settings.

**Definition 6** ([7])

Two self-mappings *f* and *g* are called reciprocally continuous if ${lim}_{n\to \mathrm{\infty}}fg{x}_{n}=fz$ and ${lim}_{n\to \mathrm{\infty}}gf{x}_{n}=gz$, whenever $\{{x}_{n}\}$ is a sequence such that ${lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n}=z$ for some *z* in *X*.

If *f* and *g* are both continuous, then they are obviously reciprocally continuous, but the converse is not true.

Recently, Pant *et al.* [8] generalized the notion of reciprocal continuity to weak reciprocal continuity as follows.

**Definition 7** ([8])

Two self-mappings *f* and *g* are called weakly reciprocally continuous if ${lim}_{n\to \mathrm{\infty}}fg{x}_{n}=fz$ or ${lim}_{n\to \mathrm{\infty}}gf{x}_{n}=gz$ whenever $\{{x}_{n}\}$ is a sequence such that ${lim}_{n\to \mathrm{\infty}}f{x}_{n}={lim}_{n\to \mathrm{\infty}}g{x}_{n}=z$ for some *z* in *X*.

If *f* and *g* are reciprocally continuous, then they are obviously weak reciprocally continuous, but the converse is not true. Now, as an application of weak reciprocal continuity, we prove common fixed point theorems under contractive conditions that extend the scope of the study of common fixed point theorems from the class of compatible continuous mappings to a wider class of mappings which also includes non-compatible mappings.

**Theorem 1**

*Let*

*f*

*and*

*g*

*be two weakly reciprocally continuous self*-

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

*satisfying the following conditions*:

*for any*$x,y\in X$

*and*$q>1$,

*we have that*

*If* *f* *and* *g* *are either compatible or* *R*-*weakly commuting of type* $({A}_{g})$ *or* *R*-*weakly commuting of type* $({A}_{f})$ *or* *R*-*weakly commuting of type* $(P)$, *then* *f* *and* *g* *have a unique common fixed point*.

*Proof* Let ${x}_{0}$ be any point in *X*. Since $g(X)\subseteq f(X)$, there exists a sequence of points $\{{x}_{n}\}$ such that $g({x}_{n})=f({x}_{n+1})$.

*X*by

*X*. For proving this, from (1.2), we have

Thus, $\{{y}_{n}\}$ is a Cauchy sequence in *X*. Since *X* is complete, there exists a point *z* in *X* such that ${lim}_{n\to \mathrm{\infty}}{y}_{n}=z$. Therefore, by (1.3), we have ${lim}_{n\to \mathrm{\infty}}{y}_{n}={lim}_{n\to \mathrm{\infty}}g({x}_{n})={lim}_{n\to \mathrm{\infty}}f({x}_{n+1})=z$.

Suppose that *f* and *g* are compatible mappings. Now, by the weak reciprocal continuity of *f* and *g*, we obtain ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$, then the compatibility of *f* and *g* gives ${lim}_{n\to \mathrm{\infty}}d(fg{x}_{n},gf{x}_{n})=0$, that is, ${lim}_{n\to \mathrm{\infty}}d(gf{x}_{n},fz)=0$.

Hence, ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=fz$. From (1.3), we get ${lim}_{n\to \mathrm{\infty}}gf({x}_{n+1})={lim}_{n\to \mathrm{\infty}}gg({x}_{n})=fz$.

*f*and

*g*implies the commutativity at a coincidence point. Hence, $gfz=fgz=ffz=ggz$. Using (1.2), we obtain

which proves that $gz=ggz$. We also get $gz=ggz=fgz$ and then *gz* is a common fixed point of *f* and *g*.

Next, suppose that ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. The assumption $g(X)\subseteq f(X)$ implies that $gz=fu$ for some $u\in X$ and therefore, ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=fu$.

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fu$. By virtue of (1.3), we have ${lim}_{n\to \mathrm{\infty}}gf({x}_{n+1})={lim}_{n\to \mathrm{\infty}}gg({x}_{n})=fu$. Using (1.2), we get

*f*and

*g*yields $fgu=ggu=ffu=gfu$. Finally, using (1.2), we obtain

that is, $gu=ggu$. We also have $gu=ggu=fgu$ and *gu* is a common fixed point of *f* and *g*.

*f*and

*g*are

*R*-weakly commuting of type $({A}_{f})$. Now, the weak reciprocal continuity of

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let us first assume that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$. Then the

*R*-weak commutativity of type $({A}_{f})$ of

*f*and

*g*yields

*R*-weak commutativity of type $({A}_{f})$, we have

that is, $gz=ggz$. Then we also get $gz=ggz=fgz$ and *gz* is a common fixed point of *f* and *g*.

Similar proof works in the case where ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$.

Suppose that *f* and *g* are *R*-weakly commuting of type $({A}_{g})$. Again, as done above, we can easily prove that *fz* is a common fixed point of *f* and *g*.

*f*and

*g*are

*R*-weakly commuting of type $(P)$. The weak reciprocal continuity of

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let us assume that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$. Then the

*R*-weak commutativity of type $(P)$ of

*f*and

*g*yields

that is, ${lim}_{n\to \mathrm{\infty}}d(ff{x}_{n},gg{x}_{n})=0$.

*R*-weak commutativity of type $(P)$,

This yields $ffz=ggz$.

This proves that $gz=ggz$. Hence, $gz=ggz=fgz$ and *gz* is a common fixed point of *f* and *g*.

Similar proof works in the case where ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$.

Uniqueness of the common fixed point theorem follows easily in each of the four cases by using (1.2). □

## 2 *G*-metric spaces

In 1963, Gahler [9] introduced the concept of 2-metric spaces and claimed that a 2-metric is a generalization of the usual notion of a metric, but some authors proved that there is no relation between these two functions. It is clear that in 2-metric, $d(x,y,z)$ is to be taken as the area of the triangle with vertices *x*, *y* and *z* in ${R}^{2}$. However, Hsiao [10] showed that for every contractive definition, with ${x}_{n}={T}^{n}{x}_{0}$, every orbit is linearly dependent, thus rendering fixed point theorems in such spaces trivial.

In 1992, Dhage [11] introduced the concept of a *D*-metric space. The situation for a *D*-metric space is quite different from that for 2-metric spaces. Geometrically, a *D*-metric $D(x,y,z)$ represents the perimeter of the triangle with vertices *x*, *y* and *z* in ${R}^{2}$. Recently, Mustafa and Sims [10] have shown that most of the results concerning Dhage’s *D*-metric spaces are invalid. Therefore, they introduced an improved version of the generalized metric space structure, which they called *G*-metric spaces.

In 2006, Mustafa and Sims [12] introduced the concept of *G*-metric spaces as follows.

**Definition 8** ([12])

Let *X* be a nonempty set, and let $G:X\times X\times X\to {R}^{+}$ be a function satisfying the following axioms:

(G1) $G(x,y,z)=0$ if $x=y=z$,

(G2) $0<G(x,x,y)$ for all $x,y\in X$ with $x\ne y$,

(G3) $G(x,x,y)\le G(x,y,z)$ for all $x,y,z\in X$ with $z\ne y$,

(G4) $G(x,y,z)=G(x,z,y)=G(y,z,x)=\cdots $ (symmetry in all three variables),

(G5) $G(x,y,z)\le G(x,a,a)+G(a,y,z)$ for all $x,y,z,a\in X$ (rectangle inequality).

Then the function *G* is called a generalized metric or, more specifically, a *G*-metric on *X* and the pair $(X,G)$ is called a *G*-metric space.

**Definition 9** ([12])

Let $(X,G)$ be a *G*-metric space and let $\{{x}_{n}\}$ be a sequence of points in *X*. A point *x* in *X* is said to be the limit of the sequence $\{{x}_{n}\}$, ${lim}_{m,n\to \mathrm{\infty}}G(x,{x}_{n},{x}_{m})=0$, and one says that the sequence $\{{x}_{n}\}$ is *G*-convergent to *x*.

Thus, ${x}_{n}\to x$, $n\to \mathrm{\infty}$ or ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ in a *G*-metric space $(X,G)$ if for each $\epsilon >0$, there exists a positive integer *N* such that $G(x,{x}_{n},{x}_{m})<\epsilon $ for all $m,n\ge N$.

Now, we state some results from the papers [10, 12–15] which are helpful for proving our main results.

**Proposition 1** ([12])

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then the following are equivalent*:

- (1)
$\{{x}_{n}\}$

*is**G**convergent to**x*, - (2)
$G({x}_{n},{x}_{n},x)\to 0$

*as*$n\to \mathrm{\infty}$, - (3)
$G({x}_{n},x,x)\to 0$

*as*$n\to \mathrm{\infty}$, - (4)
$G({x}_{m},{x}_{n},x)\to 0$

*as*$m,n\to \mathrm{\infty}$.

**Definition 10** ([12])

Let $(X,G)$ be a *G*-metric space. A sequence $\{{x}_{n}\}$ is called *G*-Cauchy if, for each $\epsilon >0$, there exists a positive integer *N* such that $G({x}_{n},{x}_{m},{x}_{l})<\epsilon $ for all $n,m,l\ge N$; *i.e.*, if $G({x}_{n},{x}_{m},{x}_{l})\to 0$ as $n,m,l\to \mathrm{\infty}$.

**Proposition 2** ([15])

*If*$(X,G)$

*is a*

*G*-

*metric space*,

*then the following are equivalent*:

- (1)
*the sequence*$\{{x}_{n}\}$*is**G*-*Cauchy*, - (2)
*for each*$\epsilon >0$,*there exists a positive integer**N**such that*$G({x}_{n},{x}_{m},{x}_{m})<\epsilon $*for all*$n,m\ge N$.

**Proposition 3** ([12])

*Let* $(X,G)$ *be a* *G*-*metric space*. *Then the function* $G(x,y,z)$ *is jointly continuous in all three of its variables*.

**Definition 11** ([12])

*G*-metric space $(X,G)$ is called a symmetric

*G*-metric space if

**Proposition 4** ([14])

*Every*

*G*-

*metric space*$(X,G)$

*will define a metric space*$(X,{d}_{G})$

*by*

- (i)
${d}_{G}(x,y)=G(x,y,y)+G(y,x,x)$

*for all**x*,*y**in**X*.

*If*$(X,G)$

*is a symmetric*

*G*-

*metric space*,

*then*

- (ii)
${d}_{G}(x,y)=2G(x,y,y)$

*for all**x*,*y**in**X*.

*However*,

*if*$(X,G)$

*is not symmetric*,

*then it follows from the*

*G*-

*metric properties that*

- (iii)
$\frac{3}{2}G(x,y,y)\le {d}_{G}(x,y)\le 3G(x,y,y)$

*for all**x*,*y**in**X*.

**Definition 12** ([14])

A *G*-metric space $(X,G)$ is said to be *G*-complete if every *G*-Cauchy sequence in $(X,G)$ is *G*-convergent in *X*.

**Proposition 5** ([14])

*A* *G*-*metric space* $(X,G)$ *is* *G*-*complete if and only if* $(X,{d}_{G})$ *is a complete metric space*.

**Proposition 6** ([15])

*Let*$(X,G)$

*be a*

*G*-

*metric space*.

*Then*,

*for any*$x,y,z,a\in X$,

*it follows that*

- (i)
*if*$G(x,y,z)=0$,*then*$x=y=z$, - (ii)
$G(x,y,z)\le G(x,x,y)+G(x,x,z)$,

- (iii)
$G(x,y,y)\le 2G(y,x,x)$,

- (iv)
$G(x,y,z)\le G(x,a,z)+G(a,y,z)$,

- (v)
$G(x,y,z)\le \frac{2}{3}(G(x,y,a)+G(x,a,z)+G(a,y,z))$,

- (vi)
$G(x,y,z)\le (G(x,a,a)+G(y,a,a)+G(z,a,a))$.

**Definition 13** ([16])

A pair of self-mappings $(f,g)$ of a *G*-metric space $(X,G)$ is said to be compatible if ${lim}_{n\to \mathrm{\infty}}G(fg{x}_{n},gf{x}_{n},gf{x}_{n})=0$ or ${lim}_{n\to \mathrm{\infty}}G(gf{x}_{n},fg{x}_{n},fg{x}_{n})=0$ whenever $\{{x}_{n}\}$ is a sequence in *X* such that ${lim}_{n\to \mathrm{\infty}}f({x}_{n})={lim}_{n\to \mathrm{\infty}}g({x}_{n})=z$ for some *z* in *X*.

**Definition 14** ([17])

A pair of self-mappings $(f,g)$ of a *G*-metric space $(X,G)$ is said to be *R*-weakly commuting at a point *x* in *X* if $G(fgx,gfx,gfx)\le RG(fx,gx,gx)$ for some $R>0$.

**Definition 15** ([17])

Two self-maps *f* and *g* of a *G*-metric space $(X,G)$ are called pointwise *R*-weakly commuting on *X* if, given *x* in *X*, there exists $R>0$ such that $G(fgx,gfx,gfx)\le RG(fx,gx,gx)$.

**Definition 16** ([6])

Two self-maps *f* and *g* of a *G*-metric space $(X,G)$ are called *R*-weakly commuting of type $({A}_{g})$ if there exists some $R>0$ such that $G(ffx,gfx,gfx)\le RG(fx,gx,gx)$ for all *x* in *X*. Similarly, two self-mappings *f* and *g* of a *G*-metric space $(X,G)$ are called *R*-weakly commuting of type $({A}_{f})$ if there exists some $R>0$ such that $G(fgx,ggx,ggx)\le RG(fx,gx,gx)$ for all *x* in *X*.

**Definition 17** ([6])

Two self-mappings *f* and *g* of a *G*-metric space $(X,G)$ are called *R*-weakly commuting of type $(P)$ if there exists some $R>0$ such that $G(ffx,ggx,ggx)\le RG(fx,gx,gx)$ for all *x* in *X*.

**Theorem 2**

*Let*

*f*

*and*

*g*

*be two weakly reciprocally continuous self*-

*mappings of a complete*

*G*-

*metric space*$(X,G)$

*satisfying the following conditions*:

*for any*$x,y,z\in X$

*and*$q>1$,

*we have that*

*If* *f* *and* *g* *are either compatible or* *R*-*weakly commuting of type* $({A}_{g})$ *or* *R*-*weakly commuting of type* $({A}_{f})$ *or* *R*-*weakly commuting of type* $(P)$, *then* *f* *and* *g* *have a unique common fixed point*.

*Proof* Let ${x}_{0}$ be any point in *X*. Since $g(X)\subseteq f(X)$, there exists a sequence of points $\{{x}_{n}\}$ such that $g({x}_{n})=f({x}_{n+1})$.

*X*by

*G*-Cauchy sequence in

*X*. For proving this, by (2.2) take $x={x}_{n}$, $y={x}_{n+1}$, $z={x}_{n+1}$, we have

Thus, $\{{y}_{n}\}$ is a *G*-Cauchy sequence in *X*. Since $(X,G)$ is a complete *G*-metric space, there exists a point *z* in *X* such that ${lim}_{n\to \mathrm{\infty}}{y}_{n}=z$. Therefore, by (2.3), we have ${lim}_{n\to \mathrm{\infty}}{y}_{n}={lim}_{n\to \mathrm{\infty}}g({x}_{n})={lim}_{n\to \mathrm{\infty}}f({x}_{n+1})=z$.

Suppose that *f* and *g* are compatible mappings. Now, the weak reciprocal continuity of *f* and *g* implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$, then the compatibility of *f* and *g* gives ${lim}_{n\to \mathrm{\infty}}G(gf{x}_{n},fg{x}_{n},fg{x}_{n})=0$, that is, $G({lim}_{n\to \mathrm{\infty}}gf{x}_{n},fz,fz)=0$.

Hence, ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=fz$. From (2.3), we get ${lim}_{n\to \mathrm{\infty}}gf({x}_{n+1})={lim}_{n\to \mathrm{\infty}}gg({x}_{n})=fz$.

*f*and

*g*implies the commutativity at a coincidence point. Hence, $gfz=fgz=ffz=ggz$. Now, we claim that $gz=ggz$. Suppose not, then by using (2.2), we obtain

which gives contradiction because $q>1$. Hence, $gz=ggz$. Hence, $gz=ggz=fgz$ and *gz* is a common fixed point of *f* and *g*.

Next suppose that ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. The assumption $g(X)\subseteq f(X)$ implies that $gz=fu$ for some $u\in X$ and therefore, ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=fu$.

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fu$. By virtue of (2.3), this gives ${lim}_{n\to \mathrm{\infty}}gf({x}_{n+1})={lim}_{n\to \mathrm{\infty}}gg({x}_{n})=fu$. Using (2.2), we get

*f*and

*g*yields $fgu=ggu=ffu=gfu$. Finally, we claim that $gu=ggu$. Suppose not, then by using (2.2), we obtain

that is, $gu=ggu$. Hence, $gu=ggu=fgu$ and *gu* is a common fixed point of *f* and *g*.

*f*and

*g*are

*R*-weakly commuting of type $({A}_{f})$. Now, the weak reciprocal continuity of

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let us first assume that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$. Then the

*R*-weak commutativity of type $({A}_{f})$ of

*f*and

*g*yields

*R*-weak commutativity of type $({A}_{f})$,

a contradiction, that is, $gz=ggz$. Hence, $gz=ggz=fgz$ and *gz* is a common fixed point of *f* and *g*.

Similar proof works in the case where ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$.

Suppose that *f* and *g* are *R*-weakly commuting of type $({A}_{g})$. Again, as done above, we can easily prove that *gz* is a common fixed point of *f* and *g*.

*f*and

*g*are

*R*-weakly commuting of type $(P)$. The weak reciprocal continuity of

*f*and

*g*implies that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$ or ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$. Let us assume that ${lim}_{n\to \mathrm{\infty}}fg({x}_{n})=fz$. Then the

*R*-weak commutativity of type $(P)$ of

*f*and

*g*yields

*R*-weak commutativity of type $(P)$,

This yields $ffz=ggz$.

a contradiction, we get $gz=ggz$. Hence, $gz=ggz=fgz$ and *gz* is a common fixed point of *f* and *g*.

Similar proof works in the case where ${lim}_{n\to \mathrm{\infty}}gf({x}_{n})=gz$.

Uniqueness of the common fixed point theorem follows easily in each of the four cases by using (2.2). □

We now give an example (see also [18]) to illustrate Theorem 2.

**Example 1**Let $(X,G)$ be a

*G*-metric space, where $X=[2,20]$ and

Let $\{{x}_{n}\}$ be a sequence in *X* such that either ${x}_{n}=2$ or ${x}_{n}=5+1/n$ for each *n*.

Then, clearly, *f* and *g* satisfy all the conditions of Theorem 2 and have a unique common fixed point at $x=2$.

## Notes

## Declarations

### Acknowledgements

The authors thank the editor and the referees for their useful comments and suggestions. The second author would like to thank the Higher Education Research Promotion and National Research University Project of Thailand’s Office of the Higher Education Commission for financial support.

## Authors’ Affiliations

## References

- Jungck G: Commuting mappings and fixed points.
*Am. Math. Mon.*1976, 83: 261–263. 10.2307/2318216MathSciNetView ArticleGoogle Scholar - Jungck G: Compatible mappings and common fixed points.
*Int. J. Math. Math. Sci.*1986, 9: 771–779. 10.1155/S0161171286000935MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces.
*J. Appl. Math.*2011., 2011: Article ID 637958Google Scholar - Pant RP: Common fixed points of non-commuting mappings.
*J. Math. Anal. Appl.*1994, 188: 436–440. 10.1006/jmaa.1994.1437MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Common fixed points for
*R*-weakly commuting in fuzzy metric spaces.*Ann. Univ. Ferrara*2012, 58: 389–406. 10.1007/s11565-012-0150-zMathSciNetView ArticleGoogle Scholar - Pathak HK, Cho YJ, Kang SM: Remarks of
*R*-weakly commuting mappings and common fixed point theorems.*Bull. Korean Math. Soc.*1997, 34: 247–257.MathSciNetGoogle Scholar - Pant RP: Common fixed points of four mappings.
*Bull. Calcutta Math. Soc.*1998, 90: 281–286.MathSciNetGoogle Scholar - Pant RP, Bisht RK, Arora D: Weak reciprocal continuity and fixed point theorems.
*Ann. Univ. Ferrara*2011, 57: 181–190. 10.1007/s11565-011-0119-3MathSciNetView ArticleGoogle Scholar - Gahler S: 2-metrices Raume und ihre topologische Struktur.
*Math. Nachr.*1963, 26: 115–148. 10.1002/mana.19630260109MathSciNetView ArticleGoogle Scholar - Mustafa Z, Sims B: Some remarks concerning
*D*-metric spaces. In*Proceedings of International Conference on Fixed Point Theory and Applications*. Yokohama Publishers, Yokohama; 2004:189–198. Valencia, Spain, 13-19 JulyGoogle Scholar - Dhage BC: Generalized metric spaces and mappings with fixed point.
*Bull. Calcutta Math. Soc.*1992, 84: 329–336.MathSciNetGoogle Scholar - Mustafa Z, Sims B: A new approach to generalized metric spaces.
*J. Nonlinear Convex Anal.*2006, 7: 289–297.MathSciNetGoogle Scholar - Manro S, Kumar S, Bhatia SS: Weakly compatible maps of type$(A)$in
*G*-metric spaces.*Demonstr. Math.*2012, 45(4):901–908.MathSciNetGoogle Scholar - Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorems for mappings on complete
*G*-metric spaces.*Fixed Point Theory Appl.*2008., 2008: Article ID 18970Google Scholar - Mustafa Z, Sims B: Fixed point theorems for contractive mappings in complete
*G*-metric spaces.*Fixed Point Theory Appl.*2009., 2009: Article ID 917175Google Scholar - Manro S, Bhatia SS, Kumar S: Expansion mapping theorems in
*G*-metric spaces.*Int. J. Contemp. Math. Sci.*2010, 5(51):2529–2535.MathSciNetGoogle Scholar - Manro S, Kumar S, Bhatia SS:
*R*weakly commuting maps in*G*metric spaces.*Fasc. Math.*2011, 47: 11–17.MathSciNetGoogle Scholar - Pant RP: A common fixed point theorem under a new condition.
*Indian J. Pure Appl. Math.*1999, 30: 147–152.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.