Abstract
In the present paper, an extension of the Edelstein contraction theorem for cyclic contractions in a fuzzy metric space is established, which also can be considered as a generalization of the fuzzy Edelstein contraction theorem introduced by Grabiec. Additionally, we extend a fixed point theorem in G-complete fuzzy metric spaces given by Shen et al. to M-complete fuzzy metric spaces. Meantime, two examples are constructed to illustrate the corresponding results, respectively.
Similar content being viewed by others
1 Introduction
The contraction type mappings in fuzzy metric spaces play a crucial role in fixed point theory. In 1988, Grabiec [1] first defined the Banach contraction in a fuzzy metric space and extended fixed point theorems of Banach and Edelstein to fuzzy metric spaces. Following Grabiec’s approach, Mishra et al. [2] obtained some common fixed point theorems for asymptotically commuting mappings in fuzzy metric spaces. In the sequel, Vasuki [3] offered a generalization of Grabiec’s fuzzy Banach contraction theorem and proved a common fixed point theorem for a sequence of mappings in a fuzzy metric space. Afterwards, Cho [4] presented the concept of compatible mappings of type in fuzzy metric spaces and then studied the fixed point theory. Several years later, Singh and Chauhan [5] introduced the concept of compatible mapping and proved two common fixed point theorems in the fuzzy metric space with the strongest triangular norm. In 2002, Sharma [6] further extended some known results of fixed point theory for compatible mappings in fuzzy metric spaces. In the same year, Gregori and Sapena [7] introduced the notion of fuzzy contractive mapping and presented some fixed point theorems for complete fuzzy metric spaces in the sense of George and Veeramani, and also for Kramosil and Michalek’s fuzzy metric spaces which are complete in Grabiec’s sense. Soon after, Mihet [8] proposed a fuzzy Banach theorem for (weak) B-contraction in M-complete fuzzy metric spaces. Later, Mihet [9, 10] further studied the fixed point theory for the different contraction mappings in fuzzy metric spaces, and introduced some new contraction mappings, such as Edelstein fuzzy contractive mappings, fuzzy ψ-contraction of type, etc. Based on the definition of fuzzy contractive mapping introduced by Mihet [9], Abbas et al. [11] proposed the notion of φ-weak contraction and obtained several results of fixed point in a G-complete metric space. Recently, Shen et al. [12] constructed a novel class of φ-contractions and proved a fixed point theorem for this kind of mappings in an M-complete fuzzy metric space.
In 2003, Kirk et al. [13] first introduced a novel class of contractive conditions, namely, cyclical contractive conditions, and extended several fixed point theorems including Banach, Edelsetin, Carsti and a fixed point theorem for nonexpansive mappings in a Banach space. Motivated by the notion of cyclic contraction, Păcurar and Ioan [14] proposed the concept of cyclic φ-contraction. Based on this type of contractive condition, they constructed a fixed point theorem in a classical complete metric space. Moreover, several problems related to the fixed point are investigated, such as data dependence, well-posedness, limit shadowing property, and so on. Hereafter, Karapinar [15] proposed the concept of cyclic weak ϕ-contraction, and then discussed some main results proposed by Păcurar and Ioan [14] under this kind of contractive conditions. Following these ideas mentioned above, Shen et al. [16] extended the notion of cyclic φ-contraction to fuzzy metric spaces, and proposed a fixed point theorem for this type of mappings in G-complete fuzzy metric spaces in the sense of George and Veeramani. Simultaneously, some of the results concerned with the fixed point proposed by Păcurar and Ioan [14] were also generalized to fuzzy metric spaces. Analogously, Gopal et al. [17] also introduced the notion of cyclic weak φ-contraction in fuzzy metric spaces and obtained some results on the existence and uniqueness of a fixed point in fuzzy metric spaces in the sense of G-completeness. Furthermore, Murthy et al. [18] generalized the concept of cyclic weak φ-contraction to cyclic weak -contraction and utilized these contractive mappings to prove a fixed point theorem in a G-complete fuzzy metric space.
In this paper, we present an extension of the Edelstein contraction theorem for cyclic contractions in a fuzzy metric space. Our results can also be viewed as a generalization of the fuzzy Edelstein contraction theorem proposed by Grabiec [1]. Besides, we also generalized a fixed theorem in G-complete fuzzy metric spaces given by Shen et al. [16] to M-complete fuzzy metric spaces. In addition, it should be pointed out that the function φ of cyclic φ-contraction proposed by us is different from that of cyclic φ-contraction introduced in [17, 18].
2 Preliminaries
For completeness and clarity, in this section, some related concepts and conclusions are summarized and introduced below. Let ℕ denote the set of all positive integers.
Definition 2.1 (Schweizer and Sklar [19])
A binary operation is called a continuous triangular norm (in short, continuous t-norm) if it satisfies the following conditions:
-
(TN-1)
∗ is commutative and associative;
-
(TN-2)
∗ is continuous;
-
(TN-3)
for every ;
-
(TN-4)
whenever , and .
Definition 2.2 (George and Veeramani [20])
A fuzzy metric space is an ordered triple such that X is a nonempty set, ∗ is a continuous t-norm and M is a fuzzy set on satisfying the following conditions for all , :
-
(FM-1)
;
-
(FM-2)
if and only if ;
-
(FM-3)
;
-
(FM-4)
;
-
(FM-5)
is continuous.
Definition 2.3 (George and Veeramani [20])
Let be a fuzzy metric space. Then:
-
(i)
A sequence in X is said to converge to x in X, denoted by (or ), if and only if for all , i.e., for each and , there exists such that for all ;
-
(ii)
A sequence is an M-Cauchy sequence if and only if for all , there exists such that for any and ;
-
(iii)
A fuzzy metric space is called M-complete if every M-Cauchy sequence is convergent.
Notice that a fuzzy metric space is called compact if every sequence contains a convergent subsequence.
Lemma 2.1 (Grabiec [1])
Let and . If is continuous, then for any .
Lemma 2.2 (Grabiec [1], fuzzy Edelstein contraction theorem)
Let be a compact fuzzy metric space. a mapping satisfying the following condition:
for all . Then T has a unique fixed point.
Definition 2.4 (Păcurar and Rus [14])
Let X be a nonempty set, r be a positive integer and be a mapping. is a cyclic representation of X with respect to f if
-
(i)
, , are nonempty sets;
-
(ii)
.
Definition 2.5 A function is called a comparison function if it satisfies:
-
(i)
φ is nondecreasing and left continuous;
-
(ii)
for all .
Lemma 2.3 (Vetro [21])
If φ is a comparison function, then
-
(i)
;
-
(ii)
for all , where denotes the composition of with itself n times.
Definition 2.6 (Shen et al. [16])
Let be a fuzzy metric space, r be a positive integer, , where denotes the collection of nonempty closed subsets of X, and a mapping. If
-
(i)
is cyclic representation of Y with respect to f;
-
(ii)
there exists a comparison function such that
for any , and , where , then f is called cyclic φ-contraction in the fuzzy metric space.
3 Main results
In this section, we prove an extended fuzzy Edelstein contraction theorem for cyclic contractive mappings in a fuzzy metric space. Meantime, we also prove that a fixed point theorem given by Shen et al. [16] does hold even if G-completeness of the fuzzy metric space is replaced by M-completeness.
Theorem 3.1 (The extended fuzzy Edelstein contraction theorem)
Let be a fuzzy metric space, r be a positive integer, , at least one of which is compact. , a mapping. Assume that
-
(C1)
is a cyclic representation of Y with respect to f;
-
(C2)
for any , (), .
Then f has a unique fixed point .
Proof Without loss of generality, we assume that is compact. Define for each . According to Definition 2.2, we know that . Since is compact, for an arbitrary but fixed , there exist and a sequence such that . Now, we claim that for each given . Otherwise, we can assume that . By the condition (FM-2), we know that for each . Furthermore, we can obtain that for . Thus, for every , we have
Since the sequence and the compactness of , there exists a subsequence of such that it converges to some . According to the foregoing inequality and Lemma 2.1, by supposing that , it follows that
According to the arbitrariness of t, if , then we have . Furthermore, we can obtain that . Obviously, this is a contradiction. On the other hand, if , then we have . Thus, by the conditions (C1) and (C2), we can obtain
As and , this implies a contradiction. Therefore, we conclude that for each , and . By (C1), and , we have . Obviously, .
Now, we redefine the sets . In view of (C1), these sets are both nonempty and closed. As is compact, the conditions (C1) and (C2) are satisfied by f with respect to the family , . By repeating the above process, we obtain , which implies .
Continuing in this manner, we can obtain
Consider the restriction of f on A. Obviously, the mapping satisfies the condition (C2) and A is compact. By Lemma 2.2, we conclude that has a unique fixed point in A. However, by the condition (C1), it can easily be shown that the uniqueness follows from the fact that any fixed point of f necessarily lies in A. □
Remark 1 Theorem 3.1 can be regarded as an extension of the fuzzy Edelstein contraction theorem (Lemma 2.2) given by Grabiec [1], and it is not related with the compactness and completeness of the fuzzy metric space .
Example 1 Let be endowed with the usual metric . Define for all and . Clearly, is a fuzzy metric space with respect to t-norm .
Let be defined as . Set , . Owing to , , we can obtain that is a cyclic representation of X with respect to f. In addition, for any , and , we have
Thus, all the conditions of Theorem 3.1 are satisfied and is the unique fixed point of f.
Theorem 3.2 Let be an M-complete fuzzy metric space, r be a positive integer, , , be a comparison function, and be a mapping. Assume that
-
(C1)
is a cyclic representation of Y with respect to f;
-
(C2)
f is a cyclic φ-contraction.
Then f has a unique fixed point and the iterative sequence (, ) converges to for any initial point .
Proof Let be an arbitrary initial point. Define for all , . Now, we show that f has a fixed point. In particular, if there exists an such that , i.e., , then it is obvious that is a fixed point of f. Otherwise, the inequality holds for each n, which implies that for all and . By (C2), is monotone increasing and bounded from below for every with respect to n. So, . Suppose that . Since
for each t, letting , we conclude that . Obviously, which is a contradiction. Thus, we obtain .
Next, we show that the iterative sequence is an M-Cauchy sequence. Suppose that it is not. Then there exist , , and two sequences and such that for every , so we obtain that
Furthermore, for each n, we can choose the smallest number greater than such that
For each , we put . Then we have
Since as for the foregoing t, letting , we conclude that the sequence converges to . Moreover, for , there exists such that mod r for infinitely many n.
Case I: If , then, for such n, we have
Letting , we obtain that
Clearly, this leads to a contradiction.
Case II: If , similarly, for such n, we can obtain
Supposing that , we can get the same contradiction as Case I.
Moreover, we consider another case. That is, there exists such that for all . Therefore, for any , it is obvious that . By (C2), we know that the sequence is monotone increasing and bounded with respect to p for each t. So, there exists such that . Thus, we can obtain
Letting , for the forgoing t, we have , which is also a contradiction.
Based on the above analysis, we obtain that is an M-Cauchy sequence in the M-complete fuzzy metric subspace Y. Furthermore, we conclude that there exists an such that .
Now, we show that is a fixed point of f. By the condition (C1), it follows that the iterative sequence has an infinite number of terms in each , . Since Y is M-complete, from each , , we can extract a subsequence of which converges to as well. Because each , , is closed, we conclude that and thus .
Set . Clearly, Z is closed and M-complete. Consider the restriction of f on Z, that is, . Next, we show that has a unique fixed point in .
For the forgoing , there exists () such that . Therefore, we can choose such that . Accordingly, for any , we can obtain
By supposing that , we conclude that for any , i.e., . That is to say, is a fixed point of , which is obtained by iteration from the initial point .
To show uniqueness, we assume that is another fixed point of . As for every , we obtain that
This leads to a contradiction. Thus, is a unique fixed point of .
Finally, we have to prove that the iterative sequence converges to for any starting point . Since , there exists such that . As , we know that as well. Then, for any , we have
By induction, we can obtain
According to Lemma 2.3, supposing , it follows immediately that as . Hence, the iterative sequence converges to the unique fixed point of f for any initial point . This completes the proof of the theorem. □
Remark 2 Based on Theorem 3.2, the remaining results concerning fixed point theory given in [16] can be directly obtained in the sense of M-completeness.
Example 2 Let be equipped with the ordinary metric , for all . Define for all and . Clearly, is an M-complete fuzzy metric space with respect to t-norm .
Let be defined as
Set , , it is obvious that , . Besides, for any , , we have
it follows that for every . Thus, f is a cyclic φ-contraction in the fuzzy metric space . Now, all the conditions of Theorem 3.2 are satisfied and then f has a unique fixed point, that is .
4 Conclusion
In this paper, we have proposed an extended version of the Edelstein contraction theorem for cyclic contraction mappings in a fuzzy metric space, which can be considered as a generalization of the fuzzy Edelstein contraction theorem introduced by Grabiec [1]. It should be noted that the existence of a unique fixed point, in our results, does not depend on the compactness and completeness of a fuzzy metric space. Moreover, we have also generalized a fixed point theorem given by Shen et al. [16] to an M-complete fuzzy metric space. The conclusion has shown that the original proposition and the corresponding conclusions are true even if G-completeness is replaced by M-completeness.
References
Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27: 385–389. 10.1016/0165-0114(88)90064-4
Mishra SN, Sharma N, Singh SL: Common fixed points of maps on fuzzy metric spaces. Int. J. Math. Math. Sci. 1994, 17: 253–258. 10.1155/S0161171294000372
Vasuki R: A common fixed point theorem in a fuzzy metric space. Fuzzy Sets Syst. 1998, 97: 395–397. 10.1016/S0165-0114(96)00342-9
Cho YJ: Fixed points in fuzzy metric spaces. J. Fuzzy Math. 1997, 5(4):949–962.
Singh B, Chauhan MS: Common fixed points of compatible maps in fuzzy metric spaces. Fuzzy Sets Syst. 2000, 115: 471–475. 10.1016/S0165-0114(98)00099-2
Sharma S: Common fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 127: 345–352. 10.1016/S0165-0114(01)00112-9
Gregori V, Sapena A: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125: 245–253. 10.1016/S0165-0114(00)00088-9
Mihet D: A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 2004, 144: 431–439. 10.1016/S0165-0114(03)00305-1
Mihet D: On fuzzy contractive mappings in fuzzy metric spaces. Fuzzy Sets Syst. 2007, 158: 915–921. 10.1016/j.fss.2006.11.012
Mihet D: A class of contractions in fuzzy metrics paces. Fuzzy Sets Syst. 2010, 161: 1131–1137. 10.1016/j.fss.2009.09.018
Abbas M, Imdad M, Gopal D: φ -Weak contractions in fuzzy metric spaces. Iran. J. Fuzzy Syst. 2011, 8: 141–148.
Shen YH, Qiu D, Chen W: Fixed point theorems in fuzzy metric spaces. Appl. Math. Lett. 2012, 25: 138–141. 10.1016/j.aml.2011.08.002
Kirk WA, Srinivasan PS, Veeramani P: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory 2003, 4: 79–89.
Păcurar M, Rus IA: Fixed point theory for φ -contractions. Nonlinear Anal. 2010, 72: 1181–1187. 10.1016/j.na.2009.08.002
Karapinar E: Fixed point theory for cyclic weak ϕ -contraction. Appl. Math. Lett. 2011, 24: 822–825. 10.1016/j.aml.2010.12.016
Shen, YH, Qiu, D, Chen, W: Fixed point theory for cyclic φ-contractions in fuzzy metric spaces. Iran. J. Fuzzy Syst. (2013, to appear)
Gopal D, Imdad M, Vetro C, Hasan M: Fixed point theory for cyclic weak ϕ -contraction in fuzzy metric spaces. J. Nonlinear Anal. Appl. 2012. doi:10.5899/2012/jnaa-00110
Murthy PP, Mishra U, Rashmi R, Vetro C:Generalized -weak contractions involving -reciprocally continuous maps in fuzzy metric spaces. Ann. Fuzzy Math. Inf. 2013, 5(1):45–57. 10.1007/s12543-013-0132-6
Schweizer B, Sklar A: Statistical metric spaces. Pac. J. Math. 1960, 10: 385–389.
George A, Veeramani P: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 1994, 64: 395–399. 10.1016/0165-0114(94)90162-7
Vetro C: Fixed points in weak non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 2011, 162: 84–90. 10.1016/j.fss.2010.09.018
Acknowledgements
This work was supported by ‘Qing Lan’ Talent Engineering Funds by Tianshui Normal University. The second author acknowledges the support of the Beijing Municipal Education Commission Foundation of China (No. KM201210038001), the Humanity and Social Science Youth Foundation of Ministry of Education of China (No. 13YJC630012).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
YS carried out the main proofs and drafted the manuscript. WC provided some valuable suggestions and helped to modify the manuscript. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Shen, Y., Chen, W. Fixed point theorems for cyclic contraction mappings in fuzzy metric spaces. Fixed Point Theory Appl 2013, 133 (2013). https://doi.org/10.1186/1687-1812-2013-133
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-133