Bulletin of Mathematical Analysis and Applications ISSN: 1821-1291, URL: http://www.bmathaa.org Volume 1 Issue 3(2009), Pages 10-15. ON COMMON FIXED POINTS FOR CONTRACTIVE TYPE MAPPINGS IN CONE METRIC SPACES (DEDICATED IN OCCASION OF THE 65-YEARS OF PROFESSOR R.K. RAINA) C. T. AAGE & J. N. SALUNKE Abstract. This paper presents some common ο¬xed point theorems in complete cone metric spaces. Also discussed periodic point theorems in complete cone metric spaces. 1. Introduction Huang and Zhang [4] introduced the notion of cone metric spaces and some ο¬xed point theorems for contractive mappings were proved in these spaces. The results in [4] were generalized by Sh. Rezapour and R. Hamlbarani in [8]. Subsequently, Abbas and Jungck [2], Abbas and Rhoades [1], πΌππ´ π and π πππΛ πππ£π´ π [5], Akbar Azam, Muhammad Arshad, and Ismat Beg [3] were investigated some common ο¬xed point theorems for diο¬erent types of contractive mappings in cone metric spaces. The purpose of this paper is to provide some common ο¬xed point results in cone metric spaces. Let πΈ be a real Banach space and π a subset of πΈ. π is called a cone if and only if: (i) π is closed, non-empty and π β= 0, (ii)ππ₯ + ππ¦ ∈ π for all π₯, π¦ ∈ π and non-negative real numbers π, π, (iii) π ∩ (−π ) = {0}. Given a cone π ⊂ πΈ, we deο¬ne a partial ordering ≤ on πΈ with respect to π by π₯ ≤ π¦ if and only if π¦ − π₯ ∈ π . We shall write π₯ βͺ π¦ if π¦ − π₯ ∈ πππ‘π , intP denotes the interior of π . Denote by β₯ ⋅ β₯ the norm on πΈ. The cone π is called normal if there is a number πΎ > 0 such that for all π₯, π¦ ∈ πΈ, 0 ≤ π₯ ≤ π¦ implies β₯π₯β₯ ≤ πΎβ₯π¦β₯. (1.1) The least positive number πΎ satisfying the above is called the normal constant of π , see [4]. In [8] the authors showed that there are no normal cones with normal constant π < 1 and for each π > 1 there are cones with normal constant π > π. 2000 Mathematics Subject Classiο¬cation. 47H10, 54H25. Key words and phrases. Cone metric space, Normal cones, Fixed point. c β2009 Universiteti i PrishtineΜs, PrishtineΜ, KosoveΜ. Submitted May, 2009. Published September, 2009. 10 ON COMMON FIXED POINTS FOR CONTRACTIVE TYPE MAPPINGS IN CONE METRIC SPACES 11 The cone π is called regular if every increasing sequence which is bounded from above is convergent. That is, if {π₯π }π≥1 is a sequence such that π₯1 ≤ π₯2 ≤ ⋅ ⋅ ⋅ ≤ π¦ for some π¦ ∈ πΈ, then there is π₯ ∈ πΈ such that limπ→∞ β₯π₯π − π₯β₯ = 0. The cone π is regular if and only if every decreasing sequence which is bounded from below is convergent. Lemma 1.1. [8] Every regular cone is normal. In the following we always suppose that πΈ is a real Banach space, π is a cone in πΈ with intπ β= ∅ and ≤ is partial ordering with respect to π . Deο¬nition 1.2. Let π be a non-empty set and π : π × π → πΈ a mapping such that (π1 )0 ≤ π(π₯, π¦) for all π₯, π¦ ∈ π and π(π₯, π¦) = 0 if and only if π₯ = π¦, (π2 )π(π₯, π¦) = π(π¦, π₯) for all π₯, π¦ ∈ π, (π3 )π(π₯, π¦) ≤ π(π₯, π§) + π(π§, π¦) for all π₯, π¦, π§ ∈ π. Then π is called a cone metric on π, and (π, π) is called a cone metric space [4]. Example 1.3. Let πΈ = π 2 , π = {(π₯, π¦) ∈ πΈ : π₯, π¦ ≥ 0}, π = π and π : π ×π → πΈ deο¬ned by π(π₯, π¦) = (β£π₯ − π¦β£, πΌβ£π₯ − π¦β£), where πΌ ≥ 0 is a constant. Then (π, π) is a cone metric space [4]. Deο¬nition 1.4. (See [4]) Let (π, π) be a cone metric space, π₯ ∈ π and {π₯π }π≥1 a sequence in X. Then (π){π₯π }π≥1 converges to π₯ whenever for every π ∈ πΈ with 0 βͺ π there is a natural number π such that π(π₯π , π₯) βͺ π for all π ≥ π . We denote this by limπ→∞ π₯π = π₯ or π₯π → π₯. (ππ){π₯π }π≥1 is said to Cauchy sequence if for every π ∈ πΈ with 0 βͺ π there is a natural number π such that π(π₯π , π₯π ) βͺ π for all π, π ≥ π . (πππ)(π, π) is called a complete cone metric space if every Cauchy sequence in π is convergent. Lemma 1.5. [8] There is not normal cone with normal constant π < 1. Example 1.6. [8] Let πΈ = πΆR ([0, 1]) endowed with the supremum norm and π = {π ∈ πΈ : π ≥ 0}. Then π is a cone with normal constant of π = 1. Consider the sequence {π₯ ≥ π₯2 ≥ π₯3 ≥ ⋅ ⋅ ⋅ ≥ 0} of elements of πΈ which is decreasing and bounded from below but it is not convergent in πΈ. Therefore, the converse of Lemma 1.5 is not true. Example 1.7. [8] Let πΈ = π1 , π = {{π₯π }π≥1 ∈ πΈ : π₯π ≥ 0, for all π}, (π, π) a metric space and π : π × π → πΈ deο¬ned by π(π₯, π¦) = { π(π₯,π¦) 2π }π≥1 . Then (π, π) is a cone metric space and the normal constant of π is equal to π = 1. Moreover, this example shows that the category of cone metric spaces is bigger than the category of metric spaces. Proposition 1.8. [8] For each π > 1, there is a normal cone with normal constant π > π. 2. Results. In this section we provide our main results. The ο¬rst one is as follows. 12 C. T. AAGE & J. N. SALUNKE Theorem 2.1. Let (π, π) be a complete cone metric space, and P a normal cone with normal constant K. Suppose that the mappings π, π : π → π satisfy πΌπ(π π₯, ππ¦) + π½π(π₯, π π₯) + πΎπ(π¦, ππ¦) ≤ πΏπ(π₯, π¦), (2.1) for all π₯, π¦ ∈ π, πΌ, π½, πΎ, πΏ ≥ 0, π½ < πΏ, πΎ < πΏ and πΏ < πΌ. Then π and π have a unique common ο¬xed point in π. Proof: Let π₯0 be an arbitrary point in π, there is π₯1 and π₯2 in π such that π (π₯0 ) = π₯1 and ππ₯1 = π₯2 . In this way we have π (π₯2π−2 ) = π₯2π−1 , π(π₯2π−1 ) = π₯2π . Put π₯ = π₯2π , π¦ = π₯2π+1 in (2), we have πΌπ(π π₯2π , ππ₯2π+1 ) + π½π(π₯2π , π π₯2π ) + πΎπ(π₯2π+1 , ππ₯2π+1 ) ≤ πΏπ(π₯2π , π₯2π+1 ), This implies that π(π₯2π+1 , π₯2π+2 ) ≤ ππ(π₯2π , π₯2π+1 ). πΏ−π½ . πΌ+πΎ Again we put π₯ = π₯2π , π¦ = π₯2π−1 in (2), we have where π = πΌπ(π π₯2π , ππ₯2π−1 ) + π½π(π₯2π , π π₯2π ) + πΎπ(π₯2π−1 , ππ₯2π−1 ) ≤ πΏπ(π₯2π , π₯2π−1 ) implies that π(π₯2π , π₯2π+1 ) ≤ ππ(π₯2π−1 , π₯2π ) where π = πΏ−πΎ . In this way we have πΌ+π½ π(π₯2π+1 , π₯2π+2 ) ≤ π π ππ π(π₯1 , π₯2 ), and π(π₯2π , π₯2π+1 ) ≤ π π ππ π(π₯0 , π₯1 ). For π < π, we have π(π₯2π , π₯2π ) ≤ π(π₯2π , π₯2π+1 ) + π(π₯2π+1 , π₯2π+2 ) + ⋅ ⋅ ⋅ + π(π₯2π−1 , π₯2π ) ≤ (π π ππ + π π+1 ππ+1 + ⋅ ⋅ ⋅ + π π−1 ππ−1 )π(π₯0 , π₯1 ) + (π π ππ + π π+1 ππ+1 + ⋅ ⋅ ⋅ + π π−1 ππ−1 )π(π₯1 , π₯2 ) ≤ (ππ)π (π(π₯0 , π₯1 ) + π(π₯1 , π₯2 )). 1 − (ππ) From (1) (ππ)π πΎβ₯(π(π₯0 , π₯1 ) + π(π₯1 , π₯2 ))β₯ 1 − (ππ) → 0, β₯π(π₯2π , π₯2π )β₯ ≤ as π → ∞, since ππ < 1. Similarly π(π₯2π , π₯2π+1 ), π(π₯2π+1 , π₯2π+1 ) → 0 as π → ∞. Hence {π₯π } is a Cauchy sequence. Since (π, π) is a complete cone metric space, there exists π’ ∈ π such that π₯π → π’ as π → ∞. Thus π π₯2π → π’ and ππ₯2π+1 → π’ as π → ∞. ON COMMON FIXED POINTS FOR CONTRACTIVE TYPE MAPPINGS IN CONE METRIC SPACES 13 Put π₯ = π’ and π¦ = π₯2π+1 in (2), then πΌπ(π π’, ππ₯2π+1 ) + π½π(π’, π π’) + πΎπ(π₯2π+1 , ππ₯2π+1 ) ≤ πΏπ(π’, π₯2π+1 ) πΌπ(π π’, π₯2π+2 ) + π½π(π’, π π’) + πΎπ(π₯2π+1 , π₯2π+2 ) ≤ πΏπ(π’, π₯2π+1 ). Thus πΏ π(π’, π₯2π+1 ). π½ Now the right hand side of the above inequality approaches zero as π → ∞. Hence β₯π(π’, π π’)β₯ = 0 and π’ = π π’. Now put π₯ = π’, π¦ = π’ in (2) π(π’, π π’) ≤ πΌπ(π π’, ππ’) + π½π(π’, π π’) + πΎπ(π’, ππ’) ≤ πΏπ(π’, π’) πΌπ(π’, ππ’) + π½π(π’, π’) + πΎπ(π’, ππ’) ≤ πΏπ(π’, π’) implies that π(π’, ππ’) ≤ 0. Hence π’ = ππ’. Thus π’ is a common ο¬xed point of π and π. If π£ is a common ο¬xed point of π and π other then π’, then putting π₯ = π’, π¦ = π£ in (2) πΌπ(π π’, ππ£) + π½π(π’, π π’) + πΎπ(π£, ππ£) ≤ πΏπ(π’, π£) πΌπ(π’, π£) + π½π(π’, π’) + πΎπ(π£, π£) ≤ πΏπ(π’, π£) implies that π(π’, π£) ≤ πΏ π(π’, π£). πΌ which gives π(π’, π£) = 0 and π’ = π£. Corollary 2.2. Let (π, π) be a complete cone metric space, and P a normal cone with normal constant K. Suppose that the mapping π : π → π satisο¬es πΌπ(π π π₯, π π π¦) + π½π(π₯, π π π₯) + πΎπ(π¦, π π π¦) ≤ πΏπ(π₯, π¦), (2.2) for all π₯, π¦ ∈ π, πΌ, π½, πΎ, πΏ ≥ 0, πΏ < πΌ and π and π are ο¬xed positive integers. Then π has a unique ο¬xed point in π. Proof. The inequality (3) is obtained from (2) by setting π = π π and π = π π . The results follows from Theorem 2.1. Corollary 2.3. Let (π, π) be a complete cone metric space, and P a normal cone with normal constant K. Suppose that the mapping π : π → π satisο¬es πΌπ(π π₯, π π¦) + π½π(π₯, π π₯) + πΎπ(π¦, π π¦) ≤ πΏπ(π₯, π¦), (2.3) for all π₯, π¦ ∈ π, π₯ β= π¦, πΌ, π½, πΎ, πΏ ≥ 0 and 1 + πΏ < πΌ. Then π has a unique ο¬xed point in π. Proof. Put π = π = 1 in Corollary 2.2. It is clear that if π is a map which has a ο¬xed point π then π is also a ο¬xed point of π π for every natural number π. But the converse is not true, see example [1]. If a map satisο¬es πΉ (π ) = πΉ (π π ) for each π ∈ π , where πΉ (π ) denotes a set of all ο¬xed points of π , then it is said to have property π , see [7]. Moreover, π and π are said to have property π[1] if πΉ (π ) ∩ πΉ (π) = πΉ (π π ) ∩ πΉ (π π ). Theorem 2.4. Let (π, π) be a complete cone metric space, and π a normal cone with normal constant πΎ. Suppose that the mappings π, π : π → π satisfy (2). Then π and π have property π. 14 C. T. AAGE & J. N. SALUNKE Proof. From Theorem 2.1, π and π have a common ο¬xed point in π. Let π’ ∈ πΉ (π π ) ∩ πΉ (π π ). Set π₯ = π π−1 π’, π¦ = π π π’ in (2), we have πΌπ(π π π’, π π+1 π’) + π½π(π π−1 π’, π π π’) + πΎπ(π π π’, π π+1 π’) ≤ πΏπ(π π−1 π’, π π π’) πΌπ(π’, ππ’) + π½π(π π−1 π’, π’) + πΎπ(π’, ππ’) ≤ πΏπ(π π−1 π’, π’) which implies that π(π’, ππ’) ≤ βπ(π π−1 π’, π’) = βπ(π π−1 π’, π π π’). where β = πΏ−π½ πΌ+πΎ . From (2) we have π(π π−1 π’, π π π’) ≤ βπ(π π−2 π’, π π−1 π’). Thus π(π’, ππ’) ≤ βπ(π π−1 π’, π π π’) ≤ β2 π(π π−2 π’, π π−1 π’) ≤ ⋅ ⋅ ⋅ ≤ βπ π(π’, π π’). From (1) β₯π(π’, ππ’)β₯ ≤ βπ πΎβ₯π(π’, π π’)β₯. Now the right hand side of the above inequality approaches zero as π → ∞. Hence β₯π(π’, ππ’)β₯ = 0, and π’ = ππ’, which, from Theorem 2.1, implies that π’ = π π’. Theorem 2.5. Let (π, π) be a complete cone metric space, and π a normal cone with normal constant πΎ. Suppose that the mapping π : π → π satisο¬es (4). Then π has property π . Proof. From Corollary 2.3, π has a unique ο¬xed point. Let π’ ∈ πΉ (π π ). Put π₯ = π π−1 π’, π¦ = π π π’ in (4), then πΌπ(π π π’, π π+1 π’) + π½π(π π−1 π’, π π π’) + πΎπ(π π π’, π π+1 π’) ≤ πΏπ(π π−1 π’, π π π’) πΌπ(π’, π π’) + π½π(π π−1 π’, π’) + πΎπ(π’, π π’) ≤ πΏπ(π π−1 π’, π’) which implies that π(π’, π π’) ≤ βπ(π π−1 π’, π’) = βπ(π π−1 , π π π’) where β = πΏ−π½ πΌ+πΎ . From (4) we have π(π π−1 , π π π’) ≤ βπ(π π−2 , π π−1 π’). Thus π(π’, π π’) ≤ βπ(π π−1 π’, π π π’) ≤ βπ π(π’, π π’). From (1) β₯π(π’, π π’)β₯ ≤ βπ πΎβ₯π(π’, π π’)β₯. Now the right hand side of the above inequality approaches zero as π → ∞. Hence β₯π(π’, π π’)β₯ = 0, and π’ = π π’. 3. Acknowledgment The both authors are heartily thankful of referees for giving valuable suggestions towards this paper. ON COMMON FIXED POINTS FOR CONTRACTIVE TYPE MAPPINGS IN CONE METRIC SPACES 15 References [1] M. Abbas, B.E. Rhoades, Fixed and periodic point results in cone metric spaces, Applied Mathematics Letters 22 (2009) 511-515. [2] M. Abbas, G. Jungck, Common ο¬xed point results for non commuting mappings without continuity in cone metric spaces, J. Math. Anal. Appl., 341 (2008), 416-420. [3] Akbar Azam, Muhammad Arshad and Ismat Beg, Common ο¬xed points of two maps in cone metric spaces, Rendiconti del Circolo Matematico di Palermo, 57, 433-441 (2008). [4] Huang Long-Guang, Zhang Xian, Cone metric spaces and ο¬xed point theorems of contractive mappings, J. Math. Anal. Appl. 332 (2007) 1468-1476. [5] Dejan Ilic, Vladimir Rakocevic, Common ο¬xed points for maps on cone metric space, J. Math. Anal. Appl. 341 (2008) 876-882. [6] G. Jungck, B. E. Rhoades, Fixed points for set valued functions without continuity, Indian J. Pure Appl. Math., 29(3) (1998), 227-238. [7] G.S. Jeong, B.E. Rhoades, Maps for which πΉ (π ) = πΉ (π π ), Fixed Point Theory Appl. 6 (2005) 87-131. [8] Sh. Rezapour, R. Hamlbarani,Some notes on the paper ’Cone metric spaces and ο¬xed point theorems of contractive mappings, J. Math. Anal. Appl. 345 (2008) 719-724. C. T. Aage & J. N. Salunke Department of Mathematics, North Maharashtra University, Jalgaon E-mail address: caage17@gmail.com E-mail address: drjnsalunke@gmail.com