Some new fixed point results on intuitionistic fuzzy metric spaces

Abstract: Fuzzy set theory originated from the fact that reasoning is not crisp and admits degree. This theory plays a leading role in ample field of Science and Technology. In this paper, by utilizing the concept of E.A. and common (E.A) property, we prove new common fixed point theorems on intuitionistic fuzzy metric spaces. Moreover, we extend the main result for finite number of mappings and integraltype contractive condition on intuitionistic fuzzy metric spaces.


Introduction
The Banach fixed point theorem in Banach (1922) is an significant tool in the theory of metric spaces. The idea of fuzzy logic was invented by professor Zadeh (1965) of the University of California, Berkeley. Fuzzy set introduces vagueness by eliminating the sharp boundary which divides members of the class from non-member. There has been an extensive research on fuzzy sets. In the literature, there are several notions of fuzzy metric space. The first one was introduced by Kramosil and Michalek (1975), its motivation derives from statistical metric space. Later, the notion of fuzzy metric space was modified by George and Veeramani (1994). This work forms a pertinent basis for the construction of fixed point theory in fuzzy metric spaces.
ABOUT THE AUTHOR Vishal Gupta, having more than 12 years of teaching experience, is working as Associate Professor in the Department of Mathematics, Maharishi Markandeshwar University, Haryana (India). He has published one research book with international publisher and his immense contribution to journals of national and international repute is more than 60. He has presented more than 35 research papers in national and international conferences. He is also reviewer of many prestigious professional bodies like Mathematical Reviews, etc. His research interests focus on fixed point theory, fuzzy set theory and fuzzy mappings, topology, differential and integral equations.

PUBLIC INTEREST STATEMENT
The idea of fixed point theory on fuzzy metric spaces is developed with swift tempo. The notion of defining intuitionistic fuzzy set as generalized fuzzy set is fairly interesting and constructive in many application areas like sale analysis, new product marketing, financial services, negotiation process, psychological investigations, etc. This work seeks to highlight the use of the concept of E.A property for proving some fixed point results on intuitionistic fuzzy metric space. In view of their interesting applications, we have given fixed point theorems for finite number of mappings and also for integral-type contractive condition on intuitionistic fuzzy metric space. In the last result, we replace E.A property by common E.A property on intuitionistic fuzzy metric space. We hope these new results will further assist to comprehend the concept of fixed point theory on intuitionistic fuzzy metric space. Sessa (1982) initiated the tradition of improving commutativity in fixed point theorem. He introduced the notion of weakly commuting maps in metric spaces. The first step to extend the commutativity to generalized commutativity, known as compatible maps is done by Jungck (1986). Jungck and Rhoades (1998) derived a significant result in which notion of weak compatible map is given. Aamri and El Moutawakil (2002) generalized the concept of non-compatibility by defining E.A. property for self-mappings. It contained the class of non-compatible mappings in metric space. Many interesting and valuable results on fuzzy metric space were given by various authors as Gupta and Kanwar (2012), Gupta, Kanwar, and Gulati (2016), Vijayaraju andSajath (2009), Gupta, Saini, Mani, andTripathi (2015), Kang, Gupta, Singh, and Kumar (2013), and Saini, Gupta, and Singh (2007). Branciari (2002) presented the idea of Banach contraction principle with the help of Lebesgueintegrable function and proved a fixed point theorem satisfying contractive conditions of integral type. Gupta and Mani (2013) proved fixed point result for contractive mapping of integral type.
The significance of fixed point theory is evident from the fact that it has its applications in diverse disciplines of Science, Engineering, and Economics in dealing with problems arising in: Approximation theory, potential theory, game theory, mathematical economics, etc. It is commonly accepted that fuzzy logic emerged from the theory of fuzzy set. Today, fuzzy logic is very relevant concept in the field of Science and Technology.
In fuzzy set theory, the membership of an element to a fuzzy set is a single value between zero and one. The concept of intuitionistic fuzzy sets is a generalization of fuzzy sets which incorporate the degree of hesitation. The idea of an intuitionistic fuzzy set is initiated by Atanassov (1986). With help of continuous t-norm and continuous t-conorm, Alaca, Turkoglu, and Yildiz (2006) defined the notion of intuitionistic fuzzy metric space and introduced the notion of Cauchy sequence in intuitionistic fuzzy metric space. For more fixed point results on intuitionistic fuzzy metric space, we refer to Beg, Vetro, Gopal, and Imdad (2014), Turkoglu, Alaca, Cho, and Yildiz (2006), , and Sharma and Deshpande (2009). For the extraction of information by reflecting and modeling the hesitancy present in real-life situation, intuitionistic fuzzy set theory has been playing an important role. The application of intuitionistic fuzzy sets instead of fuzzy sets means the introduction of another degree of freedom into set description. Intuitionistic fuzzy fixed point theory has become a subject of great interest for specialist in fixed point theory because this branch of mathematics has covered new possibilities for fixed point theorists.

Remark
In intuitionistic fuzzy metric spaces, M(x, y, t) is non-decreasing and N(x, y, t) is non-increasing.
Definition 2.4 : Let (X, M, N, * , ⋄) be an intuitionistic fuzzy metric space in which every Cauchy sequence is convergent, then it is said to be a complete fuzzy metric space.
Definition 2.5 (Jungck & Rhoades, 1998): Two self-maps P and Q on set X are said to be weakly compatible if they commute at their coincident point.

Main results
In this section, we are proving new fixed point theorems with contractive condition on intuitionistic fuzzy metric spaces. Taking limit as n → ∞in (20), (21), we get Bu = m or Bu = m = Su.
It shows that the pair (B, S) has a coincident point. (4) In a similar way, T(X) is also a closed subset of X, hence we have Hence, there exists a point v ∊ X such that Tv = m. (5) From condition (1), we get and Letting n → ∞and using (2), (5), we get Av = m or Av = m = Tv. It shows that the pair (A, T) has a coincident point. (6) Since, the pair (B, S) is weakly compatible, therefore By putting x n = v , y n = m in (1), we obtain and So, by (6) and (7), we have Bm = m = Sm, which shows that m is a common fixed point of the pair (B, S).

As Av = Tv and pair (A, T) is weakly compatible, therefore
From condition (1), we obtain and Using (4) and (8) Hence, m is a common fixed point of A, B, S, and T. Uniqueness of common fixed point can be easily proved by using condition (1) of this theorem. This implies that m is a unique common fixed point of A, B, S, and T.
Our next theorem is a common fixed point result via E.A property on intuitionistic fuzzy metric space.
Theorem 3.2 Let (X, M, N, * , ⋄) be an intuitionistic fuzzy metric space with t-norm a * b = min {a, b} and t-conorm a⋄b = max{a, b}.
Let A, B, G, H, S and T be self-mappings such that for k ∊ (0, 1) and every x, y ∈ X, t > 0, Also, satisfying the following conditions: Bx n = THy n . We have, Using (9), we get and Taking limit as n → ∞, we obtain The property of complete subspace SG(X) of X implies that m = SG(l) for some l ∊ X.
So, we get Since the pair (A, TH) is weakly compatible, therefore we have
By putting x = Al, y = q in (9), we get and Thus, Al = AAl = THAl is a common fixed point of A and TH. (18) In same way as discussed above, we can prove that Bq is the common fixed point of SG and B.
Since Al = Bq, so Al is the common fixed point of A, B, TH and SG.   We get x = x ′ using the concept of fixed point and intuitionistic fuzzy metric space. Therefore, the mappings A, B, TH and SG have a unique common fixed point.
As an application of the previously proved result, Integral-type contractive condition is employed for proving the next theorem on intuitionistic fuzzy metric space. Theorem 3.3 Let (X, M, N, * , ⋄) be an intuitionistic fuzzy metric space with t-norm a * b = min {a, b} and t-conorm a⋄b = max{a, b}.
Let A, B, G, H, S and T be self-mappings such that for k ∊ (0, 1)and every x, y ∈ X, t > 0, and where ψ:R + → R is Lebesgue integrable mapping which is summable, non-negative and Also, satisfying the following conditions:  By,kt)⋄[N(THx,Ax,kt) × N(SGy,By,kt)]   Bq, t).
Hence, we obtain Al = Bq.
Again taking x = Al, y = q in contractive condition of this theorem, we get Al = AAl = THAl is a common fixed point of A and TH. In the same way, We can prove that Bq is the common fixed point of SG and B. Since Al = Bq. So, Al is the common fixed point of A, B, TH and SG.
Proof Since (B, S 1 S 2 S 3 . . . S z ) satisfies E.A. property, then there exists a sequence{x n } ∊ X, such that lim n→∞ Bx n = lim n→∞ S 1 S 2 S 3 . . . S z x n = m, where m ∊ X.
Also, B(X) ⊂ T 1 T 2 T 3 . . . T z (X), then there exists a sequence {y n }in X, such that Bx n = T 1 T 2 T 3 . . . T z y n .
Using the method of proof of Theorem (3.2), we can see that this result holds.
Corollary 3.5 Let A, B, S and T be self-mappings on intuitionistic fuzzy metric spaces (X, M, N, * , ⋄) with t-norm a * b = min {a, b} and t-conorm a⋄b = max{a, b} such that