Abstract
The main purpose of this research article is to generalize Kannan-type fixed-point (FP) theorems for single-valued mappings and Chatterjea-type FP result for fuzzy mappings (FMs) in the context of complete strong b-metric spaces (MSs). Moreover, fuzzy FPs are established for Suzuki-type fuzzy contraction in the setting of complete strong b-MSs. The conclusions are supported by nontrivial examples to enhance the validity of the results obtained in this study. In addition, previous findings have been made as corollaries from the relevant literature. The numerous implications that this technique has across the literature improve and integrate our findings. Applications of some of the results obtained are also incorporated.
Similar content being viewed by others
1 Introduction
In the past few decades, a noteworthy interest in FP theory has been directed to interchanging recent metric FP results from the usual MSs to some generalized MSs, like quasi-MSs usually called b-MSs introduced by Bakhtin [3] and Czerwik [8]. The class of strong b-MSs lying between the class of b-MSs and the class of MSs was introduced by Kirk and Shahzad [16]. As compared with b-MSs, strong b-MSs have the advantage that open balls are open in the induced topology and, hence, they have given many properties that are similar to the properties of classic MSs. In 1965, Zadeh [32] introduced the notion of fuzzy logic. In the theory of traditional logic, some element does or does not belong to the set, but in fuzzy logic a number from the interval \([0, 1]\) expresses the affiliation of the element to the set. Zadeh started to research the theory of fuzzy sets (FSs) in order to deal with the issue of indeterminacy, which is a real problem that is fundamentally characterized by uncertainty. The concept of the FM was given by Heilpern [13] and for fuzzy contraction mapping in a metric linear space, a theorem was proved by him that is a fuzzy generalization of Banach’s contraction principle. Many authors such as Banach [4], Benavides et al. [5], Ciric [7], Kirk [17], Meir and Keeler [18], Nadler [23], Subrahmanyam [26], and Suzuki [27, 28] proved theorems in which every contraction mapping was a continuous function. Then, in 1968, Kannan [15] was the first who introduced the contraction mapping that was not necessarily continuous.
Fuzzy common FPs for generalized mappings were obtained by Abbas et al. [1], fuzzy FPs and common FPs were established by Azam et al. [2] and fuzzy FPs for FMs were constructed by Estruch and Vidal [10] and Frigon and O’Regan [11]. Işık et al. [14] and Mohammadi et al. [19–22] have established valuable fixed-point and common fixed-point results using various contractive conditions for fuzzy and nonfuzzy mappings in the generalizations of metric spaces.
Also, some other authors [24, 25, 30, 31] worked on the existence of FPs and common FPs of FMs satisfying a contractive-type condition. Fuzzy theory has been applied in several fields, for example quantum physics, nonlinear dynamical systems, population dynamics, computer programming, fuzzy stability problems, statistical convergence, functional equation, approximation theory, nonlinear equations, and many others.
Theorem 1.1
[15] Suppose \((S,d)\) is a complete MS, and \(\theta :S\rightarrow S\) is a mapping. If there exists \(x \epsilon [0,\frac{1}{2})\), satisfying
for all s, \(u \epsilon S\), then θ has a unique FP \(r \epsilon S\) and for any \(s \epsilon S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
After Kannan, Chatterjea [6] also proved a theorem with contraction mapping not necessarily continuous.
Theorem 1.2
[15] Suppose \((S,d)\) is a complete MS, and \(\theta :S\rightarrow S\) is a mapping. If there exists \(x \epsilon [0,\frac{1}{2})\), satisfying
for all s, \(u \epsilon S\), then θ has a unique FP \(r \epsilon S\) and for any \(s \epsilon S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
Further, Gornicki [12] introduced various extensions of the Kannan FP theorem. He proved the following results:
Assume ζ denotes the class of functions that satisfy the condition \(\zeta =\{\phi :(0,\infty )\rightarrow [0,\frac{1}{2}):\phi (t_{n}) \rightarrow \frac{1}{2} \text{ implies } t_{n}\rightarrow 0 \text{ as } n\rightarrow \infty \}\).
Theorem 1.3
[12] Suppose \((S,d)\) is a complete MS and \(\theta :S\rightarrow S\) is a mapping. Also, assume there exists \(\phi \epsilon \zeta \) such that for each s, \(u \epsilon S\) with \(s\neq u\),
Then, θ has a unique FP \(r \epsilon S\) and for any \(s \epsilon S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
In 2021, Doan [9] extended the results in [12] for a class of contractive mappings in strong b-MSs. He proved a new version of FP theorems for single-valued and multivalued mappings by combining the results in [15] and [29].
Theorem 1.4
[9] Suppose \((S,\varpi ,\sigma )\) is a complete strong b-MS with \(\sigma \geq 1\) and \(T:S\rightarrow S\) is a mapping. Assume there exists \(\phi \epsilon \zeta \) such that for each s, \(u \epsilon S\) with \(s\neq u\),
Then, θ has a unique FP \(r \epsilon S\) and for any \(s \epsilon S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
In this article, we obtained the idea from [9] and extended it to [6, 29]. We prove FP theorems for single-valued FMs in strong b-MS by combining the results in [6] and [9].
2 Basic concepts
We recall some results and concepts, which are necessary to understand our results.
Definition 2.1
[16] Suppose S is a nonempty set and \(\sigma \geq 1\). A mapping \(\varpi :S\times S\rightarrow [0,+\infty )\) is called a strong b-metric on S if
- \(sb_{1})\):
-
\(\varpi (s,u)\geq 0\), \(\forall s, u\in S\);
- \(sb_{2})\):
-
\(\varpi (s,u)= 0\) iff \(s=u\);
- \(sb_{3})\):
-
\(\varpi (s,u)= \varpi (u,s)\) \(\forall s, u \in S \);
- \(sb_{4})\):
-
\(\varpi (s,u)\leq \varpi (s,t)+\sigma \varpi (t,u)\), \(\forall s,u, t \in S\).
Then, \((S,\varpi ,\sigma )\) is called strong b-MS.
Theorem 2.2
[29] Suppose \((S,d)\) is a complete MS and \(T:S\rightarrow S\) is a mapping. Define a nonincreasing function \(\psi :[0,1)\rightarrow (\frac{1}{2},1]\) by
Assume that there exists \(x \in [0,1)\) such that \(\psi (x)d(s,\theta s)\leq d(s,u)\) implies \(d(\theta s,\theta u)\leq xd(s,u)\) for all \(s,u \in S\). Then, θ has a unique FP \(r \in S\) and for any \(s \in S\), the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
Definition 2.3
[16] Suppose \((S,\varpi ,\sigma )\) is a strong b-MS, \(\{s_{n}\}\) is a sequence in S, and \(s \in S\). Then,
-
(i)
If \(\lim_{n\rightarrow \infty}\varpi (s_{n},s)=0\), then \(\{s_{n}\}\) is called convergent to s. This means \(\lim_{n\rightarrow \infty}s_{n}=s\) or \(s_{n}\rightarrow s\) as \(n\rightarrow \infty \).
-
(ii)
If \(\lim_{n,m\rightarrow \infty}\varpi (s_{n},s_{m})=0\), then \(\{s_{n}\}\) is called a Cauchy sequence (CS) in S.
-
(iii)
If every CS in S converges in S then \((S,\varpi ,\sigma )\) is complete.
Proposition 2.4
[16] Suppose \((S,\varpi ,\sigma )\) is a strong b-MS and \(\{s_{n}\}\) is a sequence in S. Then,
-
(i)
If \(\{s_{n}\}\) converges to \(s \in S\) and \(u \in S\), then \(s=u\).
-
(ii)
If \(\lim_{n\rightarrow \infty}s_{n}=s \in S\) and \(\lim_{n\rightarrow \infty}u_{n}=u \in S\), then \(\lim_{n,m\rightarrow \infty}\varpi (s_{n},u_{n})=\varpi (s,u)\).
Proposition 2.5
[16] Suppose \(\{s_{n}\}\) is a sequence in strong b-MS \((S,\varpi ,\sigma )\) and
Then, \(\{s_{n}\}\) is a CS in S.
Definition 2.6
[32] Suppose S is any arbitrary set and a function \(A:S \rightarrow [0,1]\) is a FS. The functional value \(A(s)\) is called the grade of membership of s in A. The collection of all FSs in S is denoted by \(F(S)\).
The α-cut of A is denoted by \(A_{\alpha}\) and is defined as follows:
Example 2.7
Consider a FS B defined by the following membership function:
FS B can be seen in Fig. 1.
Here, for any \(\alpha \in (0,1]\), the α-cut of B is
Definition 2.8
[13] Suppose \((S,d)\) is any MS and P is an arbitrary set. θ is called FM if \(\theta : W \rightarrow F(S)\) is a function, i.e., \(\theta (p) \in F(S)\) for each \(p \in P\).
Example 2.9
Let \(P= [-9,9]\) and \(S=[-4, 4]\). Define \(T_{1}:P \longrightarrow F(S)\) by
Then, \(T_{1}\) is a FM. Note that \(T_{1}(x)(y)\in [0,1]\), for all \(x \in P\) and \(y\in S\). The graphical representation \(T_{1}(x)(y)\) showing the possible membership values of y in \(T_{1}(x)\) is given in Fig. 2.
Example 2.10
Let \(S= [-3,3]\). Define \(T_{2}:S \longrightarrow F(S)\) by
Then, \(T_{2}\) is a fuzzy mapping. Note that \(T_{2}(x)(y)\in [0,1]\), for all \(x, y\in S\). The graphical representation \(v=T_{2}(x)(y)\) showing the possible membership values of y in \(T_{2}(x)\) is shown in Figure 3.
Definition 2.11
Suppose \((S,d)\) is a MS and \(CB(S)\) denotes the collection of all nonempty, closed, and bounded subsets of S. Consider a map \(H:CB(S)\times CB(S) \rightarrow \mathbb{R}\). For \(C,E \in CB(S)\) define
where \(d(c,E)=\{\inf d(c,e): e \in E\}\) is the distance of c to meet E. This H is a metric on \(CB(S)\) is called the Hausdorff metric induced by the metric d.
Definition 2.12
Let \((S,\varpi ,K)\) be a strong b-MS. Let \(\theta :S\rightarrow F(S)\) be a FM on S:
where H is the Hausdroff metric on \(F(S)\) induced by ϖ, \([\theta s]_{\alpha _{\theta s}},[\theta u]_{\alpha _{\theta u}} \in F(S)\) and \(d(s,[Lu]_{\alpha _{Lu}})=\inf_{u \in [Lu]_{\alpha _{Lu}}}\varpi (s,u)\).
Lemma 2.13
[2] Suppose \((S,d,b)\) is a b-MS. Then, for \(C,E \in CB(S)\),
-
(i)
\(d(c,E)\leq H(C,E)\), \(c\in C\);
-
(ii)
For \(\varepsilon > 0\) and \(c\in C\), \(\exists e\in E\) such that
$$ d(c,e) \leq H(C,E)+ \varepsilon . $$
Theorem 2.14
Suppose \((S,d)\) is a complete MS. If \(\theta :S\rightarrow F(S)\) is a continuous FM such that \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S satisfying
\(\forall s,u \in S\), where \(0\leq x <\frac{1}{2}\). Then, θ has at least one FP.
3 Main results
In this section, we establish our main results.
Theorem 3.1
Suppose \((S,\varpi ,\sigma )\) is a complete strong b-MS and \(\theta :S\rightarrow S\) is a mapping. Suppose there exists \(\phi \in \zeta \) such that for each \(s,u \in S\) with \(s\neq u\),
Then, θ has a unique FP \(r \in S\) and for any \(s \in S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
Proof
Fix \(s_{0} \in S\) and define a sequence \(\{s_{n}\}\) in S by \(s_{n+1}=\theta s_{n}\) for all integers \(n\geq 0\). Assume that there exists n such that \(s_{n+1}=s_{n}\), then \(s_{n}\) is a FP of θ. Therefore, suppose that \(s_{n+1} \neq s_{n}\) for all \(n\geq 0\). Set \(\varpi _{n}=\varpi (s_{n},s_{n+1})\) for all \(n\geq 0\). By hypothesis, we have
Hence, \(\varpi _{n+1}<\varpi _{n}\) for all \(n\geq 0\) and so \(\{\varpi _{n}\}\) is monotonic decreasing and bounded below, so there exists \(\eta \geq 0\) such that
Let \(\eta > 0\). Then, by hypothesis,
which deduces
This implies that \(\frac{ \varpi _{n+1}}{ \varpi _{n}+\sigma \varpi _{n+1}} \leq \phi ( \varpi _{n})\) for all \(n\geq 0\).
By letting \(n\rightarrow \infty \), we obtain \(\lim_{n\rightarrow \infty}\phi ( \varpi _{n})\leq \frac{1}{2k}\), and since \(\phi \in \zeta \) this in turn gives \(\eta = 0\). Hence, \(\lim_{n\rightarrow \infty} \varpi _{n}=0\).
On the other hand, for positive integers m, n with \(m\neq n\) we obtain
as \(n,m \rightarrow \infty \), so \(\{s_{n}\}\) is a CS in S. By the completeness of S, there is \(r \in S\) such that \(\lim_{n\rightarrow \infty}s_{n}=r\), since
implies \(\varpi (\theta r,r)\rightarrow 0\) as \(n\rightarrow \infty \).
Hence, \(\theta r=r\). Assume r̄ is another FP of θ. By hypothesis,
and hence
Since \((1-2 \phi ( \varpi (r,\bar{r})))\neq 0\), then \(\varpi (r,\bar{r})=0\) and so \(r= \bar{r}\). Hence, θ has a unique FP \(r \in S\). □
Example 3.2
Suppose \(S=\{1,2,3\}\) and let \(\varpi :S\times S \rightarrow [0,+ \infty )\) by
Then, \((S, \varpi ,\sigma =2)\) is a strong b-MS, but it is not MS, because \(7= \varpi (3,1)> \varpi (3,2)+ \varpi (2,1)=\frac{11}{5}\). Let \(\theta :S\rightarrow S\) by \(\theta 1=1\), \(\theta 2=1\), \(\theta 3=2\), and the function \(\phi \in \zeta \) given by \(\phi (t)=t\sin (t)\), \(t>0\) and \(\phi (0) \in [0,\frac{1}{2})\). Then,
Therefore, θ satisfies all the conditions of Theorem 3.1. Hence, 0 is a fixed point of θ.
If we take \(\sigma =1\) in Theorem 3.1, the strong b-MS is a usual MS, then we obtain the following corollary.
Corollary 3.3
Suppose \((S,d)\) is a complete MS and \(\theta :S\rightarrow S\) is a mapping. Assume there exists \(\phi \in \zeta \) such that for each \(s,u \in S\) with \(s\neq u\),
Then, θ has a unique FP \(r \in S\) and for any \(s \in S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
Theorem 3.4
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS with \(\sigma \geq 1\) and \(\theta :S \rightarrow F(S)\) is a fuzzy map. Suppose \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S such that
for all \(s,u \in S\) and \(\beta \in [0,1)\). Then, there exists r such that \(r\in [\theta r]_{\alpha _{\theta r}}\).
Proof
Let \(s_{1}\in [\theta s_{0}]_{\alpha _{\theta s_{0}}}\), with \([\theta s_{1}]_{\alpha _{\theta s_{1}}}\neq \phi \), where \(s_{0}\in S, [\theta s_{0}]_{\alpha _{\theta s_{0}}}\) are closed and bounded subsets of S. By using Lemma 2.13, \(\exists s_{2}\in [\theta s_{1}]_{\alpha _{\theta s_{1}}}\) such that
Now, ∃ \(s_{3}\in [\theta s_{2}]_{\alpha _{\theta s_{2}}}\) for \([\theta s_{2}]_{\alpha _{\theta s_{2}}} \neq \phi \) are closed and bounded subsets of S such that
Given the contracting condition implies:
By utilizing (3.2), we obtain
Generally,
For convenience, we set \(\varpi (s_{n},s_{n+1})= \varpi _{n}\), so it is possible to write the above result as
Consider positive integers m, n. Without loss of generality we suppose that \(m\geq n\). Now,
By utilizing (3.3), we obtain
and hence
In the limiting case, \(m,n \rightarrow \infty \),
This implies that \(\{s_{n}\}\) is a CS in S. The completeness of S implies that there exists \(r\in S\) such that \(s_{n} \rightarrow r\). We will now demonstrate that r is a FP of θ. By utilizing Lemma 2.13,
when \(n \rightarrow \infty \), \(\varpi (r,[\theta r]_{\alpha _{\theta r}})\leq 0\). Thus, \(r\in [\theta r]_{\alpha _{\theta r}}\) and, hence, r is a FP of θ. □
Example 3.5
Consider a set \(S=\{3, 4, 5\}\). A mapping \(\varpi :S\times S\rightarrow [0,\infty )\) defined by
is a strong b-metric. The triplet \((S, \varpi ,\sigma =5 )\) is a complete strong b-MS.
For any \(\alpha \in (0, 1]\), define a mapping \(\theta :S\rightarrow F(S)\) and \(\theta (s):S\rightarrow [0,1]\) by
and
Then,
We also have,
Thus, all hypotheses of Theorem 3.4 are satisfied and \(r=5\) is a unique FP of θ.
Corollary 3.6
Suppose \((S, \varpi )\) is a complete MS with and \(\theta :S \rightarrow F(S)\) is a fuzzy map. Suppose \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S defined as
for all \(s,u \in S\) and \(\beta \in [0,1)\). Then, there exist r such that \(r\in [\theta r]_{\alpha _{\theta r}}\).
Theorem 3.7
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS with \(\sigma \geq 1\) and \(\theta :S \rightarrow F(S)\) is a fuzzy map. Suppose \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S defined by
for all \(s,u \in S\) and \(\beta \in [0,1)\). Then, there exist r in S such that \(r\in [\theta r]_{\alpha _{\theta r}}\).
Proof
Suppose \(\{s_{n}: n\in \mathbb{N}\}\) is a sequence such that \(s_{n+1} \in [\theta s_{n}]_{\alpha _{\theta s_{n}}}\). By using Lemma 2.13, for each \(s_{1}\in [\theta s_{0}]_{\alpha _{\theta s_{0}}}\), \(\exists s_{2}\in [\theta s_{1}]_{\alpha _{\theta s_{1}}}\) such that
By using \(sb_{4}\),
Here, \(\gamma =\frac{\beta}{(1-\beta \sigma )}\), where \(\beta \in (0,\frac{1}{2\sigma })\), then \(\gamma \in (0,\frac{1}{\sigma })\). By using Lemma 2.13 again,
By using \(sb_{4}\),
By using (3.5),
Generally,
To show \(\{s_{n}\}^{\infty}_{n=1}\) is a CS, let \(m,n\in \mathbb{N}\) with \(m>n\) \(\varpi (s_{n},s_{m})\leq \varpi (s_{n},s_{n+1})+\sigma \varpi (s_{n+1},s_{n+2})+ \sigma ^{2} \varpi (s_{n+2},s_{n+3})+\cdots+\sigma ^{m-n-1} \varpi (s_{m-1},s_{m})\). By using (3.6), we have \(\varpi (s_{n},s_{m})\leq \gamma ^{n} \varpi (s_{0},s_{1})+n\gamma ^{n}+ \sigma \gamma ^{n+1} \varpi (s_{0},s_{1})+\sigma (n+1)\gamma ^{n+1}+ \sigma ^{2}\gamma ^{n+2} \varpi (s_{0},s_{1}) +\sigma ^{3}(n+2) \gamma ^{n+3} +\cdots+ s^{m-n-1}\gamma ^{m-1} \varpi (s_{0},s_{1})+s^{m-n-1}(m-1) \gamma ^{m-1} \).
Taking \(m,n \rightarrow \infty \), \(\Rightarrow \varpi (s_{n},s_{m})=0\). Hence, \(\{s_{n}\}\) is a CS in S. Since S is complete, so \(\exists r\in S\) such that \(s_{n} \rightarrow r\).
as \(n\rightarrow \infty \) ⇒ \(\varpi (r,[\theta r]_{\alpha _{\theta r}})\leq 0\). Hence, \(r \in [\theta r]_{\alpha _{\theta r}}\), i.e., r is the FP of θ. □
Corollary 3.8
Suppose \((S, \varpi )\) is a complete MS and \(\theta :S \rightarrow F(S)\) is a fuzzy map. Suppose \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S defined as
for all \(s,u \in S\) and \(\beta \in [0,\frac{1}{2})\). Then, there exists r in S such that \(r\in [\theta r]_{\alpha _{\theta r}}\).
Lemma 3.9
Let \((S, \varpi ,\sigma )\) be a strong b-MS and \([C]_{\alpha _{C}},[E]_{\alpha _{E}} \in F(S)\). If \(H([C]_{\alpha _{C}},[E]_{\alpha _{E}})>0\) then for each \(g>1\) and \(c \in [C]_{\alpha _{C}}\) there exists \(e \in [E]_{\alpha _{E}}\) such that
Proof
Using the characteristics of infimum, with \(\varepsilon =(g-1)H([C]_{\alpha _{C}},[E]_{\alpha _{E}})>0\) there exists \(e \in [E]_{\alpha _{E}}\) such that
On the other hand, by the definition of \(H([C]_{\alpha _{C}},[E]_{\alpha _{E}})\),
This deduces
□
Theorem 3.10
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS and \(\theta :S\rightarrow F(S)\) is a FM. Suppose \([\theta s]_{\alpha _{\theta s}}\) and \([\theta u]_{\alpha _{\theta u}}\) are closed and bounded subsets of S and there exists \(x \in (0,k)\) with \(0< k<\frac{1}{2}\) and \(\alpha \in (0,1]\) satisfying \(\frac{1}{\sigma +1} \varpi (s,[\theta s]_{\alpha _{\theta s}})\leq \varpi (s,u)\) implies \(H([\theta s]_{\alpha _{\theta s}},[\theta u]_{\alpha _{\theta u}}) \leq x\{ \varpi (s,[\theta s]_{\alpha _{\theta s}})+ \varpi (u,[ \theta u]_{\alpha _{\theta u}})\}\), for all \(s,u \in S\). Then, θ has a unique FP \(r \in S\). Moreover, for each \(s \in S\) the sequence of iterates \(\{\theta ^{n}s\}\) converges to r.
Proof
Assume \(s_{0} \in S\) and choose \(s_{1} \in [\theta s_{0}]_{\alpha _{\theta s_{0}}}\).
Step 1. If \(H([\theta s_{0}]_{\alpha _{\theta s_{0}}},[\theta s_{1}]_{\alpha _{ \theta s_{1}}})=0\) then \([\theta s_{0}]_{\alpha _{\theta s_{0}}}=[\theta s_{1}]_{\alpha _{ \theta s_{1}}}\). θ. Thus, \(s_{1}\) is a FP of θ. If \(H([\theta s_{0}]_{\alpha _{\theta s_{0}}},[\theta s_{1}]_{\alpha _{ \theta s_{1}}})>0\), by Lemma 3.9 then for each \(g_{1}>1\), there exists \(s_{2} \in [\theta s_{1}]_{\alpha _{\theta s_{1}}}\) such that
Step 2. Similarly, if \(H([\theta s_{1}]_{\alpha _{\theta s_{1}}},[\theta s_{2}]_{\alpha _{ \theta s_{2}}})=0\) then \([\theta s_{1}]_{\alpha _{\theta s_{1}}}=[\theta s_{2}]_{\alpha _{ \theta s_{2}}}\). Thus, \(s_{2}\) is a FP of θ. If \(H([\theta s_{1}]_{\alpha _{\theta s_{1}}},[\theta s_{2}]_{\alpha _{ \theta s_{2}}})>0\), by Lemma 3.9 then for each \(g_{2}>1\), there exists \(s_{3} \in [\theta s_{2}]_{\alpha _{\theta s_{2}}}\) such that
Step n. Continuing in this manner, if \(H([\theta s_{n-1}]_{\alpha _{\theta s_{n-1}}},[\theta s_{n}]_{ \alpha _{\theta s_{n}}})=0\). Thus, \(s_{n}\) is a FP of θ. If \(H([\theta s_{n-1}]_{\alpha _{\theta s_{n-1}}},[\theta s_{n}]_{ \alpha _{\theta s_{n}}})>0\), by Lemma 3.9 then for each \(g_{n}>1\), there exists \(s_{n+1} \in [\theta s_{n}]_{\alpha _{\theta s_{n}}}\) such that
The above process continues, if at step k satisfying \(H([\theta s_{k-1}]_{\alpha _{\theta s_{k-1}}},[\theta s_{k}]_{ \alpha _{\theta s_{k}}})=0\), then \(s_{k}\) is a FP of θ. If not, we obtain two sequences \(\{s_{n}\}\) and \(\{g_{n}\}\) such that \(s_{n} \in [\theta s_{n-1}]_{\alpha _{\theta s_{n-1}}}\), \(g_{n}>1\) and
Since \(\frac{1}{\sigma +1}d(s_{n-1},[\theta s_{n-1}]_{\alpha _{\theta s_{n-1}}}) \leq \frac{1}{\sigma +1}d(s_{n-1},s_{n})\leq \varpi (s_{n-1},s_{n})\) and by hypothesis, we obtain
We can choose \(g_{n}=\frac{k}{x}>1\) with \(x \in (0,k)\) and \(0< k<\frac{1}{2}\). Then, we obtain \(\varpi _{n}<\frac{k}{1-k} \varpi _{n-1}\), where \(\frac{k}{1-k}<1\) and \(\varpi _{n}= \varpi (s_{n},s_{n+1})\). Thus, \(\varpi _{n}<(\frac{k}{1-k})^{n} \varpi _{0}\) for all \(n\geq 1\). Hence,
By Proposition 2.5, \(\{s_{n}\}\) is a CS in S. Since S is complete, ∃ \(r \in S\) such that \(\lim_{n\rightarrow \infty}s_{n}=r\). Now, we show that for any \(n\geq 0\), either
Arguing by contradiction, we suppose that for some \(n\geq 0\),
Then, by the triangular inequality, we obtain
This is a contradiction. Hence, by hypothesis for each \(n\geq 0\) and from (3.9), either
or
Then, either (3.10) holds for infinity natural numbers n or (3.11) holds for infinity natural numbers n. Suppose (3.10) holds for infinity natural numbers n. We can choose that in that infinity set the sequence \(\{n_{k}\}\) is a monotone strictly increasing sequence of natural numbers. Therefore, sequence \(\{s_{n_{k}}\}\) is a subsequence of \(\{s_{n}\}\) and
which is equivalent to
By taking limits on both sides of the above inequality, we obtain \(d(r,[\theta r]_{\alpha _{\theta r}})=0\). This means that \(r \in [\theta r]_{\alpha _{\theta r}}\). If (3.11) holds for infinity natural numbers n, by using an argument similar to that of above we have r is a FP of θ. Suppose r̄ is another FP of θ, then \(0=\frac{1}{\sigma +1}d(r,[\theta r]_{\alpha _{\theta r}})\leq \varpi (r,\bar{r})\) and by hypothesis,
and so \(H([\theta r]_{\alpha _{\theta r}},[\theta \bar{r}]_{\alpha _{\theta \bar{r}}})=0\) implies \([\theta r]_{\alpha _{\theta r}}=[\theta \bar{r}]_{\alpha _{\theta \bar{r}}}\) means \(r=\bar{r}\). Hence, θ has a unique FP \(r \in S\). □
Example 3.11
Consider a set \(S=\{2,3,4\}\). A mapping \(\varpi :S\times S\rightarrow [0,\infty )\) defined by
is a strong b-metric. The triplet \((S, \varpi ,\sigma =4 )\) is a complete strong b-MS.
For any \(\alpha \in (0, 1]\), define a mapping \(\theta :S\rightarrow F(S)\) and \(\theta (s):S\rightarrow [0,1]\) by
and
Then,
On the other hand, since
for any \(u \in S\ \) and
then \(\frac{1}{5} \varpi (2,[\theta 2]_{\alpha _{\theta 2}})\leq \varpi (2,u)\) implies \(H([\theta 2]_{\alpha _{\theta 2}},[\theta u]_{\alpha _{\theta u}}) \leq x\{ \varpi (2,[\theta 2]_{\alpha _{\theta 2}})+ \varpi (u,[ \theta u]_{\alpha _{\theta u}})\}\), for all \(u \in S\). Again, since \(0=\frac{1}{5} \varpi (3,[\theta 3]_{\alpha _{\theta 3}})\leq \varpi (3,u)\) holds for all \(u \in S\) and
then \(\frac{1}{5} \varpi (3,[\theta 3]_{\alpha _{\theta 3}})\leq \varpi (3,u)\) implies \(H([\theta 3]_{\alpha _{\theta 3}},[\theta u]_{\alpha _{\theta u}}) \leq x\{ \varpi (3,[\theta 3]_{\alpha _{\theta 3}})+ \varpi (u,[ \theta u]_{\alpha _{\theta u}})\}\), for all \(u \in S\). Finally, by \(\frac{1}{5}=\frac{1}{5} \varpi (4,[\theta 4]_{\alpha _{\theta 4}}) \leq \varpi (4,u)\) for all \(u \in S\) and
then \(\frac{1}{5} \varpi (4,[\theta 4]_{\alpha _{\theta 4}})\leq \varpi (4,u)\) implies \(H([\theta 4]_{\alpha _{\theta 4}},[\theta u]_{\alpha _{\theta u}}) \leq x\{ \varpi (4,[\theta 4]_{\alpha _{\theta 4}})+ \varpi (u,[ \theta u]_{\alpha _{\theta u}})\}\), for all \(u \in S\). Thus, all hypotheses of Theorem 3.10 are satisfied and \(r=3\) is a unique FP of θ.
4 Applications
Here, we find FPs for multivalued mappings with the help of our results obtained in Theorems 3.4, 3.7, and 3.10.
In the following, \(CB(S) \) denotes the collection of all closed and bounded subsets of S.
Theorem 4.1
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS with \(\sigma \geq 1\) and \(A :S \rightarrow CB(S)\) is a multivalued mapping such that
for all \(s,u \in S\) and \(\beta \in [0,1)\). Then, there exists r such that \(r\in A(r)\).
Proof
Consider an arbitrary mapping \(B: S\rightarrow (0, 1]\). Define a FM \(\theta : S \rightarrow F(S)\) as follows:
Then, for \(s \in S\),
Now, since \(H([\theta (s)]_{\alpha _{\theta (s)}}, [\theta (u)]_{\alpha _{ \theta (u)}})= H(A(s), A(u))\), Theorem 3.4 can be applied to obtain required FP of A in S. □
Theorem 4.2
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS with \(\sigma \geq 1\) and \(P :S \rightarrow CB(S)\) is a multivalued mapping such that
for all \(s,u \in S\) and \(\beta \in [0,1)\). Then, there exist r in S such that \(r\in P(r)\).
Proof
Consider an arbitrary mapping \(Q: S\rightarrow (0, 1]\). Define a FM \(\theta : S \rightarrow F(S)\) as follows:
Then, for \(s \in S\),
Now, since \(H([\theta (s)]_{\alpha _{\theta (s)}}, [\theta (u)]_{\alpha _{ \theta (u)}})= H(P(s), P(u))\), Theorem 3.7 can be applied to obtain the required FP of P in S. □
Theorem 4.3
Suppose \((S, \varpi ,\sigma )\) is a complete strong b-MS and \(A :S\rightarrow CB(S)\) is a multivalued mapping. Suppose \(x \in (0,k)\) with \(0< k<\frac{1}{2}\) satisfying \(\frac{1}{\sigma +1} \varpi (s,As)\leq \varpi (s,u)\) implies \(H(A (s),A (u))\leq x\{ \varpi (s,A (s))+ \varpi (u,A (u))\}\), for all \(s,u \in S\). Then, A has a unique FP \(r \in S\). Moreover, for each \(s \in S\) the sequence of iterates \(\{A ^{n}s\}\) converges to r.
Proof
Consider an arbitrary mapping \(P: S\rightarrow (0, 1]\). Define a FM \(\theta : S \rightarrow F(S)\) as follows:
Then, for \(s \in S\),
Now, since \(H([\theta (s)]_{\alpha _{\theta (s)}}, [\theta (u)]_{\alpha _{ \theta (u)}})= H(A(s), A(u))\), Theorem 3.10 can be applied to obtain the required FP of A in S. □
5 Conclusion
FP theory is a useful theoretical tool in diverse fields, such as logic programming, functional analysis, artificial intelligence, and many others. In 2021, Doan [9] extended the results in [12] for a class of contractive mappings in strong b-MSs. He proved new versions of FP theorems for single-valued and multivalued mappings by combining the results in [15] and [29]. In this article, we obtained the idea from [9] and extended it to [6] and [29]. We have established FP theorems for fuzzy and nonfuzzy mappings in complete strong b-MS by combining results [6] and [9] and the obtained results are furnished with interesting and nontrivial examples. Moreover, some other contractions are also applied to find fuzzy and nonfuzzy fixed points. Some results for FMs and multivalued mappings are incorporated as corollaries and as applications. Moreover, other direct consequences are obtained as well. We hope these existence results will provide an appropriate environment to approximate further operator equations in applied science.
Data availability
Not applicable.
References
Abbas, M., Damjanovic, B., Lazovic, R.: Fuzzy common fixed point theorems for generalized contractive mappings. Appl. Math. Lett. 23(11), 1326–1330 (2010)
Azam, A.: Fuzzy fixed points of fuzzy mappings via rational inequality. Hacet. J. Math. Stat. 40(3), 421–431 (2011)
Bakhtin, I.A.: The contraction mapping principle in quasimetric spaces. Funct. Anal. 30(1), 26–37 (1989)
Banach, S.: Sur les operation dans les ensembles absttraits et leur application aux equations integrales. Fundam. Math. 03, 133–181 (1922).
Benavides, T.D., Ramirez, P.L., Rahimi, M., Hafshejani, A.S.: Multivalued iterated contractions. Fixed Point Theory 21, 133–166 (2020).
Chatterjea, S.K.: Point theorems. C. R. Acad. Bulgare Sci. 25(6), 727–730 (1972)
Ciric, L.B.: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc. 45, 267–273 (1974).
Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inform. Univ. Ostrav. 1(1), 5–11 (1993)
Doan, H.: New type of Kannan’s fixed point theorem in strong b-metric spaces. AIMS Math. 6(7), 7895–7908 (2021)
Estruch, V.D., Vidal, A.: A note on fixed fuzzy points for fuzzy mappings. In: Proceedings of the II Italian-Spanish Congress on General Topology and Its Applications, vol. 32, pp. 39–45 (2001)
Frigon, M., O’Regan, D.: Fuzzy contractive maps and fuzzy fixed points. Fuzzy Sets Syst. 129(1), 39–45 (2002)
Gornicki, J.: Various extentions of Kannan’s fixed point theorem. Fixed Point Theory Appl. 20, 20 (2018)
Heilpern, S.: Fuzzy mappings and fixed point theorems. J. Math. Anal. Appl. 83(2), 566–569 (1981)
Işık, H., Mohammadi, B., Parvaneh, V., Park, C.: Extended quasi b-metric-like spaces and some fixed point theorems for contractive mappings. Appl. Math. E-Notes 20, 204–214 (2020)
Kannan, R.: Some results on fixed points. Bull. Calcutta Math. Soc. 60, 71–76 (1968).
Kirk, W., Shahzad, N.: Fixed points and Cauchy sequences in semi-metric spaces. J. Fixed Point Theory Appl. 17(3), 541–555 (2015)
Kirk, W.A.: Fixed points of aysmptotic contractions. J. Math. Anal. Appl. 277, 645–650 (2003).
Meir, A., Keeler, E.: A theorem of contraction mappings. J. Math. Anal. Appl. 28, 326–329 (1969).
Mohammadi, B., Dinu, S., Rezapour, S.: Fixed points of Suzuki type quasi-contractions. UPB Sci. Bull., Ser. A 75(3), 3–12 (2013)
Mohammadi, B., Golkarmanesh, F., Parvaneh, V.: Common fixed point results via implic. contract. multi-valued mapp. b-metr. like spaces. Cogent Math. Stat. 5(1), 1493761 (2018)
Mohammadi, B., Hussain, A., Parvaneh, V., Saleem, N., Shahkoohi, R.J.: Fixed point results for generalized fuzzy contractive mappings in fuzzy metric spaces with application in integral equations. J. Math. 2021, 1–11 (2021)
Mohammadi, B., Rezapour, S.: Endpoints of Suzuki type quasi-contractive multifunctions. UPB Sci. Bull., Ser. A 77, 17–20 (2015)
Nadler, S.B. Jr: Multivalued contraction mappings. Pac. J. Math. 30(2), 475–488 (1969)
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)
Rashwan, R.A., Ahmad, M.A.: Common fixed point theorems for fuzzy mapping. Arch. Math. 38(3), 219–226 (2002)
Subrahmanyam, P.V.: Remarks on some fixed point theorems related to Banach’s contraction principle. J. Math. Phys. 8, 445–457 (1974).
Suzuki, T.: Generalized distance and existence theorems in complete metric spaces. J. Math. Anal. Appl. 253, 440–458 (2001).
Suzuki, T.: Several fixed point theorems concerning τ-distance. Fixed Point Theory Appl. 3, 195–209 (2004).
Suzuki, T.: A generalized Banach contraction principle tht characterizes metric completeness. Proc. Am. Math. Soc. 136, 1861–1869 (2007).
Vijayaraju, P., Mohanraj, R.: Fixed point theorems for sequence of fuzzy mappings. Southeast Asian Bull. Math. 28(4), 735–740 (2004)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012(1), 94 (2012)
Zadeh, L.: Fuzzy sets. Inf. Control 8(3), 338–353 (1965)
Funding
This work did not receive any external funding.
Author information
Authors and Affiliations
Contributions
S.K. made conceptualization, methodology and writing draft preparation. H.I. performed the formal analysis, writing-review and editing. S.W. made investigation, review and validation. All authors read and approved the final version.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
This article does not contain any studies with human participants or animals performed by any of the authors.
Competing interests
The authors declare 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 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
Kanwal, S., Işık, H. & Waheed, S. Generalized fixed points for fuzzy and nonfuzzy mappings in strong b-metric spaces. J Inequal Appl 2024, 22 (2024). https://doi.org/10.1186/s13660-024-03101-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-024-03101-9