# Best proximity point results for Hardy–Rogers *p*-proximal cyclic contraction in uniform spaces

## Abstract

The Hardy–Rogers *p*-proximal cyclic contraction, which includes the cyclic, Kannan, Chatterjea and Reich contractions as sub-classes, is developed in uniform spaces. The existence and uniqueness results of best proximity points for these contractions are proved. The results, which are for non-self 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.

## Keywords

Best proximity point Cyclic contraction Hardy–Rogers cyclic contraction*p*-proximal contraction Uniform spaces

## MSC

47H10 54H25## 1 Introduction

There are several metrical fixed point theorems for self-mappings 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 self-mapping, 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 self-mapping. 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 *A*-distance and *E*-distance. Also, Dhagat et al. [10] proved some common fixed point theorems for pairs of weakly and semi-compatible mappings with the notation of *E*-distance 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 self-mappings, but to the best of authors’ knowledge, few results of non-self 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 non-self 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 *p*-proximal cyclic contractions in uniform spaces and establish the best proximity point results for this type of contractions in uniform spaces.

### 1.1 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 well-known 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 *p*-proximal cyclic contractive maps in uniform spaces. To show our results, modified and simpler methods are used.

#### 1.1.1 Aim

The aim of this study is to extend the fixed point results for self-maps in metric spaces to best proximity point results for non-self Hardy–Rogers *p*-proximal cyclic contractive map in uniform spaces.

## 2 Preliminary

Here are some basic definitions and concepts relating to the main result of this paper.

- (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*.

*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])

- (a)
*A*-distance 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)
*E*-distance if*p*is an*A*-distance and \(p(x,y) \leq p(x,z)+ p(z,y)\) for all \(x,y,z \in X\).

### Definition 2.2

([1])

*p*be an

*A*-distance on

*X*.

- (a)
If \(V \in\Gamma\), \((x,y) \in V \) and \((y,x)\in V\), then

*x*and*y*are said to be*V*-close, 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*V*-close for \(n,m \ge N\). - (b)
A sequence in

*X*is*p*-Cauchy if it satisfies the usual metric condition. - (c)
*X*is*S*-complete if, for every*p*-Cauchy sequence \(\{x_{n}\}\), there exists \(x \in X\) such that \(\lim_{n \rightarrow\infty} p(x_{n},x)=0\). And*X*is*p*-Cauchy complete if, for every*p*-Cauchy 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

*p*-continuous 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*p*-bounded 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 self-mappings (see Lemma 2.4 [1]), can be proved for non-self mappings.

### Lemma 2.4

*Let*\((X,\Gamma)\)

*be a Hausdorff uniform space and*

*p*

*be an*

*A*-

*distance 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**p*-*Cauchy sequence in*\((X,\Gamma)\).

*A*and

*B*be non-empty subsets of a uniform space \((X, \Gamma)\). We adopt the following notations to the context of uniform spaces when

*p*is an

*E*-distance 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\}\).

*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) + (1-k)d(A,B)\)\(\forall x \in A,y \in B\).

### Definition 2.5

*A*and

*B*be non-empty 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)

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 *p*-proximal 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 non-self maps in uniform spaces.

Below are the definitions of proximal contraction in [5] and proximal cyclic contraction in [21].

### Definition 2.6

([5])

### Definition 2.7

([21])

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 non-self proximal maps in uniform spaces.

### Definition 2.9

*S*-complete Hausdorff uniform space \((X, \Gamma)\) such that

*p*is an

*E*-distance on

*X*. A mapping \(F: A \rightarrow B\) is said to be a Hardy–Rogers

*p*-proximal contraction if there exist non-negative 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

*S*-complete Hausdorff uniform space \((X, \Gamma)\) such that

*p*is an

*E*-distance 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

*p*-proximal cyclic contraction if there exist non-negative 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 self-mapping that is a proximal Hardy–Rogers contraction is a Hardy and Rogers contraction. But a non-self *p*-proximal 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 *E*-distance *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

*A*,

*B*be two non-empty subsets of an

*S*-complete 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

## 3 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*

*E*-

*distance on*

*X*.

*Suppose that*\((A,B)\)

*is a pair of non*-

*empty closed subsets of the*

*p*-

*bounded and*

*S*-

*complete 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**p*-*proximal Hardy–Rogers contractions*; - (ii)
*h**is an isometry*; - (iii)
*the pair*\((F,G)\)*is a**p*-*proximal 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

*p*-Cauchy complete sequence whose limit is the unique best proximity point of

*F*. Since

*F*is a

*p*-proximal Hardy–Rogers cyclic contraction, \(\forall n\in N\), we have

*p*is an

*E*-distance, we have

*p*-Cauchy in the

*S*-complete space

*X*, that is,

*F*. Therefore, we assume that \(x_{n+1} \ne x_{n}\).

*p*-Cauchy in the

*S*-complete space \((X,\Gamma)\).

*p*-proximal Hardy–Rogers cyclic contraction and

*h*is isometry, by Lemma 2.4(b), we have

*x*and

*y*. Suppose that there exist \(x^{*}\in A\) and \(y^{*} \in B\) with \(x \ne x^{*}\) and \(y \ne y^{*}\) such that

*h*is an isometry and

*F*is a

*p*-proximal Hardy–Rogers cyclic contraction, using equations (3.6), (3.7) and Lemma 2.4(b), we have

*p*is an

*E*-distance, we have

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

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.

*p*is defined as follows:

It is not difficult to see that \((F,G)\) satisfies the Hardy–Rogers *p*-proximal 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\).

*p*-proximal cyclic contraction is more general than the Hardy–Rogers cyclic contraction and the Reich proximal cyclic contractions.

### Example 3.3

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

Hence \((F,G) \) is not a proximal Hardy–Rogers cyclic contraction.

*p*-proximal 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)+ (1-k)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 non*-*negative 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 non*-

*empty subsets of an*

*S*-

*complete Hausdorff uniform space*\((X, \Gamma)\)

*such that*

*p*

*is an*

*E*-

*distance 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**p*-*proximal cyclic contraction*; - (b)
\((F,G)\)

*is a Kannan**p*-*proximal cyclic contraction*; - (c)
\((F,G)\)

*is a Chatterjea**p*-*proximal cyclic contraction*; - (d)
\((F,G)\)

*is a Reich**p*-*proximal 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). □

## 4 Conclusion

In this work, we have investigated the best proximity point results for Hardy–Rogers *p*-proximal 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.

## Notes

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

### Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Funding

This article is funded by the authors.

### Competing interests

The authors declare that they have no competing interests.

## References

- 1.Aamri, M., El Moutawakil, D.: Common fixed point theorems for E-contractive or E-expansive maps in uniform spaces. Acta Math. Acad. Paedagog. Nyházi.
**20**(1), 83–89 (2004) (electronic) MathSciNetzbMATHGoogle Scholar - 2.Amini-Harandi, A.: Best proximity point theorem for cyclic strongly quasi-contraction mappings. J. Glob. Optim. (2012). https://doi.org/10.1007/s10898-012-9953-9 zbMATHGoogle Scholar
- 3.Amini-Harandi, A., Hussain, N., Akbar, F.: Best proximity point results for generalised contractions in metric spaces. Fixed Point Theory Appl.
**2013**, Article ID 164 (2013) CrossRefzbMATHGoogle Scholar - 4.Banach, S.: Sur les operations dans les ensembles abstraits et leurs applications aux equations integrales. Fundam. Math.
**3**, 133–181 (1922) CrossRefzbMATHGoogle Scholar - 5.Basha, S.S.: Best proximity points: optimal solution. J. Optim. Theory Appl.
**151**(1), 210–216 (2011) MathSciNetCrossRefzbMATHGoogle Scholar - 6.Bourbaki, N.: Topologie generale, Chapitre 1: Structures topologiques, Chapitre 2: Structures uniformes, 4th edn. Actualites Scientifiques et Industrielles, vol. 1142. Hermann, Paris (1965) Google Scholar
- 7.Chatterjea, S.: Fixed points theorems. C. R. Acad. Bulgare Sci.
**25**, 727–730 (1972) MathSciNetzbMATHGoogle Scholar - 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/1687-1812-2013-329 Google Scholar - 9.Ciric, L.B.: Generalised contractions and fixed-point theorems. Publ. Inst. Math. (Belgr.)
**12**(26), 19–26 (1971) zbMATHGoogle Scholar - 10.Dhagat, V.B., Singh, V., Nath, S.: Fixed point theorems in uniform space. Int. J. Math. Anal.
**3**(4), 197–202 (2009) MathSciNetzbMATHGoogle Scholar - 11.Eldred, A.A., Veeramani, P.: Existence and convergence of best proximity points. J. Math. Anal. Appl.
**323**(2), 1001–1006 (2006) MathSciNetCrossRefzbMATHGoogle Scholar - 12.Gnana-Bhaskar, T., Lakshmikantham, V.: Fixed points theorem in partially ordered metric spaces and application. Nonlinear Anal.
**65**, 1379–1393 (2006) MathSciNetCrossRefzbMATHGoogle Scholar - 13.Hardy, G., Rogers, T.: A generalisation of a fixed point theorem of Reich. Can. Math. Bull.
**16**, 201–206 (1973) CrossRefzbMATHGoogle Scholar - 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) MathSciNetGoogle Scholar - 15.Kannan, R.: Some results on fixed points. Bull. Calcutta Math. Soc.
**10**, 71–76 (1968) MathSciNetzbMATHGoogle Scholar - 16.Karapinar, E., Erhan, I.M.: Best proximity point on different type of contractions. Appl. Math. Inf. Sci.
**5**(3), 558–569 (2011) MathSciNetGoogle Scholar - 17.Karpagam, S., Agrawal, S.: Best proximity point theorem for
*p*-cyclic Meir–Keeler contraction. Fixed Point Theory Appl.**2009**, Article ID 197308 (2009) MathSciNetCrossRefzbMATHGoogle Scholar - 18.Kiany, F., Amini-Harandi, A.: Fixed point theory for generalised Ciric quasi-contraction maps in metric spaces. Fixed Point Theory Appl. (2013). https://doi.org/10.1186/1687-1812-2013-26 zbMATHGoogle Scholar
- 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) MathSciNetzbMATHGoogle Scholar - 20.Mihaela, A.P.: Best proximity point theorem for weak cyclic Kannan contractions. Filomat
**25**(1), 145–154 (2011) MathSciNetCrossRefzbMATHGoogle Scholar - 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/1687-1812-2013-180 MathSciNetzbMATHGoogle Scholar
- 22.Olaleru, J.O.: Approximation of common fixed points of weakly compatible pairs using the Jungck iteration. Appl. Math. Comput.
**217**, 8425–8431 (2011) MathSciNetzbMATHGoogle Scholar - 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) Google Scholar - 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) MathSciNetzbMATHGoogle Scholar - 25.Olisama, V.O., Olaleru, J.O., Olaoluwa, H.: Quadruple best proximity points of
*Q*-cyclic contraction pair in abstract metric spaces. Asian J. Math. Appl.**2015**, Article ID ama0206 (2015) Google Scholar - 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/s13663-017-0615-y MathSciNetzbMATHGoogle Scholar
- 27.Raj, V.S.: A best proximity point theorem for weakly contractive non-self mappings. Nonlinear Anal., Theory Methods Appl.
**74**(14), 4804–4808 (2011) MathSciNetCrossRefzbMATHGoogle Scholar - 28.Reich, S.: Some remarks concerning contraction mappings. Can. Math. Bull.
**14**, 121–124 (1971) MathSciNetCrossRefzbMATHGoogle Scholar - 29.Rhoades, B.E.: A comparison of various definitions of contractive mappings. Trans. Am. Math. Soc.
**226**, 257–290 (1977) MathSciNetCrossRefzbMATHGoogle Scholar - 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) MathSciNetCrossRefzbMATHGoogle Scholar - 31.Weil, A.: Sur les espaces a structure uniforme et sur la topologie generale. Actualites Scientifiques et Industrielles, vol. 551. Hermann, Paris (1937) zbMATHGoogle Scholar
- 32.Zamfirescu, T.: Fixed point theorems in metric spaces. Arch. Math. (Basel)
**23**, 292–298 (1972) MathSciNetCrossRefzbMATHGoogle Scholar

## Copyright information

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