# Fixed points of fuzzy contractive set-valued mappings and fuzzy metric completeness

- Shihuang Hong
^{1}Email author and - Yingzi Peng
^{1}

**2013**:276

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

© Hong and Peng; licensee Springer. 2013

**Received: **24 June 2013

**Accepted: **10 September 2013

**Published: **8 November 2013

## Abstract

In this paper, we introduce a new fuzzy contraction via a new concept of the fuzzy sets called *fw*-distances initiated in the paper, which is a generalization of a fuzzy contractive mapping initiated in the article (Fuzzy Sets Syst. 159:739-744, 2008). A fixed point theorem is established by using this type of contraction of set-valued mappings in fuzzy metric spaces which are complete in the sense of George and Veeramani. As an application of our results, we give characterizations of fuzzy metric completeness. The results are supported by examples.

## Keywords

*fw*-distance

## 1 Introduction

In Fuzzy metric spaces we refer to as KM-spaces were initiated by Kramosil and Michálek [1]. The conditions which they formulated were modified later by George and Veeramani [2] via proposing new fuzzy metric spaces called GV-spaces in this paper, with the help of continuous *t*-norms (see [3]) in order to obtain a Hausdorff topology in fuzzy metrics paces. The paper of Grabiec [4] started the investigations concerning a fixed point theory in fuzzy metric spaces by extending the well-known Banach contraction principle to KM-spaces. Many authors followed this concept by introducing and investigating the different types of fuzzy contractive mappings. Some instances of these works are in [5–19]. For instance, in 2002, Gregori and Sapena [5] have introduced a kind of contractive mappings and proved fuzzy fixed point theorems in GV-spaces and KM-spaces by using a strong condition for completeness, now called the completeness in the sense of Grabiec or G-completeness, which can be considered a fuzzy version of the Banach contraction theorem. These results have become recently of interest for many authors.

However, as a complete fuzzy metric space in the usual sense, that is, *M*-complete, *i.e.*, the Cauchy sequence in the usual George and Veeramani’s sense is convergent (defined, for short, *M*-Cauchy), needs not be G-complete (see [2, 6]). Being aware of this problem, Gregori and Sapena in [5] raised the question whether the fuzzy contractive sequences are *M*-Cauchy. Very recently, many papers have appeared concerning this subject (see, for example, [7–10]). In particular, in [10], Wardowski considered a generalization of a fuzzy contractive mapping of Gregori and Sapena in *M*-complete GV-spaces, also in [7], Mihet defined a new fuzzy contraction called fuzzy *ψ*-contraction which enlarges the class of fuzzy contractive mappings of Gregori and Sapena and considered these mappings in KM-spaces. They have shown that every generalized fuzzy contractive sequence is *M*-Cauchy in respective fuzzy metric spaces and proved fuzzy contraction fixed point theorems under different hypotheses. For instance, Mihet assumed that the space under consideration is an *M*-complete non-Archimedean KM-space. Moreover, he posed an open question whether this fixed point theorem holds if the non-Archimedean fuzzy metric space is replaced by a fuzzy metric space. Vetro [8] introduced a notion of weak non-Archimedean fuzzy metric space and proved common fixed point results for a pair of generalized contractive-type mappings. Wang [9] gave a positive answer for the open question.

Motivated by the works mentioned above, in this paper, we will establish fixed point theorems for weakly fuzzy contractive set-valued mappings on *M*-complete GV-spaces. To this end, we first introduce a new concept called *fw*-distance here. Next, using this *fw*-distance, we introduce a fuzzy *ψ*-*p*-contractive set-valued mapping and formulate the conditions guaranteeing the convergence of a fuzzy *ψ*-*p*-contractive sequence and the existence of fixed points of a fuzzy *ψ*-*p*-contractive set-valued mapping in *M*-complete GV-spaces and KM-spaces. The established notion of contraction turns out to be a generalization of the fuzzy contractive condition of Gregori and Sapena. Moreover, the paper includes a comprehensive set of examples showing that a fuzzy *ψ*-*p*-contractive mapping is fuzzy *ψ*-contractive and the converse is false. So our results and demonstration are also a generalization of those of [7, 9]. To further illustrate the applicability of the *fw*-distance, we give characterizations of fuzzy metric completeness, that is, a GV-space *X* is *M*-complete if and only if every fuzzy *ψ*-*p*-contractive mapping from *X* into itself has a fixed point in *X*.

Finally, the idea of the present paper has originated from the study of an analogous problem examined by Suzuki [20] for set-valued contractive mappings and [21] for single-valued contractive mappings on complete determinacy metric spaces.

## 2 Preliminaries

Let us recall [3] 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 this sequel, we always assume that ∗ is positive, *i.e.*, $a\ast b>0$ for all $a,b\in (0,1]$.

As examples of *t*-norm satisfying the conditions above, 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** [2]

*X*is a (non- empty) 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.

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

As we have mentioned, we refer to these spaces as KM-spaces and refer to the spaces given in Definition 2.1 as GV-spaces. In addition, when *X* is called a fuzzy metric space means, it may be a GV-space or a 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$.

The first fact for the proof we refer to [[22], Proposition 1]. 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 (see [23]). 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 topological convergence of sequences can be indicated by the fuzzy metric as follows.

**Definition 2.2** [2]

- (i)
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$. - (ii)
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}$. - (iii)
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 called *M*-Cauchy sequence and *M*-completeness in the sense of Definition 2.2, *G*-Cauchy sequence defined by ${lim}_{n\to \mathrm{\infty}}M({x}_{n+p},{x}_{n},t)=1$ for all $t,p>0$ and corresponding *G*-completeness introduced by [4]. In [6], the authors have pointed out that a *G*-Cauchy sequence is not an *M*-Cauchy in general. It is clear that an *M*-Cauchy sequence is *G*-Cauchy, and hence, a fuzzy metric space is *M*-complete if it is *G*-complete. From now on, by Cauchy sequence and completeness we mean an *M*-Cauchy sequence and *M*-completeness.

We now introduce a new notion as follows.

**Definition 2.3**Let $(X,M,\ast )$ be a fuzzy metric space. A fuzzy set $\mathcal{P}$ on $X\times X\times (0,\mathrm{\infty})$ is said to be an

*fw*-distance if the following hypotheses are satisfied:

- (w1)
$\mathcal{P}(x,y,t)\ast \mathcal{P}(y,z,s)\le \mathcal{P}(x,z,t+s)$ for all $x,y,z\in X$ and all $s,t>0$.

- (w2)
For any $x\in X$, $t\in (0,\mathrm{\infty})$, $\mathcal{P}(x,\cdot ,t):X\to [0,1]$ is upper semicontinuous, and $\mathcal{P}(x,y,\cdot ):(0,+\mathrm{\infty})\to [0,1]$ is left continuous for $x,y\in X$.

- (w3)
Let $x,y\in X$. For any $\epsilon \in (0,1)$ and $t>0$, there exists $\delta \in (0,1)$ and $z\in X$ such that $\mathcal{P}(z,x,t/2)\ge 1-\delta $ and $\mathcal{P}(z,y,t/2)\ge 1-\delta $ imply $M(x,y,t)\ge 1-\epsilon $.

Note that neither of the implications $\mathcal{P}(x,y,t)=1\iff x=y$ (namely (F2)) necessarily hold, and $\mathcal{P}$ is nonsymmetric, *i.e.*, in general, $\mathcal{P}$ does not satisfy (F3).

*M*is an

*fw*-distance on X. In fact, (F4) implies that (w1) holds. The properties I and II of

*M*combining conditions (F5) or (K5) guarantee that (w2) is valid. Finally, for any $\epsilon \in (0,1)$ and $t>0$, from the properties of ∗, we can take a small enough $\delta >0$ such that $(1-\delta )\ast (1-\delta )\ge 1-\epsilon $. Now, putting $M(z,x,t/2)\ge 1-\delta $ and $M(z,y,t/2)\ge 1-\delta $, by means of (F4), we have

This implies that (w3) holds. However, some other following examples of *fw*-distances show that the converse is false.

**Example 2.4**Let $f:X\to {\mathbb{R}}_{+}$ be a one-to-one continuous function, and let $g:{\mathbb{R}}_{+}\to [0,+\mathrm{\infty})$ be an increasing continuous function. Define $a\ast b=ab$ for all $a,b\in [0,1]$. Fixed $\alpha ,\beta >0$, define

*M*and $\mathcal{P}$ by, respectively,

Then *M* is a fuzzy metric, and $(X,M,\ast )$ is a GV-space (see [24]), $\mathcal{P}$ is an *fw*-distance but not a fuzzy metric on *X*.

*Proof*We observe that

*i.e.*, (w1) holds. (w2) is valid. Trivial. For any $\epsilon \in (0,1)$ and $t>0$, set $\delta \in (0,\epsilon /3]$ and $z\in X$ such that $(1-\delta )\ast (1-\delta )\ge 1-\epsilon $ and $\mathcal{P}(z,x,t/2)\ge 1-\delta $ and $\mathcal{P}(z,y,t/2)\ge 1-\delta $, we can distinguish two cases:

holds, that is, (w3) is met. This reduces that $\mathcal{P}$ is an *fw*-distance.

However, $\mathcal{P}$ is not a fuzzy metric since it is nonsymmetric. □

**Example 2.5**Let $X=\mathbb{R}$ with the fuzzy metric $M(x,y,t)={e}^{-|x-y|/g(t)}$ with

*g*as in Example 2.4. Fixed $0<\alpha <\beta \le 1$. Define $\mathcal{P}$ by

with $m(x,y)=max\{\alpha (x-y),\beta (y-x)\}$ and $t>0$. Then $\mathcal{P}$ is an *fw*-distance but not a fuzzy metric on $(X,M,\ast )$.

Some properties for the *fw*-distance are useful in this sequel.

**Proposition 2.6**

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

*’ be a fuzzy metric space*,

*and let*$\mathcal{P}$

*be an*

*fw*-

*distance on X*.

*Then for sequences*$\{{x}_{n}\}$

*and*$\{{y}_{n}\}$

*in*

*X*,

*the function sequences*$\{{a}_{n}(t)\}$

*and*$\{{b}_{n}(t)\}$

*with*${a}_{n},{b}_{n}:(0,\mathrm{\infty})\to [0,1)$

*converging to*0

*for*$t>0$,

*and*$x,y,z\in X$

*we have the following*:

- (1)
*if*,*for*$t>0$, $\mathcal{P}({x}_{n},y,t/2)\ge 1-{a}_{n}(t/2)$*and*$\mathcal{P}({x}_{n},z,t/2)\ge 1-{b}_{n}(t/2)$*for any*$n\in \mathbb{N}$,*then*$y=z$;*in particular*,*if*$\mathcal{P}(x,y,t)=1$*and*$\mathcal{P}(x,z,t)=1$,*then*$y=z$; - (2)
*if*,*for*$t>0$, $\mathcal{P}({x}_{n},{y}_{n},t/2)\ge 1-{a}_{n}(t/2)$*and*$\mathcal{P}({x}_{n},z,t/2)\ge 1-{b}_{n}(t/2)$*for any*$n\in \mathbb{N}$,*then*$\{{y}_{n}\}$*converges to**z*; - (3)
*if*,*for*$t>0$, $\mathcal{P}({x}_{n},{x}_{m},t/2)\ge 1-{a}_{n}(t/2)$*for any*$n,m\in \mathbb{N}$*with*$m>n$,*then*$\{{x}_{n}\}$*is a Cauchy sequence*; - (4)
*if*,*for*$t>0$, $\mathcal{P}(y,{x}_{n},t/2)\ge 1-{a}_{n}(t/2)$*for any*$n\in \mathbb{N}$,*then*$\{{x}_{n}\}$*is a Cauchy sequence*; - (5)
*if*$x\in X$*and*$\{{y}_{n}\}$*in**X**with*${lim}_{n\to \mathrm{\infty}}{y}_{n}=y$*and*$\mathcal{P}(x,{y}_{n},t)\ge \omega $*for some*$\omega =\omega (x)\in (0,1)$,*then*$\mathcal{P}(x,y,t)\ge \omega $.

*Proof* (1) For any $\epsilon \in (0,1)$ and $t>0$, let $\delta =\epsilon $. By our assumptions, there exists $n\in \mathbb{N}$ such that ${a}_{n}(t/2)<\delta $ and ${b}_{n}(t/2)<\delta $ which implies that $\mathcal{P}({x}_{n},y,t/2)\ge 1-{a}_{n}>1-\delta $ and $\mathcal{P}({x}_{n},z,t/2)\ge 1-{b}_{n}>1-\delta $ for large enough *n*. In view of (w3), one has $M(y,z,t)\ge 1-\epsilon $. Now, the arbitrariness of *ε* implies that $M(y,z,t)=1$, *i.e.*, $y=z$.

(2) Similarly to the argument of (1), for any $\epsilon \in (0,1)$ and $t>0$, we can find ${n}_{0}\in \mathbb{N}$ such that $M({y}_{n},z,t)\ge 1-\epsilon $ for each $n\ge {n}_{0}$, that is, ${lim}_{n\to \mathrm{\infty}}{y}_{n}=z$.

(3) For any $\epsilon \in (0,1)$ and $t>0$, there exists ${n}_{0}\in \mathbb{N}$ such that ${a}_{n}(t/2)<\epsilon $ for $n\ge {n}_{0}$. Let ${m}_{1},{m}_{2}\in \mathbb{N}$ with ${m}_{1},{m}_{2}>n>{n}_{0}$. Then, by means of the assumption of (3), we have $\mathcal{P}({x}_{n},{x}_{{m}_{1}},t/2)\ge 1-{a}_{n}(t/2)$ and $\mathcal{P}({x}_{n},{x}_{{m}_{2}},t/2)\ge 1-{a}_{n}(t/2)$. (w3) guarantees that $M({x}_{{m}_{1}},{x}_{{m}_{2}},t)\ge 1-\epsilon $. From Definition 2.2(ii) $\{{x}_{n}\}$ is a Cauchy sequence.

As an analogous argument in (3), we can verify that (4) is valid.

(5) If ${lim}_{n\to \mathrm{\infty}}{y}_{n}=y$ and $\mathcal{P}(x,{y}_{n},t)\ge \omega $ for some $\omega =\omega (x)\in (0,1)$, by (w2) $\mathcal{P}(x,y,t)\ge {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}\mathcal{P}(x,{y}_{n},t)\ge \omega $. Therefore, (5) holds. □

## 3 Fixed point theorems

In the sequel, by $CB(X)$, we denote the collection consisting of all nonempty closed subsets of *X* (obviously, every closed subset of *X* is bounded in the sense of fuzzy metric spaces). Let $(X,M,\ast )$ be a fuzzy metric space and $T:X\to CB(X)$ be a set-valued mapping. An element $x\in X$ is called a fixed point of *T* if $x\in Tx$.

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

Let $\psi \in \mathrm{\Psi}$ and $\mathcal{P}$ be an *fw*-distance. The set-valued mapping *T* is called a fuzzy *ψ*-*p*-contractive mapping if the following implication takes place: for any ${x}_{1},{x}_{2}\in X$ and ${y}_{1}\in T{x}_{1}$, there exists ${y}_{2}\in T{x}_{2}$ such that $\mathcal{P}({x}_{1},{x}_{2},t)>0\Rightarrow \mathcal{P}({y}_{1},{y}_{2},t)\ge \psi (\mathcal{P}({x}_{1},{x}_{2},t))$ for each $t>0$. In particular, the fuzzy *ψ*-*M*-contraction corresponds to the fuzzy *ψ*-contraction according to [[7], Definition 3.1]. A fuzzy *ψ*-*p*-contractive sequence in *X* is any sequence $\{{x}_{n}\}$ in *X* such that $\mathcal{P}({x}_{n+2},{x}_{n+1},t)\ge \psi (\mathcal{P}({x}_{n+1},{x}_{n},t))$ for all $n\in \mathbb{N}$ and $t>0$.

**Theorem 3.1** *Let* $(X,M,\ast )$ *be a complete fuzzy metric space*, *and let* *T* *be a fuzzy* *ψ*-*p*-*contractive set*-*valued mapping from* *X* *into* $CB(X)$. *If there exists* $x\in X$ *such that* $\mathcal{P}(x,y,t)>0$ *for some* $y\in Tx$ *and any* $t>0$, *then* *T* *has at least a fixed point* ${x}_{0}\in X$. *Moreover*, *if* $\mathcal{P}({x}_{0},{x}_{0},t)>0$, *then* $\mathcal{P}({x}_{0},{x}_{0},t)=1$ *for all* $t>0$.

*Proof*From our assumption, there exists ${u}_{0}\in X$ such that $\mathcal{P}({u}_{0},{u}_{1},t)>0$ for some ${u}_{1}\in T{u}_{0}$ and any $t>0$. For fixed ${u}_{1}$, by the contractive condition, there exists ${u}_{2}\in T{u}_{1}$ such that

*X*such that ${u}_{n+1}\in T{u}_{n}$ and

for all $t>0$, (1) is valid.

This yields that ${c}_{n+1}\ge {c}_{n}$ for all $n\in \mathbb{N}$, *i.e.*, $\{{c}_{n}\}$ is a decreasing sequence. So $\{{c}_{n}\}$ is convergent. Let ${lim}_{n\to \mathrm{\infty}}{c}_{n}=p$. By virtue of the continuity of *ψ*, we have $p\ge \psi (p)$ which yields that $p=1$, and hence (2) is valid. Moreover, by virtue of Proposition 2.6(3), we see that $\{{u}_{n}\}$ is a Cauchy sequence. Hence $\{{u}_{n}\}$ converges to a point ${v}_{0}\in X$ by the completeness of *X*.

In view of (4), we obtain that $\{{b}_{n}\}$ converges to 0. By this, combining $\mathcal{P}({u}_{n},{w}_{n},t/2)\ge \mathcal{P}({u}_{n-1},{v}_{0},t/2)$, we have $\{\mathcal{P}({u}_{n},{w}_{n},t/2)\}$ converging to 1, which implies that $\{{a}_{n}\}$ converges to 0. By Proposition 2.6(2), $\{{w}_{n}\}$ converges to ${v}_{0}$. Since $T{v}_{0}$ is closed, ${v}_{0}\in T{v}_{0}$, *i.e.*, ${v}_{0}$ is a fixed point of *T*.

*X*such that ${v}_{n+1}\in T{v}_{n}$ and $\mathcal{P}({v}_{0},{v}_{n+1},t)\ge \psi (\mathcal{P}({v}_{0},{v}_{n},t))\ge \mathcal{P}({v}_{0},{v}_{n},t)>0$ for every $n\in \mathbb{N}$. Let ${a}_{n}=1-\mathcal{P}({v}_{0},{v}_{n},t/2)$ for fixed $t>0$. Repeating the proof process of (2), we can infer that ${a}_{n}\to 0$ as $n\to \mathrm{\infty}$. By Proposition 2.6(4), $\{{v}_{n}\}$ is a Cauchy sequence. Hence $\{{v}_{n}\}$ converges to a point ${x}_{0}\in X$. Since $\mathcal{P}({v}_{0},\cdot ,t)$ is upper semicontinuous, $1\ge \mathcal{P}({v}_{0},{x}_{0},t)\ge {lim\hspace{0.17em}sup}_{n\to \mathrm{\infty}}\mathcal{P}({v}_{0},{v}_{n},t)=1$, and hence $\mathcal{P}({v}_{0},{x}_{0},t)=1$ for all $t>0$. For any $n\in \mathbb{N}$,

By (4) and Proposition 2.6(1), we have ${x}_{0}={v}_{0}$ which implies that $\mathcal{P}({v}_{0},{v}_{0},t)=1$. This proof is complete. □

**Example 3.2**Let $X=[0,\mathrm{\infty})$, $a\ast b=ab$ for any $a,b\in [0,1]$ and $M(x,y,t)$ be given as in Example 2.4 with $\alpha =\beta =1$, $g(t)=t$ and $f(x)=x$. For given $\lambda >0$, the set-valued mapping $T:X\to X$ as follows

has a fixed point in *X*.

*Proof*Using similar arguments as the ones in [[12], Theorem 16], one can show 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

*fw*-distance. For any ${x}_{1},{x}_{2}\in X$ and ${y}_{1}\in T{x}_{1}$, if ${x}_{2}+\lambda \le 1$, then ${x}_{2}<1$ and choose ${y}_{2}=\sqrt{{x}_{2}+\lambda}\in T{x}_{2}$, we have

if ${x}_{2}>1$. Consequently, *T* is *ψ*-*p*-contractive and all conditions of Theorem 3.1 are satisfied. Hence, *T* has a fixed point (in fact, $1\in T1$). □

**Remark 3.3** We observe that *T* in Example 3.2 is not fuzzy *ψ*-contractive. Hence, there exists a mapping which is fuzzy *ψ*-*p*-contractive but not fuzzy *ψ*-contractive. However, every fuzzy *ψ*-contractive mapping is obviously fuzzy *ψ*-*p*-contractive.

that is, $M({y}_{1},{y}_{2},1)<\psi (M({x}_{1},{x}_{2},1))$. Consequently, *T* is not fuzzy *ψ*-*M*-contractive.

Let $(X,M,\ast )$ be a fuzzy metric space and *T* a single-valued mapping from *X* into itself. *T* is said to satisfy nonzero property if there exists $x\in X$ such that $\mathcal{P}(x,Tx,t)>0$ for all $t>0$.

**Corollary 3.4** *Let* $(X,M,\ast )$ *be a complete fuzzy metric space*, *and the mapping* *T* *from* *X* *into itself is fuzzy* *ψ*-*p*-*contractive with the* *fw*-*distance* $\mathcal{P}$ *satisfying* $\mathcal{P}(x,y,t)>0$ *for any* $(x,y,t)\in X\times X\times (0,\mathrm{\infty})$. *If* *T* *satisfies the nonzero property*, *then* *T* *has a unique fixed point* ${x}_{0}\in X$. *Further*, ${x}_{0}$ *satisfies* $\mathcal{P}({x}_{0},{x}_{0},t)=1$ *for all* $t>0$.

*Proof* From Theorem 3.1, there exists ${x}_{0}\in X$ with $T{x}_{0}={x}_{0}$ and $\mathcal{P}({x}_{0},{x}_{0},t)=1$ for all $t>0$. Let ${y}_{0}=T{y}_{0}$. If $p({x}_{0},{y}_{0},t)<1$ then $\mathcal{P}({x}_{0},{y}_{0},t)=\mathcal{P}(T{x}_{0},T{y}_{0},t)\ge \psi (\mathcal{P}({x}_{0},{y}_{0},t))>\mathcal{P}({x}_{0},{y}_{0},t)>0$. This contradiction implies that $p({x}_{0},{y}_{0},t)=1$. So, by $\mathcal{P}({x}_{0},{x}_{0},t)=1$ and Proposition 2.6(1), we have ${x}_{0}={y}_{0}$. □

**Remark 3.5** In the case of $\mathcal{P}=M$, *T* is exactly fuzzy *ψ*-contractive initiated by Mihet [7]. So Corollary 3.4 is a positive answer for the open question of [7], but also an essential extension and improvement of Theorem 3.1 in [7] (see [25]) and Theorem 3 in [9], also, the corresponding results of [5, 26].

## 4 Characterizations of completeness

*fw*-distance, we propose the following profounder result of fuzzy fixed point theory which gives characterizations of the fuzzy metric completeness. We need the following assumption:

We first list the following lemmas regarding the *fw*-distance which plays a key role in this section.

**Lemma 4.1** *Let* *X* *be a GV*-*space with the fuzzy metric* *M*, *let* $\mathcal{P}$ *be an* *fw*-*distance on X*, *and let* $\mathcal{Q}$ *be a function from* $X\times X\times (0,+\mathrm{\infty})$ *into* $[0,1]$ *satisfying* (w1), (w2) *in Definition * 2.3. *Suppose that* $\mathcal{Q}(x,y,t)\le \mathcal{P}(x,y,t)$ *for every* $x,y\in X$, $t\in (0,+\mathrm{\infty})$. *Then* $\mathcal{Q}$ *is also an* *fw*-*distance on* *X*. *In particular*, *if* $\mathcal{Q}$ *satisfies* (w1), (w2) *in Definition * 2.3 *and* $\mathcal{Q}(x,y,t)\le M(x,y,t)$ *for every* $x,y\in X$, $t\in (0,+\mathrm{\infty})$, *then* $\mathcal{P}$ *is an* *fw*-*distance on* *X*.

*Proof* We show that $\mathcal{Q}$ satisfies (w3). Let $\epsilon \in (0,1)$ and $t>0$. Since $\mathcal{P}$ is an *fw*-distance, there exists a positive number $\delta \in (0,1)$ and $z\in X$ such that $\mathcal{P}(z,x,t/2)\ge 1-\delta $ and $\mathcal{P}(z,y,t/2)\ge 1-\delta $ imply that $M(x,y,t)\ge 1-\epsilon $. Then $\mathcal{Q}(z,x,t/2)\ge 1-\delta $ and $\mathcal{Q}(z,y,t/2)\ge 1-\delta $ imply that $M(x,y,t)\ge 1-\epsilon $. This proof is complete. □

**Lemma 4.2**

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

*be a GV*-

*space and*$A\subset X$

*contain at least two points*,

*and*$c(t)=inf\{M(x,y,t):x,y\in A\}>0$.

*Then the fuzzy subset*$p:X\times X\times (0,+\mathrm{\infty})\to [0,1]$

*defined by*

*is an* *fw*-*distance on* $(X,M,\ast )$, *where* $d(t)$ *is a nondecreasing continuous function with* $0<d(t)<c(t)$.

*Proof*It is clear that $c(t)<1$ for $t>0$ since

*A*contains at least two points. If $x,y,z\in A$, we have

Let $x\in X$. If $a\le d(t)$ for some $t>0$, we have $\{y\in X:\mathcal{P}(x,y,t)\ge a\}=X$. Let $a>d(t)$ for all $t>0$. If $x\in A$, then $\mathcal{P}(x,y,t)\ge a$ implies that $y\in A$. So, we have $\{y\in X:\mathcal{P}(x,y,t)\ge a\}=\{y\in X:M(x,y,t)\ge a\}\cap A$. If $x\notin A$, we have $\{y\in X:\mathcal{P}(x,y,t)\ge a\}=\mathrm{\varnothing}$. In each case, the set $\{y\in X:\mathcal{P}(x,y,t)\ge a\}$ is closed. Therefore, $\mathcal{P}(x,\cdot ,t):X\to (0,1]$ is upper semicontinuous. $\mathcal{P}(x,y,\cdot )$ is obviously continuous.

This proof is complete. □

**Remark 4.3** If *A* is a compact subset of *X*, then $c(t)>0$ for all $t>0$. Indeed, suppose that this is not true, then there exists ${t}_{0}>0$ such that $c({t}_{0})=0$. Thus, for each $n\in \mathbb{N}$, there exist ${x}_{n},{y}_{n}\in A$ such that $M({x}_{n},{y}_{n},{t}_{0})<\frac{1}{n}$. Since *A* is compact, there exist the subsequences $\{{x}_{{n}_{k}}\}$, $\{{y}_{{n}_{k}}\}$ of $\{{x}_{n}\}$, $\{{y}_{n}\}$, respectively, such that ${lim}_{k\to \mathrm{\infty}}{x}_{{n}_{k}}=x$ and ${lim}_{k\to \mathrm{\infty}}{y}_{{n}_{k}}=y$ with $x,y\in A$. Note that *M* is continuous, we have $M(x,y,{t}_{0})={lim}_{k\to \mathrm{\infty}}M({x}_{{n}_{k}},{y}_{{n}_{k}},{t}_{0})=0$, a contradiction. In addition, we observe that $M(x,y,\cdot )$ is nondecreasing for any given $x,y\in X$. Therefore, $c(\cdot )$ is nondecreasing, and this guarantees the existence of $d(t)$, say, $d(t)=c(t)/2$.

**Theorem 4.4** *Let* $(X,M,\ast )$ *be a fuzzy metric space*. *Then* *X* *is complete if and only if every fuzzy* *ψ*-*p*-*contractive mapping from* *X* *into itself satisfying the nonzero property has a fixed point in* *X*.

*Proof*Since the ‘only if’ part is proved in Corollary 3.4, we only need to prove the ‘if’ part. Assume that

*X*is not complete. Then there exists a sequence $\{{x}_{n}\}$ in

*X*which is Cauchy and does not converge. So, there exists ${t}_{n}>0$ such that ${lim}_{m\to \mathrm{\infty}}M({x}_{n},{x}_{m},{t}_{n})<1$ for any $n\in \mathbb{N}$. Let ${S}_{x}=\{t>0:{lim}_{m\to \mathrm{\infty}}M(x,{x}_{m},t)<1\}$ for any $x\in X$. Moreover, we have also ${lim}_{n\to \mathrm{\infty}}{lim}_{m\to \mathrm{\infty}}M({x}_{n},{x}_{m},t)=1$ for all $t>0$. Thus, any fix $i\in \mathbb{N}$, for some ${n}_{i}$ and each $4t\in {S}_{{x}_{{n}_{i}}}$, we can choose ${x}_{{n}_{i}+1}\in \{{x}_{n}\}$ such that ${lim}_{m\to \mathrm{\infty}}M({x}_{{n}_{i}+1},{x}_{m},t)>{lim}_{m\to \mathrm{\infty}}{[M({x}_{{n}_{i}},{x}_{m},4t)]}^{1/8}$. We now obtain a subsequence $\{{x}_{{n}_{i}}\}\subset \{{x}_{n}\}$ such that

*X*satisfying the following conditions:

- (i)
$\{{x}_{n}\}$ is Cauchy;

- (ii)
$\{{x}_{n}\}$ does not converge;

- (iii)${lim}_{n\to \mathrm{\infty}}\stackrel{\u02c6}{M}({x}_{i+1},{x}_{n},t)>{lim}_{n\to \mathrm{\infty}}{[\stackrel{\u02c6}{M}({x}_{i},{x}_{n},4t)]}^{1/8}\ge \stackrel{\u02c6}{M}({x}_{i},{x}_{n},t)$ for any $i\in \mathbb{N}$, $t>0$, where$\stackrel{\u02c6}{M}(x,y,t)=\{\begin{array}{cc}M(x,y,t),\hfill & sup{S}_{x}=\mathrm{\infty},\hfill \\ {M}_{sup}(x,y,t),\hfill & sup{S}_{x}<\mathrm{\infty}.\hfill \end{array}$

Put $A=\{{x}_{n}:n\in \mathbb{N}\}$. Then *A* is bounded and closed. We next prove that $c(t)$ given as in Lemma 4.2 is positive. In fact, if $c({t}_{1})=0$ for some ${t}_{1}>0$, then for every $k\in \mathbb{N}$, there exists $n(k),m(k)\in \mathbb{N}$ such that $M({x}_{n(k)},{x}_{m(k)},{t}_{1})<1/k$ which implies that ${lim}_{k\to \mathrm{\infty}}M({x}_{n(k)},{x}_{m(k)},{t}_{1})=0$. On the other hand, since $\{{x}_{n}\}$ is a Cauchy sequence, we have ${lim}_{k\to \mathrm{\infty}}M({x}_{n(k)},{x}_{m(k)},{t}_{1})=1$, a contradiction. Hence, $c(t)>0$ for all $t>0$.

where $d(t)$ is an increasing continuous function with $0<d(t)\le {c}^{2}(t)$. It is clear that $\stackrel{\u02c6}{\mathcal{P}}$ is an *fw*-distance on *X* by Lemmas 4.1 and 4.2. Further, $\stackrel{\u02c6}{\mathcal{P}}(x,y,t)=\stackrel{\u02c6}{\mathcal{P}}(y,x,t)$ for any $x,y\in X$ and $t>0$, *i.e.*, $\stackrel{\u02c6}{\mathcal{P}}$ satisfies the symmetry.

*T*has no fixed point in

*X*. Moreover, from (F1), it follows that $\stackrel{\u02c6}{\mathcal{P}}({x}_{1},T{x}_{1},t)=\stackrel{\u02c6}{\mathcal{P}}({x}_{1},{x}_{2},t)=M({x}_{1},{x}_{2},t)>0$, that is,

*T*satisfies the nonzero property. To complete the proof, it is sufficient to show that

*T*is fuzzy

*ψ*-$\stackrel{\u02c6}{p}$-contractive with $\psi (t)=\sqrt{t}\in \mathrm{\Psi}$. If $x\notin A$ or $y\notin A$, then

This shows that *T* is fuzzy *ψ*-$\stackrel{\u02c6}{p}$-contractive. □

**Example 4.5** For any nonempty set *X*, let us consider the fuzzy metric space $(X,M,\ast )$ with $M(x,y,t)$ as in Example 3.2. Let ${X}_{a}=(a,\mathrm{\infty})$ for any fixed $a>1$. Then the fuzzy metric space $({X}_{a},M,\ast )$ is not complete.

*Proof*Consider the mapping $Tx=\sqrt{x+\lambda}$ with $0<\lambda \le a(a-1)$ and $\psi (t)=\sqrt{t}$, we have $\psi \in \mathrm{\Psi}$. Let $\mathcal{P}(x,y,t)=\frac{min\{x,y\}}{max\{x,y\}}$, we have $\mathcal{P}(x,y,t)\le M(x,y,t)$ for any $x,y\in X$ and $t>0$. From Lemma 4.1, it follows that $\mathcal{P}$ is an

*fw*-distance in

*X*. Now, we have $\mathcal{P}(x,Tx,t)=\frac{min\{x,\sqrt{x+1}\}}{max\{x,\sqrt{x+1}\}}>0$ for all $t>0$ and

for $x\le y$. This implies that *T* is fuzzy *ψ*-*p*-contractive. We assert that *T* has no fixed point in ${X}_{a}$. Indeed, if $x=Tx$, then $x=\frac{1+\sqrt{1+4\lambda}}{2}\le a$. Consequently, Theorem 4.4 guarantees that $({X}_{a},M,\ast )$ is not complete. □

## Declarations

### Acknowledgements

Supported by the Natural Science Foundation of Zhejiang Province (LY12A01002).

## Authors’ Affiliations

## References

- Kramosil I, Michálek J: Fuzzy metrics and statistical metric spaces.
*Kybernetika*1975, 11: 326–334.MathSciNetMATHGoogle 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-7MATHMathSciNetView ArticleGoogle Scholar - Hadžić O, Pap E:
*Fixed Point Theory in Probabilistic Metric Space*. Kluwer Academic, Dordrecht; 2001.MATHGoogle Scholar - Grabiec M: Fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*1988, 27: 385–389. 10.1016/0165-0114(88)90064-4MATHMathSciNetView ArticleGoogle Scholar - 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-9MATHMathSciNetView ArticleGoogle 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-XMATHMathSciNetView ArticleGoogle 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.006MATHMathSciNetView ArticleGoogle 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.018MATHMathSciNetView ArticleGoogle Scholar - Wang S: Answers to some open questions on fuzzy
*ψ*-contractions in fuzzy metric spaces.*Fuzzy Sets Syst.*2013, 222: 115–119.MATHView ArticleMathSciNetGoogle Scholar - Wardowski D: Fuzzy contractive mappings and fixed points in fuzzy metric spaces.
*Fuzzy Sets Syst.*2013, 222: 108–114.MATHMathSciNetView ArticleGoogle 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.034MATHMathSciNetView ArticleGoogle Scholar - Gregori V, Minana J, Morillas S: Some questions in fuzzy metric spaces.
*Fuzzy Sets Syst.*2012, 204: 71–85.MATHMathSciNetView ArticleGoogle 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.MATHMathSciNetView ArticleGoogle Scholar - Roldán A, Moreno J, Roldán C: Tripled fixed point theorem in fuzzy metric spaces and applications.
*Fixed Point Theory Appl.*2013. 10.1186/1687-1812-2013-29Google 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.010MATHMathSciNetView ArticleGoogle Scholar - Razani A: A contraction theorem in fuzzy metric space.
*Fixed Point Theory Appl.*2005, 2005: 257–265. 10.1155/FPTA.2005.257MATHMathSciNetView ArticleGoogle Scholar - Hadz̆ić O, Pap E: A fixed point theorem for multivalued mappings in probabilistic metric spaces and an application in fuzzy metric spaces.
*Fuzzy Sets Syst.*2002, 127: 333–344. 10.1016/S0165-0114(01)00144-0View ArticleMathSciNetMATHGoogle Scholar - Kiany F, Amini-Harandi A: Fixed point and endpoint theorems for set-valued fuzzy contraction maps in fuzzy metric spaces.
*Fixed Point Theory Appl.*2011., 2011: Article ID 94 10.1186/1687-1812-2011-94Google Scholar - Arshad M, Shoaib A: Fixed points of a multivalued mappings in fuzzy metric spaces. I.
*Proceedings of the World Congress on Engineering*2012.Google Scholar - Suzuki T, Takahashi W: Fixed point theorems and characterizations of metric completeness.
*Topol. Methods Nonlinear Anal.*1996, 8: 371–382.MATHMathSciNetGoogle Scholar - Suzuki T: A generalized Banach contraction principle that characterizes metric completeness.
*Proc. Am. Math. Soc.*2008, 136: 1861–1869.MATHView ArticleMathSciNetGoogle 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.007MATHView ArticleMathSciNetGoogle Scholar - Gregori V, Romaguera S: Some properties of fuzzy metric spaces.
*Fuzzy Sets Syst.*2000, 115: 485–498. 10.1016/S0165-0114(98)00281-4MATHMathSciNetView 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.019MATHMathSciNetView ArticleGoogle Scholar - Mihet D: Erratum to ‘Fuzzy
*ψ*-contractive mappings in non-Archimedean fuzzy metric spaces revisited’.*Fuzzy Sets Syst.*2010, 161: 1150–1151. (Fuzzy Sets Syst. 159, 739–744 (2008)) 10.1016/j.fss.2009.07.001MATHMathSciNetView ArticleGoogle Scholar - Radu V: Some remarks on the probabilistic contractions on fuzzy Menger spaces.
*Autom. Comput. Appl. Math.*2002, 11: 125–131. The Eighth International Conference on Appl. Math. Comput. Sci., Cluj-Napoca, 2002MathSciNetGoogle 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.