- Research
- Open access
- Published:

# A note on ‘Modified proof of Caristi’s fixed point theorem on partial metric spaces, Journal of Inequalities and Applications 2013, 2013:210’

*Journal of Inequalities and Applications*
**volume 2013**, Article number: 355 (2013)

## Abstract

In this note, we emphasize that the proofs and statements of the main results of the paper ‘Modified proof of Caristi’s fixed point theorem on partial metric spaces’ (Journal of Inequalities and Applications 2013, 2013:210) do not have any utility to use the partial metric. Hence, it has no contribution to either partial metric theory or Caristi-type fixed point problems.

**MSC:**47H10, 54H25.

In the following, we use the same definitions, notations and structures given in [1]. We start first with Caristi’s [2] fixed point theorem.

**Theorem 1.1** [2]

*Let* (X,d) *be a complete metric space*. *Let* f:X\to X *and let* *ϕ* *be a lower semi*-*continuous function from* *X* *into* [0,\mathrm{\infty}). *Assume that* d(x,f(x))\le \varphi (x)-\varphi (f(x)) *for all* x\in X. *Then* *f* *has a fixed point in* *X*.

**Lemma 2.3** [3]

*Let*
(X,p)
*be a partial metric space and let*
{p}^{s}:X\times X\to [0,\mathrm{\infty})
*be defined by*

*for all* x,y\in X. *Then* (X,{p}^{s}) *is a metric space*.

To emphasize that the function given in (1) is a metric, we use the notation {d}_{p} instead of {p}^{s}, that is,

Let (X,p) be a partial metric space. Following [1], consider \varphi :X\to [0,\mathrm{\infty}) and g:X\to X not necessarily a continuous function such that

By (2), we can write

The author [1] defines the class of mappings Φ and {\mathrm{\Phi}}_{g} as follows:

and

We re-write Φ as

It is well known also that (X,p) is complete if and only if (X,{d}_{p}) is complete (see, *e.g.*, [3, 4]).

Under these observations, keeping (2) in mind, we conclude that Lemma 3.1 in [1] remains true without using any properties of a partial metric. On the other hand, in Lemma 3.2 in [1] the completeness assumption is missed. It can be re-formulated correctly as follows.

**Updated Lemma 3.2** [1]

*Let*
\{{x}_{n}\}
*be a sequence in a complete partial metric space*
(X,p)
*such that*

*where* *ϕ* *is a lower semi*-*continuous function*. *Then* {lim}_{n\to \mathrm{\infty}}{x}_{n}=\overline{x} *and* {d}_{p}(\overline{x},{x}_{n})\le \varphi ({x}_{n})-\varphi (\overline{x}) *for each* *n*.

Moreover, in Definition 2.2 in [1], the open and closed balls associated to a partial metric *p* are not defined correctly, because the term p(x,x) is missing, that is, we should have

It is clear that there is nothing in this paper [1] to prove. Indeed, the main result of [1] is a consequence of Theorem 1.1.

The following definition already exists in the literature.

**Definition 3.3** (*cf.* [1])

Let (X,p) be a partial metric space.

(1) For A\subset X, define the diameter of a subset *A*, written D(A), by

(2) Let r(A)={inf}_{x\in A}(\varphi (x)). Note that B\subset A implies r(B)\ge r(A).

(3) Let {\mathrm{\Phi}}^{\prime}\subset \mathrm{\Phi}. For each x\in X, define {S}_{x}=\{f(x)|f\in {\mathrm{\Phi}}^{\prime}\}.

Keeping (2) in mind, we conclude easily.

**Lemma 3.4** [1]

D({S}_{x})\le 2(\varphi (x)-r({S}_{x})).

Consequently, we derive Theorem 3.5 in [1] without using any property of the partial metric. As a conclusion, this paper is just a repetition of usual results by using equality (2).

## References

Klin-eam C: Modified proof of Caristi’s fixed point theorem on partial metric spaces.

*J. Inequal. Appl.*2013., 2013: Article ID 210Caristi J: Fixed point theorems for mappings satisfying inwardness conditions.

*Trans. Am. Math. Soc.*1976, 215: 241–251.Matthews, SG: Partial metric topology. Research Report 212. Dept. of Computer Science. University of Warwick (1992)

Karapinar E: Generalizations of Caristi Kirk’s theorem on partial metric spaces.

*Fixed Point Theory Appl.*2011., 2011: Article ID 4

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access**
This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (
https://creativecommons.org/licenses/by/2.0
), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Aydi, H., Karapınar, E. & Kumam, P. A note on ‘Modified proof of Caristi’s fixed point theorem on partial metric spaces, Journal of Inequalities and Applications 2013, 2013:210’.
*J Inequal Appl* **2013**, 355 (2013). https://doi.org/10.1186/1029-242X-2013-355

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2013-355