Fixed point theorems using control function in fuzzy metric spaces

Abstract: The purpose of this paper is to obtain some results on existence of fixed points for contractive mappings in fuzzy metric spaces using control function. We prove our results on fuzzy metric spaces in the sense of George and Veeramani. Our results mainly generalize and extend the result of various authors, announced in the literature. As an application, a consequence theorem of integral type contraction is given in support of our result.


Introduction and preliminaries
The concept of fuzzy set was introduced by Zadeh (1965) and till then it has been developed extensively by many authors in different fields. The role of fuzzy topology in logic programming and algorithm has been recognized and applied on various programs to find more accurate results. In last 50 years, this theory has wide range of applications in diverse areas. The strong points about fuzzy mathematics are its fruitful applications, especially outside mathematics, such as in quantum particle physics studied by El Naschie (2004).
To use this concept in topology and analysis, Kramosil and Michalek (1975) have introduced the concept of fuzzy metric space using the concept of continuous triangular norm defined by Schweizer (1960). Most recently, Gregori, Morillas, and Sapena (2011) utilized the concept of fuzzy metric spaces to color image processing and also studied several interesting examples of fuzzy metrics in the sense of George and Veeramani (1994).
ABOUT THE AUTHOR Vishal Gupta , having more than 12 years of teaching experience, is working as an associate professor in the Department of Mathematics, Maharishi Markandeshwar University, India. He received his PhD degree in 2010. He has published one research book with an international publisher, and his immense contribution in journals of national and international repute is more than 50. He has presented more than 30 research papers in national and international conferences. He is also a reviewer of many prestigious professional bodies such as Mathematical Reviews, etc. His research interests are fixed point theory, fuzzy set theory and fuzzy mappings, topology, and differential and integral equations.

PUBLIC INTEREST STATEMENT
Now a days, fuzzy theory is one of the hot study in mathematical analysis. This theory has been generalized in different directions by several authors. One of the important generalizations of fuzzy theory is fuzzy metric spaces. Applications of this theory can be found in linguistics, decisionmaking, and clustering. In this paper, we shall prove some fixed point theorems under restricted distance functions. As an application, we have given consequence theorem of integral type contraction. Implementation and comparison of our result with other existing results are an open area under discussion for the future research.
Definition 1 (Schweizer, 1960) A binary operation * : [0, 1] × [0, 1] → [0, 1] is a continuous triangular norm (t-norm) if for all a, b, c, e ∈ [0, 1] the following conditions are satisfied: (i) * is commutative and associative, A fuzzy metric space in the sense of Kramosil and Michalek (1975) is defined as follows: Definition 2 (Kramosil & Michalek, 1975) The triplet (X, M, * ) is said to be fuzzy metric space if X is an arbitrary set, * is continuous t-norm, and M is fuzzy set on X 2 × [0, ∞) satisfying the following conditions: The triplet M(x, y, t) can be taken as the degree of nearness between x and y with respect to t ≥ 0.
Then Vasuki (1998) generalized Grabiecs result for common fixed point theorem for a sequence of mapping in a fuzzy metric space. Gregori and Sapena (2002) gave fixed point theorems for complete fuzzy metric space in the sense of George and Veeramani (1994) and also for Kramosil and Michaleks (1975) fuzzy metric space which are complete in Grabeics sense. George and Veeramani (1994) modified the concept of fuzzy metric space introduced by Kramosil and Michalek (1975) with the help of t-norm and gave the following definition.
Definition 3 (George & Veeramani, 1994) The triplet (X, M, * ) is said to be fuzzy metric space if X is an arbitrary set, * is continuous t-norm, and M is fuzzy set on X 2 × [0, ∞) satisfying the following conditions: By introducing this definition, they also succeeded in introducing a Hausdorff topology on such fuzzy metric spaces which is widely used these days by researchers in their respective field of research. George and Veeramani (1994) have pointed out that the definition of Cauchy sequence given by Grabeic is weaker and hence it is essential to modify that definition to get better results in fuzzy metric space.
Definition 4 (Grabiec, 1988) A sequence {x n } in a fuzzy metric space (X, M, * ) is said to be convergent to x ∈ X if lim n→∞ M(x n , x, t) = 1 ∀ t > 0.
Definition 6 (Grabiec, 1988) A fuzzy metric space (X, M, * ) is said to be complete if every Cauchy sequence in X converges in X. In Section 2, we prove some fixed point theorems for contractive mappings in fuzzy metric spaces. We prove our results in fuzzy metric spaces in the sense of George and Veeramani (1994). Our result generalizes some relevant results in the literature.

Main results
Theorem 2 Let (X, M, * ) be a complete fuzzy metric space and f : X → X be a mapping satisfying where for all x, y, ∈ X, ∈ Φ, and k ∈ 0, 1 . Then f has a unique fixed point.
Proof Let x ∈ X be any arbitrary point in X. Now construct a sequence {x n } ∈ X such that fx n = x n+1 for all n ∈ N.
Claim: {x n } is a Cauchy sequence.
Let us take x = x n−1 and y = x n in Equation 1, we get Hence, our claim follows immediately from Lemma 2. Now suppose M(x n , x n+1 , t) ≥ M(x n−1 , x n , t), then again from Equation 3 Now by simple induction, for all n and t > 0, we get Now for any positive integer s, we have

Using Equation 4, we get
Taking lim n→∞ , we get This implies, {x n } is a Cauchy sequence; therefore, there exists a point v ∈ X such that Claim: v is a fixed point of f .