 Research
 Open access
 Published:
Best proximity point results in geodesic metric spaces
Fixed Point Theory and Applications volumeÂ 2012, ArticleÂ number:Â 234 (2012)
Abstract
In this paper, the existence of a best proximity point for relatively ucontinuous mappings is proved in geodesic metric spaces. As an application, we discuss the existence of common best proximity points for a family of not necessarily commuting relatively ucontinuous mappings.
1 Introduction
Let A be a nonempty subset of a metric space (X,d) and T:A\xe2\u2020\u2019X. A solution to the equation Tx=x is called a fixed point of T. It is obvious that the condition T(A)\xe2\u02c6\copyright A\xe2\u2030\mathrm{\xe2\u02c6\dots} is necessary for the existence of a fixed point for T. But there occur situations in which d(x,Tx)>0 for all x\xe2\u02c6\u02c6A. In such a situation, it is natural to find a point x\xe2\u02c6\u02c6A such that x is closest to Tx in some sense. The following wellknown best approximation theorem, due to Ky Fan [1], explores the existence of an approximate solution to the equation Tx=x.
Theorem 1 [1]
Let A be a nonempty compact convex subset of a normed linear space X and T:A\xe2\u2020\u2019X be a continuous function. Then there exists x\xe2\u02c6\u02c6A such that \xe2\u02c6\yen x\xe2\u02c6\u2019Tx\xe2\u02c6\yen =dist(Tx,A)=inf\{\xe2\u02c6\yen Tx\xe2\u02c6\u2019a\xe2\u02c6\yen :a\xe2\u02c6\u02c6A\}.
The point x\xe2\u02c6\u02c6A in Theorem 1 is called a best approximant of T in A. Let A, B be nonempty subsets of a metric space X and T:A\xe2\u2020\u2019B. A point {x}_{0}\xe2\u02c6\u02c6A is called a best proximity point of T if d({x}_{0},T{x}_{0})=dist(A,B). Some interesting results in approximation theory can be found in [2â€“8].
Eldred et al. [2] defined relatively nonexpansive mappings and used the proximal normal structure to prove the existence of best proximity points for such mappings.
Definition 2 [2]
Let A, B be nonempty subsets of a metric space (X,d). A mapping T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB is said to be a relatively nonexpansive mapping if

(i)
T(A)\xe2\u0160\u2020B, T(B)\xe2\u0160\u2020A;

(ii)
d(Tx,Ty)\xe2\u2030\xa4d(x,y), for all x\xe2\u02c6\u02c6A, y\xe2\u02c6\u02c6B.
Theorem 3 [2]
Let (A,B) be a nonempty, weakly compact convex pair in a Banach space X. Let T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively nonexpansive mapping and suppose (A,B) has a proximal normal structure. Then there exists (x,y)\xe2\u02c6\u02c6A\xc3\u2014B such that
Remark 4 [2]
Note that every nonexpansive selfmap is a relatively nonexpansive map. Also, a relatively nonexpansive mapping need not be continuous.
In [8], Sankar Raj and Veeramani used a convergence theorem to prove the existence of best proximity points for relatively nonexpansive mappings in strictly convex Banach spaces.
Recently, Elderd, Sankar Raj and Veeramani [9] introduced a class of relatively ucontinuous mappings and investigated the existence of best proximity points for such mappings in strictly convex Banach spaces.
Definition 5 [9]
Let A, B be nonempty subsets of a metric space X. A mapping T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB is said to be a relatively ucontinuous mapping if it satisfies:

(i)
T(A)\xe2\u0160\u2020B, T(B)\xe2\u0160\u2020A;

(ii)
for each \mathrm{\xce\mu}>0, there exists a \mathrm{\xce\xb4}>0 such that d(Tx,Ty)<\mathrm{\xce\mu}+dist(A,B), whenever d(x,y)<\mathrm{\xce\xb4}+dist(A,B), for all x\xe2\u02c6\u02c6A, y\xe2\u02c6\u02c6B.
Theorem 6 [9]
Let A, B be nonempty compact convex subsets of a strictly convex Banach space X and T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively ucontinuous mapping. Then there exists (x,y)\xe2\u02c6\u02c6A\xc3\u2014B such that
Remark 7 [9]
Every relatively nonexpansive mapping is a relatively ucontinuous mapping, but the converse is not true.
Example 8 [9]
Let (X={\mathbb{R}}^{2},{\xe2\u02c6\yen \xe2\u2039\dots \xe2\u02c6\yen}_{2}) and consider A=\{(0,t):0\xe2\u2030\xa4t\xe2\u2030\xa41\} and B=\{(1,s):0\xe2\u2030\xa4s\xe2\u2030\xa41\}. Define T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB by
Then T is relatively ucontinuous, but not relatively nonexpansive.
Also, in [9], the authors proved the existence of common best proximity points for a family of commuting relatively ucontinuous mappings.
The aim of this paper is to discuss the existence of a best proximity point for relatively ucontinuous mappings in the frameworks of geodesic metric spaces. As an application, we investigate the existence of common best proximity points for a family of not necessarily commuting relatively ucontinuous mappings.
2 Preliminaries
In this section, we give some preliminaries.
Definition 9 [10]
A metric space (X,d) is said to be a geodesic space if every two points x and y of X are joined by a geodesic, i.e., a map c:[0,l]\xe2\u0160\u2020\mathbb{R}\xe2\u2020\u2019X such that c(0)=x, c(l)=y, and d(c(t),c({t}^{\mathrm{\xe2\u20ac\xb2}}))=t\xe2\u02c6\u2019{t}^{\mathrm{\xe2\u20ac\xb2}} for all t, {t}^{\mathrm{\xe2\u20ac\xb2}}\xe2\u02c6\u02c6[0,l]. Moreover, X is called uniquely geodesic if there is exactly one geodesic joining x and y for each x,y\xe2\u02c6\u02c6X.
The midpoint m between two points x and y in a uniquely geodesic metric space has the property d(x,m)=d(y,m)=\frac{1}{2}d(x,y). A trivial example of a geodesic space is a Banach space with usual segments as geodesic segments.
A point z\xe2\u02c6\u02c6X belongs to the geodesic segment [x,y] if and only if there exists t\xe2\u02c6\u02c6[0,1] such that d(z,x)=td(x,y) and d(z,y)=(1\xe2\u02c6\u2019t)d(x,y). Hence, we write z=(1\xe2\u02c6\u2019t)x+ty.
A subset A of a geodesic metric space X is said to be convex if it contains any geodesic segment that joins each pair of points of A.
The metric d:X\xc3\u2014X\xe2\u2020\u2019\mathbb{R} in a geodesic space (X,d) is convex if
for any x,y,z\xe2\u02c6\u02c6X and t\xe2\u02c6\u02c6[0,1].
Definition 10 [10]
A geodesic metric space X is said to be strictly convex if for every r>0, a, x and y\xe2\u02c6\u02c6X with d(x,a)\xe2\u2030\xa4r, d(y,a)\xe2\u2030\xa4r and x\xe2\u2030y, it is the case that d(a,p)<r, where p is any point between x and y such that p\xe2\u2030x and p\xe2\u2030y, i.e., p is any point in the interior of a geodesic segment that joins x and y.
Remark 11 [10]
Every strictly convex metric space is uniquely geodesic.
In [10], FernÃ¡ndezLeÃ³n proved the existence and uniqueness of best proximity points in strictly convex metric spaces. For more details about geodesic spaces, one may check [11â€“13].
In the particular framework of geodesic metric spaces, the concept of global nonpositive curvature (global NPC spaces), also known as the CAT(0) spaces, is defined in [13] as follows.
Definition 12 A global NPC space is a complete metric space (X,d) for which the following inequality holds true: for each pair of points {x}_{0}, {x}_{1}\xe2\u02c6\u02c6X there exists a point y\xe2\u02c6\u02c6X such that for all points z\xe2\u02c6\u02c6X,
Proposition 13 [13]
If (X,d) is a global NPC space, then it is a geodesic space. Moreover, for any pair of points {x}_{0},{x}_{1}\xe2\u02c6\u02c6X there exists a unique geodesic \mathrm{\xce\xb3}:[0,1]\xe2\u2020\u2019X connecting them. For t\xe2\u02c6\u02c6[0,1] the intermediate points {\mathrm{\xce\xb3}}_{t} depend continuously on the endpoints {x}_{0}, {x}_{1}. Finally, for any z\xe2\u02c6\u02c6X,
Corollary 14 [13]
Let (X,d) be a global NPC space, \mathrm{\xce\xb3},\mathrm{\xce\xb7}:[0,1]\xe2\u2020\u2019X be geodesics and t\xe2\u02c6\u02c6[0,1]. Then
and
Corollary 14 shows that the distance function (x,y)\xe2\u2020\xa6d(x,y) in a global NPC space is convex with respect to both variables. Consequently, all balls in a global NPC space are convex.
Example 15 Every Hilbert space is a global NPC space.
Example 16 Every metric tree is a global NPC space.
Example 17 A Riemannian manifold is a global NPC space if and only if it is complete, simply connected, and of nonpositive curvature.
More details about global NPC spaces can be found in [13â€“16].
We need the following notations in the sequel. Let (X,d) be a metric space and A, B be nonempty subsets of X. Define
Given C a nonempty subset of X, the metric projection {P}_{C}:X\xe2\u2020\u2019{2}^{C} is the mapping
where {2}^{C} denotes the set of all subsets of C.
Definition 18 [9]
Let A, B be nonempty convex subsets of a geodesic metric space. A mapping T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB is said to be affine if
for all x,y\xe2\u02c6\u02c6A or x,y\xe2\u02c6\u02c6B and \mathrm{\xce\xbb}\xe2\u02c6\u02c6(0,1).
Definition 19 [8]
Let X be a metric space. A subset C of X is called approximatively compact if for any y\xe2\u02c6\u02c6X and for any sequence \{{x}_{n}\} in C such that d({x}_{n},y)\xe2\u2020\u2019dist(y,C) as n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}, \{{x}_{n}\} has a subsequence which converges to a point in C.
In [13], Sturm presented the following result which ensures the existence and uniqueness of the metric projection on a global NPC space.
Proposition 20

(i)
For each closed convex set C in a global NPC space (X,d), there exists a unique map {P}_{C}:X\xe2\u2020\u2019C (projection onto C) such that
d({P}_{C}(x),x)=\underset{y\xe2\u02c6\u02c6C}{inf}d(x,y)\phantom{\rule{1em}{0ex}}\mathit{\text{for every}}\phantom{\rule{0.1em}{0ex}}x\xe2\u02c6\u02c6X; 
(ii)
{P}_{C} is orthogonal in the sense that
{d}^{2}(x,y)\xe2\u2030\yen {d}^{2}(x,{P}_{C}(x))+{d}^{2}({P}_{C}(x),y)
for every x\xe2\u02c6\u02c6X, y\xe2\u02c6\u02c6C;

(iii)
{P}_{C} is nonexpansive,
d({P}_{C}(x),{P}_{C}(z))\xe2\u2030\xa4d(x,z)\phantom{\rule{1em}{0ex}}\mathit{\text{for every}}\phantom{\rule{0.1em}{0ex}}x,z\xe2\u02c6\u02c6X.
Remark 21 Note that the existence of a unique metric projection does not need the compactness of C.
Remark 22 [13]
For any subset A of a global NPC space (X,d), there exists a unique smallest convex set \mathit{co}(A)={\xe2\u2039\u0192}_{n=0}^{\mathrm{\xe2\u02c6\u017e}}{A}_{n}, containing A and called convex hull of A. Where {A}_{0}=A, and for n\xe2\u02c6\u02c6\mathbb{N}, the set {A}_{n} consists of all points in global NPC space X which lie on geodesics which start and end in {A}_{n\xe2\u02c6\u20191}.
Based on Proposition 20, Niculescu and Roventa [17] proved the Schauder fixed point theorem in the setting of a global NPC space.
Theorem 23 Let C be a closed convex subset of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Then every continuous map T:C\xe2\u2020\u2019C, whose image T(C) is relatively compact, has a fixed point.
3 Main results
In this section, we will prove the existence of best proximity points for a relatively ucontinuous mapping. Also, we obtain a result on the existence of common best proximity points for a family of not necessarily commuting relatively ucontinuous mappings.
Proposition 24 Let A, B be nonempty subsets of a metric space X with {A}_{0}\xe2\u2030\mathrm{\xe2\u02c6\dots} and T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively ucontinuous mapping. Then T({A}_{0})\xe2\u0160\u2020{B}_{0} and T({B}_{0})\xe2\u0160\u2020{A}_{0}.
Proof Choose x\xe2\u02c6\u02c6{A}_{0}, then there exists y\xe2\u02c6\u02c6B such that d(x,y)=dist(A,B). But T is a relatively ucontinuous mapping, then for each \mathrm{\xce\mu}>0, there exists a \mathrm{\xce\xb4}>0 such that
for each p\xe2\u02c6\u02c6A, q\xe2\u02c6\u02c6B. Since d(x,y)<\mathrm{\xce\xb4}+dist(A,B) for any \mathrm{\xce\xb4}>0, hence
for each \mathrm{\xce\mu}>0. Therefore, d(Tx,Ty)=dist(A,B) and then T(x)\xe2\u02c6\u02c6{B}_{0}. This shows that T({A}_{0})\xe2\u0160\u2020{B}_{0}. Similarly, it can be seen that T({B}_{0})\xe2\u0160\u2020{A}_{0}.â€ƒâ–¡
Proposition 25 Let A, B be nonempty closed convex subsets of a global NPC space X with {A}_{0}\xe2\u2030\mathrm{\xe2\u02c6\dots}, T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively ucontinuous mapping, and P:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a mapping defined by
Then TP(x)=P(Tx) for all x\xe2\u02c6\u02c6{A}_{0}\xe2\u02c6\xaa{B}_{0}, i.e., {P}_{A}(T(x))=T({P}_{B}(x)) for x\xe2\u02c6\u02c6{A}_{0} and T({P}_{A}(y))={P}_{B}(T(y)) for y\xe2\u02c6\u02c6{B}_{0}.
Proof Choose x\xe2\u02c6\u02c6{A}_{0}, then there exists y\xe2\u02c6\u02c6B such that d(x,y)=dist(A,B). According to Proposition 20, since the metric projection is unique, we have y={P}_{B}(x) and x={P}_{A}(y). Recalling that T is relatively ucontinuous, therefore, as in the proof of Proposition 24, d(Tx,Ty)=dist(A,B). Thus, it follows that T(x)\xe2\u02c6\u02c6{B}_{0} and T(y)\xe2\u02c6\u02c6{A}_{0}. Again, in view of the uniqueness of the projection operator, we have
So, {P}_{A}(T(x))=T({P}_{B}(x)) for any x\xe2\u02c6\u02c6{A}_{0}. Similarly, it can be shown that T({P}_{A}(y))={P}_{B}(T(y)) for any y\xe2\u02c6\u02c6{B}_{0}.â€ƒâ–¡
By an analogous argument to the proof of Theorem 3.1 [8], we can prove the following theorem.
Theorem 26 Let A, B be two nonempty subsets of a global NPC space X such that A is closed convex and B is closed. If {A}_{0} is approximatively compact and \{{x}_{n}\} is a sequence in {A}_{0}, and y\xe2\u02c6\u02c6B such that d({x}_{n},y)\xe2\u2020\u2019dist(A,B), then {x}_{n}\xe2\u2020\u2019{P}_{A}(y).
Proof Assume the contrary, then there exists \mathrm{\xce\mu}>0 and a subsequence \{{x}_{{n}_{m}}\} of \{{x}_{n}\} such that
Since {A}_{0} is approximatively compact, there exists a subsequence \{{x}_{{n}_{m}^{\mathrm{\xe2\u20ac\xb2}}}\} of \{{x}_{{n}_{m}}\} which converges to a point x\xe2\u02c6\u02c6A. Hence,
Also,
Thus, d(x,y)=dist(A,B). By Proposition 20, it follows that x={P}_{A}(y). Finally, we obtain
which implies that x\xe2\u2030{P}_{A}(y). This leads to a contradiction and therefore {x}_{n}\xe2\u2020\u2019{P}_{A}(y).â€ƒâ–¡
The following theorem guarantees the existence of best proximity points for a relatively ucontinuous mapping in a global NPC space.
Theorem 27 Let A, B be nonempty closed convex subsets of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Let {A}_{0}, {B}_{0} be nonempty compact convex and T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively ucontinuous mapping. Then there exist {x}_{0}\xe2\u02c6\u02c6A, {y}_{0}\xe2\u02c6\u02c6B such that
Proof By Proposition 24, since T is a relatively ucontinuous mapping, we have T({A}_{0})\xe2\u0160\u2020{B}_{0} and T({B}_{0})\xe2\u0160\u2020{A}_{0}. The result follows from Theorem 23 once we show that {P}_{A}\xe2\u02c6\u02dcT:{A}_{0}\xe2\u2020\u2019{A}_{0} is a continuous mapping, where {P}_{A}:X\xe2\u2020\u2019A is a metric projection operator.
To prove this, first notice that {P}_{A}({B}_{0})\xe2\u0160\u2020{A}_{0}. Since X is a global NPC space, by Proposition 20, we obtain that {P}_{A}:X\xe2\u2020\u2019A is a continuous mapping. In what follows, we see that the mapping T is continuous on {A}_{0}, In fact, let \{{x}_{n}\} be a sequence in {A}_{0} such that {x}_{n}\xe2\u2020\u2019{x}_{0} for some {x}_{0}\xe2\u02c6\u02c6{A}_{0}. From Proposition 25, we have
Notice that
as n\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}. Since T is relatively ucontinuous, for each \mathrm{\xce\mu}>0, there exists a \mathrm{\xce\xb4}>0 such that d(x,y)<\mathrm{\xce\xb4}+dist(A,B) implies d(Tx,Ty)<\mathrm{\xce\mu}+dist(A,B) for all x\xe2\u02c6\u02c6A, y\xe2\u02c6\u02c6B. From (3.1), with this \mathrm{\xce\xb4}>0, it follows that there is N\xe2\u02c6\u02c6\mathbb{N} such that d({x}_{n},{P}_{B}({x}_{0}))<\mathrm{\xce\xb4}+dist(A,B) for all n\xe2\u2030\yen N. This implies
for all n\xe2\u2030\yen N. Therefore,
This together with Theorem 26 implies that T{x}_{n}\xe2\u2020\u2019{P}_{B}({P}_{A}(T{x}_{0}))=T{x}_{0}. Thus, T is continuous on {A}_{0}.
Now, since {P}_{A}\xe2\u02c6\u02dcT is a continuous mapping of {A}_{0}, by the Schauder fixed point theorem for a global NPC space, Theorem 23, {P}_{A}\xe2\u02c6\u02dcT has a fixed point {x}_{0}\xe2\u02c6\u02c6{A}_{0}. From {P}_{A}(T{x}_{0})={x}_{0}, we find that d({x}_{0},T{x}_{0})=dist(T{x}_{0},A). But since T{x}_{0}\xe2\u02c6\u02c6{B}_{0}, there is {x}^{\mathrm{\xe2\u20ac\xb2}}\xe2\u02c6\u02c6{A}_{0} such that d({x}^{\mathrm{\xe2\u20ac\xb2}},T{x}_{0})=dist(A,B). Consequently,
which gives
Thus, d({x}_{0},T{x}_{0})=dist(A,B). This completes the proof.â€ƒâ–¡
Next, we will show that Theorem 27 is also true for an appropriate family of relatively ucontinuous mappings. The following notations define the set of all best proximity points of a relatively ucontinuous mapping:
Theorem 28 Let A, B be nonempty closed convex subsets of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Let {A}_{0}, {B}_{0} be nonempty compact convex and T:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be a relatively ucontinuous mapping. Let T be affine. Then {F}_{A}(T) is a nonempty compact convex subset of {A}_{0} and {F}_{B}(T) is a nonempty compact convex subset of {B}_{0}.
Proof It is obvious that {F}_{A}(T) is a nonempty subset of {A}_{0} by Theorem 27. Assume that \{{x}_{n}\} is a sequence in {F}_{A}(T) such that {x}_{n}\xe2\u2020\u2019{x}_{0} for some {x}_{0}\xe2\u02c6\u02c6{A}_{0}. By the continuity of T on {A}_{0}, we have {x}_{0}\xe2\u02c6\u02c6{F}_{A}(T). Therefore, {F}_{A}(T) is closed and then compact. Now we claim that {F}_{A}(T) is convex. In fact, let \mathrm{\xce\xbb}\xe2\u02c6\u02c6[0,1], {x}_{1}, {x}_{2}\xe2\u02c6\u02c6{F}_{A}(T), and z=(1\xe2\u02c6\u2019\mathrm{\xce\xbb}){x}_{1}+\mathrm{\xce\xbb}{x}_{2}. Since the distance function d is convex with respect to both variables, by Corollary 14, we have
This implies that d(z,Tz)=dist(A,B), i.e., z\xe2\u02c6\u02c6{F}_{A}(T). Therefore, {F}_{A}(T) is convex. Similarly, it can be shown that {F}_{B}(T) is a nonempty compact convex subset of {B}_{0}.â€ƒâ–¡
Lemma 29 Let A, B be nonempty closed convex subsets of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Let {A}_{0}, {B}_{0} be nonempty compact convex and T,S:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be relatively ucontinuous mappings such that S and T are commuting on {F}_{A}(T)\xe2\u02c6\xaa{F}_{B}(T). Then S({F}_{A}(T))\xe2\u0160\u2020{F}_{B}(T) and S({F}_{B}(T))\xe2\u0160\u2020{F}_{A}(T).
Proof For each x\xe2\u02c6\u02c6{F}_{A}(T), we have d(x,Tx)=dist(A,B). Since S is a relatively ucontinuous mapping, then for \mathrm{\xce\xb4}>0,
for each \mathrm{\xce\mu}>0. Therefore, d(S(x),S(Tx))=dist(A,B). The commutativity for S and T on {F}_{A}(T) implies that d(S(x),T(Sx))=dist(A,B). Thus, we deduce that Sx\xe2\u02c6\u02c6{F}_{B}(T). This shows that S({F}_{A}(T))\xe2\u0160\u2020{F}_{B}(T). Also, we can prove that S({F}_{B}(T))\xe2\u0160\u2020{F}_{A}(T).â€ƒâ–¡
Now, we define a new class of mappings called cyclic Banach pairs.
Definition 30 Let A, B be nonempty subsets of a metric space (X,d) and let T,S:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be mappings. The pair \{S,T\} is called a cyclic Banach pair if S({F}_{A}(T))\xe2\u0160\u2020{F}_{B}(T) and S({F}_{B}(T))\xe2\u0160\u2020{F}_{A}(T).
The following is an example of a pair of noncommuting mappings that are relatively ucontinuous and that are a cyclic Banach pair.
Example 31 Let X={\mathbb{R}}^{2} with the Euclidean metric and consider (as in [18])
Let T,S:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be defined as
Then T and S are relatively ucontinuous mappings. Since
T and S are noncommuting mappings. Also, dist(A,B)=1. It is easy to verify that
and
Therefore, \{S,T\} is a cyclic Banach pair.
The following theorem proves that two relatively ucontinuous mappings which are not necessarily commuting have common best proximity points.
Theorem 32 Let A, B be nonempty closed convex subsets of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Let {A}_{0}, {B}_{0} be nonempty compact convex and T,S:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB be affine relatively ucontinuous mappings. If \{S,T\} is a cyclic Banach pair, then {F}_{A}(T)\xe2\u02c6\copyright {F}_{A}(S)\xe2\u2030\mathrm{\xe2\u02c6\dots}.
Proof By Theorem 28, {F}_{A}(T) is a nonempty compact convex subset of {A}_{0} and {F}_{B}(T) is a nonempty compact convex subset of {B}_{0}. For each x\xe2\u02c6\u02c6{F}_{A}(T), we have
which implies that dist({F}_{A}(T),{F}_{B}(T))=dist(A,B). By the definition of cyclic Banach pairs S:{F}_{A}(T)\xe2\u02c6\xaa{F}_{B}(T)\xe2\u2020\u2019{F}_{A}(T)\xe2\u02c6\xaa{F}_{B}(T). Since \{S,T\} is a cyclic Banach pair and since for each \mathrm{\xce\mu}>0 there exists a \mathrm{\xce\xb4}>0 such that
for all x\xe2\u02c6\u02c6{F}_{A}(T), y\xe2\u02c6\u02c6{F}_{B}(T), hence S is a relatively ucontinuous mapping on {F}_{A}(T)\xe2\u02c6\xaa{F}_{B}(T). The conditions of Theorem 27 are satisfied, so there exists {x}_{0}\xe2\u02c6\u02c6{F}_{A}(T) such that
Thus, {x}_{0}\xe2\u02c6\u02c6{F}_{A}(S). This implies that {F}_{A}(T)\xe2\u02c6\copyright {F}_{A}(S)\xe2\u2030\mathrm{\xe2\u02c6\dots}.â€ƒâ–¡
Next, we will extend Theorem 32 to the case of a countable family of not necessarily commuting relatively ucontinuous mappings. Let \mathrm{\xce\copyright}=\{{T}_{i}:i\xe2\u02c6\u02c6\mathbb{N}\} be a family of relatively ucontinuous mappings. Define
for each i=1,\xe2\u20ac\xa6,n.
Definition 33 Let A, B be nonempty subsets of a metric space (X,d) and let T,S:A\xe2\u02c6\xaaB\xe2\u2020\u2019A\xe2\u02c6\xaaB. The pair \{S,T\} is called a symmetric cyclic Banach pair if \{S,T\} and \{T,S\} are cyclic Banach pairs, that is, S({F}_{A}(T))\xe2\u0160\u2020{F}_{B}(T), S({F}_{B}(T))\xe2\u0160\u2020{F}_{A}(T), T({F}_{A}(S))\xe2\u0160\u2020{F}_{B}(S) and T({F}_{B}(S))\xe2\u0160\u2020{F}_{A}(S).
Theorem 34 Let A, B be nonempty closed convex subsets of a global NPC space X with the property that the closed convex hull of every finite subset of X is compact. Let {A}_{0}, {B}_{0} be nonempty compact convex and Î© a countable family of affine relatively ucontinuous mappings such that \{{T}_{i},{T}_{j}\} is a symmetric cyclic Banach pair for each i,j\xe2\u02c6\u02c6\mathbb{N}. Then Î© has a common best proximity in A.
Proof First, we prove that {F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2})\xe2\u02c6\copyright {F}_{A}({T}_{3})\xe2\u2030\mathrm{\xe2\u02c6\dots}. By an analogous argument to the proof of Theorem 32, {F}_{A}({T}_{i}) is a nonempty compact convex subset of {A}_{0}, {F}_{B}({T}_{i}) is a nonempty compact convex subset of {B}_{0} and dist({F}_{A}({T}_{i}),{F}_{B}({T}_{i}))=dist(A,B), for i=1,2,3. So, we have {F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2}) and {F}_{B}({T}_{1})\xe2\u02c6\copyright {F}_{B}({T}_{2}) are nonempty compact convex with
Suppose that {T}_{3} is a mapping on ({F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2}))\xe2\u02c6\xaa({F}_{B}({T}_{1})\xe2\u02c6\copyright {F}_{B}({T}_{2})). Since both of \{{T}_{3},{T}_{1}\} and \{{T}_{3},{T}_{2}\} are cyclic Banach pairs, {T}_{3} is a relatively ucontinuous mapping on ({F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2}))\xe2\u02c6\xaa({F}_{B}({T}_{1})\xe2\u02c6\copyright {F}_{B}({T}_{2})). From Theorem 27, {T}_{3} has a best proximity point z\xe2\u02c6\u02c6{F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2}). This shows that {F}_{A}({T}_{1})\xe2\u02c6\copyright {F}_{A}({T}_{2})\xe2\u02c6\copyright {F}_{A}({T}_{3})\xe2\u2030\mathrm{\xe2\u02c6\dots}.
By induction, for a finite symmetric cyclic Banach family {\mathrm{\xce\copyright}}^{\mathrm{\xe2\u20ac\xb2}}=\{{T}_{1},{T}_{2},\xe2\u20ac\xa6,{T}_{n}\} of affine relatively ucontinuous mappings, there exists {x}_{0}\xe2\u02c6\u02c6{\xe2\u2039\u201a}_{i=1}^{n}{F}_{A}({T}_{i}).
Now, let \mathrm{\xce\copyright}=\{{T}_{i}:i\xe2\u02c6\u02c6\mathbb{N}\}. For each {T}_{i}, {F}_{A}({T}_{i}) is a nonempty compact convex of {A}_{0}, and for i=1,\xe2\u20ac\xa6,n, we have
This shows that the set \{{F}_{A}({T}_{i}):i\xe2\u02c6\u02c6\mathbb{N}\} has a finite intersection property. Thus, we have
i.e., Î“ has a common best proximity point in A.â€ƒâ–¡
References
Fan K: Extensions of two fixed point theorems of F. E. Browder. Math. Z. 1969, 122: 234â€“240.
Eldred AA, Kirk WA, Veeramani P: Proximal normal structure and relatively nonexpansive mappings. Stud. Math. 2005, 171(3):283â€“293. 10.4064/sm17135
Eldred AA, Veeramani P: Existence and convergence of best proximity points. J. Math. Anal. Appl. 2006, 323(2):1001â€“1006. 10.1016/j.jmaa.2005.10.081
Anuradha J, Veeramani P: Proximal pointwise contraction. Topol. Appl. 2009, 156(18):2942â€“2948. 10.1016/j.topol.2009.01.017
AlThagafi MA, Shahzad N: Convergence and existence results for best proximity points. Nonlinear Anal. 2009, 70: 3665â€“3671. 10.1016/j.na.2008.07.022
Markin J, Shahzad N: Best approximation theorems for nonexpansive and condensing mappings in hyperconvex spaces. Nonlinear Anal. 2009, 70(6):2435â€“2441. 10.1016/j.na.2008.03.045
Vetro C: Best proximity points: convergence and existence theorems for p cyclic mappings. Nonlinear Anal. 2010, 73: 2283â€“2291. 10.1016/j.na.2010.06.008
Sankar Raj V, Veeramani P: Best proximity pair theorems for relatively nonexpansive mappings. Appl. Gen. Topol. 2009, 10(1):21â€“28.
Eldred AA, Sankar Raj V, Veeramani P: On best proximity pair theorems for relatively ucontinuous mappings. Nonlinear Anal. 2011, 74: 3870â€“3875. 10.1016/j.na.2011.02.021
FernÃ¡ndezLeÃ³n A: Existence and uniqueness of best proximity points in geodesic metric spaces. Nonlinear Anal. 2010, 73: 915â€“921. 10.1016/j.na.2010.04.005
Bridson MR, Haefliger A: Metric Spaces of NonPositive Curvature. Springer, Berlin; 1999.
Papadopoulus A: Metric Spaces, Convexity and Nonpositive Curvature. European Math. Soc., Zurich; 2005.
Sturm, KT: Probability measures on metric spaces of nonpositive curvature. In: Auscher, P, Coulhon, T, Grigorâ€™yan, A (eds.) Heat Kernels and Analysis on Manifolds, Graphs, and Metric Spaces. Lecture Notes from a Quarter Program on Heat Kernels, Random Walks, and Analysis on Manifolds and Graphs. Paris, France. Contemporary Mathematics, vol. 338, pp. 357390 (2003)
Ballmann W DMV Seminar 25. In Lectures in Spaces of Nonpositive Curvature. BirkhÃ¤user, Basel; 2005.
Jost J Lectures in Mathematics ETH Zurich. In Nonpositive Curvature: Geometric and Analytic Aspects. BirkhÃ¤user, Basel; 1997.
Niculescu CP, Roventa I: Fanâ€™s inequality in geodesic spaces. Appl. Math. Lett. 2009, 22: 1529â€“1533. 10.1016/j.aml.2009.03.020
Niculescu CP, Roventa I: Schauder fixed point theorem in spaces with global nonpositive curvature. Fixed Point Theory Appl. 2009., 2009: Article ID 906727
Sankar Raj V: A best proximity point theorem for weakly contractive nonselfmappings. Nonlinear Anal. 2011, 74: 4804â€“4808. 10.1016/j.na.2011.04.052
Acknowledgements
This work was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant No. (3843D1432). The authors, therefore, acknowledge DSR with thanks for technical and financial support. The authors are in debt to the anonymous reviewers whose comments helped improve the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authorsâ€™ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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.
About this article
Cite this article
Alghamdi, M.A., Alghamdi, M.A. & Shahzad, N. Best proximity point results in geodesic metric spaces. Fixed Point Theory Appl 2012, 234 (2012). https://doi.org/10.1186/168718122012234
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718122012234