Skip to main content

A short and sharpened way to approach fixed point results involving fuzzy \(\mathcal{H}\)-contractive mappings

Abstract

In the present paper, we adopt a short and sharpened approach to prove fixed point results involving fuzzy \(\mathcal{H}\)-contractive mappings utilized in (Wardowski, Fuzzy Sets Syst. 125:245–252, 2013) and other related articles. In this process, we are able to relax some conditions utilized by earlier authors which in turn yields affirmative answers to some open questions raised by earlier authors.

1 Introduction

The existing literature on fuzzy sets and systems contains several definitions of fuzzy metric spaces [24]. The most popular definition of fuzzy metric space is essentially due to Kramosil and Michalek [5]. With a view to having a Hausdorff topology, George and Veeramani [6] modified the concept of fuzzy metric spaces initiated by Kramosil and Michalek [5]. Like other areas in mathematics, fuzzy metric fixed point theory is also flourishing and by now there exists a considerable body of literature on fuzzy metric fixed point theory. Gregori and Sapena [1] introduced the idea of fuzzy contractive mappings and proved a fuzzy version of the Banach contraction principle for such mappings in fuzzy metric spaces. Motivated by Samet et al. [7], Salimi et al. [8] introduced some classes of fuzzy contractive mappings and gave fixed point results which generalize and extend some comparable results in the existing literature.

In 2013, Wardowski [9] generalized the concept of fuzzy contractive mapping by introducing the concept of fuzzy \(\mathcal{H}\)-contractive mapping and proved a fixed point result in M-complete fuzzy metric space. Thereafter, Shukla [10] defined fuzzy \(\mathcal{H}\)-weak contractive mapping and utilized the same to extend the fixed point results due to Wardowski [9]. Later, Beg et al. [11] defined the notion of α-fuzzy-\(\mathcal {H}\)-contractive mapping and established some existence and uniqueness of fixed point results in fuzzy M-complete metric spaces. For more results in this direction, we refer the reader to [1224].

Inspired by Wardowski [9], Shukla [10], and Beg et al. [11], in this paper, we extend and improve some existing results involving fuzzy \(\mathcal {H}\)-contractive, fuzzy \(\mathcal{H}\)-weak contractive, and α-fuzzy-\(\mathcal{H}\)-contractive mappings besides answering two open questions raised by Wardowski [9] and Beg et al. [11].

2 Preliminaries

In this section, we recall some known definitions, properties, and results about fuzzy metric spaces.

Definition 2.1

([25])

A binary operation \(*:[0,1]\times[0,1]\to[0,1]\) is said to be a continuous triangular norm (or continuous t-norm) if it satisfies the following conditions:

\((T1)\):

is associative and commutative;

\((T2)\):

\(a*b\le c*d\) whenever \(a\le c\) and \(b\le d\) for all \(a,b,c,d\in[0,1]\);

\((T3)\):

\(a*1=a\) for all \(a\in[0,1]\);

\((T4)\):

is continuous.

For all \(a, b \in[0, 1]\), the most commonly used t-norms are:

  • \(a*_{p} b=a\cdot b\) (product t-norm),

  • \(a*_{m} b=\min\{a,b\}\) (minimum t-norm),

  • \(a*_{L} b=\max\{a+b-1,0\}\) (Lukasiewicz t-norm).

A positive t-norm is a t-norm satisfying \(a*b>0\) for \(a, b \in(0, 1]\). If is a t-norm and \(a*b\) is continuous such that for any \(a\in (0, 1)\) there exists \(n\in\mathbb{N}\) with \(\prod_{i=1}^{n} {a_{i}}=0\), then is called a nilpotent t-norm.

The concept of fuzzy metric space in the sense of George and Veeramani [6] is defined as follows.

Definition 2.2

([6])

An ordered triple \((X,M,*)\) is said to be a fuzzy metric space if X is a nonempty set, is a continuous t-norm, and \(M:X^{2}\times (0,\infty)\to[0,1]\) is a fuzzy set satisfying the following conditions:

\((G1)\):

\(M(x,y,t)>0\),

\((G2)\):

\(M(x,y,t)=1\) if and only if \(x=y\),

\((G3)\):

\(M(x,y,t)=M(y,x,t)\),

\((G4)\):

\(M(x,y,t+s)\ge M(x,z,t)*M(z,y,s)\),

\((G5)\):

\(M(x,y,\cdot):(0,\infty)\to(0,1]\) is continuous

for all \(x,y,z\in X\) and \(t,s>0\).

A fuzzy metric space \((X,M,*)\) is called strong if condition \((G4)\) in Definition 2.2 is replaced by the following condition:

\((G4)^{\prime}\):

\(M(x,y,t)\ge M(x,z,t)*M(z,y,t)\) for all \(x,y,z\in X\) and \(t>0\).

Definition 2.3

([6])

Let \((X,M,*)\) be a fuzzy metric space. For \(t>0\), the open ball \(\mathfrak{B}(x,r,t)\) with a center \(x\in X\) and radius \(r\in(0,1)\) is defined by

$$\mathfrak{B}(x,r,t)= \bigl\{ y\in X : M(x,y,t)>1-r\bigr\} . $$

A subset \(A\subset X\) is called open if, for each \(x\in A\), there exist \(t>0\) and \(r\in(0,1)\) such that \(\mathfrak{B}(x,r,t)\subset A\). The family of all open subsets of X is a topology on X, called the topology induced by the fuzzy metric M.

Example 2.1

([6])

Let \((X,d)\) be a metric space. Define \(M:X\times X\times(0,\infty)\to [0,1]\) as follows:

$$ M(x,y,t)=\frac{t}{t+d(x,y)}, \quad\forall x,y\in X \text{ and } t>0. $$

Then \((X,M,*)\) is a fuzzy metric space with respect to the product t-norm (or minimum t-norm) for all \(x,y\in[0,1]\). M is known as the standard fuzzy metric.

Definition 2.4

([6])

A sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) in a fuzzy metric space \((X,M,*)\) is called convergent and converges to \(x\in X\) if \(\lim_{n \to\infty}\)\(M(x_{n},x,t)=1\) for all \(t>0\), that is, for each \(r\in (0,1)\) and \(t>0\), there exists \(n_{0}\in\mathbb{N}\) such that \(M(x_{n},x,t)>1-r\) for all \(n\ge n_{0}\).

Definition 2.5

([6])

A sequence \(\{x_{n}\}_{n\in\mathbb{N}}\) in a fuzzy metric space \((X,M,*)\) is called M-Cauchy if, for each \(\epsilon\in(0, 1)\) and \(t>0\), there exists \(n_{0}\in\mathbb{N}\) such that \(M(x_{m},x_{n},t)>1-\epsilon\) for all \(m,n\ge n_{0}\).

The fuzzy metric space \((X,M,*)\) is called M-complete if every M-Cauchy sequence in X converges to a point of X.

Remark 2.1

([26, 27])

  1. (a)

    The limit of a convergent sequence in the setting of fuzzy metric spaces is unique.

  2. (b)

    The mapping \(M(x,y,\cdot)\) is nondecreasing on \((0,\infty)\) for all \(x,y\in X\).

  3. (c)

    In a fuzzy metric space \((X,M,*)\), the mapping M is continuous on \(X\times X\times(0,\infty)\).

Definition 2.6

([1])

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is said to be fuzzy contractive if there exists \(k\in(0,1)\) such that

$$ \frac{1}{M(Tx,Ty,t)}-1\le k \biggl( \frac{1}{M(x,y,t)}-1 \biggr) $$

for all \(x,y\in X\) and \(t>0\).

Let \(\mathcal{H}\) be the class of all functions \(\eta:(0,1]\to [0,\infty)\) which satisfy the following:

\((\mathcal{H}1)\):

η transforms \((0,1]\) onto \([0,\infty)\);

\((\mathcal{H}2)\):

η is strictly decreasing, that is, for all \(a,b\in(0,1], a< b \Longrightarrow\eta(a)>\eta(b)\).

Definition 2.7

([9])

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is called fuzzy \(\mathcal{H}\)-contractive w.r.t. some \(\eta\in\mathcal{H}\) if there exists \(\lambda\in(0,1)\) such that

$$ \eta\bigl(M(Tx,Ty,t)\bigr)\le k\eta\bigl(M(x,y,t)\bigr),\quad \forall x,y\in X \text{ and } t>0. $$
(2.1)

In [9], Wardowski proved the following fixed point theorem in M-complete fuzzy metric spaces.

Theorem 2.1

([9])

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is a fuzzy \(\mathcal{H}\)-contractive mapping w.r.t some \(\eta\in\mathcal{H}\)such that

  1. (a)

    \(\prod_{i=1}^{k}M(x,Tx,t_{i})\neq0\), \(\forall x\in X\), \(k\in \mathbb{N}\)and \((t_{i})\subset(0,\infty)\), \(t_{i}\searrow0\);

  2. (b)

    \(r*s>0 \Rightarrow\eta(r*s)<\eta(r)*\eta(s)\), \(\forall r,s\in \{M(x,Tx,t): x\in X, t>0\}\);

  3. (c)

    \(\{\eta(M(x,Tx,t_{i})):i\in\mathbb{N}\}\)is bounded \(\forall x\in X\)and \((t_{i})\subset(0,\infty)\), \(t_{i}\searrow0\).

Then T possesses a unique fixed point.

Definition 2.8

([10])

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is called fuzzy \(\mathcal{H}\)-weak contractive w.r.t. some \(\eta\in\mathcal{H}\) if there exists \(\lambda\in(0,1)\) such that

$$ \eta\bigl(M(Tx,Ty,t)\bigr)\le\lambda\mathcal{N}(x,y,t), $$
(2.2)

where \(\mathcal{N}(x,y,t)=\max\{\eta(M(x,y,t)),\eta(M(x,Tx,t)),\eta (M(y,Ty,t))\}\) for all \(x,y\in X\) and \(t>0\).

The following theorem by Shukla comes as a generalization of Theorem 2.1.

Theorem 2.2

([10])

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is a fuzzy \(\mathcal{H}\)-weak contractive mapping w.r.t. some \(\eta\in\mathcal{H}\)such that

  1. (a)

    \(\prod_{i=1}^{k}M(x,Tx,t_{i})\neq0\), \(\forall x\in X\), \(k\in \mathbb{N}\)and \((t_{i})\subset(0,\infty)\), \(t_{i}\searrow0\);

  2. (b)

    \(r*s>0 \Rightarrow\eta(r*s)<\eta(r)*\eta(s)\), \(\forall r,s\in \{M(x,Tx,t): x\in X, t>0\}\);

  3. (c)

    \(\{\eta(M(x,Tx,t)): i\in\mathbb{N}\}\)is bounded \(\forall x\in X\)and any sequence \((t_{i})\subset(0,\infty)\), \(t_{i}\searrow0\).

Then T possesses a unique fixed point.

Definition 2.9

([11])

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is said to be α-fuzzy \(\mathcal {H}\)-contractive w.r.t. some \(\eta\in\mathcal{H}\) if there exist \(\lambda\in(0,1)\) and \(\alpha:X\times X\times(0,\infty)\to [0,\infty)\) such that

$$ \alpha(x,y,t)\eta\bigl(M(Tx,Ty,t)\bigr)\le\lambda\eta \bigl(M(x,y,t)\bigr),\quad \forall x,y\in X \text{ and } t>0. $$
(2.3)

Definition 2.10

([28])

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is said to be α-admissible if there exists a function \(\alpha:X\times X\times(0,\infty)\to[0,\infty)\) such that

$$ \alpha(x,y,t)\ge1\quad \Longrightarrow\quad \alpha(Tx,Ty,t)\ge1 $$
(2.4)

for all \(x,y\in X\) and \(t>0\).

Based on the above definitions, Beg et al. [11] proved the following fixed point theorem.

Theorem 2.3

([11])

Let \((X,M,*_{L})\)be an M-complete strong fuzzy metric space such that \(*_{L}\)is nilpotent. Assume that \(T:X\to X\)is α-fuzzy \(\mathcal {H}\)-contractive w.r.t. some \(\eta\in\mathcal{H}\)such that

  1. (i)

    there exists \(x_{0}\in X\)with \(\alpha(x_{0},Tx_{0}, t)\ge1\), \(t > 0\);

  2. (ii)

    T is α-admissible;

  3. (iii)

    \(\eta(r*s)<\eta(r)*\eta(s)\)for all \(r,s\in\{M(x,Tx,t): x\in X, t>0\}\);

  4. (iv)

    each subsequence \(\{x_{n_{k}}\}\)of a sequence \(\{x_{n} = T^{n}{x_{0}}\}\)has the following property: \(\alpha(x_{n_{k}}, x_{n_{l}}, t)\ge1\), \(k, l\in\mathbb{N}\), \(k>l\), \(t > 0\);

  5. (v)

    if \({x_{n}}\)is a sequence in X such that \(\alpha(x_{n}, x_{n+1}, t)\ge1\), \(n\in\mathbb{N}\), \(t > 0\), and \(\lim_{n\to\infty}x_{n}=x\), then \(\alpha(x_{n}, x, t)\ge1\), \(n\in\mathbb{N}\), \(t >0\).

Then T admits a fixed point.

3 Main results

We begin this section with some observations which play a significant role in proving our results which led to withdrawal of certain conditions utilized by earlier authors in their corresponding results. In this course, we are also able to obtain affirmative answers to certain questions raised by the authors of the corresponding results.

The following remark is clear.

Remark 3.1

For any \(\eta\in\mathcal{H}\), we have the following (in view of \(\mathcal{H}_{1}\) and \(\mathcal{H}_{2}\)):

  1. (a)

    η is continuous and bijective;

  2. (b)

    \(\eta(t)=0\) if and only if \(t=1\).

Now, we have the following proposition.

Proposition 3.1

If the mapping T is fuzzy \(\mathcal{H}\)-contractive, then it is continuous.

To accomplish this, let \(\{x_{n}\}\)be a sequence in X such that

$$ \lim_{n\to\infty}M(x_{n},x,t)=1 \quad\textit {and}\quad M(Tx_{n},Tx,t)< 1,\quad \forall n\in\mathbb{N}, $$

for some \(x\in X\). Using (2.1), we obtain

$$ \eta\bigl(M(Tx_{n},Tx,t)\bigr)\le\lambda\eta\bigl(M(x_{n},x,t) \bigr)< \eta\bigl(M(x_{n},x,t)\bigr), \quad\textit{as } \lambda\in(0,1). $$

Since η is strictly decreasing, we have

$$ M(Tx_{n},Tx,t)>M(x_{n},x,t), $$

so that

$$ \lim_{n\to\infty}M(Tx_{n},Tx,t)=1, $$

which shows that T is continuous.

Our next result offers an affirmative answer to the open question posed by Wardowski [9], which runs as follows:

Can condition (a) in Theorem 2.1be omitted for nilpotent t-norms?” Moreover, it can be pointed out that even conditions (b) and (c) of Theorem 2.1 (due to Wardowski [9]) can also be omitted. In fact, we prove the following.

Theorem 3.1

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is a fuzzy \(\mathcal{H}\)-contractive mapping w.r.t. some \(\eta\in\mathcal{H}\). Then T possesses a unique fixed point.

Proof

Let \(x_{0}\in X\) and define \(\{x_{n}\}\) by

$$ x_{n}=Tx_{n-1},\quad \forall n\in\mathbb{N}. $$

Using condition (2.1), we obtain

$$\begin{aligned} \begin{aligned}[b] 0&< \eta\bigl(M(Tx_{n-1},Tx_{n},t)\bigr)\\& \le\lambda\eta \bigl(M(x_{n-1},x_{n},t)\bigr) \\ &=\lambda\eta\bigl(M(Tx_{n-2},Tx_{n-1},t)\bigr) \\ &\le{\lambda}^{2}\eta\bigl(M(x_{n-2},x_{n-1},t) \bigr) \\ &\vdots \\ &\le{\lambda}^{n}\eta\bigl(M(x_{0},x_{1},t) \bigr),\end{aligned} \end{aligned}$$
(3.1)

which on making \(n\to\infty\) in (3.1) gives rise to

$$ \lim_{n\to\infty}\eta\bigl(M(x_{n},x_{n+1},t) \bigr)=0 \quad\Rightarrow\quad \eta\Bigl(\lim_{n\to\infty}M(x_{n},x_{n+1},t) \Bigr)=0 \quad(\text{as $\eta$ is continuous}). $$

Therefore, in view of Remark 3.1, we conclude that

$$ \lim_{n\to\infty}M(x_{n},x_{n+1},t)=1,\quad \forall n\in\mathbb{N}, t>0. $$
(3.2)

Now, we show that \(\{x_{n}\}\) is an M-Cauchy sequence. On the contrary, let us assume that the sequence \(\{x_{n}\}\) is not Cauchy. Then there are \(\epsilon\in(0,1)\), \(t_{0}>0\) and two subsequences \(\{x_{n_{k}}\}\), \(\{ x_{m_{k}}\}\) of \(\{x_{n}\}\) such that \(m_{k}>n_{k}\ge k\) for all \(k\in\mathbb{N}\) and

$$ M(x_{m_{k}}, x_{n_{k}},t_{0}) \le1-\epsilon. $$
(3.3)

In view of Remark 2.1(b), we infer

$$ M\biggl(x_{m_{k}}, x_{n_{k}}, \frac{t_{0}}{2}\biggr)\le1-\epsilon. $$
(3.4)

Suppose that \(n_{k}\) is the least integer exceeding \(m_{k}\) satisfying inequality (3.4). Then we have

$$ M\biggl(x_{m_{k}-1}, x_{n_{k}}, \frac{t_{0}}{2}\biggr)>1-\epsilon. $$
(3.5)

Using the contractive inequality (2.1) with \(x=x_{m_{k}-1}\), \(y=x_{n_{k}-1}\), and \(t=t_{0}\), we get

$$\begin{aligned} \eta\bigl(M(x_{m_{k}},x_{n_{k}},t_{0}) \bigr) &\le\lambda\eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \bigr) \\ &< \eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0})\bigr) . \end{aligned}$$
(3.6)

Since η is strictly decreasing, therefore we have

$$ M(x_{m_{k}},x_{n_{k}},t_{0})>M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}). $$
(3.7)

Making use of (3.3) and (3.5) in (3.7) and using \((G4)\), we get

$$\begin{aligned} \begin{aligned} 1-\epsilon&\ge M(x_{m_{k}},x_{n_{k}},t_{0})\\&> M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \\ &\ge M\biggl(x_{m_{k}-1}, x_{n_{k}},\frac{t_{0}}{2} \biggr)*M\biggl(x_{n_{k}}, x_{n_{k}-1},\frac {t_{0}}{2} \biggr) \\ &>(1-\epsilon)*M\biggl(x_{n_{k}}, x_{n_{k}-1}, \frac{t_{0}}{2}\biggr),\end{aligned} \end{aligned}$$

which on letting \(k\to\infty\) and making use of (3.2) and \((T3)\) yields

$$\begin{aligned} \lim_{n\to\infty}M(x_{m_{k}}, x_{n_{k}},t_{0})=1-\epsilon \end{aligned}$$
(3.8)

and

$$\begin{aligned} \lim_{n\to\infty}M(x_{m_{k}-1}, x_{n_{k}-1},t_{0})=1-\epsilon. \end{aligned}$$
(3.9)

Taking the limit \(k\to\infty\) over both sides of inequality (3.6) and taking into account the continuity of η, we have

$$\begin{aligned} \eta\Bigl(\lim_{k\to\infty}M(x_{m_{k}},x_{n_{k}},t_{0}) \Bigr) &\le\lambda\eta\Bigl(\lim_{k\to\infty}M(x_{m_{k}-1}, x_{n_{k}-1},t_{0})\Bigr). \end{aligned}$$

Making use of (3.8) and (3.9) in the above inequality, we obtain

$$\begin{aligned} \eta(1-\epsilon)\le\lambda\eta(1-\epsilon)< \eta(1-\epsilon), \end{aligned}$$

which is a contradiction. Hence, \(\{x_{n}\}\) is an M-Cauchy sequence in X.

The completeness of \((X,M,*)\) ensures the existence of \(x\in X\) such that

$$ \lim_{n\to\infty}M(x_{n},x,t)=1,\quad t>0. $$

As T is continuous (see Proposition 3.1), therefore \(\lim_{n\to\infty}M(x_{n+1},Tx,t)=1\). Owing to the uniqueness of the limit, we get \(Tx=x\).

Now, we show that the fixed point of T is unique. Suppose that \(x_{1}\) and \(x_{2}\) are two different fixed points of T, that is, \(Tx_{1}=x_{1}\neq x_{2}=Tx_{2}\). Then, using (2.1), we get

$$\begin{aligned} \eta\bigl(M(x_{1},x_{2},t_{0})\bigr)&\le \lambda\eta\bigl(M(x_{1}, x_{2},t_{0}) \bigr)< \eta\bigl(M(x_{1}, x_{2},t_{0}) \bigr),\quad \text{where } \lambda\in(0,1), \end{aligned}$$

which is a contradiction. Thus, T has a unique fixed point which concludes the proof. □

Remark 3.2

Notice that Wardowski [9] used conditions (a), (b), and (c) in Theorem 2.1 to prove the Cauchyness of the sequence \(\{x_{n}\}\), but we prove the same in a different way wherein such conditions are useless.

To establish the genuineness of Theorem 3.1 over Theorem 2.1, we adopt the following example wherein conditions (b) and (c) of Theorem 2.1 are not satisfied but the conclusion of Theorem 2.1 continues to hold.

Example 3.1

Consider X to be the set of real numbers. Define a fuzzy set \(M:X^{2}\times(0,\infty)\to[0,1]\) by \(M(x,y,t)=e^{-\frac{|x-y|}{t}}\) for all \(x,y\in X\) and \(t>0\). Then \((X,M,*)\) is an M-complete fuzzy metric space where is a t-norm given by \(a*b=a\cdot b\) for all \(a,b\in[0,1]\).

Define a mapping \(T:X\to X\) as follows:

$$ T(x) = \frac{x}{3},\quad \forall x\in X, $$

and let \(\eta(\alpha)=\ln(\frac{1}{\alpha})\) for all \(\alpha\in (0,1]\). Then, for all \(x,y\in X\), \(t>0\), and \(k=\frac{1}{3}\), we have

$$\begin{aligned} \eta\bigl(M(Tx,Ty,t)\bigr) &=\ln \bigl(e^{\frac{|Tx-Ty|}{t}} \bigr)= \frac{1}{3}\frac {|x-y|}{t} \\ &=\frac{1}{3}\ln \bigl(e^{\frac{|x-y|}{t}} \bigr) \\ &= k\eta\bigl(M(x,y,t)\bigr), \end{aligned}$$

which shows that T is \(\mathcal{H}\)-contractive. Hence, by Theorem 3.1, T has a unique fixed point (namely \(x=0\)). Observe that condition (b) of Theorem 2.1 does not hold (e.g. choose \(r=0.3\) and \(s=0.5\)). Moreover, for any \(x\in X\), we have

$$ \eta\bigl(M(x,Tx,t)\bigr)=\frac{|x|}{2t}\to\infty, \quad\text{as } t \to0^{+}, $$

which confirms the failure of condition (c) of Theorem 2.1.

In a similar way, we refine and improve Theorem 2.2 due to Shukla [10] by relaxing conditions (a), (b), and (c).

Theorem 3.2

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is a fuzzy \(\mathcal{H}\)-weak contractive mapping w.r.t. some \(\eta\in\mathcal{H}\). Then T admits a unique fixed point.

Proof

Let \(x_{0}\) be an arbitrary point in X. Define a sequence \(\{x_{n}\}\) as follows:

$$ x_{n}= Tx_{n-1}\quad \text{for all } n\in\mathbb{N}. $$

For all \(n\in\mathbb{N}\) and \(t>0\), using (2.2) we have

$$\begin{aligned} \eta\bigl(M(x_{n},x_{n+1},t)\bigr)&=\eta \bigl(M(Tx_{n-1},Tx_{n},t)\bigr) \\ &\le \lambda\mathcal{N}(x_{n-1},x_{n},t), \end{aligned}$$
(3.10)

where

$$\begin{aligned} \mathcal{N}(x_{n-1},x_{n},t)&=\max\bigl\{ \eta \bigl(M(x_{n-1},x_{n},t)\bigr),\eta \bigl(M(x_{n-1},Tx_{n-1},t) \bigr),\eta\bigl(M(x_{n},Tx_{n},t)\bigr)\bigr\} \\ &=\max\bigl\{ \eta\bigl(M(x_{n-1},x_{n},t)\bigr),\eta \bigl(M(x_{n},x_{n+1},t)\bigr)\bigr\} . \end{aligned}$$

If for some \(n\in\mathbb{N}\), \(\mathcal{N}(x_{n-1},x_{n},t)=\eta (M(x_{n},x_{n+1},t))\), then (3.10) turns into

$$\begin{aligned} \eta\bigl(M(x_{n},x_{n+1},t)\bigr)\le\lambda\eta \bigl(M(x_{n},x_{n+1},t)\bigr)< \eta \bigl(M(x_{n},x_{n+1},t) \bigr), \end{aligned}$$

a contradiction. Hence, we must have \(\mathcal{N}(x_{n-1},x_{n},t)=\eta (M(x_{n-1},x_{n},t))\) for all \(n\in\mathbb{N}\), and therefore (3.10) becomes

$$\begin{aligned} \eta\bigl(M(x_{n},x_{n+1},t)\bigr)\le \lambda\eta\bigl(M(x_{n-1},x_{n},t)\bigr),\quad \forall n\in \mathbb{N}. \end{aligned}$$
(3.11)

Inductively, from (3.11), we find that

$$\begin{aligned} 0< \eta\bigl(M(x_{n},x_{n+1},t)\bigr)\le \lambda^{n}\eta\bigl(M(x_{0},x_{1},t)\bigr),\quad \forall n\in\mathbb{N}. \end{aligned}$$
(3.12)

By taking \(n\to\infty\) in (3.12), we get

$$ \lim_{n\to\infty}\eta\bigl(M(x_{n},x_{n+1},t) \bigr)=0, $$

and hence, it follows from Remark 2.1 that

$$ \lim_{n\to\infty}M(x_{n},x_{n+1},t)=1. $$
(3.13)

Now, we show the Cauchyness of the sequence \(\{x_{n}\}\) by contradiction. We assume that the sequence \(\{x_{n}\}\) is not M-Cauchy. Then there are \(\epsilon\in(0,1)\), \(t_{0}>0\) and two subsequences \(\{x_{n_{k}}\}\), \(\{ x_{m_{k}}\}\) of \(\{x_{n}\}\) such that \(m_{k}>n_{k}\ge k\) for all \(k\in\mathbb{N}\) and

$$ M(x_{m_{k}}, x_{n_{k}},t_{0}) \le1-\epsilon. $$
(3.14)

By Remark 2.1(b), we get

$$ M\biggl(x_{m_{k}}, x_{n_{k}}, \frac{t_{0}}{2}\biggr)\le1-\epsilon. $$
(3.15)

Suppose that \(n_{k}\) is the least integer exceeding \(m_{k}\) satisfying inequality (3.15). Then we have

$$ M\biggl(x_{m_{k}-1}, x_{n_{k}}, \frac{t_{0}}{2}\biggr)>1-\epsilon. $$
(3.16)

Applying inequality (2.2), we get

$$\begin{aligned} \eta\bigl(M(x_{m_{k}},x_{n_{k}},t_{0}) \bigr)&=\eta \bigl(M(Tx_{m_{k}-1},Tx_{n_{k}-1},t_{0}) \bigr) \\ &\le\lambda\mathcal {N}(x_{m_{k}-1},x_{n_{k}-1},t_{0}), \end{aligned}$$
(3.17)

where

$$\begin{aligned} \mathcal{N}(x_{m_{k}-1},x_{n_{k}-1},t_{0})=&\max\bigl\{ \eta \bigl(M(x_{m_{k}-1},x_{n_{k}-1},t_{0})\bigr), \\ &{} \eta\bigl(M(x_{m_{k}-1},x_{m_{k}},t_{0})\bigr), \eta\bigl(M(x_{n_{k}-1},x_{n_{k}},t_{0})\bigr)\bigr\} . \end{aligned}$$

If \(\mathcal{N}(x_{m_{k}-1},x_{n_{k}-1},t_{0})=\eta(M(x_{m_{k}-1},x_{m_{k}},t_{0}))\), then (3.17) becomes

$$\begin{aligned} \eta\bigl(M(x_{m_{k}},x_{n_{k}},t_{0})\bigr)\le \lambda\eta\bigl(M(x_{m_{k}-1}, x_{m_{k}},t_{0}) \bigr). \end{aligned}$$

Letting \(k\to\infty\) in the above inequality and making use of (3.13), Remark 2.1 and taking into account the continuity of η yields

$$ \eta\Bigl(\lim_{k\to\infty}M(x_{m_{k}},x_{n_{k}},t_{0}) \Bigr)=0, $$

and hence \(\lim_{k\to\infty}M(x_{m_{k}},x_{n_{k}},t_{0})=1\), which contradicts Equation (3.14).

Similarly, if we consider \(\mathcal{N}(x_{m_{k}-1},x_{n_{k}-1},t_{0})=\eta (M(x_{n_{k}-1},x_{n_{k}},t_{0}))\), then again we arrive at a contradiction. Therefore, we must have \(\mathcal{N}(x_{m_{k}-1},x_{n_{k}-1},t_{0})=\eta (M(x_{m_{k}-1},x_{n_{k-1}},t_{0}))\) and hence (3.17) gives rise to

$$\begin{aligned} \eta\bigl(M(x_{m_{k}},x_{n_{k}},t_{0}) \bigr)\le\lambda\eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \bigr)< \eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \bigr). \end{aligned}$$
(3.18)

Since η is strictly decreasing, then we have

$$ M(x_{m_{k}},x_{n_{k}},t_{0})>M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}). $$
(3.19)

Making use of (3.19), (3.14), and (3.16), we have

$$\begin{aligned} 1-\epsilon&\ge M(x_{m_{k}},x_{n_{k}},t_{0})\\&> M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \\ &\ge M\biggl(x_{m_{k}-1}, x_{n_{k}},\frac{t_{0}}{2} \biggr)*M\biggl(x_{n_{k}}, x_{n_{k}-1},\frac {t_{0}}{2} \biggr) \\ &>(1-\epsilon)*M\biggl(x_{n_{k}}, x_{n_{k}-1}, \frac{t_{0}}{2}\biggr), \end{aligned}$$

which on letting \(k\to\infty\) and using (3.13) along with \((T3)\) yields

$$\begin{aligned} \lim_{k\to\infty}M(x_{m_{k}-1}, x_{n_{k}-1},t_{0})=1-\epsilon=\lim_{k\to \infty}M(x_{m_{k}}, x_{n_{k}},t_{0}). \end{aligned}$$
(3.20)

Now, using (3.18), (3.20), and the continuity of η, we obtain

$$\begin{aligned} \eta(1-\epsilon)\le\lambda\eta(1-\epsilon)< \eta(1-\epsilon), \end{aligned}$$

which is a contradiction. Hence, \(\{x_{n}\}\) is an M-Cauchy sequence in X. Due to the M-completeness of \((X,M,*)\), there exists \(x\in X\) such that

$$ \lim_{n\to\infty}M(x_{n},x,t)=1,\quad t>0. $$
(3.21)

Next, we show that x is a fixed point of T. Suppose that there exists \(t_{1}>0\) such that \(M(x,Tx,t_{1})<1\), then \(\eta(M(x,Tx,t_{1}))>0\). Also, as T is a fuzzy \(\mathcal{H}\)-weak contractive mapping, we have

$$\begin{aligned} \eta\bigl(M(x_{n+1},Tx,t_{1})\bigr)&= \eta\bigl(M(Tx_{n},Tx,t_{1})\bigr) \\ &\le\lambda\mathcal{N}(x_{n},x,t_{1}), \end{aligned}$$
(3.22)

where \(\mathcal{N}(x_{n},x,t_{1})=\max\{\eta(M(x_{n},x,t_{1})), \eta (M(x_{n},x_{n+1},t_{1})),\eta(M(x,Tx,t_{1}))\}\). As η is continuous, we have \(\lim_{n\to\infty}\eta (M(x_{n},x,t_{1}))=\lim_{n\to\infty}\eta(M(x_{n},x_{n+1},t_{1}))=0\) for all \(t>0\), and hence

$$\begin{aligned} \lim_{n\to\infty}\mathcal{N}(x_{n},x,t_{1})&= \max\bigl\{ 0,0,\eta \bigl(M(x,Tx,t_{1})\bigr)\bigr\} \\ &=\eta(M(x,Tx,t_{1}). \end{aligned}$$

Now, making \(n\to\infty\) in (3.22), we get

$$\begin{aligned} \eta\bigl(M(x,Tx,t_{1})\bigr)\le\lambda\eta\bigl(M(x,Tx,t_{1}) \bigr)< \eta\bigl(M(x,Tx,t_{1})\bigr), \quad\text{as } \lambda \in(0,1), \end{aligned}$$

which is a contradiction. Therefore, we must have \(M(x,Tx,t)=1\), \(t>0\), which shows that x remains fixed under T.

To prove the uniqueness of the fixed point of T, let \(x_{1}\), \(x_{2}\) be two fixed points of T. Then using (2.2) we have

$$\begin{aligned} \eta\bigl(M(x_{1},x_{2},t)\bigr)&=\eta \bigl(M(Tx_{1},Tx_{2},t)\bigr) \\ &\le\lambda\max\bigl\{ \eta\bigl(M(x_{1},x_{2},t)\bigr), \eta\bigl(M(x_{1},Tx_{1},t)\bigr),\eta \bigl(M(x_{2},Tx_{2},t)\bigr)\bigr\} \\ &=\lambda\max\bigl\{ \eta\bigl(M(x_{1},x_{2},t) \bigr),0,0\bigr\} . \end{aligned}$$
(3.23)

If \(M(x_{1},x_{2},t)<1\), then \(\eta(M(x_{1},x_{2},t))>0\) and hence (3.23) becomes

$$\begin{aligned} \eta\bigl(M(x_{1},x_{2},t)\bigr)\le\lambda\eta \bigl(M(x_{1},x_{2},t)\bigr)< \eta\bigl(M(x_{1},x_{2},t) \bigr), \end{aligned}$$

which is a contradiction. Therefore, \(M(x_{1},x_{2},t)=1\), yielding thereby \(x_{1}=x_{2}\), this concludes the proof. □

In what follows, we answer the open question raised by Beg et al. [11]:

Can the assumption of strong fuzzy metric in Theorem 2.3 be omitted/further relaxed?

The answer to this question is in the affirmative. To substantiate this claim, we prove the following theorem in which we have also withdrawn condition (iii) besides relaxing the requirement of nilpotent t-norm from Theorem 2.3.

Theorem 3.3

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is an α-fuzzy \(\mathcal{H}\)-contractive mapping w.r.t some \(\eta\in\mathcal{H}\)such that

  1. (a)

    there exists \(x_{0}\in X\)with \(\alpha(x_{0},Tx_{0}, t)\ge1\)and \(t > 0\);

  2. (b)

    T is α-admissible;

  3. (c)

    each subsequence \(\{x_{n_{k}}\}\subset\{x_{n}\}=\{T^{n}x_{0}\}\)has the following property:

    $$\alpha(x_{n_{k}}, x_{n_{l}}, t)\ge1, \quad\textit{where } k, l\in \mathbb{N}, k>l \textit{ and } t > 0; $$
  4. (d)

    if \(\{x_{n}\}\)is a sequence in X such that \(\alpha(x_{n}, x_{n+1}, t)\ge1\), \(n\in\mathbb{N}\), \(t > 0\), and \(\lim_{n\to\infty }x_{n}=x\), then \(\alpha(x_{n}, x, t)\ge1\), \(n\in\mathbb{N}\), \(t >0\).

Then T has a fixed point.

Proof

In view of condition (a), there exists \(x_{0}\in X\) such that \(\alpha (x_{0},Tx_{0},t)\ge1\), \(t>0\). Define a sequence \(\{x_{n}\}\) in X by \(x_{n}=Tx_{n-1}\), \(\forall n\in\mathbb{N}\).

Since T is α-admissible, then we have

$$ \alpha(x_{0},x_{1},t)=\alpha(x_{0},Tx_{0},t) \ge1, \quad t>0\quad \Longrightarrow \quad\alpha(Tx_{0},Tx_{1},t)= \alpha(x_{1},x_{2},t)\ge1,\quad t>0. $$

Continuing this process, we get

$$ \alpha(x_{n},x_{n+1},t)\ge1,\quad \forall n \in\mathbb{N}, t>0. $$
(3.24)

Since T is α-fuzzy-\(\mathcal{H}\)-contractive mapping and due to (3.24), we obtain

$$\begin{aligned} 0&\le\eta\bigl(M(x_{n},x_{n+1},t)\bigr) \\&= \eta\bigl(M(Tx_{n-1},Tx_{n},t)\bigr) \\ &\le\alpha(x_{n-1},x_{n},t)\eta\bigl(M(Tx_{n-1},Tx_{n},t) \bigr) \\ &\le\lambda\eta\bigl(M(x_{n-1},x_{n},t)\bigr) \\ &\vdots \\ &\le\lambda^{n} \eta\bigl(M(x_{0},x_{1},t) \bigr). \end{aligned}$$
(3.25)

By taking \(n\to\infty\) in (3.25), we get

$$ \lim_{n\to\infty}\eta\bigl(M(x_{n},x_{n+1},t) \bigr)=0, $$

and hence \(\lim_{n\to\infty}M(x_{n},x_{n+1},t)=1\) for all \(t>0\).

Now, we show the Cauchyness of the sequence \(\{x_{n}\}\). On the contrary, we assume that the sequence \(\{x_{n}\}\) is not M-Cauchy. Then there are \(\epsilon\in(0,1)\), \(t_{0}>0\) and two subsequences \(\{x_{n_{k}}\}\), \(\{ x_{m_{k}}\}\) of \(\{x_{n}\}\) such that

$$ m_{k}>n_{k}\ge k\quad \text{and}\quad M(x_{m_{k}}, x_{n_{k}},t_{0})\le1-\epsilon\quad\text{for all } k\in \mathbb{N}. $$

By Remark 2.1(b), we get

$$ M\biggl(x_{m_{k}}, x_{n_{k}},\frac{t_{0}}{2}\biggr)\le1- \epsilon. $$

Suppose that \(n_{k}\) is the least integer exceeding \(m_{k}\) satisfying the above inequality. Then we have

$$ M\biggl(x_{m_{k}-1}, x_{n_{k}},\frac{t_{0}}{2}\biggr)>1- \epsilon. $$

Applying inequality (2.3) and using condition (c), we get

$$\begin{aligned} \begin{aligned} \eta\bigl(M(x_{m_{k}},x_{n_{k}},t_{0})\bigr)&\le \alpha(x_{m_{k}-1},x_{n_{k}-1},t_{0})\eta \bigl(M(x_{m_{k}}, x_{n_{k}},t_{0})\bigr) \\ &\le\lambda\eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0}) \bigr) \\ &< \eta\bigl(M(x_{m_{k}-1}, x_{n_{k}-1},t_{0})\bigr) .\end{aligned} \end{aligned}$$

The rest of the proof of Cauchyness can be shown as in Theorem 3.1. Now, since \((X,M,*)\) is M-complete, then there exists \(x\in X\) such that

$$ \lim_{n\to\infty}M(x_{n},x,t)=1,\quad t>0. $$
(3.26)

Using condition (d) and (2.3), we obtain

$$\begin{aligned} 0< \eta\bigl(M(Tx_{n},Tx,t)\bigr)\le\alpha(x_{n},x,t)\eta \bigl(M(Tx_{n},Tx,t)\bigr)\le \lambda\eta\bigl(M(x_{n},x,t) \bigr). \end{aligned}$$

Taking the limit as \(n\to\infty\) in the above inequality, using (3.26) and the continuity of η, we deduce

$$\begin{aligned} \lim_{n\to\infty}\eta\bigl(M(x_{n+1},Tx,t)\bigr)=0, \end{aligned}$$

which implies that \(\lim_{n\to\infty}M(x_{n+1},Tx,t)=1\). By the uniqueness of the limit, we conclude that \(Tx=x\), that is, x is a fixed point of T. □

Finally, we conclude this section by proving a result which ensures the existence of fixed point besides unifying Theorems 3.1, 3.2, and 3.3. In doing so, first we introduce the notion of an α-fuzzy-\(\mathcal{H}\)-weak contractive mapping as follows.

Definition 3.1

Let \((X,M,*)\) be a fuzzy metric space. A mapping \(T:X\to X\) is called α-fuzzy \(\mathcal{H}\)-weak contractive w.r.t. some \(\eta\in \mathcal{H}\) if there exist \(\lambda\in(0,1)\) and \(\alpha:X\times X\times(0,\infty)\to[0,\infty)\) such that

$$ \alpha(x,y,t)\eta\bigl(M(Tx,Ty,t)\bigr)\le\lambda \mathcal{N}(x,y,t), $$
(3.27)

where \(\mathcal{N}(x,y,t)=\max\{\eta(M(x,y,t)),\eta(M(x,Tx,t)),\eta (M(y,Ty,t))\}\) for all \(x,y\in X\) and \(t>0\).

Theorem 3.4

Let \((X,M,*)\)be an M-complete fuzzy metric space. Assume that \(T:X\to X\)is an α-fuzzy-\(\mathcal{H}\)- weak contractive mapping w.r.t. some \(\eta\in\mathcal{H}\)such that

  1. (a)

    there exists \(x_{0}\in X\)with \(\alpha(x_{0},Tx_{0}, t)\ge1\), \(t > 0\);

  2. (b)

    T is α-admissible;

  3. (c)

    each subsequence \(\{x_{n_{k}}\}\subset\{x_{n}=T^{n}x_{0}\}\)has the following property:

    $$\alpha(x_{n_{k}}, x_{n_{l}}, t)\ge1, \quad\textit{where } k, l\in \mathbb{N}, k>l \textit{ and } t > 0; $$
  4. (d)

    if \(\{x_{n}\}\subset X\)such that \(\alpha(x_{n}, x_{n+1}, t)\ge1\)and \(\lim_{n\to\infty}x_{n}=x\), then \(\alpha(x_{n}, x, t)\ge1\), \(\forall n\in\mathbb{N}\), \(t >0\).

Then T admits a fixed point.

Proof

Condition (a) ensures the existence of a point \(x_{0}\in X\) such that \(\alpha(x_{0},Tx_{0},t)\ge1\), \(t>0\). Define a sequence \(\{x_{n}\}\) in X by

$$ x_{n}=Tx_{n-1},\quad \forall n\in\mathbb{N}. $$

Since T is α-admissible, then we have

$$ \alpha(x_{0},x_{1},t)=\alpha(x_{0},Tx_{0},t) \ge1,\quad t>0 \quad\Longrightarrow \quad\alpha(Tx_{0},Tx_{1},t)= \alpha(x_{1},x_{2},t)\ge1, \quad t>0. $$

Continuing this process, we get

$$ \alpha(x_{n-1},x_{n},t)\ge1\quad \text{for all } n\in\mathbb{N}, t>0. $$
(3.28)

Applying (3.27) and using (3.28), we obtain

$$\begin{aligned} \eta\bigl(M(x_{n},x_{n+1},t)\bigr)&=\eta \bigl(M(Tx_{n-1},Tx_{n},t)\bigr) \\ &\le\alpha(x_{n-1},x_{n},t)\eta\bigl(M(Tx_{n-1},Tx_{n},t) \bigr) \\ &\le\lambda\mathcal{N}(x_{n-1},x_{n},t), \end{aligned}$$
(3.29)

where

$$\begin{aligned} \mathcal{N}(x_{n-1},x_{n},t)&=\max\bigl\{ \eta \bigl(M(x_{n-1},x_{n},t)\bigr),\eta \bigl(M(x_{n-1},Tx_{n-1},t) \bigr),\eta\bigl(M(x_{n},Tx_{n},t)\bigr)\bigr\} \\ &=\lambda\max\bigl\{ \eta\bigl(M(x_{n-1},x_{n},t)\bigr), \eta\bigl(M(x_{n},x_{n+1},t)\bigr)\bigr\} . \end{aligned}$$

The rest of the proof can be completed in line with the proof of Theorem 3.2, wherein conditions (c) and (d) are also exploited, and hence the details of the proof are omitted. □

References

  1. Gregori, V., Sapena, A.: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 125(2), 245–252 (2002)

    MATH  Google Scholar 

  2. Deng, Z.: Fuzzy pseudo-metric spaces. J. Math. Anal. Appl. 86(1), 74–95 (1982)

    MathSciNet  MATH  Google Scholar 

  3. Erceg, M.A.: Metric spaces in fuzzy set theory. J. Math. Anal. Appl. 69(1), 205–230 (1979)

    MathSciNet  MATH  Google Scholar 

  4. Kaleva, O., Seikkala, S.: On fuzzy metric spaces. Fuzzy Sets Syst. 12(3), 215–229 (1984)

    MATH  Google Scholar 

  5. Kramosil, I., Michálek, J.: Fuzzy metrics and statistical metric spaces. Kybernetika 11(5), 336–344 (1975)

    MathSciNet  MATH  Google Scholar 

  6. George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64(3), 395–399 (1994)

    MathSciNet  MATH  Google Scholar 

  7. Samet, B., Vetro, C., Vetro, P.: Fixed point theorems for α-ψ-contractive type mappings. Nonlinear Anal., Theory Methods Appl. 75(4), 2154–2165 (2012)

    MathSciNet  MATH  Google Scholar 

  8. Salimi, P., Vetro, C., Vetro, P.: Some new fixed point results in non-Archimedean fuzzy metric spaces. Nonlinear Anal., Model. Control 18(3), 344–358 (2013)

    MathSciNet  MATH  Google Scholar 

  9. Wardowski, D.: Fuzzy contractive mappings and fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 222, 108–114 (2013)

    MathSciNet  MATH  Google Scholar 

  10. Shukla, S.: Fuzzy H-weak contractions and fixed point theorems in fuzzy metric spaces. Gulf J. Math. 2, 67–75 (2013)

    Google Scholar 

  11. Beg, I., Gopal, D., Dosenovic, T., Rakic, D.: α-Type fuzzy H-contractive mappings in fuzzy metric spaces. Fixed Point Theory 19(2), 463–474 (2018)

    MathSciNet  MATH  Google Scholar 

  12. Sedghi, S., Shobkolaei, N., Altun, I.: A new approach to Caristi’s fixed point theorem on non-Archimedean fuzzy metric spaces. Iran. J. Fuzzy Syst. 12(2), 137–143 (2015)

    MathSciNet  MATH  Google Scholar 

  13. Nashine, H.K., Vetro, C., Kumam, W., Kumam, P.: Fixed point theorems for fuzzy mappings and applications to ordinary fuzzy differential equations. Adv. Differ. Equ. 2014(1), Article ID 232 (2014)

    MathSciNet  MATH  Google Scholar 

  14. Abbas, M., Ali, B., Vetro, C.: Fixed fuzzy points of fuzzy mappings in Hausdorff fuzzy metric spaces with application. Iran. J. Fuzzy Syst. 12(3), 31–45 (2015)

    MathSciNet  MATH  Google Scholar 

  15. Sedghi, S., Shobkolaei, N., Došenović, T., Radenović, S.: Suzuki-type of common fixed point theorems in fuzzy metric spaces. Math. Slovaca 68(2), 451–462 (2018)

    MathSciNet  MATH  Google Scholar 

  16. Melliani, S., Moussaoui, A.: Fixed point theorem using a new class of fuzzy contractive mappings. J. Univers. Math. 1(2), 148–154 (2018)

    Google Scholar 

  17. Sangurlu, M., Turkoglu, D.: Fixed point theorems for (\(\psi\circ\phi\))- contractions in fuzzy metric spaces. J. Nonlinear Sci. Appl. 8(5), 687–694 (2015)

    Article  MathSciNet  Google Scholar 

  18. Saleh, H.N., Khan, I.A., Imdad, M., Alfaqih, W.M.: New fuzzy φ-fixed point results employing a new class of fuzzy contractive mappings. J. Intell. Fuzzy Syst. 37(4), 5391–5402 (2019)

    Article  Google Scholar 

  19. Perveen, A., Imdad, M.: Proving new fixed point results in fuzzy metric spaces employing simulation function. J. Intell. Fuzzy Syst. 36(6), 6493–6501 (2019)

    Article  Google Scholar 

  20. Abbas, M., Imdad, M., Gopal, D.: ψ-Weak contractions in fuzzy metric spaces. Iran. J. Fuzzy Syst. 8(5), 141–148 (2011)

    MathSciNet  MATH  Google Scholar 

  21. Mihet, D.: On fuzzy epsilon-contractive mappings in fuzzy metric spaces. Fixed Point Theory Appl. 2007(1), Article ID 87471 (2007)

    MATH  Google Scholar 

  22. Vu, H.: Existence results for fuzzy Volterra integral equation. J. Intell. Fuzzy Syst. 33(1), 207–213 (2017)

    MATH  Google Scholar 

  23. Mishra, U., Vetro, C., Kumam, P.: On modified α-ϕ-fuzzy contractive mappings and an application to integral equations. J. Inequal. Appl. 2016(1), Article ID 67 (2016)

    MathSciNet  MATH  Google Scholar 

  24. Tchier, F., Vetro, C., Vetro, F.: From fuzzy metric spaces to modular metric spaces: a fixed point approach. J. Nonlinear Sci. Appl. 10(2), 451–464 (2017)

    MathSciNet  MATH  Google Scholar 

  25. Schweizer, B., Sklar, A.: Statistical metric spaces. Pac. J. Math. 10(1), 313–334 (1960)

    MathSciNet  MATH  Google Scholar 

  26. Babu, G., Sarma, K., Aemro, Y.G.: Generalization of fixed point results for (α, η, β)-contractive mappings in fuzzy metric spaces. Bangmod Int. J. Math. Comput. Sci. 3(1–2), 35–52 (2017)

    Google Scholar 

  27. Grabiec, M.: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 27(3), 385–389 (1988)

    MathSciNet  MATH  Google Scholar 

  28. Gopal, D., Vetro, C.: Some new fixed point theorems in fuzzy metric spaces. Iran. J. Fuzzy Syst. 11(3), 95–107 (2014)

    MathSciNet  MATH  Google Scholar 

Download references

Availability of data and materials

No data were used to support this study.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Hayel N. Saleh.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Saleh, H.N., Imdad, M. & Hasanuzzaman, M. A short and sharpened way to approach fixed point results involving fuzzy \(\mathcal{H}\)-contractive mappings. Fixed Point Theory Appl 2020, 15 (2020). https://doi.org/10.1186/s13663-020-00682-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-020-00682-0

MSC

Keywords