Abstract
We discuss Panayanak’s results on the existence of an endpoint of a multivalued nonexpansive mapping. We show that all of his results can be extended and some can be established in a wider class of mappings. Out of his three open questions, two of them are solved in affirmative.
Similar content being viewed by others
1 Introduction
Let \((X,d)\) be a metric space. The distance from an element \(x\in X\) to a nonempty subset \(E\subset X\) is defined by
For a nonempty subset \(E\subset X\), we denote by \(\mathcal{BC}(E)\) (\(\mathcal{K}(E)\), respectively) the family of nonempty bounded and closed subsets (nonempty compact subsets, respectively) of E. Note that \(\mathcal{K}(E)\subset\mathcal{BC}(E)\) and the inclusion may be proper. The Pompeiu-Hausdorff distance on \(\mathcal{BC}(X)\) is defined by
for all \(A,B\in\mathcal{BC}(X)\).
An element \(x\in E\) is a fixed point of a multivalued mapping \(T:E\to\mathcal{BC}(X)\) if x belongs to the set Tx. Moreover, if \(\{ x\}=Tx\), then x is called an endpoint of T (or a stationary point of T). The set of all endpoints (all fixed points, respectively) of T is denoted by \(\operatorname{End}(T)\) (\(\operatorname{Fix}(T)\), respectively). It is clear that \(\operatorname {End}(T)\subset\operatorname{Fix}(T)\) and the inclusion may be proper (see Example 1). In the case of single-valued mappings, both notions coincide.
The existence of an endpoint and of a fixed point of a multivalued mapping has been widely investigated by many researchers (see, e.g., [1–8]). Corley [1] proved that a maximization with respect to a cone, which subsumes ordinary and Pareto optimization, is equivalent to the problem of finding an endpoint of certain multivalued mapping. Note that the results in multivalued case are suggested but do not follow directly from the one in the single-valued case. In spite of the Michael selection theorem, which gives a continuous selection for multivalued upper semicontinuos mappings, almost nothing is known about obtaining a nonexpansive selection. In our problem studied below, we do not know how they can be proved via the classical results for single-valued mappings.
First, let us recall the following simple example of Ko [9]. It suggests that fixed point results in the single-valued case should be extended to endpoint results in the corresponding multivalued one.
Example 1
Let X be the two-dimensional Euclidean space \((\mathbb{R}^{2},\Vert \cdot \Vert )\), and \(E=[0,1]\times[0,1]\). Let \(T:E\to \mathcal{K}(E)\) be defined by
Note that \(H(T(a,b),T(c,d))\le \Vert (a,b)-(c,d)\Vert \) for all \((a,b),(c,d)\in E\). Moreover, we remark the following facts.
-
It is clear that \(\operatorname{Fix}(T)=\{(a,b)\in E:ab=0\}\) and \(\operatorname{End}(T)=\{(0,0)\}\). Hence, \(\operatorname{End}(T)\) is convex, but \(\operatorname{Fix}(T)\) is not.
-
This example shows that even in a Hilbert space the class of Γ-type mappings, which is given analogously to Bruck’s theorem does not include all nonexpansive mappings (see [5], Example 5.1, for more details).
-
For a fixed element \((a_{0},b_{0})\in E\) and \(t\in(0,1)\), define \(S_{t}:E\to\mathcal{K}(E)\) by
$$S_{t}(a,b):=(1-t) (a_{0},b_{0})+tT(a,b). $$It follows that, as \(t\uparrow1\), the net \(\{\operatorname{Fix}(S_{t})\} _{t\in(0,1)}\) does not converge to the fixed point of T nearest to \((a_{0},b_{0})\) even in the weaker convergence of sets (see [6]).
Recall that a multivalued mapping \(T:E\to\mathcal{BC}(X)\) has the approximate endpoint property if
Obviously, if \(\operatorname{End}(T)\neq\varnothing\), then T has the approximate endpoint property. In this paper, we investigate the following statement:
This research problem has been investigated by many mathematicians (see [10–13] for the single-valued case and [5, 9, 14] for the multivalued one).
Recently, Panyanak [15] showed that (A) holds in some situations. We first quote all main results recently proved in his paper. Some relevant definitions and concept will be given in the next section.
Theorem P1
Suppose that E is a nonempty bounded closed convex subset of a uniformly convex Banach space X. If \(T:E\to\mathcal{K}(E)\) is a nonexpansive mapping, then (A) holds.
Theorem P2
Suppose that E is a nonempty bounded closed convex subset of a reflexive Banach space X with the Opial property. If \(T:E\to\mathcal {K}(X)\) is a nonexpansive mapping, then (A) holds.
Theorem P3
Suppose that E is a nonempty bounded closed convex subset of a complete \(\operatorname {CAT}(0)\) space X. If \(T:E\to\mathcal{K}(X)\) is a nonexpansive mapping, then (A) holds.
Note that the proofs of Theorems P1, P2, and P3 are based on the technique of asymptotic center introduced by Lim [16].
Theorem P4
Suppose that E is a nonempty convex subset of a complete \(\operatorname {CAT}(0)\) space X. If \(T:E\to\mathcal{K}(X)\) is a nonexpansive mapping, then \(\operatorname{End}(T)\) is convex.
We also quote some of his questions.
Question P1
Let E be a nonempty bounded closed convex subset of a uniformly convex Banach space X, and \(T:E\to\mathcal{K}(X)\) be a nonexpansive mapping. Does (A) hold?
Question P2
Let E be a nonempty closed convex subset of a uniformly convex Banach space X, and \(T:E\to\mathcal{BC}(X)\) be a nonexpansive mapping. Is \(\operatorname{End}(T)\) convex?
The purpose of this paper is to give significant extensions of all theorems above. We also give affirmative answers to the preceding two questions. It should be noted that our proofs are different from those in Panyanak’s paper. Moreover, many results are established under weaker assumptions.
2 Main results
For an element x in a metric space \(X:=(X,d)\) and for a nonempty bounded subset E of X, we write
Using this notation, for any mapping \(T:E\to\mathcal{BC}(X)\), we have the following statements:
-
T has an end point if and only if there exists an element \(x\in E\) such that \(D(x,Tx)=0\).
-
T has the approximate endpoint property if and only if there exists a sequence \(\{x_{n}\}\) in E such that \(D(x_{n},Tx_{n})\to0\).
Recall that a multivalued mapping \(T:E\to\mathcal{BC}(X)\) is nonexpansive if it does not increase the distances, that is,
Let us first start with the following easy observation.
Proposition 2
Let E be a nonempty subset of a metric space X, and \(T:E\to\mathcal {BC}(X)\) be given. Let \(x,y\in E\). Then the following statements hold.
-
If \(y'\in Ty\), then \(d(x,y')\le D(x,Tx)+H(Tx,Ty)\).
-
If \(y'\in Ty\) and T is nonexpansive, then \(d(x,y')\le D(x,Tx)+d(x,y)\).
Proof
We prove only the first assertion. Let \(x,y\in E\), and \(x'\in Tx\) and \(y'\in Ty\). It follows that
Since \(x'\in Tx\) is arbitrary, we have
This completes the proof. □
The following result follows easily from the preceding proposition.
Lemma 3
Let E be a nonempty subset of a metric space X, and \(T:E\to\mathcal {BC}(X)\) be a continuous mapping. If \(\{u_{n}\}\) is a sequence in E such that \(\lim_{n}D(u_{n},Tu_{n})=0\) and \(\{u_{n}\}\) converges to some element \(u\in E\), then \(u\in\operatorname{End}(T)\).
Proof
Let \(u'\in Tu\). It follows from Proposition 2 that \(d(u_{n},u')\le D(u_{n},Tu_{n})+H(Tu,Tu_{n})\). Since T is continuous, we have \(\lim_{n} H(Tu,Tu_{n})=0\). Then the sequence \(\{u_{n}\}\) converges to \(u'\), and hence \(u=u'\in Tu\). This finishes the proof. □
2.1 Endpoint results in strictly convex spaces and uniformly convex spaces
A Banach space X is strictly convex if the following implication holds:
The uniform version of this property is as follows: X is uniformly convex [17] if for each \(\varepsilon>0\), there exists \(\delta>0\) such that
Every uniformly convex space is strictly convex. The converse is not true (see [18], Example 5.2.13).
First, we give an affirmative answer to Question P2. Moreover, we show that the uniform convexity can be weaken to the strict convexity. The following lemma seems to be known, but we give a proof for completeness.
Lemma 4
If u and v are two elements in a strictly convex space such that \(\Vert u+v\Vert =\Vert u\Vert +\Vert v\Vert \), then \(\Vert v\Vert u=\Vert u\Vert v\).
Proof
If either \(u=0\) or \(v=0\), then the conclusion holds. We now assume that \(u\neq0\) and \(v\neq0\). Let \(t=\Vert u\Vert /(\Vert u\Vert +\Vert v\Vert )\). Then \(t\in(0,1)\). Since \(\Vert u+v\Vert =\Vert u\Vert +\Vert v\Vert \), we have
Without loss of generality, we may assume that \(t\le1/2\). (Otherwise, let \(t=\Vert v\Vert /(\Vert u\Vert +\Vert v\Vert )\).) It follows then that
In particular,
Since the space is strictly convex, we have
This completes the proof. □
Theorem 5
Let E be a nonempty closed convex subset of a strictly convex Banach space X. If \(T:E\to\mathcal{BC}(X)\) is a nonexpansive mapping, then \(\operatorname{End}(T)\) is convex.
Proof
Let \(u,v\in\operatorname{End}(T)\) and \(z=(1-t)u+tv\) where \(t\in(0,1)\). We may assume that \(u\neq v\). To see that \(z\in\operatorname{End}(T)\), let \(z'\in Tz\). It follows from Proposition 2 that
We consider the following:
It follows from Lemma 4 that
Moreover,
Hence, \((1-t)(u-z')=t(z'-v)\), that is, \(z=(1-t)u+tv=z'\in Tz\). This completes the proof. □
We simultaneously extend Theorem P1 and give an affirmative answer to Question P1. We also introduce the following concept, which is a multivalued version of [19].
Definition 6
Let E be a nonempty convex subset of a Banach space X. A multivalued mapping \(T:E\to\mathcal{BC}(X)\) is of convex type if \(\lim_{n}D(z_{n},Tz_{n})=0\) whenever \(\{u_{n}\}\) and \(\{v_{n}\}\) are sequences in E such that \(\lim_{n}D(u_{n},Tu_{n})=\lim_{n}D(v_{n},Tv_{n})=0\) and \(z_{n}=\frac{1}{2}u_{n}+\frac{1}{2}v_{n}\) for all \(n\ge1\).
In the presence of uniform convexity, this class of mappings includes all nonexpansive ones. Note that X is uniformly convex if and only if \(\lim_{n}\Vert x_{n}-y_{n}\Vert =0\) whenever \(\{x_{n}\}\) and \(\{y_{n}\}\) are sequences in X satisfying \(\lim_{n}\Vert x_{n}\Vert =\lim_{n}\Vert y_{n}\Vert =\lim_{n}\frac{1}{2}\Vert x_{n}+y_{n}\Vert =1\) (see [18], Proposition 5.2.8).
Lemma 7
Let E be a nonempty bounded closed convex subset of a uniformly convex Banach space X. If \(T:E\to\mathcal{BC}(X)\) is a nonexpansive mapping, then it is of convex type.
Proof
Let \(\{u_{n}\}\) and \(\{v_{n}\}\) be sequences in E such that \(\lim_{n}D(u_{n},Tu_{n})=\lim_{n}D(v_{n},Tv_{n})=0\) and \(z_{n}=\frac{1}{2}u_{n}+\frac{1}{2}v_{n}\) for all \(n\ge1\). For each n, let \(z'_{n}\in Tz_{n}\) be such that
It follows from Proposition 2 that
Similarly, we have
Without loss of generality, we may assume that \(\alpha:=\lim_{n} \Vert u_{n}-z'_{n}\Vert \), \(\beta:=\lim_{n} \Vert v_{n}-z'_{n}\Vert \), and \(\gamma:=\lim_{n}\Vert u_{n}-v_{n}\Vert \) do exist. If \(\gamma=0\), then we are done. We now assume that \(\gamma>0\). Let us consider the following:
It then follows that \(\alpha=\beta=\frac{1}{2}\gamma>0\). In particular,
By the uniform convexity of X we have
Hence, \(\lim_{n}\Vert z_{n}-z'_{n}\Vert =\lim_{n}\Vert \frac{1}{2}(u_{n}+v_{n})-z'_{n}\Vert =0\). This implies that
Consequently, T is of convex type. □
Theorem 8
Suppose that E is a nonempty bounded closed convex subset of a uniformly convex Banach space X. If \(T:E\to\mathcal{BC}(X)\) is a continuous multivalued mapping of convex type, then (A) holds.
Proof
For each \(r>0\), let \(B(r)\) denote the closed ball centered at zero and radius r. Set
It follows from the boundedness of E that \(\alpha:=\inf R<\infty\). If \(\alpha=0\), then it follows that \(0\in E\) and \(0\in\operatorname {End}(T)\). We now consider the case \(\alpha>0\). For each \(n\ge1\), let \(x_{n}\in E\cap B(\alpha+1/n)\) and \(D(x_{n},Tx_{n})\le1/n\). In particular, \(\limsup_{n}\Vert x_{n}\Vert \le\alpha\) and \(\lim_{n}D(x_{n},Tx_{n})=0\). If \(\{x_{n}\}\) contains a convergent subsequence, then its limit point is an endpoint of T. Suppose that there are a constant \(\varepsilon>0\) and a subsequence \(\{x_{n_{k}}\}\) such that \(\Vert x_{n_{k}}-x_{n_{k+1}}\Vert \ge \varepsilon\) for all \(k\ge1\). Set \(u_{k}\equiv x_{n_{k}}\), \(v_{k}\equiv x_{n_{k+1}}\), and \(z_{k}\equiv\frac{1}{2}u_{k}+\frac{1}{2}v_{k}\). It follows that \(\lim_{k}D(u_{k},Tu_{k})=\lim_{k}D(v_{k},Tv_{k})=0\). Note that \(\limsup_{k}\Vert u_{k}\Vert \le \alpha\) and \(\limsup_{k}\Vert v_{k}\Vert \le\alpha\). By the uniform convexity of X there exists \(\delta>0\) such that \(\limsup_{k}\Vert z_{k}\Vert \le(1-\delta )\alpha<\alpha\). Moreover, it follows from the convexity type of T that \(\lim_{n}D(z_{n},Tz_{n})=0\). We now obtain a contradiction. The proof is finished. □
2.2 Endpoint results in reflexive spaces with Opial property
A Banach space X is said to have the Opial property [20] if whenever \(\{x_{n}\}\) is weakly convergent to x and \(y\neq x\), it follows that
The following result is related to the demiclosedness property.
Proposition 9
Let E be a nonempty subset of a Banach space X with the Opial property, and \(T:E\to\mathcal{BC}(X)\) be a nonexpansive mapping. If \(\{ u_{n}\}\) is a sequence in E such that \(D(u_{n},Tu_{n})\to0\) and \(\{u_{n}\}\) converges weakly to \(u\in E\), then \(u\in\operatorname{End}(T)\).
Proof
Let \(u'\in Tu\). It follows from Proposition 2 that
In particular,
It follows from the Opial property that \(u=u'\in Tu\). This completes the proof. □
The following result extends Theorem P2 from \(T:E\to\mathcal{K}(X)\) to \(T:E\to\mathcal{BC}(X)\).
Theorem 10
Suppose that E is a nonempty bounded closed convex subset of a reflexive Banach space X with the Opial property. If \(T:E\to\mathcal {BC}(X)\) is a nonexpansive mapping, then (A) holds.
Proof
Assume that T has an approximate endpoint property. Let \(\{ u_{n}\}\) be a sequence in E such that \(D(u_{n},Tu_{n})\to0\). Since \(\{u_{n}\} \) is bounded, there exists a subsequence \(\{u_{n_{k}}\}\) of \(\{u_{n}\}\) such that \(\{u_{n_{k}}\}\) converges weakly to some element \(u\in E\). It follows from the preceding proposition that \(u\in\operatorname{End}(T)\). □
2.3 Endpoint results in geodesic spaces whose curvature is bounded above
In this section, we extend both Theorems P3 and P4 in a more general setting, that is, we consider geodesic spaces whose curvature is bounded above. Let us recall relevant definitions and a concept as follows. For more details on the subject, we refer to [21].
For \(\kappa\in\mathbb{R}\), let \(M_{\kappa}:=(M_{\kappa},d_{\kappa})\) denote the unique simply connected surface (real two-dimensional Riemannian manifold) with constant curvature κ. That is,
Here \(\mathbb{S}^{2}\), \(\mathbb{R}^{2}\), and \(\mathbb{H}^{2}\) represent the two-dimensional sphere, Euclidean space, and hyperbolic space, respectively. In particular,
A geodesic path joining two elements x, y in a metric space \((X,d)\) is an isometry \(c:[0,l]\to X\), where \(d(x,y)=l\), such that \(c(0)=x\) and \(c(l)=y\). The image of a geodesic path is called a geodesic segment. A metric space for which every two points can be joined by a geodesic segment is called a geodesic space. For any three elements \(x,y,z\in X\), a geodesic triangle \(\triangle (x,y,z)\) is the union of three geodesic segments joining each two of them. Since there may be more than one geodesic segment joining each two points, the triangle \(\triangle(x,y,z)\) depends on the geodesic paths we choose. We say that a geodesic triangle \(\triangle(x,y,z)\), where \(x,y,z\in X\) and \(d(x,y)+d(y,z)+d(z,x)<2D_{\kappa}\), satisfies the \(\operatorname {CAT}(\kappa)\) inequality if there exists corresponding three points \(\overline{x},\overline{y},\overline{z}\in M_{\kappa}\) such that
-
\(d(x,y)=d_{M_{\kappa}}(\overline{x},\overline{y})\), \(d(y,z)=d_{M_{\kappa}}(\overline{y},\overline{z})\), and \(d(x,z)=d_{M_{\kappa}}(\overline{x},\overline{z})\);
-
\(d(p,q)\le d_{M_{\kappa}}(\overline{p},\overline{q})\) for all \(p,q\in\triangle(x,y,z)\) and \(\overline{p},\overline{q}\in\triangle (\overline{x},\overline{y},\overline{z})\).
A geodesic metric space \((X,d)\) is a \(\operatorname {CAT}(\kappa)\) space if every geodesic triangle △ in X with perimeter less than \(2D_{k}\) satisfies the \(\operatorname {CAT}(\kappa)\) inequality. If X is a \(\operatorname {CAT}(\kappa)\) space, then it is \(D_{\kappa}\) -uniquely geodesic, that is, there exists a unique geodesic path joining x and y for all \(x,y\in X\) with \(d(x,y)< D_{\kappa}\). In this case, we denote the unique geodesic segment joining x and y by \([x,y]\), and the element \(z \in[x,y]\) satisfying \(d(z,x) = (1-t)d(x,y)\) and \(d(z,y) = td(x,y)\) for some \(t\in [0,1]\) is also denoted by \(tx\oplus(1-t)y\). A subset Y of a \(\operatorname {CAT}(\kappa)\) space is \(D_{\kappa}\) -convex if \([x,y]\subset Y\) for all \(x,y\in Y\) with \(d(x,y)< D_{\kappa}\).
Note that in this study we can consider only \(\operatorname {CAT}(1)\) spaces because all the results can be easily extended to \(\operatorname {CAT}(\kappa)\) spaces with \(\kappa>0\) by resizing the space. Moreover, every \(\operatorname {CAT}(\kappa_{1})\) space is a \(\operatorname {CAT}(\kappa_{2})\) space whenever \(\kappa_{1}\le\kappa_{2}\).
Lemma 11
([22], Lemma 3.1)
Let \(\triangle(x,y,z)\) be a geodesic triangle in a \(\operatorname {CAT}(1)\) space such that \(d(x,y)+d(x,z)+d(y,z)<2\pi\), and let \(w\in[x,y]\). Then
Theorem 12
Let E be a nonempty convex subset of a complete \(\operatorname {CAT}(1)\) space X. If \(T:E\to\mathcal{BC}(X)\) is a nonexpansive mapping, then \(\operatorname {End}(T)\) is π-convex.
Proof
Let \(u,v\in\operatorname{End}(T)\) be such that \(0< d(u,v)<\pi\). Let \(w\in [u,v]\). Note that \(w\in E\). We show that \(w\in\operatorname{End}(T)\). To see this, let \(w'\in Tw\). It follows from Proposition 2 that
Moreover, we have the following:
In particular, \(\cos d(w,w')=1\). This implies that \(d(w,w')=0\), that is, \(w=w'\in Tw\). □
Let E be a nonempty subset of a \(\operatorname {CAT}(1)\) space X such that \(d(u,v)<\pi\) for all \(u,v\in E\). Analogously to Definition 6, we introduce the following concept: \(T:E\to\mathcal {BC}(X)\) is of convex type if \(\lim_{n}D(z_{n},Tz_{n})=0\) whenever \(\{ u_{n}\}\) and \(\{v_{n}\}\) are sequences in E such that \(\lim_{n}D(u_{n},Tu_{n})=\lim_{n}D(v_{n},Tv_{n})=0\) and \(z_{n}=\frac{1}{2}u_{n}\oplus\frac{1}{2}v_{n}\) for all \(n\ge1\). It is shown in the following theorem that this class of mappings includes all nonexpansive ones.
Theorem 13
Let E be a nonempty convex subset of a complete \(\operatorname {CAT}(1)\) space X such that \(\operatorname{diam}(E)<\pi\). If \(T:E\to\mathcal{BC}(X)\) is nonexpansive, then it is of convex type.
Proof
Let \(\{u_{n}\}\) and \(\{v_{n}\}\) be sequences in E such that \(\lim_{n}D(u_{n},Tu_{n})=\lim_{n}D(v_{n},Tv_{n})=0\) and \(z_{n}=\frac{1}{2}u_{n}\oplus\frac{1}{2}v_{n}\) for all \(n\ge1\). We show that \(\lim_{n}D(z_{n},Tz_{n})=0\). To see this, let \(z'_{n}\in Tz_{n}\) be such that
It follows from Proposition 2 that
Similarly, we have
Passing to subsequences, we may assume that \(\alpha:=\lim_{n} d(u_{n},z'_{n})\), \(\beta:=\lim_{n} d(v_{n},z'_{n})\), and \(\gamma:=\lim_{n} d(u_{n},v_{n})\) exist. Note that \(\alpha\le\frac{1}{2}\gamma\) and \(\beta\le\frac{1}{2}\gamma\). If \(\gamma=0\), then \(\lim_{n}d(z_{n},z'_{n})\le\lim_{n}(d(z_{n},u_{n})+d(u_{n},z'_{n}))\le2\lim_{n}d(z_{n},u_{n})+\lim_{n}D(u_{n},Tu_{n})= \lim_{n}d(u_{n},v_{n})+\lim_{n}D(u_{n}, Tu_{n})=0\). This implies that \(\lim_{n}D(z_{n},Tz_{n})\le\lim_{n}(d(z_{n},z'_{n})+\frac{1}{n})=0\). We now assume that \(\gamma>0\). Now let us consider the following:
In particular, since \(\gamma<\pi\), we have \(\limsup_{n}\cos d(z_{n},z'_{n})=1\). This implies that \(\lim_{n}d(z_{n},z'_{n})=0\), that is, \(\lim_{n} D(z_{n},Tz_{n})\le\lim_{n}(d(z_{n},z'_{n})+\frac{1}{n})=0\). The proof is finished. □
The proof of the following result is very similar to that of Theorem 8.
Theorem 14
Let E be a nonempty closed convex subset of a complete \(\operatorname {CAT}(1)\) space X such that \(\operatorname{diam}(E)<\pi\) and \(d(x,y)+d(y,z)+d(z,x)<2\pi\) for all \(x,y,z\in E\). If \(T:E\to\mathcal {BC}(X)\) is of convex type and continuous, then (A) holds.
Proof
Assume that T has the approximate endpoint property. Let \(x_{0}\in E\) be fixed and \(B(r)\) denote the closed ball centered at \(x_{0}\) and radius \(r>0\). Set
Note that \(\alpha:=\inf R<\infty\). If \(\alpha=0\), then it follows that \(x_{0}\in\operatorname{End}(T)\). We now consider the case \(\alpha>0\). For each \(n\ge1\), let \(x_{n}\in E\cap B(\alpha+1/n)\) and \(D(x_{n},Tx_{n})\le1/n\). In particular, \(\limsup_{n}d(x_{n},x_{0})\le\alpha\) and \(\lim_{n}D(x_{n},Tx_{n})=0\). If \(\{x_{n}\}\) contains a convergent subsequence \(\{ x_{n_{k}}\}\) such that \(\{x_{n_{k}}\}\) converges to some element \(x\in E\), then \(x\in\operatorname{End}(T)\). On the other hand, we suppose that there are a constant \(\varepsilon>0\) and a subsequence \(\{x_{n_{k}}\}\) such that \(d(x_{n_{k}},x_{n_{k+1}})\ge\varepsilon\) for all \(k\ge1\). Set \(u_{k}\equiv x_{n_{k}}\), \(v_{k}\equiv x_{n_{k+1}}\), and \(z_{k}\equiv\frac{1}{2}u_{k}\oplus\frac{1}{2}v_{k}\). It follows that \(\lim_{k}D(u_{k},Tu_{k})=\lim_{k}D(v_{k},Tv_{k})=0\). Since T is of convex type, we have \(\lim_{k}D(z_{k},Tz_{k})=0\). Note that \(\limsup_{k} d(u_{k},x_{0})\le\alpha\), \(\limsup_{k} d(v_{k},x_{0})\le\alpha\), and \(\varepsilon\le d(u_{k},v_{k})\le\operatorname {diam}(E)<\pi\) for all \(k\ge1\). Since \(d(x_{0},u_{k})+d(u_{k},v_{k})+d(v_{k},x_{0})<2\pi\), we have
In particular,
This implies that
Since \(t\mapsto\cos t\) is strictly decreasing on \((0,\pi)\), there exists \(\delta>0\) such that
which is a contradiction. The proof is finished. □
The following result improves that of Espínola and Fernández-León [23]. It is clear that the condition \(\operatorname{diam}(E)<\pi/2\) implies \(\operatorname{diam}(E)<\pi\) and \(d(x,y)+d(y,z)+d(z,x)<2\pi\) for all \(x,y,z\in E\). In the proof above, we do not use the modulus of convexity of \(\mathbb{S}^{2}\) endowed with the spherical distance as was the case in [23].
Corollary 15
Let E be a nonempty closed convex subset of a complete \(\operatorname {CAT}(1)\) space X such that \(\operatorname{diam}(E)<\pi\) and \(d(x,y)+d(y,z)+d(z,x)<2\pi\) for all \(x,y,z\in E\). Suppose that \(T:E\to X\) is of convex type and is continuous. Then \(\operatorname{Fix}(T)\neq \varnothing\) if and only if \(\inf\{d(x,Tx):x\in E\}=0\).
References
Corley, HW: Some hybrid fixed point theorems related to optimization. J. Math. Anal. Appl. 120(2), 528-532 (1986)
Itoh, S, Takahashi, W: Single-valued mappings, multivalued mappings and fixed-point theorems. J. Math. Anal. Appl. 59(3), 514-521 (1977)
Klein, E, Thompson, AC: Theory of Correspondences. Including Applications to Mathematical Economics. Canadian Mathematical Society Series of Monographs and Advanced Texts. A Wiley-Interscience Publication. Wiley, New York (1984)
Kojima, M, Yamamoto, Y: A unified approach to the implementation of several restart fixed point algorithms and a new variable dimension algorithm. Math. Program. 28(3), 288-328 (1984)
Llorens-Fuster, E: Multivalued nonexpansive mappings with an almost convex displacement function. J. Nonlinear Convex Anal. 16(9), 1835-1845 (2015)
Pietramala, P: Convergence of approximating fixed points sets for multivalued nonexpansive mappings. Comment. Math. Univ. Carol. 32(4), 697-701 (1991)
Reich, S: Fixed point theorems for set-valued mappings. J. Math. Anal. Appl. 69(2), 353-358 (1979)
Todd, MJ: The Computation of Fixed Points and Applications. Lecture Notes in Economics and Mathematical Systems, vol. 124. Springer, Berlin (1976)
Ko, HM: Fixed point theorems for point-to-set mappings and the set of fixed points. Pac. J. Math. 42, 369-379 (1972)
Belluce, LP, Kirk, WA: Some fixed point theorems in metric and Banach spaces. Can. Math. Bull. 12, 481-491 (1969)
Montagnana, M, Vignoli, A: On quasiconvex mappings and fixed point theorems. Boll. Unione Mat. Ital. (4) 4, 870-878 (1971)
Danes̆, J: Fixed point theorems, Nemyckii and Uryson operators, and continuity of nonlinear mappings. Comment. Math. Univ. Carol. 11, 481-500 (1970)
García-Falset, J, Llorens-Fuster, E, Sims, B: Fixed point theory for almost convex functions. Nonlinear Anal. 32(5), 601-608 (1998)
Llorens-Fuster, E: Set-valued α-almost convex mappings. J. Math. Anal. Appl. 233(2), 698-712 (1999)
Panyanak, B: Endpoints of multivalued nonexpansive mappings in geodesic spaces. Fixed Point Theory Appl. 2015, 147 (2015)
Lim, TC: Remarks on some fixed point theorems. Proc. Am. Math. Soc. 60, 179-182 (1976)
Clarkson, JA: Uniformly convex spaces. Trans. Am. Math. Soc. 40(3), 396-414 (1936)
Megginson, RE: An Introduction to Banach Space Theory. Graduate Texts in Mathematics, vol. 183. Springer, New York (1998)
Kirk, WA: Nonexpansive mappings in metric and Banach spaces. Rend. Semin. Mat. Fis. Milano 51, 133-144 (1981)
Opial, Z: Weak convergence of the sequence of successive approximations for nonexpansive mappings. Bull. Am. Math. Soc. 73, 591-597 (1967)
Bridson, MR, Haefliger, A: Metric Spaces of Non-positive Curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319. Springer, Berlin (1999)
Kimura, Y, Satô, K: Halpern iteration for strongly quasinonexpansive mappings on a geodesic space with curvature bounded above by one. Fixed Point Theory Appl. 2013, 7 (2013)
Espínola, R, Fernández-León, A: \(\operatorname {CAT}(k)\)-Spaces, weak convergence and fixed points. J. Math. Anal. Appl. 353(1), 410-427 (2009)
Acknowledgements
The author would like to thank the two referees for their comments and suggestions. This work is partially supported by the Research Center for Environmental and Hazardous Substance Management, Khon Kaen University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Saejung, S. Remarks on endpoints of multivalued mappings in geodesic spaces. Fixed Point Theory Appl 2016, 52 (2016). https://doi.org/10.1186/s13663-016-0541-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-016-0541-4