Pompeiu-Hausdorff Fuzzy <i>b</i>-metric Spaces Are Associated with a Common Fixed Point and Multivalued Mappings

Abstract

The notion of fuzzy logic was introduced by Zadeh. Unlike traditional logic theory, where an element either belongs to the set or does not, in fuzzy logic, the affiliation of the element to the set is expressed as a number from the interval [0, 1]. The study of the theory of fuzzy sets was prompted by the presence of uncertainty as an essential part of real-world problems, leading Zadeh to address the problem of indeterminacy. The theory of a fixed point in fuzzy metric spaces can be viewed in different ways, one of which involves the use of fuzzy logic. Fuzzy metric spaces, which are specific types of topological spaces with pleasing ”geometric” characteristics, possess a number of appealing properties and are commonly used in both pure and applied sciences. Metric spaces and their various generalizations frequently occur in computer science applications. For this reason, a new space called a Pompeiu-Hausdorff fuzzy <i>b</i>-metric space is constructed in this paper. In this space, some new fixed point results are also formulated and proven. Additionally, a general common fixed point theorem for a pair of multi-valued mappings in Pompeiu-Hausdorff fuzzy <i>b</i>-metric spaces is investigated. The findings obtained in fuzzy metric spaces, such as those discussed in Remark 3.1, are generalized by the results in this paper, and additional specific findings are produced and supported by examples. The study of denotational semantics and their applications in control theory using fuzzy <i>b</i>-metric spaces and Pompeiu-Hausdorff fuzzy <i>b</i>-metric spaces will be an important next step.