- Research
- Open Access
Metric-like spaces, partial metric spaces and fixed points
- A Amini-Harandi1, 2Email author
https://doi.org/10.1186/1687-1812-2012-204
© Amini-Harandi; licensee Springer 2012
- Received: 30 June 2012
- Accepted: 25 October 2012
- Published: 13 November 2012
Abstract
By a metric-like space, as a generalization of a partial metric space, we mean a pair , where X is a nonempty set and satisfies all of the conditions of a metric except that may be positive for . In this paper, we initiate the fixed point theory in metric-like spaces. As an application, we derive some new fixed point results in partial metric spaces. Our results unify and generalize some well-known results in the literature.
MSC:47H10.
Keywords
- fixed point
- metric-like space
- partial metric space
1 Introduction and preliminaries
There exist many generalizations of the concept of metric spaces in the literature. In particular, Matthews [1] introduced the notion of a partial metric space as a part of the study of denotational semantics of dataflow networks, showing that the Banach contraction mapping theorem can be generalized to the partial metric context for applications in program verification. After that, fixed point results in partial metric spaces were studied by many other authors [2–11]. In this paper, we first introduce a new generalization of a partial metric space which is called a metric-like space. Then, we give some fixed point results in such spaces. Our fixed point theorems, even in the case of partial metric spaces, generalize and improve some well-known results in the literature.
In the rest of this section, we recall some definitions and facts which will be used throughout the paper.
Definition 1.1 A mapping , where X is a nonempty set, is said to be a partial metric on X if for any , the following four conditions hold true:
(P1) if and only if ;
(P2) ;
(P3) ;
(P4) .
A basic example of a partial metric space is the pair , where for all . For some other examples of partial metric spaces see [1–11] and references therein.
2 Main results
We first introduce the concept of a metric-like space.
Definition 2.1 A mapping , where X is a nonempty set, is said to be metric-like on X if for any , the following three conditions hold true:
(σ 1) ;
(σ 2) ;
(σ 3) .
Then a sequence in the metric-like space converges to a point if and only if .
Every partial metric space is a metric-like space. Below we give another example of a metric-like space.
Then is a metric-like space, but since , then is not a partial metric space.
Remark 2.3 Let , let for each , and let for each . Then it is easy to see that and , and so in metric-like spaces the limit of a convergent sequence is not necessarily unique.
Some slight modifications of the proof of Theorem 2.1 in [12] yield the following result which is a generalization of the well-known fixed point theorem of Ćirić [13].
Then T has a fixed point.
and so . Then from (5) and our assumptions on ψ, we get , a contradiction. Thus, and so . □
Example 2.5 Let for each , where , and let for each . Then and satisfy the conditions of Theorem 2.4.
Now we illustrate our previous result by the following example.
for each . Then all the required hypotheses of Theorem 2.4 are satisfied. Then T has a unique fixed point.
for all , where is a nondecreasing continuous function such that if and only if . Then T has a unique fixed point.
which gives and so . □
Then T satisfies the hypothesis of Theorem 2.7 and so T has a fixed point ( is the unique fixed point of T). Now since , we cannot invoke Theorem 2.1 of [9] to show the existence of fixed point of T.
The following corollary improves Theorem 1 in [2].
Then T has a unique fixed point.
Thus, and . □
The following corollary improves Corollary 1 and Theorem 2 in [2] and the main fixed point result of Matthews [1].
for all , where . Then T has a unique fixed point.
Proof Let for each and apply Corollary 2.9. □
Now, we present the following version of Rakotch’s fixed point theorem [14] in metric-like spaces.
for each with , where is nonincreasing. Then T has a unique fixed point.
and so , that is, . The uniqueness easily follows from our contractive condition on T. □
The following corollary is another new extension of Matthews’s fixed point result [1].
for each with , where is nonincreasing. Then T has a unique fixed point.
Declarations
Acknowledgements
The author was partially supported by a Grant from IPM (91470412) and by the Center of Excellence for Mathematics, University of Shahrekord, Iran.
Authors’ Affiliations
References
- Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.Google Scholar
- Altun I, Sola F, Simsek H: Generalized contractions on partial metric spaces. Topol. Appl. 2010, 157(18):2778–2785. 10.1016/j.topol.2010.08.017MathSciNetView ArticleGoogle Scholar
- Bukatin M, Kopperman R, Matthews S, Pajoohesh H: Partial metric spaces. Am. Math. Mon. 2009, 116: 708–718. 10.4169/193009709X460831MathSciNetView ArticleGoogle Scholar
- Rabarison, AF: In: H-PA Knzi (ed.): Partial Metrics. African Institute for Mathematical Sciences. Supervised (2007)Google Scholar
- Oltra S, Valero O: Banach’s fixed theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 2004, 36: 17–26.MathSciNetGoogle Scholar
- Karapinar E, Erhan IM: Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24: 1894–1899. 10.1016/j.aml.2011.05.013MathSciNetView ArticleGoogle Scholar
- Romaguera S: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 493298Google Scholar
- Ilić D, Pavlović V, Rakočević V: Some new extensions of Banach’s contraction principle to partial metric space. Appl. Math. Lett. 2011, 24: 1326–1330. 10.1016/j.aml.2011.02.025MathSciNetView ArticleGoogle Scholar
- Ćirić L, Samet B, Aydi H, Vetro C: Common fixed points of generalized contractions on partial metric spaces and an application. Appl. Math. Comput. 2011, 218(6):2398–2406. 10.1016/j.amc.2011.07.005MathSciNetView ArticleGoogle Scholar
- Saadati R, Vaezpour S, Ćirić L: Generalized distance and some common fixed point theorems. J. Comput. Anal. Appl. 2010, 12(1-A):157–162.MathSciNetGoogle Scholar
- Ćirić L, Samet B, Cakic N, Damjanovic B: Generalized -weak nonlinear contractions in ordered K -metric spaces. Comput. Math. Appl. 2011, 62: 3305–3316. 10.1016/j.camwa.2011.07.061MathSciNetView ArticleGoogle Scholar
- Ćirić L, Hussain N, Cakić N: Common fixed points for Ćirić type- f -weak contraction with application. Publ. Math. (Debr.) 2010, 76(1–2):31–49.Google Scholar
- Ćirić L: A generalization of Banach contraction principle. Proc. Am. Math. Soc. 2010, 45: 267–273.Google Scholar
- Rakotch E: A note on contractive mappings. Proc. Am. Math. Soc. 1962, 13: 459–465. 10.1090/S0002-9939-1962-0148046-1MathSciNetView ArticleGoogle Scholar
- Kirk WA, Khamsi MA: An Introduction to Metric Spaces and Fixed Point Theory. Wiley, New York; 2011.Google Scholar
Copyright
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.