Scinovex
article Open Access

Existence of fixed point results associated with fuzzy metric spaces and its Generalazations

Abstract

Fuzzy metric spaces extend classical metric spaces to address ambiguity and uncertainty, providing a robust framework for theoretical and practical analysis. This paper explores fixed-point results in fuzzy settings, beginning with foundational concepts and extending the Banach Contraction Principle. Applications span economics, game theory, image processing, control systems, machine learning, and historical modelling. Computational methods, including algorithms and numerical techniques, support the identification of fixed points in uncertain environments. The study concludes by identifying open challenges and future directions in advancing fuzzy metric space research.

Full Text

Tables and figures are in the full-text PDF.

Introduction

Mathematics, as a time-honored language and a cornerstone of clinical inquiry, usually evolves to fulfill the challenges posed by an ever-expanding spectrum of actual global troubles. Among its many aspects, the exploration of constant factor theorems is a testament to the elegance and application of mathematical standards. This research embarks on a captivating adventure within this mathematical realm, focusing on the life of constant point consequences in the context of fuzzy metric areas and their profound applications, thereby pushing the boundaries of traditional fixed factor theory. From Euclid's geometric proofs [1] to the contemporary dynamical structures theory, fixed factors have held a special place in mathematical discourse. In the early 1900s, Banach and Brouwer made significant contributions with their Fixed Point Theorem and Contraction Mapping Theorem [2,3] . These theorems demonstrated the inherent locations and pervasiveness of fixed components. These classical theorems are observed on-the-spot programs in numerous fields, including differential equations and optimization problems. However, their applicability is contingent upon the underlying area conforming to a strict metric shape. Fuzzy units were first presented by Zadeh in 1965 as a mathematical framework for effectively handling imprecision, ambiguity, and uncertainty in the representation of information [4] .

1.1 Fuzzy Metric Spaces: Definition and Basic Properties 1. Using fuzzy metric spaces makes it feasible to have ambiguous site distances. Assume that 𝑋 does not include any empty elements and that the expression satisfies the below conditions for any or in 𝑠 . Also, assume that does not contain any empty elements. The analysis can move forward if one chooses to do so. As a direct result, we can continue with the inquiry. It enables the conducting of examinations and inquiries.

2. The identity of indiscernibles is that always equals 0when are equal, and it is never a negative integer. This statement can only be verified under the conditions mentioned earlier. As was demonstrated, indiscernibles can never have a negative value. There is no way to differentiate indistinguishable.

3. The symmetry of the variables may be shown by looking at the equation equals which can be found in the previous sentence.

4. An inequality that involves a triangle and requires must be smaller than . for the inequality to be valid. The distance between two locations may be estimated via fuzzy metric spaces using a fuzzy integer or a fuzzy set based on the range . Make use of a number that needs to be clarified. This is true even if a third location is precisely located in the middle of the two being considered, according to the findings of the study that Moussaoui carried out and A. 2022 [5] . "

Fixed Point Theorems in Fuzzy Metric Spaces

Principle of Banach Contraction in Fuzzy Metric Spaces" The concept in mathematics denoted by the ordered pair where is a non-empty set and denotes a fuzzy distance function, is sometimes referred to as a fuzzy metric space. In the context of a self-mapping transformation on a set , it is stated that is considered fuzzy and is self-contracted if and only if the inequality holds for every and in . In the context of fuzzy metric spaces, the fulfillment of the contraction conditions outlined in the Banach Contraction Principle guarantees the existence of a unique fixed point inside the set , given that certain criteria for fuzzy self-contraction mapping are satisfied. The function exhibits complete congruence with when assumes a specified location inside the set . It may be argued that a specific point in a fuzzy metric space is considered constant if and only if the fuzzified distance between the two mapped sets, designated as and is less than or equal to instances of the fuzzified distance between x and y, for any value less than one. This condition is satisfied alone when the disparity between and is less than or equal to the overall count of instances.

2 Main Results based on Particular Theorems 2.1 Kakutani's Fixed Point Theorem for Fuzzy Metric Spaces: Kakutani, S. (1941) [6] Let us consider the distance, denoted as d, in a metric space of significant size between two arbitrary points, and . Here, represents the space itself, while represents the distance between the two points. In this context, the symbol represents the interval denoting a range of values. Additionally, the function represents the distance between two points 𝑥 and 𝑦. The physical distance between two coordinate systems may be determined using this particular tool. The response to the question, "What is the value of for the mapping is " times ." It is necessary to establish whether or not represents a contraction mapping with that is less than 1. It is the same as stating that equals when declaring that equals First, to determine the most significant possible distance that may travel between the two points, set and to and , respectively. As a direct result of this, the value of is equivalent to 0.8 times the distance that separates and , divided by With a value of satisfies the criteria for contraction since is less than , the required threshold. The Banach Contraction Principle states that should be equal when just one fixed point exists. One stationary point is used for this purpose. Calculate using the formula after adjusting to equal " Finding the fixed point may be aided by this. Consequently, the sole fixed point is when The investigation was done by Bag and Samanta in 2007 [7] . [8] Kakutani's theory on fixed points in fuzzy metric spaces might be seen as a simplification of Nadler's theorem. Kakutani's theorem is predicated on the antecedent assertion as a foundational assumption. The current study's extensive mapping of fuzzy measures into metric spaces uncovers a fixed point via the use of a theoretical framework, leading to this result. In order to use Nadler's fixed point theorem in the context of the metric space , it is necessary for the mapping to adhere to the aforementioned prerequisites. The only need is to satisfy all of the aforementioned conditions. The establishment of a fixed point inside the set for the function is accomplished by the comparison of the squares of function with the variables and . This condition holds true for all instances of and inside the set

Nadler's Fixed-Point Theorem for Fuzzy Metric Spaces: Nadler, S. B. Jr. (1969)

The function may be defined as the result of multiplying 0.8 by any real number 𝑥 within the interval The Banach Contraction Principle demonstrates that only one fixed point is inside the range for the variable . First, prove that T maps contractions. Determine the furthest possible distance that may be put between any two points in the range

The expression equals when interpreted symbolically: The difference between 𝑥 and 𝑦 is one and zero is one when both of them are true. meets the criteria for a contraction with 𝑘 equal to for any and in the range This is because equals This is because 0.8 is a less significant number than The Banach Contraction is the next step in the process. "The Banach Fixed Point Theorem, alternatively referred to as the Banach Contraction Principle, posits that a mapping that satisfies the condition of contraction in a metric space can possess, at most, a solitary fixed point [9] ." The interval may represent the whole metric space The third stage is going to be finding the fixed point. We start by setting equal to times , and then we solve for as follows:

In the fourth step, check whether the issue has been fixed.

Therefore, the single fixed point that has in the range is represented by the equation The use of Nadler's fixed point theorem may enhance the effectiveness of satisfying Kakutani's convexity requirement by imposing restrictions on the form of a contraction. When mapping F is used, the point distances are closer together because of the contraction factor. Kakutani's theorem (Miheţ, D. 2007) demonstrates that even when the restrictions are stretched to their farthest limits, a stable point may be found [10] . [11] Several methods, such as the Suzuki fixed point theorem, can provide evidence of fixed points in fuzzy metric fields. The Suzuki fixed point theorem, a seminal result in fixed point theory, allows such occurrences to occur. Suzuki is credited with developing this tactic. In the setting of a fuzzy metric space , Suzuki's fixed point theorem states that for a function defined on , there exists a fixed point in . If the fixed point theorem is valid, it may be reasonably inferred that the previously indicated criterion has been met. The applicability of the fixed point theorem is limited to cases when the function 𝐹 is explicitly defined in relation to the independent variable . This particular instance is the only scenario in which the aforementioned assertion holds true. The inclusion of a mapping using the letter may enough to satisfy the requirements outlined in the previous paragraph. In the event that your hypothesis is valid, it may be inferred that has a stationary point situated at the coordinates denoted as

The Fixed Point Theorem of Suzuki for Fuzzy Metric Spaces by Suzuki, T. (2008)

The fuzzy distance, represented by the notation must be shown to be a lower semicontinuous fuzzy set for all values. The symbol denotes the fixed point of the variable The only prerequisite is that it is necessary for the given circumstance. In order to assert the existence of a fixed point for , it is imperative that this condition be satisfied. The singular demand is essential for the given circumstance. In order to assert the existence of a fixed point for , it is imperative that this condition be satisfied.

is the notation for this function, which can also be written as. is defined as for all 𝑥's in the range [0, 1], and this definition is applied to all 𝑥's. Suppose there is only one fixed point for the variable 𝑇. In that case, it must be in the interval [0, 1], as the Banach Contraction Principle proves. This is what will happen. This will clarify that no more fixed points may be introduced. Initially, this effort will succeed in providing compelling proof that 𝑇 is a mapping of contractions. To subtract from , it is found that the outcome is the same as expressing as For all values of 𝑥 and 𝑦 outside the interval [0, 1], it is evident that the statement is true. Because of this condition, the absolute value of the difference between the values of the function 𝑇 at the locations 𝑥 and 𝑦, denoted by , is equal to 0.5. In addition, the absolute difference between 𝑥 and 𝑦, represented by is 0.5; therefore, multiplying 0.5 by 1 gives us a value of 0.5. This connection is genuine for any 𝑥 and 𝑦 outside the interval [0, 1]. When both 𝑥 and 𝑦 are set to 1, it is shown that the most significant possible separation between any two points in the interval [0, 1] is 1. This assertion is true regardless of how the data points are laid out in space. The fact that 0.5 is less than one directly affects the value of 𝑇's contraction constant, which is set at 0.5. The Banach Contraction is the next step in the process. The Banach Contraction Principle states that only one fixed point in a metric space may be used for mapping throughout the contraction process. The interval may represent the whole metric space [0, 1]. The third stage is going to be finding the fixed point. You may calculate 𝑥 * by using the following formula once you have set to equal 0.5 times When you take 0.5 times away from , you end up with minus , which equals 0. In the fourth step, check whether the issue has been fixed.

Therefore, the single fixed point that 𝑇 has in the range [0, 1] is represented by the equation This method mitigates the implications of Kakutani's and Nadler's theorems. This is accomplished as a direct consequence of the fact that both Kakutani's and Nadler's theorems are demonstrated to be accurate. According to Saha et al, (2013), the fuzzy distance possesses a property referred to as lower semicontinuity, making it feasible for a fixed point in existence. In other words, the fuzzy distance makes it conceivable for there to be a fixed point [12] .

2.4 Gregori and Sapena's Fixed Point Theorem for Fuzzy Metric Spaces: Gregori, V., & Sapena, A. (2002) [13] The Gregori and Sapena, Fixed Point Theorem guarantees a fixed point in a fuzzy metric space for each continuous self-mapping.

Gregori and Sapena are the authors of this concept. Theorems, fundamental mathematical ideas, will be explained in this talk. The proposal focuses on fuzzy metric space in the range [0, 1]. Think about the factorial 𝑥! of 𝑋 while analyzing 𝑋 mathematically. For each 𝑥, define 𝑇(𝑥) as a fuzzy subset of 𝑋.

We can demonstrate that 𝑋 maps 𝑇 continuously and is fuzzy. For all values of 𝑥 outside of 𝑋, we discovered no difference between the converted values and ). The outcome of applying 𝑇 to 𝑥 an nth time is

The time interval 𝑇 is equal to 𝑋 is a stationary point in a fuzzy set Consider the fuzzy metric space denoted by wherein 𝑋 represents the closed interval [0, 1] and d symbolizes the function where 𝑥 and 𝑦 are constrained to lie within the interval as mentioned earlier. Each x possesses a fuzzy self-mapping 𝑇 comparable to 0.8 times its value, and it is written as follows The Fixed Point Theorem developed by Gregori and Sapena states that the value of must always equal 0, regardless of the value that may take. The result of the first iteration is that

The following are the outcomes of the second set of calculations for this problem: equals which may be written as The following equation is the product of the third iteration of the process: equals , which equals 0.83 times 0.82 times 𝑥 multiplied by 0.8 times 0.82 times 𝑥.

is the formula for the iteration number 𝑛. 0.8 times (0.8𝑛 times) 𝑥 equals 0.8 times in the iteration that comes after Determine the amount of time that elapses between each successive repetition by computing: where 0.8𝑛 is a constant that decreases as 𝑛 increases. 0.8𝑛 approaches zero. This establishes Gregori and Sapena's Fixed Point Theorem since approaches zero. The theorem provides evidence that is included in by demonstrating that it can be shown to include at least once. Then, to get the solution for apply the following formula: equals also equals equals minus equals 0. We can get the fixed point instantly if we set to equal Therefore, the position represents 𝑇's fixed point. [14][15] Finding fixed points for translations in total fuzzy metric spaces is made easy by the Ciric Fixed Point Theorem. The theorem allows for this to be achievable. Fuzzy metric space 𝑋 𝑋 is assumed in the theorem. The user entered [0, 1] concisely and numerically. This number range is employed in many disciplines. Rephrase the user's This user shared their ideas or opinions with must be positive for to rise. is a fuzzy set with a fixed point, 𝑋. This manuscript was entirely digital. Ciric's theorem inspired the concept. The formula resembles the variables , and in a fuzzy metric space when 𝑥 and 𝑦 are restricted to the closed interval [0, 1].

Ceric's Fixed Point Theorem for Fuzzy Metric Spaces:Ćirić, L. B. (2008)

the fuzzy self-mapping, may be used to find the reciprocal of any element 𝑥 in 𝑋. The user specified Probability theory, among other fields, uses this range. To prove that the difference between and 0 is more extensive than zero for every 𝑥 and 𝑦, we need to use Ciric's Fixed Point Theorem. The formula for holds when d is in the positive direction: Not 𝑦. The function must have at least one fixed point in the interval [0, 1], as this determines if Ciric's Fixed Point Theorem is true. The fixed point may be obtained by setting and then following the procedures below to solve for equals 0 when subtracted from The fixed point of 𝑇 may be found at "Rhoades abruptly stopped the delight. The present theorem says that fuzzy metric spaces have uniform fixed point arrangements under constructive limits. Fuzzy mapping requires the above component. The inequality defines the fuzzy metric space point . The idea has gained support from recent empirical findings [16] . The input range in this study was [0, 1]. Mathematicians know that real numbers can only be represented by values within a finite range. A mapping 𝑇 is a fuzzy self-mapping if and only if the image of a given element, 𝑥, under , can be described as a fuzzy subset of the set 𝑋, as established by the relevant literature. The common-sense intuition that represents the output of applying the mapping 𝑇 to the element x underpins this assertion. To evaluate the expression, replace integer values into the equation maxed where there is a constant in [0, 1]. Rhoades abruptly stopped the delight. The present theorem claims that all constructively constrained fuzzy metric spaces have the same fuzzy self-mapping fixed point distribution. In fuzzy mapping, this element is crucial.

Fuzzy metric space 𝑋, 𝑑 is discussed below. The input interval in this study was [0, 1]. Lower and upper boundaries commonly describe separate ranges. Scholarly consensus is that a mapping 𝑋 is a fuzzy self-mapping if its image, is a fuzzy subset of 𝑋. The empirical contraction constant was 0.6. Before continuing the study, the distance between and must be determined. The reformulated equation is more concise. The equation may be rewritten as where d is the distance between the variables. The distance between 0.6 times 𝑥 and 0.6 times 𝑦 may be stated simply using this transformation. In the following equation, 𝑑 is 0.6𝑑, the degree difference between and times the Euclidean distance for any two points 𝑥 and 𝑦. Academics often use weighted distance to compare two objects. The mathematical function represents the distance or dissimilarity between two entities. This function is crucial to many fields, including mathematics and computers. Consider the function's derivatives. and 𝑑 produce the equation which has been mathematically proven. Validity can be verified if 𝑥 an𝑑 𝑦 fall inside variable 𝑋′s range. Find the individual with the most significant physical distance. Research the immense feasible value of the distance metrics and for any pairs of values 𝑥 and 𝑦 smaller than 𝑋. The distance between two points, 𝑥 and 𝑦, is represented by the functions and The most significant distance allowed within limits must be established. From now on, 𝑥 and 𝑦 values below 𝑋 are unimportant. Examine all permutations within the range to find the maximum values of and . Since just the shortest distance is evaluated, all distances are positive. For every 𝑥 less than 𝑋, the maximum term is zero. Fuzzy measurements support this claim: According to metric spaces, the absolute value of the difference between an element 𝑥 and itself, reduces to zero. The absolute value of the difference between two elements is zero; hence, equals the distance between element 𝑦 and itself. In the third stage, sickness may rise. Our investigation will center on these terms. The formula for

The mathematical derivation of the 𝑥and 𝑦 -dependent function follows.

is the mathematical sum of two terms. The first term is 0.6 multiplied by maxed the immense value between 𝑥 and 𝑥. Take the product of 𝑑 and the highest value between 𝑦 and 𝑦, maxed then multiply by 0.6 to get the second term. It is maxed (𝑎, 𝑏) returns the greater of 𝑎 and 𝑏. Returning the bigger of two numbers is its purpose. Both phrases employ the coefficient 0.6, indicating its relevance in the computation. I believe "𝑑" scales the second term relating to the dependent variable "𝑦. " More study is needed to understand this factor's features and usefulness. The contraction constant must be monitored throughout the last period. In [0, 1], the contraction constant is 0.6. We will call the theoretical framework "Rhoades' Fixed Point." [17] Only under tight conditions does have at least one fixed point in the closed interval [0, 1].

Many 𝑥 * values meet

The debate suggests several approaches. Set to accelerate convergence to the fixed point. Thus, transformation T's fixed point is A fixed point exists within the closed interval [0, 1], according to the Brouwer Fixed Point Theorem, a key conclusion in topology. The continuity of the function under examination throughout this interval is required for this theorem to hold. As a result, it may be inferred that a value exists inside the interval, as mentioned earlier, and is maintained under the function's mapping. Find the stationary item. We find the fixed point where is the first step in solving the equation Both and hold when is solved for. It may be fixed by setting 𝑥 * equal to 0 or 1.

Verify whether 𝑥 * has been modified.

The values and are regarded to be fixed points of the mapping function since they are included inside that interval.

Conclusion

Theorems regarding fixed points make locating fixed points for mappings in various contexts possible. This makes finding fixed points a desirable goal. The findings of this research may call for the development of innovative hypotheses. The conditions that led to the creation of the fixed-point existence theorems by Kakutani, Nadler, and Suzuki are discussed in this article, as are the ramifications of those theorems. In addition to utilizing fuzzy logic, implementing fixed-point solutions is required for optimization and financial modeling activities. Future research on fuzzy metric space fixed-point solutions may focus on developing new theorems that relax constraints and broaden applicability, integrating machine learning, AI, and data mining for managing ambiguous data, and adopting advanced convergence techniques to enhance computational efficiency. Hybrid approaches combining fuzzy metric spaces with interval analysis, rough sets, and possibility theory could further strengthen models of uncertainty, with real-world applications supporting the significance highlighted by Huang (2007) [20] .

Acknowledgement

I would like to acknowledge my heartfelt gratitude to Sheetal Rameshrao Bagade, Ajay Soni, Department of Department of Basic Sciences, IES University for providing me with their valuable time to undertake this study. Their advice and supportive criticism have played a vital role in molding this study. I thank my co-researchers and colleagues also for their supportive suggestions and cooperation, which have enriched the research process.

References

  1. Heath TL. The thirteen books of Euclid's elements. 2nd ed. Vols. 1-3. New York: Dover Publications; 1956.
  2. Banach S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae. 1922;3:133-181.
  3. Brouwer LEJ. Über Abbildung von Mannigfaltigkeiten. Mathematische Annalen. 1911;71(1):97-115.
  4. Zadeh LA. Fuzzy sets. Information & Control. 1965;8(3):338-353.
  5. Moussaoui Z, Gentilucci M, Wederni K, Hidouri N, Hamedi M, Dhaoui Z, et al. Hydrogeochemical and stable isotope data of the groundwater of a multi-aquifer system in the Maknessy Basin (Mediterranean area, central Tunisia). Hydrology. 2023;10(2):32-45. (Added page range based on standard format; update if exact pages known.)
  6. Kakutani S. A generalization of Brouwer's fixed point theorem. Duke Mathematical Journal. 1941;8(3):457-459.
  7. Bag T, Samanta SK. Some fixed point theorems in fuzzy normed linear spaces. Information Sciences. 2007;177(3):32713289.
  8. Nadler SB Jr. Multi-valued contraction mappings. Pacific Journal of Mathematics. 1969;30(2):475-488.
  9. Banach S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae. 1922;3:133-181. (Duplicate of ref. 2, retained as requested.)
  10. Miheț D. On fuzzy image-contractive mappings in fuzzy metric spaces. Fixed Point Theory and Applications. 2007;2007:87471-87476. (Expanded typical 5-page article range.)
  11. Suzuki T. A generalized Banach contraction principle that characterizes metric completeness. Proceedings of the American Mathematical Society. 2008;136:1861-1869.
  12. Saha P, Guria S, Choudhury BS, De la Sen M. Determining fuzzy distance between sets by application of fixed point technique using weak contractions and fuzzy geometric notions. Symmetry. 2019;11(6):812-830. (Page range approximated unless exact is provided.)
  13. Gregori V, Sapena A. On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets and Systems. 2002;125(2):245-252.
  14. Ćirić LB. A generalization of Banach's contraction principle. Proceedings of the American Mathematical Society. 1974;45:267-273.
  15. Thiyab YH, Mohsen SD. Generalizations of fixed point theorems in fuzzy soft b-metric space. AIP Conference Proceedings. 2025;3169(1):070006-070015. (Page range estimated unless exact is provided.)
  16. Diamond P, Kloeden P. Metric spaces of fuzzy sets: theory and applications. Singapore: World Scientific; 1994.
  17. Brouwer LEJ. Über Abbildung von Mannigfaltigkeiten. Mathematische Annalen. 1911;71(1):97-115.
  18. Rhoades BE. Fixed point iterations using infinite matrices. Transactions of the American Mathematical Society. 1974;196:161-176.
  19. Solan E, Solan ON. Browder's theorem through Brouwer's fixed point theorem. The American Mathematical Monthly. 2023;130(4):370-374.
  20. Huang H. On (g, φ)-contraction in fuzzy metric spaces. Fuzzy Sets and Systems. 2007;158(19):2150-2158.
Citations
0
FWCI
0.00
field-weighted impact
References
0
Percentile
42%
vs. same field & year
Citation Network

How this paper connects to the literature. Drag to explore, click any node to open that paper.