Journal of Applied Mathematics and Physics
Vol.06 No.01(2018), Article ID:82057,4 pages
10.4236/jamp.2018.61021
Some 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
Copyright © 2018 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: December 28, 2017; Accepted: January 26, 2018; Published: January 29, 2018
ABSTRACT
The purpose of this paper is to introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
Keywords:
Fixed Point, Iterated Contraction Map, Fuzzy Metric Space
1. Introduction
In 1975, Kramosil and Michalek [1] first introduced the concept of a fuzzy metric space. In 1994, George and Veeramani [2] slightly modified the concept of fuzzy metric space introduced by Kramosil and Michalek, defined a Hausdorff topology and proved some known results. In 1969, Rheinboldt [3] initiated the study of iterated contraction. 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 introduce the notion of fuzzy iterated contraction maps in fuzzy metric spaces and establish some fixed point theorems for fuzzy iterated contraction maps in fuzzy metric spaces.
2. Preliminaries
Definition 2.1 ( [2] ). 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.2 ( [2] ). A map , satisfying ,
for all , is called a contraction map.
3. Main Results
In this part, we firstly give a notion of the fuzzy iterated contraction map in a fuzzy metric space, then we prove some fixed point theorems for fuzzy iterated maps under different settings.
Definition 3.1 If is a fuzzy metric space such that for all , then T is said to be a fuzzy iterated contraction map.
Remark 3.1 A fuzzy contraction map is continuous and is a fuzzy iterated contraction. A fuzzy contraction map has a unique fixed point. However, a fuzzy iterated contraction map may have more than one fixed point.
Let be a metric space, Define and for all and ,
then is a fuzzy metric space.
If is given by , then T is a fuzzy iterated contraction but not a fuzzy contraction map.
The following is a fixed point theorem for fuzzy iterated contraction map.
Theorem 3.1 If is a continuous fuzzy iterated contractive map and the sequence of iterates in fuzzy metric space , defined by for , has a subsequence converging to , then , that is, 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 .
Thus
then
when , therefore that is to say .
We give the following example to show that if T is a fuzzy iterated contraction that is not continuous, then T may not have a fixed point.
A continuous map T that is not a fuzzy iterated contraction may not have a fixed point.
Note 3.1 If T is not contraction but some powers of T is contraction, then T has a unique fixed point on a complete metric space.
Proof: If x is a fixed point of k powers of T, thus , ,then , since has a unique fixed point. Consequently .
Note 3.2 Continuity of a fuzzy iterated contraction is sufficient but not necessary.
As stated in Note 3.1 that if T is not contraction still T may have a unique fixed point when some powers of T is a fuzzy contraction map. The same is true for fuzzy iterated contraction map.
Theorem 3.2 Let be a fuzzy iterated contraction map on a complete metric space X. If for some power of T, say is a fuzzy iterated contraction,
that is, and is continuous at y, where
, for any arbitrary . Then T has a fixed point.
Proof: Since T is a fuzzy iterated contraction that is continuous at y,
therefore is a Cauchy sequence in X and X is a complete metric space. Thus , and is continuous, consequently .
It is easy to show that . Since , therefore and hence f has a fixed point.
We give the following example to illustrate the theorem.
Note 3.3 If T is not a fuzzy iterated contraction in Theorem 3.2, but is a fuzzy iterated contraction with , then T has a fixed point.
Theorem 3.3 If is a fuzzy iterated contraction map, and X is a complete metric space, then the sequence of iterates converges to . In case, T is continuous at y, then , that is, T has a fixed point.
Proof: Let . It is easy to show that is a Cauchy sequence, since T is a fuzzy iterated contraction. The Cauchy sequence converges to , since X is a complete metric space. Moreover, if T is continuous at y, then converges to . It follows that .
Note 3.3 A continuous iterated contraction map on a complete metric space has a unique fixed point. If an iterated contraction map is not continuous, it may have more than one fixed point.
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).
Cite this paper
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
References
- 1. Kramosil, I. and Michálek, J. (1975) Fuzzymetric and Statistical Mestric Spaces. Kybernetika, 11, 336-334.
- 2. 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
- 3. 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