 Research
 Open access
 Published:
Some setvalued and multivalued contraction results in fuzzy cone metric spaces
Journal of Inequalities and Applications volume 2021, Article number: 110 (2021)
Abstract
This paper aims to present the concept of multivalued mappings in fuzzy cone metric spaces and prove some basic lemmas, a Hausdorff metric, and fixed point results for setvalued fuzzy conecontraction and for multivalued fuzzy conecontraction mappings. We prove a fixed point theorem for multivalued rational type fuzzy conecontractions in fuzzy cone metric spaces. Our results extend and improve some results given in the literature.
1 Introduction
Huang et al. [1] introduced the concept of cone metric spaces by using an ordered Banach space instead of a real number set and proved some fixed point results under cone contraction conditions. After the publication of this article, a number of researchers contributed their ideas to the problems on cone metric spaces by using different contractive type mappings and spaces (see, e.g., [2–11] and the references therein).
Kramosil et al. [12] introduced a fuzzy metric space (FMspace) by using the notion of a fuzzy set and some more notions derived from the one in ordered. These researchers have compared the fuzzy metric notion with the statistical metric space and proved that both conceptions are equivalent in some cases. Later on, the modified form of the metric fuzziness was given by George et al. in [13] by using the continuous tnorm. After that, a number of authors have studied and contributed their ideas to the problems on FMspaces. Some of their results can be found in [14–25] and the references therein.
Lopez et al. [26] introduced the Hausdorff fuzzy metric on a compact set for a given FMspace and proved some properties for a Hausdorff fuzzy metric. Kiany et al. [19] proved some fixed point results for setvalued mappings and an endpoint theorem in FMspaces by using contraction conditions. Some other properties and fixed theorems on multivalued mappings in FMspaces can be found in [27–29].
The concept of a fuzzy cone metric space (FCMspace) was given by Oner et al. in [30]. They established some properties and a fuzzy cone Banach principle theorem. Some more topological properties, fixed point theorems, and common fixed point theorems in FCMspaces can be found in [31–37].
In this paper, we introduce the concept of multivalued mappings in FCMspaces and prove some basic lemmas and a Hausdorff metric in FCMspaces. Our result extends and improves the result of Kiany et al. [19] and presents a setvalued fuzzy cone contraction theorem in FCMspaces. Moreover, we present some fixed point results via multivalued fuzzy cone contractions in FCMspaces by extending and improving the result of Ali et al. [27] and a rational type multivalued fuzzy cone contraction theorem.
2 Preliminaries
Definition 2.1
([38])
A binary operation \(\ast:[0,1]^{2}\to [0,1]\) is called a continuous tnorm if:

(i)
∗ is associative, commutative, and continuous;

(ii)
\(\forall a_{0},a_{1},b_{0},b_{1}\in [0,1]\), then \(1\ast a_{0}=a_{0}\), while \(a_{0}\ast a_{1}\le b_{0}\ast b_{1}\), whenever \(a_{0}\le b_{0}\) and \(a_{1}\le b_{1}\).
The basic continuous tnorms are minimum, the product and the Lukasiewicz tnorms are defined, respectively, as follows (see [38]):
Throughout this paper, a set of natural numbers is denoted by \(\mathbb{N}\) and a real Banach space is denoted by \(\mathbb{E}\). θ represents the zero element of \(\mathbb{E}\).
Definition 2.2
([1])
A subset \(P\subset \mathbb{E}\) is known as a cone if

(i)
\(P\neq \emptyset \), closed, and \(P\ne \{\theta \}\);

(ii)
If \(a_{0}, b_{0}\geq 0\) and \(\mu, \nu \in P\), then \(a_{0} \mu + b_{0} \nu \in P\);

(iii)
If both \(\mu,\mu \in P\), then \(\mu =\theta \).
A partial ordering “⪯” on \(P\subset \mathbb{E}\) is defined by \(\mu \preceq \nu \) if and only if \(\nu  \mu \in P\). \(\mu \prec \nu \) stands for \(\mu \preceq \nu \) and \(\mu \ne \nu \), while \(\mu \ll \nu \) stands for \(\nu  \mu \in \operatorname{int}(P)\) and all cones have nonempty interior.
Definition 2.3
([30])
A 3tuple \((U,F_{m},\ast )\) is known as an FCMspace if \(P\subset \mathbb{E}\) is a cone, U is an arbitrary set, ∗ is a continuous tnorm, and \(F_{m}\) is a fuzzy set on \(U\times U\times \operatorname{int}(P)\) satisfying the following;

(i)
\(F_{m}(\mu, \nu, t)>0\), and \(F_{m}(\mu,\nu,t)=1\) if and only if \(\mu =\nu \);

(ii)
\(F_{m}(\mu,\nu,t)=F_{m}(\nu,\mu,t)\);

(iii)
\(F_{m}(\mu,\omega,t)\ast F_{m}(\omega,\nu,s)\le F_{m}(\mu,\nu,t+s)\);

(iv)
\(F_{m}(\mu,\nu,.):\operatorname{int}(P)\to [0,1]\) is continuous
for all \(\mu,\nu,\omega \in U\) and \(t,s\in \operatorname{int}(P)\).
Definition 2.4
([30])
Let \((U,F_{m},\ast )\) be an FCMspace, \(\mu \in U\), and \((\mu _{n})\) be a sequence in U. Then

(i)
\((\mu _{n})\) is said to converge to μ if, for \(t\gg \theta \) and \(0< r<1\), there exists \(n_{1}\in \mathbb{N}\) such that
$$\begin{aligned} F_{m}(\mu _{n},\mu,t)>1r,\quad \forall n\ge n_{1}. \end{aligned}$$This can be written as \(\lim_{n\to \infty }\mu _{n}=\mu \) or \(\mu _{n}\to \mu \), as \(n\to \infty \).

(ii)
\((\mu _{n})\) is said to be a Cauchy sequence if, for \(t\gg \theta \) and \(0< r<1\), there exists \(n_{1}\in \mathbb{N}\) such that
$$\begin{aligned} F_{m}(\mu _{m},\mu _{n},t)>1r,\quad \forall m,n\ge n_{1}. \end{aligned}$$ 
(iii)
\((U,F_{m},*)\) is complete if every Cauchy sequence is convergent in U.
Lemma 2.5
([30])
Let \((U,F_{m},\ast )\) be an FCMspace. The following statements hold:

(1)
Let \(\mu \in U\) and \((\mu _{n})\) be a sequence in U. Then \(\mu _{n}\to \mu \) if and only if \(\lim_{n\to \infty }F_{m}(\mu _{n},\mu,t)=1\) for \(t\gg \theta \).

(2)
An open ball \(B (\mu _{0}, r, t)\) with center \(\mu _{0}\) and radius \(0< r <1\) can be defined as follows for \(t\gg \theta \):
$$\begin{aligned} B (\mu _{0}, r, t) = \bigl\{ \mu \in U: F_{m} (\mu _{0}, \mu, t) > 1 r\bigr\} . \end{aligned}$$Let
$$\begin{aligned} T_{fc} = \bigl\{ A \subset U: \mu _{0} \in A \textit{ iff } \exists 0< r< 1 \textit{ and } t \gg \theta \textit{ such that } B (\mu _{0}, r, t) \subset A\bigr\} . \end{aligned}$$Then \(T_{fc}\) is a topology on U.
We recall the following definitions given in [27].
Definition 2.6
Let \((U,F_{m},\ast )\) be an FCMspace;

(i)
A function \(g:U\to \mathbb{R}\) is said to be lower semicontinuous if, for any \((\mu _{i})\subset U\) and \(\mu \in U\), \(\mu _{i}\to \mu \) implies \(g(\mu )\leq \limsup_{i\to \infty }g(\mu _{i})\).

(ii)
A function \(g:U\to \mathbb{R}\) is said to be upper semicontinuous if, for any \((\mu _{i})\subset U\) and \(\mu \in U\), \(\mu _{i}\to \mu \) implies \(g(\mu )\geq \limsup_{i\to \infty }g(\mu _{i})\).

(iii)
A multivalued mapping \(G:U\to 2^{U}\) (\(2^{U}\) is the collection of all nonempty subsets of a set U) is called upper semicontinuous if, for any \(\mu \in U\) and a neighborhood B of \(G(\mu )\), there is a neighborhood A of μ such that, for any \(\nu \in A\), we have \(G(\nu )\subset B\).

(iv)
A multivalued mapping \(G:U\to 2^{U}\) is said to be lower semicontinuous if, for any \(\mu \in U\) and a neighborhood B, \(G(\mu )\cap B\neq \emptyset \), there is a neighborhood A of μ such that, for any \(\nu \in A\), we have \(G(\nu )\cap B\neq \emptyset \).
Definition 2.7
Assume that \((U,F_{m},\ast )\) is an FCMspace, \(\mu \in U\), and \((\mu _{i})_{i\in \mathbb{N}}\) is a sequence in U. Then:

(i)
a subset \(A\subseteq U\) is closed if, for every convergent sequence \((\mu _{i})\) in A such that \(\mu _{i}\to \mu \), we have \(\mu \in A\).

(ii)
a subset \(A\subseteq U\) is compact if every sequence in A has a convergent subsequence in A.
Throughout this paper, \(\mathbb{K}(U)\) represents the set of all compact subsets of a set U and \(\mathbb{P}(U)\) represents the set of all nonempty subsets of a set U.
3 Some properties and a Hausdorff fuzzy metric in FCMspaces
Proposition 3.1
Let \((U,F_{m},\ast )\) be an FCMspace. Then \(F_{m}\) is continuous on \(U^{2}\times \operatorname{int}(P)\) for every \(t\gg \theta \) (i.e., \(t\in \operatorname{int}(P)\)).
Proof
Let \(\mu,\nu \in U\), \(t\gg \theta \), and \((\mu _{i},\nu _{i},t_{i})_{i}\) be a sequence in \(X^{2}\times \operatorname{int}(P)\) converging to \((\mu,\nu,t)\). Since \((F_{m}(\mu _{i},\nu _{i},t_{i}))_{i}\) is a sequence in \((0,1]\), there is a subsequence \((\mu _{i_{n}},\nu _{i_{n}},t_{i_{n}})_{n}\) of the sequence \((\mu _{i},\nu _{i},t_{i})_{i}\) such that \((F_{m}(\mu _{i_{n}},\nu _{i_{n}},t_{i_{n}}))_{n}\) converges to a point in \([0,1]\). Fix any \(\varepsilon >0\) such that \(\varepsilon <\frac{t}{2}\), so there is \(i_{0}\in \mathbb{N}\) such that \(tt_{i}<\varepsilon \) for all \(i\ge i_{0}\). Then we have
and
Therefore, by the continuity of the function \(t\longmapsto F_{m}(\mu,\nu,t)\), we can deduce that
Thus, \(F_{m}\) is continuous on \(U^{2}\times \operatorname{int}(P)\). □
Lemma 3.2
Let \((U,F_{m},\ast )\) be an FCMspace such that
for all \(\mu,\nu \in U\), \(t\gg \theta \), and \(b>1\). Let \((\mu _{i})\) be a sequence in U such that
for all \(i\in \mathbb{N}\) and \(a\in (0,1)\). Then \((\mu _{i})\) is a Cauchy sequence in U.
Proof
For every \(i\in \mathbb{N}\) and \(t\gg \theta \), we have that
Thus, for all \(i\in \mathbb{N}\) and \(t\gg \theta \), we have
Now, we choose a constant \(b>1\) and \(l\in \mathbb{N}\) such that \(ab<1\) and \(\sum_{j=l}^{\infty }\frac{1}{b^{j}}=\frac{1/b^{l}}{1(1/b)}<1\). Hence, for \(k\geq i\) and \(t\gg \theta \), we have that
This proves that \((\mu _{i})\) is a Cauchy sequence in U. □
Lemma 3.3
Let \((U,F_{m},\ast )\) be an FCMspace. Then, for every \(\mu \in U\), \(A\in \mathbb{K}(U)\) and \(t\gg \theta \), there exists \(a_{0}\in A\) such that
Proof
Let \(\mu \in U\), \(A\in \mathbb{K}(U)\), and \(t\gg \theta \). Then, by Proposition 3.1, the function \(\nu \longmapsto F_{m}(\mu,\nu,t)\) is continuous. Thus, by the compactness of A, there exists \(a_{0}\in A\) such that
that is,
□
Lemma 3.4
Let \((U,F_{m},\ast )\) be an FCMspace. Then, for all \(\mu \in U\) and \(A\in \mathbb{K}(U)\), the function \(t\longmapsto F_{m}(\mu,A,t)\) is continuous on \(\operatorname{int}(P)\), where \(t\gg \theta \).
Proof
Since \(F_{m}(\mu,A,t)=\sup_{a_{0}\in A}F_{m}(\mu,a_{0},t)\) and for every \(a_{0}\in A\), the function \(t\longmapsto F_{m}(\mu,a_{0},t)\) is continuous on \(\operatorname{int}(P)\), it follows that \(t\longmapsto F_{m}(\mu,A,t)\) is lower semicontinuous on \(\operatorname{int}(P)\). Now, we prove that \(t\longmapsto F_{m}(\mu,A,t)\) is upper semicontinuous on \(\operatorname{int}(P)\).
Let \(t\gg \theta \) and \((t_{j})_{j}\) be a sequence in \(\operatorname{int}(P)\) which converges to t. By Lemma 3.3, there exists \(a_{j}\in A\) such that, for all \(j\in \mathbb{N}\),
Since \(A\in \mathbb{K}(U)\), there are a subsequence \((a_{j_{n}})_{n}\) of the sequence \((a_{j})_{j}\) and a point \(a^{*}\in A\) such that \(a_{j_{n}}\to a^{*}\) in \((U,F_{m},\ast )\). Hence,
for \(t\gg \theta \). Now, by Proposition 3.1, we have that
for \(t\gg \theta \). Consequently, the function \(t\longmapsto F_{m}(\mu,A,t)\) is upper semicontinuous on \(\operatorname{int}(P)\), which concludes the required proof. □
Lemma 3.5
Let \((U,F_{m},\ast )\) be an FCMspace. Then, for every \(A\in \mathbb{K}(U)\) and \(B\in \mathbb{P}(U)\), there exists \(a^{*}\in A\) such that
for \(t\gg \theta \).
Proof
By putting \(\beta =\inf_{a_{0}\in A}F_{m}(a_{0},B,t)\), there is a sequence \((a_{j})_{j}\) in A such that \(\beta +\frac{1}{j}>F_{m}(a_{j},B,t)\) for all \(j\in \mathbb{N}\). Since \(A\in \mathbb{K}(U)\), there are a subsequence \((a_{j_{n}})_{n}\) of \((a_{j})_{j}\) and a point \(a^{*}\in A\) such that \(a_{j_{n}}\to a^{*}\) in \((U,F_{m},\ast )\). Here, we choose an arbitrary point \(b_{0}\in B\). Now, by Proposition 3.1, we have
for \(t\gg \theta \). Since for all \(n\in \mathbb{N}\) and \(\beta +\frac{1}{j_{n}}>F_{m}(a_{j_{n}},b_{0},t)\). Then, by taking the limit \(n\to \infty \), we get
□
Proposition 3.6
Let \((U,F_{m},\ast )\) be an FCMspace. Then, for every \(A,B\in \mathbb{K}(U)\), \(t\longmapsto \inf_{a^{*}\in A}F_{m}(a^{*},B,t)\) is a continuous function in \(\operatorname{int}(P)\), where \(t\gg \theta \).
Proof
By Lemma 3.4, \(t\longmapsto F_{m}(a^{*},B,t)\) is a continuous function in \(\operatorname{int}(P)\). Therefore, \(t\longmapsto \inf_{a^{*}\in A}F_{m}(a^{*},B,t)\) is an upper semicontinuous function in \(\operatorname{int}(P)\).
Now, we prove that \(t\longmapsto \inf_{a^{*}\in A}F_{m}(a^{*},B,t)\) is lower semicontinuous in \(\operatorname{int}(P)\). Let \((t_{j})_{j}\) be any sequence in \(\operatorname{int}(P)\) such that \((t_{j})_{j}\to t\) in \(\operatorname{int}(P)\), where \(t\gg \theta \). By Lemma 3.5, there exists \(a_{j}\in A\) such that, for all \(j\in \mathbb{N}\),
Since \(A\in \mathbb{K}(U)\), there are a subsequence \((a_{j_{n}})_{n}\) of \((a_{j})_{j}\) and a point \(a_{1}\in A\) such that \(a_{j_{n}}\to a_{1}\) in \((U,F_{m},\ast )\). Then, by Lemma 3.3, there exists \(b_{1}\in B\) such that
Now, by Proposition 3.1,
Therefore, for given \(\delta >0\), there exists \(n_{0}\in \mathbb{N}\) such that, for all \(n\geq n_{0}\),
Hence,
for all \(n\geq n_{0}\). Consequently, \(t\longmapsto \inf_{a^{*}\in A}F_{m}(a^{*},B,t)\) is a lower semicontinuous function in \(\operatorname{int}(P)\). It completes the proof. □
Remark 3.7
Note that Proposition 3.6 showed that, for any \(A,B\in \mathbb{K}(U)\), \(t\longmapsto \inf_{b^{*}\in B}F_{m}(A,b^{*},t)\) is a continuous function in \(\operatorname{int}(P)\).
Hausdorff fuzzy cone metric on \(\mathbb{K}(U)\): Let \((U,F_{m},\ast )\) be an FCMspace. Then we define a function \(F_{H}\) on \(\mathbb{K}(U)\times \mathbb{K}(U)\times \operatorname{int}(P)\) by
for all \(A,B\in \mathbb{K}(U)\) and \(t\gg \theta \).
Lemma 3.8
Let \((U,F_{m},\ast )\) be an FCMspace, \(\mu \in U\), \(A\in \mathbb{K}(U)\), \(B\in \mathbb{P}(U)\), and \(s,t\gg \theta \). Then
where \(a_{\mu }\in A\) satisfies \(F_{m}(\mu,A,t)=F_{m}(\mu,a_{\mu },t)\).
Proof
First, we note that an element \(a_{\mu }\in A\) satisfying \(F_{m}(\mu,A,t)=F_{m}(\mu,a_{\mu },t)\) exists by Lemma 3.3. Now, for every \(b\in B\), we have that
Thus, by the continuity of ∗,
□
Theorem 3.9
Assume that \((U,F_{m},\ast )\) is an FCMspace. Then \((\mathbb{K}(U),F_{H},\ast )\) is an FCMspace.
Proof
Suppose that \(A,B,C\in \mathbb{K}(U)\) and \(s,t\gg \theta \). Then, by Lemma 3.5, there exist \(a^{*}\in A\) and \(b^{*}\in B\) such that
and
for \(t\gg \theta \). Thus, \(F_{H}(A,B,t)>0\).
In addition, we know that \(F_{H}(A,B,t)=1\) if and only if \(A=B\), and hence \(F_{H}\) is symmetric, that is,
Moreover, we note that, by Lemma 3.8 and by the continuity of ∗, we have that
for \(s,t\gg \theta \). Since \(\{b_{a_{0}}: a_{0}\in A\}\subseteq B\) such that
for \(s\gg \theta \), we have
for \(s,t\gg \theta \). Similarly, we get that
It follows that
Finally, the continuity of the function \(t\longmapsto F_{H}(A,B,t)\) on the cone is a direct consequence of Proposition 3.6 and Remark 3.7. We conclude that \((\mathbb{K}(U),F_{H},\ast )\) is an FCMspace. □
4 Setvalued mapping results in FCMspaces
In this section, we prove a fixed point theorem for setvalued mappings in FCMspaces.
Theorem 4.1
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to U\) be a setvalued mapping with nonempty compact values such that, for all \(\mu,\nu \in U\) and \(t\gg \theta \),
where \(\delta:\operatorname{int}(P)\to [0,1)\) satisfies
and \(d(\mu,\nu,t)=\frac{t}{F_{m}(\mu,\nu,t)}t\). Moreover, we suppose that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\) and \(\mu _{1}\in G\mu _{0}\). Then G has a fixed point in U.
Proof
First, we notice that, if A and B are nonempty compact subsets of a set U and \(a\in A\), then by Lemma 3.3, there exists \(b\in B\) such that
for \(t\gg \theta \). Thus, given \(\delta \leq F_{H}(A,B,t)\), there exists a point \(b\in B\) such that \(\delta \leq F_{m}(a,b,t)\).
Now, let us fix \(\mu _{0}\) in U and \(\mu _{1}\in G\mu _{0}\). If \(G\mu _{0}=G\mu _{1}\), then \(\mu _{1}\in G\mu _{1}\) and \(\mu _{1}\) is a fixed point of G. The proof is completed. Otherwise, we may assume that \(G\mu _{0}\neq G\mu _{1}\). Then, from (4.1), we have
for \(t\gg \theta \). Since \(\mu _{1}\in G\mu _{0}\) and G is a compactvalued mapping, then again by Lemma 3.3, there exists \(\mu _{2}\in G\mu _{1}\) such that
for \(t\gg \theta \). Similarly,
By induction, we choose a sequence \((\mu _{n})_{n\geq 0}\) in U such that \(\mu _{n}\in G\mu _{n1}\). If \(G\mu _{n1}=G\mu _{n}\) for some n, then \(\mu _{n}\in G\mu _{n}\), and so \(\mu _{n}\) is a fixed point of G. The proof is completed. Otherwise, we may assume that \(G\mu _{n1}\neq G\mu _{n}\). Then from (4.1) we have
Hence, \((F_{m}(\mu _{n},\mu _{n+1},t))_{n}\) is a nondecreasing sequence. Thus, \((d(\mu _{n},\mu _{n+1},t))_{n}\) is a positive nonincreasing sequence, and so it is convergent to some constant, say \(\xi \geq 0\). Recall that
Then there are \(\beta <1\) and \(n_{0}\in \mathbb{N}\) such that
Since \(F_{m}(\mu,\nu,.)\) is nondecreasing, we have from (4.1) and (4.3) that, for \(t\gg \theta \),
Thus, we get that
Hence, by Lemma 3.2, we conclude that \((\mu _{n})\) is a Cauchy sequence in U. Since \((U,F_{m},\ast )\) is complete, there exists \(u\in U\) such that
This implies that
Therefore,
Then there exists \(\beta <\xi <1\) such that
Now, we have to show that \(u\in Gu\). Since \(\mu _{n+1}\in G\mu _{n}\), one writes
for \(t\gg \theta \). Hence, we get that
Thus, there exists a sequence \((r_{n})\) in Gu such that
Now, by Definition 2.3(iii), we have that
for each \(n\in \mathbb{N}\). By using (4.4), (4.5) together with (4.6), we can get
This implies that \(\lim_{n\to \infty }r_{n}=u\). Since \(r_{n}\to u\) and \(r_{n}\in Gu\), using the fact that Gu is closed and compact, we get \(u\in Gu\). □
Without δ mapping directly, we can get the following two corollaries from Theorem 4.1.
Corollary 4.2
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to U\) be a setvalued mapping with nonempty compact values such that, for all \(\mu,\nu \in U\) and \(t\gg \theta \), it satisfies
where \(\beta \in (0,1)\). Furthermore, we assume that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\) and \(\mu _{1}\in G\mu _{0}\). Then G has a fixed point in U.
Corollary 4.3
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to U\) be a setvalued mapping with nonempty compact values such that, for all \(\mu,\nu \in U\) and \(t\gg \theta \), it satisfies
where \(\beta \in (0,1)\). Furthermore, we assume that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\) and \(\mu _{1}\in G\mu _{0}\). Then G has a fixed point in U.
5 Multivalued contraction results in FCMspaces
In this section, we present some fixed point results for multivalued contractions in FCMspaces. Further, we present a fixed point theorem for rational type multivalued contractions. We present some illustrative examples.
Let \(G: U\to 2^{U}\) be a multivalued map. Consider \(g(\mu )=F_{m}(\mu,G\mu,t)\) for \(t\gg \theta \). For \(\alpha \in (0,1)\), we take the set
Theorem 5.1
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to \mathbb{K}(U)\) be a multivalued map. If there exists a constant \(\beta \in (0,1)\) such that, for any \(\mu \in U\), there is \(\nu \in j_{\alpha }^{\mu }\), so that
for \(t\gg \theta \). Suppose that \((U,M,\ast )\) verifies (3.1) for some \(\mu _{0}\in U\). Then G has a fixed point in U, provided \(\beta <\alpha \) and g is upper semicontinuous.
Proof
Since \(G(\mu )\in \mathbb{K}(U)\), by Lemma 3.3, \(J_{\alpha }^{\mu }\) is nonempty for all μ in U and \(\alpha \in (0,1)\). Let us fix \(\mu _{0}\) in U, so there exists \(\mu _{1}\in J_{\alpha }^{\mu _{0}}\), that is, \(\mu _{1}\in G\mu _{0}\) such that
for \(t\gg \theta \). Similarly, for \(\mu _{1}\) in U, there exists \(\mu _{2}\in J_{\alpha }^{\mu _{1}}\), that is, \(\mu _{2}\in G\mu _{1}\), which satisfies
for \(t\gg \theta \). By induction, we obtain a sequence \((\mu _{i})_{i\geq 0}\) in U such that there exists \(\mu _{i+1}\in J_{\alpha }^{\mu _{i}}\), that is, \(\mu _{n+1}\in G\mu _{i}\), which satisfies
for \(t\gg \theta \). On the other hand, \(\mu _{i+1}\in J_{\alpha }^{\mu _{i}}\), which gives that
From (5.3) and (5.4), we get that
i.e.,
Let \(a=\frac{\beta }{\alpha }\), then (5.5) can be expressed as follows:
for \(t\gg \theta \), \(i\in \mathbb{N}\), and \(a\in (0,1)\). Choose a constant \(b>1\) such that \(ab<1\) and \(\sum_{n=0}^{\infty }\frac{1}{b^{n}}<1\), i.e., \(\sum_{n=i}^{j1}\frac{1}{b^{n}}<1\). Then, for all \(j>i\), we get that
where \(i,j\in \mathbb{N}\). Then we have
for \(t\gg \theta \). By Lemma 3.2, it is proved that \((\mu _{i})\) is a Cauchy sequence in U. Since U is complete, there exists \(\mu \in U\) such that \(\mu _{i}\to \mu \) as \(i\to \infty \). In view of (5.3) and (5.4), it is clear that \(g(\mu _{i})=F_{m}(\mu _{i},G\mu _{i},t)\) is an increasing function and converges to 1. Since g is upper semicontinuous, we have
This implies that \(g(\mu )=1\), so that \(F_{m}(\mu,G\mu,t)=1\). Hence, by using Lemma 3.3, we get that \(\mu \in G\mu \). Hence, the proof is completed. □
Corollary 5.2
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to \mathbb{K}(U)\) be a multivalued mapping. If there exists a constant \(\beta \in (0,1)\) such that, for any \(\mu \in U\), we have \(\nu \in j_{\alpha }^{\mu }\) with
for \(t\gg \theta \). Suppose that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\). Then G has a fixed point in U provided that \(\beta <\alpha \) and g is upper semicontinuous.
In a special case, we get the following corollary of Kiany et al. [19].
Corollary 5.3
([19])
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to \mathbb{K}(U)\) be a multivalued map. Suppose that there exists \(\beta \in (0,1)\) such that
for all \(\mu,\nu \in U\) and \(t\gg \theta \). Moreover, assume that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\) and \(\mu _{1}\in G\mu _{0}\). Then G has a fixed point in U.
Remark 5.4
Corollary 5.2 is the generalized form of Corollary 5.3. Suppose that G satisfies the conditions of Corollary 5.3, and if g is upper semicontinuous, then from (5.10) we obtain, for any \(\mu \in U\), \(\nu \in G\mu \), and \(t\gg \theta \),
for \(t\gg \theta \). Hence, G verifies the conditions of Corollary 5.2 and the existence of a fixed point has been proved.
In the following (Example 5.5), we show that Corollary 5.2 is the generalized form of Corollary 5.3.
Example 5.5
Let \(U= \{ \frac{1}{3},\frac{1}{9},\ldots,\frac{1}{3^{i}},\ldots \} \cup \{0,1\}\) and the fuzzy metric \(F_{m}: U^{2}\times (0,\infty )\to [0,1]\) be defined as
Then \((U,F_{m},\ast )\) is a complete FCMspace, where \(\ast:[0,1]^{2}\to [0,1]\) is defined as \(a\ast b=ab\).
Let the multivalued mapping \(G:U\to \mathbb{K}(U)\) be defined as
Since
this shows that G satisfies (3.1). Moreover,
and
There does not exist any \(\beta \in (0,1)\) such that Corollary 5.3 is satisfied. If it exists, then we get
This implies that \(\beta \geq 3^{i1}\), which is a contradiction. On the other hand,
is continuous and so there exists \(\nu \in J_{\frac{3}{4}}^{\mu }\) for any μ such that
Hence, there exists \(\beta =\frac{2}{3}<\frac{3}{4}\) such that
Then, by Corollary 5.2, we can get the existence of a fixed point of G in U.
Now, we will deal with rational type multivalued contractions in FCMspaces. For this, let \(G: U\to 2^{U}\) be a multivalued map. Define \(g(\mu )=F_{m}(\mu,G\mu,t)\) for \(t\gg \theta \). For \(\alpha \in (0,1)\), define the set
Theorem 5.6
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to \mathbb{K}(U)\) be a multivalued map. If there exists a constant \(\beta \in (0,1)\) such that, for any \(\mu \in U\), there is \(\nu \in j_{\alpha }^{\mu }\) so that
for \(t\gg \theta \). Suppose that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\). Then G has a fixed point in U provided that \(\beta <\alpha \) and g is upper semicontinuous.
Proof
Since \(G(\mu )\in \mathbb{K}(U)\), by Lemma 3.3, we have that \(J_{\alpha }^{\mu }\) is nonempty for any μ in U and \(\alpha \in (0,1)\). Let us fix \(\mu _{0}\in U\), so there exists \(\mu _{1}\in J_{\alpha }^{\mu _{0}}\). Then, by (5.12), for \(t\gg \theta \),
by using Definition 2.3(iii) and \(F_{m}(\mu _{0},\mu _{2},2t)\geq F_{m}(\mu _{0},\mu _{1},t)\ast F_{m}( \mu _{1},\mu _{2},t)\) for \(t\gg \theta \). After simplification, we get that
Again for \(\mu _{1}\in U\), there exists \(\mu _{2}\in J_{\alpha }^{\mu _{1}}\). In view of (5.12),
Again by Definition 2.3(iii), \(F_{m}(\mu _{1},\mu _{3},2t)\geq F_{m}(\mu _{1},\mu _{2},t)\ast F_{m}( \mu _{2},\mu _{3},t)\) for \(t\gg \theta \). After simplification, we get that
Similarly, by induction, we obtain a sequence \((\mu _{i})_{i\geq 0}\) in U such that there exists \(\mu _{i+1}\in J_{\alpha }^{\mu _{i}}\), then by (5.12)
On the other hand, by (5.11) and \(\mu _{i+1}\in J_{\alpha }^{\mu _{i}}\),
From (5.13) and (5.14), we can obtain
for \(t\gg \theta \), that is,
for \(t\gg \theta \). Let \(a=\frac{\beta }{\alpha }\), then (5.15) can be expressed as follows:
for all \(i\in \mathbb{N}\) and \(a\in (0,1)\). Choose a constant \(b>1\) such that \(ab<1\) and \(\sum_{n=0}^{\infty }\frac{1}{b^{n}}<1\), i.e., \(\sum_{n=i}^{j1}\frac{1}{b^{n}}<1\). Then, for all \(j>i\), we get
where \(i,j\in \mathbb{N}\). Then we have
for \(t\gg \theta \). By Lemma 3.2, we have that
It is proved that \((\mu _{i})\) is a Cauchy sequence in U. Since U is complete, there exists \(\mu \in U\) such that \(\mu _{i}\to \mu \) as \(i\to \infty \). In view of (5.13) and (5.14), it is clear that \(g(\mu _{i})=F_{m}(\mu _{i},G\mu _{i},t)\) is an increasing function and converges to 1. Since g is upper semicontinuous, we have
This implies that \(g(\mu )=1\), so that \(F_{m}(\mu,G\mu,t)=1\). Hence, by using Lemma 3.3, we get that \(\mu \in G\mu \). □
Directly from Theorem 5.6, we get the following corollary.
Corollary 5.7
Let \((U,F_{m},\ast )\) be a complete FCMspace and \(G: U\to \mathbb{K}(U)\) be a multivalued map. If there exists a constant \(\beta \in (0,1)\) such that
for all \(\mu,\nu \in U\) and \(t\gg \theta \). Moreover, assume that \((U,F_{m},\ast )\) satisfies (3.1) for some \(\mu _{0}\in U\) and \(\mu _{1}\in G\mu _{0}\). Then G has a fixed point in U.
Example 5.8
Let \(U=\{0.4, 0.4^{2},\ldots, 0.4^{i}, \ldots \}\cup \{0,1\}\). Let \(G:U\to \mathbb{K}(U)\) be defined as
Since
which shows that G satisfies (3.1). By a direct calculation as discussed in Example 5.5, we get \(\beta \geq 0.4^{i1}\) which is a contradiction to the fact that \(\beta \geq 0.4^{i1}\to 0\), as \(i\to \infty \), where \(\beta \in (0,1)\). On the other hand, we define
It is continuous and so there exists \(\nu \in J_{0.3}^{\mu }\) for any μ such that
That is,
Hence, there exists \(\beta =0.5< 0.8\), and from (5.20) we get, for \(t\gg \theta \),
Then the existence of a fixed point follows from Corollary 5.7.
Availability of data and materials
No data set were generated or analysed during this current study.
References
Huang, L., Zhang, X.: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332, 1468–1476 (2007)
Altun, I., Damjanović, B., Djorić, D.: Fixed point and common fixed point theorems on ordered cone metric spaces. Appl. Math. Lett. 23, 310–316 (2010)
Abbas, M., Khan, M.A., Radenović, S.: Common coupled fixed point theorems in cone metric spaces for wcompatible mappings. Appl. Math. Comput. 217, 195–202 (2010)
Janković, S., Kadelburg, Z., Radenović, S.: On cone metric spaces: a survey. Nonlinear Anal. 74, 2591–2601 (2011)
Rehman, S.U., Jabeen Muhammad, S., Ullah Hanifullah, H.: Some multivalued contraction theorems on \(\mathcal{H}\)cone metric. J. Adv. Stud. Topol. 10(2), 11–24 (2019)
Aydi, H., Karapinar, E., Shatanawi, W.: Coupled fixed point results for \((\psi,\varphi )\)weakly contractive condition in ordered partial metric spaces. Comput. Math. Appl. 62, 4449–4460 (2011)
Ameer, E., Aydi, H., Arshad, M., Alsamir, H., Noorani, M.S.: Hybrid multivalued type contraction mappings in \(\alpha _{K}\)complete partial bmetric spaces and applications. Symmetry 11(1), 86 (2019)
Parvaneh, V., Haddadi, M.R., Aydi, H.: On best proximity point results for some type of mappings. J. Funct. Spaces 2020, Article ID 6298138 (2020)
Aydi, H., Lakzian, H., Mitrovic, Z.D., Radenović, S.: Best proximity points of MFcyclic contractions with property UC. Numer. Funct. Anal. Optim. 41(7), 871–882 (2020)
Karapinar, E., Czerwik, S., Aydi, H.: \((\alpha,\psi )\)Meir–Keeler contraction mappings in generalized bmetric spaces. J. Funct. Spaces 2018, Article ID 3264620 (2018)
Turkoglu, D., Abuloha, M.: Cone metric spaces and fixed point theorems in diametrically contractive mappings. Acta Math. Sin. Engl. Ser. 26, 489–496 (2010)
Kramosil, O., Michalek, J.: Fuzzy metric and statistical metric spaces. Kybernetika 11, 336–344 (1975)
George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64, 395–399 (1994)
Javed, K., Uddin, F., Aydi, H., Mukheimer, A., Arshad, M.: Orderedtheoretic fixed point results in fuzzy bmetric spaces with an application. J. Math. 2021, Article ID 6663707 (2021)
Javed, K., Uddin, F., Aydi, H., Arshad, M., Ishtiaq, U., Alsamir, H.: On fuzzy bmetriclike spaces. J. Funct. Spaces 2021, Article ID 6615976 (2021)
Grabiec, M.: Fixed point in fuzzy metric spaces. Fuzzy Sets Syst. 27, 385–389 (1988)
Gregori, V., Sapena, A.: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 125, 245–252 (2002)
Hadzic, O., Pap, E.: Fixed point theorem for multivalued mappings in probabilistic metric spaces and an applications in fuzzy metric spaces. Fuzzy Sets Syst. 127, 333–344 (2002)
Kiany, F., AminiHaradi, A.: Fixed point and endpoint theorems for setvalued fuzzy contraction maps in fuzzy metric spaces. Fixed Point Theory Appl. 2011, 94 (2011)
Li, X., Rehman, S.U., Khan, S.U., Aydi, H., Hussain, N., Ahmad, J.: Strong coupled fixed point results in fuzzy metric spaces with an application to Urysohn integral equations. Dyn. Syst. Appl. 2020, 29 (2020)
Mihet, D.: On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets Syst. 158, 915–921 (2007)
Razani, A.: A contraction theorem in fuzzy metric space. Fixed Point Theory Appl. 3, 257–265 (2005)
Rehman, S.U., Chinram, R., Boonpok, C.: Rational type fuzzycontraction results in fuzzy metric spaces with an application. J. Math. 2021, Article ID 6644491 (2021)
Marasi, H.R., Aydi, H.: Existence and uniqueness results for twoterm nonlinear fractional differential equations via a fixed point technique. J. Math. 2021, Article ID 6670176 (2021)
Sadeghi, Z., Vaezpour, S.M., Park, C., Saadati, R., Vetro, C.: Setvalued mappings in partially ordered fuzzy metric spaces. J. Inequal. Appl. 2014, 157 (2014)
Lopez, J.R., Romaguera, S.: The Hausdorff fuzzy metric on compact sets. Fuzzy Sets Syst. 147, 273–283 (2004)
Ali, B., Abbas, M.: Fixed point theorems for multivalued contractive mappings in fuzzy metric spaces. Am. J. Appl. Math. 3, 41–45 (2015)
Sen, M.D.L., Abbas, M., Saleem, N.: On optimal fuzzy best proximity coincidence points of proximal contractions involving cyclic mappings in nonArchimedean fuzzy metric spaces. Mathematics 5, 22 (2017)
Feng, Y., Liu, S.: Fixed point theorems for multivalued contractive mappings and multivalued Caristi type mappings. J. Math. Anal. Appl. 317, 103–112 (2006)
Oner, T., Kandemire, M.B., Tanay, B.: Fuzzy cone metric spaces. J. Nonlinear Sci. Appl. 8, 610–616 (2015)
Ali, A.M., Kanna, G.R.: Intuitionistic fuzzy cone metric spaces and fixed point theorems. Int. J. Math. Appl. 3, 25–36 (2017)
Jabeen, S., Rehman, S.U., Zheng, Z., Wei, W.: Weakly compatible and quasicontraction results in fuzzy cone metric spaces with application to the Urysohn type integral equations. Adv. Differ. Equ. 2020, 280 (2020)
Oner, T.: Some topological properties of fuzzy cone metric spaces. J. Nonlinear Sci. Appl. 9, 799–805 (2016)
Oner, T.: On some results in fuzzy cone metric spaces. Int. J. Adv. Comp. Eng. Netw. 4, 37–39 (2016)
Rehman, S.U., Li, H.X.: Fixed point theorems in fuzzy cone metric spaces. J. Nonlinear Sci. Appl. 10, 5763–5769 (2017)
Rehman, S.U., Jabeen, S., Abbas, F., Ullah, H., Khan, I.: Common fixed point theorems for compatible and weakly compatible maps in fuzzy cone metric spaces. Ann. Fuzzy Math. Inform. 19(1), 1–19 (2020)
Chen, G.X., Jabeeen, S., Rehman, S.U., Khalil, A.M., Abbas, F., Kanwal, A., Ullah, H.: Coupled fixed point analysis in fuzzy cone metric spaces with an application to nonlinear integral equations. Adv. Differ. Equ. 2020, 671 (2020)
Schweizer, B., Sklar, A.: Statical metric spaces. Pac. J. Math. 10, 314–334 (1960)
Acknowledgements
The authors have equally contributed to the findings and writing of this research work.
Funding
This work does not receive any external funding.
Author information
Authors and Affiliations
Contributions
All the authors have equally contributed to the final manuscript. All the authors have read and approved the manuscript.
Corresponding author
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/.
About this article
Cite this article
Rehman, S.U., Aydi, H., Chen, GX. et al. Some setvalued and multivalued contraction results in fuzzy cone metric spaces. J Inequal Appl 2021, 110 (2021). https://doi.org/10.1186/s13660021026463
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660021026463