 Research
 Open Access
 Published:
Best proximity point results for Hardy–Rogers pproximal cyclic contraction in uniform spaces
Fixed Point Theory and Applicationsvolume 2018, Article number: 18 (2018)
Abstract
The Hardy–Rogers pproximal cyclic contraction, which includes the cyclic, Kannan, Chatterjea and Reich contractions as subclasses, is developed in uniform spaces. The existence and uniqueness results of best proximity points for these contractions are proved. The results, which are for nonself maps, apart from the fact that they are new in literature, generalise several other similar results in literature. Examples are given to validate the results obtained.
Introduction
There are several metrical fixed point theorems for selfmappings satisfying certain contractive type conditions. In each of these results, the authors consider sequences of iterates which, due to the contractive conditions, become Cauchy sequences whose limits are fixed points of the mappings. Research on the fixed points of contractive maps has become a centre of strong research activity for many researchers in mathematics. The reason being that the applications of fixed point theory play a basic role in various areas of mathematics. It provides a technique for solving a variety of applied problems in many branches of mathematics, see [8, 12, 18, 22, 27]. It now has applications in fields such as computer science, engineering, chemistry, biology, economics and statistics.
In 1922, Stefan Banach (1892–1945) popularised the research in metrical fixed point theory with the famous Banach contraction principle [4]. Since then, several authors have established fixed point results for numerous contraction mappings in metric spaces. Rhoades [29] made a comparison of different types of contraction mappings including Kannan [15], Chatterjea [7], Reich [28], Ciric [9], Zamfirescu [32] and Hardy and Rogers [13].
If the mapping under consideration is not a selfmapping, say \(T: A \rightarrow B\) where A, B are nonempty subsets of X, then T does not necessarily have a fixed point. It is therefore of interest to determine an element x called the best proximity point that is in some sense closest to Tx. The aim of the best proximity point theorem is to provide sufficient conditions to ascertain the existence of an optimal solution to the problem of globally minimising the error \(d(x,Tx)\), see [11]. Since \(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, satisfying the condition that \(d(x,Tx) =d(A,B)\), which is the optimal solution in the sense that \(d(x,Tx)\) is minimum. The best proximity point is a natural generalisation of fixed point for it reduces to a fixed point if the mapping under consideration is a selfmapping. The notion of best proximity point was introduced in [19].
Best proximity point theory of a cyclic contraction map has been studied by many authors. For results regarding cyclic contractive conditions when the intersection of the sets is nonempty, see [2, 16]. In [11], Eldred and Veeramani extended the cyclic contractive condition above to the case when \(A \cap B\) is empty and proved the existence of best proximity point. For further results in this area, see [3, 5, 17, 20, 23, 25, 26, 30].
Further improvement on the Banach contraction principle includes the use of uniform spaces rather than the metric spaces. One of the spaces in literature that generalises the metric space is the uniform space. Weil [31] was the first to introduce uniform spaces in terms of a family of pseudometrics, and Bourbaki [6] provided the definition of a uniform structure in terms of entourages.
Aamri and El Moutawakil [1] gave some results on a common fixed point of some contractive and expansive maps in uniform spaces and introduced the definitions of Adistance and Edistance. Also, Dhagat et al. [10] proved some common fixed point theorems for pairs of weakly and semicompatible mappings with the notation of Edistance in uniform spaces. Hussain et al. [14] applied the concept of cyclic \((\psi)\)contractions to establish certain fixed and common point theorems on a Hausdorff uniform space. But none of these authors have worked on Kannan, Chatterjea, Reich and Hardy–Rogers contractions in uniform spaces.
It is also interesting to note that all those results in uniform spaces are of selfmappings, but to the best of authors’ knowledge, few results of nonself mappings in uniform spaces exist in literature (see [24]).
In 2011, Basha [5] established some necessary and sufficient conditions for the existence of a best proximity point for proximal contraction which are analogues of nonself contractive mappings and also gave some best proximity and convergence theorems. But the authors are yet to popularise the results of best proximity point of proximal contractions in uniform spaces.
Furthermore, Karapinar and Erhan [16] introduced the Kannan, Chatterjea and Reich cyclic contractions and proved the fixed point theorems for these maps.
Also, Mihaela [20] introduced a new class of cyclic contractions, called the weak cyclic Kannan contractions, and gave sufficient conditions for the existence of a unique best proximity point of these maps. But to the best of the authors’ knowledge, no work has been extended to the best proximity points of Hardy–Rogers type mappings in uniform spaces.
Motivated by the results above, the authors introduce a modified class of Hardy–Rogers pproximal cyclic contractions in uniform spaces and establish the best proximity point results for this type of contractions in uniform spaces.
Methods
The source of the materials used in this study include past and current journal articles and text books. These relevant materials were obtained by searching through the Internet. The authors of these materials with wellknown results are internationally recognised experts in this area of study. The study includes the related works on fixed point and best proximity point theory. The maps, on the other hand, are used to obtain the existence of best proximity points of Hardy and Rogers pproximal cyclic contractive maps in uniform spaces. To show our results, modified and simpler methods are used.
Aim
The aim of this study is to extend the fixed point results for selfmaps in metric spaces to best proximity point results for nonself Hardy–Rogers pproximal cyclic contractive map in uniform spaces.
Preliminary
Here are some basic definitions and concepts relating to the main result of this paper.
A uniform space \((X, \Gamma)\) is a nonempty set equipped with a uniform structure, which is a family Γ of subsets of Cartesian product \(X \times X\), satisfying the following conditions:

(i)
If \(U \in\Gamma\), then U contains the diagonal \(\Delta=\{(x,x):x \in X\}\).

(ii)
If \(U \in\Gamma\), then \(U^{1}= \{(y,x):(x,y) \in U\}\) is also in Γ.

(iii)
If \(U,V \in\Gamma\), then \(U \cap V \in \Gamma\).

(iv)
If \(U \in\Gamma\) and \(V \subseteq X \times X\), which contains U, then \(V \in\Gamma\).

(v)
If \(U \in\Gamma\), then there exists \(V \in\Gamma\) such that whenever \((x,y)\) and \((y,z)\) are in V, then \((x,z)\) is in U.
Note that Γ is called the uniform structure or uniformity of X and its elements are called entourages, neighbourhoods, surroundings or vicinities, see [6].
A uniform structure Γ defines a unique topology \(\tau(\Gamma)\) on X for which the neighbourhoods of \(x \in X\) are the sets \(V(x)=\{y \in X :(x,y)\in V\}\), \(V \in\Gamma\).
We recall the following definitions in uniform spaces.
Definition 2.1
([1])
Let \((X, \Gamma)\) be a uniform space. A function \(p: X \times X \rightarrow R^{+}\) is said to be an

(a)
Adistance if, for any \(V \in\Gamma\), there exists \(\delta>0\) such that if \(p(z,x) \leq\delta\) and \(p(z,y) \leq\delta\) for some \(z \in X\), then \((x,y) \in V\);

(b)
Edistance if p is an Adistance and \(p(x,y) \leq p(x,z)+ p(z,y)\) for all \(x,y,z \in X\).
Definition 2.2
([1])
Let \((X, \Gamma)\) be a uniform space and p be an Adistance on X.

(a)
If \(V \in\Gamma\), \((x,y) \in V \) and \((y,x)\in V\), then x and y are said to be Vclose, and a sequence \(\{x_{n}\} \in X\) is a Cauchy sequence for Γ if, for any \(V \in\Gamma\), there exists \(N \ge1\) such that \(x_{n}\) and \(x_{m}\) are Vclose for \(n,m \ge N\).

(b)
A sequence in X is pCauchy if it satisfies the usual metric condition.

(c)
X is Scomplete if, for every pCauchy sequence \(\{x_{n}\}\), there exists \(x \in X\) such that \(\lim_{n \rightarrow\infty} p(x_{n},x)=0\). And X is pCauchy complete if, for every pCauchy sequence \(\{x_{n}\}\), there exists \(x \in X\) such that \(\lim_{n \rightarrow\infty} x_{n}=x\) with respect to \(\tau (\Gamma)\).

(d)
\(f:X \times X\) is pcontinuous if \(\lim_{n \rightarrow \infty} p(x_{n},x)=0\) implies \(\lim_{n \rightarrow\infty }p(f(x_{n}),f(x))=0\).

(e)
X is said to be pbounded if \(\delta_{p} (X) =\sup\{p(x,y) : x,y \in X \}< \infty\).
Definition 2.3
([1])
A uniform space \((X, \Gamma)\) is said to be Hausdorff if and only if the intersection of all \(V \in\Gamma\) reduces to the diagonal Δ of X. For example, \((x,y) \in V\) for all \(V \in\Gamma\) implies \(x=y\). This guarantees the uniqueness of the limits of the sequences.
The following lemma, which is true for selfmappings (see Lemma 2.4 [1]), can be proved for nonself mappings.
Lemma 2.4
Let \((X,\Gamma)\) be a Hausdorff uniform space and p be an Adistance on X. Let \(\{x_{n}\}^{ \infty}_{n=0}\), \(\{y_{n}\}^{ \infty}_{n=0}\) be arbitrary sequences in X and \(\{ \alpha_{n} \} ^{\infty}_{n=0}\), \(\{\beta_{n}\}^{\infty}_{n=0}\) be sequences in \(R^{+}\) converging to 0. Then, for all \(x,y,z \in X\), the following hold:

(a)
If \(p(x_{n},y) \leq\alpha_{n}\) and \(p(x_{n},z) \leq\beta_{n}\) \(\forall n \in N\), then \(y=z\). In particular, if \(p(x,y)=0\) and \(p(x,z)=0\), then \(y=z\).

(b)
If \(p(x_{n} ,y_{n})=p(A,B)\) and \(p(x_{n},z_{n}) =p(A,B)\), then \(y_{n}=z_{n}\), ∀n.

(c)
If \(p(x_{n},y_{n}) \leq\alpha_{n}\) and \(p(x_{n},z) \leq\beta_{n}\) \(\forall n \in N\), then \((y_{n})^{ \infty}_{n=0}\) converges to z.

(d)
If \(p(x_{n},x_{m}) \leq\alpha_{n}\) \(\forall m>n\), then \((x_{n})^{ \infty}_{n=0}\) is a pCauchy sequence in \((X,\Gamma)\).
Let A and B be nonempty subsets of a uniform space \((X, \Gamma)\). We adopt the following notations to the context of uniform spaces when p is an Edistance on X.

(i)
\(A_{0}= \{ x \in A: p(x,y)=p(A,B)\mbox{ for some }y\in B\}\).

(ii)
\(B_{0}= \{y \in B: p(x,y)=p(A,B)\mbox{ for some }x\in A\}\).

(iii)
Let \(T: A \rightarrow B\), a point \(x \in A \) is called a best proximity point if \(p(x,Tx)=p(A,B)\), where \(p(A,B)=\inf\{p(a,b): a\in A, b\in B\}\).
In another development, Kirk et al. [19] defined cyclic map and cyclic contraction: Let A and B be nonempty subsets of a metric space \((X, d)\) and \(T: A \cup B\rightarrow A \cup B\). T is called a cyclic map if

(i)
\(T(A) \subseteq B\) and \(T(B) \subseteq A\).
T is a cyclic contraction if, for some \(k \in[0,1)\),

(ii)
\(d(Tx,Ty) \leq kd(x,y) + (1k)d(A,B)\) \(\forall x \in A,y \in B\).
Also, Karapinar and Erhan [16] gave the following definitions of different types of cyclic contractions and proved the existence of unique fixed points for maps (i)–(iii) below.
Definition 2.5
Let \((X,d)\) be a metric space and A and B be nonempty subsets of X. A cyclic map \(T: A\cup B \rightarrow A\cup B\) is said to be a:

(i)
Kannan type cyclic contraction if there exists \(k\in(0,\frac{1}{2})\) such that
$$ d\bigl(T(x),T(y)\bigr) \leq k\bigl[d\bigl(x,T(x)\bigr)+d \bigl(y,T(y)\bigr)\bigr],\quad \forall x\in A, \forall y\in B. $$(2.1) 
(ii)
Chatterjea type cyclic contraction if there exists \(k\in(0,\frac{1}{2})\) such that
$$ d\bigl(T(x),T(y)\bigr) \leq k\bigl[d\bigl(x,T(y)\bigr)+d \bigl(y,T(x)\bigr)\bigr],\quad \forall x\in A, \forall y\in B. $$(2.2) 
(iii)
Reich type cyclic contraction if there exists \(k\in(0,\frac{1}{3})\) such that
$$ d\bigl(T(x),T(y)\bigr) \leq k\bigl[d(x,y)+d\bigl(x,T(x)\bigr)+d \bigl(y,T(y)\bigr)\bigr],\quad \forall x\in A, \forall y\in B. $$(2.3)
Also, Hardy and Rogers type cyclic contraction states that there exist nonnegative constants \(a_{i}\), \(i=1,2,3,4,5\), such that \(a_{1}+a_{2}+a_{3}+a_{4}+a_{5}<1\) satisfying
for all \(x\in A\) and \(y\in B\).
Furthermore, Eldred and Veramani [11] presented some results using Kannan type contractions when \(A \cap B= \emptyset\). In this case, they did not seek for the existence of a fixed point of T but for the existence of a best proximity point. Motivated by the results of Eldred and Veramani for the case \(A\cap B = \emptyset\), in this paper we present some best proximity point results for Hardy–Rogers pproximal cyclic contraction in uniform spaces which is an analogue of the Hardy and Rogers results in [13], and a unification and extension of cyclic contraction, Kannan, Chatterjea and Reich cyclic contractions for nonself maps in uniform spaces.
Below are the definitions of proximal contraction in [5] and proximal cyclic contraction in [21].
Definition 2.6
([5])
Let \((A,B)\) be a nonempty subset of a complete metric space \((X,d)\). A mapping \(T: A \rightarrow B\) is said to be a proximal contraction if there exists a nonnegative real number \(\alpha<1\) such that
for all \(u,x,v,y \in A\).
Definition 2.7
([21])
Suppose that \((A,B)\) is a nonempty subset of a complete metric space \((X,d)\), and let \(S:A \rightarrow B\) and \(T:B \rightarrow A\) be mappings. The pair \((S,T)\) is called a proximal cyclic contraction pair if there exists \(\alpha\in[0,1)\) such that
for all \(a,x \in A\) and \(b,y \in B\).
Basha [5] proved the following theorem.
Theorem 2.8
([5])
Suppose that A, B are two nonempty subsets of a complete metric space \((X,d)\). Let \(T:A \rightarrow B\) and \(T(A_{0})\) be nonempty and closed satisfying the following contractions:

(a)
T is a proximal contraction,

(b)
\(T(A_{0})\subseteq B_{0}\).
Then there exists a point \(x \in A\) such that \(d(x,T(x))= d(A,B)\). Moreover, if T is injective on A, then the point x such that \(d(x,T(x))= d(A,B)\) is unique.
Now, we introduce some analogues of Hardy and Rogers nonself proximal maps in uniform spaces.
Definition 2.9
Let \((A,B)\) be a pair of nonempty subsets of an Scomplete Hausdorff uniform space \((X, \Gamma)\) such that p is an Edistance on X. A mapping \(F: A \rightarrow B\) is said to be a Hardy–Rogers pproximal contraction if there exist nonnegative real constants U, V, C, D, W such that \(U+V+C+D+W<1\) and for all \(j, l, k, m \in A\),
Definition 2.10
Let \((A,B)\) be a pair of nonempty subsets of an Scomplete Hausdorff uniform space \((X, \Gamma)\) such that p is an Edistance on X. Suppose that \(F: A \rightarrow B\) and \(G: B \rightarrow A\) are mappings. The pair \((F,G)\) is said to be a Hardy–Rogers pproximal cyclic contraction if there exist nonnegative real constants U, V, C, D, W such that \(U+V+C+D+W<1\) and for all \(j, k \in A \) and \(l, m \in B\),
It is easy to see that a selfmapping that is a proximal Hardy–Rogers contraction is a Hardy and Rogers contraction. But a nonself pproximal Hardy–Rogers contraction is not necessarily a Hardy and Rogers contractive map. Also, (2.8) and (2.7) reduce to the Reich contraction map if \(A=B\), \(S=T\), \(D=W =0\), in (2.8) and (2.7). Furthermore, the contractive condition (2.7) reduces to (2.4) if the Edistance p is replaced with a metric d, in the sense that if we set \(\Gamma=\{(x,y) \in X^{2}:d(x,y)< \epsilon\}\) in (2.7), then we obtain (2.4).
The following definition is needed for our work.
Definition 2.11
Let A, B be two nonempty subsets of an Scomplete Hausdorff uniform space \((X, \Gamma)\). Suppose that \(S: A \rightarrow B\) and \(g: A \rightarrow A\) are isometry, the mapping S is said to preserve the isometric distance with respect to g if
Main results and discussion
This research is limited to mappings defined in uniform spaces. The study is theoretical and analytical based and centred on mappings satisfying contractive like conditions. However, applications to real life are not within the scope.
Now we state and prove the main results.
Theorem 3.1
Let \((X, \Gamma)\) be a Hausdorff uniform space and p an Edistance on X. Suppose that \((A,B)\) is a pair of nonempty closed subsets of the pbounded and Scomplete space \((X, \Gamma)\) such that \(A_{0}, B_{0} \ne\emptyset\). Let \(F:A \rightarrow B\), \(G:B \rightarrow A\) and \(h:A \cup B \rightarrow A \cup B\) satisfy the following conditions:

(i)
F and G are pproximal Hardy–Rogers contractions;

(ii)
h is an isometry;

(iii)
the pair \((F,G)\) is a pproximal Hardy–Rogers cyclic contraction (2.8);

(iv)
\(F(A_{0})\subseteq B_{0}\), \(G(B_{0})\subseteq A_{0}\);

(v)
\(A_{0} \subseteq h(A_{0})\) and \(B_{0} \subseteq h(B_{0})\).
Then there exist unique points \(x \in A\) and \(y \in B\) such that
Moreover, for any best proximity point \(x_{0} \in A_{0}\), the sequence \(\{ x_{n}\}\) defined by
converges to the element x.
Similarly, for any best proximity point \(y_{0} \in B_{0}\), the sequence \(\{y_{n}\}\) defined by
converges to the element y.
Proof
Let \(x_{0} \in A_{0}\), since \(A_{0} \ne\emptyset\) and \(F(A_{0}) \subseteq B_{0}\), there exists \(x_{1} \in A_{0}\) such that \(p(x_{1},F(x_{0}))=p(A,B)\). Also, since \(F(x_{1})\in B_{0}\), there exists \(x_{2} \in A_{0}\) such that \(p(x_{2}, F(x_{1}))=p(A,B)\). Furthermore, we obtain a sequence \(\{x_{n}\} \subset A_{0}\) such that \(p(x_{n+1},F(x_{n}))=p(A,B)\) \(\forall n \in N\). We show that \(\{x_{n}\}\) is a pCauchy complete sequence whose limit is the unique best proximity point of F. Since F is a pproximal Hardy–Rogers cyclic contraction, \(\forall n\in N\), we have
imply
Thus, by induction,
Since \(U+C+V+D+W< 1\), we have \(\lim_{n \rightarrow\infty} (U+C+V+D+W)^{n}=0\) and \(\sum_{n \rightarrow1}^{ \infty}(V+ W)^{n}= 1\).
Hence,
Also, since p is an Edistance, we have
Now, for \(\lambda\ge1\),
Let \(C_{n}=\sum_{t=0}^{n} \eta^{t} p(x_{0},x_{1})\), \(n\ge0\), then
Next, we show that \(\{x_{n}\}\) is pCauchy in the Scomplete space X, that is,
and
for any \(\lambda\ge1\).
Recall that
If there exists \(n_{0} \in N\) such that \(x_{n_{0}+1}=x_{n_{0}}\), we end the proof and \(x_{n_{0}}\) is the required best proximity point of F. Therefore, we assume that \(x_{n+1} \ne x_{n}\).
Suppose \(p(x_{0},x_{1}) >0\), now using inequality (3.2), we have
So, there exists \(C \in[0,\infty)\) such that \(\lim_{n\rightarrow\infty }C_{n}=C\).
Then, by (3.2),
Repeating the same argument, we obtain
So, the sequence \(\{ x_{n}\}\) is pCauchy in the Scomplete space \((X,\Gamma)\).
Hence, \(\{x_{n}\}\) converges to some element \(x \in A\). Similarly, since \(F(B_{0})\subseteq A_{0}\) and \(A_{0}\subseteq h(A_{0})\), there exists a sequence \(\{y_{n}\}\) such that it converges to some element \(y \in B\). Since the pair \((F,G)\) is a pproximal Hardy–Rogers cyclic contraction and h is isometry, by Lemma 2.4(b), we have
Then
where \(\mu=U+V+C+D+W\). Using Lemma 2.4(e) and taking limit as \(n \rightarrow\infty\) in (3.4) yields
Thus, \(x \in A_{0}\) and \(y \in B_{0}\). Since \(F(A_{0})\subseteq B_{0}\) and \(G(B_{0})\subseteq A_{0}\), there exist \(h(x) \in A\) and \(h(y) \in B\) such that
and
Thus, from (3.5) and (3.6), we get
Next, we prove the uniqueness of x and y. Suppose that there exist \(x^{*}\in A\) and \(y^{*} \in B\) with \(x \ne x^{*}\) and \(y \ne y^{*}\) such that
and
Since h is an isometry and F is a pproximal Hardy–Rogers cyclic contraction, using equations (3.6), (3.7) and Lemma 2.4(b), we have
\(p(x,x^{*}) \leq\frac{(\nu+1\mu)}{1U} p(A,B)=p(A,B)\) as \(\nu+1\mu =1U\), a contradiction, since \(p(A,B)< p(x,x^{*})\). Recall that \(\nu =V+C+D+W\) and \(\mu=U+V+C+D+W\).
Hence, \(p(x,x^{*})=0\). Similarly, we show that \(p(x^{*},x)=0\). But since p is an Edistance, we have
Therefore,
Now, we have \(p(x^{*}, x^{*})=0\) and \(p(x, x^{*})=0\). By Lemma 2.4(a), we conclude that \(x^{*}=x\). Similarly, \(y^{*}=y\). □
Finally, we give some examples to show that inequalities (2.7) and (2.8) are distinct from inequalities (2.5), (2.6) and Kannan proximal cyclic contractions, respectively. The following examples support Theorem 3.1.
Example 3.2
Consider the space \(X=R\) with Euclidean metric. Take the sets \(A=[8,2]\) and \(B=[2,8]\cup\{ 12\}\). Note that \(A_{0}={2}\), \(B_{0}={2}\). Clearly, \(d(A,B)=4\). Let \(F:A \rightarrow B\) and \(G:B \rightarrow A\) be defined by
Clearly, taking \(x_{1}=8\), \(x_{2}=2\), \(y_{1}=2 \) and \(y_{2}=7\), \(d(x_{1},F(x_{2}))=d(y_{1},G(y_{2})) =d(A,B)=4\). We show that the pair \((F,G)\) defined on a metric space is not a Hardy–Rogers proximal cyclic contraction. Clearly, by (2.8),
where \(\eta =U+V+C+D+W<1 \).
However,
a contradiction. For example, choose \(U=\frac{1}{30}\), \(V =\frac{1}{45}\), \(C=\frac{1}{18}\), \(D=\frac{1}{2}\), \(W=\frac{1}{5}\), clearly \(U+V+C+D+W <1\).
Thus, \((F,G)\) is not a Hardy–Rogers proximal cyclic contraction. Clearly, \((F,G)\) has no best proximity point since there is no \(x\in A\) and \(y \in B\) such that \(d(x,F(x))= d(y,G(y))=4\).
Now, we consider the case where \((F,G)\) is defined on a uniform space and \(X, A\) and B are defined as above.
Suppose that p is defined as follows:
We show that \((F,G)\), defined on a uniform space, is not a Reich proximal cyclic contraction
However,
A contradiction, since \((U+V+C)<1\). \((F,G)\) is not a Reich proximal cyclic contraction.
It is not difficult to see that \((F,G)\) satisfies the Hardy–Rogers pproximal cyclic contraction for all \(x \in A\) and \(y \in B\), and −2 is the unique best proximity point of F, while 2 is the unique best proximity point of G and \(p(A,B)=1\).
From the example, we see that:
Therefore, the Hardy–Rogers pproximal cyclic contraction is more general than the Hardy–Rogers cyclic contraction and the Reich proximal cyclic contractions.
Example 3.3
Consider the complete metric space \(R^{2}\) with the metric defined by
Let
Define the mapping \(F: A \rightarrow B\), \(G: B \rightarrow A\), \(h: A \cup B \rightarrow A\cup B\) as follows:
Then \(d(A,B)=5\), \(A_{0}=A\), \(B_{0}=B \) and the mapping h is isometry.
Now, we show that the pair \((F,G)\) defined on a complete metric space is not a proximal Hardy–Rogers cyclic contraction.
Let \((0,u), (0,x) \in A\) and \((0,v), (0,y) \in B\) satisfying
Then, we get \(u= \frac{5  x }{1+  x } \), \(v= \frac{5  y }{1+ y }\).
Also,
a contradiction.
Hence \((F,G) \) is not a proximal Hardy–Rogers cyclic contraction.
Now defining \((F,G)\) on a uniform space and letting
Then
is true for all \(x\in A\) and \(y \in B\).
\((F,G) \) is a Hardy–Rogers pproximal cyclic contraction and \((0,0) \in A\), \((5,0) \in B\) are the unique best proximity points such that
The following corollaries further show that our theorem extends many known results in literature.
Corollary 3.4
([20])
Let \((X,d)\) be a complete metric space. Suppose \(T: A\cup B \rightarrow A \cup B\) satisfies \(p(T(x),T(y)) \leq k d(x,y)+ (1k)d(A,B)\), \(k\in(0,1)\), then T has a unique best proximity point.
Proof
Set \(\Gamma=\{(x,y) \in X^{2}:d(x,y)< \epsilon\}\), and suppose \(F=G=T\), \(j=T(x)\), \(l=T(y)\) and \(V=C=D=W=0\) in inequality (2.8), then the result follows. □
Remarks
The result also follows when A and B are nonempty closed convex subsets of a uniformly convex space [11].
Corollary 3.5
([16])
Let \((X,d)\) be a metric space and A, B be two nonempty closed subsets of X. Let \(T:A\cup B \rightarrow A \cup B \) be a Reich type cyclic contraction, then T has a unique fixed point in \(A \cap B\).
Proof
The proof is complete by taking \(D=W=0\), \(U=V=C=k\), \(F=T\), \(j=T(x)\), \(l=T(y)\), \(p(A,B)=0\), and setting \(\Gamma=\{(x,y) \in X^{2}:d(x,y)< \epsilon\}\) in inequality (2.8). □
Corollary 3.6
([13])
Let \((X,d)\) be a complete metric space and A, B be two nonempty closed subsets of X. Let \(T:X \rightarrow X \) be a Hardy and Rogers contraction, that is, if there exist nonnegative constants \(a_{i}\) (\(i=1,2,3,4,5\)) such that \(a_{1}+a_{2}+a_{3}+a_{4}+a_{5}<1\) satisfying \(d(T(x),T(y)) \leq a_{1}d(x,y)+a_{2}d(x,T(x))+a_{3}d(y,T(y))+a_{4}d(x,T(y))+a_{5}d(y,T(x))\) for all \(x,y\in X\), then T has a unique fixed point.
Proof
The proof of this corollary follows by taking \(A=B\), \(F=G=T\) and setting \(\Gamma=\{(x,y) \in X^{2}:d(x,y)< \epsilon\}\) in inequality (2.7). □
Corollary 3.7
Let \((A,B)\) be a pair of nonempty subsets of an Scomplete Hausdorff uniform space \((X, \Gamma)\) such that p is an Edistance on X. Suppose that \(F: A \rightarrow B\) and \(G: B \rightarrow A\) are mappings satisfying one of the following conditions:

(a)
\((F,G)\) is a pproximal cyclic contraction;

(b)
\((F,G)\) is a Kannan pproximal cyclic contraction;

(c)
\((F,G)\) is a Chatterjea pproximal cyclic contraction;

(d)
\((F,G)\) is a Reich pproximal cyclic contraction.
Then there exists a unique point \(x\in A\) and \(y\in B\) such that \(p(x, F(x))= p(y, G(x))=p(A,B)\). Moreover, for any best proximity point \(x_{0} \in A_{0}\), the sequence \(\{x_{n}\}\) defined by \(p(x_{n+1}, F(x_{n}))=p(A,B)\) converges to the element x. Similarly, for any best proximity point \(y_{0} \in B_{0}\), the sequence \(\{ y_{n}\}\) defined by \(p(y_{n+1}, G(y_{n}))=p(A,B)\) converges to the element y.
Proof
Taking (a) \(V=C=D=W=0\) and \(j=T(x)\), \(l=T(y)\) in inequality (2.8), we obtain Corollary 3.7(a);
(b) \(C=D=W=0\) and \(j=T(x)\), \(l=T(y)\) in inequality (2.8), we obtain Corollary 3.7(b);
(c) \(U=V=C=0\) and \(j=T(x)\), \(l=T(y)\) in inequality (2.8), we obtain Corollary 3.7(c);
(d) \(D=W=0\) and \(j=T(x)\), \(l=T(y)\) in inequality (2.8), we obtain Corollary 3.7(d). □
Conclusion
In this work, we have investigated the best proximity point results for Hardy–Rogers pproximal cyclic contraction in uniform spaces. This provides a positive answer to the question of whether best proximity point results for Hardy and Rogers type mappings could be established in uniform spaces. We also gave corollaries and examples to show that the best proximity point results for Hardy and Rogers type mappings in literature become simple consequences of this result. We hope that the findings in this paper will help researchers enhance and promote the further studies on best proximity point of more maps in uniform spaces and other more general spaces to carry out a general framework for their applications in real life.
References
 1.
Aamri, M., El Moutawakil, D.: Common fixed point theorems for Econtractive or Eexpansive maps in uniform spaces. Acta Math. Acad. Paedagog. Nyházi. 20(1), 83–89 (2004) (electronic)
 2.
AminiHarandi, A.: Best proximity point theorem for cyclic strongly quasicontraction mappings. J. Glob. Optim. (2012). https://doi.org/10.1007/s1089801299539
 3.
AminiHarandi, A., Hussain, N., Akbar, F.: Best proximity point results for generalised contractions in metric spaces. Fixed Point Theory Appl. 2013, Article ID 164 (2013)
 4.
Banach, S.: Sur les operations dans les ensembles abstraits et leurs applications aux equations integrales. Fundam. Math. 3, 133–181 (1922)
 5.
Basha, S.S.: Best proximity points: optimal solution. J. Optim. Theory Appl. 151(1), 210–216 (2011)
 6.
Bourbaki, N.: Topologie generale, Chapitre 1: Structures topologiques, Chapitre 2: Structures uniformes, 4th edn. Actualites Scientifiques et Industrielles, vol. 1142. Hermann, Paris (1965)
 7.
Chatterjea, S.: Fixed points theorems. C. R. Acad. Bulgare Sci. 25, 727–730 (1972)
 8.
Cho, S., Bae, J., Karapinar, E.: Fixed point theorem of αGeraghty contractive maps in metric spaces. Fixed Point Theory Appl. (2013). https://doi.org/10.1186/168718122013329
 9.
Ciric, L.B.: Generalised contractions and fixedpoint theorems. Publ. Inst. Math. (Belgr.) 12(26), 19–26 (1971)
 10.
Dhagat, V.B., Singh, V., Nath, S.: Fixed point theorems in uniform space. Int. J. Math. Anal. 3(4), 197–202 (2009)
 11.
Eldred, A.A., Veeramani, P.: Existence and convergence of best proximity points. J. Math. Anal. Appl. 323(2), 1001–1006 (2006)
 12.
GnanaBhaskar, T., Lakshmikantham, V.: Fixed points theorem in partially ordered metric spaces and application. Nonlinear Anal. 65, 1379–1393 (2006)
 13.
Hardy, G., Rogers, T.: A generalisation of a fixed point theorem of Reich. Can. Math. Bull. 16, 201–206 (1973)
 14.
Hussain, N., Karapinar, E., Sedghi, S., Shobkolaei, N., Firouzian, S.: Cyclic \((\phi)\)contractions in uniform spaces and related fixed point results. Abstr. Appl. Anal. 2014, Article ID 976859 (2014)
 15.
Kannan, R.: Some results on fixed points. Bull. Calcutta Math. Soc. 10, 71–76 (1968)
 16.
Karapinar, E., Erhan, I.M.: Best proximity point on different type of contractions. Appl. Math. Inf. Sci. 5(3), 558–569 (2011)
 17.
Karpagam, S., Agrawal, S.: Best proximity point theorem for pcyclic Meir–Keeler contraction. Fixed Point Theory Appl. 2009, Article ID 197308 (2009)
 18.
Kiany, F., AminiHarandi, A.: Fixed point theory for generalised Ciric quasicontraction maps in metric spaces. Fixed Point Theory Appl. (2013). https://doi.org/10.1186/16871812201326
 19.
Kirk, W.A., Srinavasan, P.S., Veeramani, P.: Fixed points for mapping satisfying cyclical contractive conditions. Fixed Point Theory Appl. 4, 79–89 (2003)
 20.
Mihaela, A.P.: Best proximity point theorem for weak cyclic Kannan contractions. Filomat 25(1), 145–154 (2011)
 21.
Mongkolkeha, C., Cho, Y.J., Kumam, P.: Best proximity point for Geraghty’s proximal contraction mappings. Fixed Point Theory Appl. (2013). https://doi.org/10.1186/168718122013180
 22.
Olaleru, J.O.: Approximation of common fixed points of weakly compatible pairs using the Jungck iteration. Appl. Math. Comput. 217, 8425–8431 (2011)
 23.
Olaleru, J.O., Olisama, O.V., Abbas, M.: Coupled best proximity points for generalised Hardy–Rogers type cyclic \((\omega)\)contraction. Int. J. Math. Anal. Optim. 1, 33–54 (2015)
 24.
Olisama, V.O., Olaleru, J.O., Akewe, H.: Best proximity points results for some contractive mappings in uniform spaces. Int. J. Anal. 2017, Article ID 6173468 (2017)
 25.
Olisama, V.O., Olaleru, J.O., Olaoluwa, H.: Quadruple best proximity points of Qcyclic contraction pair in abstract metric spaces. Asian J. Math. Appl. 2015, Article ID ama0206 (2015)
 26.
Pragadeeswarar, V., Poonguzali, G., Marudai, M., Radenovic, S.: Common best proximity point theorem for multivalued mappings in partially ordered metric spaces. Fixed Point Theory Appl. (2017). https://doi.org/10.1186/s136630170615y
 27.
Raj, V.S.: A best proximity point theorem for weakly contractive nonself mappings. Nonlinear Anal., Theory Methods Appl. 74(14), 4804–4808 (2011)
 28.
Reich, S.: Some remarks concerning contraction mappings. Can. Math. Bull. 14, 121–124 (1971)
 29.
Rhoades, B.E.: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc. 226, 257–290 (1977)
 30.
Suzuki, T., Kikkawa, M., Vetro, C.: The existence of best proximity point in metric spaces with the property UC. Nonlinear Anal. 71, 2918–2926 (2009)
 31.
Weil, A.: Sur les espaces a structure uniforme et sur la topologie generale. Actualites Scientifiques et Industrielles, vol. 551. Hermann, Paris (1937)
 32.
Zamfirescu, T.: Fixed point theorems in metric spaces. Arch. Math. (Basel) 23, 292–298 (1972)
Acknowledgements
The authors wish to sincerely thank the referee for the useful comments leading to the improvement of this paper.
Availability of data and materials
Data sharing is not applicable to this research as no datasets was generated or analysed during the current study.
Funding
This article is funded by the authors.
Author information
Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Correspondence to Victoria O. Olisama.
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Abbreviations
Not applicable.
Declaration
This article is original and genuine research. The authors permit the editors to publish this article.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Received
Accepted
Published
DOI
MSC
 47H10
 54H25
Keywords
 Best proximity point
 Cyclic contraction
 Hardy–Rogers cyclic contraction
 pproximal contraction
 Uniform spaces