Journal of Function Spaces and Applications

Volume 2013 (2013), Article ID 143686, 9 pages

http://dx.doi.org/10.1155/2013/143686

## Suzuki-Type Fixed Point Results in Metric-Like Spaces

^{1}Department of Mathematics, Babol Branch, Islamic Azad University, Babol, Iran^{2}Department of Mathematics, Qaemshahr Branch, Islamic Azad University, Qaemshahr, Iran^{3}Department of Mathematics, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 16 May 2013; Accepted 17 July 2013

Academic Editor: Pei De Liu

Copyright © 2013 Nabiollah Shobkolaei 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 demonstrate a fundamental lemma for the convergence of sequences in metric-like spaces, and by using it we prove some Suzuki-type *
*fixed point results in the setup of metric-like spaces. As an immediate consequence of our results we obtain certain recent results in partial metric spaces as corollaries. Finally, three examples are presented to verify the effectiveness and applicability of our main results.

#### 1. Introduction

There are a lot of generalizations of Banach fixed-point principle in the literature. So far several authors have studied the problem of existence and uniqueness of a fixed point for mappings satisfying different contractive conditions (e.g., [1–20]). In 2008, Suzuki introduced an interesting generalization of Banach fixed-point principle. This interesting fixed-point result is as follows.

Theorem 1 (see [19]). *Let be a complete metric space, and let be a mapping on . Define a nonincreasing function from into by
*

Assume that there exists , such that for all , then there exists a unique fixed-point of . Moreover, for all .

Suzuki proved also the following version of Edelstein's fixed point theorem.

Theorem 2. *Let be a compact metric space. Let be a self-map, satisfying for all , the condition
**Then has a unique fixed point in . *

This theorem was generalized in [3].

In addition to the above results, Kikkawa and Suzuki [8] provided a Kannan type version of the theorems mentioned before. In [14], Chatterjea type version is provided. Popescu [15] presented a Cirić type version. Recently, Kikkawa and Suzuki also provided multivalued versions which can be found in [9, 10].

Very recently Hussain et al. [4] have extended Suzuki's Theorems 1 and 2, as well as Popescu's results from [15] to the case of metric type spaces and cone metric type spaces (see also [5–7, 11]).

The aim of this paper is to generalize the above-mentioned results. Indeed we prove a fixed point theorem in the set up of metric-like spaces and derive certain new results as corollaries. Finally, three examples are presented to verify the effectiveness and applicability of our main results.

In the rest of this section, we recall some definitions and facts which will be used throughout the paper. First, we present some known definitions and propositions in partial metric and metric-like spaces.

A partial metric on a nonempty set is a mapping such that for all , if and only if ,, , .

A partial metric space is a pair such that is a nonempty set and is a partial metric on . It is clear that if , then from () and () . But if , may not be . A basic example of a partial metric space is the pair , where for all .

Lemma 3 (see [17]). * Let and be a metric space and partial metric space, respectively. Then*(i)*the function defined by is a partial metric;*(ii)*let be defined by ; then is a partial metric on , where is an arbitrary function;*(iii)*Let be defined by ; then is a partial metric on ;*(iv)*Let be defined by ; then is a partial metric on , where .*

Other examples of the partial metric spaces which are interesting from a computational point of view may be found in [7, 11, 12, 18].

Each partial metric on generates a topology on which has as a base the family of open -balls , where for all and .

Let be a partial metric.

A sequence in a partial metric space converges to a point if and only if .

A sequence in a partial metric space is called a Cauchy sequence if there exists (and is finite) .

A partial metric space is said to be complete if every Cauchy sequence in converges, with respect to , to a point such that .

Suppose that is a sequence in partial metric space ; then we define .

The following example shows that every convergent sequence in a partial metric space may not be a Cauchy sequence. In particular, it shows that the limit is not unique.

*Example 4 (see [17]). * Let and . Let
Then clearly it is a convergent sequence, and for every we have , hence . But does not exist; that is, it is not a Cauchy sequence.

*Definition 5 (see [2]). * A metric-like on a nonempty set is a mapping such that for all ,,
,
.

The pair is called a metric-like space. Then a metric-like on satisfies all of the conditions of a metric except that may be positive for . Each metric-like on generates a topology on whose base is the family of open -ball, , where for all and .

A sequence in a metric-like space converges to a point if and only if .

A sequence in a metric-like space is called a -Cauchy sequence if there exists (and is finite) .

A metric-like space is said to be complete if every -Cauchy sequence in converges, with respect to , to a point such that

Every partial metric space is a metric-like space. Below we give some examples of a metric-like space.

*Example 6. *Let ; then mapping defined by is a metric-like on .

*Example 7. *Let ; then mappings defined by
are metric-like space on , where and .

#### 2. Main Results

We start our work by proving the following crucial lemma.

Lemma 8. *Let be a metric-like space, and suppose that is -convergent to . Then for every , one has
**
In particular, if , then one has . *

*Proof. * Using the triangle inequality in a metric-like space, it is easy to see that

Taking the upper limit as in the first inequality and the lower limit as in the second inequality, we obtain the desired result.

Theorem 9. *Let be a complete metric-like space. Let be a self-map, and let be defined by
**If there exists such that for each **
Then has a unique fixed point , and for each , the sequence converges to . *

*Proof. * Putting in (10), hence from
it follows
for every . Let be arbitrary and form the sequence by and for . By (12), we have
Also, by the condition of the definition of metric-like space, for all , we have

Hence, is a -Cauchy sequence.

Since is -complete, there exists such that
That is, . We prove that . Putting in (12), we get that
holds for each (where ). It follows by induction that

Let us prove now that
holds for each . Since and by Lemma 8, it follows that there exists such that
holds for every . Assumption (10) implies that for such , thus as , we get that
We will prove that
for each . For , this relation is obvious. Suppose that it holds for some . If , then and . If , then applying (18) and the induction hypothesis; we get that
and (21) is proved by induction.

In order to prove that , we consider two possible cases.*Case I*. (and hence ). We will prove first that
for . For , it follows from (16). Suppose that (23) holds for some . Then
which implies . Using (17) we obtain
Assumption (10) and relation (21) imply that
So relation (23) is proved by induction.

Now and (23) implies that for each . Hence, (18) imply that
Hence , thus and; using Lemma 8 in (23), we have as which implies that , a contradiction.*Case II*. (and so ). We will prove that there exists a subsequence of such that
holds for each . From (12) we know that holds for each . Suppose that
hold for some . Then
which is impossible. Hence one of the following holds for each :
or
In particular,
or
In other words, there is a subsequence of such that (28) holds for each . But then assumption (10) implies that
or
Passing to the limit when , we get that , which is possible only if .

Thus, we have proved that is a fixed point of . The uniqueness of the fixed point follows easily from (10). Indeed, if and are two fixed points of such that , then from (18) we have
which is a contradiction.

According to Theorem 9, we get the following result.

Corollary 10 (see [19]). *Let be a complete metric space, and let be a mapping on . Define a nonincreasing function from into by
**Assume that there exists , such that
**
for all ; then there exists a unique fixed-point of . Moreover, for all . *

*Proof. * Using a similar argument given in Theorem 9 for , the desired result is obtained.

Now, in order to support the useability of our results, let us introduce the following example.

*Example 11. *Let . Define by
for all . Then is a complete metric-like space. Define a map by

for . Then for each , we have

On the other hand, we have Thus satisfies all the hypotheses of Theorem 9, and hence has a unique fixed point. Indeed, , , and is the unique fixed point of .

Theorem 12. *Let be a complete metric-like space. Let , be two self-mappings. Suppose that there exists such that
**
for every and that
**
for every with that is not a common fixed point of and . Then there exists such that . Moreover, if , then .*

*Proof. * Let be arbitrary, and define a sequence by
Then if is odd, we have

If is even, then by (44), we have
Thus for any positive integer , it must be the case that

Repeating (49), we obtain
So, if , then

Thus .

That is, is a -Cauchy sequence in the metric-like space . Since is -complete, there exist such that

Assume that is not a common fixed point of and . Then by hypothesis
which is a contradiction. Therefore, .

If for some , then
which gives that .

*Example 13. *Let be a metric-like space where and . Define by , , and and , , and . Then for , we have
It is easy to see that the above inequality is true for and for . Also,
for every with y is not a common fixed point of and . This shows that all conditions of Theorem 12 are satisfied and 0 is a common fixed point for and .

Corollary 14. * Let be a complete metric-like space, and let be a mapping. Suppose that there exists such that
**
for every and that
**
for every with . Then there exists such that . Moreover, if , then .*

*Proof. * Taking in Theorem 12, the conclusion of the corollary follows.

Theorem 15. * Let be a complete metric-like space. Let , be mappings from onto itself. Suppose that there exists such that
**
for every and that
**
for every with that is not a common fixed point of and . Then there exists such that . Moreover, if , then .*

*Proof. * Let be arbitrary. Since is onto, there is an element satisfying . Since is also onto, there is an element satisfying . Proceeding in the same way, we can find that and for . Therefore, and for . If , then using (59)
If , then using (59)
Thus for any positive integer , it must be the case that
which implies that
Let ; then since .

Now, (64) becomes
So, if , then

Thus . That is, is a -Cauchy sequence in the metric-like space . Since is -complete, there exists such that
Assume that is not a common fixed point of and . Then by hypothesis
which is a contradiction. Therefore, .

If for some , then
which gives that .

Corollary 16. * Let be a complete metric-like space, and let be an onto mapping. Suppose that there exists such that
**
for every and that
**
for every with . Then there exists such that . Moreover, if , then .*

*Proof. * Taking in Theorem 15, we have the desired result.

*Definition 17. *Let and be metric-like spaces. Then is said to be a continuous mapping, if implies that .

Corollary 18. * Let be a complete metric-like space, and let be a mapping of into itself. If there is a real number with satisfying
**
for every and is onto and continuous, then has a fixed point. *

*Proof. * Assume that there exists with and
Then there exists a sequence such that
So, we have and as . Since, , hence as . Now,
Since is continuous, we have
This is a contradiction. Hence if , then
which is condition (71) of Corollary 16. By Corollary 16, there exists such that .

Now we give an example to support our result.

*Example 19. *Let and . Define by .

Obviously is onto and continuous. Also for each , we have
where . Thus satisfies the conditions given in Corollary 18, and is the fixed point of .

Corollary 20. * Let be a complete metric-like space, and be a mapping of into itself. If there is a real number with satisfying
**
for every and is onto and continuous, then has a fixed point. *

*Proof. *Replacing by in (79), we obtain
for all .

Without loss of generality, we may assume that . Otherwise has a fixed point. Since , it follows from (80) that
for every . By the argument similar to that used in Corollary 18, we can prove that if , then
which is condition (71) of Corollary 16. So, Corollary 16 applies to obtain a fixed point of .

According to Theorem 12, we get the following result.

Corollary 21 (see [17, Theorem 1]). *Let be a complete partial metric space. Let , be two self-mappings. Suppose that there exists such that
**
for every and that
**
for every with that is not a common fixed point of and . Then there exists such that . Moreover, if , then .*

*Proof. * Using a similar argument given in the Theorem 12 for , the desired result is obtained, where is a partial metric on .

#### References

- A. Aghajani, S. Radenović, and J. R. Roshan, “Common fixed point results for four mappings satisfying almost generalized $(S,T)$-contractive condition in partially ordered metric spaces,”
*Applied Mathematics and Computation*, vol. 218, no. 9, pp. 5665–5670, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - A. Amini-Harandi, “Metric-like spaces, partial metric spaces and fixed points,”
*Fixed Point Theory and Applications*, vol. 2012, article 204, 10 pages, 2012. View at Publisher · View at Google Scholar - D. Đorić, Z. Kadelburg, and S. Radenović, “Edelstein-Suzuki-type fixed point results in metric and abstract metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 75, no. 4, pp. 1927–1932, 2012. View at Google Scholar · View at MathSciNet - N. Hussain, D. Đorić, Z. Kadelburg, and S. Radenović, “Suzuki-type fixed point results in metric type spaces,”
*Fixed Point Theory and Applications*, vol. 2012, article 126, 12 pages, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - N. Hussain and M. H. Shah, “KKM mappings in cone $b$-metric spaces,”
*Computers & Mathematics with Applications*, vol. 62, no. 4, pp. 1677–1684, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - N. Hussain, M. H. Shah, A. Amini-Harandi, and Z. Akhtar, “Common fixed point theorems for generalized contractive mappings with applications,”
*Fixed Point Theory and Applications*, vol. 2013, article 169, 17 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - N. Hussain, Z. Kadelburg, S. Radenović, and F. Al-Solamy, “Comparison functions and fixed point results in partial metric spaces,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 605781, 15 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Kikkawa and T. Suzuki, “Some similarity between contractions and Kannan mappings,”
*Fixed Point Theory and Applications*, vol. 2008, Article ID 649749, 8 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Kikkawa and T. Suzuki, “Some notes on fixed point theorems with constants,”
*Bulletin of the Kyushu Institute of Technology*, no. 56, pp. 11–18, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Kikkawa and T. Suzuki, “Three fixed point theorems for generalized contractions with constants in complete metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 9, pp. 2942–2949, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Kutbi, J. Ahmad, N. Hussain, and M. Arshad, “Common fixed point results for mappings with rational expressions,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 549518, 11 pages, 2013. View at Publisher · View at Google Scholar - S. G. Matthews, “Partial metric topology,” in
*Papers on General Topology and Applications*, vol. 728 of*Annals of the New York Academy of Sciences*, pp. 183–197, New York Academy of Sciences, New York, NY, USA, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Parvaneh, J. R. Roshan, and S. Radenović, “Existence of tripled coincidence points in ordered b-metric spaces and an application to a system of integral equations,”
*Fixed Point Theory and Applications*, vol. 2013, article 130, 19 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - O. Popescu, “Fixed point theorem in metric spaces,”
*Bulletin of the Transilvania University of Braşov*, vol. 150, pp. 479–482, 2008. View at Google Scholar · View at MathSciNet - O. Popescu, “Two fixed point theorems for generalized contractions with constants in complete metric space,”
*Central European Journal of Mathematics*, vol. 7, no. 3, pp. 529–538, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. R. Roshan, V. Parvaneh, S. Sedghi, N. Shobkolaei, and W. Shatanawi, “Common fixed points of almost generalized ${(\psi ,\phi )}_{s}$-contractive mappings in ordered
*b*-metric spaces,”*Fixed Point Theory and Applications*, vol. 2013, article 159, 23 pages, 2013. View at Publisher · View at Google Scholar - S. Sedghi and N. Shobkolaei, “Common fixed point of maps in complete partial metric spaces,”
*East Asian Mathematical Journal*, vol. 29, no. 1, pp. 1–12, 2013. View at Publisher · View at Google Scholar - N. Shobkolaei, S. Sedghi, J. R. Roshan, and I. Altun, “Common fixed point of mappings satisfying almost generalized $(S,T)$-contractive condition in partially ordered partial metric spaces,”
*Applied Mathematics and Computation*, vol. 219, no. 2, pp. 443–452, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - T. Suzuki, “A generalized Banach contraction principle that characterizes metric completeness,”
*Proceedings of the American Mathematical Society*, vol. 136, no. 5, pp. 1861–1869, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Suzuki, “A new type of fixed point theorem in metric spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 11, pp. 5313–5317, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet