# A short note on the equivalence between ‘best proximity’ points and ‘fixed point’ results

## Abstract

In this short note, we notice that, unexpectedly, some existing fixed point results and recently announced best proximity point results are equivalent.

MSC:41A65, 90C30, 47H10.

## 1 Introduction and preliminaries

In 1973 Geraghty  introduced the class S of functions $\beta :\left[0,\mathrm{\infty }\right)\to \left[0,1\right)$ satisfying the following condition:

$\beta \left({t}_{n}\right)\to 1\phantom{\rule{1em}{0ex}}\text{implies}\phantom{\rule{1em}{0ex}}{t}_{n}\to 0.$
(1)

The author defined contraction mappings via functions from this class and proved the following result.

Theorem 1.1 (Geraghty )

Let $\left(X,d\right)$ be a complete metric space and $T:X\to X$ be an operator. If T satisfies the following inequality:

(2)

where $\beta \in S$, then T has a unique fixed point.

Theorem 1.1 was generalized in several ways, see e.g. . Recently, Caballero et al.  introduced the following contraction.

Definition 1.1 ()

Let A, B be two nonempty subsets of a metric space $\left(X,d\right)$. A mapping $T:A\to B$ is said to be a Geraghty-contraction if there exists $\beta \in S$ such that

(3)

For the sake of completeness, we recall some basic definitions and fundamental results.

Let $\left(X,d\right)$ be a metric space and $\left(A,B\right)$ a pair of nonempty subsets of X. We consider the following notations:

Through this paper, denotes the set of natural numbers.

In , Sadiq Basha introduced the following concept.

Definition 1.2 We say that B is approximatively compact with respect to A if and only if every sequence $\left\{{y}_{n}\right\}\subset B$ satisfying the condition that ${lim}_{n\to \mathrm{\infty }}d\left(x,{y}_{n}\right)=d\left(x,B\right)$ for some x in A, has a convergent subsequence.

Definition 1.3 A mapping $g:A\to A$ is called an isometry if

$d\left(gx,gy\right)=d\left(x,y\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }\left(x,y\right)\in A×A.$

Definition 1.4 (see e.g. )

Given a mapping $T:A\to B$ and an isometry $g:A\to A$, the mapping T is said to preserve the isometric distance with respect to g if and only if

$d\left(T\left(gx\right),T\left(gy\right)\right)=d\left(Tx,Ty\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }\left(x,y\right)\in A×A.$

Denote by Ξ the set of functions $\phi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ satisfying the following conditions:

1. (I)

φ is continuous and nondecreasing;

2. (II)

$\phi \left(0\right)=0$;

3. (III)

${lim}_{t\to \mathrm{\infty }}\phi \left(t\right)=\mathrm{\infty }$.

The following notions were introduced by Sadiq Basha .

Definition 1.5 A mapping $T:A\to B$ is said to be a generalized proximal contraction of the first kind if and only if

$\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}d\left(u,v\right)\le d\left(x,y\right)-\phi \left(d\left(x,y\right)\right),$

where $x,y,u,v\in A$ and $\phi \in \mathrm{\Xi }$.

Definition 1.6 A mapping $T:A\to B$ is said to be a generalized proximal contraction of the second kind if and only if

$\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}d\left(Tu,Tv\right)\le d\left(Tx,Ty\right)-\phi \left(d\left(Tx,Ty\right)\right),$

where $x,y,u,v\in A$ and $\phi \in \mathrm{\Xi }$.

Inspired by these definitions, Amini-Harandi  introduced the following definition.

Denote by Ψ the set of functions $\psi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ satisfying the following conditions:

1. (I)

ψ is continuous and nondecreasing;

2. (II)

$\psi \left(0\right)=0$;

3. (III)

$t\le \psi \left(t\right)$ for each $t\ge 0$.

Definition 1.7 A mapping $T:A\to B$ is said to be a generalized Geraghty proximal contraction of the first kind if and only if

$\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}\psi \left(d\left(u,v\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),$

where $x,y,u,v\in A$ and $\psi \in \mathrm{\Psi }$, $\beta \in S$.

Definition 1.8 A mapping $T:A\to B$ is said to be a generalized Geraghty proximal contraction of the second kind if and only if

$\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}d\left(Tu,Tv\right)\le \beta \left(d\left(Tx,Ty\right)\right)\psi \left(d\left(Tx,Ty\right)\right),$

where $x,y,u,v\in A$ and $\psi \in \mathrm{\Psi }$, $\beta \in S$.

The main result in  is the following.

Theorem 1.2 Let A and B be two nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}\ne \mathrm{\varnothing }$, ${B}_{0}\ne \mathrm{\varnothing }$ and B is approximatively compact with respect to A. Suppose that the mappings $g:A\to A$ and $T:A\to B$ satisfy the following conditions:

1. (i)

T is a generalized Geraghty proximal contraction of the first kind;

2. (ii)

$T\left({A}_{0}\right)\subseteq {B}_{0}$;

3. (iii)

g is an isometry;

4. (iv)

${A}_{0}\subseteq g\left({A}_{0}\right)$.

Then there exists a unique element ${x}^{\ast }\in A$ such that

$d\left(g{x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right).$

Further, for any fixed element ${x}_{0}\in {A}_{0}$, the iterative sequence $\left\{{x}_{n}\right\}\subset {A}_{0}$, defined by

$d\left(g{x}_{n+1},T{x}_{n}\right)=d\left(A,B\right),$

converges to ${x}^{\ast }$.

In this manuscript, we shall show that Theorem 1.2 is a particular case of existing fixed point theorems in the literature. Hence, the main result of  is not a real generalization.

## 2 Some useful results

Denote by Φ the set of functions $\varphi :\left[0,\mathrm{\infty }\right)\to \left[0,\mathrm{\infty }\right)$ satisfying the following conditions:

1. (I)

ϕ is continuous and nondecreasing;

2. (II)

$\varphi \left(t\right)=0$ if and only if $t=0$.

First we show that we get the more general form of the main result in  by replacing the class of distance functions Ψ by Φ in Definition 1.7.

Theorem 2.1 Let A and B be two nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}\ne \mathrm{\varnothing }$, ${B}_{0}\ne \mathrm{\varnothing }$, and B is approximatively compact with respect to A. Suppose that the mappings $g:A\to A$ and $T:A\to B$ satisfy the following conditions:

1. (i)
$\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}\psi \left(d\left(u,v\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),$

where $x,y,u,v\in A$ and $\psi \in \mathrm{\Phi }$, $\beta \in S$.

1. (ii)

$T\left({A}_{0}\right)\subseteq {B}_{0}$;

2. (iii)

g is an isometry;

3. (iv)

${A}_{0}\subseteq g\left({A}_{0}\right)$.

Then there exists a unique element ${x}^{\ast }\in A$ such that

$d\left(g{x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right).$

Further, for any fixed element ${x}_{0}\in {A}_{0}$, the iterative sequence $\left\{{x}_{n}\right\}\subset {A}_{0}$, defined by

$d\left(g{x}_{n+1},T{x}_{n}\right)=d\left(A,B\right),$

converges to ${x}^{\ast }$.

Proof By following the lines in the proof of Theorem 3.1 in the paper of Amini-Harandi , we conclude that

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},{x}_{n+1}\right)=0.$
(4)

It is sufficient to prove that $\left\{{x}_{n}\right\}$ is a Cauchy sequence.

Suppose, on the contrary, that $\left\{{x}_{n}\right\}$ is not a Cauchy sequence. Then there exists $\epsilon >0$ for which we can find subsequences $\left\{{x}_{m\left(k\right)}\right\}$ and $\left\{{x}_{n\left(k\right)}\right\}$ of $\left\{{x}_{n}\right\}$ such that $n\left(k\right)>m\left(k\right)>k$ and

$d\left({x}_{m\left(k\right)},{x}_{n\left(k\right)}\right)\ge \epsilon .$
(5)

Furthermore, we can choose $n\left(k\right)$, associated with $m\left(k\right)$, is the smallest integer which satisfies $n\left(k\right)>m\left(k\right)>k$ and (5). Consequently, we have

$d\left({x}_{m\left(k\right)},{x}_{n\left(k\right)-1}\right)<\epsilon .$
(6)

Due to Lemma 2.4, we conclude that

$\underset{k\to \mathrm{\infty }}{lim}d\left({x}_{m\left(k\right)},{x}_{n\left(k\right)}\right)=\underset{k\to \mathrm{\infty }}{lim}d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)=\epsilon .$
(7)

So, we obtain

$\begin{array}{rl}\psi \left(d\left({x}_{m\left(k\right)},{x}_{n\left(k\right)}\right)\right)& =\psi \left(d\left(T{x}_{m\left(k-1\right)},T{x}_{n\left(k-1\right)}\right)\right)\\ \le \beta \left(d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)\right)\psi \left(d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)\right)\\ \le \psi \left(d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)\right).\end{array}$
(8)

Letting $k\to \mathrm{\infty }$ in the inequality above, we get

$\psi \left(\epsilon \right)\le \beta \left(d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)\right)\psi \left(\epsilon \right)\le \psi \left(\epsilon \right),$

since ψ is continuous and (7) holds. Due to the property of ψ, $\psi \left(\epsilon \right)>0$, we derive

$\underset{k\to \mathrm{\infty }}{lim}\beta \left(d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)\right)=1$
(9)

from the last inequality above. Since $\beta \in S$, we conclude that

$\underset{k\to \mathrm{\infty }}{lim}d\left({x}_{m\left(k-1\right)},{x}_{n\left(k\right)-1}\right)=0.$
(10)

Due to (7) we get $\epsilon =0$, a contradiction. Hence, $\left\{{x}_{n}\right\}$ is Cauchy.

The rest follows from the corresponding lines in the proof of Theorem 3.1 in the paper of Amini-Harandi . □

The following theorem is due to .

Theorem 2.2 Let $\left(X,d\right)$ be a complete metric space and $T:X\to X$ be an operator. If T satisfies the following inequality:

(11)

where $\beta \in S$ and $\psi \in \mathrm{\Phi }$, then T has a unique fixed point.

The following concept was introduced by Ćirić in .

Definition 2.1 Let $\left(X,d\right)$ be a metric space and $f:X\to X$ be a self-mapping. We say that X is f-orbitally complete if and only if for any $x\in X$, if $\left\{{f}^{n}x\right\}$ is a Cauchy sequence, then it converges to some element in X.

It is evident that in Theorem 2.2, the notion of completeness of the metric space $\left(X,d\right)$ can be replaced by the notion of f-orbitally completeness. Consequently, we derive the following fixed point result.

Lemma 2.1 (cf. )

Let $\left(X,d\right)$ be a f-orbitally complete metric space, where $f:X\to X$ is a self-mapping satisfying the following condition:

$\psi \left(d\left(fx,fy\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }\left(x,y\right)\in X×X,$
(12)

where $\psi \in \mathrm{\Psi }$, $\beta \in S$. Then f has a unique fixed point ${x}^{\ast }\in X$. Moreover, for any $x\in X$, the sequence $\left\{{f}^{n}x\right\}$ converges to ${x}^{\ast }$.

Regarding the analogy with the proof of Lemma 2.2 in .

Lemma 2.2 (cf. )

Let $\left(A,B\right)$ be a pair of closed subsets of a metric space $\left(X,d\right)$. Suppose that the following conditions hold:

1. (i)

${A}_{0}\ne \mathrm{\varnothing }$;

2. (ii)

B is approximatively compact with respect to A.

Then the set ${A}_{0}$ is closed.

Lemma 2.3 (cf. )

Let A and B be nonempty subsets of a metric space $\left(X,d\right)$ such that ${A}_{0}\ne \mathrm{\varnothing }$. Suppose that the mappings $g:A\to A$ and $T:A\to B$ satisfy the following conditions:

1. (i)

T is a generalized Geraghty-proximal contraction of the first kind;

2. (ii)

$T\left({A}_{0}\right)\subseteq {B}_{0}$;

3. (iii)

g is an isometry;

4. (iv)

${A}_{0}\subseteq g\left({A}_{0}\right)$.

Then there exists a self-mapping $f:{A}_{0}\to {A}_{0}$ satisfying the condition:

$d\left(Tx,g\left(fx\right)\right)=d\left(A,B\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }x\in {A}_{0}.$
(13)

Regarding the analogy with the proof of Lemma 2.4 in .

Lemma 2.4 ()

Let $\left(X,d\right)$ be a metric space and let $\left({x}_{n}\right)$ be a sequence in X such that $\left(d\left({x}_{n+1},{x}_{n}\right)\right)$ is non-increasing and

$\underset{n\to +\mathrm{\infty }}{lim}d\left({x}_{n+1},{x}_{n}\right)=0.$

If $\left({x}_{n}\right)$ is not a Cauchy sequence, then there exist $\epsilon >0$ and two sequences $\left({m}_{k}\right)$ and $\left({n}_{k}\right)$ of positive integers such that ${m}_{k}>{n}_{k}\ge k$ and the following four sequences tend to ε when $k\to +\mathrm{\infty }$:

$\left(d\left({x}_{{m}_{k}},{x}_{{n}_{k}}\right)\right),\phantom{\rule{2em}{0ex}}\left(d\left({x}_{{n}_{k}},{x}_{{m}_{k}+1}\right)\right),\phantom{\rule{2em}{0ex}}\left(d\left({x}_{{m}_{k}},{x}_{{n}_{k}+1}\right)\right),\phantom{\rule{2em}{0ex}}\left(d\left({x}_{{m}_{k}+1},{x}_{{n}_{k}+1}\right)\right).$

## 3 Main results

Theorem 3.1 Theorem  2.1 is a consequence of Theorem  2.2.

Proof Suppose that all the assumptions of Theorem 1.2 are satisfied. From Lemma 2.3, there exists a self-mapping $f:{A}_{0}\to {A}_{0}$ satisfying (13). Then, for all $\left(x,y\right)\in {A}_{0}×{A}_{0}$, we have

$\left\{\begin{array}{l}d\left(g\left(fx\right),Tx\right)=d\left(A,B\right),\\ d\left(g\left(fy\right),Ty\right)=d\left(A,B\right).\end{array}$

Since T is a generalized Geraghty-proximal contraction of the first kind and g is an isometry, we obtain

$\psi \left(d\left(fx,fy\right)\right)=\psi \left(d\left(g\left(fx\right),g\left(fy\right)\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),$

for every pair $\left(x,y\right)\in {A}_{0}×{A}_{0}$. Thus f satisfies inequality (11).

Since $\left(X,d\right)$ is complete, $\left({A}_{0},d\right)$ is also complete. From Theorem 2.2, the self-mapping $h:{A}_{0}\to {A}_{0}$ has a unique fixed point ${x}^{\ast }\in {A}_{0}$.

Note that from (13), since T is a generalized Geraghty-proximal contraction of the first kind and g is an isometry, we have ${x}^{\ast }\in {A}_{0}$ is a fixed point of f if and only if ${x}^{\ast }\in A$ and $d\left(g{x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$. Then there exists a unique ${x}^{\ast }\in {A}_{0}$ such that $d\left(g{x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right)$. Now, let $a\in {A}_{0}$ be an arbitrary point. Consider a sequence $\left\{{a}_{n}\right\}\subset {A}_{0}$ satisfying

$d\left(g{a}_{n+1},T{a}_{n}\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$

Since T is a generalized Geraghty-proximal contraction of the first kind and g is an isometry, it follows from (13) that

${a}_{n+1}=f{a}_{n},\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$

From Lemma 2.1, we have

$\underset{n\to \mathrm{\infty }}{lim}d\left({a}_{n},{x}^{\ast }\right)=0.$

This ends the proof. □

## 4 Consequences

Theorem 4.1 Let A and B be two nonempty closed subsets of a complete metric space $\left(X,d\right)$ such that ${A}_{0}\ne \mathrm{\varnothing }$ and ${B}_{0}\ne \mathrm{\varnothing }$. Suppose that the mappings $g:A\to A$ and $T:A\to B$ satisfy the following conditions:

1. (i)

T is a generalized Geraghty proximal contraction of the first and second kind,

$\begin{array}{c}\begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}\psi \left(d\left(u,v\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),\hfill \\ \begin{array}{r}d\left(u,Tx\right)=d\left(A,B\right)\\ d\left(v,Ty\right)=d\left(A,B\right)\end{array}\right\}\phantom{\rule{1em}{0ex}}⟹\phantom{\rule{1em}{0ex}}d\left(Tu,Tv\right)\le \beta \left(d\left(Tx,Ty\right)\right)\psi \left(d\left(Tx,Ty\right)\right),\hfill \end{array}$

where $x,y,u,v\in A$ and $\psi \in \mathrm{\Phi }$, $\beta \in S$;

1. (ii)

$T\left({A}_{0}\right)\subseteq {B}_{0}$;

2. (iii)

g is an isometry;

3. (iv)

${A}_{0}\subseteq g\left({A}_{0}\right)$.

Then there exists a unique element ${x}^{\ast }\in A$ such that

$d\left(g{x}^{\ast },T{x}^{\ast }\right)=d\left(A,B\right).$

Further, for any fixed element ${x}_{0}\in {A}_{0}$, the iterative sequence $\left\{{x}_{n}\right\}\subset {A}_{0}$, defined by

$d\left(g{x}_{n+1},T{x}_{n}\right)=d\left(A,B\right),$

converges to ${x}^{\ast }$.

Theorem 4.2 Theorem  4.1 is a consequence of Lemma  2.1.

Proof Suppose that all the assumptions of Theorem 4.1 are satisfied. From Lemma 2.3, there exists a self-mapping $f:{A}_{0}\to {A}_{0}$ satisfying (13). Then, for all $\left(x,y\right)\in {A}_{0}×{A}_{0}$, we have

$\left\{\begin{array}{l}d\left(g\left(fx\right),Tx\right)=d\left(A,B\right),\\ d\left(g\left(fy\right),Ty\right)=d\left(A,B\right).\end{array}$

Since T is a generalized Geraghty-proximal contraction of the first kind and g is an isometry, we obtain

$\psi \left(d\left(fx,fy\right)\right)=\psi \left(d\left(g\left(fx\right),g\left(fy\right)\right)\right)\le \beta \left(d\left(x,y\right)\right)\psi \left(d\left(x,y\right)\right),$

for every pair $\left(x,y\right)\in {A}_{0}×{A}_{0}$. Thus f satisfies inequality (11).

Now, we shall prove that $\left({A}_{0},d\right)$ is f-orbitally complete. Indeed, let ${x}_{0}\in {A}_{0}$ and consider the sequence $\left\{{x}_{n}\right\}\subset {A}_{0}$ defined by ${x}_{n}={f}^{n}{x}_{0}$ for all $n\in \mathbb{N}$. Suppose that $\left\{{x}_{n}\right\}$ is a Cauchy sequence, we have to prove that $\left\{{x}_{n}\right\}$ converges to some element in ${A}_{0}$. Since $\left(X,d\right)$ is complete and A is closed, there exists some $z\in A$ such that

$\underset{n\to \mathrm{\infty }}{lim}d\left({x}_{n},z\right)=0.$
(14)

By the definition of f, for all $n\in \mathbb{N}$, we have

$\left\{\begin{array}{l}d\left(g\left(f{x}_{n}\right),T{x}_{n}\right)=d\left(A,B\right),\\ d\left(g\left(f{x}_{n+1}\right),T{x}_{n+1}\right)=d\left(A,B\right),\end{array}$

which implies (since T is a generalized Geraghty-proximal contraction of the second kind) that

$\begin{array}{rl}\psi \left(d\left(T\left(g{x}_{n+1}\right),T\left(g{x}_{n+2}\right)\right)\right)& =\psi \left(d\left(T\left(g\left(f{x}_{n}\right)\right),T\left(g\left(f{x}_{n+1}\right)\right)\right)\right)\\ \le \beta \left(d\left(T{x}_{n},T{x}_{n+1}\right)\right)\psi \left(d\left(T{x}_{n},T{x}_{n+1}\right)\right),\end{array}$

for all $n\in \mathbb{N}$. Since T preserves the isometric distance with respect to g, we obtain

$\psi \left(d\left(T{x}_{n+1},T{x}_{n+2}\right)\right)\le \beta \left(d\left(T{x}_{n},T{x}_{n+1}\right)\right)\psi \left(d\left(T{x}_{n},T{x}_{n+1}\right)\right),\phantom{\rule{1em}{0ex}}\mathrm{\forall }n\in \mathbb{N}.$

Following the same lines as the proof of Theorem 3.1 in , one can show that $\left\{T{x}_{n}\right\}$ is a Cauchy sequence in the complete metric space $\left(X,d\right)$. Since B is closed, there exists some $b\in B$ such that

$\underset{n\to \mathrm{\infty }}{lim}d\left(T{x}_{n},b\right)=0.$
(15)

Now, using (14), (15), and the definition of f, we get

$d\left(A,B\right)=\underset{n\to \mathrm{\infty }}{lim}d\left(g\left(f{x}_{n}\right),T{x}_{n}\right)=\underset{n\to \mathrm{\infty }}{lim}d\left(g{x}_{n+1},T{x}_{n}\right)=d\left(gz,b\right).$

Note that since g is an isometry, it is continuous. Now, we have

$d\left(A,B\right)=d\left(gz,b\right),\phantom{\rule{1em}{0ex}}b\in B.$

This implies that $gz\in {A}_{0}$. On the other hand, since ${A}_{0}\subseteq g\left({A}_{0}\right)$ and g is an isometry, we obtain $z\in {A}_{0}$. Thus, we proved that ${A}_{0}$ is f-orbitally complete. Now, applying Lemma 2.1, we find that f has a unique fixed point ${x}^{\ast }\in {A}_{0}$.

The rest follows from the lines of the proof of Theorem 3.1. □

## References

1. Geraghty M: On contractive mappings. Proc. Am. Math. Soc. 1973, 40: 604–608. 10.1090/S0002-9939-1973-0334176-5

2. Caballero J, Harjani J, Sadarangani K: A best proximity point theorem for Geraghty-contractions. Fixed Point Theory Appl. 2012., 2012: Article ID 231

3. Amini-Harandi A: Best proximity points for proximal generalized contractions in metric spaces. Optim. Lett. 2013, 7: 913–921. 10.1007/s11590-012-0470-z

4. Bilgili N, Karapınar E, Sadarangani K: A generalization for the best proximity point of Geraghty-contractions. J. Inequal. Appl. 2013., 2013: Article ID 286

5. Karapınar E: On best proximity point of ψ -Geraghty contractions. Fixed Point Theory Appl. 2013., 2013: Article ID 200

6. Zhang J, Su Y, Cheng Q: A note on ‘A best proximity point theorem for Geraghty-contractions’. Fixed Point Theory Appl. 2013., 2013: Article ID 99

7. Jleli M, Samet B: Remarks on the paper: ‘Best proximity point theorems: An exploration of a common solution to approximation and optimization problems’. Appl. Math. Comput. 2014, 228: 366–370.

8. Sadiq Basha S: Extensions of Banach’s contraction principle. Numer. Funct. Anal. Optim. 2010,31(4–6):569–576.

9. Sadiq Basha S: Best proximity point theorems: an exploration of a common solution to approximation and optimization problems. Appl. Math. Comput. 2012, 218: 9773–9780. 10.1016/j.amc.2012.03.033

10. Caballero J, Harjani J, Sadarangani K: Contractive-like mapping principles in ordered metric spaces and application to ordinary differential equations. Fixed Point Theory Appl. 2010., 2010: Article ID 916064

11. Ćirić L: On contraction type mappings. Math. Balk. 1971, 1: 52–57.

12. Radenović S, Kadelburg Z, Jandrlić D, Jandrlić A: Some results on weak contraction maps. Bull. Iran. Math. Soc. 2012,38(3):625–645.

## Acknowledgements

The authors thank the Visiting Professor Programming at King Saud University for funding this work. The authors thank to anonymous referees for their remarkable comments, suggestion and ideas that helps to improve this paper.

## Author information

Authors

### Corresponding author

Correspondence to Erdal Karapınar.

### 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.

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions 