New Results on Start-Points for Multi-Valued Maps

: In this manuscript we investigate the existence of start-points for the generalized weakly contractive multi-valued mappings in the setting of left K -complete quasi-pseudo metric space. We provide an example to support the given result.


Introduction and Preliminaries
The quasi-pseudo metric space, which is obtained by relaxing the symmetry condition, is one of the refinements of the notion of metric space. In the point view of fixed point theory, the lack of the symmetry axiom leads to consider the orientation in this new structure. Roughly speaking, fixed points for mappings are usually limits of the Picard sequence, which is constructed by the recursive iteration of the operator by starting with an arbitrarily chosen point. On the other hand, in this new structure, the distance function is not symmetric. Consequently, for an arbitrary initial value ξ 0 , the value of the distance from its n-th iteration, T n x 0 , to its limit, say x * (if exists), and the value of the distance from its limit, x * (if exists), to its n-th iteration, T n x 0 , need not be equal. Under this motivation, the notions of start-point, end-point, ε-start-point, and ε-end-point were defined in [1]. In other words, fixed point has been investigated in the oriented structure, quasi-pseudo metric space, under the names of start-point and end-point. It is clear that, under the condition symmetry, the start-points and end-points coincide with the fixed points [2][3][4][5].
An initial result in the theory of start-point was given in [1] in order to extend the idea of fixed points for multi-valued mappings defined on quasi-pseudo metric spaces. A series of three papers, see [1,6,7], has given a more or less detailed introduction to the subject. The theory of start-point came to extend the idea of fixed points for multi-valued mappings that are defined on quasi-pseudo metric spaces. More detailed introduction to the subject can be read in [1,[6][7][8][9][10][11][12][13].
In this paper, we investigate the existence of start-points and end-points for a class of mappings, which are known as generalized weakly contractive multi-valued maps, in the context of left K-complete quasi-pseudo metric space.
Intuitively, as we mentioned above, the appropriate framework for the theory of start-point is the quasi-metric setting. For the sake of completeness, we recollect, in the present manuscript, the necessary notations and fundamental concepts from the literature. We first recall the basic notions regarding quasi-metric spaces as well as some additional definitions that are related to multi-valued maps on these spaces [14][15][16]. For a general approach in metric fixed point theory for multi-valued operators, see [17][18][19].
Definition 1 (See [1]). Let q : X × X → [0, ∞) be a function where X is a non-empty set. The function is called a quasi-pseudometric (respectively, T 0 -quasi-metric) on X if (q 1 ) and (q 2 ) (respectively, (q 1 ) * and (q 2 )) hold, where Note that the condition (q 1 ) * is known as the T 0 -condition. Furthermore, for a quasi-pseudo metric q on X, the function q −1 : X × X → [0, ∞), which is defined by q −1 (ξ, η) = q(η, ξ) for all ξ, η ∈ X, forms a quasi-pseudo metric on the same set X and is named as the conjugate of q. For a T 0 -quasi-metric d on X, a distance function d q :

Remark 1.
In some sources, the quasi-pseudo metric is called hemi-metric (see [20]). Moreover, T 0 -quasi-metric is known also as a quasi-metric in the literature.
In what follows, we consider three well-known examples in order to illustrate the validity of Definition 1.
Example 2 (cf. [21]). Let A, B be two non-empty set, such that A ∩ B = ∅. Set X = A ∪ B and q : X × X → [0, ∞) be given, for any a, b ∈ X, by otherwise.
Under these conditions, q forms a T 0 -quasi-metric. Further, the pair (X, q) becomes a T 0 -quasi-metric space.
Let (X, q) be a quasi-pseudo metric space. We say that the sequence {ξ n } is q-convergent to ξ (or left-convergent to ξ), if q(ξ n , ξ) −→ 0, and we denote this fact by ξ n q −→ ξ. More precisely, {ξ n } converges to ξ with respect to τ(q). In a similar manner, a sequence {ξ n } is q −1 -convergent to ξ (or right-convergent to ξ), if fact denoted by ξ n q −1 −→ ξ. Actually, {ξ n } converges to ξ with respect to τ(q −1 ) A sequence {ξ n }, in the setting of a quasi-pseudo metric space (X, q), is said to be d q -convergent to ξ in the case the sequence converges to ξ from left and right, which is,

Remark 2.
From the definition of d q -convergence, we have d q -convergence implies q-convergence.
The reverse implication does not hold in general, as demonstrated in the following example.
Similarly, we define right K-Cauchy sequences and observe that a sequence is left K-Cauchy with respect to q if and only if it is right K-Cauchy with respect to q −1 .
Definition 3 (See [1,13]). We say that (X, q) is left-K-complete if any left K-Cauchy sequence is q-convergent. Furthermore, we say that quasi-pseudo metric space (X, q) is Smyth complete if any left K-Cauchy sequence is d q -convergent.
It is easy to see that every Smyth-complete quasi-metric space is left K-complete [13], and the converse implication does not hold.

Definition 4 ([1]).
We say that a T 0 -quasi-metric space (X, q) is said to be bicomplete if the corresponding metric d q on X is complete. Example 6. Let us again consider Example 1. In that case, for any ξ, However, if we take the quasi-pseudo metric that is defined in Example 3, it is clear that (X, δ) is not bicomplete, since (X, δ) is not even T 0 .
For ξ ∈ X and A ∈ P 0 (X), we set: We also define the map H : Subsequently, the distance function H is called the Hausdorff extended quasi-pseudo metric on P 0 (X). Notice that, here, the word "extended" is use to emphasize that H can attain the value ∞ as it appears in the definition.
Finally, we recall some concepts that are related to the classical fixed point notions in the setting of a quasi-pseudo metric space.
Definition 6 (cf. [1]). Let (X, q) be a quasi-pseudo metric space and F : X → P 0 (X) be a multi-valued map. Suppose that H is a Hausdorff quasi-pseudo metric on P 0 (X). We say that ξ ∈ X is

Main Results
In this section, we give a new start-point theorem for a generalized weakly contractive multi-valued map.
As we dive into the topic, it could be very interesting to point out this known fact, which is always good to remember. That is, if ξ is both a start-point and an end-point of a multi-valued F, then ξ is a fixed point of F. In fact, Fξ is a singleton. Observe that a fixed point of a multi-valued F need not be a start-point or an end-point. We provide the following three examples in order to illustrate that fact.  i.e., a is is both a start-point and an end-point for F. The point b is both a fixed point (which is not strict) and end-point for F, while c is neither a (strict) fixed point nor a start-point nor an end-point for F.
In fact, the above example illustrates the following fact: Lemma 1. Let X be non-empty set and H the Hausdorff quasi-pseudo metric that is derived by a quasi-pseudo metric q. Let F : X → P 0 (X) be a multi-valued map. If ξ ∈ X is a strict fixed point, then ξ is both a start-point and an end-point.
Proof. The result is immediate, since, for Fξ = {ξ}, we have We begin with the following intermediate result.

Lemma 2.
Let (X, q) be T 0 -quasi-metric space and A ⊂ X. If A is a compact subset of (X, d q ), then it is a closed subset of (X, q). That is, P k (X) ⊂ P c (X).
Letting k → ∞ in above inequality, we obtain ξ = ζ and ξ ∈ A. Thus, A is a closed subset of (X, q).
The concept of weakly contractive maps that appeared in [23] (Definition 1) is one of the generalizations of contractions on metric spaces. In [23], the authors defined such maps for single valued maps on Hilbert spaces and proved the existence of fixed points. Later, it was shown that most of the results of [23] still hold in any Banach space, see e.g., Rhoades [24][25][26][27][28][29]. As it is expected, this notion was extended to multi-valued maps and it was characterized in the setting of quasi-metric spaces.
In the literature, one of the useful auxiliary function is the comparison function that is initiated by [30], and, later, discussed and investigated densely by Rus [31] and many others. A function [30,31] if it is increasing and ϕ n (t) → 0 as n → ∞ for every t ∈ [0, ∞), where ϕ n is the n-th iterate of ϕ. A simple example of such mappings is ϕ(t) = kt n , where k ∈ [0, 1) and n ∈ {2, 3, · · · }.
The listed properties above are also valid for (c)-comparison functions, since the class of (c)-comparison functions is a subclass of comparison functions.
1. A multi-valued map F : X → P 0 (X) is called weakly contractive if there exists a (c) * -comparison function γ, such that, for each ξ ∈ X there exists η ∈ Fξ satisfying 2. A single-valued map f : X → X is called weakly contractive if there exists a (c) * -comparison function γ, The following is the main result of the paper. Theorem 1. Let (X, q) be a left K-complete quasi-pseudo metric space, F : X → P cb (X) be a weakly contractive multi-valued mapping. Subsequently, F has a start-point in X.

Remark 4.
It is clear that, if we replace the condition (2) by the dual condition then the conclusion of Theorem 1 would be that the multi-valued function F possesses an end-point. Moreover for the multi-valued function F to admit a fixed point, it is enough that where If let γ(t) = (1 − k)t for k ∈ [0, 1) in Theorem 1, then we obtain the following version of Nadler's theorem in the setting of left K-complete quasi-pseudo metric space. Theorem 2. Let (X, q) be a left K-complete quasi-pseudo metric space and F : X → P cb (X) be a multi-valued mapping. If there exists k ∈ [0, 1), such that, for each ξ ∈ X, there exists η ∈ Fξ satisfying H(η, Fη) ≤ kq(ξ, η), then F possesses a start-point in X.
We conclude this part of the paper with the following illustrative example: Example 12. Let X = 1 2 n : n = 0, 1, 2, · · · ∪ {0} and let Subsequently, (X, q) is a left K-complete T 0 -quasi-metric space. Set γ(t) = t 2 for all t ≥ 0. Let F : X → P cb (X) be a multi-valued map defined as We now show that F satisfies condition (2).
The map F satisfies the assumptions of Theorem 1, so it has a start-point, which, in this case, is 0.
In the case of a single-valued mapping, Theorem 1 produces the following existence result.
Theorem 3. Let (X, q) be a left K-complete quasi-pseudo metric space and f : X → X be a weakly contractive single-valued mapping. Subsequently, f possesses at least one start-point in X, i.e., there exists ξ * ∈ X, such that q(ξ * , f ξ * ) = 0.
We conclude the paper with a start-point result for a multi-valued mapping satisfying a stronger weakly contractive type condition. In this case, we can obtain a stability result for the start-point problem.
Notice that any s-weakly contractive multi-valued mapping is weakly contractive, but not reversely.
The following existence and stability result holds for s-weakly contractive multi-valued mappings. For the sake of simplicity, we will present the result when γ(t) = (1 − k)t, t ∈ [0, ∞), with some k ∈ [0, 1).

Theorem 4.
Let (X, q) be a left K-complete quasi-pseudo metric space and F : X → P cb (X) be a multi-valued mapping. Suppose that there exists k ∈ [0, 1), such that, for each ξ ∈ X, there exists η ∈ Fξ satisfying H(η, Fν) ≤ kq(ξ, ν), for every ν ∈ X. Then: (a) F possesses a start-point in X; and, (b) the start-point problem for F is Ulam-Hyers stable with respect to the end-point problem for F, in the sense that there exists C > 0, such that, for any ε > 0 and any ρ * ∈ X with H(Fρ * , ρ * ) ≤ ε, there exists a start-point ξ * ∈ X of F, such that q(ξ * , ρ * ) ≤ Cε.
Funding: This research received no external funding.