 Research
 Open Access
 Published:
Fixed point theorems for cyclic contraction mappings in fuzzy metric spaces
Fixed Point Theory and Applications volume 2013, Article number: 133 (2013)
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 Gcomplete fuzzy metric spaces given by Shen et al. to Mcomplete fuzzy metric spaces. Meantime, two examples are constructed to illustrate the corresponding results, respectively.
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 (\alpha ) 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) Bcontraction in Mcomplete 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 (\epsilon ,\lambda ) 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 Gcomplete 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 Mcomplete 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, wellposedness, 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 Gcomplete 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 Gcompleteness. Furthermore, Murthy et al. [18] generalized the concept of cyclic weak φcontraction to cyclic weak (\phi ,\psi )contraction and utilized these contractive mappings to prove a fixed point theorem in a Gcomplete 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 Gcomplete fuzzy metric spaces given by Shen et al. [16] to Mcomplete 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 \ast :[0,1]\times [0,1]\to [0,1] is called a continuous triangular norm (in short, continuous tnorm) if it satisfies the following conditions:

(TN1)
∗ is commutative and associative;

(TN2)
∗ is continuous;

(TN3)
a\ast 1=a for every a\in [0,1];

(TN4)
a\ast b\le c\ast d whenever a\le c, b\le d and a,b,c,d\in [0,1].
Definition 2.2 (George and Veeramani [20])
A fuzzy metric space is an ordered triple (X,M,\ast ) such that X is a nonempty set, ∗ is a continuous tnorm and M is a fuzzy set on X\times X\times (0,\mathrm{\infty}) satisfying the following conditions for all x,y,z\in X, s,t>0:

(FM1)
M(x,y,t)>0;

(FM2)
M(x,y,t)=1 if and only if x=y;

(FM3)
M(x,y,t)=M(y,x,t);

(FM4)
M(x,y,t)\ast M(y,z,s)\le M(x,z,t+s);

(FM5)
M(x,y,\cdot ):(0,\mathrm{\infty})\to (0,1] is continuous.
Definition 2.3 (George and Veeramani [20])
Let (X,M,\ast ) be a fuzzy metric space. Then:

(i)
A sequence \{{x}_{n}\} in X is said to converge to x in X, denoted by {lim}_{n\to \mathrm{\infty}}{x}_{n}=x (or {x}_{n}\to x), if and only if {lim}_{n\to \mathrm{\infty}}M({x}_{n},x,t)=1 for all t>0, i.e., for each r\in (0,1) and t>0, there exists {n}_{0}\in \mathbb{N} such that M({x}_{n},x,t)>1r for all n\ge {n}_{0};

(ii)
A sequence \{{x}_{n}\} is an MCauchy sequence if and only if for all \u03f5>0, there exists {n}_{0}\in \mathbb{N} such that M({x}_{m},{x}_{n},t)>1\u03f5 for any m,n>{n}_{0} and t>0;

(iii)
A fuzzy metric space (X,M,\ast ) is called Mcomplete if every MCauchy 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 {lim}_{n\to \mathrm{\infty}}{x}_{n}=x and {lim}_{n\to \mathrm{\infty}}{y}_{n}=y. If M(x,y,\cdot ) is continuous, then {lim}_{n\to \mathrm{\infty}}M({x}_{n},{y}_{n},t)=M(x,y,t) for any t>0.
Lemma 2.2 (Grabiec [1], fuzzy Edelstein contraction theorem)
Let (X,M,\ast ) be a compact fuzzy metric space. T:X\to X a mapping satisfying the following condition:
for all x\ne y. 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 f:X\to X be a mapping. X={\bigcup}_{i=1}^{r}{X}_{i} is a cyclic representation of X with respect to f if

(i)
{X}_{i}, i=1,2,\dots ,r, are nonempty sets;

(ii)
f({X}_{1})\subset {X}_{2},\dots ,f({X}_{r1})\subset {X}_{r},f({X}_{r})\subset {X}_{1}.
Definition 2.5 A function \phi :[0,1]\to [0,1] is called a comparison function if it satisfies:

(i)
φ is nondecreasing and left continuous;

(ii)
\phi (t)>t for all t\in (0,1).
Lemma 2.3 (Vetro [21])
If φ is a comparison function, then

(i)
\phi (1)=1;

(ii)
{lim}_{n\to +\mathrm{\infty}}{\phi}^{n}(t)=1 for all t\in (0,1), where {\phi}^{n}(t) denotes the composition of \phi (t) with itself n times.
Definition 2.6 (Shen et al. [16])
Let (X,M,\ast ) be a fuzzy metric space, r be a positive integer, {A}_{1},{A}_{2},\dots ,{A}_{r}\in {P}_{\mathrm{cl}}(X), where {P}_{\mathrm{cl}}(X) denotes the collection of nonempty closed subsets of X, Y={\bigcup}_{i=1}^{r}{A}_{i} and f:Y\to Y a mapping. If

(i)
{\bigcup}_{i=1}^{r}{A}_{i} is cyclic representation of Y with respect to f;

(ii)
there exists a comparison function \phi :[0,1]\to [0,1] such that
M(f(x),f(y),t)\ge \phi (M(x,y,t))
for any x\in {A}_{i}, y\in {A}_{i+1} and t>0, where {A}_{r+1}={A}_{1}, 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 Gcompleteness of the fuzzy metric space is replaced by Mcompleteness.
Theorem 3.1 (The extended fuzzy Edelstein contraction theorem)
Let (X,M,\ast ) be a fuzzy metric space, r be a positive integer, {A}_{1},{A}_{2},\dots ,{A}_{r}\in {P}_{\mathrm{cl}}(X), at least one of which is compact. Y={\bigcup}_{i=1}^{r}{A}_{i}, f:Y\to Y a mapping. Assume that

(C1)
{\bigcup}_{i=1}^{r}{A}_{i} is a cyclic representation of Y with respect to f;

(C2)
M(f(x),f(y),\cdot )>M(x,y,\cdot ) for any x\in {A}_{i}, y\in {A}_{i+1} (x\ne y), i=1,2,\dots ,r.
Then f has a unique fixed point {x}^{\ast}\in {\bigcap}_{i=1}^{r}{A}_{i}.
Proof Without loss of generality, we assume that {A}_{1} is compact. Define d(t)=sup\{M(x,y,t):x\in {A}_{1},y\in {A}_{r}\}for each t>0. According to Definition 2.2, we know that 0<d(t)\le 1. Since {A}_{1} is compact, for an arbitrary but fixed t>0, there exist {x}_{0}\in {A}_{1} and a sequence \{{y}_{n}\}\subset {A}_{r} such that {lim}_{n\to \mathrm{\infty}}M({x}_{0},{y}_{n},t)=d(t). Now, we claim that d(t)=1 for each given t>0. Otherwise, we can assume that 0<d(t)<1. By the condition (FM2), we know that {x}_{0}\ne {y}_{n} for each n\in \mathbb{N}. Furthermore, we can obtain that {f}^{i}({x}_{0})\ne {f}^{i}({y}_{n}) for 1\le i\le r. Thus, for every n\in \mathbb{N}, we have
Since the sequence \{{f}^{r+1}({y}_{n})\}\subset {A}_{1} and the compactness of {A}_{1}, there exists a subsequence of \{{f}^{r+1}({y}_{n})\} such that it converges to some z\in {A}_{1}. According to the foregoing inequality and Lemma 2.1, by supposing that n\to \mathrm{\infty}, it follows that
According to the arbitrariness of t, if M({f}^{r+1}({x}_{0}),z,t)=1, then we have {f}^{r+1}({x}_{0})=z. Furthermore, we can obtain that M({f}^{2r}({x}_{0}),{f}^{r1}(z),t)=1. Obviously, this is a contradiction. On the other hand, if M({f}^{r+1}({x}_{0}),z,t)<1, then we have {f}^{r+1}({x}_{0})\ne z. Thus, by the conditions (C1) and (C2), we can obtain
As {f}^{2r}({x}_{0})\in {A}_{1} and {f}^{r1}(z)\in {A}_{r}, this implies a contradiction. Therefore, we conclude that d(t)=1 for each t>0, and {A}_{1}\cap {A}_{r}\ne \mathrm{\varnothing}. By (C1), f({A}_{1}\cap {A}_{r})\subset {A}_{1} and f({A}_{1}\cap {A}_{r})\subset {A}_{2}, we have f({A}_{1}\cap {A}_{r})\subset {A}_{1}\cap {A}_{2}. Obviously, {A}_{1}\cap {A}_{2}\ne \mathrm{\varnothing}.
Now, we redefine the sets {A}_{1}^{\mathrm{\prime}}={A}_{1}\cap {A}_{2},{A}_{2}^{\mathrm{\prime}}={A}_{2}\cap {A}_{3},\dots ,{A}_{r}^{\mathrm{\prime}}={A}_{r}\cap {A}_{1}. In view of (C1), these sets are both nonempty and closed. As {A}_{1}^{\mathrm{\prime}} is compact, the conditions (C1) and (C2) are satisfied by f with respect to the family \{{A}_{i}^{\mathrm{\prime}}\}, i=1,2,\dots ,r. By repeating the above process, we obtain {A}_{1}^{\mathrm{\prime}}\cap {A}_{r}^{\mathrm{\prime}}\ne \mathrm{\varnothing}, which implies {A}_{1}\cap {A}_{2}\cap {A}_{3}\ne \mathrm{\varnothing}.
Continuing in this manner, we can obtain
Consider the restriction f{}_{A} of f on A. Obviously, the mapping f{}_{A}:A\to A satisfies the condition (C2) and A is compact. By Lemma 2.2, we conclude that f{}_{A} 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 (X,M,\ast ).
Example 1 Let X=[0,4] be endowed with the usual metric d(x,y)=xy. Define M(x,y,t)=\frac{t}{t+xy} for all x,y\in X and t>0. Clearly, (X,M,\ast ) is a fuzzy metric space with respect to tnorm a\ast b=ab.
Let f:X\to X be defined as f(x)=2\frac{x}{2}. Set {A}_{1}=[0,2], {A}_{2}=[1,4]. Owing to f({A}_{1})=[1,2]\subset [1,4]={A}_{2}, f({A}_{2})=[0,\frac{3}{2}]\subset [0,2]={A}_{1}, we can obtain that {A}_{1}\cup {A}_{2} is a cyclic representation of X with respect to f. In addition, for any x\in {A}_{1}, y\in {A}_{2} and x\ne y, we have
Thus, all the conditions of Theorem 3.1 are satisfied and x=\frac{4}{3} is the unique fixed point of f.
Theorem 3.2 Let (X,M,\ast ) be an Mcomplete fuzzy metric space, r be a positive integer, {A}_{1},{A}_{2},\dots ,{A}_{r}\in {P}_{\mathrm{cl}}(X), Y={\bigcup}_{i=1}^{r}{A}_{i}, \phi :[0,1]\to [0,1] be a comparison function, and f:Y\to Y be a mapping. Assume that

(C1)
{\bigcup}_{i=1}^{r}{A}_{i} is a cyclic representation of Y with respect to f;

(C2)
f is a cyclic φcontraction.
Then f has a unique fixed point {x}^{\ast}\in {\bigcap}_{i=1}^{r}{A}_{i} and the iterative sequence {\{{x}_{n}\}}_{n\ge 0} ({x}_{n}=f({x}_{n1}), n\in \mathbb{N}) converges to {x}^{\ast} for any initial point {x}_{0}\in Y.
Proof Let {x}_{0}\in Y be an arbitrary initial point. Define {\tau}_{n}(t)=M({x}_{n},{x}_{n+1},t) for all n\in \mathbb{N}\cup \{0\}, t>0. Now, we show that f has a fixed point. In particular, if there exists an {n}_{0}\in \mathbb{N}\cup \{0\} such that {x}_{{n}_{0}+1}={x}_{{n}_{0}}, i.e., f({x}_{{n}_{0}})={x}_{{n}_{0}}, then it is obvious that {x}_{{n}_{0}} is a fixed point of f. Otherwise, the inequality {x}_{n}\ne {x}_{n+1} holds for each n, which implies that 0<{\tau}_{n}(t)<1 for all n\in \mathbb{N}\cup \{0\} and t>0. By (C2), \{{\tau}_{n}(t)\} is monotone increasing and bounded from below for every t>0 with respect to n. So, {lim}_{n\to \mathrm{\infty}}{\tau}_{n}(t)=\tau (t)\le 1. Suppose that 0<\tau (t)<1. Since
for each t, letting n\to \mathrm{\infty}, we conclude that \tau (t)\ge \phi (\tau (t)). Obviously, which is a contradiction. Thus, we obtain {lim}_{n\to \mathrm{\infty}}{\tau}_{n}(t)=1.
Next, we show that the iterative sequence {\{{x}_{n}\}}_{n\ge 0} is an MCauchy sequence. Suppose that it is not. Then there exist \u03f5\in (0,1), t>0, and two sequences \{p(n)\} and \{q(n)\} such that for every n\in \mathbb{N}\cup \{0\}, so we obtain that
Furthermore, for each n, we can choose the smallest number p(n) greater than q(n) such that
For each n\in \mathbb{N}\cup \{0\}, we put {s}_{n}(t)=M({x}_{p(n)},{x}_{q(n)},t). Then we have
Since {\tau}_{p(n)1}(t/2)\to 1 as n\to \mathrm{\infty} for the foregoing t, letting n\to \mathrm{\infty}, we conclude that the sequence \{{s}_{n}(t)\} converges to 1\u03f5. Moreover, for p(n)>q(n), there exists 0\le j\le r1 such that p(n)q(n)+j=1 mod r for infinitely many n.
Case I: If j=0, then, for such n, we have
Letting n\to \mathrm{\infty}, we obtain that
Clearly, this leads to a contradiction.
Case II: If j\ne 0, similarly, for such n, we can obtain
Supposing that n\to \mathrm{\infty}, we can get the same contradiction as Case I.
Moreover, we consider another case. That is, there exists {n}_{0}\in \mathbb{N}\cup \{0\} such that M({x}_{m},{x}_{n},t)\le 1\u03f5 for all m,n\ge {n}_{0}. Therefore, for any p\in \mathbb{N}, it is obvious that M({x}_{{n}_{0}+p+1},{x}_{{n}_{0}+p+2},t)\le 1\u03f5. By (C2), we know that the sequence \{M({x}_{{n}_{0}+p+1},{x}_{{n}_{0}+p+2},t)\} is monotone increasing and bounded with respect to p for each t. So, there exists \alpha (t)\in (0,1\u03f5] such that {lim}_{p\to \mathrm{\infty}}M({x}_{{n}_{0}+p+1},{x}_{{n}_{0}+p+2},t)=\alpha (t). Thus, we can obtain
Letting p\to \mathrm{\infty}, for the forgoing t, we have \alpha (t)\ge \phi (\alpha (t)), which is also a contradiction.
Based on the above analysis, we obtain that {\{{x}_{n}\}}_{n\ge 0} is an MCauchy sequence in the Mcomplete fuzzy metric subspace Y. Furthermore, we conclude that there exists an {x}^{\ast}\in Y such that {lim}_{n\to \mathrm{\infty}}{x}_{n}={x}^{\ast}.
Now, we show that {x}^{\ast} is a fixed point of f. By the condition (C1), it follows that the iterative sequence {\{{x}_{n}\}}_{n\ge 0} has an infinite number of terms in each {A}_{i}, i=1,2,\dots ,r. Since Y is Mcomplete, from each {A}_{i}, i=1,2,\dots ,r, we can extract a subsequence of {\{{x}_{n}\}}_{n\ge 0} which converges to {x}^{\ast} as well. Because each {A}_{i}, i=1,2,\dots ,r, is closed, we conclude that {x}^{\ast}\in {\bigcap}_{i=1}^{r}{A}_{i} and thus {\bigcap}_{i=1}^{r}{A}_{i}\ne \mathrm{\varnothing}.
Set Z={\bigcap}_{i=1}^{r}{A}_{i}. Clearly, Z is closed and Mcomplete. Consider the restriction of f on Z, that is, f{}_{Z}:Z\to Z. Next, we show that f{}_{Z} has a unique fixed point in Z\subset Y.
For the forgoing {x}^{\ast}\in Z, there exists {i}_{n} (n\in \mathbb{N}) such that {x}_{n}\in {A}_{{i}_{n}}. Therefore, we can choose {A}_{{i}_{n}+1} such that f{}_{Z}({x}^{\ast})\in {A}_{{i}_{n}+1}. Accordingly, for any t>0, we can obtain
By supposing that n\to \mathrm{\infty}, we conclude that M(f{}_{Z}({x}^{\ast}),{x}^{\ast},t)=1 for any t>0, i.e., f{}_{Z}({x}^{\ast})={x}^{\ast}. That is to say, {x}^{\ast} is a fixed point of f{}_{Z}, which is obtained by iteration from the initial point {x}_{0}\in Y.
To show uniqueness, we assume that y\in {\bigcap}_{i=1}^{r}{A}_{i} is another fixed point of f{}_{Z}. As {x}^{\ast},y\in {A}_{i} for every i\in \{1,2,\dots ,r\}, we obtain that
This leads to a contradiction. Thus, {x}^{\ast} is a unique fixed point of f{}_{Z}.
Finally, we have to prove that the iterative sequence {\{{x}_{n}\}}_{n\ge 0} converges to {x}^{\ast} for any starting point {x}_{0}\in Y. Since {x}_{0}\in Y={\bigcup}_{i=1}^{m}{A}_{i}, there exists {i}_{0}\in \{1,2,\dots ,r\} such that {x}_{0}\in {A}_{{i}_{0}}. As {x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}, we know that {x}^{\ast}\in {A}_{{i}_{0}+1} as well. Then, for any t>0, we have
By induction, we can obtain
According to Lemma 2.3, supposing {x}_{0}\ne {x}^{\ast}, it follows immediately that {x}_{n}\to {x}^{\ast} as n\to \mathrm{\infty}. Hence, the iterative sequence {\{{x}_{n}\}}_{n\ge 0} converges to the unique fixed point {x}^{\ast} of f for any initial point {x}_{0}\in Y. 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 Mcompleteness.
Example 2 Let X=[0,3] be equipped with the ordinary metric d(x,y)=xy, \phi (\tau )=\sqrt{\tau} for all \tau \in [0,1]. Define M(x,y,t)={e}^{\frac{2xy}{t}} for all x,y\in X and t>0. Clearly, (X,M,\ast ) is an Mcomplete fuzzy metric space with respect to tnorm a\ast b=ab.
Let f:X\to X be defined as
Set {A}_{1}=[\frac{2}{3},3], {A}_{2}=[0,\frac{3}{2}], it is obvious that f({A}_{1})=[0,1]\subseteq {A}_{2}, f({A}_{2})=[\frac{3}{4},1]\subseteq {A}_{1}. Besides, for any x\in {A}_{1}, y\in {A}_{2}, we have
it follows that M(f(x),f(y),t)={e}^{\frac{2f(x)f(y)}{t}}\ge {e}^{\frac{xy}{t}}=\phi (M(x,y,t)) for every t>0. Thus, f is a cyclic φcontraction in the fuzzy metric space (X,M,\ast ). Now, all the conditions of Theorem 3.2 are satisfied and then f has a unique fixed point, that is x=1.
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 Mcomplete fuzzy metric space. The conclusion has shown that the original proposition and the corresponding conclusions are true even if Gcompleteness is replaced by Mcompleteness.
References
Grabiec M: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 1988, 27: 385–389. 10.1016/01650114(88)900644
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/S01650114(96)003429
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/S01650114(98)000992
Sharma S: Common fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 127: 345–352. 10.1016/S01650114(01)001129
Gregori V, Sapena A: On fixed point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 2002, 125: 245–253. 10.1016/S01650114(00)000889
Mihet D: A Banach contraction theorem in fuzzy metric spaces. Fuzzy Sets Syst. 2004, 144: 431–439. 10.1016/S01650114(03)003051
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/jnaa00110
Murthy PP, Mishra U, Rashmi R, Vetro C:Generalized (\phi ,\psi )weak contractions involving (f,g)reciprocally continuous maps in fuzzy metric spaces. Ann. Fuzzy Math. Inf. 2013, 5(1):45–57. 10.1007/s1254301301326
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/01650114(94)901627
Vetro C: Fixed points in weak nonArchimedean 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/168718122013133
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122013133
Keywords
 Fixed Point Theorem
 Nonexpansive Mapping
 Fixed Point Theory
 Unique Fixed Point
 Iterative Sequence