Skip to main content

Fixed point results for fuzzy mappings in a b-metric space

Abstract

In this paper, we establish some fixed point results for fuzzy mappings in a complete dislocated b-metric space. Our results generalize and extend the results of Joseph et al. (SpringerPlus 5:Article ID 217, 2016). We also give examples to support our results, and applications relating the results to a fixed point for multivalued mappings and fuzzy mappings are studied.

1 Introduction and preliminaries

Fixed point theory plays an important role in various fields of mathematics. It provides very important tools for finding the existence and uniqueness of solutions. The Banach contraction theorem has an important role in fixed point theory, and it has become very popular due to iterations which can be easily implemented on the computers. The idea of a fuzzy set was first laid down by Zadeh [2]. Later on Weiss [3] and Butnariu [4] gave the idea of a fuzzy mapping and obtained many fixed point results. Afterward, Heilpern [5] initiated the idea of fuzzy contraction mappings and proved a fixed point theorem for fuzzy contraction mappings which is a fuzzy analogue of Nadler’s [6] fixed point theorem for multivalued mappings.

Recently, Beg et al. [7] proved the result concerning the existence of fixed points of a mapping satisfying locally contractive conditions on a closed ball (see also [816]). It is also possible that the mapping satisfies locally contractive conditions on a sequence contained in a closed ball in M. One can obtain fixed point results for such a mapping by using the suitable conditions.

The notion of dislocated topologies has useful applications in the context of logic programming semantics (see [17]). A dislocated metric space (metric-like space) (see [18, 19]) is a generalization of partial metric space (see [20]). Aydi et al. [21] established a fixed point theorem for set-valued quasi contraction in b-metric spaces. Nawab et al. [22] introduced the new concept of dislocated b-metric space as a generalization of metric space and established to prove some common fixed point results for four mappings satisfying the generalized weak contractive conditions in a partially ordered dislocated b-metric space.

In this paper, we obtain a fixed point and a common fixed point for fuzzy mappings for a generalized contraction on a closed ball in a complete b-metric space. An example which supports the proved results is also given. We give the following definitions and results which will be needed in the sequel.

Definition 1.1

([22])

Let X be a nonempty set. A function \(d_{lb}:X\times X\rightarrow[0,\infty )\) is called dislocated b-metric (or simply \(d_{lb}\)-metric) if, for any \(x,y,z\in X\) and \(b\geq1\), the following conditions hold:

  1. (i)

    If \(d_{lb}(x,y)=0\), then \(x=y\);

  2. (ii)

    \(d_{lb}(x,y)=d_{lb}(y,x)\);

  3. (iii)

    \(d_{lb}(x,y)\leq b[d_{lb}(x,z)+d_{lb}(z,y)]\).

The pair \((X,d_{lb})\) is called a dislocated b-metric space. It should be noted that the class of \(d_{lb}\) metric spaces is effectively larger than that of \(d_{l}\) metric spaces, since \(d_{lb}\) is a \(d_{l}\) metric when \(b=1\).

It is clear that if \(d_{lb}(x,y)=0\), then from (i), \(x=y\). But if \(x=y\), \(d_{lb}(x,y)\) may not be 0. For \(x\in X\) and \(\varepsilon>0\), \(\overline{B(x,\varepsilon)}=\{y\in X:d_{lb}(x,y)\leq\varepsilon\}\) is a closed ball in \((X,d_{lb})\).

Example 1.2

If \(X=\mathbb{R} ^{+}\cup\{0\}\), then \(d_{lb}(x,y)=(x+y)^{2}\) defines a dislocated b-metric \(d_{lb}\) on X.

Definition 1.3

([22])

Let \((X,d_{lb})\) be a dislocated b-metric space.

  1. (i)

    A sequence \(\{x_{n}\}\) in \((X,d_{lb})\) is called Cauchy sequence if, given \(\varepsilon>0\), there corresponds \(n_{0}\in N\) such that, for all \(n,m\geq n_{0}\), we have \(d_{lb}(x_{m},x_{n})<\varepsilon\) or \(\lim_{n,m\rightarrow\infty}d_{lb}(x_{n},x_{m})=0\).

  2. (ii)

    A sequence \(\{x_{n}\}\) dislocated b-converges (for short \(d_{lb}\)-converges) to x if \(\lim_{n\rightarrow\infty}d_{lb}(x_{n},x)=0\). In this case x is called a \(d_{lb}\)-limit of \(\{x_{n}\}\).

Definition 1.4

Let K be a nonempty subset of dislocated b-metric space X, and let \(x\in X\). An element \(y_{0}\in K\) is called a best approximation in K if

$$ d_{lb}(x,K)=d_{lb}(x,y_{0}),\quad\text{where }d_{lb}(x,K)=\inf_{y\in K} d_{lb}(x,y). $$

If each \(x\in X\) has at least one best approximation in K, then K is called a proximinal set. We denote by \(P(X)\) the set of all proximinal subsets of X.

Definition 1.5

The function \(H_{d_{lb}}:P(X)\times P(X)\rightarrow R^{+}\), defined by

$$ H_{d_{lb}}(A,B)=\max\Bigl\{ \sup_{a\in A}d_{lb}(a,B), \sup_{b\in B}d_{lb}(A,b)\Bigr\} , $$

is called dislocated Hausdorff b-metric on \(P(X)\).

A fuzzy set in X is a function with domain X and values in \([0,1]\), \(F(X) \) is the collection of all fuzzy sets in X. If A is a fuzzy set and \(x\in X\), then the function value \(A(x)\) is called the grade of membership of x in A. The α-level set of a fuzzy set A is denoted by \([A]_{\alpha}\) and defined as follows:

$$\begin{gathered} {[ A]}_{\alpha} =\bigl\{ x:A(x)\geq\alpha\bigr\} , \quad\text{where }\alpha \in(0,1], \\ {[ A]}_{0} =\overline{\bigl\{ x:A(x)>0\bigr\} }.\end{gathered} $$

Let X be any nonempty set and Y be a metric space. A mapping T is called fuzzy mapping if T is a mapping from X into \(F(Y)\). A fuzzy mapping T is a fuzzy subset on \(X\times Y\) with membership function \(T(x)(y)\). The function \(T(x)(y)\) is the grade of membership of y in \(T(x)\). For convenience, we denote the α-level set of \(T(x)\) by \([Tx]_{\alpha}\) instead of \([T(x)]_{\alpha}\) [23].

Definition 1.6

([23])

A point \(x\in X\) is called a fuzzy fixed point of a fuzzy mapping \(T:X\rightarrow F(X)\) if there exists \(\alpha\in(0,1]\) such that \(x\in[ Tx]_{\alpha}\).

Lemma 1.7

Let A and B be nonempty proximal subsets of a dislocated b-metric space \((X,d_{lb})\). If \(a\in A\), then

$$ d(a,B)\leq H(A,B). $$

Lemma 1.8

Let \((X,d_{lb})\) be a dislocated metric space. Let \((P(X),H_{d_{lb}})\) be a dislocated Hausdorff b-metric space. Then, for all \(A,B\in P(X)\) and for each \(a\in A\), there exists \(b_{a}\in B\) satisfying

$$ d_{lb}(a,B)=d_{lb}(a,b_{a}), $$

then

$$ H_{d_{lb}}(A,B)\geq d_{lb}(a,b_{a}). $$

2 Main results

Theorem 2.1

Let \((X,d_{lb})\) be a complete dislocated b-metric space with constant \(b\geq1\). Let \(T:X\rightarrow F(X)\) be a fuzzy mapping, and let \(x_{0}\) be any arbitrary point in X. Suppose there exists \(\alpha (x)\in(0,1]\) for all \(x\in X\) satisfying the following conditions:

$$ \begin{aligned}[b] &{H_{d_{lb}}\bigl([Tx]_{\alpha(x)},[Ty]_{\alpha(y)} \bigr)} \\ &\quad\leq a_{1}d_{lb}\bigl(x,[Tx]_{\alpha(x)} \bigr)+a_{2}d_{lb}\bigl(y,[Ty]_{\alpha (y)} \bigr)+a_{3}d_{lb}\bigl(x,[Ty]_{\alpha(y)}\bigr) +a_{4}d_{lb}\bigl(y,[Tx]_{\alpha (x)}\bigr) \\ &\qquad{}+a_{5}d_{lb}(x,y)+a_{6}\frac{d_{lb}(x,[Tx]_{\alpha (x)})(1+d_{lb}(x,[Tx]_{\alpha(x)}))}{1+d_{lb}(x,y)}\end{aligned} $$
(2.1)

and

$$ d_{lb}\bigl(x_{0},[Tx_{0}]_{\alpha(x_{0})}\bigr) \leq\mu(1-b\mu)r $$
(2.2)

for all \(x,y\in\overline{B_{d_{lb}}(x_{0},r)}\), \(r>0\) and \(b\mu<1\), where \(\mu=\frac{(a_{1}+ba_{3}+a_{5}+a_{6})}{1-(a_{2}+ba_{3})}\). Also, \(a_{i}\geq0 \), where \(i=1,2,\ldots,6\) with \(ba_{1}+a_{2}+b(1+b)a_{3}+b(a_{5}+a_{6})<1\) and \(\sum_{i=1}^{6} a_{i}<1\). Then there exists \(x^{\ast }\) in \(\overline{B_{d_{lb}}(x_{0},r)}\) such that \(x^{\ast}\in[ Tx^{\ast}]_{\alpha(x^{\ast})}\).

Proof

Let \(x_{0}\) be any arbitrary point in X such that \(x_{1}\in[ Tx_{0}]_{\alpha(x_{0})}\). Consider the sequence \(\{ x_{n}\}\) of points in X such that \(x_{n}\in[ Tx_{n-1}]_{\alpha (x_{n-1})}\). First we show that \(x_{n}\in\overline{B_{d_{lb}}(x_{0},r)}\) for all \(n\in \mathbb{N} \). Using (2.2), we get

$$ d_{lb}(x_{0},x_{1})=d_{lb} \bigl(x_{0},[Tx_{0}]_{\alpha(x_{0})}\bigr)\leq\mu (1-b\mu )r< r, $$

which implies \(x_{1}\in\overline{B_{d_{lb}}(x_{0},r)}\). Let \(x_{2},x_{3},\ldots,x_{j}\in\overline{B_{d_{lb}}(x_{0},r)}\), \(j\in \mathbb{N} \). Now, by using Lemma 1.8, we get

$$\begin{gathered}\begin{aligned} d_{lb}(x_{j},x_{j+1}) \leq{}&H_{d_{lb}} \bigl([Tx_{j-1}]_{\alpha (x_{j-1})},[Tx_{j}]_{\alpha(x_{j})}\bigr) \\ \leq{}&a_{1}d_{lb}\bigl(x_{j-1},[Tx_{j-1}]_{\alpha (x_{j-1})} \bigr)+a_{2}d_{lb}\bigl(x_{j},[Tx_{j}]_{\alpha(x_{j})} \bigr) \\ &+a_{3}d_{lb}\bigl(x_{j-1},[Tx_{j}]_{\alpha (x_{j})} \bigr)+a_{4}d_{lb}\bigl(x_{j},[Tx_{j-1}]_{\alpha(x_{j-1})} \bigr) \\ &+a_{5}d_{lb}(x_{j-1},x_{j}) \\ &+a_{6}\frac{d_{lb}(x_{j-1},[Tx_{j-1}]_{\alpha (x_{j-1})})(1+d_{lb}(x_{j-1},[Tx_{j-1}]_{\alpha(x_{j-1})}))}{1+d_{lb}(x_{j-1},x_{j})} \\ \leq {}&a_{1}d_{lb}(x_{j-1},x_{j})+a_{2}d_{lb}(x_{j},x_{j+1})+a_{3}d_{lb}(x_{j-1},x_{j+1}) \\ &+a_{4}d_{lb}(x_{j},x_{j})+a_{5}d_{lb}(x_{j-1},x_{j}) \\ &+a_{6}\frac{d_{lb}(x_{j-1},x_{j})(1+d_{lb}(x_{j-1},x_{j}))}{1+d_{lb}(x_{j-1},x_{j})} \\ \leq{} &a_{1}d_{lb}(x_{j-1},x_{j})+a_{2}d_{lb}(x_{j},x_{j+1})+ba_{3} \bigl[d_{lb}(x_{j-1},x_{j}) \\ &+d_{lb}(x_{j},x_{j+1})\bigr]+a_{5}d_{lb}(x_{j-1},x_{j})+a_{6}d_{lb}(x_{j-1},x_{j}),\end{aligned} \\ d_{lb}(x_{j},x_{j+1}) \leq\frac {a_{1}+ba_{3}+a_{5}+a_{6}}{1-(a_{2}+ba_{3})}d_{lb}(x_{j-1},x_{j}).\end{gathered} $$

Then we have

$$ d_{lb}(x_{j},x_{j+1})\leq\mu d_{lb}(x_{j-1},x_{j}). $$
(2.3)

Continuing in this way and by using (2.3), we have

$$ d_{lb}(x_{j},x_{j+1})\leq\mu^{j}d_{lb}(x_{0},x_{1}), \quad j\in \mathbb{N} . $$
(2.4)

Now,

$$\begin{gathered}\begin{aligned} d_{lb}(x_{0},x_{j+1}) \leq{} &bd_{lb}(x_{0},x_{1})+b^{2}d_{lb}(x_{1},x_{2})+ \cdots +b^{j+1}d_{lb}(x_{j},x_{j+1}) \\ \leq{}&bd_{lb}(x_{0},x_{1})+b^{2}\mu \bigl(d_{lb}(x_{0},x_{1})\bigr)+\cdots \\ &+b^{j+1}\mu^{j+1}\bigl(d_{lb}(x_{0},x_{1}) \bigr)\quad\text{by (2.4)} \\ ={}&\frac{b(1-(b\mu)^{j+1})}{1-b\mu}d_{lb}(x_{0},x_{1}),\end{aligned} \\ d_{lb}(x_{0},x_{j+1}) \leq\frac{b(1-(b\mu)^{j+1})}{1-b\mu}\mu (1-b\mu )r< r\quad\text{by (2.2)},\end{gathered} $$

which implies \(x_{j+1}\in\overline{B_{d_{lb}}(x_{0},r)}\). Hence, by induction \(x_{n}\in\overline{B_{d_{lb}}(x_{0},r)}\) for all \(n\in N\). Now inequality (2.4) can be written as

$$ d_{lb}(x_{n},x_{n+1})\leq\mu^{n} \bigl(d_{lb}(x_{0},x_{1})\bigr) \quad\text{for all } n\in N. $$
(2.5)

Now, for any positive integers m, n (\(n>m\)), we have

$$\begin{aligned} d_{lb}(x_{m},x_{n}) \leq {}&b\bigl(d_{lb}(x_{m},x_{m+1}) \bigr)+b^{2}\bigl(d_{lb}(x_{m+1},x_{m+2}) \bigr)+\cdots \\ &+b^{n-m}\bigl(d_{lb}(x_{n-1},x_{n}) \bigr) \\ \leq{}&b\mu^{m}d_{lb}(x_{0},x_{1})+b^{2} \mu ^{m+1}d_{lb}(x_{0},x_{1})+\cdots \\ &+b^{n-m}\mu^{n-1}d_{lb}(x_{0},x_{1})\quad \text{by (2.5)} \\ \leq{}&b\mu^{m}\bigl(1+b\mu+\cdots+b^{n-m-1}\mu ^{n-m-1} \bigr)d_{lb}(x_{0},x_{1}) \\ \leq{}&\frac{b\mu^{m}}{1-b\mu}d_{lb}(x_{0},x_{1}) \rightarrow0\quad\text{as }m\rightarrow\infty.\end{aligned} $$

Hence \(\{x_{n}\}\) is a Cauchy sequence in \(\overline{B_{d_{lb}}(x_{0},r)}\). As \(\overline{B_{d_{lb}}(x_{0},r)}\) is complete, there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). Now, by Lemma 1.7 and (2.1), we get

$$\begin{aligned} d_{lb}\bigl(z,[Tz]_{\alpha(z)}\bigr) \leq{}&b \bigl[ d_{lb}(z,x_{n+1})+d_{lb}\bigl(x_{n+1},[Tz]_{\alpha(z)} \bigr) \bigr] \\ \leq{}&b \bigl[ d_{lb}(z,x_{n+1})+H_{d_{lb}} \bigl([Tx_{n}]_{\alpha (x_{n})},[Tz]_{\alpha(z)}\bigr) \bigr] \\ \leq{}&\biggl[ d_{lb}(z,x_{n+1})+a_{1}d_{lb}\bigl(x_{n},[Tx_{n}]_{\alpha (x_{n})}\bigr)+a_{2}d_{lb}\bigl(z,[Tz]_{\alpha(z)}\bigr) \\ &+a_{3}d_{lb}\bigl(x_{n},[Tz]_{\alpha(z)}\bigr)+a_{4}d_{lb}\bigl(z,[Tx_{n}]_{\alpha (x_{n})}\bigr)+a_{5}d_{lb}(x_{n},z) \\ &+a_{6}\frac{d_{lb}(x_{n},[Tx_{n}]_{\alpha (x_{n})})(1+d_{lb}(x_{n},[Tx_{n}]_{\alpha(x_{n})}))}{1+d_{lb}(x_{n},z)} \biggr] .\end{aligned} $$

Taking limit \(n\rightarrow\infty\), we get

$$ \bigl(1-b(a_{2}+a_{3})\bigr)d_{lb} \bigl(z,[Tz]_{\alpha(z)}\bigr)\leq0. $$

So, we get

$$ z\in[ Tz]_{\alpha(z)}. $$

Hence, \(z\in X\) is a fixed point. □

Theorem 2.2

Let \((X,d_{lb})\) be a complete dislocated b-metric space with constant \(b\geq1\). Let \(S,T:X\rightarrow F(X)\) be two fuzzy mappings, and let \(x_{0}\) be any arbitrary point in X. Suppose there exist \(\alpha_{S}(x),\alpha_{T}(x)\in(0,1]\) for all \(x\in X\) satisfying the following conditions:

$$ \begin{aligned}[b] H_{d_{lb}}\bigl([Tx]_{\alpha_{T}(x)},[Sy]_{\alpha_{S}(y)}\bigr) \leq{}& a_{1}d_{lb}\bigl(x,[Tx]_{\alpha_{T}(x)} \bigr)+a_{2}d_{lb}\bigl(y,[Sy]_{\alpha_{S}(y)}\bigr) \\&+a_{3}d_{lb}\bigl(x,[Sy]_{\alpha_{S}(y)} \bigr)+a_{4}d_{lb}\bigl(y,[Tx]_{\alpha _{T}(x)} \bigr)+a_{5}d_{lb}(x,y) \end{aligned}$$
(2.6)

and

$$ d_{lb}\bigl(x_{0},[Tx_{0}]_{\alpha(x_{0})}\bigr) \leq\mu(1-b\mu)r $$
(2.7)

for all \(x,y\in\overline{B_{d_{lb}}(x_{0},r)}\), \(r>0\) and \(b\mu<1\), where \(\mu=\frac {a_{1}+a_{2}+ba_{3}+ba_{4}+2a_{5}}{2-(a_{1}+a_{2}+ba_{3}+ba_{4})}\). Also, \(a_{i}\geq0\), where \(i=1,2,\ldots,6\) with \((a_{1}+a_{2})(b+1)+b(a_{3}+a_{4})(b+1)+2ba_{5}<2\) and \(\sum_{i=1}^{5} a_{i}<1\). Then there exists \(x^{\ast}\) in \(\overline{B_{d_{lb}}(x_{0},r)}\) such that \(x^{\ast}\) is a common fixed point of S and T.

Proof

Let \(x_{0}\) be any arbitrary point in X such that \(x_{1}\in[ Tx_{0}]_{\alpha_{T}(x_{0})}\). Consider the sequence \(\{x_{n}\}\) of points in X such that \(x_{2i+1}\in[ Tx_{2i}]_{\alpha (x_{2i})}\), \(x_{2i+2}\in[ Sx_{2i+1}]_{\alpha(x_{2i+1})}\) for \(i=0,1,2,\ldots\) . First we show that \(x_{n}\in\overline {B_{d_{lb}}(x_{0},r)}\) for all \(n\in \mathbb{N} \). Using (2.7), we get

$$ d_{lb}(x_{0},x_{1})=d_{lb} \bigl(x_{0},[Tx_{0}]_{\alpha(x_{0})}\bigr)\leq(1-b\mu)r< r, $$

which implies \(x_{1}\in\overline{B_{d_{lb}}(x_{0},r)}\). Let \(x_{2},x_{3},\ldots,x_{j}\in\overline{B_{d_{lb}}(x_{0},r)}\), \(j\in \mathbb{N} \). If \(j=2i+1\), where \(i=0,1,2,\ldots,\frac{j-1}{2}\). Now, by using Lemma 1.8, we get

$$\begin{aligned} d_{lb}(x_{2i+1},x_{2i+2}) \leq{}&H_{d_{lb}} \bigl([Tx_{2i}]_{\alpha (x_{2i})},[Sx_{2i+1}]_{\alpha(x_{2i+1})}\bigr) \\ \leq{}&a_{1}d\bigl(x_{2i},[Tx_{2i}]_{\alpha (x_{2i})} \bigr)+a_{2}d\bigl(x_{2i+1},[Sx_{2i+1}]_{\alpha(x_{2i+1})} \bigr) \\ &+a_{3}d\bigl(x_{2i},[Sx_{2i+1}]_{\alpha (x_{2i+1})} \bigr)+a_{4}d\bigl(x_{2i+1},[Tx_{2i}]_{\alpha(x_{2i})} \bigr) \\ &+a_{5}d(x_{2i},x_{2i+1}) \\ \leq{} &a_{1}d(x_{2i},x_{2i+1})+a_{2}d(x_{2i+1},x_{2i+2})+a_{3}d(x_{2i},x_{2i+2}) \\ &+a_{4}d(x_{2i+1},x_{2i+1})+a_{5}d(x_{2i},x_{2i+1}) \\ \leq{} &a_{1}d(x_{2i},x_{2i+1})+a_{2}d(x_{2i+1},x_{2i+2}) \\ &+a_{3}b \bigl[d(x_{2i},x_{2i+1})+d(x_{2i+1},x_{2i+2})\bigr]+a_{5}d(x_{2i},x_{2i+1}).\end{aligned} $$

Now, we have

$$ d_{lb}(x_{2i+1},x_{2i+2})\leq\frac {a_{1}+ba_{3}+a_{5}}{1-(a_{2}+ba_{3})}d(x_{2i},x_{2i+1}). $$
(2.8)

Similarly, by symmetry, we have

$$\begin{aligned} d_{lb}(x_{2i+2},x_{2i+1}) \leq{}&H_{d_{lb}} \bigl([Sx_{2i+1}]_{\alpha (x_{2i+1})},[Tx_{2i}]_{\alpha(x_{2i})}\bigr) \\ \leq{}&a_{1}d\bigl(x_{2i+1},[Sx_{2i+1}]_{\alpha (x_{2i+1})} \bigr)+a_{2}d\bigl(x_{2i},[Tx_{2i}]_{\alpha(x_{2i})} \bigr) \\ &+a_{3}d\bigl(x_{2i+1},[Tx_{2i}]_{\alpha (x_{2i})} \bigr)+a_{4}d\bigl(x_{2i},[Sx_{2i+1}]_{\alpha(x_{2i+1})} \bigr) \\ &+a_{5}d(x_{2i+1},x_{2i}) \\ \leq{} &a_{1}d(x_{2i+1},x_{2i+2})+a_{2}d(x_{2i},x_{2i+1})+a_{3}d(x_{2i+1},x_{2i+1}) \\ &+a_{4}d(x_{2i},x_{2i+2})+a_{5}d(x_{2i+1},x_{2i}) \\ \leq{} &a_{1}d(x_{2i+1},x_{2i+2})+a_{2}d(x_{2i},x_{2i+1}) \\ &+a_{4}b\bigl[d(x_{2i},x_{2i+1})+d(x_{2i+1},x_{2i+2})\bigr]+a_{5}d(x_{2i+1},x_{2i}).\end{aligned} $$

So, we have

$$ d_{lb}(x_{2i+2},x_{2i+1})\leq\frac {a_{2}+ba_{4}+a_{5}}{1-(a_{1}+ba_{4})}d(x_{2i},x_{2i+1}). $$
(2.9)

Adding (2.8) and (2.9), we get

$$ d_{lb}(x_{2i+1},x_{2i+2})\leq\frac{a_{1}+a_{2}+ba_{3}+ba_{4}+2a_{5}}{2-(a_{1}+a_{2}+ba_{3}+ba_{4})}d(x_{2i},x_{2i+1}). $$
(2.10)

As

$$ \mu=\frac {a_{1}+a_{2}+ba_{3}+ba_{4}+2a_{5}}{2-(a_{1}+a_{2}+ba_{3}+ba_{4})}< \frac{1}{b}, $$

then, by (2.10), we have

$$ d_{lb}(x_{2i+1},x_{2i+2})\leq\mu d(x_{2i},x_{2i+1}). $$
(2.11)

Similarly, if \(j=2i+2\), where \(i=0,1,2,\ldots,\frac{j-2}{2}\), we have

$$ d_{lb}(x_{2i+2},x_{2i+3})\leq\mu d(x_{2i+1},x_{2i+2}). $$
(2.12)

Now, by (2.11)

$$ d_{lb}(x_{2i+1},x_{2i+2})\leq\mu^{2i+1}d_{lb}(x_{0},x_{1}). $$
(2.13)

Also, by (2.12)

$$ d_{lb}(x_{2i+2},x_{2i+3})\leq\mu^{2i+2}d_{lb}(x_{0},x_{1}). $$
(2.14)

By combining (2.13) and (2.14), we get

$$ d_{lb}(x_{j},x_{j+1})\leq\mu^{j}d_{lb}(x_{0},x_{1}) \quad\text{for all }j\in \mathbb{N} . $$
(2.15)

Now,

$$\begin{gathered}\begin{aligned} d_{lb}(x_{0},x_{j+1}) \leq {}&bd_{lb}(x_{0},x_{1})+b^{2}d_{lb}(x_{1},x_{2})+ \cdots +b^{j+1}d_{lb}(x_{j},x_{j+1}) \\ \leq{}&bd_{lb}(x_{0},x_{1})+b^{2}\mu \bigl(d_{lb}(x_{0},x_{1})\bigr)+\cdots \\ &+b^{j+1}\mu^{j}\bigl(d_{lb}(x_{0},x_{1}) \bigr)\quad\text{by (2.15)} \\ ={}&\frac{b(1-(b\mu)^{j+1})}{1-b\mu}d_{lb}(x_{0},x_{1}),\end{aligned} \\ d_{lb}(x_{0},x_{j+1}) \leq\frac{b(1-(b\mu)^{j+1})}{1-b\mu}\mu (1-b\mu )r< r\quad\text{by (2.7)}\end{gathered} $$

which implies \(x_{j+1}\in\overline{B_{d_{lb}}(x_{0},r)}\). Hence, by induction \(x_{n}\in\overline{B_{d_{lb}}(x_{0},r)}\) for all \(n\in N\). Now inequality (2.15) can be written as

$$ d_{lb}(x_{n},x_{n+1})\leq\mu^{n} \bigl(d_{lb}(x_{0},x_{1})\bigr) \quad\text{for all } n\in N. $$
(2.16)

Now, for any positive integers m, n (\(n>m\)), we have

$$\begin{aligned} d_{lb}(x_{m},x_{n}) \leq &b\bigl(d_{lb}(x_{m},x_{m+1}) \bigr)+b^{2}\bigl(d_{lb}(x_{m+1},x_{m+2}) \bigr)+\cdots \\ &{}+b^{n-m}\bigl(d_{lb}(x_{n-1},x_{n}) \bigr) \\ \leq&b\mu^{m}d_{lb}(x_{0},x_{1})+b^{2} \mu ^{m+1}d_{lb}(x_{0},x_{1})+\cdots \\ &{}+b^{n-m}\mu^{n-1}d_{lb}(x_{0},x_{1})\quad \text{by (2.16)} \\ \leq&b\mu^{m}\bigl(1+b\mu+\cdots+b^{n-m-1}\mu ^{n-m-1} \bigr)d_{lb}(x_{0},x_{1}) \\ \leq&\frac{b\mu^{m}}{1-b\mu}d_{lb}(x_{0},x_{1}) \rightarrow0. \end{aligned}$$

Hence, \(\{x_{n}\}\) is a Cauchy sequence in \(\overline{B_{d_{lb}}(x_{0},r)}\). As \(\overline{B_{d_{lb}}(x_{0},r)}\) is complete, there exists \(z\in X\) such that \(x_{n}\rightarrow z\) as \(n\rightarrow\infty\). Now, by Lemma 1.7 and (2.1), we prove \(z\in X\) to be the common fixed point of S and T.

$$\begin{aligned} d_{lb}\bigl(z,[Sz]_{\alpha(z)}\bigr) \leq{}&b \bigl[ d_{lb}(z,x_{2n+1})+d_{lb}\bigl(x_{2n+1},[Sz]_{\alpha(z)} \bigr) \bigr] \\ \leq{}&b \bigl[ d_{lb}(z,x_{2n+1})+H_{d_{lb}} \bigl([Tx_{2n}]_{\alpha (x_{2n})},[Sz]_{\alpha(z)}\bigr) \bigr] \\ \leq {}&b\bigl[ d_{lb}(z,x_{2n+1})+a_{1}d_{lb}\bigl(x_{2n},[Tx_{2n}]_{\alpha (x_{2n})}\bigr)+a_{2}d_{lb}\bigl(z,[Sz]_{\alpha(z)}\bigr) \\ &+a_{3}d_{lb}\bigl(x_{2n},[Sz]_{\alpha(z)}\bigr)+a_{4}d_{lb}\bigl(z,[Tx_{2n}]_{\alpha (x_{2n})}\bigr)+a_{5}d_{lb}(x_{2n},z) \bigr] .\end{aligned} $$

Taking limit \(n\rightarrow\infty\), we get

$$ \bigl(1-b(a_{2}+a_{3})\bigr)d_{lb} \bigl(z,[Sz]_{\alpha(z)}\bigr)\leq0. $$

So, we get

$$ z\in[ Sz]_{\alpha(z)}. $$

This implies that \(z\in X\) is a fixed point of S. Similarly, we can prove that z is a fixed point of T. Hence, z is a common fixed point of S and T. □

Example 2.3

Let \(X=\mathbb{Q} ^{+}\cup\{0\}\) and \(d_{lb}(x,y)=(x+y)^{2}\), whenever \(x,y\in X\), then \((X,d_{lb})\) is a complete dislocated b-metric space with \(b>1\). Define a fuzzy mapping \(T:X\rightarrow F(X)\) by

$$ T(x) (t)= \left\{ \textstyle\begin{array}{l@{\quad}l} 1,& 0\leq t\leq x/4 \\ 1/2,& x/4< t\leq x/3 \\ 1/4,& x/3< t\leq x/2 \\ 0,& x/2< t\leq1\end{array}\displaystyle \right \vert . $$

For all \(x\in X\), there exists \(\alpha(x)=1\) such that

$$ [ Tx ] _{\alpha(x)}= \biggl[ 0,\frac{x}{4} \biggr] {.} $$

Consider \(x_{0}=1\) and \(r=4\), then \(\overline{B_{d_{lb}}(x_{0},r)}=[0,1]\). Let \(a_{1}=\frac{1}{10}\), \(a_{2}=\frac{1}{20}\), \(a_{3}=\frac {1}{30}\), \(a_{4}=\frac{1}{40}\), \(a_{5}=\frac{1}{50}\), \(a_{6}=\frac{1}{60}\).Then

$$\begin{aligned} H_{d_{lb}}\bigl([Tx]_{\alpha(x)},[Ty]_{\alpha(y)}\bigr) \leq{}& \frac {1}{10}\biggl(x+\frac{x}{4}\biggr)^{2}+ \frac{1}{20}\biggl(y+\frac{y}{4}\biggr)^{2}+ \frac{1}{30}\biggl(x+\frac {y}{4}\biggr)^{2} \\ &+\frac{1}{40}\biggl(y+\frac{x}{4}\biggr)^{2}+ \frac{1}{50}(x-y)^{2}+ \frac{1}{60} \biggl( \frac{(x+\frac{x}{4})^{2} ( 1+(x+\frac {x}{4})^{2} ) }{1+(x+y)^{2}} \biggr)\end{aligned} $$

and

$$ d_{lb}\bigl(x_{0},[Tx_{0}]_{\alpha(x_{0})}\bigr) \leq\mu(1-b\mu)r, $$

where

$$ \mu=\frac{(a_{1}+ba_{3}+a_{5}+a_{6})}{1-(a_{2}+ba_{3})}< \frac{1}{b}. $$

Since all the conditions of Theorem 2.1 are satisfied, there exists \(0\in\overline{B_{d_{lb}}(x_{0},r)}\) which is the fixed point of T.

Example 2.4

Consider \(X= \{0,1,2 \}\). Let \(d_{lb} : X \times X \rightarrow [0,\infty)\) be the mapping defined by

$$d_{lb}(x,y) = \left\{ \textstyle\begin{array}{l@{\quad}l} 0 ,& x=y \mbox{ and } x,y\in\{0,1\} ,\\ \frac{2}{5} ,& x=y \mbox{ and } x,y\in\{2\} ,\\ \frac{1}{2} ,& x\neq y \mbox{ and } x,y\in\{0,2\},\\ 1 ,& x\neq y \mbox{ and } x,y\in\{0,1\},\\ \frac{1}{4} ,& x\neq y \mbox{ and } x,y\in\{1,2\}. \end{array}\displaystyle \right . $$

It is clear that d is a complete dislocated b-metric space with the constant \(b = \frac{4}{3} \). Note that \(d(2,2) \neq0\), so d is not a b-metric and also d is not a metric. Consider \(x_{0}=1\) and \(r=1\), then \(\overline{B_{d_{lb}}(x_{0},r)}=0\). Define the fuzzy mapping \(S,T:X\rightarrow F(X)\) by

$$\begin{gathered} (T0) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l} \frac{3}{4} ,& t=0, \\ 0 ,& t=1,2, \end{array}\displaystyle \right . \\(T1) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l} 0 ,& t=0,1, \\ \frac{3}{4} ,& t=2, \end{array}\displaystyle \right . \\(T2) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l} 0 ,& t=0,2, \\ \frac{3}{4} ,& t=1, \end{array}\displaystyle \right . \end{gathered}$$

and

$$(S0) (t)=(S1) (t)=(S2) (t)= \left\{ \textstyle\begin{array}{l@{\quad}l} \frac{3}{4} ,& t=0, \\ 0 ,& t=1,2. \end{array}\displaystyle \right . $$

Define \(\alpha_{S}(x) =\alpha_{T}(x) = \alpha\), where \(\alpha\in (0,\frac{3}{4}]\). Now we have

$$[Tx]_{\alpha_{T}(x)}= \left\{ \textstyle\begin{array}{l@{\quad}l} \{0\},& x=0, \\ \{2\} ,& x=1, \\ \{1\} ,& x=2, \end{array}\displaystyle \right . $$

and

$$[Sx]_{\alpha_{S}(x)}=\{0\} \quad\mbox{for all } x\in X. $$

For \(x,y\in X\), we get

$$H\bigl([Sx]_{\alpha_{S}(x)},[Ty]_{\alpha_{T}(y)}\bigr)= \left\{ \textstyle\begin{array}{l@{\quad}l} H(\{0\},\{0\})=0 ,& y=0, \\ H(\{0\},\{2\})=\frac{1}{2} ,& y=1, \\ H(\{0\},\{1\})=1 ,& y=2. \end{array}\displaystyle \right . $$

Let \(a_{1}=a_{2}=\frac{1}{4}\), \(a_{3}=0\), \(a_{4}=\frac{1}{4}\), \(a_{5}=0\), we can see that \(b\mu= \frac{20}{21}<1\), where \(\mu=\frac {a_{1}+a_{2}+ba_{3}+ba_{4}+2a_{5}}{2-(a_{1}+a_{2}+ba_{3}+ba_{4})} = \frac{5}{7}\). Also, \(a_{i}\geq0\), where \(i=1,2,\ldots,6\) with \((a_{1}+a_{2})(b+1)+b(a_{3}+a_{4}) (b+1)+2ba_{5} = \frac{35}{18}<2\) and \(\sum_{i=1}^{5} a_{i}<1\). It easy to prove that condition (2.6) in Theorem 2.2 holds. Then there exists \(0 \in[Sx]_{\alpha_{S}(x)} \cap[Ty]_{\alpha_{T}(y)}\).

3 Application

In this section, we indicate that Theorem 2.1 and Theorem 2.2 can be utilized to derive a common fixed point for a multivalued mapping in a dislocated b-metric space.

Theorem 3.1

Let \((X,d_{lb})\) be a complete dislocated b-metric space with constant \(b\geq1\). Suppose that \(R : X \rightarrow P(X)\) are two multivalued mappings satisfying the following conditions:

$$ \begin{aligned}[b] H_{d_{lb}}(Rx,Ry) \leq{}& a_{1}d_{lb}(x,Rx)+a_{2}d_{lb}(y,Ry)+a_{3}d_{lb}(x,Ry) \\ &+a_{4}d_{lb}(y,Rx)+a_{5}d_{lb}(x,y)+a_{6} \frac {d_{lb}(x,Rx)(1+d_{lb}(x,Rx))}{1+d_{lb}(x,y)}\end{aligned} $$
(3.1)

and

$$ d_{lb}(x_{0},Rx_{0})\leq\mu(1-b\mu)r $$
(3.2)

for all \(x,y\in\overline{B_{d_{lb}}(x_{0},r)}\), \(r>0\) and \(b\mu<1\), where \(\mu=\frac{(a_{1}+ba_{3}+a_{5}+a_{6})}{1-(a_{2}+ba_{3})}\). Also, \(a_{i}\geq0 \), where \(i=1,2,\ldots,6\) with \(ba_{1}+a_{2}+b(1+b)a_{3}+b(a_{5}+a_{6})<1\) and \(\sum_{i=1}^{6} a_{i}<1\). Then there exists \(x^{\ast }\) in \(\overline{B_{d_{lb}}(x_{0},r)}\) such that \(x^{\ast}\in Rx^{\ast}\).

Proof

Let \(\alpha: X \rightarrow(0, 1]\) be an arbitrary mapping. Consider two fuzzy mappings \(T : X \rightarrow F(X)\) defined by

$$ (Tx) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l} \alpha(x),&t \in Rx, \\ 0,&t \notin Rx. \end{array}\displaystyle \right . $$

We obtain that

$$[Tx]_{\alpha(x)} = \bigl\{ t : Tx(t) \geq\alpha(x)\bigr\} = Rx. $$

Hence, condition (3.1) becomes condition (2.1) in Theorem 2.1. This implies that there exists \(z \in X\) such that \(z \in[Tz]_{\alpha (z)} = Rz\). □

Theorem 3.2

Let \((X,d_{lb})\) be a complete dislocated b-metric space with constant \(b\geq1\). Suppose that \(R, G : X \rightarrow P(X)\) are two multivalued mappings satisfying the following conditions:

$$ \begin{aligned}[b]H_{d_{lb}}(Rx, Gy) \leq{}& a_{1}d_{lb}(x, Rx)+a_{2}d_{lb}(y, Gy)+a_{3}d_{lb}(x,Gy) \\ &+a_{4}d_{lb}(y,Rx)+a_{5}d_{lb}(x,y)\end{aligned} $$
(3.3)

and

$$ d_{lb}(x_{0}, Rx_{0})\leq\mu(1-b\mu)r $$
(2.7)

for all \(x,y\in\overline{B_{d_{lb}}(x_{0},r)}\), \(r>0\) and \(b\mu<1\), where \(\mu=\frac {a_{1}+a_{2}+ba_{3}+ba_{4}+2a_{5}}{2-(a_{1}+a_{2}+ba_{3}+ba_{4})}\). Also, \(a_{i}\geq0\), where \(i=1,2,\ldots,6\) with \((a_{1}+a_{2})(b+1)+b(a_{3}+a_{4})(b+1)+2ba_{5}<2\) and \(\sum_{i=1}^{5} a_{i}<1\). Then there exists \(x^{\ast}\) in \(\overline{B_{d_{lb}}(x_{0},r)}\) such that \(x^{\ast}\) is a common fixed point of R and G.

Proof

Let \(\alpha: X \rightarrow(0, 1]\) be an arbitrary mapping. Consider two fuzzy mappings \(S, T : X \rightarrow F(X)\) defined by

$$\begin{gathered} (Sx) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l}\alpha(x), &t \in Rx, \\ 0, &t \notin Rx, \end{array}\displaystyle \right . \\(Tx) (t) = \left\{ \textstyle\begin{array}{l@{\quad}l} \alpha(x), &t \in Gx, \\ 0, &t \notin Gx. \end{array}\displaystyle \right .\end{gathered} $$

We obtain that

$$[Sx]_{\alpha(x)} = \bigl\{ t : Sx(t) \geq\alpha(x)\bigr\} = Rx $$

and

$$[Tx]_{\alpha(x)} = \bigl\{ t : Tx(t) \geq\alpha(x)\bigr\} = Gx. $$

Hence, condition (3.3) becomes condition (2.6) of Theorem 2.2. This implies that there exists \(z \in[Sz]_{\alpha(z)} \cap [Tz]_{\alpha(z)} = Rz \cap Gz\). □

4 Conclusion

In the present work we have shown the new concept of fuzzy mappings in a complete dislocated b-metric space. We have also obtained fixed point and common fixed point results for fuzzy mappings in a complete dislocated b-metric space. Our results generalize and extend the concept of Joseph et al. [1] and references therein. We have also given examples to support our results, showing that d is a complete dislocated b-metric space but is not b-metric and metric space. Finally, we related the results to a fixed point for multivalued mappings and fuzzy mappings.

References

  1. Joseph, JM, Roselin, DD, Marudai, M: Fixed point theorem on multi-valued mappings in b-metric spaces. SpringerPlus 5, Article ID 217 (2016)

    Article  Google Scholar 

  2. Zadeh, LA: Fuzzy sets. Inf. Control 8(3), 338-353 (1965)

    Article  MATH  Google Scholar 

  3. Weiss, MD: Fixed points and induced fuzzy topologies for fuzzy sets. J. Math. Anal. Appl. 50, 142-150 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  4. Butnariu, D: Fixed point for fuzzy mapping. Fuzzy Sets Syst. 7, 191-207 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  5. Heilpern, S: Fuzzy mappings and fixed point theorem. J. Math. Anal. Appl. 83(2), 566-569 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  6. Nadler, BS: Multivalued contraction mappings. Pac. J. Math. 30, 475-488 (1969)

    Article  MATH  Google Scholar 

  7. Beg, I, Arshad, M, Shoaib, A: Fixed point on a closed ball in ordered dislocated metric space. Fixed Point Theory 16(2), 195-206 (2015)

    MathSciNet  MATH  Google Scholar 

  8. Arshad, M, Shoaib, A, Vetro, P: Common fixed points of a pair of Hardy Rogers type mappings on a closed ball in ordered dislocated metric spaces. J. Funct. Spaces 2013, Article ID 638181 (2013)

    MathSciNet  MATH  Google Scholar 

  9. Arshad, M, Shoaib, A, Abbas, M, Azam, A: Fixed points of a pair of Kannan type mappings on a closed ball in ordered partial metric spaces. Miskolc Math. Notes 14(3), 769-784 (2013)

    MathSciNet  MATH  Google Scholar 

  10. Arshad, M, Azam, A, Abbas, M, Shoaib, A: Fixed points results of dominated mappings on a closed ball in ordered partial metric spaces without continuity. UPB Sci. Bull., Ser. A 76(2), 123-134 (2014)

    MathSciNet  MATH  Google Scholar 

  11. Hussain, N, Arshad, M, Shoaib, A, Fahimuddin: Common fixed point results for α-ψ-contractions on a metric space endowed with graph. J. Inequal. Appl. 2014, Article ID 136 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  12. Shoaib, A, Arshad, M, Ahmad, J: Fixed point results of locally contractive mappings in ordered quasi-partial metric spaces. Sci. World J. 2013, Article ID 194897 (2013)

    Article  Google Scholar 

  13. Shoaib, A, Arshad, M, Kutbi, MA: Common fixed points of a pair of Hardy Rogers type mappings on a closed ball in ordered partial metric spaces. J. Comput. Anal. Appl. 17, 255-264 (2014)

    MathSciNet  MATH  Google Scholar 

  14. Shoaib, A: α-η dominated mappings and related common fixed point results in closed ball. J. Concr. Appl. Math. 13(1-2), 152-170 (2015)

    MathSciNet  MATH  Google Scholar 

  15. Phiangsungnoen, S, Sintunavarat, W, Kumam, P: Common α-fuzzy fixed point theorems for fuzzy mappings via \(\beta_{\mathcal{F}}\)-admissible pair. J. Intell. Fuzzy Syst. 27(5), 2463-2472 (2014)

    MathSciNet  MATH  Google Scholar 

  16. Phiangsungnoena, S, Kumam, P: Fuzzy fixed point theorems for multivalued fuzzy contractions in b-metric spaces. J. Nonlinear Sci. Appl. 8, 55-63 (2015)

    MathSciNet  MATH  Google Scholar 

  17. Hitzler, P, Seda, AK: Dislocated topologies. J. Electr. Eng. 51(12), 3-7 (2000)

    MATH  Google Scholar 

  18. Karapınar, E, Piri, H, Alsulami, HH: Fixed points of modified F-contractive mappings in complete metric-like spaces. J. Funct. Spaces 2015, Article ID 270971 (2015)

    MathSciNet  MATH  Google Scholar 

  19. Ren, Y, Li, J, Yu, Y: Common fixed point theorems for nonlinear contractive mappings in dislocated metric spaces. Abstr. Appl. Anal. 2013, Article ID 483059 (2013)

    MathSciNet  MATH  Google Scholar 

  20. Matthews, SG: Partial metric topology. Ann. N.Y. Acad. Sci. 728, 183-197 (1994). Proc. 8th Summer Conference on General Topology and Applications

    Article  MathSciNet  MATH  Google Scholar 

  21. Aydi, H, Bota, M-F, Karapınar, E, Mitrović, S: A fixed point theorem for set-valued quasi-contractions in b-metric spaces. Fixed Point Theory Appl. 2012, Article ID 88 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  22. Hussain, N, Roshan, JR, Paravench, V, Abbas, M: Common fixed point results for weak contractive mappings in ordered dislocated b-metric space with applications. J. Inequal. Appl. 2013, Article ID 486 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  23. Azam, A: Fuzzy fixed points of fuzzy mappings via a rational inequality. Hacet. J. Math. Stat. 40(3), 421-431 (2011)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This project was supported by the Theoretical and Computational Science (TaCS) Center under Computational and Applied Science for Smart Innovation Cluster (CLASSIC), Faculty of Science, KMUTT. PK acknowledges the financial support provided by King Mongkut’s University of Technology Thonburi through the “KMUTT 55th Anniversary Commemorative Fund”. SP supported by Rajamangala University of Technology Rattanakosin Research and Development Institute, Rajamangala University of Technology Rattanakosin (RMUTR).

Author information

Authors and Affiliations

Authors

Contributions

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

Corresponding author

Correspondence to Poom Kumam.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shoaib, A., Kumam, P., Shahzad, A. et al. Fixed point results for fuzzy mappings in a b-metric space. Fixed Point Theory Appl 2018, 2 (2018). https://doi.org/10.1186/s13663-017-0626-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-017-0626-8

MSC

Keywords