- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Journal of Applied Mathematics

Volume 2012 (2012), Article ID 907951, 5 pages

http://dx.doi.org/10.1155/2012/907951

## Quasi-Contractive Mappings in Modular Metric Spaces

^{1}Department of Mathematics Education and RINS, Gyeongsang National University, jinju 660-701, Republic of Korea^{2}Department of Mathematics, Science and Research Branch, Islamic Azad University, Tehran, Iran^{3}Department of Mathematics and Computer Sciences, Sabzevar Tarbiat Moallem University, Sabzevar, Iran

Received 6 October 2011; Accepted 30 November 2011

Academic Editor: Rudong Chen

Copyright © 2012 Yeol J. E. Cho et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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

#### References

- V. V. Chistyakov, “Modular metric spaces I: basic concepts,”
*Nonlinear Analysis*, vol. 74, pp. 1–14, 2010. View at Publisher · View at Google Scholar