Abstract
We prove the existence of fixed point and uniqueness of quasi-contractive mappings in modular metric spaces which was introduced by Ćirić
1. Introduction and Preliminaries
In this paper, we prove the existence and uniqueness of fixed points of quasi-contractive mappings in modular metric spaces which develop the theory of metric spaces generated by modulars. Throughout the paper is a nonempty set and . The notion of a metric modular was introduced by Chistyakov [1] as follows.
Definition 1.1. A function is said to be a metric modular on (or, simply, a modular if no ambiguity arises) if it satisfies three axioms:(i)for any , for all if and only if ;(ii) for all , and ;(iii) for all and .
Definition 1.2. Let be a metric modular space.(1)A sequence in is said to be -convergent to a point if, for all , as .(2)A subset of is said to be -closed if the -limit of a -convergent sequence of always belongs to .(3)A subset of is said to be -complete if every -Cauchy sequence in is -convergent and its -limit is in .
Definition 1.3. The metric modular is said to have the Fatou property if for all and , where -converges to .
2. Main Results
Definition 2.1. Let be a metric modular space, and let be a nonempty subset of . The self-mapping is said to be quasi-contraction if there exists such that for any and .
Let be a mapping, and let be a nonempty subset of . For any , define the orbit and its -diameter by
Lemma 2.2. Let be a metric modular space, and let be a nonempty subset of . Let be a quasi-contractive mapping, and let be such that . Then, for any , one has where is the constant associated with the mapping of . Moreover, one has for any and .
Proof. For each , we have for any and . This obviously implies that for any . Hence, for any , we have Moreover, for any , we have This completes the proof.
The next lemma is helpful to prove the main result in this paper.
Lemma 2.3. Let be a modular metric space, and let be a -complete nonempty subset of . Let be quasi-contractive mapping, and let be such that . Then -converges to a point . Moreover, one has for all and .
Proof. From Lemma 2.2, we know that is a -Cauchy sequence in . Since is -complete, then there exists such that -converges to . Since for any and satisfies the Fatou property, and letting , we have This completes the proof.
Next, we prove that is, in fact, a fixed point of and it is unique provided some extra assumptions.
Theorem 2.4. Let , and be as in Lemma 2.3. Suppose that and for all . Then the -limit of is a fixed point of , that is, . Moreover, if is any fixed point of in such that for all , then one has .
Proof. We have
From Lemma 2.3, it follows that
Suppose that, for each ,
Then we have
Hence we have
Using our previous assumption, we get
Thus, by induction, we have
for any and . Therefore, we have
for all . Using the Fatou property for the metric modular , we get
for all . Since , we get for all , and so .
Let be another fixed point of such that for all . Then we have
which implies that
for all . Hence . This complete the proof.
Acknowledgments
The authors are thankful to the anonymous referees and the area editor Professor Rudong Chen for their critical remarks which helped greatly to improve the presentation of this paper. The first author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (Grant no. 2011-0021821).