Some New Fixed Point Theorems for Fuzzy Iterated Contraction Maps in Fuzzy Metric Spaces

Lei Xia, Yuehan Tang

College of Mathematics, Physics and Information Engineering, Jiaxing University, Jiaxing, China.

DOI: 10.4236/jamp.2018.61022                

Abstract

The purpose of this paper is to introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some new fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.

Keywords

Fixed Point, Iterated Contraction Map, Fuzzy Metric Space

1. Introduction

George and Veeramani [1] 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 [2] 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.

2. Preliminaries

Definition 2.1 ( [1] ). A fuzzy metric space is an ordered triple $\left(X,M,\ast \right)$ such that X is a (nonempty) set, $\ast$ is a continuous t-norm and M is a fuzzy set on $X\times X\times \left(0,\infty \right)$ satisfying the following conditions, for all $x,y,z\in X$ , $s,t>0$ :

(FM-1) $M\left(x,y,t\right)>0$ ;

(FM-2) $M\left(x,y,t\right)=1$ if and only if $x=y$ ;

(FM-3) $M\left(x,y,t\right)=M\left(y,x,t\right)$ ;

(FM-4) $M\left(x,y,t\right)\ast M\left(x,z,t+s\right)$ ;

(FM-5) $M\left(x,y,•\right):\left(0,\infty \right)\to \left(0,1\right)$ is continuous.

Definition 2.2 ( [1] ). A map $T:X\to X$ , satisfying $M\left(Tx,Ty,t\right)\ge M\left(x,y,\frac{t}{k}\right)$ , for all $x,y\in X,t>0,0<k<1$ , is called a contraction map.

Definition 2.3 ( [3] ). If $\left(X,M,*\right)$ is a fuzzy metric space such that $M\left(Tx,T^{2}x,t\right)\ge M\left(x,Tx,\frac{t}{k}\right)$ for all $x\in X,t>0,0<k<1$ , 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 $T:C\to C$ 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 $T\left(C\right)$ is compact.

Proof: We show that the sequence $\left\{x_n\right\}$ 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 $T:X\to X$ . Then T is said to be a fuzzy iterated nonexpansive map if $M\left(Tx,T^{2}x,t\right)\ge M\left(x,Tx,t\right)$ for all $x\in X$ .

The following is a fixed point theorem for the fuzzy iterated nonexpansive map.

Theorem 3.2 Let X be a metric space and $T:X\to X$ a fuzzy iterated nonexpansive map satisfying the following:

If $x=Tx$ , then $M\left(Tx,T^{2}x,t\right)\ge M\left(x,Tx,t\right)$ ,

If for some $x\in X$ , the sequence of iterates $x_{n+1}=T{x}_n$ has a convergent subsequence converging to y say and T is continuous at y. Then T has a fixed point.

Proof: The sequence $\left\{M\left(x_{n+1},x_n,t\right)\right\}$ 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 $T\left(x_{n_i}\right)$ converges to $Ty$ and $T^2\left(x_{n_i}\right)$ converges to $T^{2}y$ .

Thus $M\left(y,Ty,t\right)=\lim M\left(x_{n_i},x_{n_{i+1}},t\right)=\lim M\left(x_{n_{i+1}},x_{n_{i+2}},t\right)=M\left(Ty,T^{2}y,t\right)$ .

If $y\ne Ty$ , then $M\left(Ty,T^{2}y,t\right)>M\left(y,Ty,t\right)$ , since T is a fuzzy iterative contractive map.

Consequently, $M\left(y,Ty,t\right)=M\left(Ty,T^{2}y,t\right)>M\left(y,Ty,t\right)$ , a contradiction and hence $Ty=y$ .

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 $T:C\to C$ a fuzzy iterated contraction. If the sequence $\left\{x_n\right\}$ converges to y, where T is continuous at y, then $Ty=y$ , that is, T has a fixed point.

The following theorem deals with two metrics on X.

Theorem 3.3 Let $T:X\to X$ satisfy the following:

1) X is complete with metric M and $M\left(x,Tx,t\right)\le \delta \left(x,Tx,t\right)$ for all x, $Tx\in X$ ,

2) T is a fuzzy iterated contraction with respect to $\delta$ ,

Then for $x\in X$ , the sequence of iterates $x_n=T^{n}x$ converges to $y\in X$ . If T is continuous at y, then T has a fixed point, say $Ty=y$ .

Proof: It is easy to show that $\left\{x_n\right\}$ is a Cauchy sequence with respect to $\delta$ . Since $M\left(x,Tx,t\right)\le \delta \left(x,Tx,t\right)$ , therefore $\left\{x_n\right\}$ is a Cauchy sequence with respect to M. The sequence $\left\{x_n\right\}$ converges to y in $\left(X,M\right)$ since it is complete. The function T is continuous at y, $y=\lim x_n=\lim f\left(f^{n-1}x\right)=\lim f{x}_{n-1}=f\lim x_{n-1}=Ty$ . Hence $Ty=y$ .

Theorem 3.4 Let $T:X\to X$ be a continuous fuzzy iterated contraction map such that:

if $x=Tx$ , then $M\left(Tx,T^{2}x,t\right)>M\left(x,Tx,t\right)$ , and

the sequence $x_{n+1}=T\left(x_n\right)$ has a convergent subsequence converging to y.

Then the sequence $\left\{x_n\right\}$ converges to a fixed point of T.

Proof: It is easy to see that the sequence $\left\{M\left(x_n,x_{n+1},t\right)\right\}$ is a nondecreasing and bounded above by 1. Let $\left\{x_n\right\}$ be a subsequence of $\left\{x_n\right\}$ converging to y.

Then, $M\left(y,Ty,t\right)=\lim M\left(x_{n_i},x_{n_{i+1}},t\right)=\lim M\left(x_{n_{i+1}},x_{n_{i+2}},t\right)=M\left(Ty,T^{2}y,t\right)$ .

If $y\ne Ty$ , then, $M\left(Ty,T^{2}y,t\right)>M\left(y,Ty,t\right)$ , since T is a fuzzy iterative contractive map.

Consequently, $M\left(y,Ty,t\right)=M\left(Ty,T^{2}y,t\right)>M\left(y,Ty,t\right)$ .

This is a contradiction so $y=Ty$ . Since $M\left(x_{n+1},y,t\right)>M\left(x_n,y,t\right)$ for all n, so $\left\{x_n\right\}$ 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, $M\left(Tx,Ty,t\right)\ge M\left(x,y,t\right)$ for all $x,y\in X$ ,

2) if $x\ne Tx$ , then $M\left(Tx,T^{2}x,t\right)>M\left(x,Tx,t\right)$ ,

3) the sequence $x_{n+1}=T\left(x_n\right)$ has a convergent subsequence converging to y. Then the sequence $\left\{x_n\right\}$ converges to a fixed point of T.

Proof: It is easy to prove by Theorem 3.4.

Note 3.2 If $T:X\to X$ is a fuzzy contractive map and $T\left(X\right)$ compact, then T has a unique fixed point.

It is easy to see that the sequence of iterates $\left\{x_n\right\}$ 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 $H=aTx+\left(1-a\right)x$ , $0<a<1$ , then the fixed point of T is the same as of H.

Let $Ty=y$ . Then $Hy=aTy+\left(1-a\right)y=y$ , that is, $Hy=y$ since $Ty=y$ .

Let $Hy=y$ . Then we show that $y=Ty$ . Here $Hy=aTy+\left(1-a\right)y=y$ .

Then $Ty=y$ , that is, T has a fixed point y. In case the sequence $x_{n+1}=H{x}_n$ converges to y a fixed point of H, then $y=Ty$ .

Acknowledgements

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).

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	George, A. and Veeramani, P. (1994) On Some Results in Fuzzy Metric Spaces. Fuzzy Sets and System, 64, 395-399. https://doi.org/10.1016/0165-0114(94)90162-7
[2]	Rheinboldt, W.C. (1968) A Unified Convergence Theory for a Class of Iterative Process. SIAM Journal on Numerical Analysis, 5, 42-63. https://doi.org/10.1137/0705003
[3]	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. https://doi.org/10.4236/jamp.2018.61021