# Fixed points for modified fuzzy *ψ*-contractive set-valued mappings in fuzzy metric spaces

- Shihuang Hong
^{1}Email author

**2014**:12

https://doi.org/10.1186/1687-1812-2014-12

© Hong; licensee Springer. 2014

**Received: **6 October 2013

**Accepted: **17 December 2013

**Published: **10 January 2014

## Abstract

In this paper, we introduce a new concept of fuzzy *α*-*ψ*-contractive type set-valued mappings and establish fixed-point theorems for such mappings in complete fuzzy metric spaces. Starting from the fuzzy version of the Banach contraction principle, the presented theorems extend, generalize and improve many existing results in the literature. Moreover, the results are supported by examples.

## Keywords

## 1 Introduction

*ψ*-contractive mappings which enlarge the class of fuzzy contractions in [1], that is, the following implication takes place for the single-valued mapping

*T*:

for any $x,y\in X$ and $t>0$, where *ψ* is a function whose definition is given in Section 3. Moreover, some authors established fixed-point theorems for such mappings in complete fuzzy metric spaces. Afterwards, Hong and Peng [14] modified the notion of the fuzzy *ψ*-contraction via a so-called *fw*-distance $\mathcal{P}$ instead of the fuzzy metric *M* and provided the sufficient conditions for the existence of fixed points for such contraction set-valued mappings.

Motivated by the works mentioned above, in this paper we will further modify the type of the *ψ*-contraction and establish fixed-point theorems for such set-valued mappings on certain complete fuzzy metric spaces. Specifically, the main purpose is to extend the inequality $M(x,y,t)>0$ to a general functional inequality and introduce therefrom a new called fuzzy *α*-*ψ*-contraction which extends and improves the fuzzy *ψ*-contraction of set-valued mappings; moreover, to formulate the conditions guaranteeing the convergence of fuzzy *α*-*ψ*-contractive sequences and the existence of fixed points of such a set-valued mapping. The present fixed-point theorem and a comprehensive set of its corollaries turn out to be generalizations of those of [1, 2, 5]. Some examples are given here to illustrate the usability of the results obtained.

Finally, the idea of present paper has originated from the study of an analogous problem examined by Salimi *et al.* [15] and Samet *et al.* [16] for single-valued contractive mappings and Hussain *et al.* [17] for set-valued contractive mappings on complete determinacy metric spaces.

## 2 Preliminaries

Let us recall [18] that a continuous *t*-norm is a binary operation $\ast :[0,1]\times [0,1]\to [0,1]$ such that $([0,1],\le ,\ast )$ is an ordered Abelian topological monoid with unit 1. In the sequel, we always assume $a\ast b\ge ab$ for all $a,b\in (0,1]$.

For examples of a *t*-norm satisfying the above conditions, we enumerate $a\ast b=ab$, $a\ast b=min\{a,b\}$ and $a\ast b=ab/max\{a,b,\lambda \}$ for $0<\lambda <1$, respectively.

**Definition 2.1** [19]

A fuzzy metric space is an ordered triple $(X,M,\ast )$ such that *X* is a (nonempty) set, ∗ is a continuous *t*-norm and *M* is a fuzzy set on $X\times X\times (0,+\mathrm{\infty})$ that satisfies the following conditions, for all $x,y,z\in X$:

(F1) $M(x,y,t)>0$, for all $t>0$,

(F2) $M(x,x,t)=1$, for all $t>0$, and $M(x,y,t)=1$ for some $t>0$ implies $x=y$,

(F3) $M(x,y,t)=M(y,x,t)$, for all $t>0$,

(F4) $M(x,y,t)\ast M(y,z,s)\le M(x,z,t+s)$ for all $s,t>0$ and

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

Following the definition of Kramosil and Michálek [20], *M* is a fuzzy set on $X\times X\times [0,\mathrm{\infty})$ that satisfies (F3) and (F4), while (F1), (F2), (F5) are replaced by (K1), (K2), (K5), respectively, as follows:

(K1) $M(x,y,0)=0$;

(K2) $M(x,y,t)=1$ for all $t>0$ if and only if $x=y$;

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

We refer to these spaces as KM-spaces and refer to the spaces given as in Definition 2.1 as GV-spaces. In addition, when *X* is called a fuzzy metric space, it means it may be a GV-space or KM-space.

*M*is called a fuzzy metric on

*X*. Some simple but useful facts are that

- (I)
$M(\cdot ,\cdot ,t)$ is a continuous function on $X\times X$ for $t\in (0,\mathrm{\infty})$ and

- (II)
$M(x,y,\cdot )$ is nondecreasing for all $x,y\in X$.

*X*with ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$ and ${lim}_{n\to \mathrm{\infty}}{y}_{n}=y$. Then, for any $\epsilon >0$ and $t>0$, we have

*n*and any $\epsilon >0$. Hence,

*ε*and the left continuity of $M(x,y,\cdot )$, it follows that

By taking the limit when $n\to \mathrm{\infty}$, we obtain ${lim}_{n\to \mathrm{\infty}}M({x}_{n},{y}_{n},t)\le M(x,y,t)$. By an analogous inference, we have $M(x,y,t)\ge {lim}_{n\to \mathrm{\infty}}M({x}_{n},{y}_{n},t)$. Consequently, ${lim}_{n\to \mathrm{\infty}}M({x}_{n},{y}_{n},t)=M(x,y,t)$, *i.e.*, the first fact is valid. To prove the second fact, by (F4) we notice that $M(x,y,t)\ge M(x,y,s)\ast M(y,y,t-s)=M(x,y,s)\ast 1=M(x,y,s)$ for $s,t\in [0,\mathrm{\infty})$ with $t>s$.

A subset $A\subset X$ is called open if for each $x\in A$, there exist $t>0$ and $0<r<1$ such that $B(x,t,r)\subset A$. Let $\mathcal{T}$ denote the family of all open subsets of *X*. Then $\mathcal{T}$ is a topology on *X* induced by the fuzzy metric *M*. This topology is metrizable [21]. Therefore, a closed subset *B* of *X* is equivalent to $x\in B$ if and only if there exists a sequence $\{{x}_{n}\}\subset B$ such that $\{{x}_{n}\}$ topologically converges to *x*. In fact, the topologically convergence of sequences can be indicated by the fuzzy metric as follows.

**Lemma 2.2** *A sequence* $\{{x}_{n}\}$ *in* *X* *is said to be convergent to a point* $x\in X$, *denoted by* ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$, *if* ${lim}_{n\to \mathrm{\infty}}M({x}_{n},x,t)=1$ *for any* $t>0$.

**Definition 2.3** [19]

- (i)
A sequence $\{{x}_{n}\}$ in

*X*is called Cauchy sequence if for each $\epsilon >0$ and $t>0$, there exists ${n}_{0}\in \mathbb{N}$ such that $M({x}_{n},{x}_{m},t)>1-\epsilon $ for any $m,n\ge {n}_{0}$. - (ii)
A fuzzy metric space $(X,M,\ast )$ in which every Cauchy sequence is convergent is said to be complete.

There exist two fuzzy versions of Cauchy sequences and completeness, *i.e.*, besides the so-called *M*-Cauchy sequence and *M*-completeness in the sense of Definition 2.3, the *G*-Cauchy sequence defined by ${lim}_{n\to \mathrm{\infty}}M({x}_{n+p},{x}_{n},t)=1$ for all $t,p>0$ and the corresponding *G*-completeness introduced by [22]. In [23] the authors have pointed out that a *G*-Cauchy sequence is not a *M*-Cauchy in general. It is clear that a *M*-Cauchy sequence is *G*-Cauchy and hence a fuzzy metric space is *M*-complete if it is *G*-complete. From now on, by a Cauchy sequence and completeness we mean an *M*-Cauchy sequence and *M*-completeness.

*X*(obviously, every closed subset of

*X*is bounded in the sense of fuzzy metric spaces). Motivated by [24], we define a function on $\mathit{CB}(X)\times \mathit{CB}(X)$ as follows:

for any $A,B\in \mathit{CB}(X)$ and $t>0$, where $M(c,D,t)=M(D,c,t)={sup}_{d\in D}M(c,d,t)$.

On the collection consisting of compact sunsets of *X*, in [24] the authors have shown that ${H}_{M}$ satisfies the conditions (F1)-(F5) given as in Definition 2.1. Clearly, ${H}_{M}(\{x\},\{y\},t)=M(x,y,t)$ for all $x,y\in X$ and $t>0$.

**Lemma 2.4** *If* $A\subset \mathit{CB}(X)$, *then* $x\in A$ *if and only if* $M(x,A,t)=1$ *for* $t>0$.

We end this section by the following notion which plays an important role in our main results.

**Definition 2.5**Let $(X,M,\ast )$ be a fuzzy metric space. A subset $D\subset X$ is said to be approximative if the set-valued mapping

has nonempty values. The set-valued mapping $F:X\to {2}^{X}$ is said to have approximative values if $F(x)$ is approximative for each $x\in X$.

It is clear that *F* has approximative values if it has compact values.

## 3 Fixed-point theorems

Let $(X,M,\ast )$ be a fuzzy metric space and $T:X\to \mathit{CB}(X)$ be a set-valued mapping. An element $x\in X$ is called a fixed point of *T* if $x\in Tx$.

**Definition 3.1**Let $T:X\to {2}^{X}$ be a set-valued function, and let $\alpha ,\eta :X\times X\times (0,\mathrm{\infty})\to {\mathbb{R}}_{+}$ be two functions, where

*α*is bounded. We say that

*T*is an ${\alpha}^{\ast}$-${\eta}_{\ast}$-admissible mapping if

where ${\alpha}^{\ast}(A,B,t)={sup}_{x\in A,y\in B}\alpha (x,y,t)$ and ${\eta}_{\ast}(A,B,t)={inf}_{x\in A,y\in B}\eta (x,y,t)$.

The following collection Ψ of functions is described in [2], that is, $\psi \in \mathrm{\Psi}$ implies that *ψ* from $[0,1]$ into itself is continuous, nondecreasing, and $\psi (s)>s$ for each $s\in [0,1)$.

**Lemma 3.2** *Let* $\psi \in \mathrm{\Psi}$. *For every* $s>0$, $\psi (s)>s$ *if and only if* ${lim}_{n\to \mathrm{\infty}}{\psi}^{n}(s)=1$ *uniformly for* $s\in [0,1)$, *where* ${\psi}^{n}$ *is the* *nth iterate of* *ψ*.

*Proof*Necessity. Since

*ψ*is nondecreasing, the sequence $\{{\psi}^{n}(s)\}$ is also nondecreasing and hence its limit exists. Let ${lim}_{n\to \mathrm{\infty}}{\psi}^{n}(s)=c$. Thus $c\ge s>0$. If $c<1$, then from the continuity of

*ψ*it follows that

a contradiction. Therefore, $c=1$.

a contradiction. Therefore, ${lim}_{n\to \mathrm{\infty}}{\psi}^{n}(s)=1$ uniformly for $s\in [0,1)$.

Sufficiency. Assume that there exists ${t}_{0}\in (0,1)$ such that $\psi ({t}_{0})\le {t}_{0}$. Then ${\psi}^{n}({t}_{0})\le {t}_{0}$ for all $n\in \mathbb{N}$ since *ψ* is nondecreasing. Thus $1={lim}_{n\to \mathrm{\infty}}{\psi}^{n}({t}_{0})\le {t}_{0}<1$, a contradiction. □

**Definition 3.3**Let $\psi \in \mathrm{\Psi}$. The set-valued mapping

*T*is called a fuzzy

*α*-

*ψ*-contractive mapping if the following implication takes place:

**Theorem 3.4**

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

*be a complete fuzzy metric space and*$T:X\to \mathit{CB}(X)$

*be a fuzzy*

*α*-

*ψ*-

*contractive and*${\alpha}^{\ast}$-${\eta}_{\ast}$-

*admissible set*-

*valued mapping*.

*Suppose that the following assertions hold*:

- (i)
*there exist*${x}_{0}\in X$*and*${x}_{1}\in {\mathcal{P}}_{T{x}_{0}}({x}_{0})$*such that*$\alpha ({x}_{0},{x}_{1},t)\le \eta ({x}_{0},{x}_{1},t)$*for each*$t>0$; - (ii)
*for any sequence*$\{{x}_{n}\}\subset X$*converging to*$x\in X$*and*$\alpha ({x}_{n},{x}_{n+1},t)\le \eta ({x}_{n},{x}_{n+1},t)$,*for all*$n\in \mathbb{N}$*and*$t>0$,*we have*$\alpha ({x}_{n},x,t)\le \eta ({x}_{n},x,t)$*for all*$n\in \mathbb{N}$.

*Then* *T* *has a fixed point*.

*Proof*Our assumptions guarantee that there exist ${x}_{0}\in X$ and ${x}_{1}\in {\mathcal{P}}_{T{x}_{0}}({x}_{0})$ such that $\alpha ({x}_{0},{x}_{1},t)\le \eta ({x}_{0},{x}_{1},t)$ and $M({x}_{0},{x}_{1},t)=M({x}_{0},T{x}_{0},t)$ for each $t>0$. By the contractive condition (1) we have

*T*is an ${\alpha}^{\ast}$-${\eta}_{\ast}$-admissible mapping, we have

*X*by ${x}_{n}\in {\mathcal{P}}_{T{x}_{n-1}}({x}_{n-1})$ satisfying, for all $n\in \mathbb{N}$ and $t>0$,

*T*and the result is proved. Hence, we suppose that ${x}_{n+1}\ne {x}_{n}$,

*i.e.*, ${x}_{n}\notin T{x}_{n}$ for all $n\in \mathbb{N}$. From equation (5) and the definition of ${H}_{M}$ it follows that

*ψ*, for all $n\in \mathbb{N}$ and $t>0$, we get

*ψ*one has

where ${t}_{i}>0$ ($i=n+1,n+2,\dots ,m$) and ${\sum}_{i=n+1}^{m}{t}_{i}=t$. In the light of Lemma 3.2, we can assume that ${\psi}^{i}(M({x}_{0},{x}_{1},{t}_{i}))>1-1/{2}^{i}$ when *i* is large enough. Note that the series ${\sum}_{i=1}^{\mathrm{\infty}}1/{2}^{i}$ is convergent, and the infinite product ${\prod}_{i=1}^{\mathrm{\infty}}(1-(1/{2}^{i}))$ is convergent, too. Hence, ${lim}_{n\to \mathrm{\infty}}{\prod}_{i=n}^{\mathrm{\infty}}(1-(1/{2}^{i}))=1$. This implies that $\{{x}_{n}\}$ is an *M*-Cauchy sequence.

This is a contradiction. Therefore, $M(y,Ty,t)=1$. From Lemma 2.4 it follows that $y\in Ty$, *i.e.* *y* is a fixed point of *T*. □

We present the following interesting corollaries.

**Corollary 3.5**

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

*be a complete fuzzy metric space and let*

*T*

*be an*${\alpha}^{\ast}$-${\eta}_{\ast}$-

*admissible set*-

*valued mapping with*$\eta =1$.

*Assume that the following assertions hold*:

- (i)
*for*$\psi \in \mathrm{\Psi}$, $x,y\in X$*and*$t>0$,$\alpha (x,y,t)\le 1\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}{H}_{M}(Tx,Ty,t)\ge \psi (N(x,y,t));$ - (ii)
*there exist*${x}_{0}\in X$*and*${x}_{1}\in {\mathcal{P}}_{T{x}_{0}}({x}_{0})$*such that*$\alpha ({x}_{0},{x}_{1},t)\le 1$*for each*$t>0$; - (iii)
*for any sequence*$\{{x}_{n}\}\subset X$*converging to*$x\in X$*and*$\alpha ({x}_{n},{x}_{n+1},t)\le 1$,*for all*$n\in \mathbb{N}$*and*$t>0$,*we have*$\alpha ({x}_{n},x,t)\le 1$*for all*$n\in \mathbb{N}$*and*$t>0$.

*Then* *T* *has a fixed point*.

**Remark 3.6** Let $\alpha (x,y,t)=M(x,y,t)$. Then the assumptions (i) and (ii) of Corollary 3.5 hold and $\alpha (x,y,t)\le 1$ for all $x,y\in X$ and $t>0$. Thus ${H}_{M}(Tx,Ty,t)\ge \psi (N(x,y,t))$ for all $x,y\in X$ and $t>0$ with $\psi \in \mathrm{\Psi}$ (here *T* is called a fuzzy *ψ*-contractive set-valued mapping). Therefore, *T* has a fixed point in *X*. This result includes Theorem 3.1 in [2] and Theorem 3 in [5], and also the corresponding results of [1, 4] in complete GV-spaces.

**Corollary 3.7**

*Let all hypotheses of Corollary*3.5

*hold except*(i)

*changed into one of the following conditions*:

- (I)
*for*$\psi \in \mathrm{\Psi}$, $x,y\in X$*and*$t>0$,$\alpha (x,y,t){H}_{M}(Tx,Ty,t)\ge \psi (N(x,y,t));$ - (II)
*for*$\psi \in \mathrm{\Psi}$, $x,y\in X$*and*$t>0$,${(\alpha (x,y,t)+\lambda )}^{{H}_{M}(Tx,Ty,t)}\ge {(1+\lambda )}^{\psi (N(x,y,t))},\phantom{\rule{1em}{0ex}}\lambda >0;$ - (III)
*for*$\psi \in \mathrm{\Psi}$, $x,y\in X$*and*$t>0$,${({H}_{M}(Tx,Ty,t)+\lambda )}^{\alpha (x,y,t)}\ge \psi (N(x,y,t))+\lambda ,\phantom{\rule{1em}{0ex}}\lambda >0.$

*Then* *T* *has a fixed point*.

**Corollary 3.8**

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

*be a complete fuzzy metric space and let*

*T*

*be an*${\alpha}^{\ast}$-${\eta}_{\ast}$-

*admissible set*-

*valued mapping with*$\alpha =1$.

*Assume that the following assertions hold*:

- (i)
*for*$\psi \in \mathrm{\Psi}$, $x,y\in X$*and*$t>0$,$\eta (x,y,t)\ge 1\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}{H}_{M}(Tx,Ty,t)\ge \psi (N(x,y,t));$ - (ii)
*there exist*${x}_{0}\in X$*and*${x}_{1}\in {\mathcal{P}}_{T{x}_{0}}({x}_{0})$*such that*$\eta ({x}_{0},{x}_{1},t)\ge 1$*for each*$t>0$; - (iii)
*for any sequence*$\{{x}_{n}\}\subset X$*converging to*$x\in X$*and*$\eta ({x}_{n},{x}_{n+1},t)\ge 1$,*for all*$n\in \mathbb{N}$*and*$t>0$,*we have*$\eta ({x}_{n},x,t)\ge 1$*for all*$n\in \mathbb{N}$.

*Then* *T* *has a fixed point*.

## 4 Examples

In this section, we conclude the paper with several examples to illustrate the usability of the obtained results.

**Example 4.1**Let $X=[0,\mathrm{\infty})$, $a\ast b=ab$ for any $a,b\in [0,1]$ and $M(x,y,t)=\frac{min\{x,y\}}{max\{x,y\}}$ for $x,y\in X$ and $t>0$. Then, for given $\lambda >0$, the set-valued mapping $T:X\to X$, where

has a fixed point in *X*.

*Proof*Using similar arguments to the ones in [[25], Theorem 16], one shows that $(X,M,\ast )$ is a complete GV-space. Let $\psi (t)=\sqrt{t}$ for $t\in [0,1]$. Then $\psi \in \mathrm{\Psi}$. Let

Then $\alpha (x,y,t)\le 1$ implies that $x,y\in [1,\mathrm{\infty})$. For any $x,y\in X$ and $t>0$, we consider the following cases.

*Case*1. $\sqrt{x+\lambda}<\sqrt{y}$. In this case, we have, for any $a\in Tx$, $M(a,Ty,t)=\frac{a}{\sqrt{y}}$ and ${inf}_{a\in Tx}M(a,Ty,t)=\frac{\sqrt{x}}{\sqrt{y}}$. Similarly, ${inf}_{b\in Ty}M(Tx,b,t)=\frac{\sqrt{x+\lambda}}{\sqrt{y+\lambda}}$. Consequently, we obtain

*Case*2. $\sqrt{x}<\sqrt{y}\le \sqrt{x+\lambda}$. We get ${inf}_{a\in Tx}M(a,Ty,t)=\frac{\sqrt{x}}{\sqrt{y}}$ and ${inf}_{b\in Ty}M(Tx,b,t)=\frac{\sqrt{x+\lambda}}{\sqrt{y+\lambda}}$. Consequently,

*Case*3. $\sqrt{y}\le \sqrt{x}<\sqrt{y+\lambda}$ or $\sqrt{y+\lambda}\le \sqrt{x}$. We get ${inf}_{b\in Ty}M(Tx,b,t)=\frac{\sqrt{y}}{\sqrt{x}}$ and ${inf}_{a\in Tx}M(a,Ty,t)=\frac{\sqrt{y+\lambda}}{\sqrt{x+\lambda}}$. Consequently,

This shows that *α* and *T* satisfy Corollary 3.5(i). Notice that $\sqrt{2+\lambda}\in T\sqrt{2}$ and $\alpha (\sqrt{2},\sqrt{2+\lambda},t)=\frac{1}{2}<1$; that is, Corollary 3.5(ii) is satisfied.

Now, if $\{{x}_{n}\}$ is a sequence in *X* such that $\alpha ({x}_{n},{x}_{n+1},t)\le 1$, for all $t>0$ and $n\in \mathbb{N}$, and ${x}_{n}\to x$ as $n\to \mathrm{\infty}$, then $\{{x}_{n}\}\subset [1,\mathrm{\infty})$, which implies that $x\ge 1$. This guarantees that $\alpha ({x}_{n},x,t)\le 1$ for all $n\in \mathbb{N}$ and $t>0$ and hence Corollary 3.5(iii) holds. Thus all conditions of Corollary 3.5 are satisfied. The conclusion is that *T* has a fixed point. □

**Remark 4.2** We observe that *T* in Example 4.1 is not fuzzy *ψ*-contractive. Hence there exists a mapping which is fuzzy *α*-*ψ*-contractive but not fuzzy *ψ*-contractive, although every fuzzy *ψ*-contractive mapping is obviously fuzzy *α*-*ψ*-contractive.

and we have $M(Tx,Ty,t)<\psi (M(x,y,t))=\sqrt{\frac{1}{2}}$. This shows that *T* is not fuzzy *ψ*-contractive.

**Example 4.3**Let $X=[0,\mathrm{\infty})$ be endowed with the fuzzy metric $M(x,y,t)=exp(-|x-y|/t)$ for all $x,y\in X$ and $t>0$. Let the single-valued mappings $T:X\to X$ be defined by

and $\psi (s)=\sqrt{s}$ for $s\in [0,1]$, respectively. We prove that Corollary 3.8 can be applied to *T*. But the fuzzy *ψ*-contraction cannot be applied to *T*.

*Proof* Clearly, $(X,M,\ast )$ is a complete GV-space. We show that *T* is an *α*-*η*-admissible mapping. Let $x,y\in X$ and $t>0$; if $\eta (x,y,t)\ge 1$, then $x,y\in [0,1]$. On the other hand, for all $x\in [0,1]$, we have $Tx\le 1$. It follows that $\eta (Tx,Ty,t)\ge 1$. Also, $\eta (0,T0,t)\ge 1$.

*X*such that $\eta ({x}_{n},{x}_{n+1},t)\ge 1$, for all $n\in \mathbb{N}$ and ${x}_{n}\to x$ as $n\to \mathrm{\infty}$, then $\{{x}_{n}\}\subset [0,1]$ and hence $x\in [0,1]$. This implies that $\eta ({x}_{n},x,t)\ge 1$ for all $n\in \mathbb{N}$ and $t>0$. Let $\eta (x,y,t)\ge 1$. Then $x,y\in [0,1]$. We get

Then all conditions of Corollary 3.8 hold. Hence, *T* has a fixed point.

This shows that the *ψ*-contraction introduced in [2] cannot be applied to *T*. □

## Declarations

### Acknowledgements

This work was supported by Natural Science Foundation of Zhejiang Province (LY12A01002).

## Authors’ Affiliations

## References

- Gregori V, Sapena A: On fixed-point theorems in fuzzy metric spaces.
*Fuzzy Sets Syst.*2002, 125: 245–252. 10.1016/S0165-0114(00)00088-9View ArticleMathSciNetMATHGoogle Scholar - Mihet D: Fuzzy
*ψ*-contractive mappings in non-Archimedean fuzzy metric spaces.*Fuzzy Sets Syst.*2008, 159: 739–744. 10.1016/j.fss.2007.07.006View ArticleMathSciNetMATHGoogle Scholar - Ćirić LB: Some new results for Banach contractions and Edelstein contractive mappings on fuzzy metric spaces.
*Chaos Solitons Fractals*2009, 42: 146–154. 10.1016/j.chaos.2008.11.010View ArticleMathSciNetGoogle Scholar - Radu V: Some remarks on the probabilistic contractions on fuzzy Menger spaces.
*Autom. Comput. Appl. Math.*2002, 11: 125–131. In: The Eighth International Conference on Appl. Math. Comput. Sci., Cluj-Napoca, 2002MathSciNetGoogle Scholar - Wang S: Answers to some open questions on fuzzy
*ψ*-contractions in fuzzy metric spaces.*Fuzzy Sets Syst.*2013, 222: 115–119.View ArticleMATHGoogle Scholar - Wardowski D: Fuzzy contractive mappings and fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*2013, 222: 108–114.View ArticleMathSciNetMATHGoogle Scholar - Vetro C: Fixed points in weak non-Archimedean fuzzy metric spaces.
*Fuzzy Sets Syst.*2011, 162: 84–90. 10.1016/j.fss.2010.09.018View ArticleMathSciNetMATHGoogle Scholar - Zhu X-H, Xiao J-Z: Note on ‘Coupled fixed point theorems for contractions in fuzzy metric spaces’.
*Nonlinear Anal.*2011, 74: 5475–5479. 10.1016/j.na.2011.05.034View ArticleMathSciNetMATHGoogle Scholar - Xiao J, Zhu X, Jin X: Fixed point theorems for nonlinear contractions in Kaleva-Seikkala’s type fuzzy metric spaces.
*Fuzzy Sets Syst.*2012, 200: 65–83.View ArticleMathSciNetMATHGoogle Scholar - Marudai M, Srinivasan PS: Some remarks on Heilpern’s generalization of Nadler’s fixed point theorem.
*J. Fuzzy Math.*2004, 12: 137–146.MathSciNetMATHGoogle Scholar - Rezapour S, Samei M: Fixed points of some new contractions on intuitionistic fuzzy metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 168Google Scholar - Razani A: A contraction theorem in fuzzy metric space.
*Fixed Point Theory Appl.*2005, 25: 257–265.MathSciNetGoogle Scholar - Qiu Z, Hong SH: Coupled fixed points for multivalued mappings in fuzzy metric spaces.
*Fixed Point Theory Appl.*2013., 2013: Article ID 162Google Scholar - Hong SH, Peng Y: Fixed points of fuzzy contractive set-valued mappings and fuzzy metric completeness.
*Fixed Point Theory Appl.*2013., 2013: Article ID 276Google Scholar - Salimi P, Latif A, Hussain N: Modified
*α*-*ψ*-contractive mappings with applications.*Fixed Point Theory Appl.*2013., 2013: Article ID 151Google Scholar - Samet B, Vetro C, Vetro P: Fixed point theorem for
*α*-*ψ*-contractive type mappings.*Nonlinear Anal.*2012, 75: 2154–2165. 10.1016/j.na.2011.10.014View ArticleMathSciNetMATHGoogle Scholar - Hussain N, Salimi P, Latif A: Fixed point results for single and set-valued
*α*-*η*-*ψ*-contractive mappings.*Fixed Point Theory Appl.*2013., 2013: Article ID 212Google Scholar - Hadžić O, Pap E:
*Fixed Point Theory in Probabilistic Metric Space*. Kluwer Academic, Dordrecht; 2001.Google Scholar - George A, Veeramani P: On some results in fuzzy metric spaces.
*Fuzzy Sets Syst.*1994, 64: 395–399. 10.1016/0165-0114(94)90162-7View ArticleMathSciNetMATHGoogle Scholar - Kramosil I, Michálek J: Fuzzy metrics and statistical metric spaces.
*Kybernetika*1975, 11: 326–334.Google Scholar - Gregori V, Romaguera S: Some properties of fuzzy metric spaces.
*Fuzzy Sets Syst.*2000, 115: 485–498. 10.1016/S0165-0114(98)00281-4View ArticleMathSciNetMATHGoogle Scholar - Grabiec M: Fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*1989, 27: 385–389.View ArticleMathSciNetGoogle Scholar - Vasuki R, Veeramani P: Fixed point theorems and Cauchy sequences in fuzzy metric spaces.
*Fuzzy Sets Syst.*2003, 135: 415–417. 10.1016/S0165-0114(02)00132-XView ArticleMathSciNetMATHGoogle Scholar - Rodríguez-Lôpez J, Romaguera S: The Hausdorff fuzzy metric on compact sets.
*Fuzzy Sets Syst.*2004, 147: 273–283. 10.1016/j.fss.2003.09.007View ArticleMATHGoogle Scholar - Gregori V, Minana J, Morillas S: Some questions in fuzzy metric spaces.
*Fuzzy Sets Syst.*2012, 204: 71–85.View ArticleMathSciNetMATHGoogle 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.