Abstract and Applied Analysis

Volume 2014 (2014), Article ID 130439, 5 pages

http://dx.doi.org/10.1155/2014/130439

Research Article

On Best Proximity Point Theorems without Ordering

A. P. Farajzadeh,¹ S. Plubtieng,² and K. Ungchittrakool²

¹Department of Mathematics, Razi University, Kermanshah 67149, Iran

²Department of Mathematics, Faculty of Science, Naresuan University, Phitsanulok 65000, Thailand

Received 20 September 2013; Accepted 14 December 2013; Published 16 January 2014

Academic Editor: Calogero Vetro

Copyright © 2014 A. P. Farajzadeh et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Recently, Basha (2013) addressed a problem that amalgamates approximation and optimization in the setting of a partially ordered set that is endowed with a metric. He assumed that if and are nonvoid subsets of a partially ordered set that is equipped with a metric and is a non-self-mapping from to , then the mapping has an optimal approximate solution, called a best proximity point of the mapping , to the operator equation , when is a continuous, proximally monotone, ordered proximal contraction. In this note, we are going to obtain his results by omitting ordering, proximal monotonicity, and ordered proximal contraction on .

1. Introduction

Let be a non-self-mapping from to , where and are nonempty subsets of a metric space . Clearly, the set of fixed points of can be empty. In this case, one often attempts to find an element that is in some sense closest to . Best approximation theory and best proximity point analysis are applicable for solving such problems. The well-known best approximation theorem, due to Fan [1], asserts that if is a nonempty, compact, and convex subset of a normed linear space and is a continuous function from to , then there exists a point in such that the distance of to is equal to the distance of to . Such a point is called a best approximation point of in . A point in is said to be a best proximity point for , if the distance of to is equal to the distance of to . The aim of best proximity point theory is to provide sufficient conditions that assure the existence of best proximity points. Investigation of several variants of contractions for the existence of a best proximity point can be found in [1–15]. In most of the papers on the best proximity, the ordering, proximal monotonicity, and ordered proximal contraction on the mapping play a key role. A natural question arises that it is possible that we can have other ways that may not require the ordering as well as proximal monotonicity and ordered proximal contraction on the mapping . Very recently, Basha [5] addressed a problem that amalgamates approximation and optimization in the setting of a partially ordered set that is endowed with a metric. He assumed that if and are nonvoid subsets of a partially ordered set that is equipped with a metric and is a non-self-mapping from to , then the mapping has an optimal approximate solution, called a best proximity point of the mapping , to the operator equation , when is a continuous, proximally monotone, ordered proximal contraction. In this note, we are going to obtain his results by omitting ordering, proximal monotonicity, and ordered proximal contraction on .

2. Preliminary Results

Let be a nonempty set and let be a metric on . Unless otherwise specified, it is assumed throughout this paper that and are nonempty subsets of . We recollect the following notations and preliminary results:

Proposition 1. Let and be two compact subsets of a metric space . Then both and are nonempty sets.

Proof. Suppose that both and are two compact subsets of a metric space . Let such that as . Since and are compact, is also compact. There exists such that

Note that (2) is equivalent to

Let us consider

By employing (3) and letting in (4), we obtain . Hence and . This completes the proof.

Proposition 2. Let be a compact and let be a closed subset of the Euclidian space with norm . Then both and are nonempty set.

Proof. Suppose that is compact and is closed subset of the Euclidian space . Let such that as . Since is compact, there exists such that

Note that

for all . This means that is bounded. It follows from the Bolzano-Weierstrass theorem and the closeness of that there exists such that

Let us consider

By employing (5) and (7) and letting in (8), we obtain . Hence and . This completes the proof.

Proposition 3. Let and be two nonempty subsets of a metric space . Then the following are satisfied.

(i)If is compact and is closed, then is a closed subset of . (ii)If is compact and is closed, then is a closed subset of . (iii)If both and are compact, then and are nonempty and closed.

Proof. (i) It is trivial in the case of . Suppose that and let such that

Note that and is closed, so we have . Since , there is such that . It follows from the compactness of that there exists such that

Now, let and consider

By employing (9) and (10) and letting in (11), we obtain . This implies that and, hence, is closed. This completes the proof.

The proof of (ii) is obvious from (i) and also the proof (iii) follows from Proposition 1 and (i) and (ii).

The next result extends Proposition 3.1 of [10] from normed linear spaces to metrizable topological vector spaces.

Proposition 4. Let be real topological vector space whose topology is induced by translation invariant metric with the property

where denotes the zero vector of . Let and be two closed subsets of such that . Then

where and are denoted by the boundary of and , respectively.

Proof. Let . Then there exists such that . It is obvious that . Let on the contrary . Then, there is closed neighborhood of the (the zero vector) and especially positive number such that , for all . Let

It is clear from and the closeness of and with that and . Hence, it follows from the translation invariant property and that

which is a contradiction. This completes the proof.

The following example shows that there are metrizable topological vector spaces with the properties cited in the previous proposition which are not normable.

Example 5. Let be a real vector space and a countable family of seminorms on which separates the nonzero points of from (the zero vector of ). For each and each index , define . Let be the topology on generated by the family . One can see that is a topological vector space (even locally convex space). One can verify the topology induced by the translation invariant meter . Moreover, for each positive enough small number , we have for each . However, is not normable.

3. Main Results

In this section, we provide an existence result for the best proximity point of the mapping on the metric space by omitting ordering, proximal monotonicity, and ordered proximal contraction on .

We begin with an example which shows that it is possible in the finite dimensional Euclidean space that the proximity points set for even a linear mapping (here projection) be empty.

Example 6. Let , , and . Define function by

It is clear that is continuous (since it is projection). It is not hard to verify that

(i)both and are closed subset of ;(ii);(iii)there is no such that (i.e., there is no best proximity point).

To achieve understanding in Example 6, let us see Figure 1.

Figure 1

Proposition 7. Let be a compact subset and let be a nonvoidsubset of a metric space . Let be continuous with the property that there exists such that , where

Then, there exists an element in such that

Proof. Pick such that . Then there exists such that and . Since is compact, there exists such that

By using the continuity of , we can conclude that

This completes the proof.

The following result establishes an existence result in order to be nonempty best proximity point set for the mapping without assuming any ordering, proximal monotonicity, and ordered proximal contraction on the . It is worth noting that it is only an existence result without applying any iteration method (see Theorem 3.1 of [5]).

Theorem 8. Let and be nonvoidclosed subsets of a complete metric space such that is nonvoidand is totally bounded. Let and satisfy the following conditions:

(a) and are continuous;(b) and .

Then, there exists an element in such that

Proof. Suppose that . Let and note that . Then, we have

So, we have and there exists

Equation (22) indicates that . Since , there exists such that . Thus

In the next step, since , we obtain . Then, we have and there exists

Equation (24) indicates that . Since , there exists such that . Thus

Following by this way, we can produce the sequence such that

Since and is totally bounded, there exists a subsequence such that is a Cauchy sequence. By using the completeness of , we have

Applying the continuity of and , we obtain

This completes the proof.

If (the identity mapping), then Theorem 8 reduces to the following corollary.

Corollary 9. Let and be nonvoidclosed subsets of a complete metric space such that is nonvoidand is totally bounded. Let be a continuous function such that . Then, there exists an element in such that

If , then . Then, by Corollary 9, we obtain the following corollary which says that the fixed points set of the mapping is nonempty.

Corollary 10. Let be a nonvoidclosed and totally bounded subset of a complete metric space . Let be continuous. Then, , where denotes the set of all fixed points of .

In the following result, we are going to relax the continuity of the mappings and (see conditions (a) and (c) of Theorem 3.1 in [5]).

Theorem 11. Let be a nonvoidcompact subset and let be a nonvoidsubset of a complete metric space . Let and and define by

Suppose that and is lower semicontinuous where is the distance function of the metric space . Then, there exists an element in such that

Proof. By the assumption, we notice that

Then, we have

By using the lower semicontinuity of , we have that there exists such that

This completes the proof.

Corollary 12. Let be a nonvoidcompact subset and let be a nonvoidsubset of a complete metric space . Let and be continuous and surjective. Define by

Then, there exists an element in such that

Proof. It is obvious that the continuity and surjectivity of and imply the lower semicontinuity of , where is the distance function of the metric space and , respectively. Applying Theorem 11, we have the desired result.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The authors would like to thank the two anonymous referees for their valuable comments which were helpful in improving the paper. Moreover, the third author would like to thank the National Research Council of Thailand, Grant R2557B051 for financial support.

References

K. Fan, “Extensions of two fixed point theorems of F. E. Browder,” Mathematische Zeitschrift, vol. 112, pp. 234–240, 1969.

C. di Bari, T. Suzuki, and C. Vetro, “Best proximity points for cyclic Meir-Keeler contractions,” Nonlinear Analysis. Theory, Methods & Applications, vol. 69, no. 11, pp. 3790–3794, 2008.

A. A. Eldred and P. Veeramani, “Existence and convergence of best proximity points,” Journal of Mathematical Analysis and Applications, vol. 323, no. 2, pp. 1001–1006, 2006.

S. Karpagam and S. Agrawal, “Best proximity point theorems for p-cyclic Meir-Keeler contractions,” Fixed Point Theory and Applications, vol. 2009, Article ID 197308, 2009.

S. S. Basha, “Best proximity point theorems on partially ordered sets,” Optimization Letters, vol. 7, no. 5, pp. 1035–1043, 2013.

S. Sadiq Basha, “Extensions of Banach's contraction principle,” Numerical Functional Analysis and Optimization, vol. 31, no. 4–6, pp. 569–576, 2010.

S. Sadiq Basha, “Best proximity points: global optimal approximate solutions,” Journal of Global Optimization, vol. 49, no. 1, pp. 15–21, 2011.

V. Sankar Raj and P. Veeramani, “Best proximity pair theorems for relatively nonexpansive mappings,” Applied General Topology, vol. 10, no. 1, pp. 21–28, 2009.

N. Shahzad, S. Sadiq Basha, and R. Jeyaraj, “Common best proximity points: global optimal solutions,” Journal of Optimization Theory and Applications, vol. 148, no. 1, pp. 69–78, 2011.

S. Sadiq Basha and P. Veeramani, “Best proximity pair theorems for multifunctions with open fibres,” Journal of Approximation Theory, vol. 103, no. 1, pp. 119–129, 2000.

S. S. Basha, “Common best proximity points: global minimal solutions,” TOP, vol. 21, no. 1, pp. 182–188, 2013.

S. Sadiq Basha, “Global optimal approximate solutions,” Optimization Letters, vol. 5, no. 4, pp. 639–645, 2011.

S. Sadiq Basha, “Best proximity point theorems generalizing the contraction principle,” Nonlinear Analysis. Theory, Methods & Applications, vol. 74, no. 17, pp. 5844–5850, 2011.

K. Włodarczyk, R. Plebaniak, and C. Obczyński, “Convergence theorems, best approximation and best proximity for set-valued dynamic systems of relatively quasi-asymptotic contractions in cone uniform spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 72, no. 2, pp. 794–805, 2010.

K. Włodarczyk, R. Plebaniak, and A. Banach, “Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 70, no. 9, pp. 3332–3341, 2009.