# Unified fixed point theorems in fuzzy metric spaces via common limit range property

- Sunny Chauhan
^{1, 2}Email author, - Muhammad Alamgir Khan
^{3}and - Suneel Kumar
^{1}

**2013**:182

https://doi.org/10.1186/1029-242X-2013-182

© Chauhan et al.; licensee Springer 2013

**Received: **20 March 2013

**Accepted: **4 April 2013

**Published: **17 April 2013

## Abstract

The object of this paper is to utilize the notion of common limit range property to prove unified fixed point theorems for weakly compatible mappings in fuzzy metric spaces satisfying an implicit relation due to Rao *et al.* (Hacet. J. Math. Stat. 37(2):97-106, 2008). Some illustrative examples are furnished which demonstrate the validity of the hypotheses and degree of utility of our results. As an application to our main result, we prove an integral type fixed point theorem in fuzzy metric space.

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

### Keywords

fuzzy metric space compatible mappings weakly compatible mappings common limit range property fixed point## 1 Introduction

The concept of a fuzzy set was introduced by Zadeh [1] in his seminal paper in 1965. In the last two decades, there has been a tremendous development and growth in fuzzy mathematics. In 1975, Kramosil and Michalek [2] introduced the concept of fuzzy metric space, which opened an avenue for further development of analysis in such spaces. Further, George and Veeramani [3] modified the concept of fuzzy metric space introduced by Kramosil and Michalek [2] with a view to obtain a Hausdorff topology on it. Fuzzy set theory has applications in applied sciences such as neural network theory, stability theory, mathematical programming, modeling theory, engineering sciences, medical sciences (medical genetics, nervous system), image processing, control theory, communication, *etc*.

Mishra *et al.* [4] extended the notion of compatible mappings to fuzzy metric spaces and proved common fixed point theorems in presence of continuity of at least one of the mappings, completeness of the underlying space and containment of the ranges amongst involved mappings. Further, Singh and Jain [5] weakened the notion of compatibility by using the notion of weakly compatible mappings in fuzzy metric spaces and showed that every pair of compatible mappings is weakly compatible but reverse is not true. Many mathematicians used different contractive conditions on self-mappings and proved several fixed point theorems in fuzzy metric spaces (see [5–13]). However, the study of common fixed points of non-compatible mappings is also of great interest due to Pant [14]. In 2002, Aamri and Moutawakil [15] defined the notion of property (E.A) for a pair of self-mappings which contains the class of non-compatible mappings. In an interesting paper of Ali and Imdad [16], it was pointed out that property (E.A) allows replacing the completeness requirement of the space with a more natural condition of closedness of the range. Afterward, Liu *et al.* [17] defined a new property which contains the property (E.A) and proved some common fixed point theorems under hybrid contractive conditions. It was observed that the notion of common property (E.A) relatively relaxes the requirement on containment of the range of one mapping into the range of other which is utilized to construct the sequence of joint iterates. Subsequently, there are a number of results proved for contraction mappings satisfying property (E.A) and common property (E.A) in fuzzy metric spaces (see [18–26]). In 2011, Sintunavarat and Kumam [27] coined the idea of ’common limit range property’ (also see [28–32]), which relaxes the condition of closedness of the underlying subspace. Recently, Imdad *et al.* [33] extended the notion of common limit range property to two pairs of self-mappings without any requirement on closedness of the underlying subspaces. Several common fixed point theorems have been proved by many researchers in framework of fuzzy metric spaces via implicit relations (see [5, 18, 23, 34]).

In this paper, by using an implicit relation due to Rao *et al.* [12], we prove some common fixed point theorems for weakly compatible mappings with common limit range property. Some related results are also derived besides furnishing illustrative examples. We also present an integral type common fixed point theorem in fuzzy metric space. Our results improve, extend and generalize a host of previously known results including the ones contained in Rao *et al.* [12].

## 2 Preliminaries

**Definition 2.1** [35]

*t*-norm) is a binary operation on the unit interval $[0,1]$ such that for all $a,b,c,d\in [0,1]$ and the following conditions are satisfied:

- (1)
$a\ast 1=a$,

- (2)
$a\ast b=b\ast a$,

- (3)
$a\ast b\le c\ast d$ whenever $a\le c$ and $b\le d$,

- (4)
$(a\ast b)\ast c=a\ast (b\ast c)$.

Two typical examples of continuous *t*-norms are $a\ast b=min\{a,b\}$ and $a\ast b=ab$.

**Definition 2.2** [3]

*X*is an arbitrary set, ∗ is a continuous

*t*-norm and

*M*is a fuzzy set on ${X}^{2}\times (0,\mathrm{\infty})$ satisfying the following conditions: for all $x,y,z\in X$, $t,s>0$,

- (1)
$M(x,y,t)>0$,

- (2)
$M(x,y,t)=1$ iff $x=y$,

- (3)
$M(x,y,t)=M(y,x,t)$,

- (4)
$M(x,z,t+s)\ge M(x,y,t)\ast M(y,z,s)$,

- (5)
$M(x,y,\cdot ):(0,\mathrm{\infty})\to (0,1]$ is continuous.

Then *M* is called a fuzzy metric on *X* whereas $M(x,y,t)$ denotes the degree of nearness between *x* and *y* with respect to *t*.

Now let $(X,M,\ast )$ be a fuzzy metric space and *τ* the set of all $A\subset X$ with $x\in A$ if and only if there exist $t>0$ and $0<r<1$ such that $\mathcal{B}(x,r,t)\subset A$. Then *τ* is a topology on *X* induced by the fuzzy metric *M*.

In the following example (see [3]), we know that every metric induces a fuzzy metric.

**Example 2.1**Let $(X,d)$ be a metric space. Denote $a\ast b=ab$ (or $a\ast b=min\{a,b\}$) for all $a,b\in [0,1]$ and let ${M}_{d}$ be fuzzy sets on ${X}^{2}\times (0,\mathrm{\infty})$ defined as follows:

Then $(X,{M}_{d},\ast )$ is a fuzzy metric space and the fuzzy metric *M* induced by the metric *d* is often referred to as the standard fuzzy metric.

**Lemma 2.1** [36]

*Let* $(X,M,\ast )$ *be a fuzzy metric space*. *Then* $M(x,y,t)$ *is non*-*decreasing for all* $x,y\in X$.

**Definition 2.3** [4]

A pair $(A,S)$ of self-mappings of a fuzzy metric space $(X,M,\ast )$ is said to be compatible iff $M(AS{x}_{n},SA{x}_{n},t)\to 1$ for all $t>0$, whenever $\{{x}_{n}\}$ is a sequence in *X* such that $A{x}_{n},S{x}_{n}\to z$ for some $z\in X$ as $n\to \mathrm{\infty}$.

**Definition 2.4** [37]

A pair $(A,S)$ of self-mappings of a non-empty set *X* is said to be weakly compatible (or coincidentally commuting) if they commute at their coincidence points, that is, if $Az=Sz$ some $z\in X$, then $ASz=SAz$.

**Remark 2.1** [37]

Two compatible self-mappings are weakly compatible but the converse is not true. Hence, the notion of weak compatibility is more general than compatibility.

**Definition 2.5** [19]

*X*for some $z\in X$ such that

for some $z\in X$.

Note that weak compatibility and property (E.A) are independent to each other (see [[38], Examples 2.1-2.2]).

**Remark 2.2** From Definition 2.3, it is inferred that a pair $(A,S)$ of self-mappings of a fuzzy metric space $(X,M,\ast )$ is said to be non-compatible iff there exists at least one sequence $\{{x}_{n}\}$ in *X* such that ${lim}_{n\to \mathrm{\infty}}A{x}_{n}={lim}_{n\to \mathrm{\infty}}S{x}_{n}=z$ for some $z\in X$, but for some $t>0$, ${lim}_{n\to \mathrm{\infty}}M(AS{x}_{n},SA{x}_{n},t)$ is either less than 1 or non-existent.

Therefore, in view of Definition 2.5, a pair of non-compatible mappings of a fuzzy metric space $(X,M,\ast )$ satisfies the property (E.A) but the converse need not be true (see [[38], Remark 4.8]).

**Definition 2.6** [19]

*X*such that

for some $z\in X$.

**Definition 2.7** [27]

*S*(briefly, $({\mathit{CLR}}_{S})$ property), if there exists a sequence $\{{x}_{n}\}$ in

*X*such that

where $z\in S(X)$.

**Definition 2.8** [28]

*S*and

*T*(briefly, $({\mathit{CLR}}_{\mathit{ST}})$ property), if there exist two sequences $\{{x}_{n}\}$, $\{{y}_{n}\}$ in

*X*such that

where $z\in S(X)\cap T(X)$.

**Definition 2.9** [39]

- (1)
${A}_{i}{A}_{j}={A}_{j}{A}_{i}$ for all $i,j\in \{1,2,\dots ,m\}$,

- (2)
${S}_{k}{S}_{l}={S}_{l}{S}_{k}$ for all $k,l\in \{1,2,\dots ,n\}$,

- (3)
${A}_{i}{S}_{k}={S}_{k}{A}_{i}$ for all $i\in \{1,2,\dots ,m\}$ and $k\in \{1,2,\dots ,n\}$.

**Lemma 2.2** [4]

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*If there exists a constant*$k\in (0,1)$

*such that*

*for all* $x,y\in X$, *then* $x=y$.

## 3 Implicit function

Following by Rao *et al.* [12], let ${\mathrm{\Phi}}_{6}$ denote the set of all continuous functions $\varphi :{[0,1]}^{6}\to \mathbb{R}$ satisfying the conditions:

(${\varphi}_{1}$) *ϕ* is decreasing in ${t}_{2}$, ${t}_{3}$, ${t}_{4}$, ${t}_{5}$ and ${t}_{6}$.

(${\varphi}_{2}$) $\varphi (u,v,v,v,v,v)\ge 0$ implies $u\ge v$ for all $u,v\in [0,1]$.

**Example 3.1** $\varphi ({t}_{1},{t}_{2},{t}_{3},{t}_{4},{t}_{5},{t}_{6})={t}_{1}-min\{{t}_{2},{t}_{3},{t}_{4},{t}_{5},{t}_{6}\}$.

**Example 3.2** $\varphi ({t}_{1},{t}_{2},{t}_{3},{t}_{4},{t}_{5},{t}_{6})={t}_{1}^{2}-min\{{t}_{i}{t}_{j}:i,j\in \{2,3,4,5,6\}\}$.

**Example 3.3** $\varphi ({t}_{1},{t}_{2},{t}_{3},{t}_{4},{t}_{5},{t}_{6})={t}_{1}^{3}-min\{{t}_{i}{t}_{j}{t}_{k}:i,j,k\in \{2,3,4,5,6\}\}$.

## 4 Results

We begin with the following observation.

**Lemma 4.1**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself satisfying*:

- (1)
*The pair*$(A,S)$ (*or*$(B,T)$)*satisfies the*$({\mathit{CLR}}_{S})$ (*or*$({\mathit{CLR}}_{T})$)*property*, - (2)
$A(X)\subset T(X)$ (

*or*$B(X)\subset S(X)$), - (3)
$T(X)$ (

*or*$S(X)$)*is a closed subset of**X*, - (4)
$B({y}_{n})$

*converges for every sequence*$\{{y}_{n}\}$*in**X**whenever*$T({y}_{n})$*converges*(*or*$A({x}_{n})$*converges for every sequence*$\{{x}_{n}\}$*in**X**whenever*$S({x}_{n})$*converges*), - (5)
*there exists a constant*$k\in (0,1)$*such that*$\varphi \left(\begin{array}{c}M(Ax,By,kt),M(Sx,Ty,t),M(Ax,Sx,t),\\ M(By,Ty,t),M(Ax,Ty,t),M(By,Sx,t)\end{array}\right)\ge 0$(4.1)

*for all* $x,y\in X$, $t>0$ *and* $\varphi \in {\mathrm{\Phi}}_{6}$.

*Then the pairs* $(A,S)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{\mathit{ST}})$ *property*.

*Proof*Since the pair $(A,S)$ enjoys the $({\mathit{CLR}}_{S})$ property, there exists a sequence $\{{x}_{n}\}$ in

*X*such that

*X*such that $A{x}_{n}=T{y}_{n}$. Therefore, due to the closedness of $T(X)$,

*z*) as $n\to \mathrm{\infty}$. On using inequality (4.1) with $x={x}_{n}$, $y={y}_{n}$, we have

*ϕ*is decreasing in ${t}_{2},\dots ,{t}_{6}$, we get

From (${\varphi}_{2}$), we have $M(z,{z}^{\mathrm{\prime}},kt)\ge M(z,{z}^{\mathrm{\prime}},t)$. Appealing to Lemma 2.2, we obtain $z={z}^{\mathrm{\prime}}$. Therefore, ${lim}_{n\to \mathrm{\infty}}B{y}_{n}=z$ and hence the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{\mathit{ST}})$ property. □

**Remark 4.1** The converse of Lemma 4.1 is not true in general. For a counter example, we refer to Example 4.1.

**Theorem 4.1** *Let* $(X,M,\ast )$ *be a fuzzy metric space with* $t\ast t\ge t$ *for all* $t\in [0,1]$. *Let* *A*, *B*, *S* *and* *T* *be mappings from* *X* *into itself satisfying inequality* (4.1). *Suppose that the pairs* $(A,S)$ *and* $(B,T)$ *enjoy the* $({\mathit{CLR}}_{\mathit{ST}})$ *property*. *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*.

*Proof*Since the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{\mathit{ST}})$ property, there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

From (${\varphi}_{1}$) and (${\varphi}_{2}$), we have $M(Au,z,kt)\ge M(Au,z,t)$. In view of Lemma 2.2, $Au=z$, and hence $Au=Su=z$ which shows that *u* is a coincidence point of the pair $(A,S)$.

From (${\varphi}_{1}$) and (${\varphi}_{2}$), we have $M(z,Bv,kt)\ge M(z,Bv,t)$. On employing Lemma 2.2, we have $z=bv$. Hence, $Bv=Tv=z$ which shows that *v* is a coincidence point of the pair $(B,T)$.

*z*is a common fixed point of the pair $(A,S)$. Putting $x=z$ and $y=v$ in (4.1), we have

From (${\varphi}_{1}$) and (${\varphi}_{2}$), we have $M(Az,z,kt)\ge M(Az,z,t)$. Owing Lemma 2.2, $Az=z=Sz$, which shows that *z* is a common fixed point of the pair $(A,S)$.

From (${\varphi}_{1}$) and (${\varphi}_{2}$), we have $M(z,Bz,kt)\ge M(z,Bz,t)$. In view of Lemma 2.2, $Bz=z=Tz$. Hence, *z* is a common fixed point of the pair $(B,T)$. Therefore, *z* is a common fixed point of the mappings *A*, *B*, *S* and *T*. The uniqueness of common fixed point is an easy consequence of the inequality (4.1) in view of (${\varphi}_{1}$) and (${\varphi}_{2}$). □

**Remark 4.2** Theorem 4.1 improves the results of Aalam *et al.* [[18], Theorem 3.1], Rao *et al.* [[12], Theorem 3.1] and Chauhan and Kumar [[20], Theorem 3.1] as Theorem 4.1 never requires conditions on completeness (or closedness) of the underlying space (or subspace), continuity of the involved mappings and containment amongst range sets of the involved mappings.

**Example 4.1**Let $(X,M,\ast )$ be a fuzzy metric space, where $X=[1,15)$, with

*t*-norm defined $a\ast b=min\{a,b\}$ for all $a,b\in [0,1]$ and

*X*. Consider $\varphi :{[0,1]}^{6}\to \mathbb{R}$ as defined in Examples 3.1-3.3. If we choose two sequences $\{{x}_{n}\}=\{3+\frac{1}{n}\}$, $\{{y}_{n}\}=\{1\}$ (or $\{{x}_{n}\}=\{1\}$, $\{{y}_{n}\}=\{3+\frac{1}{n}\}$), then clearly

Hence, both the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{\mathit{ST}})$ property. By a routine calculation, one can verify the inequality (4.1). Thus, all the conditions of Theorem 4.1 are satisfied for some fixed $k\in (0,1)$ and 1 is a unique common fixed point of the pairs $(A,S)$ and $(B,T)$, which also remains a point of coincidence as well. Also, all the involved mappings are even discontinuous at their unique common fixed point 1.

**Theorem 4.2**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself*.

*Suppose that the inequality*(4.1)

*and the following hypotheses hold*:

- (1)
*the pairs*$(A,S)$*and*$(B,T)$*satisfy the common property*(*E*.*A*), - (2)
$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*.

*Proof*Since the pairs $(A,S)$ and $(B,T)$ enjoy the common property (E.A), there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

for some $z\in X$. Since $S(X)$ is a closed subset of *X*, hence ${lim}_{n\to \mathrm{\infty}}S{x}_{n}=z\in S(X)$. Therefore, there exists a point $u\in X$ such that $Su=z$. Also, $T(X)$ is a closed subset of *X*, ${lim}_{n\to \mathrm{\infty}}T{y}_{n}=z\in T(X)$. Therefore, there exists a point $v\in X$ such that $Tv=z$. The rest of the proof runs on the lines of the proof of Theorem 4.1. □

**Example 4.2**In the setting of Example 4.1, replace the self-mappings

*A*,

*B*,

*S*and

*T*by the following besides retaining the rest:

Then we have $A(X)=\{1,14\}\u2288[1,13]=T(X)$ and $B(X)=\{1,5\}\u2288[1,4]=S(X)$, hence $S(X)$ and $T(X)$ are closed subsets of *X*.

Therefore, all the conditions of Theorem 4.2 are satisfied for some fixed $k\in (0,1)$ and 1 is a unique common fixed point of the pairs $(A,S)$ and $(B,T)$, which also remains a point of coincidence as well.

**Theorem 4.3** *Let* $(X,M,\ast )$ *be a fuzzy metric space with* $t\ast t\ge t$ *for all* $t\in [0,1]$. *Let* *A*, *B*, *S* *and* *T* *be mappings from* *X* *into itself satisfying all the hypotheses of Lemma* 4.1. *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*.

*Proof*In view of Lemma 4.1, the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{\mathit{ST}})$ property, there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

where $z\in S(X)\cap T(X)$. The rest of the proof can be completed on the lines of the proof of Theorem 4.1. □

**Example 4.3**In the setting of Example 4.1, replace the self-mappings

*A*,

*B*,

*S*and

*T*by the following besides retaining the rest:

We obtain $A(X)=\{1,5\}\subset [1,13]=T(X)$ and $B(X)=\{1,4\}\subset [1,4]=S(X)$, which shows that $S(X)$ and $T(X)$ are closed subsets of *X*. By a routine calculation, one can easily verify the inequality (4.1) for all $x,y\in X$ and for some fixed $k\in (0,1)$. Thus, all the conditions of Theorem 4.3 are satisfied and 1 is a unique common fixed point of $(A,S)$ and $(B,T)$, which also remains a point of coincidence as well.

Here, it is worth noting that the majority of earlier proved results Theorem 4.1 cannot be used in the context of this example as Theorem 4.1 never requires any condition on the containment of ranges amongst involved mappings.

**Remark 4.3** The conclusions of Lemma 4.1, Theorem 4.1, Theorem 4.2, Corollary 4.1 and Theorem 4.3 remain true if we define $\varphi ({t}_{1},{t}_{2},{t}_{3},{t}_{4},{t}_{5},{t}_{6})$ as in Examples 3.1-3.3.

**Remark 4.4** Theorem 4.1 and Theorem 4.3 (in view of Example 3.1) improve and generalize the results of Mishra *et al.* [[4], Theorem 1].

By choosing *A*, *B*, *S* and *T* suitably, we can drive a multitude of common fixed point theorems for a pair or triod of mappings. As a sample, we deduce the following natural result for a pair of self-mappings.

**Corollary 4.1**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*

*and*

*S*

*be mappings from*

*X*

*into itself satisfying the following conditions*:

- (1)
*the pair*$(A,S)$*satisfies the*$({\mathit{CLR}}_{S})$*property*, - (2)
*there exists a constant*$k\in (0,1)$*such that*$\varphi \left(\begin{array}{c}M(Ax,Ay,kt),M(Sx,Sy,t),M(Ax,Sx,t),\\ M(Ay,Sy,t),M(Ax,Sy,t),M(Ay,Sx,t)\end{array}\right)\ge 0$(4.2)

*for all* $x,y\in X$, $t>0$ *and* $\varphi \in {\mathrm{\Phi}}_{6}$.

*Then* *A* *and* *S* *have a coincidence point*. *Moreover*, *if the pair* $(A,S)$ *is weakly compatible*, *then* *A* *and* *S* *have a unique common fixed point*.

**Remark 4.5** Corollary 4.1 (in view of Example 3.1) generalizes the results of Miheţ [[25], Theorem 3.1].

As an application of Theorem 4.2, we have the following result involving four finite families of self-mappings.

**Theorem 4.4** *Let* $(X,M,\ast )$ *be a fuzzy metric space with* $t\ast t\ge t$ *for all* $t\in [0,1]$. *Let* ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{r}\}}_{r=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{g}\}}_{g=1}^{q}$ *be four finite families from* *X* *into itself such that* $A={A}_{1}{A}_{2}\cdots {A}_{m}$, $B={B}_{1}{B}_{2}\cdots {B}_{n}$, $S={S}_{1}{S}_{2}\cdots {S}_{p}$ *and* $T={T}_{1}{T}_{2}\cdots {T}_{q}$ *which satisfy the inequality* (4.1). *If the pairs* $(A,S)$ *and* $(B,T)$ *satisfy the* $({\mathit{CLR}}_{\mathit{ST}})$ *property*, *then* $(A,S)$ *and* $(B,T)$ *have a point of coincidence each*.

*Moreover*, ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{r}\}}_{r=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{g}\}}_{g=1}^{q}$ *have a unique common fixed point provided the pairs of families* $(\{{A}_{i}\},\{{S}_{k}\})$ *and* $(\{{B}_{r}\},\{{T}_{g}\})$ *are commute pairwise*, *where* $i\in \{1,2,\dots ,m\}$, $k\in \{1,2,\dots ,p\}$, $r\in \{1,2,\dots ,n\}$ *and* $g\in \{1,2,\dots ,q\}$.

*Proof* The proof of this theorem is similar to that of Theorem 3.1 contained in Imdad *et al.* [39], hence details are avoided. □

Now, we indicate that Theorem 4.4 can be utilized to derive common fixed point theorems for any finite number of mappings. As a sample for five mappings, we can derive the following by setting one family of two members while the remaining three of single members.

**Corollary 4.2**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*R*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself and satisfy the following conditions*:

- (1)
*the pairs*$(A,SR)$*and*$(B,T)$*share the*$({\mathit{CLR}}_{(SR)(T)})$*property*, - (2)
*there exists a constant*$k\in (0,1)$*such that*$\varphi \left(\begin{array}{c}M(Ax,By,kt),M(SRx,THy,t),M(Ax,SRx,t),\\ M(By,THy,t),M(Ax,THy,t),M(By,SRx,t)\end{array}\right)\ge 0$(4.3)

*for all* $x,y\in X$, $t>0$ *and* $\varphi \in {\mathrm{\Phi}}_{6}$.

*Then the pairs* $(A,SR)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *R*, *S* *and* *T* *have a unique common fixed point provided the pairs* $(A,SR)$ *and* $(B,T)$ *commute pairwise* (*that is*, $AS=SA$, $AR=RA$, $SR=RS$ *and* $BT=TB$).

Similarly, we can derive a common fixed point theorem for six mappings by setting two families of two members while the rest two of single members.

**Corollary 4.3**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*R*,

*S*,

*H*

*and*

*T*

*be mappings from*

*X*

*into itself and satisfy the following conditions*:

- (1)
*the pairs*$(A,SR)$*and*$(B,TH)$*enjoy the*$({\mathit{CLR}}_{(SR)(TH)})$*property*, - (2)
*there exists a constant*$k\in (0,1)$*such that*$\varphi \left(\begin{array}{c}M(Ax,By,kt),M(SRx,THy,t),M(Ax,SRx,t),\\ M(By,THy,t),M(Ax,THy,t),M(By,SRx,t)\end{array}\right)\ge 0$(4.4)

*for all* $x,y\in X$, $t>0$ *and* $\varphi \in {\mathrm{\Phi}}_{6}$.

*Then the pairs* $(A,SR)$ *and* $(B,TH)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *R*, *S*, *H* *and* *T* *have a unique common fixed point provided the pairs* $(A,SR)$ *and* $(B,TH)$ *commute pairwise* (*that is*, $AS=SA$, $AR=RA$, $SR=RS$, $BT=TB$, $BH=HB$ *and* $TH=HT$).

By setting ${A}_{1}={A}_{2}=\cdots ={A}_{m}=A$, ${B}_{1}={B}_{2}=\cdots ={B}_{n}=B$, ${S}_{1}={S}_{2}=\cdots ={S}_{p}=S$ and ${T}_{1}={T}_{2}=\cdots ={T}_{q}=T$ in Theorem 4.4, we deduce the following.

**Corollary 4.4**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself such that the pairs*$({A}^{m},{S}^{p})$

*and*$({B}^{n},{T}^{q})$

*share the*$({\mathit{CLR}}_{{S}^{p},{T}^{q}})$

*property*.

*Suppose that there exists a constant*$k\in (0,1)$

*such that*

*for all* $x,y\in X$, $t>0$, $\varphi \in {\mathrm{\Phi}}_{6}$ *and* *m*, *n*, *p*, *q* *are fixed positive integers*.

*Then the pairs* $(A,S)$ *and* $(B,T)$ *have a point of coincidence each*. *Further*, *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both the pairs* $({A}^{m},{S}^{p})$ *and* $({B}^{n},{T}^{q})$ *commute pairwise*.

**Remark 4.6** Theorem 4.4 and Corollary 4.4 generalize and extend the results of Abbas *et al.* [[19], Theorem 2.3, Corollary 2.5] to finite families of weakly compatible mappings.

## 5 Related results for contractive conditions of integral type

A study of contractive conditions of integral type has been initiated by Branciari [40], giving an integral version of the Banach contraction principle. Subsequently, several authors proved common fixed point theorems satisfying contractive conditions of integral type (*e.g.* [41–44]). In this section, we state and prove an integral analogue of Theorem 4.1. First, we need to prove the following lemma in fuzzy metric spaces which is motivated by Altun *et al.* [45].

**Lemma 5.1**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*If there exists a constant*$k\in (0,1)$

*such that for all*$x,y\in X$

*and all*$t>0$,

*where*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*is a summable non*-

*negative Lebesgue integrable function such that*

*for each* $\u03f5\in [0,1)$, *then* $x=y$.

*Proof*From (5.1), we have

implying $M(x,y,t)\ge 1$ for all $t\ge 0$. Then we get $x=y$. □

**Remark 5.1**By setting $\phi (s)=1$ for each $s\ge 0$ in (5.1), we have

which shows that Lemma 5.1 is a generalization of the Lemma 2 contained in [4].

**Theorem 5.1**

*Let*$(X,M,\ast )$

*be a fuzzy metric space with*$t\ast t\ge t$

*for all*$t\in [0,1]$.

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be mappings from*

*X*

*into itself*.

*Suppose that there exists a function*$\varphi \in {\mathrm{\Phi}}_{6}$

*satisfying*

*where*$\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$

*is a summable non*-

*negative Lebesgue integrable function such that for each*$\u03f5\in [0,1)$

*implies*$u\ge v$

*for all*$u,v\in [0,1]$.

*Suppose that the pairs*$(A,S)$

*and*$(B,T)$

*share the*$({\mathit{CLR}}_{\mathit{ST}})$

*property*.

*There exists a constant*$k\in (0,1)$

*such that*

*for all* $x,y\in X$ *and* $t>0$, *then the pairs* $(A,S)$ *and* $(B,T)$ *have a point of coincidence 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*.

*Proof*Since the pairs $(A,S)$ and $(B,T)$ share the $({\mathit{CLR}}_{\mathit{ST}})$ property, there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

*ϕ*is decreasing in ${t}_{2},\dots ,{t}_{6}$, we get

From (5.2), we have $M(Au,z,kt)\ge M(Au,z,t)$. Now appealing to Lemma 4.1, $Au=z$ and hence $Au=Su=z$ which shows that *u* is a coincidence point of the pair $(A,S)$.

*ϕ*is decreasing in ${t}_{2},\dots ,{t}_{6}$, we get

From (5.2), we have $M(z,Bv,kt)\ge M(z,Bv,t)$. Owing Lemma 4.1, $Bv=z$ and henceforth $Bv=Tv=z$. Therefore, *v* is a coincidence point of the pair $(B,T)$.

*ϕ*is decreasing in ${t}_{2},\dots ,{t}_{6}$, we obtain

From (5.2), we have $M(Az,z,kt)\ge M(Az,z,t)$. Using Lemma 4.1, we have $Az=z=Sz$ which shows that *z* is a common fixed point of the pair $(A,S)$.

*z*is a common fixed point of the pair $(B,T)$. In order to accomplish this, putting $x=u$, $y=z$ in (5.3), we have

*ϕ*is decreasing in ${t}_{2},\dots ,{t}_{6}$, we get

From (5.2), we have $M(z,Bz,kt)\ge M(z,Bz,t)$. Appealing to Lemma 4.1, we have $Bz=z=Tz$ which shows that *z* is a common fixed point of the pair $(B,T)$. Hence *z* is a common fixed point of mappings *A*, *B*, *S* and *T*. Uniqueness of common fixed point is an easy consequence of the inequality (5.3). □

**Remark 5.2** Results similar to Theorem 4.2, Theorem 4.3, Theorem 4.4, Corollary 4.1, Corollary 4.2 and Corollary 4.3 can be outlined in views of Theorem 5.1, but we do not include the details due to repetition. Earlier proved results can also be described in view of Examples 3.1-3.3 (using Lemma 5.1) which improve the results of Chauhan and Kumar [[20], Theorem 4.1].

**Remark 5.3** Theorem 5.1 (in view of Remark 5.2) improves the results of Bhatia [[41], Theorem 3.1], Shao [[43], Theorem 3.2], Murthy *et al.* [[42], Theorems 2, 3, 5] and extend the result of Sedghi and Shobe [[44], Theorem 2.2].

## Declarations

## Authors’ Affiliations

## References

- Zadeh LA: Fuzzy sets.
*Inf. Control*1965, 8: 338–353. 10.1016/S0019-9958(65)90241-XMathSciNetView ArticleMATHGoogle Scholar - Kramosil I, Michálek J: Fuzzy metric and statistical metric spaces.
*Kybernetika*1975, 11(5):336–344.MathSciNetMATHGoogle Scholar - George A, Veeramani P: On some result in fuzzy metric space.
*Fuzzy Sets Syst.*1994, 64: 395–399. 10.1016/0165-0114(94)90162-7MathSciNetView ArticleMATHGoogle Scholar - Mishra SN, Sharma N, Singh SL: Common fixed points of maps on fuzzy metric spaces.
*Int. J. Math. Math. Sci.*1994, 17(2):253–258. 10.1155/S0161171294000372MathSciNetView ArticleMATHGoogle Scholar - Singh B, Jain S: Semicompatibility and fixed point theorems in fuzzy metric space using implicit relation.
*Int. J. Math. Math. Sci.*2005, 16: 2617–2629.MathSciNetView ArticleMATHGoogle Scholar - Balasubramaniam P, Muralisankar S, Pant RP: Common fixed points of four mappings in a fuzzy metric space.
*J. Fuzzy Math.*2002, 10(2):379–384.MathSciNetMATHGoogle Scholar - Beg I, Sedghi S, Shobe N: Fixed point theorems in fuzzy metric spaces.
*Int. J. Anal.*2013., 2013: Article ID 934145Google Scholar - Chauhan S, Pant BD: Common fixed point theorems in fuzzy metric spaces.
*Bull. Allahabad Math. Soc.*2012, 27(1):27–43.MathSciNetMATHGoogle Scholar - Cho YJ: Fixed points in fuzzy metric spaces.
*J. Fuzzy Math.*1997, 5(4):949–962.MathSciNetMATHGoogle Scholar - Imdad M, Ali J: Common fixed point theorems in complete fuzzy metric spaces.
*Math. Commun.*2006, 11(2):153–163.MathSciNetMATHGoogle Scholar - O’Regan D, Abbas M: Necessary and sufficient conditions for common fixed point theorems in fuzzy metric space.
*Demonstr. Math.*2009, 42(4):887–900.MathSciNetMATHGoogle Scholar - Rao KPR, Babu GVR, Fisher B: Common fixed point theorems in fuzzy metric spaces under implicit relations.
*Hacet. J. Math. Stat.*2008, 37(2):97–106.MathSciNetMATHGoogle Scholar - Sharma S: Common fixed point theorems in fuzzy metric spaces.
*Fuzzy Sets Syst.*2002, 127(3):345–352. 10.1016/S0165-0114(01)00112-9View ArticleMathSciNetMATHGoogle Scholar - Pant RP: Common fixed points of four mappings.
*Bull. Calcutta Math. Soc.*1998, 90(4):281–286.MathSciNetMATHGoogle Scholar - Aamri M, El Moutawakil D: Some new common fixed point theorems under strict contractive conditions.
*J. Math. Anal. Appl.*2002, 270: 181–188. 10.1016/S0022-247X(02)00059-8MathSciNetView ArticleMATHGoogle Scholar - Ali J, Imdad M: An implicit function implies several contraction conditions.
*Sarajevo J. Math.*2008, 17(4):269–285.MathSciNetMATHGoogle Scholar - Liu Y, Wu J, Li Z: Common fixed points of single-valued and multivalued maps.
*Int. J. Math. Math. Sci.*2005, 19: 3045–3055. doi:10.1155/IJMMS.2005.3045MathSciNetView ArticleMATHGoogle Scholar - Aalam I, Kumar S, Pant BD: A common fixed point theorem in fuzzy metric space.
*Bull. Math. Anal. Appl.*2010, 2(4):76–82.MathSciNetMATHGoogle Scholar - Abbas M, Altun I, Gopal D: Common fixed point theorems for non compatible mappings in fuzzy metric spaces.
*Bull. Math. Anal. Appl.*2009, 1(2):47–56.MathSciNetMATHGoogle Scholar - Chauhan S, Kumar S: Coincidence and fixed points in fuzzy metrtc spaces using common property (E.A).
*Kochi J. Math.*2013, 8: 135–154.MathSciNetMATHGoogle Scholar - Gopal D, Imdad M, Vetro C: Impact of common property (E.A.) on fixed point theorems in fuzzy metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 297360. doi:10.1155/2011/297360Google Scholar - Imdad M, Ali J, Hasan M: Common fixed point theorems in fuzzy metric spaces employing common property (E.A.).
*Math. Comput. Model.*2012, 55(3–4):770–778. 10.1016/j.mcm.2011.09.002MathSciNetView ArticleMATHGoogle Scholar - Kumar S, Fisher B: A common fixed point theorem in fuzzy metric space using property (E.A.) and implicit relation.
*Thai J. Math.*2010, 8(3):439–446.MathSciNetMATHGoogle Scholar - Kumar S, Chauhan S: Common fixed point theorems using implicit relation and property (E.A) in fuzzy metric spaces.
*Ann. Fuzzy Math. Inform.*2013, 5(1):107–114.MathSciNetMATHGoogle Scholar - Miheţ D: Fixed point theorems in fuzzy metric spaces using property (E.A).
*Nonlinear Anal.*2010, 73(7):2184–2188. 10.1016/j.na.2010.05.044MathSciNetView ArticleMATHGoogle Scholar - Pant V, Pant RP: Fixed points in fuzzy metric space for non-compatible maps.
*Dōngwú Shùlı̌xué Bào*2007, 33(4):647–655.MathSciNetMATHGoogle 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 - Chauhan S: Fixed points of weakly compatible mappings in fuzzy metric spaces satisfying common limit in the range property.
*Indian J. Math.*2012, 54(3):375–397.MathSciNetMATHGoogle Scholar - Chauhan, S, Bhatnagar, S, Radenović, S: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces. Le Matematiche (2013, in printing)Google Scholar
- Chauhan S, Sintunavarat W, Kumam P: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces using (JCLR) property.
*Appl. Math.*2012, 3(9):976–982. doi:10.4236/am.2012.39145 10.4236/am.2012.39145View ArticleGoogle Scholar - Sintunavarat W, Kumam P: Common fixed points for
*R*-weakly commuting in fuzzy metric spaces.*Ann. Univ. Ferrara*2012, 58(2):389–406. 10.1007/s11565-012-0150-zMathSciNetView ArticleMATHGoogle Scholar - Singh SL, Pant BD, Chauhan S: Fixed point theorems in non-Archimedean Menger PM-spaces.
*J. Nonlinear Anal. Optim.*2012, 3(2):153–160.MathSciNetGoogle Scholar - Imdad M, Pant BD, Chauhan S:Fixed point theorems in Menger spaces using the $({\mathit{CLR}}_{\mathit{ST}})$ property and applications.
*J. Nonlinear Anal. Optim.*2012, 3(2):225–237.MathSciNetGoogle Scholar - Imdad M, Ali J: A general fixed point theorem in fuzzy metric spaces via an implicit function.
*J. Appl. Math. Inform.*2008, 26(3–4):591–603.Google Scholar - Schweizer B, Sklar A North-Holland Series in Probability and Applied Mathematics. In
*Probabilistic Metric Spaces*. North-Holland, New York; 1983.Google Scholar - Grabiec M: Fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*1988, 27(3):385–389. 10.1016/0165-0114(88)90064-4MathSciNetView ArticleMATHGoogle Scholar - Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces.
*Far East J. Math. Sci.*1996, 4(2):199–215.MathSciNetMATHGoogle Scholar - Pathak HK, López RR, Verma RK: A common fixed point theorem using implicit relation and property (E.A) in metric spaces.
*Filomat*2007, 21(2):211–234. 10.2298/FIL0702211PMathSciNetView ArticleMATHGoogle Scholar - Imdad M, Ali J, Tanveer M: Coincidence and common fixed point theorems for nonlinear contractions in Menger PM spaces.
*Chaos Solitons Fractals*2009, 42(5):3121–3129. 10.1016/j.chaos.2009.04.017MathSciNetView ArticleMATHGoogle Scholar - Branciari A: A fixed point theorem for mappings satisfying a general contractive condition of integral type.
*Int. J. Math. Math. Sci.*2002, 29(9):531–536. 10.1155/S0161171202007524MathSciNetView ArticleMATHGoogle Scholar - Bhatia SS, Manro S, Kumar S: Fixed point theorem for weakly compatible maps using E.A. property in fuzzy metric spaces satisfying contractive condition of integral type.
*Int. J. Contemp. Math. Sci.*2010, 5(51):2523–2528.MathSciNetMATHGoogle Scholar - Murthy PP, Kumar S, Taş K: Common fixed points of self maps satisfying an integral type contractive condition in fuzzy metric spaces.
*Math. Commun.*2010, 15(2):521–537.MathSciNetMATHGoogle Scholar - Shao X, Hu X: Common fixed point under integral type contractive condition in fuzzy metric spaces.
*Third Internat. Workshop on Adv. Comput. Intel.*2010, 131–134.View ArticleGoogle Scholar - Sedghi S, Shobe N: Common fixed point theorems for weakly compatible mappings satisfying contractive condition of integral type.
*J. Adv. Res. Appl. Math.*2011, 3(4):67–78. doi:10.5373/jaram.821.030711 10.5373/jaram.821.030711MathSciNetView ArticleGoogle Scholar - Altun I, Tanveer M, Miheţ D, Imdad M: Common fixed point theorems of integral type in Menger PM spaces.
*J. Nonlinear Anal. Optim.*2012, 3(1):55–66.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.