- Research
- Open Access

# Existence and uniqueness of a common fixed point under a limit contractive condition

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

**2013**:519

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

© Imdad et al.; licensee Springer. 2013

**Received:**4 June 2013**Accepted:**25 September 2013**Published:**9 November 2013

## Abstract

In this paper, utilizing the notion of common limit range property for two pairs of self mappings, we prove common fixed point theorems in fuzzy metric spaces under a limit contractive condition, which improve and extend the results of Zhu *et al.* [Common fixed point theorems of new contractive conditions in fuzzy metric spaces, J. Appl. Math. 2013:145190, 2013]. We also give some examples to demonstrate the validity of the hypotheses of our results. As an application to our main result, we obtain a fixed point theorem for four finite families of self mappings in fuzzy metric space.

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

## Keywords

- fuzzy metric space
- weakly compatible mappings
- common limit in the range property
- fixed point theorems

## 1 Introduction

In 1965, Zadeh [1] initiated the concept of a fuzzy set in his seminal paper. In the last five decades, there have been a tremendous development and growth in fuzzy mathematics. The concept of fuzzy metric space was introduced by Kramosil and Michalek [2] in 1975, which opened an avenue for further development of analysis in such spaces. Thereafter, George and Veeramani [3] modified the concept of fuzzy metric space introduced by Kramosil and Michalek [2] with a view to obtain a Hausdoroff topology, which has very important applications in quantum particle physics, particularly in connection with both string and ${\u03f5}^{\mathrm{\infty}}$ theory (see, [4–6] and references mentioned therein). Fuzzy set theory also has applications in several domains of applied sciences, which include neural network theory, stability theory, mathematical programming, modeling theory, engineering sciences, medical sciences (medical genetics, nervous system), image processing, control theory, communication, *etc*. Due to richness in applications, this theory progressed by leaps and bounds which also include interesting applications of the theory in diverse areas.

To use this concept in topology and analysis, several researchers have defined fuzzy metric spaces in several ways (*e.g.* [7–13]). In 2009, Abbas *et al.* [14] utilized the notions of the property (E.A) (which contains the class of non-compatible self mappings) and the common property (E.A) in fuzzy metric spaces and proved common fixed point theorems. Here, it can be pointed out that the use of the property (E.A) and the common property (E.A) requires the closedness of the underlying subspaces for the existence of common fixed points. Inspired by this observation, Sintunavarat and Kumam [15] coined the idea of ‘common limit range property,’ which never requires the closedness of such subspaces. Motivated by the results of Imdad *et al.* [16], Chauhan [17] extended the notion of common limit range property to two pairs of self mappings in fuzzy metric spaces and proved several results on the existence and uniqueness of common fixed points in fuzzy metric spaces. For the sake of completeness, we refer the readers to [18–38]. Most recently, Zhu *et al.* [39] proved common fixed point theorems by using the notions of the property (E.A) and the common property (E.A) in George and Veeramani type fuzzy metric spaces (briefly, GV-type) under a new limit contraction condition.

In the present paper, we prove some common fixed point theorems for weakly compatible mappings in fuzzy metric spaces employing the common limit range property. As an application to our main result, we also derive a common fixed point theorem for four finite families of mappings in fuzzy metric spaces using the notion of pairwise commuting families (due to Imdad *et al.*[40]) and utilize the same to derive common fixed point theorems for six mappings. In the process, many known results (especially the ones contained in Zhu *et al.* [39]) are enriched and improved. Some related results are also derived besides furnishing illustrative examples.

## 2 Preliminaries

In this section, we present background material required in our subsequent discussion.

**Definition 2.1** [41]

*t*-norm if it satisfies the following conditions:

- (1)
∗ is associative and commutative,

- (2)
∗ is continuous,

- (3)
$a\ast 1=a$ for all $a\in [0,1]$,

- (4)
$a\ast b\le c\ast d$, whenever $a\le c$ and $b\le d$ for all $a,b,c,d\in [0,1]$.

Examples of continuous *t*-norms are $a\ast b=min\{a,b\}$, $a\ast b=ab$ and $a\ast b=max\{a+b-1,0\}$.

**Definition 2.2** [3]

A 3-tuple $(X,M,\ast )$ is said to be a fuzzy metric space if *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$,

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

(GV-2) $M(x,y,t)=1$ if and only if $x=y$,

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

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

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

In view of (GV-1) and (GV-2), it is worth pointing out that $0<M(x,y,t)<1$ (for all $t>0$) provided $x\ne y$ (see [32]). In what follows, fuzzy metric spaces in the sense of George and Veeramani [3] will be referred to as GV-fuzzy metric spaces.

Every metric space is a fuzzy metric space and is called a standard fuzzy metric space (see [3]). Here, we give some new and interesting examples of fuzzy metric spaces due to Gregori *et al.* [11]. For further details and related examples, one can see [11].

**Example 2.1** [11]

*M*as

then $(X,M,\ast )$ is a fuzzy metric space on *X*, wherein ∗ is the product *t*-norm, *i.e.*, $a\ast b=ab$.

**Example 2.2** [11]

*M*as

then $(X,M,\ast )$ is a fuzzy metric space on *X*, wherein ∗ is the product *t*-norm and $g:{\mathbb{R}}^{+}\to [0,\mathrm{\infty})$ is an increasing continuous function.

**Example 2.3** [11]

*M*as

then $(X,M,\ast )$ is a fuzzy metric space on *X*, wherein ∗ is a Lukasiewicz *t*-norm, *i.e.*, $a\ast b=max\{a+b-1,0\}$.

**Definition 2.3** [32]

for all $n\ge {n}_{0}$.

**Definition 2.4** [42]

A pair $(A,S)$ of self mappings of a GV-fuzzy metric space $(X,M,\ast )$ is said to be compatible if and only if $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.5** [43]

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

**Definition 2.6** [14]

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

**Definition 2.7** [14]

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

**Definition 2.8** [15]

*S*if there exists a sequence $\{{x}_{n}\}$ in

*X*such that

where $z\in S(X)$.

It is evident that a pair $(A,S)$ of self mappings satisfying the property (E.A) along with closedness of the subspace $S(X)$ always enjoys the $({\mathit{CLR}}_{S})$ property.

**Definition 2.9** [17]

*S*and

*T*if there exist two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in

*X*such that

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

**Definition 2.10** [40]

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

## 3 Results

*et al.*[39], let $(X,M,\ast )$ be a GV-fuzzy metric space, while let

*A*,

*B*,

*S*and

*T*be self mappings of

*X*. For any $x,y\in X$ and $t>0$, we write

(C-1) $0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1$ implies that ${\overline{lim}}_{n\to \mathrm{\infty}}min(A{x}_{n},B{y}_{n},t)>L(t)$ for all $t>0$ and any sequence $\{{x}_{n}\}$, $\{{y}_{n}\}$ in *X*.

The following lemma will be needed in our main theorem.

**Lemma 3.1**

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be self mappings of a GV*-

*fuzzy metric space*$(X,M,\ast )$

*satisfying conditions*(C-1)

*and*(3.1).

*Suppose that*

- (1)
*the pair*$(A,S)$*satisfies the*$({\mathit{CLR}}_{S})$*property*(*or the pair*$(B,T)$*satisfies the*$({\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*).

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

*Proof*Since the pair $(A,S)$ satisfies the $({\mathit{CLR}}_{S})$ property with respect to mapping

*S*, there exists a sequence $\{{x}_{n}\}$ in

*X*such that

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

which is a contradiction. Hence, $B{y}_{n}\to z$, which shows that the pairs $(A,S)$ and $(B,T)$ enjoy the $({\mathit{CLR}}_{ST})$ property. This completes the proof of lemma. □

**Remark 3.1** In general, the converse of Lemma 3.1 is not true (see [[40], Example 3.5]).

Now, we state and prove our main result for two pairs of weakly compatible mappings satisfying the $({\mathit{CLR}}_{ST})$ property.

**Theorem 3.1** *Let* *A*, *B*, *S* *and* *T* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying conditions* (C-1) *and* (3.1). *If the pairs* $(A,S)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{ST})$ *property*, *then* $(A,S)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

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

*X*such that

which is a contradiction. Hence, $Au=Su=z$. Therefore, *u* is a coincidence point of the pair $(A,S)$.

In view of (C-1), we get $M(z,Bv,t)=1$, which implies that $Bv=z$, and so $Bv=Tv=z$. Hence, *v* is a coincidence point of the pair $(B,T)$.

*z*is a common fixed point of the pair $(A,S)$. By using (3.1) with $x=z$, $y=v$ and $t>0$, we have

By (C-1), we obtain $M(Az,z,t)=1$, and so $Az=z=Sz$, which shows that *z* is a common fixed point of the pair $(A,S)$.

In view of (C-1), we get $M(z,Bz,t)=1$, which implies that $Bz=z$. Therefore, $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 both pairs $(A,S)$ and $(B,T)$. Uniqueness of common fixed point is an easy consequence of inequality (3.1). This concludes the proof. □

**Remark 3.2** Theorem 3.1 improves the corresponding results contained in Zhu *et al.* [39] as closedness of the underlying subspaces is not required.

**Theorem 3.2** *Let* *A*, *B*, *S* *and* *T* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying all the hypotheses of Lemma * 3.1. *Then* *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

*Proof*In view of Lemma 3.1, the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{ST})$ property, so that 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 runs on the lines of the proof of Theorem 3.1. This completes the proof. □

for each $0<\u03f5\le 1$. We denote $d={\int}_{0}^{1}\varphi (t)\phantom{\rule{0.2em}{0ex}}dt$.

then (C-1) holds. It can be easily considered from the proof of Theorem 2.2 contained in [39].

By taking $\varphi (t)=1$ in conditions (C-1) and (C-2), we can deduce the following contractive conditions:

**Remark 3.3** The conclusion of Lemma 3.1, Theorem 3.1 and Theorem 3.2 remains true in view of conditions (C-2)-(C-5).

**Remark 3.4**It may be noted that condition (C-4) is also valid, if one can define a function $\psi :[0,1]\to [0,1]$ by

- (1)
*ψ*is non-increasing for any $0<s<1$, $\psi (s)<s$, ${\overline{lim}}_{u\to s}\psi (u)<s$. - (2)
*ψ*is a upper semi-continuous function such that for any $0<s<1$, $\psi (s)<s$. - (3)
*ψ*is non-increasing and left-upper semi-continuous such that $\psi (s)<s$ for $0<s<1$.

**Remark 3.5**It may be pointed out that condition (C-5) is also valid if one can define a function $\phi :[0,1]\to [0,1]$ by

- (1)
*φ*is a non-decreasing and left continuous function such that for any $0<s<1$, $\phi (s)>s$. - (2)
*φ*is a lower semi-continuous function such that for any $0<s<1$, $\phi (s)>s$. - (3)
$\phi (s)=s+\rho (s)$, where $\rho :[0,1]\to [0,1]$ is a continuous function with for all $0<s<1$, $\rho (s)>0$.

**Theorem 3.3**

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be self mappings of a GV*-

*fuzzy metric space*$(X,M,\ast )$.

*Suppose that there exists an upper semi*-

*continuous function*$r:[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$

*with*$r(s)<s$

*for every*$s>0$

*such that*

*for each* $x,y\in X$ *and* $t>0$. *If the pairs* $(A,S)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{ST})$ *property*, *then* $(A,S)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

*Proof*Consider the function $\phi :[0,1]\to [0,1]$ as

for any $x,y\in X$, $t\in (0,1)$, $0<min(x,y,t)<1$, that is, condition (C-5) holds. The rest of the proof can be completed easily, hence, we did not include the details. □

**Theorem 3.4**

*Let*

*A*,

*B*,

*S*

*and*

*T*

*be self mappings of a GV*-

*fuzzy metric space*$(X,M,\ast )$.

*Suppose that there exists a strictly decreasing and left continuous function*$\nu :[0,1]\to [0,1]$

*with*$\nu (\lambda )=0$

*if and only if*$\lambda =1$

*and a function*$k:(0,\mathrm{\infty})\to (0,1)$

*such that*

*for each* $x,y\in X$, *where* ($x\ne y$) *and* $t>0$. *If the pairs* $(A,S)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{ST})$ *property*, *then* $(A,S)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,S)$ *and* $(B,T)$ *are weakly compatible*.

*Proof*Consider a function $\phi :[0,1]\times [0,+\mathrm{\infty})\to [0,1]$ as

*ν*is strictly decreasing and left continuous, we have that ${\nu}^{-1}$ is strictly decreasing and right continuous, and $\phi (s,t)$ is increasing in

*s*. Then we have

*X*and $0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1$, then there exists a subsequence $\{min({x}_{{n}_{i}},{y}_{{n}_{i}},t)\}$ such that ${lim}_{i\to \mathrm{\infty}}min({x}_{{n}_{i}},{y}_{{n}_{i}},t)=L$, which shows that

Hence, condition (C-1) holds. The conclusion can be deduced from Theorem 3.1. This completes the proof. □

By choosing *A*, *B*, *S* and *T* suitably, we can deduce corollaries involving two as well as three self mappings. For the sake of naturality, we only derive the following corollary involving a pair of self mappings:

*A*and

*S*be self mappings of a set

*X*. For any $x,y\in X$ and $t>0$, we define

(D-1) $0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1$ implies that ${\overline{lim}}_{n\to \mathrm{\infty}}min(A{x}_{n},A{y}_{n},t)>L(t)$ for all $t>0$ and any sequence $\{{x}_{n}\}$, $\{{y}_{n}\}$ in *X*.

**Corollary 3.1** *Let* *A* *and* *S* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying conditions* (D-1) *and* (3.10). *If the pair* $(A,S)$ *enjoys the* $({\mathit{CLR}}_{S})$ *property*, *then* $(A,S)$ *has a coincidence point*. *Moreover*, *A* *and* *S* *have a unique common fixed point provided the pair* $(A,S)$ *is weakly compatible*.

**Theorem 3.5** *Let* ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{j}\}}_{j=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{l}\}}_{l=1}^{q}$ *be four finite families of self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *with* $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}$ *satisfying one of the conditions* (C-1)-(C-5) *along with* (3.1). *Suppose that the pairs* $(A,S)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{ST})$ *property*, *then* $(A,S)$ *and* $(B,T)$ *have a point of coincidence each*.

*Moreover*, ${\{{A}_{i}\}}_{i=1}^{m}$, ${\{{B}_{j}\}}_{j=1}^{n}$, ${\{{S}_{k}\}}_{k=1}^{p}$ *and* ${\{{T}_{l}\}}_{l=1}^{q}$ *have a unique common fixed point if the families* $(\{{A}_{i}\},\{{S}_{k}\})$ *and* $(\{{B}_{r}\},\{{T}_{h}\})$ *commute pairwise*, *wherein* $i\in \{1,2,\dots ,m\}$, $k\in \{1,2,\dots ,p\}$, $j\in \{1,2,\dots ,n\}$ *and* $l\in \{1,2,\dots ,q\}$.

*Proof* The proof of this theorem can be completed on the lines of Gopal *et al.* [25] □

**Remark 3.6** A result similar to Theorem 3.5 can be outlined in respect of Theorem 3.1.

Now, we indicate that Theorem 3.5 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 two families of two members, while the rest two of single members.

*A*,

*B*,

*R*,

*S*and

*T*be self mappings of a set

*X*. For any $x,y\in X$ and $t>0$, we define

**Corollary 3.2** *Let* *A*, *B*, *R*, *S* *and* *T* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying one of the conditions* (C-1)-(C-5) *along with inequality* (3.11). *Suppose that the pairs* $(A,SR)$ *and* $(B,T)$ *share the* $({\mathit{CLR}}_{(SR)(T)})$ *property*. *Then* $(A,SR)$ *and* $(B,T)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *R*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,SR)$ *and* $(B,T)$ *commute pairwise*, *that is*, $AS=SA$, $AR=RA$, $SR=RS$, $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.

*A*,

*B*,

*H*,

*R*,

*S*and

*T*be self mappings of a set

*X*. For any $x,y\in X$ and $t>0$, we define

**Corollary 3.3** *Let* *A*, *B*, *H*, *R*, *S* *and* *T* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying one of the conditions* (C-1)-(C-5) *along with inequality* (3.12). *Suppose that the pairs* $(A,SR)$ *and* $(B,TH)$ *share the* $({\mathit{CLR}}_{(SR)(TH)})$ *property*. *Then* $(A,SR)$ *and* $(B,TH)$ *have a coincidence point each*. *Moreover*, *A*, *B*, *R*, *S* *and* *T* *have a unique common fixed point provided both pairs* $(A,SR)$ *and* $(B,T)$ *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 3.5, we deduce the following:

*A*,

*B*,

*S*and

*T*be self mappings of a set

*X*. For any $x,y\in X$ and $t>0$, we define

where *m*, *n*, *p*, *q* are fixed positive integers.

(E-1) $0<{\underline{lim}}_{n\to \mathrm{\infty}}min({x}_{n},{y}_{n},t)=L(t)<1$ implies that ${\overline{lim}}_{n\to \mathrm{\infty}}min({A}^{m}{x}_{n},{B}^{n}{y}_{n},t)>L(t)$ for all $t>0$ and any sequence $\{{x}_{n}\}$, $\{{y}_{n}\}$ in *X*.

**Corollary 3.4** *Let* *A*, *B*, *S* *and* *T* *be self mappings of a GV*-*fuzzy metric space* $(X,M,\ast )$ *satisfying condition* (E-1) *with inequality* (3.13). *Suppose that the pairs* $({A}^{m},{S}^{p})$ *and* $({B}^{n},{T}^{q})$ *share the* $({\mathit{CLR}}_{{S}^{p},{T}^{q}})$ *property*. *Then* *A*, *B*, *S* *and* *T* *have a unique common fixed point provided* $AS=SA$ *and* $BT=TB$.

**Remark 3.7** Corollary 3.4 is a slight but partial generalization of Theorem 3.1 as the commutativity requirements (that is, $AS=SA$ and $BT=TB$) in this corollary are relatively stronger as compared to weak compatibility in Theorem 3.1.

**Remark 3.8** Results similar to Corollary 3.4 can be derived from Theorem 3.1.

## 4 Illustrative examples

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

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

*A*,

*B*,

*S*and

*T*by

It is noted that $A(X)=\{3,15\}\u2288[3,15)=T(X)$ and $B(X)=\{3,6\}\u2288[3,6)\cup \{15\}=S(X)$. Notice that $S(X)$ and $T(X)$ are not closed subsets of *X*. Thus, all the conditions of Theorem 3.1 are satisfied, and 3 is a unique common fixed point of the pairs $(A,S)$ and $(B,T)$, which also remains a point of coincidence. Also all the involved mappings are even discontinuous at their unique common fixed point 3.

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

*S*and

*T*by the following, besides retaining the rest:

Hence, the pairs $(A,S)$ and $(B,T)$ satisfy the $({\mathit{CLR}}_{ST})$ property. It is noted that $A(X)=\{3,15\}\subset [3,15]=T(X)$ and $B(X)=\{3,6\}\subset [3,6]=S(X)$. The pairs $(A,S)$ and $(B,T)$ commute at 3, which is also their common coincidence point. Thus, all the conditions of Theorem 3.2 are satisfied, and 3 is a unique common fixed point of the involved mappings *A*, *B*, *S* and *T*. Here, it may be pointed out that Theorem 3.1 is not applicable to this example, as $S(X)$ and $T(X)$ are closed subsets of *X*.

Our next example shows that if (C-1) does not hold, then the involved mappings may have no common fixed point.

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

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

- (1)The mappings
*A*and*S*satisfy the $({\mathit{CLR}}_{S})$ property for the sequence ${x}_{n}=\frac{1}{n}$, $n=1,2,\dots $ ,*i.e.*,$\underset{n\to \mathrm{\infty}}{lim}A{x}_{n}=\underset{n\to \mathrm{\infty}}{lim}S{x}_{n}=0\in [0,\frac{1}{8})=S(X).$ - (2)
The pair $(A,S)$ is weakly compatible.

- (3)
$A(X)=[0,\frac{1}{4})\u2288[0,\frac{1}{8})=S(X)$, wherein $A(X)$ and $S(X)$ are not closed subsets of

*X*. - (4)(C-1) does not hold. In fact, for ${x}_{n}=\frac{1}{n}$ and ${y}_{n}=0$, $n=1,2,\dots $ , we have$\begin{array}{rcl}min({x}_{n},{y}_{n},t)& =& min\left\{\begin{array}{c}M(S{x}_{n},T{y}_{n},t),M(S{x}_{n},A{x}_{n},t),M(T{y}_{n},B{y}_{n},t),\\ M(S{x}_{n},B{y}_{n},t),M(T{y}_{n},A{x}_{n},t)\end{array}\right\}\\ =& min\left\{\begin{array}{c}M(\frac{1}{8n},0,t),M(\frac{1}{8n},\frac{1}{4n},t),M(0,\frac{1}{5},t),\\ M(\frac{1}{8n},\frac{1}{5},t),M(0,\frac{1}{4n},t)\end{array}\right\}\\ =& min\{\frac{t}{t+\frac{1}{8n}},\frac{t}{t+\frac{1}{8n}},\frac{t}{t+\frac{1}{5}},\frac{t}{t+\frac{1}{5}-\frac{1}{8n}},\frac{t}{t+\frac{1}{4n}}\}\\ =& \frac{t}{t+\frac{1}{5}}\phantom{\rule{1em}{0ex}}(n\to \mathrm{\infty}).\end{array}$

- (5)
*A*and*S*have no common fixed point.

Thus, (C-1) is important for the existence of common fixed point.

## Authors’ Affiliations

## References

- Zadeh LA: Fuzzy sets.
*Inf. Control*1965, 8: 338–353. MR0219427 (36 #2509) 10.1016/S0019-9958(65)90241-XMathSciNetView ArticleGoogle Scholar - Kramosil I, Michalek J: Fuzzy metric and statistical metric spaces.
*Kybernetika*1975, 11(5):336–344. MR0410633 (53 #14381)MathSciNetGoogle Scholar - George A, Veeramani P: On some result in fuzzy metric space.
*Fuzzy Sets Syst.*1994, 64: 395–399. MR1289545 10.1016/0165-0114(94)90162-7MathSciNetView ArticleGoogle Scholar - El Naschie MS: On the uncertainty of Cantorian geometry and two-slit experiment.
*Chaos Solitons Fractals*1998, 9(3):517–529. MR1625647 10.1016/S0960-0779(97)00150-1MathSciNetView ArticleGoogle Scholar - El Naschie MS: A review of E-infinity theory and the mass spectrum of high energy particle physics.
*Chaos Solitons Fractals*2004, 19: 209–236. 10.1016/S0960-0779(03)00278-9View ArticleGoogle Scholar - El Naschie MS: A review of applications and results of E-infinity theory.
*Int. J. Nonlinear Sci. Numer. Simul.*2007, 8: 11–20.Google Scholar - Cho YJ: Fixed points in fuzzy metric spaces.
*J. Fuzzy Math.*1997, 5(4):949–962. MR1488041 (98h:54011)MathSciNetGoogle Scholar - Cho YJ, Pathak HK, Kang SM, Jung JS:Common fixed points of compatible maps of type $(\beta )$ on fuzzy metric spaces.
*Fuzzy Sets Syst.*1998, 93(1):99–111. MR1600404 10.1016/S0165-0114(96)00200-XMathSciNetView ArticleGoogle Scholar - Cho YJ, Sedghi S, Shobe N: Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces.
*Chaos Solitons Fractals*2009, 39(5):2233–2244. MR2519428 (2010e:54002) 10.1016/j.chaos.2007.06.108MathSciNetView ArticleGoogle Scholar - Grabiec M: Fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*1988, 27(3):385–389. MR0956385 (89j:54007) 10.1016/0165-0114(88)90064-4MathSciNetView ArticleGoogle Scholar - Gregori V, Morillas S, Sapena A: Examples of fuzzy metrics and applications.
*Fuzzy Sets Syst.*2011, 170: 95–111. 10.1016/j.fss.2010.10.019MathSciNetView ArticleGoogle Scholar - Subrahmanyam PV: A common fixed point theorem in fuzzy metric spaces.
*Inf. Sci.*1995, 83(3–4):109–112. MR1323308 10.1016/0020-0255(94)00043-BMathSciNetView ArticleGoogle Scholar - Vasuki R: Common fixed points for
*R*-weakly commuting maps in fuzzy metric spaces.*Indian J. Pure Appl. Math.*1999, 30(4):419–423. MR1695690MathSciNetGoogle 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. MR2403120MathSciNetGoogle 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 637958 MR2822403Google Scholar - Imdad M, Pant BD, Chauhan S:Fixed point theorems in Menger spaces using the $({\mathit{CLR}}_{ST})$ property and applications.
*J. Nonlinear Anal. Optim.*2012, 3(2):225–237.MathSciNetGoogle 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.MathSciNetGoogle 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, Bhatnagar S, Radenović S: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces.
*Matematiche*2013, 68(1):87–98.MathSciNetGoogle Scholar - Chauhan S, Dhiman N: Common fixed point theorems on fuzzy metric spaces using implicit relation.
*Math. Sci. Lett.*2012, 1(2):89–96. 10.12785/msl/010201View ArticleGoogle Scholar - Chauhan S, Khan MA, Kumar S: Unified fixed point theorems in fuzzy metric spaces via common limit range property.
*J. Inequal. Appl.*2013., 2013: Article ID 182Google Scholar - Chauhan S, Khan MA, Sintunavarat W: Common fixed point theorems in fuzzy metric spaces satisfying
*ϕ*-contractive condition with common limit range property.*Abstr. Appl. Anal.*2013., 2013: Article ID 735217Google Scholar - Chauhan S, Kumar S: Coincidence and fixed points in fuzzy metric spaces using common property (E.A).
*Kochi J. Math.*2013, 8: 135–154.MathSciNetGoogle Scholar - Chauhan S, Pant BD: Common fixed point theorems in fuzzy metric spaces.
*Bull. Allahabad Math. Soc.*2012, 27(1):27–43.MathSciNetGoogle 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 MR2784507Google Scholar - Imdad M, Ali J: Some common fixed point theorems in fuzzy metric spaces.
*Math. Commun.*2006, 11(2):153–163. MR2298646MathSciNetGoogle 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 - 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 ArticleGoogle Scholar - Kumar S, Chauhan S: Common fixed point theorems using implicit relation and property (E.A) in fuzzy metric spaces.
*Ann. Fuzzy Math. Inf.*2013, 5(1):107–114.MathSciNetGoogle 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. MR2763666 (2011m:54045)MathSciNetGoogle Scholar - Kutukcu S, Turkoglu D, Yildiz C:Common fixed points of compatible maps of type $(\beta )$ on fuzzy metric spaces.
*Commun. Korean Math. Soc.*2006, 21(1):89–100. MR2199304 (2006j:54053)MathSciNetView ArticleGoogle Scholar - Miheţ D: Fixed point theorems in fuzzy metric spaces using property E.A.
*Nonlinear Anal.*2010, 73(7):2184–2188. MR2674194 10.1016/j.na.2010.05.044MathSciNetView ArticleGoogle 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. MR2814310 (2012d:54046)MathSciNetGoogle Scholar - Pant BD, Chauhan S: Common fixed point theorems for two pairs of weakly compatible mappings in Menger spaces and fuzzy metric spaces.
*Sci. Stud. Res. Ser. Math. Inf.*2011, 21(2):81–96.MathSciNetGoogle Scholar - Pant V, Pant RP: Fixed points in fuzzy metric space for noncompatible maps.
*Soochow J. Math.*2007, 33(4):647–655. MR2404591MathSciNetGoogle Scholar - Sedghi S, Turkoglu D, Shobe N:Common fixed point of compatible maps of type $(\gamma )$ on complete fuzzy metric spaces.
*Commun. Korean Math. Soc.*2009, 24(4):581–594. MR2568992 10.4134/CKMS.2009.24.4.581MathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Common fixed points for
*R*-weakly commuting in fuzzy metric spaces.*Ann. Univ. Ferrara, Sez. 7: Sci. Mat.*2012, 58(2):389–406. MR2996467 10.1007/s11565-012-0150-zMathSciNetView ArticleGoogle Scholar - Sintunavarat W, Kumam P: Fixed point theorems for a generalized intuitionistic fuzzy contraction in intuitionistic fuzzy metric spaces.
*Thai J. Math.*2012, 10(1):123–135. MR2949144MathSciNetGoogle Scholar - Zhu J, Wang Y, Kang SM: Common fixed point theorems of new contractive conditions in fuzzy metric spaces.
*J. Appl. Math.*2013., 2013: Article ID 145190Google 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. MR2562820 (2010j:54064) 10.1016/j.chaos.2009.04.017MathSciNetView ArticleGoogle Scholar - Schweizer B, Sklar A North-Holland Series in Probability and Applied Mathematics. In
*Probabilistic Metric Spaces*. North-Holland, New York; 1983. MR0790314Google 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. MR1261071 10.1155/S0161171294000372MathSciNetView ArticleGoogle Scholar - Jungck G, Rhoades BE: Fixed points for set valued functions without continuity.
*Indian J. Pure Appl. Math.*1998, 29(3):227–238. MR1617919MathSciNetGoogle 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.