George and Veeramani  slightly modified the concept of fuzzy metric space introduced by Kramosil and Michalek, defined a Hausdorff topology and proved some known results in 1994. Rheinboldt  initiated the study of iterated contraction in 1969. The concept of iterated contraction proves to be very useful in the study of certain iterative process and has wide applicability in metric spaces. In this paper we establish some new fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
Definition 2.1 (  ). 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-2) if and only if ;
(FM-5) is continuous.
Definition 2.2 (  ). A map , satisfying , for all , is called a contraction map.
Definition 2.3 (  ). If is a fuzzy metric space such that for all , then T is said to be a fuzzy iterated contraction map.
3. Main Results
In this part, we prove some new fixed point theorems for fuzzy iterated maps under different settings. According to these theorems, some useful corollaries are obtained.
Theorem 3.1 If is a fuzzy iterated contraction and is continuous, where C is closed subset of a metric space X, then T has a fixed point provided that is compact.
Proof: We show that the sequence has a convergent subsequence. Using iterated contraction and continuity of T we get a fixed point.
Definition 3.1 Let X be a metric space and . Then T is said to be a fuzzy iterated nonexpansive map if for all .
The following is a fixed point theorem for the fuzzy iterated nonexpansive map.
Theorem 3.2 Let X be a metric space and a fuzzy iterated nonexpansive map satisfying the following:
If , then ,
If for some , the sequence of iterates has a convergent subsequence converging to y say and T is continuous at y. Then T has a fixed point.
Proof: The sequence is a nondecreasing sequence of reals. It is bounded above by 1, and therefore has a limit. Since the subsequence converges to y and T is continuous on X, so converges to and converges to .
If , then , since T is a fuzzy iterative contractive map.
Consequently, , a contradiction and hence .
Note 3.1 If C is compact, then condition 2) of Theorem 3.2 is satisfied, and hence the result.
If C is a closed subset of a metric space X and a fuzzy iterated contraction. If the sequence converges to y, where T is continuous at y, then , that is, T has a fixed point.
The following theorem deals with two metrics on X.
Theorem 3.3 Let satisfy the following:
1) X is complete with metric M and for all x, ,
2) T is a fuzzy iterated contraction with respect to ,
Then for , the sequence of iterates converges to . If T is continuous at y, then T has a fixed point, say .
Proof: It is easy to show that is a Cauchy sequence with respect to . Since , therefore is a Cauchy sequence with respect to M. The sequence converges to y in since it is complete. The function T is continuous at y, . Hence .
Theorem 3.4 Let be a continuous fuzzy iterated contraction map such that:
if , then , and
the sequence has a convergent subsequence converging to y.
Then the sequence converges to a fixed point of T.
Proof: It is easy to see that the sequence is a nondecreasing and bounded above by 1. Let be a subsequence of converging to y.
If , then, , since T is a fuzzy iterative contractive map.
This is a contradiction so . Since for all n, so converges to y.
Corollary 3.1 Let T be a map of a fuzzy metric space X into itself such that
1) T is a nonexpansive map on X, that is, for all ,
2) if , then ,
3) the sequence has a convergent subsequence converging to y. Then the sequence converges to a fixed point of T.
Proof: It is easy to prove by Theorem 3.4.
Note 3.2 If is a fuzzy contractive map and compact, then T has a unique fixed point.
It is easy to see that the sequence of iterates converges to a unique fixed point of T. However, for nonexpansive map, a sequence of iterates need not converge to a fixed point of T.
Note 3.3 If , , then the fixed point of T is the same as of H.
Let . Then , that is, since .
Let . Then we show that . Here .
Then , that is, T has a fixed point y. In case the sequence converges to y a fixed point of H, then .
This paper is supported by the Student Research Training Program of Jiaxing University (No.851715034), the College Student’s Science and Technology Innovation Project of Zhejiang Province (No.2016R417014).
 Xia, L. and Tang, Y.H. (2018) Some Fixed Point Theorems for Fuzzy Iterated Contraction Maps in Fuzzy Metric Spaces. Journal of Applied Mathematics and Physics, 6, 224-227.