Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2011, Article ID 596971, 9 pages doi:10.1155/2011/596971 Research Article Approximate Best Proximity Pairs in Metric Space S. A. M. Mohsenalhosseini,1 H. Mazaheri,2 and M. A. Dehghan1 1 2 Faculty of Mathematics, Valiasr Rafsanjan University, Rafsanjan, Iran Faculty of Mathematics, Yazd University, Yazd, Iran Correspondence should be addressed to S. A. M. Mohsenalhosseini, amah@vru.ac.ir2 Received 8 January 2011; Accepted 12 February 2011 Academic Editor: Norimichi Hirano Copyright q 2011 S. A. M. Mohsenalhosseini 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. Let A and B be nonempty subsets of a metric space X and also T : A ∪ B → A ∪ B and T A ⊆ B, T B ⊆ A. We are going to consider element x ∈ A such that dx, T x ≤ dA, B for some > 0. We call pair A, B an approximate best proximity pair. In this paper, definitions of approximate best proximity pair for a map and two maps, their diameters, T -minimizing a sequence are given in a metric space. 1. Introduction Let X be a metric space and A and B nonempty subsets of X, and dA, B is distance of A and B. If dx0 , y0 dA, B, then the pair x0 , y0 is called a best proximity pair for A and B and put proxA, B : x, y ∈ A × B : d x, y dA, B 1.1 as the set of all best proximity pair A, B. Best proximity pair evolves as a generalization of the concept of best approximation. That reader can find some important result of it in 1–4. Now, as in 5 see also 4, 6–11, we can find the best proximity points of the sets A and B, by considering a map T : A ∪ B → A ∪ B such that TA ⊆ B and TB ⊆ A. Best proximity pair also evolves as a generalization of the concept of fixed point of mappings. Because if A ∩ B / ∅, every best proximity point is a fixed point of T. We say that the point x ∈ A ∪ B is an approximate best proximity point of the pair A, B, if dx, Tx ≤ dA, B , for some > 0. In the following, we introduce a concept of approximate proximity pair that is stronger than proximity pair. 2 Abstract and Applied Analysis Definition 1.1. Let A and B be nonempty subsets of a metric space X and T : A ∪ B → A ∪ B a map such that TA ⊆ B, TB ⊆ A. put PTa A, B {x ∈ A ∪ B : dx, Tx ≤ dA, B for some > 0}. 1.2 ∅. We say that the pair A, B is an approximate best proximity pair if PTa A, B / Example 1.2. Suppose that X R2 , A {x, y ∈ X : x − y2 y2 ≤ 1}, and B {x, y ∈ X : x y2 y2 ≤ 1} with Tx, y −x, y for x, y ∈ X. Then dx, y, Tx, y ≤ dA, B for some > 0. Hence PTa A, B / ∅. 2. Approximate Best Proximity In this section, we will consider the existence of approximate best proximity points for the map T : A ∪ B → A ∪ B, such that TA ⊆ B, TB ⊆ A, and its diameter. Theorem 2.1. Let A and B be nonempty subsets of a metric space X. Suppose that the mapping T : A ∪ B → A ∪ B is satisfying TA ⊆ B, TB ⊆ A, and lim d T n x, T n1 x dA, B for some x ∈ A ∪ B. n→∞ 2.1 Then the pair A, B is an approximate best proximity pair. Proof. Let > 0 be given and x ∈ A ∪ B such that limn → ∞ dT n x, T n1 x dA, B; then there exists N0 > 0 such that ∀n ≥ N0 : d T n x, T n1 x < dA, B . 2.2 If n N0 , then dT N0 x, TT N0 x < dA, B , and T N0 x ∈ PTa A, B and PTa A, B / ∅. Theorem 2.2. Let A and B be nonempty subsets of a metric space X. Suppose that the mapping T : A ∪ B → A ∪ B is satisfying TA ⊆ B, TB ⊆ A and d Tx, Ty ≤ αd x, y β dx, Tx d y, Ty γ dA, B 2.3 for all x, y ∈ A ∪ B, where α, β, γ ≥ 0 and α 2β γ < 1. Then the pair A, B is an approximate best proximity pair. Proof. If x ∈ A ∪ B, then d Tx, T 2 x ≤ αdx, Tx β dx, Tx d Tx, T 2 x γ dA, B. 2.4 Abstract and Applied Analysis 3 Therefore, αβ γ dx, Tx dA, B. d Tx, T 2 x ≤ 1−β 1−β 2.5 Now if k α β/1 − β, then d Tx, T 2 x ≤ kdx, Tx 1 − kdA, B 2.6 d T 2 x, T 3 x ≤ k2 dx, Tx 1 − k2 dA, B. 2.7 d T n x, T n1 x ≤ kn dx, Tx 1 − kn dA, B, 2.8 also Therefore, and so d T n x, T n1 x −→ dA, B, as n −→ ∞. 2.9 Therefore, by Theorem 2.1, PTa A, B / ∅; then pair A, B is an approximate best proximity pair. Definition 2.3. Let A and B be nonempty subsets of a metric space X. Suppose that the mapping T : A ∪ B → A ∪ B is satisfying TA ⊆ B, TB ⊆ A. We say that the sequence {zn } ⊆ A ∪ B is T-minimizing if lim dzn , Tzn dA, B. n→∞ 2.10 Theorem 2.4. Let A and B be nonempty subsets of a metric space X, suppose that the mapping T : A ∪ B → A ∪ B is satisfying TA ⊆ B, TB ⊆ A. If {T n x} is a T-minimizing for some x ∈ A ∪ B, then A, B is an approximate best pair proximity. Proof. Since lim d T n x, T n1 x dA, B n→∞ for some x ∈ A ∪ B, 2.11 ∅; then pair A, B is an approximate best proximity therefore, by Theorem 2.1, PTa A, B / pair. 4 Abstract and Applied Analysis Theorem 2.5. Let A and B be nonempty subsets of a normed space X such that A ∪ B is compact. Suppose that the mapping T : A ∪ B → A ∪ B is satisfying TA ⊆ B, TB ⊆ A, T is continuous and Tx − Ty ≤ x − y, 2.12 where x, y ∈ A × B. Then PTa A, B is nonempty and compact. Proof. Since A ∪ B compact, there exists a z0 ∈ A ∪ B such that z0 − Tz0 inf z − Tz· z∈A∪B ∗ If z0 − Tz0 > dA, B, then Tz0 − T 2 z0 < z0 − Tz0 which contradict to the definition of z0 , Tz0 ∈ A ∪ B and by ∗ Tz0 − TTz0 ≥ z0 − Tz0 . Therefore, z0 − Tz0 dA, B ≤ dA, B for some > 0 and z0 ∈ PTa A, B. Therefore, PTa A, B is nonempty. Also, if {zn } ⊆ PT A, B, then zn − Tzn < dA, B , for some > 0, and by compactness of A ∪ B, there exists a subsequence znk and a z0 ∈ A ∪ B such that znk → z0 and so z0 − Tz0 lim znk − Tznk < dA, B k→∞ 2.13 for some > 0, hence PTa A, B is compact. Example 2.6. If A −3, −1, B 1, 3, and T : A ∪ B → A ∪ B such that Tx ⎧ 1−x ⎪ ⎪ ⎨ 2 , x ∈ A, ⎪ ⎪ ⎩ −1 − x , x ∈ B, 2 2.14 then PTa A, B is compact, and we have PTa A, B {x ∈ A ∪ B : dx, Tx < dA, B for some > 0} {x ∈ A ∪ B : dx, Tx < 2 for some > 0} 2.15 {1, −1}. That is compact. In the following, by diamPTa A, B for a set PTa A, B / ∅, we will understand the diameter of the set PTa A, B. Abstract and Applied Analysis 5 Definition 2.7. Let T : A ∪ B → A ∪ B be a continuous map such that TA ⊆ B, TB ⊆ A and > 0. We define diameter PTa A, B by diam PTa A, B sup d x, y : x, y ∈ PTa A, B . 2.16 Theorem 2.8. Let T : A ∪ B → A ∪ B, such that TA ⊆ B, TB ⊆ A and > 0. If there exists an α ∈ 0, 1 such that for all x, y ∈ A × B d Tx, Ty ≤ αd x, y , 2.17 2dA, B 2 . diam PTa A, B ≤ 1−α 1−α 2.18 then Proof. If x, y ∈ PTa A, B, then d x, y ≤ dx, Tx d Tx, Ty d Ty, y ≤ 1 αd x, y 2dA, B 2 . 2.19 Put Max{1 , 2 }, therefore, dx, y ≤ 2/1−α2dA, B/1−α. Hence diamPTa A, B ≤ 2/1 − α 2dA, B/1 − α. 3. Approximate Best Proximity for Two Maps In this section, we will consider the existence of approximate best proximity points for two maps T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B, and its diameter. Definition 3.1. Let A and B be nonempty subsets of a metric space X, d and let T : A ∪ B → A ∪ BS : A ∪ B → A ∪ B two maps such that TA ⊆ B, SB ⊆ A. A point x, y in A × B is said to be an approximate-pair fixed point for T, S in X if there exists > 0 d Tx, Sy ≤ dA, B . 3.1 a We say that the pair T, S has the approximate-pair fixed property in X if PT,S A, B / ∅, where a PT,S A, B x, y ∈ A × B : d Tx, Sy ≤ dA, B for some > 0 . 3.2 Theorem 3.2. Let A and B be nonempty subsets of a metric space X, d and let T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B be two maps such that TA ⊆ B, SB ⊆ A. If, for every x, y ∈ A × B, d T n x, Sn y −→ dA, B, then T, S has the approximate-pair fixed property. 3.3 6 Abstract and Applied Analysis Proof. For > 0, Suppose x, y ∈ A × B. Since d T n x, Sn y −→ dA, B, ∃n0 > 0 s.t. ∀n ≥ n0 : d T n x, Sn y < dA, B , 3.4 then dTT n−1 x, SSn−1 y < dA, B for every n ≥ n0 . Put x0 T n0 −1 x and y0 a A, B / ∅. Sn0 −1 y. Hence dTx0 , Sy0 ≤ dA, B and PT,S Theorem 3.3. Let A and B be nonempty subsets of a metric space X, d and let T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B be two maps such that TA ⊆ B, SB ⊆ A and, for every x, y ∈ A × B, d Tx, Sy ≤ αd x, y β dx, Tx d y, Sy γ dA, B, 3.5 where α, β, γ ≥ 0 and α2βγ < 1. Then if x is an approximate fixed point for T, or y is an approximate a A, B / ∅. fixed point for S, then PT,S Proof. If x, y ∈ A × B, then dTx, STx ≤ αdx, Tx βdx, Tx dTx, STx γ dA, B. 3.6 Therefore, dTx, STx ≤ αβ γ dx, Tx dA, B. 1−β 1−β 3.7 Now if k α β/1 − β, then dTx, STx ≤ kdx, Tx 1 − kdA, B ∗ d Sy, T Sy ≤ kd y, Sy 1 − kdA, B. ∗∗ also If x is an approximate fixed point for T, then there exists a > 0 and by ∗ dTx, STx ≤ kdx, Tx 1 − kdA, B ≤ kdA, B 1 − kdA, B dA, B k < dA, B . 3.8 Abstract and Applied Analysis 7 a A, B; also if y is an approximate fixed point for S, then there exists And x, Tx ∈ PT,S a > 0 and by ∗∗ d Sy, T Sy ≤ kd y, Sy 1 − kdA, B ≤ kdA, B 1 − kdA, B dA, B k 3.9 < dA, B . a a And y, Sy ∈ PT,S A, B. Therefore, PT,S A, B / ∅. Theorem 3.4. Let A and B be nonempty subsets of a metric space X, d and let T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B be two continuous maps such that TA ⊆ B, SB ⊆ A. If, for every x, y ∈ A × B, d Tx, Sy ≤ αd x, y γ dA, B, 3.10 where α, γ ≥ 0 and α γ 1, also let {xn } and {yn } be as follows: xn1 Syn , yn1 Txn for some x1 , y1 ∈ A × B, n ∈ N. 3.11 If {xn } has a convergent subsequence in A, then there exists a x0 ∈ A such that dx0 , Tx0 dA, B. Proof. We have d xn1 , yn1 d Txn , Syn ≤ αd xn , yn γ dA, B ≤ ··· 3.12 ≤ αn1 d x0 , y0 1 α · · · αn γ dA, B. If {xnk }k≥1 converges to x1 ∈ A, that is, xnk → x1 , then d xnK1 , ynk1 ≤ αnk1 d x0 , y0 1 α · · · αnk γ dA, B. 3.13 Since T is continuous, then dxnk1 , Txnk −→ Therefore, dx1 , Tx1 dA, B. γ dA, B dA, B. 1−α 3.14 8 Abstract and Applied Analysis Definition 3.5. Let T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B be continues maps such that a A, B by TA ⊆ B and SB ⊆ A. We define diameter PT,S a diam PT,S A, B sup d x, y : d Tx, Ty ≤ dA, B for some > 0 . 3.15 Example 3.6. Suppose A {x, 0 : 0 ≤ x ≤ 1}, B {x, 1 : 0 ≤ x ≤ 1}, Tx, 0 Tx, 1 a A, B 1/2, 1, and Sx, 1 Sx, 0 1/2, 0. Then dTx, 0, Sy, 1 1 and diamPT,S √ diamA × B 2. Theorem 3.7. Let T : A ∪ B → A ∪ B and S : A ∪ B → A ∪ B be continuous maps such that TA ⊆ B, SB ⊆ A. If there exists a k ∈ 0, 1, dx, Tx d Sy, y ≤ kd x, y , 3.16 then a diam PT,S A, B ≤ dA, B 1−k 1−k for some > 0. 3.17 a Proof. If x, y ∈ PT,S A, B, then d x, y ≤ dx, Tx d Tx, Sy d Sy, y ≤ kd x, y dA, B. 3.18 a Therefore, dx, y ≤ /1 − k dA, B/1 − k. Then diamPT,S A, B ≤ /1 − k dA, B/1 − k. References 1 K. Fan, “Extensions of two fixed point theorems of F. E. Browder,” Mathematische Zeitschrift, vol. 112, pp. 234–240, 1969. 2 W. K. Kim and K. H. Lee, “Corrigendum to ”Existence of best proximity pairs and equilibrium pairs” J. Math. Anal. Appl. 316 2006 433-446 DOI:10.1016/j.jmaa.2005.04.053,” Journal of Mathematical Analysis and Applications, vol. 329, no. 2, pp. 1482–1483, 2007. 3 W. A. Kirk, S. Reich, and P. Veeramani, “Proximinal retracts and best proximity pair theorems,” Numerical Functional Analysis and Optimization, vol. 24, no. 7-8, pp. 851–862, 2003. 4 V. Vetrivel, P. Veeramani, and P. Bhattacharyya, “Some extensions of Fan’s best approximation theorem,” Numerical Functional Analysis and Optimization, vol. 13, no. 3-4, pp. 397–402, 1992. 5 I. Singer, Best Approximation in Normed Linear Spaces by Elements of Linear Subspaces, Die Grundlehren der mathematischen Wissenschaften, Band 171, Publishing House of the Academy of the Socialist Republic of Romania, Bucharest, Romania, 1970. 6 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. 7 G. Beer and D. Pai, “Proximal maps, prox maps and coincidence points,” Numerical Functional Analysis and Optimization, vol. 11, no. 5-6, pp. 429–448, 1990. 8 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. Abstract and Applied Analysis 9 9 K. Włodarczyk, R. Plebaniak, and A. Banach, “Erratum to: ”Best proximity points for cyclic and noncyclic set-valued relatively quasi-asymptotic contractions in uniform spaces” Nonlinear Anal. 2008, doi: 10.1016/j.na.2008.04.037,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 7-8, pp. 3585–3586, 2009. 10 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. 11 X. B. Xu, “A result on best proximity pair of two sets,” Journal of Approximation Theory, vol. 54, no. 3, pp. 322–325, 1988. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014