Fixed Point Results in Quasimetric Spaces

Abstract

In the setting of quasimetric spaces, we prove some new results on the existence of fixed points for contractive type maps with respect to -function. Our results either improve or generalize many known results in the literature.

1. Introduction and Preliminaries

Let be a metric space with metric . We use to denote the collection of all nonempty subsets of for the collection of all nonempty closed subsets of for the collection of all nonempty closed bounded subsets of and for the Hausdorff metric on that is,

Let be a complete metric space and let . If there exist a -distance on and a constant , such that for each and , there is satisfying

(1.4)

then has a fixed point.

Recently, Latif and Albar [5] generalized Theorem 1.2 with respect to -distance (see, Theorem in [5]), and Latif [6] proved a fixed point result with respect to -distance ( see, Theorem in [6]) which contains Theorem 1.3 as a special case.

A nonempty set together with a quasimetric (i.e., not necessarily symmetric) is called a quasimetric space. In the setting of a quasimetric spaces, Al-Homidan et al. [7] introduced the concept of a -function on quasimetric spaces which generalizes the notion of a -distance.

A function is called a -function on if it satisfies the following conditions:

(Q1) for all

(Q2)If is a sequence in such that and for , for some , then

(Q3)for any there exists , such that and imply

Note that every -distance is a -function, but the converse is not true in general [7]. Now, we state some useful properties of -function as given in [7].

Lemma 1.4.

Let be a complete quasimetric space and let be a -function on . Let and be sequences in . Let and be sequences in converging to , then the following hold for any :

(i)if and for all then in particular, if and , then

(ii)if and for all then converges to ;

(iii)if for any with then is a Cauchy sequence;

(iv)if for any then is a Cauchy sequence.

Using the concept -function, Al-Homidan et al. [7] recently studied an equilibrium version of the Ekeland-type variational principle. They also generalized Nadler's fixed point theorem (Theorem 1.1) in the setting of quasimetric spaces as follows.

Theorem 1.5.

Let be a complete quasimetric space and let . If there exist -function on and a constant , such that for each and , there is satisfying

(1.5)

then has a fixed point.

In the sequel, we consider as a quasimetric space with quasimetric .

Considering a multivalued map , we say

(c)

is weakly-contractive if there exist - function on and constants , , such that for any , there is satisfying

(1.6)

where and

(d)

is generalized-contractive if there exists a - function on , such that for each and , there is satisfying

In this paper, we prove some new fixed point results in the setting of quasimetric spaces for weakly -contractive and generalized -contractive multivalued maps. Consequently, our results either improve or generalize many known results including the above stated fixed point results.

2. The Results

First, we prove a fixed point theorem for weakly -contractive maps in the setting of quasimetric spaces.

Theorem 2.1.

Let be a complete quasimetric space and let be a weakly - contractive map. If a real valued function on is lower semicontinuous, then there exists , such that Further, if then is a fixed point of .

Proof.

Let Since is weakly contractive, there is , such that

(2.1)

where Continuing this process, we can get an orbit of at satisfying and

(2.2)

Since and thus we get

(2.3)

If we put , then also we have

(2.4)

Thus, we obtain

(2.5)

and since , hence the sequence which is decreasing, converges to 0. Now, we show that is a Cauchy sequence. Note that

(2.6)

Now, for any integer with , we have

(2.7)

and thus by Lemma 1.4, is a Cauchy sequence. Due to the completeness of , there exists some , such that Now, since is lower semicontinuous, we have

(2.8)

and thus, It follows that there exists a sequence in , such that Now, if then by Lemma 1.4, . Since is closed,weget

Now, we prove the following useful lemma.

Lemma 2.2.

Let be a complete quasimetric space and let be a generalized -contractive map, then there exists an orbit of at , such that the sequence of nonnegative numbers is decreasing to zero and is a Cauchy sequence.

Proof.

Let be an arbitrary but fixed element of and let . Since is generalized as a -contractive, there is , such that

(2.9)

Continuing this process, we get a sequence in , such that and

(2.10)

Thus, for all , we have

(2.11)

Write . Suppose that , then we have

(2.12)

Now, taking limits as on both sides, we get

(2.13)

which is not possible, and hence the sequence of nonnegative numbers which is decreasing, converges to 0. Finally, we show that is a Cauchy sequence. Let . There exists real number such that . Then for sufficiently large , , and thus for sufficiently large , we have Consequently, we obtain , that is,

(2.14)

Now, for any integers ,

(2.15)

and thus by Lemma 1.4, is a Cauchy sequence.

Applying Lemma 2.2, we prove a fixed point result for generalized -contractive maps.

Theorem 2.3.

Let be a complete quasimetric space then each generalized q -contractive map has a fixed point.

Proof.

It follows from Lemma 2.2 that there exists a Cauchy sequence in such that the decreasing sequence converges to 0. Due to the completeness of , there exists some such that Let be arbitrary fixed positive integer then for all positive integers with , we have

(2.16)

Let , then . Now, note that

(2.17)

Since was arbitrary fixed, we have

(2.18)

Note that converges to . Now, since and is a generalized -contractive map, then there is , such that

(2.19)

And for large , we obtain

(2.20)

thus, we get

(2.21)

Thus, it follows from Lemma 1.4 that . Since is closed, we get

Corollary 2.4.

Let be a complete quasimetric space and a -function on . Let be a multivalued map, such that for any and , there is with

(2.22)

where is a monotonic increasing function from to , then has a fixed point.

Finally, we conclude with the following remarks concerning our results related to the known fixed point results.

Corresponding author

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.