Abstract

We show that some recent results concerning the existence of best proximity points can be obtained from the same results in fixed point theory.

1. Introduction

Let and be two nonempty subsets of a metric space . In this paper, we adopt the following notations and definitions:

The notion of best proximity point is defined as follows.

Definition 1. Let and be nonempty subsets of a metric space and a non-self-mapping. A point is called a best proximity point of if , where

Similarly, for a multivalued non-self-mapping , where is a nonempty pair of subsets of a metric space , a point is a best proximity point of provided that .

Recently, the notion of -property was introduced in [1] as follows.

Definition 2 (see [1]). Let be a pair of nonempty subsets of a metric space with . The pair is said to have -property if and only if where and .

By using this notion, some best proximity point results were proved for various classes of non-self-mappings. Here, we state some of them.

Theorem 3 (see [1]). Let be a pair of nonempty closed subsets of a complete metric space such that is nonempty. Let be a weakly contractive non-self-mapping; that is, where is a continuous and nondecreasing function such that is positive on , , and . Assume that the pair has the P-property and . Then, has a unique best proximity point.

Theorem 4 (see [2]). Let be a pair of nonempty closed subsets of a Banach space such that is compact and is nonempty. Let be a nonexpansive mapping; that is, Assume that the pair has the P-property and . Then, has a best proximity point.

Theorem 5 (see [3]). Let be a pair of nonempty closed subsets of a complete metric space such that is nonempty. Let be a Meir-Keeler non-self-mapping; that is, for all and for any , there exists such that Assume that the pair has the P-property and . Then, has a unique best proximity point.

Theorem 6 (see [4]). Let be a pair of nonempty closed subsets of a complete metric space such that and satisfies the P-property. Let be a multivalued contraction non-self-mapping; that is, for some and for all . If   is bounded and closed in for all and is included in for each , then has a best proximity point in .

Theorem 7 (see [5]). Let be a pair of nonempty closed subsets of a complete metric space such that is nonempty. Let be a Geraghty-contraction non-self-mapping; that is, where is a function which satisfies the following condition: Suppose that the pair has the P-property and . Then, has a unique best proximity point.

2. Main Result

In this section, we show that the existence of a best proximity point in the main theorems of [15] can be obtained from the existence of the fixed point for a self-map. We begin our argument with the following lemmas.

Lemma 8 (see [6]). Let be a pair of nonempty closed subsets of a complete metric space such that is nonempty and has the P-property. Then, is a closed pair of subsets of .

Lemma 9. Let be a pair of nonempty closed subsets of a metric space such that is nonempty. Assume that the pair has the -property. Then there exists a bijective isometry such that .

Proof. Let ; then there exists an element such that Assume that there exists another point such that By the fact that has the -property, we conclude that . Consider the non-self-mapping such that . Clearly, is well defined. Moreover, is an isometry. Indeed, if , then Again, since has the -property, that is, is an isometry.

Here, we prove that the existence and uniqueness of the best proximity point in Theorem 3 are a sample result of the existence of fixed point for a weakly contractive self-mapping.

Theorem 10. Let be a pair of nonempty closed subsets of a complete metric space such that is nonempty. Let be a weakly contractive mapping. Assume that the pair has the P-property and . Then, has a unique best proximity point.

Proof. Consider the bijective isometry as in Lemma 9. Since , for the self-mapping , we have for all which implies that the self-mapping is weakly contractive. Note that is closed by Lemma 8. Thus, has a unique fixed point [7]. Suppose that is a unique fixed point of the self-mapping ; that is, . So, , and then from which it follows that is a unique best proximity point of the non-self weakly contractive mapping .

Remark 11. By a similar argument, using the fact that every nonexpansive self-mapping defined on a nonempty compact and convex subset of a Banach space has a fixed point, we conclude Theorem 4. Also, the existence and uniqueness of best proximity point for Meir-Keeler non-self-mapping (Theorem 5) follow from the Meir-Keeler's fixed point theorem ([8]). Moreover, in Theorem 6, Nadler's fixed point theorem ([9]) ensures the existence of a best proximity point for multivalued non-self mapping . Finally, Theorem 7 due to Caballero et al., is obtained from Geraghty's fixed point theorem ([10]).