Common coincidence points for Nadler’s type hybrid fuzzy contractions

In the framework of complete metric spaces, the major objective of this paper is to investigate if a common coincidence point exists for more than two fuzzy mappings meeting the criteria of hybrid fuzzy contractions of Nadler’s type in connection with the Hausdorff metric. Fascinating examples are also provided to show how the strategy can be used. For the presence of a common α-fuzzy fixed point of three and four fuzzy mappings, we have derived sufficient requirements. Further prior observations are offered as corollaries from the relevant literature. Some implications that are clear in this mode and widely covered in literature are expanded upon and included in our study.


Introduction
Von Neumann [17] was the one who first started researching fixed points for multivalued (set-valued) mappings.Nadler started the process of developing geometric fixed point theory for multi-valued mapping [16].To develop the multi-valued contraction principle, also known as Nadler's contraction mapping principle, he merged the concepts of multi-valued mapping, Lipschitz mapping, and the Hausdorff metric.The generalization of Nadler's contraction mapping theory has been the subject of numerous studies [1,23].
In both pure and applied mathematics, fixed point theory is essential.Usually, fixed point techniques have been used in various disciplines, covering biological sciences, the field of economics, technology, the theory of games, nonlinear computer programming, mathematical modeling of differential equations, etc. (see [6,7]).Later, numerous other writers (see [2][3][4][18][19][20]) expanded this finding and investigated the existence of fixed points and common fixed points of fuzzy mappings meeting a contractive type condition.Numerous researchers have utilized fuzzy theory to the well-known outcomes in numerous disciplines, including quantum physics, nonlinear dynamical systems, population dynamics, computer programming, fuzzy stability issues, statistical convergence, functional equations, approximation theory, nonlinear equations, and many others.
As one of the uncertain ways to build mathematical models compatible with real-world problems in engineering, life science, economics, medicine, language theory, and other fields, Zadeh [25] introduced the concept of fuzzy set in 1965.He introduced the idea of a fuzzy set (FS), which builds on the notion of a crisp set by assigning membership values to each element in the range [0, 1].The descriptions of the levels of possession of a certain property are vague because it successfully addresses control issues.
FS theory offers the capacity to deal with issues that crisp set theory finds problematic.Fuzzy sets are used to govern systems that are hazy, complex, and nonlinear in nature.Since it clarifies and condenses the idea of fuzziness and faults, FS theory has made it easier to settle real-world problems.It is currently a widely accepted hypothesis.Many scholars changed fuzzy ideas in many other domains of science, such as [8], due to the theory's adaptability in solving real-world problems.The fundamental concepts of the fuzzy set have been expanded in many ways (see [9,26,27] and references therein).
More specifically, in 1981, Heilpern [10] introduced the idea of fixed point results for fuzzy set-valued mappings and fuzzy contractions by proving a fixed point theorem analogous to the Banach fixed point theorem in the context of fuzzy sets.The existence of fixed points and common fixed points of fuzzy mappings satisfying a contraction kind of requirements was further broadened and examined by a number of authors (see [11-15, 21, 22, 24]).
The aim of this paper is to obtain a common α-fuzzy fixed point of fuzzy mappings under generalized fuzzy contractive conditions in connection with the Hausdorff metric space.This investigation is conducted within the framework of complete metric spaces.To demonstrate how this strategy can be applied, fascinating examples are also provided.We have obtained sufficient conditions for the existence of a common alpha-fuzzy fixed point with three or four fuzzy mappings.The relevant literature's corollaries are presented as additional prior observations.In our study, we go into greater detail about some consequences that are obvious in this mode and are widely discussed in literature.

Preliminaries
In this section, we will go over several key ideas that are necessary for the presentation of our main results, and we will do so in preparation for that presentation.Definition 2.1 [5] Any self-mapping φ defined on a complete metric space (ℵ, ξ ) satisfying for 0 < β < 1 has a unique fixed point.
Note Throughout the article, the collection of all non-empty compact subsets of a space ℵ is denoted C(ℵ), and the collection of all non-empty closed and bounded subsets of a space ℵ is denoted CB(ℵ) Definition 2.2 [16] Let (ℵ, ξ ) be a metric space.The real-valued function Hm defined on CB(ℵ) × CB(ℵ) by Definition 2.3 [16] Let (ℵ, ξ ) be a metric space.For C, D ⊆ ℵ, the distance D * between C and D is defined as: Definition 2.4 [2] Let ℵ be any non-empty set.A function A * with domain ℵ and values in [0, 1] is known as fuzzy set in ℵ.If A * is a fuzzy set and x ∈ ℵ, then the function value A * (x) is called the grade of membership of x ∈ A * .(ℵ) stands for the collection of all fuzzy sets in ℵ unless and until stated otherwise.
Example 2.5 Consider A denotes for the old and B denotes for the young and ℵ = [0, 100].Then A and B both are fuzzy sets that are defined by Fuzzy sets A and B can be seen graphically in Fig. 1 and Fig. 2, respectively.Definition 2.6 [2] The α-level set o fuzzy set A * is denoted by [A * ] α and is defined as: For crisp subset A * of ℵ, we denote the characteristic function of A * by χ A * .A fuzzy set A * in a metric linear space V is said to be an approximate quantity if and only if [A * ] α is compact and convex in V for each α ∈ [0, 1] and sup x∈V A * (x) = 1.Define some sub-collections of (ℵ) and (V ) as follows: R (induced by the Hausdorff metric Hm) as follows: Definition 2.7 [2] Let ℵ be any non-empty set and Y be a metric space.A mapping T is called a fuzzy mapping if T is a mapping from ℵ into (ℵ).A fuzzy mapping T is a fuzzy subset on ℵ × Y with membership function T

(x)(y). The function T(x)(y) is a grade of membership of y in T(x). For convenience, we denote the α-level set of T(x) by [Tx]
Then T is a fuzzy mapping.Notice that x is said to b an α-fuzzy common fixed point of S and T.
For the sake of convenience, we first state some known results for subsequent use in the next section.Lemma 2.11 [16] Let (V , d) be a metric space and E, F ∈ CB(V ) with Hm(E, F) < .Then for each e ∈ E, there exists an element f ∈ F such that ξ (e, f ) < .Lemma 2.12 [16] Let (V , ξ ) be a metric space and E, F ∈ CB(V ) with Hm(E, F) < .Then for each e ∈ E, ξ (e, F) ≤ Hm(E, F).

Main results
Theorem 3.1 Consider a metric space (V , ξ ) and CB(V ) to be the class of all bounded and closed subsets of V. Let S, T, F, G : V → (V ) be fuzzy mappings.Suppose for each u ∈ V , there exists α (3.1) are complete.If there exists ∈ [0, 1) such that then there exists u, u ∈ V such that , where [Sj 0 ] α S (j 0 ) and [Tj 1 ] α T (j 1 ) are closed and bounded subsets of V .Since If = 0 then by inequality (3.6), Also, ⇒ j 1 and j 2 are coincidence points.

Now if
Then the same arguments follow.
Continuing this process, we obtain ⇒ {k n } is a Cauchy sequence in u∈V [Gu] αGu .By completeness of u∈V [Gu] αGu , there Letting n → ∞, we have ξ (z, [Tu] α T (u) ) → 0, and this implies that Hence ⇒ u is a coincidence point of T and G. Now, since {k n } is a Cauchy sequence in u∈V [Fu] α F (u) , so by completeness property z ∈ u∈V [Fu] α F (u) .(This also holds if u∈V [Su] α S (u) is complete).This implies that there exists Hence, u is a coincidence point of F and S. Since and and and and If j, k = 0 then, If j, k = 0 then, Thus, for = 2 3 , all the assumptions of Theorem 3.1 are satisfied to obtain Corollary 3.3 Consider a metric space (V , ξ ) and CB(V ) to be the class of all bounded and closed subsets of V. Let S, F : V → (V ) be two fuzzy mappings.Suppose for each u ∈ V , there exists α S (u), α then there exists u ∈ V such that Proof By setting S = T and F = G in Theorem 3.1, we get the required result.
Theorem 3.4 Consider a metric space (V , ξ ) and S, T, F, G : V → (V ) to be fuzzy mappings.Suppose that and also one of v∈V [Sv] α S (v) or v∈V [Gv] α G (v) and v∈V [Tv] α T (v) or v∈V [Fv] are complete, also [Sv] α S (v) and [Tv] α T (v) are closed and bounded subsets of V .If there exists ∈ [0, 1) such that Then there exists points u, u ∈ V , such that Proof By taking [Fv] α F (v) and [Gv] α G (v) singleton in Theorem 3.1, we have the required results.
Corollary 3.5 Consider a metric space (V , ξ ) and S, T, : V → (V ) to be fuzzy mappings.Suppose that f and g are single valued maps and α ∈ (0, 1]. and also one of v∈V [Sv] α S (v) or gV and v∈V [Tv] α T (v) or fV are complete, also [Sv] α S (v) and [Tv] α T (v) are closed and bounded subsets of V.If there exists ∈ [0, 1) such that Then there exists points u, u ∈ V , such that gu ∈ [Tu] α T (u) and fu ∈ Su α S (u ) .
Theorem 3.6 Consider a metric space (V , ξ ).Let S, T, F : V → (V ) be fuzzy mappings.Suppose that for α ) then there exists u ∈ V such that Proof Let j 0 be the arbitrary fixed element of V. Since [Sj 0 ] α S (j 0 ) = ∅, so let k 1 ∈ [Sj 0 ] α S (j 0 ) , then there exists some . Now By Lemma 2.11, we choose k 2 ∈ [Tj 1 ] α T (j 1 ) such that For this k 2 ∈ [Tj 1 ] α T (j 1 ) , we may use inequality (3.9) to obtain , and so , By Lemma 2.11, we choose by continuing this process, This implies that {k n } is a Cauchy sequence in v∈V [Fv] α F (v) .By completeness there exists an element z ∈ v∈V [Fv] Letting n → ∞, Define S, T, F : V → (V ) as follows Then for = 2 5 , all the axioms of Theorem 3.6 are satisfied to obtain Corollary 3.8 Consider a metric space (V , ξ ) and S, F : V → (V ) to be fuzzy mappings such that Then there exists a point u ∈ Then there exist points u, u ∈ ℵ such that Tu ∩ Gu = ∅ and Su ∩ Fu = ∅.
Proof Consider four fuzzy mapping A, B, C, D : ℵ → (ℵ) defined by Then there exist a point u ∈ ℵ such that Su ∩ Tu ∩ Fu = ∅.
Proof By setting G = F in above theorem, the required result can be obtained.

Conclusion
Integral inequalities and integral inclusions arise in several problems in mathematical physics, control theory, critical point theory for non-smooth energy functional, differentials, variational inequalities, fuzzy set arithmetic, traffic theory, etc.These can be solved by fixed point methods.In this study, coupled common coincidence points for two fuzzy mappings that fulfill a rational inequality and common coincidence points for three fuzzy mappings that meet a rational inequality are constructed within the framework of complete metric spaces.Examples are provided to highlight the superiority and rationality of the discovered results.The concept under consideration here unifies and generalizes a number of well-known coincidence point and fixed point theories in the associated literature.Moreover, our work will motivate researchers to go ahead and help them in finding the solutions of various types of equations and inequalities.We conclude this paper by indicating, in the form of open questions, some directions for further investigation and work.
1. Exploring common coincidence points for mappings having contractive type conditions in rectangular metric, F-metric and fuzzy metric spaces, and so on in the future.
2. Can the conditions of inclusion in all theorems be relaxed?3.If the answer to 2 is yes, then what hypotheses are needed to guarantee the existence of coincidence points?4. Whether the concept of coincidence point for these contractions can be extended to more than four mappings?

Figure 1 Figure 2
Figure 1 Graph of fuzzy set A