Journal of Function Spaces

Volume 2015 (2015), Article ID 270971, 9 pages

http://dx.doi.org/10.1155/2015/270971

## Fixed Points of Modified -Contractive Mappings in Complete Metric-Like Spaces

^{1}Nonlinear Analysis and Applied Mathematics Research Group (NAAM), King Abdulaziz University, Jeddah 21589, Saudi Arabia^{2}Department of Mathematics, Atılım University, Incek, 06836 Ankara, Turkey^{3}Department of Mathematics, Faculty of Basic Science, University of Bonab, P.O. Box 5551-761167, Bonab, Iran

Received 29 August 2014; Revised 21 October 2014; Accepted 22 October 2014

Academic Editor: Abdul Latif

Copyright © 2015 Hamed H. Alsulami 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 introduce the notion of modified -contractive mappings in the setting of complete metric-like spaces and we investigate the existence and uniqueness of fixed point of such mappings. The presented results unify, extend, and improve several results in the related literature.

#### 1. Introduction and Preliminaries

Throughout the paper, and denote the set of positive integers and the set of nonnegative integers, respectively. Similarly, , , and represent the set of real, positive real, and nonnegative real numbers, respectively. In what follows, we recall the notion of partial metric which is an interesting generalization of the notion of metric.

*Definition 1 (see [1]). *Let be a nonempty set. A mapping is said to be a partial metric on if for all the following conditions are satisfied: () if and only if ;();();().In this case, the pair is called a partial metric space (PMS).

Notice that the function defined by satisfies the conditions of a metric on . Each partial metric on generates a topology on , whose base is a family of open -balls where for all and . Consequently, several topological concepts can be easily defined as follows.

A sequence in the PMS converges to the limit if and is said to be a Cauchy sequence if exists and is finite. A PMS is called complete if every Cauchy sequence in converges with respect to , to a point such that . For more details, see, for example, [1–12] and the related references therein.

Lemma 2 (see, e.g., [3, 4]). *Let be a complete PMS. Then consider the follwing. *(A)*If , then .*(B)*If , then .*(C)*A sequence is a Cauchy sequence in the PMS if and only if it is a Cauchy sequence in the metric space .*(D)*A PMS is complete if and only if the metric space is complete. Moreover
*(E)*Assume as in a PMS such that . Then for every .*

*Now, we state the definition of metric-like (dislocated) function that was first introduced by Hitzler [13] and reintroduced later by Amini-Harandi [14].*

*Definition 3 (see [13]). *Let be a nonempty set. A mapping is said to be metric-like (dislocated) on , if for all the following conditions are satisfied: ()if then ;();().The pair is called dislocated (metric-like) space.

*Remark 4 (see [14]). *Every partial metric space is a metric-like space.

*A sequence , in a metric-like space ,(a)converges to if ,(b)is called Cauchy in , if exists and is finite.A metric-like space is said to be complete if and only if every Cauchy sequence in converges to so that
*

*We recall next some basic definitions and crucial results on the topic. In this paper, we follow the notations of Amini-Harandi [14].*

*Definition 5 (see [14]). *Let be a metric-like space and a subset of . One says that is -open subset of , if for all there exists such that . Also, is called a -closed subset of if is -open subset of .

*Lemma 6 (see [15]). Let be a metric-like space. Then, (A)if then ;(B)if is a sequence such that , then one has
(C)if then ;(D) holds for all where ;(E)if is a sequence in a -closed subset of with as , then ;(F)if is a sequence in such that as and , then for all .*

*Definition 7. *Let and be metric-like spaces and a sequence in such that . A mapping is said to be continuous at a point if .

*In this paper, we modify the notion of -contraction that was introduced by Wardowski [16] and investigate the existence of a fixed point of such modified -contractive mapping in the context of complete metric-like spaces. We consider also an example to illustrate the main result.*

*2. Main Result*

*2. Main Result*

*In this section we present our main theorems. We start with the following definition.*

*Definition 8. *Let be a metric-like space. A self-mapping is said to be modified -contraction of type I if there exists such that
for all with where and are real numbers such that and is a mapping satisfying the following conditions: () is strictly increasing; that is, for all such that , ,()for any sequence of positive real numbers if and only if .

*Theorem 9. Let be a complete metric-like space and a modified -contraction of type I. Then, has a fixed point ; that is, .*

*Proof. *For an arbitrary , we construct a sequence in the following way:
If there exists such that , then is the desired fixed point of which completes the proof. Consequently, we suppose that for every . Thus, we have
By the hypothesis of the theorem, we have
and hence
Since , we get
So from , we conclude that
Therefore, is a decreasing sequence of real numbers which is bounded below. This implies that converges and
We will show that . Suppose, on the contrary, that . For every there exists , such that
Hence from , we get
On the other hand from (7), we have
Due to assumption of the theorem, we obtain
which is equivalent to
Consequently, we derive that
since . On account of (7), we have ; thus by assumption of the theorem, we have
which yields
Owing to the fact that , we obtain that
Now by using (14) and continuing in the same way as in the derivation of (18) and (21), we deduce
This implies that . Regarding , we have , and thus, there exists such that , . Therefore, from (6), we get

This contradicts the definition of given in (12). Then we get and from (12) we conclude
In the next step, we claim that
Suppose, on the contrary, that there exist and sequences and of natural numbers such that
By triangular inequality, we have
It follows from (24), (27), and Squeezing Theorem that
From (24), (26), and (28), there exists such that
Hence from (29), , and the hypothesis of the theorem, we have
From (24) and it follows that
and hence we get
However, this contradicts the relation (26). Hence . Therefore is a Cauchy sequence in . By the completeness of there exists such that
Next, we will prove that, for every ,
Arguing by contradiction, we assume that there exists such that
From (18) and , we have
It follows from (35) and (36) that
Obviously, this is a contradiction. Hence, inequality (34) is satisfied. Regarding the assumption of the theorem, (34) implies that either
or
for every . In the first case, because of , the limits in (24) and (33) imply
Thus, letting in (38), we conclude that
Again by , we observe that
On the other hand, from (6), we have
It follows from (33) and (42) that ; therefore .

In the second case from (6), we have
Then employing (24), (33), and , we conclude that . Equivalently, from we get
Using (6), we obtain
Finally, from (33) and (45) it follows that ; therefore . Hence, is a fixed point of .

*Definition 10. *Let be a metric-like space. A mapping is said to be a modified -contraction of type II if there exists such that
for all with where is a mapping satisfying the conditions and stated in Definition 8.

*Theorem 11. Let be a complete metric-like space and a modified -contraction of type II. Then, has a fixed point ; that is, .*

*Proof. *It is sufficient to take and in Theorem 9.

*Definition 12. *Let be a partial metric space. A self-mapping is said to be a modified -contraction of type I if there exists such that
for all with where and are real numbers such that and is a mapping satisfying the following conditions: () is strictly increasing; that is, for all such that , ,()for any sequence of positive real numbers if and only if .

*Theorem 13. Let be a complete partial metric space and a modified -contraction of type I. Then, has a unique fixed point ; that is, .*

*Proof. *Since every partial metric space is metric-like space (see, e.g., Remark 4), the existence of a fixed point of the mapping is guaranteed by Theorem 9. Thus, it is sufficient to show that is the unique fixed point of . Suppose, on the contrary, that is another fixed point of such that . Then, we have . If , we have
If , then the inequality
follows from the condition in Definition 1. In any case, the left-hand side of (48) is fulfilled. Hence, we have
On the other hand, from , we have and . Regarding , we get that
Combining (51) and (52), we conclude that
since and . This is a contradiction and hence .

*Analogously, we conclude a result similar to Theorem 11 by introducing the next definition.*

*Definition 14. *Let be a partial space. A mapping is said to be a modified -contraction of type II if there exists such that
for all with where is a mapping satisfying the conditions and stated in Definition 12.

*Theorem 15. Let be a complete partial space and a modified -contraction of type II. Then, has a unique fixed point ; that is, .*

*Proof. *It is sufficient to take and in Theorem 13.

*Definition 16. *Let be a metric-like space. A self-mapping is said to be modified -contraction of type III if there exists such that
for all with where and are real numbers such that and is a mapping satisfying the conditions and introduced in Definition 8.

*Theorem 17. Let be a complete metric-like space and a continuous modified -contraction of type III. If for all , then has a fixed point ; that is, .*

*Proof. *As in the proof of Theorem 9, we construct an iterative sequence in the following way. Take and arbitrary and set and
Notice that if for some , the proof is completed. Suppose that
for all . Thus, (55) yields that
which can be written as
Regarding the assumption , we get
From , we conclude that
Therefore, is a decreasing sequence of real numbers which is bounded from below. Hence, it converges and
We will show that by method of* Reductio ad absurdum*. Suppose that . Thus, for every there exists , such that . Because of , we have
On the other hand, it follows from (57) that , which implies
due to (55). Consequently, we have
Since , we obtain that
Again from (57), we have ; thus, by the hypothesis of the theorem
which results in . Taking into account that , we derive

Now we employ (63) and applying a procedure similar to that used in derivation of (66) and (68), we obtain

This implies that
Then, from () we have , so that there exists such that

However, this contradicts the definition of given in (62). Thus, and from (62) we conclude

In the sequel, we will show that . Assume the contrary; that is, let there exist and sequences and of natural numbers such that
Observe that by the triangle inequality we have
It follows from (72), (74), and the Squeeze Theorem that
Therefore, there exists such that
Hence from (76), , and assumption of theorem, we have
Now, using (72), (75), and , we obtain
However, due to it follows that

This is a contradiction with the relation (73). Hence . By the completeness of there exists such that
Since and is continuous, we deduce by Definition 7. Consequently, we have
According to the assumption of the theorem . Then, from (80) and (81) it follows that
Since , we obtain and thus the condition gives , which completes the proof.

*In the following result, we proved that Theorem 17 is valid in the context of partial metric space.*

*Theorem 18. Let be complete partial metric space and let be a continuous self-mapping on such that, for all , . Let and be real numbers such that . Assume that there exists such that, for all ,
where satisfies the conditions and . Then, has a unique fixed point ; that is, .*

*Proof. *Since every partial metric space is a metric-like space, Theorem 17 provides the existence of a fixed point; that is, has a fixed point . Therefore, it is sufficient to show the uniqueness of the fixed point of . Indeed, if there is another fixed point of , such that , due to (), we have and equivalently . By the assumption of theorem, we have
On the other hand, () implies
Moreover, from , we get
Due to the fact that and , from (84) and (86), we conclude
However, this is a contradiction, and hence, .

*Definition 19. *Let be metric-like spaces. A self-mapping is said to be modified -contraction of type IV if there exists such that
for all with where is a mapping satisfying the conditions and introduced in Definition 8.

*Theorem 20. Let be a complete metric-like space and a continuous modified -contraction of type IV. If for all , then has a fixed point ; that is, .*

*Proof. *The proof is obvious by taking and in Theorem 17.

*Theorem 21. Let be complete PMS and let be a continuous self-mapping on such that, for all , . Assume that there exists such that, for all ,
where satisfies conditions and . Then, has a unique fixed point ; that is, .*

*Proof. *The proof is trivial by taking and in Theorem 18.

*Last, we provide an example which illustrates our results.*

*Example 22. *Let be a real number such that , , and
Let and be defined as
Define a mapping as follows:
Then satisfies in the conditions of Theorem 21.

Observe that is a complete partial metric space, but not a metric space. Define the function in Theorem 21 as . Then we get
Note also that, for all , we have
On the other hand,
Hence, we get
Therefore is an -contraction satisfying the conditions of Theorem 21, , and ; that is, is the unique fixed point of .

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that they have no competing interests.*

*Authors’ Contribution*

*Authors’ Contribution*

*All authors contributed equally and significantly in writing this paper. All authors read and approved the final paper.*

*Acknowledgments*

*Acknowledgments*

*This research was supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The authors thank anonymous referees for their remarkable comments, suggestions, and ideas that helped to improve this paper.*

*References*

*References*

- S. G. Matthews, “Partial metric topology,”
*Annals of the New York Academy of Sciences*, vol. 728, pp. 183–197, 1994, Proceedings of the 8th Summer Conference on General Topology and Application. View at Publisher · View at Google Scholar - S. G. Matthews, “Partial metric topology,”
*Research Report*212, Department of Computer Science, University of Warwick, 1992. View at Google Scholar - T. Abdeljawad, E. Karapınar, and K. Taş, “Existence and uniqueness of a common fixed point on partial metric spaces,”
*Applied Mathematics Letters*, vol. 24, no. 11, pp. 1900–1904, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - E. Karapınar and İ. M. Erhan, “Fixed point theorems for operators on partial metric spaces,”
*Applied Mathematics Letters*, vol. 24, no. 11, pp. 1894–1899, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - E. Karapınar, “Weak
*ϕ*-contraction on partial contraction,”*Journal of Computational Analysis and Applications*, vol. 14, no. 2, pp. 206–210, 2012. View at Google Scholar - E. Karapınar, I. M. Erhan, and A. Y. Ulus, “Fixed point theorem for cyclic maps on partial metric spaces,”
*Applied Mathematics & Information Sciences*, vol. 6, no. 1, pp. 239–244, 2012. View at Google Scholar · View at MathSciNet - E. Karapınar and B. Samet, “Generalized $\alpha $-$\psi $ contractive type mappings and related fixed point theorems with applications,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 793486, 17 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - H. Aydi, E. Karapınar,, and C. Vetro, “On Ekeland's variational principle in partial metric spaces,”
*Applied Mathematics & Information Sciences*, vol. 9, no. 1, pp. 257–262, 2015. View at Publisher · View at Google Scholar · View at MathSciNet - I. A. Rus, “Fixed point theory in partial metric spaces,”
*Analele Universitattii de Vest, Timitsoara*, vol. 46, no. 2, pp. 149–160, 2008. View at Google Scholar - S. Romaguera, “A Kirk type characterization of completeness for partial metric spaces,”
*Fixed Point Theory and Applications*, vol. 2010, Article ID 493298, 6 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - L. Ćirić, B. Samet, H. Aydi, and C. Vetro, “Common fixed points of generalized contractions on partial metric spaces and an application,”
*Applied Mathematics and Computation*, vol. 218, no. 6, pp. 2398–2406, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - M. Bukatin, R. Kopperman, S. Matthews, and H. Pajoohesh, “Partial metric spaces,”
*American Mathematical Monthly*, vol. 116, no. 8, pp. 708–718, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - P. Hitzler,
*Generalized metrics and topology in logic programming semantics [Ph.D. thesis]*, School of Mathematics, Applied Mathematics and Statistics, National University Ireland, University College Cork, 2001. - A. Amini-Harandi, “Metric-like spaces, partial metric spaces and fixed points,”
*Fixed Point Theory and Applications*, vol. 2012, article 204, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - E. Karapınar and P. Salimi, “Dislocated metric space to metric spaces with some fixed point theorems,”
*Fixed Point Theory and Applications*, vol. 2013, article 222, 2013. View at Google Scholar - D. Wardowski, “Fixed points of a new type of contractive mappings in complete metric spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 94, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus

*
*