- Research
- Open Access

# Best proximity point results for generalized contractions in metric spaces

- Alireza Amini-Harandi
^{1}, - Nawab Hussain
^{2}and - Farhana Akbar
^{3}Email author

**2013**:164

https://doi.org/10.1186/1687-1812-2013-164

© Amini-Harandi et al.; licensee Springer. 2013

**Received:**9 May 2013**Accepted:**3 June 2013**Published:**25 June 2013

## Abstract

In this paper, we first introduce a cyclic generalized contraction map in metric spaces and give an existence result for a best proximity point of such mappings in the setting of a uniformly convex Banach space. Then we give an existence and uniqueness best proximity point theorem for non-self proximal generalized contractions. Moreover, an algorithm is exhibited to determine such a unique best proximity point. Some examples are also given to support our main results. Our results extend and improve certain recent results in the literature.

**MSC:** 46N40, 47H10, 54H25, 46T99.

## Keywords

- optimal solution
- best proximity point
- cyclic generalized contraction map
- proximal generalized contraction
- metric space
- uniformly convex Banach space

## Dedication

Dedicated to Professor Wataru Takahashi on the occasion of his seventieth birthday

## 1 Introduction and preliminaries

Fixed point theory is indispensable for solving various equations of the form $Tx=x$ for self-mappings *T* defined on subsets of metric spaces. Given nonempty subsets *A* and *B* of a metric space and a non-self mapping $T:A\to B$, the equation $Tx=x$ does not necessarily have a solution, which is known as a fixed point of the mapping *T*. However, in such circumstances, it may be speculated to determine an element *x* for which the error $d(x,Tx)$ is minimum, in which case *x* and *Tx* are in close proximity to each other. Best approximation theorems and best proximity point theorems are relevant in this perspective. One of the most interesting results in this direction is due to Fan [1] and can be stated as follows.

**Theorem F** *Let* *K* *be a nonempty compact convex subset of a normed space* *E* *and let* $T:K\to E$ *be a continuous non*-*self*-*mapping*. *Then there exists an* *x* *such that* $\parallel x-Tx\parallel =d(K,Tx)=inf\{\parallel Tx-u\parallel :u\in K\}$.

Many generalizations and extensions of this theorem appeared in the literature (see [2–6] and references therein).

On the other hand, though best approximation theorems ensure the existence of approximation solutions, such results need not yield optimal solutions. But, best proximity point theorems provide sufficient conditions that assure the existence of approximate solutions which are optimal as well. A best proximity point theorem furnishes sufficient conditions that ascertain the existence of an optimal solution to the problem of globally minimizing the error $d(x,Tx)$, and hence the existence of a consummate approximate solution to the equation $Tx=x$. Indeed, in view of the fact that $d(x,Tx)\ge d(A,B)$ for all *x*, a best proximity point theorem offers sufficient conditions for the existence of an element *x*, called a best proximity point of the mapping *T*, satisfying the condition that $d(x,Tx)=d(A,B)$. Further, it is interesting to observe that best proximity point theorems also emerge as a natural generalization of fixed point theorems for a best proximity point reduces to a fixed point if the mapping under consideration is a self-mapping. Best proximity point theory of cyclic contraction maps has been studied by many authors; see [7–15] and references therein. Investigation of several variants of contractions for the existence of a best proximity point can be found in [16–19]. Best proximity point theorems for multivalued mappings are available in [20, 21].

## 2 Best proximity points for cyclic generalized contractions

*A*and

*B*be nonempty subsets of a metric space $(X,d)$, $T:A\cup B\to A\cup B$, $T(A)\subseteq B$ and $T(B)\subseteq A$. We say that

- (a)
*T*is cyclic contraction [10] if$d(Tx,Ty)\le kd(x,y)+(1-k)d(A,B)\phantom{\rule{1em}{0ex}}\text{for all}x\in A,y\in B$for some $k\in [0,1)$, where$d(A,B)=inf\{d(x,y):x\in A,y\in B\}.$ - (b)
$x\in A\cup B$ is a best proximity point for

*T*if $d(x,Tx)=d(A,B)$.

We first introduce the following new class of cyclic generalized contraction maps.

**Definition 2.1**Let

*A*and

*B*be nonempty subsets of a metric space $(X,d)$. A map $T:A\cup B\to A\cup B$ is a cyclic generalized contraction map if $T(A)\subseteq B$, $T(B)\subseteq A$ and

for each $x\in A$ and $y\in B$, where $\alpha :[d(A,B),\mathrm{\infty})\to [0,1)$ satisfies ${lim\hspace{0.17em}sup}_{s\to {t}^{+}}\alpha (s)<1$ for each $t\in (d(A,B),\mathrm{\infty})$.

If $\alpha (t)=k$ for each $t\in [d(A,B),\mathrm{\infty})$, where $k\in [0,1)$ is constant, then *T* is a cyclic contraction.

*X*is said to be uniformly convex if there exists a strictly increasing function $\delta :(0,2]\to [0,1]$ such that the following implication holds for all ${x}_{1},{x}_{2},p\in X$, $R>0$ and $r\in [0,2R]$:

**Theorem 2.1** (Geraghty [22])

*Let*$(X,d)$

*be a complete metric space and let*$T:X\to X$

*be a map satisfying*

*where* $\alpha :[0,\mathrm{\infty})\to [0,1)$ *satisfies* ${lim\hspace{0.17em}sup}_{s\to {t}^{+}}\alpha (s)<1$ *for each* $t\in (0,\mathrm{\infty})$. *Then* *T* *has a fixed point*.

Now, we are ready to state our main result in this section.

**Theorem 2.2** *Let* *A* *and* *B* *be nonempty closed and convex subsets of a uniformly convex Banach space* *X* *and let* $T:A\cup B\to A\cup B$ *be a cyclic generalized contraction map*. *Then* *T* *has a best proximity point*.

*Proof*Suppose that $d(A,B)=0$, then the theorem follows from the above mentioned Geraghty fixed point theorem. Therefore, we may assume that $d(A,B)>0$. Let ${x}_{0}\in A$ and let ${x}_{n+1}=T{x}_{n}$ for each $n\in \mathbb{N}$. Then from (2.1) we have

*ϵ*such that

*X*that

*ϵ*and the fact that

*δ*is strictly increasing imply that

a contradiction. A similar argument shows $\parallel {x}_{2n+3}-{x}_{2n+1}\parallel \to 0$ as $n\to \mathrm{\infty}$. Hence, (2.7) and (2.8) hold.

a contradiction. Thus (2.12) holds.

*A*. To show the claim, we assume the contrary. Then there exists ${\u03f5}_{2}>0$ such that for each $k\ge 1$, there exist ${p}_{k}>{q}_{k}\ge k$ such that

*X*that

*ϵ*and the fact that

*δ*is strictly increasing, we have

*A*. Now the completeness of

*X*and the closedness of

*A*imply that

for each $n\in \mathbb{N}$, then from (2.21)-(2.23) we get $\parallel x-Tx\parallel =d(A,B)$. Therefore, *T* has a best proximity point. □

Now we illustrate our main result by the following example.

**Example 2.1** Consider the uniformly convex Banach space $X={\mathbb{R}}^{2}$ with Euclidean metric. Let $A:=\{(0,x):0\le x\}$ and $B:=\{(2,y):0\le y\}$. Then *A* and *B* are nonempty closed and convex subsets of *X* and $d(A,B)=2$.

*T*is a generalized cyclic contraction map with $\alpha (t)=\frac{1}{2}$ for $t\in [2,\mathrm{\infty})$. To show the claim, notice first that the function $f(t)=\sqrt{4+{t}^{2}}-2$, $t\in [0,\mathrm{\infty})$ is convex, $f(0)=0$ and so $f(\frac{t}{2})\le \frac{1}{2}f(t)$ for $t\in [0,\mathrm{\infty})$. For each $x,y\in [0,\mathrm{\infty})$, we have

Thus all of the hypotheses of Theorem 2.2 are satisfied and then *T* has a best proximity point ($(0,0)$ is a best proximity point of *T* in *A*).

Now we provide the following example to show that Theorem 2.2 is an essential extension of Theorem 3.10 of Eldred and Veeramani [10].

**Example 2.2** Consider the uniformly convex Banach space $X={\mathbb{R}}^{2}$ with Euclidean metric. Let $A:=\{(0,x):0\le x\}$ and $B:=\{(2,y):0\le y\}$. Then *A* and *B* are nonempty closed and convex subsets of *X* and $d(A,B)=2$.

*T*is not a cyclic contraction map. To show the claim, on the contrary, assume that there exists $k\in [0,1)$ such that

*T*is a cyclic generalized contraction, where $\alpha (t)=\frac{\sqrt{4+{(ln(1+\sqrt{{t}^{2}-4}))}^{2}}-2}{t-2}$ for $t\in (2,\mathrm{\infty})$. Notice first that the function $f(t)=ln(1+t):[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ is increasing and concave and so is subadditive, that is, $f(r+s)\le f(r)+f(s)$ for each $r,s\in [0,\mathrm{\infty})$. For each $x,y\in [0,\mathrm{\infty})$ with $x\ne y$, we have (note that for $x=y$ we have $d(T(0,x),T(2,y))=d((0,x),(2,y))=2=d(A,B)$ and so (2.1) trivially holds for $\alpha (2)=0$)

Thus all of the hypotheses of Theorem 2.2 are satisfied and then *T* has a best proximity point ($(0,0)$ is a best proximity point of *T* in *A*). But since *T* is not a cyclic contraction, we cannot invoke the main result of [10] to show the existence of the best proximity point for *T*.

## 3 Best proximity points for generalized contraction

*A*and

*B*of a metric space, we recall the following notations and notions, which will be used in the sequel.

The set *B* is said to be approximatively compact with respect to *A* if every sequence $\{{y}_{n}\}$ in *B*, satisfying the condition that $d(x,{y}_{n})\to d(x,B)$ for some *x* in *A*, has a convergent subsequence. It is trivial to note that every set is approximatively compact with respect to itself, and that every compact set *B* is approximatively compact with respect to *A*.

*A*,

To establish our results, we introduce the following new class of proximal contractions.

**Definition 3.1**Let $T:A\to B$, $g:A\to A$ be two maps. Let $\phi :[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ satisfy

*T*is said to be a $(\phi ,g)$-proximal contraction if

for all ${u}_{1}$, ${u}_{2}$, ${x}_{1}$, ${x}_{2}$ in *A*.

Now, we are ready to state our first main result in this section.

**Theorem 3.1**

*Let*

*A*

*and*

*B*

*be nonempty closed subsets of a complete metric space*$(X,d)$

*such that*

*B*

*is approximately compact with respect to*

*A*.

*Moreover*,

*assume that*${A}_{0}$

*and*${B}_{0}$

*are nonempty*.

*Let*$T:A\to B$

*and*$g:A\to A$

*satisfy the following conditions*.

- (a)
*T**is a*$(\phi ,g)$-*proximal contraction*, - (b)
$T({A}_{0})\subseteq {B}_{0}$,

- (c)
*g**is a one*-*to*-*one continuous map such that*${g}^{-1}:g(A)\to A$*is uniformly continuous*, - (d)
${A}_{0}\subseteq g({A}_{0})$.

*Then there exists a unique element* $x\in A$ *such that* $d(gx,Tx)=d(A,B)$. *Further*, *for any fixed element* ${x}_{0}\in {A}_{0}$, *the sequence* $\{{x}_{n}\}$ *defined by* $d(g{x}_{n+1},T{x}_{n})=d(A,B)$ *converges to* *x*.

*Proof*Let ${x}_{0}$ be a fixed element in ${A}_{0}$. Since $T({A}_{0})\subseteq {B}_{0}$ and ${A}_{0}\subseteq g({A}_{0})$, then there exists an element ${x}_{1}\in {A}_{0}$ such that $d(g{x}_{1},T{x}_{0})=d(A,B)$. Proceeding in this manner, having chosen ${x}_{n}\in {A}_{0}$, we can find ${x}_{n+1}\in {A}_{0}$ satisfying

*T*is a $(\phi ,g)$-proximal contraction, then from (3.1) we have

*X*is complete and $A\subseteq X$ is closed, there exists $x\in A$ such that ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$. Further, it can be noted

*g*is continuous and ${lim}_{n\to \mathrm{\infty}}{x}_{n}=x$, then ${lim}_{n\to \mathrm{\infty}}g{x}_{n}=gx$. Therefore from the above, $d(gx,T{x}_{n})\to d(gx,B)$ as $n\to \mathrm{\infty}$. Since

*B*is approximatively compact with respect to

*A*, it follows that the sequence $\{T{x}_{n}\}$ has a subsequence converging to some element $y\in B$. Thus $d(gx,y)=d(A,B)$ and hence $gx\in {A}_{0}$. Since ${A}_{0}\subseteq g({A}_{0})$, $gx=gu$ for some $u\in {A}_{0}$. Therefore $x=u\in {A}_{0}$. Since $T{A}_{0}\subseteq {B}_{0}$, then

which implies that $x={x}^{\ast}$. □

The following theorem, which is the main result of Sadiq Basha [18], is immediate.

**Theorem 3.2**

*Let*

*A*

*and*

*B*

*be nonempty closed subsets of a complete metric space*$(X,d)$

*such that*

*B*

*is approximately compact with respect to*

*A*.

*Moreover*,

*assume that*${A}_{0}$

*and*${B}_{0}$

*are nonempty*.

*Let*$T:A\to B$

*and*$g:A\to A$

*satisfy the following conditions*.

- (a)
*T**is a proximal contraction*, - (b)
$T({A}_{0})\subseteq {B}_{0}$,

- (c)
*g**is an isometry*, - (d)
${A}_{0}\subseteq g({A}_{0})$.

*Then there exists a unique element* $x\in A$ *such that* $d(gx,Tx)=d(A,B)$. *Further*, *for any fixed element* ${x}_{0}\in {A}_{0}$, *the sequence* $\{{x}_{n}\}$ *defined by* $d(g{x}_{n+1},T{x}_{n})=d(A,B)$ *converges to* *x*.

Now we illustrate our best proximity point theorem by the following example.

**Example 3.1** Consider the complete metric space $X=[0,1]\times [0,1]$ with Euclidean metric. Let $A:=\{(0,x):0\le x\le 1\}$ and $B=\{(1,y):0\le y\le 1\}$. Then $d(A,B)=1$, ${A}_{0}=A$ and ${B}_{0}=B$. Let $g:A\to A$ be defined as $g(0,x)=(0,\frac{2x}{1+x})$. Then *g* is a one-to-one continuous map, ${g}^{-1}:A\to A$ is uniformly continuous and $g({A}_{0})={A}_{0}$.

Let $T:A\to B$ be defined as $T(0,x)=(1,\frac{x}{4})$. Let $\phi (t)=\frac{t}{2}$ for each $t\ge 0$. Then it is easy to see that *T* is $(\phi ,g)$-proximal contraction. So, all the hypotheses of Theorem 3.1 are satisfied. Further, it is easy to see that $(0,0)$ is the unique element satisfying the conclusion of Theorem 3.1. However, we cannot invoke the above mentioned Theorem 3.2 of Sadiq Basha to show the existence of a best proximity point because *g* is not an isometry.

The following are immediate consequences of Theorem 3.1.

**Theorem 3.3**

*Let*

*A*

*and*

*B*

*be nonempty closed subsets of a complete metric space*$(X,d)$

*such that*

*B*

*is compact*.

*Moreover*,

*assume that*${B}_{0}$

*is nonempty*.

*Let*$T:A\to B$

*and*$g:A\to A$

*satisfy the following conditions*.

- (a)
*T**is a*$(\phi ,g)$-*proximal contraction*, - (b)
$T({A}_{0})\subseteq {B}_{0}$,

- (c)
*g**is a one*-*to*-*one continuous map such that*${g}^{-1}:g(A)\to A$*is uniformly continuous*, - (d)
${A}_{0}\subseteq g({A}_{0})$.

*Then there exists a unique element* $x\in A$ *such that* $d(gx,Tx)=d(A,B)$. *Further*, *for any fixed element* ${x}_{0}\in {A}_{0}$, *the sequence* $\{{x}_{n}\}$ *defined by* $d(g{x}_{n+1},T{x}_{n})=d(A,B)$ *converges to* *x*.

**Theorem 3.4**

*Let*$(X,d)$

*be a complete metric space and let*$T,\phantom{\rule{0.25em}{0ex}}g:X\to X$

*satisfy the following conditions*.

- (a)
*T**is a*$(\phi ,g)$-*contraction*, - (b)
$g:X\to X$

*is a one*-*to*-*one*,*onto continuous map such that*${g}^{-1}$*is uniformly continuous*.

*Then there exists a unique element* $x\in X$ *such that* $gx=Tx$, *that is*, $(T,g)$ *has a coincidence point* *x*. *Further*, *for any fixed element* ${x}_{0}\in X$, *the sequence* $\{{x}_{n}\}$ *defined by* $g{x}_{n+1}=T{x}_{n}$ *converges to* *x*.

**Theorem 3.5** *Let* $(X,d)$ *be a complete metric space and let* $T:X\to X$ *be a* *φ*-*contraction*. *Then* *T* *has a unique fixed point* $x\in X$. *Further*, *for any fixed element* ${x}_{0}\in X$, *the sequence* $\{{x}_{n}\}$ *defined by* ${x}_{n+1}=T{x}_{n}$ *converges to* *x*.

## Declarations

### Acknowledgements

This work was supported by the University of Shahrekord. The first author would like to express thanks for this support. The first author was also partially supported by the Center of Excellence for Mathematics, University of Shahrekord, Iran. This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The second author acknowledges with thanks DSR, KAU for financial support.

## Authors’ Affiliations

## References

- Fan K:
**Extensions of two fixed point theorems of F. E. Browder.***Math. Z.*1969, 112: 234–240. 10.1007/BF01110225MathSciNetView ArticleGoogle Scholar - Reich S:
**Approximate selections, best approximations, fixed points and invariant sets.***J. Math. Anal. Appl.*1978, 62: 104–113. 10.1016/0022-247X(78)90222-6MathSciNetView ArticleGoogle Scholar - Prolla JB:
**Fixed point theorems for set valued mappings and existence of best approximations.***Numer. Funct. Anal. Optim.*1982/1983, 5: 449–455.MathSciNetView ArticleGoogle Scholar - Hussain N, Khan AR, Agarwal RP:
**Krasnosel’skii and Ky Fan type fixed point theorems in ordered Banach spaces.***J. Nonlinear Convex Anal.*2010, 11(3):475–489.MathSciNetGoogle Scholar - Hussain N, Khan AR:
**Applications of the best approximation operator to ∗-nonexpansive maps in Hilbert spaces.***Numer. Funct. Anal. Optim.*2003, 24(3–4):327–338. 10.1081/NFA-120022926MathSciNetView ArticleGoogle Scholar - Takahashi W:
**Fan’s existence theorem for inequalities concerning convex functions and its applications.**In*Minimax Theory and Applications*. Edited by: Ricceri B, Simons S. Kluwer Academic, Dordrecht; 1998:597–602.Google Scholar - Amini-Harandi A:
**Best proximity points theorems for cyclic strongly quasi-contraction mappings.***J. Glob. Optim.*2012. 10.1007/s10898-012-9953-9Google Scholar - Karpagam S, Agrawal S: Best proximity point theorems for
*p***-cyclic Meir-Keeler contractions.***Fixed Point Theory Appl.*2009., 2009: Article ID 197308Google Scholar - Sadiq Basha S:
**Best proximity points: global optimal approximate solution.***J. Glob. Optim.*2011, 49: 15–21. 10.1007/s10898-009-9521-0MathSciNetView ArticleGoogle Scholar - Eldred AA, Veeramani P:
**Existence and convergence of best proximity points.***J. Math. Anal. Appl.*2006, 323: 1001–1006. 10.1016/j.jmaa.2005.10.081MathSciNetView ArticleGoogle Scholar - Suzuki T, Kikkawa M, Vetro C:
**The existence of best proximity points in metric spaces with the property UC.***Nonlinear Anal.*2009, 71: 2918–2926. 10.1016/j.na.2009.01.173MathSciNetView ArticleGoogle Scholar - Di Bari C, Suzuki T, Vetro C:
**Best proximity points for cyclic Meir-Keeler contractions.***Nonlinear Anal.*2008, 69: 3790–3794. 10.1016/j.na.2007.10.014MathSciNetView ArticleGoogle Scholar - Abkar A, Gabeleh M:
**Best proximity points for cyclic mappings in ordered metric spaces.***J. Optim. Theory Appl.*2011, 151: 418–424. 10.1007/s10957-011-9818-2MathSciNetView ArticleGoogle Scholar - Al-Thagafi MA, Shahzad N:
**Convergence and existence results for best proximity points.***Nonlinear Anal.*2009, 70: 3665–3671. 10.1016/j.na.2008.07.022MathSciNetView ArticleGoogle Scholar - Mongkolkeha C, Kumam P:
**Best proximity point theorems for generalized cyclic contractions in ordered metric spaces.***J. Optim. Theory Appl.*2012. 10.1007/s10957-012-9991-yGoogle Scholar - Amini-Harandi A:
**Best proximity points for proximal generalized contractions in metric spaces.***Optim. Lett.*2013. 10.1007/s11590-012-0470-zGoogle Scholar - Amini-Harandi A:
**Common best proximity points theorems in metric spaces.***Optim. Lett.*2012. 10.1007/s11590-012-0600-7Google Scholar - Sadiq Basha S:
**Best proximity points: optimal solutions.***J. Optim. Theory Appl.*2011, 151: 210–216. 10.1007/s10957-011-9869-4MathSciNetView ArticleGoogle Scholar - Abkar A, Gabeleh M:
**Best proximity points of non-self mappings.***Top*2013. 10.1007/s11750-012-0255-7Google Scholar - Kim WK, Kum S, Lee KH:
**On general best proximity pairs and equilibrium pairs in free abstract economies.***Nonlinear Anal.*2008, 68(8):2216–2227. 10.1016/j.na.2007.01.057MathSciNetView ArticleGoogle Scholar - Kirk WA, Reich S, Veeramani P:
**Proximinal retracts and best proximity pair theorems.***Numer. Funct. Anal. Optim.*2003, 24: 851–862. 10.1081/NFA-120026380MathSciNetView ArticleGoogle Scholar - Geraghty G:
**On contractive mappings.***Proc. Am. Math. Soc.*1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5MathSciNetView ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.