# Best proximity points for generalized proximal *C*-contraction mappings in metric spaces with partial orders

- Chirasak Mongkolkeha
^{1}, - Yeol Je Cho
^{2}Email author and - Poom Kumam
^{1}Email author

**2013**:94

https://doi.org/10.1186/1029-242X-2013-94

© Mongkolkeha et al.; licensee Springer 2013

**Received: **28 October 2012

**Accepted: **18 February 2013

**Published: **6 March 2013

## Abstract

In this paper we extend the notion of weakly *C*-contraction mappings to the case of non-self mappings and establish the best proximity point theorems for this class. Our results generalize the result due to Harjani *et al.* (Comput. Math. Appl. 61:790-796, 2011) and some other authors.

## Keywords

## 1 Introduction and preliminaries

In 1922, Banach proved that every contractive mapping in a complete metric space has a unique fixed point, which is called Banach’s fixed point theorem or Banach’s contraction principle. Since Banach’s fixed point theorem, many authors have extended, improved and generalized this theorem in several ways and, further, some applications of Banach’s fixed point theorem can be found in [1–6] and many others.

In 1972, Chatterjea [7] introduced the following definition.

**Definition 1.1**Let $(X,d)$ be a metric space. A mapping $T:X\to X$ is called a

*C*-

*contraction*if there exists $\alpha \in (0,\frac{1}{2})$ such that, for all $x,y\in X$,

In 2009, Choudhury [8] introduced a generalization of *C*-contraction given by the following definition.

**Definition 1.2**Let $(X,d)$ be a metric space. A mapping $T:X\to X$ is called a

*weakly*

*C-contraction*if, for all $x,y\in X$,

where $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ is a continuous and nondecreasing function such that $\psi (x,y)=0$ if and only if $x=y=0$.

In 2011, Harjani *et al.* [9] presented some fixed point results for weakly *C*-contraction mappings in a complete metric space endowed with a partial order as follows.

**Theorem 1.3**

*Let*$(X,\u2aaf)$

*be a partially ordered set and suppose that there exists a metric*

*d*

*in*

*X*

*such that*$(X,d)$

*is a complete metric space*.

*Let*$T:X\to X$

*be a continuous and nondecreasing mapping such that*

*for* $x\u2aafy$, *where* $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ *is a continuous and nondecreasing function such that* $\psi (x,y)=0$ *if and only if* $x=y=0$. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2aafT{x}_{0}$, *then* *T* *has a fixed point*.

On the other hand, most of the results on Banach’s fixed point theorem dilate upon the existence of a fixed point for self-mappings. Nevertheless, if *T* is a non-self mapping, then it is probable that the equation $Tx=x$ has no solution, in which case best approximation theorems explore the existence of an approximate solution, whereas best proximity point theorems analyze the existence of an approximate solution that is optimal.

A classical best approximation theorem was introduced by Fan [10], that is, if *A* is a nonempty compact convex subset of a Hausdorff locally convex topological vector space *B* and $T:A\to B$ is a continuous mapping, then there exists an element $x\in A$ such that $d(x,Tx)=d(Tx,A)$. Afterward, several authors including Prolla [11], Reich [12], Sehgal and Singh [13, 14] have derived the extensions of Fan’s theorem in many directions. Other works on the existence of a best proximity point for some contractions can be seen in [15–19]. In 2005, Eldred, Kirk and Veeramani [20] obtained best proximity point theorems for relatively nonexpansive mappings, and some authors have proved best proximity point theorems for several types of contractions (see, for example, [21–26]).

*X*be a nonempty set such that $(X,\u2aaf)$ is a partially ordered set and let $(X,d)$ be a complete metric space. Let

*A*and

*B*be nonempty subsets of a metric space $(X,d)$. Now, we recall the following notions:

If $A\cap B\ne \mathrm{\varnothing}$, then ${A}_{0}$ and ${B}_{0}$ are nonempty. Further, it is interesting to notice that ${A}_{0}$ and ${B}_{0}$ are contained in the boundaries of *A* and *B*, respectively, provided *A* and *B* are closed subsets of a normed linear space such that $d(A,B)>0$ (see [27]).

**Definition 1.4**A mapping $T:A\to B$ is said to be

*increasing*if

for all $x,y\in A$.

**Definition 1.5** [28]

*proximally order-preserving*if and only if it satisfies the condition that

for all $u,v,x,y\in A$.

It is easy to observe that for a self-mapping, the notion of a proximally order-preserving mapping reduces to that of an increasing mapping.

**Definition 1.6**A point $x\in A$ is called a

*best proximity point*of the mapping $T:A\to B$ if

In view of the fact that $d(x,Tx)\ge d(A,B)$ for all *x* in *A*, it can be observed that the global minimum of the mapping $x\mapsto d(x,Tx)$ is attained from a best proximity point. Moreover, it is easy to see that the best proximity point reduces to a fixed point if the underlying mapping *T* is a self-mapping.

In this paper, we introduce a new class of proximal contractions, which extends the class of weakly *C*-contractive mappings to the class of non-self mappings, and also give some examples to illustrate our main results. Our results extend and generalize the corresponding results given by Harjani *et al.* [9] and some authors in the literature.

## 2 Main results

In this section, we first introduce the notion of a generalized proximal *C*-contraction mapping and establish the best proximity point theorems.

**Definition 2.1**A mapping $T:A\to B$ is said to be a

*generalized proximal*

*C*-

*contraction*if, for all $u,v,x,y\in A$, it satisfies

where $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ is a continuous and nondecreasing function such that $\psi (x,y)=0$ if and only if $x=y=0$.

For a self-mapping, it is easy to see that equation (2.1) reduces to (1.1).

**Theorem 2.2** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *such that* ${A}_{0}$ *and* ${B}_{0}$ *are nonempty*. *Let* $T:A\to B$ *satisfy the following conditions*:

(a) *T* *is a continuous*, *proximally order*-*preserving and generalized proximal* *C*-*contraction such that* $T({A}_{0})\subseteq {B}_{0}$;

*there exist elements*${x}_{0}$

*and*${x}_{1}$

*in*${A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

*Then there exists a point*$x\in A$

*such that*

*Moreover*,

*for any fixed*${x}_{0}\in {A}_{0}$,

*the sequence*$\{{x}_{n}\}$

*defined by*

*converges to the point* *x*.

*Proof*By the hypothesis (b), there exist ${x}_{0},{x}_{1}\in {A}_{0}$ such that ${x}_{0}\u2aaf{x}_{1}$ and

*T*, we get ${x}_{1}\u2aaf{x}_{2}$. Continuing this process, we can find a sequence $\{{x}_{n}\}$ in ${A}_{0}$ such that ${x}_{n-1}\u2aaf{x}_{n}$ and

*T*is a generalized proximal

*C*-contraction, for each $n\in \mathbb{N}$, we have

*ψ*, we get

*ψ*, we have $r=0$, which implies that

*C*-contraction of

*T*, we have

*ψ*, we get

*ψ*, we have that $\epsilon =0$, which is a contradiction. Thus $\{{x}_{n}\}$ is a Cauchy sequence. Since

*A*is a closed subset of the complete metric space

*X*, there exists $x\in A$ such that

*T*, it follows that

□

**Corollary 2.3** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *such that* ${A}_{0}$ *and* ${B}_{0}$ *are nonempty*. *Let* $T:A\to B$ *satisfy the following conditions*:

*T*

*is continuous*,

*increasing such that*$T({A}_{0})\subseteq {B}_{0}$

*and*

*where* $\alpha \in (0,\frac{1}{2})$;

*there exist*${x}_{0},{x}_{1}\in {A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

*Then there exists a point*$x\in A$

*such that*

*Moreover*,

*for any fixed*${x}_{0}\in {A}_{0}$,

*the sequence*$\{{x}_{n}\}$

*defined by*

*converges to the point* *x*.

*Proof*Let $\alpha \in (0,\frac{1}{2})$ and the function

*ψ*in Theorem 2.2 be defined by

Obviously, it follows that $\psi (a,b)=0$ if and only if $a=b=0$ and (2.1) become (2.15). Hence we obtain Corollary 2.3. □

For a self-mapping, the condition (b) implies that ${x}_{0}\u2aafT{x}_{0}$ and so Theorem 2.2 includes the results of Harjani *et al.* [9] as follows.

**Corollary 2.4** [9]

*Let*

*X*

*be a nonempty set such that*$(X,\u2aaf)$

*is a partially ordered set and let*$(X,d)$

*be a complete metric space*.

*Let*$T:X\to X$

*be a continuous and nondecreasing mapping such that*,

*for all*$x,y\in X$,

*for* $x\u2aafy$, *where* $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ *is a continuous and nondecreasing function such that* $\psi (x,y)=0$ *if and only if* $x=y=0$. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2aafT{x}_{0}$, *then* *T* *has a fixed point*.

Now, we give an example to illustrate Theorem 2.2.

**Example 2.5**Consider the complete metric space ${\mathbb{R}}^{2}$ with an Euclidean metric. Let

*T*is continuous and $T({A}_{0})\subseteq {B}_{0}$. If ${x}_{1}\u2aaf{x}_{2}$ and

*T*is a generalized proximal

*C*-contraction with $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ defined by

In Theorem 2.6, we do not need the condition that *T* is continuous. Now, we improve the condition in Theorem 2.2 to prove the new best proximity point theorem as follows.

**Theorem 2.6** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *such that* ${A}_{0}$ *and* ${B}_{0}$ *are nonempty*. *Let* $T:A\to B$ *satisfy the following conditions*:

(a) *T* *is a proximally order*-*preserving and generalized proximal* *C*-*contraction such that* $T({A}_{0})\subseteq {B}_{0}$;

*there exist elements*${x}_{0},{x}_{1}\in {A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

(c) *if* $\{{x}_{n}\}$ *is an increasing sequence in* *A* *converging to* *x*, *then* ${x}_{n}\u2aafx$ *for all* $n\in \mathbb{N}$.

*Then there exists a point*$x\in A$

*such that*

*Proof*

*C*-contraction of

*T*, we have

*v*by

*x*in (2.17), we have

□

**Corollary 2.7** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *such that* ${A}_{0}$ *and* ${B}_{0}$ *are nonempty*. *Let* $T:A\to B$ *satisfy the following conditions*:

*T*

*is an increasing mapping such that*$T({A}_{0})\subseteq {B}_{0}$

*and*

*where* $\alpha \in (0,\frac{1}{2})$;

*there exist*${x}_{0},{x}_{1}\in {A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

(c) *if* $\{{x}_{n}\}$ *is an increasing sequence in* *A* *converging to a point* $x\in X$, *then* ${x}_{n}\u2aafx$ *for all* $n\in \mathbb{N}$.

*Then there exists a point*$x\in A$

*such that*

**Corollary 2.8** [9]

*Let*

*X*

*be a nonempty set such that*$(X,\u2aaf)$

*is a partially ordered set and let*$(X,d)$

*be a complete metric space*.

*Assume that if*$\{{x}_{n}\}\subseteq X$

*is a nondecreasing sequence such that*${x}_{n}\to x$

*in*

*X*,

*then*${x}_{n}\u2aafx$

*for all*$n\in \mathbb{N}$.

*Let*$T:X\to X$

*be a nondecreasing mapping such that*

*for* $x\u2aafy$, *where* $\psi :{[0,\mathrm{\infty})}^{2}\to [0,\mathrm{\infty})$ *is a continuous and nondecreasing function such that* $\psi (x,y)=0$ *if and only if* $x=y=0$. *If there exists* ${x}_{0}\in X$ *with* ${x}_{0}\u2aafT{x}_{0}$, *then* *T* *has a fixed point*.

**Theorem 2.9** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *and let* ${A}_{0}$ *and* ${B}_{0}$ *be nonempty such that* ${A}_{0}$ *satisfies the condition* (2.20). *Let* $T:A\to B$ *satisfy the following conditions*:

(a) *T* *is a continuous*, *proximally order*-*preserving and generalized proximal* *C*-*contraction such that* $T({A}_{0})\subseteq {B}_{0}$;

*there exist elements*${x}_{0}$

*and*${x}_{1}$

*in*${A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

*Then there exists a unique point*$x\in A$

*such that*

*Proof*We will only prove the uniqueness of the point $x\in A$ such that $d(x,Tx)=d(A,B)$. Suppose that there exist

*x*and ${x}^{\ast}$ in

*A*which are best proximity points, that is,

*x*is comparable to ${x}^{\ast}$, that is, $x\u2aaf{x}^{\ast}$ (or ${x}^{\ast}\u2aafx$). By the generalized proximal

*C*-contraction of

*T*, we have

which implies that $\psi (d(x,{x}^{\ast}),d({x}^{\ast},x))=0$. Using the property of *ψ*, we get $d({x}^{\ast},x)=0$ and hence $x={x}^{\ast}$.

*x*is not comparable to ${x}^{\ast}$. Since ${A}_{0}$ satisfies the condition (2.20), then there exists $z\in {A}_{0}$ such that

*z*is comparable to

*x*and ${x}^{\ast}$, that is, $x\u2aafz$ (or $z\u2aafx$) and ${x}^{\ast}\u2aafz$ (or $z\u2aaf{x}^{\ast}$). Suppose that $x\u2aafz$ and ${x}^{\ast}\u2aafz$. Since $T({A}_{0})\subseteq {B}_{0}$, there exists a point ${v}_{0}\in {A}_{0}$ such that

*T*, we get $x\u2aaf{v}_{0}$ and ${x}^{\ast}\u2aaf{v}_{0}$. Since $T({A}_{0})\subseteq {B}_{0}$, there exists a point ${v}_{1}\in {A}_{0}$ such that

*T*, we get $x\u2aaf{v}_{1}$ and ${x}^{\ast}\u2aaf{v}_{1}$. One can proceed further in a similar fashion to find ${v}_{n}$ in ${A}_{0}$ with ${v}_{n+1}\in {A}_{0}$ such that

*C*-contraction of

*T*, we have

*ψ*that

By the uniqueness of limit, we conclude that $x={x}^{\ast}$. Other cases can we proved similarly and this completes the proof. □

**Theorem 2.10** *Let* *X* *be a nonempty set such that* $(X,\u2aaf)$ *is a partially ordered set and let* $(X,d)$ *be a complete metric space*. *Let* *A* *and* *B* *be nonempty closed subsets of* *X* *and let* ${A}_{0}$ *and* ${B}_{0}$ *be nonempty such that* ${A}_{0}$ *satisfies the condition* (2.20). *Let* $T:A\to B$ *satisfy the following conditions*:

(a) *T* *is a proximally order*-*preserving and generalized proximal* *C*-*contraction such that* $T({A}_{0})\subseteq {B}_{0}$;

*there exist elements*${x}_{0},{x}_{1}\in {A}_{0}$

*such that*${x}_{0}\u2aaf{x}_{1}$

*and*

(c) *if* $\{{x}_{n}\}$ *is an increasing sequence in* *A* *converging to* *x*, *then* ${x}_{n}\u2aafx$ *for all* $n\in \mathbb{N}$.

*Then there exists a unique point*$x\in A$

*such that*

*Proof* For the proof, combine the proofs of Theorems 2.6 and 2.9. □

## Declarations

### Acknowledgements

This research was partially finished at the Department of Mathematics Education, Gyeongsang National University, Republic of Korea. Mr. Chirasak Mongkolkeha was supported by the Thailand Research Fund through the Royal Golden Jubilee Program under Grant PHD/0029/2553 for the Ph.D. program at KMUTT, Thailand. Also, the second author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science, and Technology (NRF-2012-0008170). The third author was supported by the Commission on Higher Education, the Thailand Research Fund, and the King Mongkut’s University of Technology Thonburi (KMUTT) (Grant No. MRG5580213).

## Authors’ Affiliations

## References

- Agarwal RP, EL-Gebeily MA, O’regan D:
**Generalized contractions in partially ordered metric spaces.***Appl. Anal.*2008, 87: 109–116. 10.1080/00036810701556151MathSciNetView ArticleGoogle Scholar - Cho YJ:Fixed points for compatible mappings of type $(A)$.
*Math. Jpn.*1993, 18: 497–508.Google Scholar - Nieto JJ, Rodríguez-López R:
**Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.***Order*2005, 22: 223–239. 10.1007/s11083-005-9018-5MathSciNetView ArticleGoogle Scholar - Pathak HK, Cho YJ, Kang SM: Remarks on
*R***-weakly commuting mappings and common fixed point theorems.***Bull. Korean Math. Soc.*1997, 34: 247–257.MathSciNetGoogle Scholar - Sessa S, Cho YJ:
**Compatible mappings and a common fixed point theorem of Chang type.***Publ. Math. (Debr.)*1993, 43: 289–296.MathSciNetGoogle Scholar - Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for
*c***-distance in ordered cone metric spaces.***Comput. Math. Appl.*2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040MathSciNetView ArticleGoogle Scholar - Chatterjea SK:
**Fixed point theorems.***C. R. Acad. Bulgare Sci.*1972, 25: 727–730.MathSciNetGoogle Scholar - Choudhury BS:
**Unique fixed point theorem for weak-contractive mappings.***Kathmandu Univ. J. Sci. Eng. Technol.*2009, 5: 6–13.Google Scholar - Harjani J, López B, Sadarangani K: Fixed point theorems for weakly
*C***-contractive mappings in ordered metric spaces.***Comput. Math. Appl.*2011, 61: 790–796. 10.1016/j.camwa.2010.12.027MathSciNetView ArticleGoogle Scholar - Fan K:
**Extensions of two fixed point theorems of F.E. Browder.***Math. Z.*1969, 112: 234–240. 10.1007/BF01110225MathSciNetView 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 - 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 - Sehgal VM, Singh SP:
**A generalization to multifunctions of Fan’s best approximation theorem.***Proc. Am. Math. Soc.*1988, 102: 534–537.MathSciNetGoogle Scholar - Sehgal VM, Singh SP:
**A theorem on best approximations.***Numer. Funct. Anal. Optim.*1989, 10: 181–184. 10.1080/01630568908816298MathSciNetView 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 - 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 - 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 - Karpagam S, Agrawal S: Best proximity point theorems for
*p***-cyclic Meir-Keeler contractions.***Fixed Point Theory Appl.*2009., 2009: Article ID 197308Google Scholar - Mongkolkeha C, Kumam P:
**Some common best proximity points for proximity commuting mappings.***Optim. Lett.*2012. doi:10.1007/s11590–012–0525–1 in pressGoogle Scholar - Eldred AA, Kirk WA, Veeramani P:
**Proximal normal structure and relatively nonexpanisve mappings.***Stud. Math.*2005, 171: 283–293. 10.4064/sm171-3-5MathSciNetView ArticleGoogle Scholar - Al-Thagafi MA, Shahzad N:
**Best proximity pairs and equilibrium pairs for Kakutani multimaps.***Nonlinear Anal.*2009, 70: 1209–1216. 10.1016/j.na.2008.02.004MathSciNetView ArticleGoogle Scholar - Mongkolkeha C, Kumam P:
**Best proximity point theorems for generalized cyclic contractions in ordered metric spaces.***J. Optim. Theory Appl.*2012, 155: 215–226. 10.1007/s10957-012-9991-yMathSciNetView 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 - Wlodarczyk K, Plebaniak R, Banach A:
**Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces.***Nonlinear Anal.*2009, 70: 3332–3341. 10.1016/j.na.2008.04.037MathSciNetView ArticleGoogle Scholar - Wlodarczyk K, Plebaniak R, Banach A:
**Erratum to: ‘Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces’.***Nonlinear Anal.*2009, 71: 3583–3586.MathSciNetGoogle Scholar - Sintunavarat W, Kumam P:
**Coupled best proximity point theorem in metric spaces.***Fixed Point Theory Appl.*2012., 2012: Article ID 93. doi:10.1186/1687–1812–2012–93Google Scholar - Sadiq Basha S, Veeramani P:
**Best proximity pair theorems for multifunctions with open fibres.***J. Approx. Theory*2000, 103: 119–129. 10.1006/jath.1999.3415MathSciNetView ArticleGoogle Scholar - Sadiq Basha S:
**Best proximity point theorems on partially ordered sets.***Optim. Lett.*2012. doi:10.1007/s11590–012–0489–1Google 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.