- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- 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
Abstract and Applied Analysis
Volume 2014 (2014), Article ID 962784, 7 pages
Discussion on Contractions on Generalized Metric Spaces
1Department of Mathematics, Atilim University, Incek, 06836 Ankara, Turkey
2Nonlinear Analysis and Applied Mathematics Research Group (NAAM), King Abdulaziz University, Jeddah, Saudi Arabia
Received 22 December 2013; Accepted 10 January 2014; Published 20 February 2014
Academic Editor: Chi-Ming Chen
Copyright © 2014 Erdal Karapınar. 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.
We discuss the existence and uniqueness of fixed points of contractive mappings in complete generalized metric spaces, introduced by Branciari. Our results generalize and improve several results in the literature.
1. Introduction and Preliminaries
Recently, Branciari  introduced the notion of a generalized metric, also known as rectangular metric, by replacing the triangle inequality with a more general inequality, namely, quadrilateral inequality. Since quadrilateral inequality is weaker than triangle inequality, each metric space is a generalized metric space. As it is expected, the converse of this statement is false . By using this generalized metric, Branciari successfully defined an open ball and hence a topology. On the other hand, the topology of this metric fails to provide some useful topological properties:()generalized metric needs not to be continuous;()a convergent sequence in generalized metric space needs not to be Cauchy;()generalized metric space needs not to be Hausdorff, and hence the uniqueness of limits cannot be guaranteed.
It is quite natural to ask whether the existing fixed point results are still valid in the setting of generalized metric spaces. The first answer to this question was given by Branciari  by proving an analog of the well-known Banach contraction principle. Although the statement is true, in the proof, Branciari  used the continuity of generalized metric which cannot be guaranteed. Samet  gives an example for a generalized metric which is not continuous. Later, the proof of Branciari  corrected by several authors; see, for example, [3–5]. The challenging nature of the topology of generalized metric has attracted attention and hence various fixed points results for different type contraction mappings on generalized metric spaces have been investigated (see, e.g., [2–13] and the references therein).
Very recently, Samet et al.  suggested a very interesting class of mappings, contraction mappings, to investigate the existence and uniqueness of fixed point. Several well-known fixed point theorems, including the Banach mapping principle, were concluded as consequences of the main result of this interesting paper. The techniques used in this paper have been studied and improved by a number of authors; see, for example, [15–19] and the references therein.
In this paper, we investigate the existence and uniqueness of fixed point of contraction mappings in the setting of generalized metric spaces by carrying the problems mentioned above. Notice that in the literature there are distinct notions that are called “generalized metric.” In the sequel, when we mention “generalized metric,” we correspond to the notion of “generalized metric” defined by Branciari .
We now recollect some fundamental definitions, notations, and basic results that will be used throughout this paper.
Let be the family of functions satisfying the following conditions:(i) is nondecreasing;(ii)there exist and and a convergent series of nonnegative terms such that for and any .
Lemma 1 (see, e.g., ). If , then the following hold:(i) converges to as for all ;(ii), for any ;(iii) is continuous at ;(iv)the series converges for any .
In what follows, we recall the notion of generalized metric spaces.
Definition 2 (see ). Let be a nonempty set and let satisfy the following conditions for all and all distinct each of which is different from and : Then the map is called generalized metric and abbreviated as GMS. Here, the pair is called generalized metric space.
In the above definition, if satisfies only (GMS1) and (GMS2), then it is called semimetric (see, e.g., ).
The concepts of convergence, Cauchy sequence, and completeness in a GMS are defined below.
Definition 3. A sequence in a GMS is GMS convergent to a limit if and only if as .
A sequence in a GMS is GMS Cauchy if and only if for every there exists positive integer such that for all .
A GMS is called complete if every GMS Cauchy sequence in is GMS convergent.
Let be nonempty set and let be an endomorphism, . A point in is called (i) a fixed point of if , (ii) a preperiodic point of if there are distinct natural and such that , and (iii) a periodic point of if there exists a natural number so that , where is the th iteration of . It is evident that all periodic points are preperiodic.
The following assumption was suggested by Wilson  to replace the triangle inequality with the weakened condition.()For each pair of (distinct) points , there is a number such that, for every ,
Proposition 4 (see ). In a semimetric space, assumption (W) is equivalent to the assertion that limits are unique.
Proposition 5 (see ). Suppose that is a Cauchy sequence in a GMS with , where . Then for all . In particular, the sequence does not converge to if .
Definition 6 (see ). For a nonempty set , let and be mappings. One says that self-mapping on is -admissible if, for all , one has
Example 7. Let . We let and be mappings that are defined by and respectively. Then is -admissible.
Example 8. For we define and by and respectively. Then is -admissible.
The notion of contractive mapping is defined in the following way.
Definition 9 (see ). Let be a metric space and let be a given mapping. One says that is an contractive mapping if there exist two functions and such that
It is obvious that any contractive mapping, that is, a mapping satisfying Banach contraction, is an contractive mapping with for all and , .
2. Main Results
We present our main results in this section. First we give the analog of the notion of contractive mapping, in the context of generalized metric space as follows.
Definition 10. Let be a generalized metric space and let be a given mapping. One says that is an contractive mapping if there exist two functions and such that
Now, we state the following fixed point theorem.
Theorem 11. Let be a complete generalized metric space and let be an contractive mapping. Suppose that (i) is admissible;(ii)there exists such that and ;(iii) is continuous.
Then there exists . such that .
Proof. Let be an arbitrary point such that and . Notice that the existence of such a point is guaranteed by assumption (ii) of the theorem. We construct an iterative sequence in by for all . If we have for some , then is a fixed point of . Hence, for the rest of the proof, we presume that
Since is admissible, we have
Recursively, we obtain that
Analogously, we derive that
Iteratively, we get that
Regarding (6) and (9), we deduce that
for all .
Inductively, we derive that It is evident from Lemma 1 that
Regarding (6) and (11), we deduce that for all .
By utilizing inequality (15), we derive that Owing to Lemma 1, we find that
Let for some with . Without loss of generality, assume that . Thus, . Consider now Due to (ii) of Lemma 1, inequality (18) turns into which is a contradiction. Hence, has no periodic point.
In what follows, we will prove that the sequence is Cauchy. For this purpose, it is sufficient to examine two cases. Case (I): suppose that and is odd. Let , . Then, by using the quadrilateral inequality together with (16), we find
Case (II): let and let be even. Let , . Then, by applying the quadrilateral inequality together with (16) and (17), we find By combining the expressions (20) and (21) we conclude that is a Cauchy sequence in . Since is complete, there exists such that Since is continuous, we obtain from (22) that From (22) and (23) we get immediately that . Taking Proposition 5 into account, we conclude that is a fixed point of ; that is, .
Theorem 12. Let be a complete generalized metric space and let be an contractive mapping. Suppose that (i) is admissible;(ii)there exists such that and ;(iii)if is a sequence in such that for all and as , then for all . Then there exists a such that .
Proof. Following the lines in the proof of Theorem 11, we know that the sequence defined by for all converges for some . From (9) and condition (iii), there exists a subsequence of such that for all . Applying (6), for all , we get that
Letting in the above equality, we find that By Proposition 5, we obtain that is a fixed point of ; that is, .
For the uniqueness, we need an additional condition.(U)For all , we have , where denotes the set of fixed points of .
Proof. In what follows we will show that is a unique fixed point of . We will use the reductio ad absurdum. Let be another fixed point of with . It is evident that .
Now, due to (6), we have which is a contradiction. Hence, .
As an alternative condition for the uniqueness of a fixed point of a contractive mapping, we will consider the following hypothesis.(H)For all , there exists such that and .
Proof. Suppose that is another fixed point of . From , there exists such that
Since is -admissible, from (27), we have
Define the sequence in by for all and . From (28), for all , we have
Iteratively, by using inequality (29), we get that for all . Letting in the above inequality, we obtain Similarly, one can show that Regarding together with (31) and (32), it follows that . Thus we proved that is the unique fixed point of .
The proof is clear and hence it is omitted. Indeed, Hausdorffness implies the uniqueness of the limit. Thus, the theorem above yields the conclusions.
Example 16. Let where , , and . Define the generalized metric on as follows:
It is clear that does not satisfy triangle inequality on . Indeed,
Notice that (GMS3) holds, so is a generalized metric.
Let be defined as Define
It is clear that is an contractive mapping with for all . Moreover, there exists such that . In fact, for , we have
Notice also that is -admissible mapping. To show this assume that with . It yields that . Owing to the definition of the mapping , we have
Thus, the mapping is -admissible. It is clear that the mapping is not continuous. On the other hand, if is a sequence in such that for all , then . Recall that the sequence is defined iteratively, by for each integer , with an initial (arbitrary) point . In this case, the initial point lies in either or . If , then the sequence is a constant sequence and hence tends to . Thus, for all implies that . If , then the sequence is a constant sequence and hence tends to . Thus, for all implies that .
Then satisfies the conditions of Theorem 12 and has a (unique) fixed point on ; that is, .
Corollary 17. Let be a complete generalized metric space and let be a given mapping. Suppose that there exists a function such that for all . Then has a unique fixed point.
Proof. Let be the mapping defined by , for all . Then is an -contraction mapping. It is evident that all conditions of Theorem 11 are satisfied. Hence, has a unique fixed point.
The following fixed point theorems follow immediately from Corollary 17 by taking , where .
Corollary 18 (Branciari ). Let be a complete generalized metric space and let be a given mapping. Suppose that there exists a constant such that for all . Then has a unique fixed point.
Remark 19. Our results improve and correct the results of Branciari  in which the analog of Banach fixed point theorem was proved. In the literature, to correct the proof of Branciari , some authors assume some superfluous conditions such as Hausdorffness of the induced topology of generalized metric space and continuity of generalized metric function. Inspired by the interesting papers of [3, 4] we prove the analog of Banach fixed point theorem in the context of generalized metric space without any further condition.
As consequences of Definition 20, we obtain the following remarks.
Remark 21 (see [24, 25]). Any function is 0-transitive.
If is -transitive, then it is -transitive for all .
If is transitive, then it is -transitive for all .
If is -transitive, then it is not necessarily transitive for all .
Corollary 22. Let be a complete generalized metric space and let be an contractive mapping. Suppose that (i) is admissible;(ii)there exists such that and is transitive;(iii)either(a) is continuous,or(b)if is a sequence in such that for all and as , then for all .
Then there exists a such that .
Proof. Regarding assumption (ii) of the theorem, there exists such that . Consequently, we have , by (i). Since is transitive, we derive that . Hence all conditions of Theorem 11 (and, resp., Theorem 12) are satisfied.
Corollary 23. Adding condition (U) to the hypotheses of Corollary 22, one concludes that is the unique fixed point of .
Corollary 24. Adding conditions (H) and (W) to the hypotheses of Corollary 22, one obtains that is the unique fixed point of .
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
The author thanks are due to anonymous referees for their remarkable comments, suggestion, and ideas that help to improve this paper.
- A. Branciari, “A fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces,” Publicationes Mathematicae Debrecen, vol. 57, no. 1-2, pp. 31–37, 2000.
- B. Samet, “Discussion on “a fixed point theorem of Banach-Caccioppoli type on a class of generalized metric spaces” by A. Branciari,” Publicationes Mathematicae Debrecen, vol. 76, no. 4, pp. 493–494, 2010.
- M. Jleli and B. Samet, “The Kannan's fixed point theorem in a cone rectangular metric space,” The Journal of Nonlinear Sciences and Applications, vol. 2, no. 3, pp. 161–167, 2009.
- W. A. Kirk and N. Shahzad, “Generalized metrics and Caristis theorem,” Fixed Point Theory and Applications, vol. 2013, article 129, 2013.
- L. Kikina and K. Kikina, “A fixed point theorem in generalized metric spaces,” Demonstratio Mathematica, vol. 46, no. 1, pp. 181–190, 2013.
- W. A. Wilson, “On semi-metric spaces,” The American Journal of Mathematics, vol. 53, no. 2, pp. 361–373, 1931.
- P. Das and L. K. Dey, “Fixed point of contractive mappings in generalized metric spaces,” Mathematica Slovaca, vol. 59, no. 4, pp. 499–504, 2009.
- H. Lakzian and B. Samet, “Fixed points for -weakly contractive mappings in generalized metric spaces,” Applied Mathematics Letters, vol. 25, no. 5, pp. 902–906, 2012.
- H. Aydi, E. Karapinar, and H. Lakzian, “Fixed point results on a class of generalized metric spaces,” Mathematical Sciences, vol. 6, no. 1, article 46, pp. 1–6, 2012.
- N. Bilgili, E. Karapinar, and D. Turkoglu, “A note on common fixed points for -weakly contractive mappings in generalized metric spaces,” Fixed Point Theory and Applications, vol. 2013, article 287, 2013.
- C.-M. Chen and W. Y. Sun, “Periodic points for the weak contraction mappings in complete generalized metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 79, 2012.
- I. Erhan, E. Karapinar, and T. Sekulić, “Fixed points of contractions on rectangular metric spaces,” Fixed Point Theory and Applications, vol. 2012, article 138, 2012.
- D. Miheţ, “On Kannan fixed point principle in generalized metric spaces,” The Journal of Nonlinear Science and Its Applications, vol. 2, no. 2, pp. 92–96, 2009.
- B. Samet, C. Vetro, and P. Vetro, “Fixed point theorems for --contractive type mappings,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 4, pp. 2154–2165, 2012.
- M. U. Ali, T. Kamran, and E. Karapinar, “-contractive multivalued mappings,” Fixed Point Theory and Applications, vol. 2014, article 7, 2014.
- M. Jleli, E. Karapınar, and B. Samet, “Best proximity points for generalized -proximal contractive type mappings,” Journal of Applied Mathematics, vol. 2013, Article ID 534127, 10 pages, 2013.
- M. Jleli, E. Karapınar, and B. Samet, “Fixed point results for contractions on gauge spaces and applications,” Abstract and Applied Analysis, vol. 2013, Article ID 730825, 7 pages, 2013.
- E. Karapınar and B. Samet, “Generalized --contractive type mappings and related fixed point theorems with applications,” Abstract and Applied Analysis, vol. 2012, Article ID 793486, 17 pages, 2012.
- B. Mohammadi, S. Rezapour, and N. Shahzad, “Some results on fixed points of --Ciric generalized multifunctions,” Fixed Point Theory and Applications, vol. 2013, article 24, 2013.
- R. M. Bianchini and M. Grandolfi, “Trasformazioni di tipo contrattivo generalizzato in uno spazio metrico,” ATTI Della Accademia Nazionale Dei Lincei, vol. 45, pp. 212–216, 1968.
- P. D. Proinov, “A generalization of the Banach contraction principle with high order of convergence of successive approximations,” Nonlinear Analysis: Theory, Methods and Applications, vol. 67, no. 8, pp. 2361–2369, 2007.
- P. D. Proinov, “New general convergence theory for iterative processes and its applications to Newton-Kantorovich type theorems,” Journal of Complexity, vol. 26, no. 1, pp. 3–42, 2010.
- I. A. Rus, Generalized Contractions and Applications, Cluj University Press, Cluj-Napoca, Romania, 2001.
- M. Berzig and M. Rus, “Fixed point theorems for α-contractive mappings of Meir-Keeler type and applications,” http://arxiv.org/abs/1303.5798.
- M. Berzig and E. Karapınar, “Fixed point results for -contractive mappings for a generalized altering distance,” Fixed Point Theory and Applications, vol. 2013, article 205, 2013.