Skip to main content
  • Research Article
  • Open access
  • Published:

Some Common Fixed Point Results in Cone Metric Spaces

Abstract

We prove a result on points of coincidence and common fixed points for three self-mappings satisfying generalized contractive type conditions in cone metric spaces. We deduce some results on common fixed points for two self-mappings satisfying contractive type conditions in cone metric spaces. These results generalize some well-known recent results.

1. Introduction

Huang and Zhang [1] recently have introduced the concept of cone metric space, where the set of real numbers is replaced by an ordered Banach space, and they have established some fixed point theorems for contractive type mappings in a normal cone metric space. Subsequently, some other authors [25] have generalized the results of Huang and Zhang [1] and have studied the existence of common fixed points of a pair of self mappings satisfying a contractive type condition in the framework of normal cone metric spaces.

Vetro [5] extends the results of Abbas and Jungck [2] and obtains common fixed point of two mappings satisfying a more general contractive type condition. Rezapour and Hamlbarani [6] prove that there aren't normal cones with normal constant and for each there are cones with normal constant . Also, omitting the assumption of normality they obtain generalizations of some results of [1]. In [7] Di Bari and Vetro obtain results on points of coincidence and common fixed points in nonnormal cone metric spaces. In this paper, we obtain points of coincidence and common fixed points for three self-mappings satisfying generalized contractive type conditions in a complete cone metric space. Our results improve and generalize the results in [1, 2, 5, 6, 8].

2. Preliminaries

We recall the definition of cone metric spaces and the notion of convergence [1]. Let be a real Banach space and be a subset of . The subset is called an order cone if it has the following properties:

(i) is nonempty, closed, and

(ii) and

(iii)

For a given cone , we can define a partial ordering on with respect to by if and only if . We will write if and , while will stands for , where denotes the interior of The cone is called normal if there is a number such that for all

(2.1)

The least number satisfying (2.1) is called the normal constant of

In the following we always suppose that is a real Banach space and is an order cone in with and is the partial ordering with respect to

Definition 2.1.

Let be a nonempty set. Suppose that the mapping satisfies

(i) for all and if and only if ;

(ii) for all ;

(iii), for all

Then is called a cone metric on , and is called a cone metric space.

Let be a sequence in , and . If for every with there is such that for all then is said to be convergent, converges to and is the limit of We denote this by or as If for every with there is such that for all then is called a Cauchy sequence in . If every Cauchy sequence is convergent in , then is called a complete cone metric space.

3. Main Results

First, we establish the result on points of coincidence and common fixed points for three self-mappings and then show that this result generalizes some of recent results of fixed point.

A pair of self-mappings on is said to be weakly compatible if they commute at their coincidence point (i.e., whenever ). A point is called point of coincidence of a family , , of self-mappings on if there exists a point such that for all .

Lemma 3.1.

Let be a nonempty set and the mappings have a unique point of coincidence in If and are weakly compatibles, then , and have a unique common fixed point.

Proof.

Since is a point of coincidence of , and . Therefore, for some By weakly compatibility of and we have

(3.1)

It implies that (say). Then is a point of coincidence of , and . Therefore, by uniqueness. Thus is a unique common fixed point of , and

Let be a cone metric space, be self-mappings on such that and . Choose a point in such that . This can be done since . Successively, choose a point in such that Continuing this process having chosen , we choose and in such that

(3.2)

The sequence is called an --sequence with initial point .

Proposition 3.2.

Let be a cone metric space and be an order cone. Let be such that . Assume that the following conditions hold:

(i), for all , with , where are nonnegative real numbers with ;

(ii), for all , whenever .

Then every --sequence with initial point is a Cauchy sequence.

Proof.

Let be an arbitrary point in and be an --sequence with initial point . First, we assume that for all . It implies that for all . Then,

(3.3)

It implies that

(3.4)

so

(3.5)

Similarly, we obtain

(3.6)

Now, by induction, for each we deduce

(3.7)

Let

(3.8)

Then Now, for , we have

(3.9)

In analogous way, we deduce

(3.10)

Hence, for

(3.11)

where is the integer part of .

Fix and choose such that Since

(3.12)

there exists be such that

(3.13)

for all . The choice of assures

(3.14)

so

(3.15)

Consequently, for all , with , we have

(3.16)

and hence is a Cauchy sequence.

Now, we suppose that for some . If and , by (ii) we have

(3.17)

which implies . If we use (i) to obtain . Similarly, we deduce that and so for every . Hence is a Cauchy sequence.

Theorem 3.3.

Let be a cone metric space and be an order cone. Let be such that . Assume that the following conditions hold:

(i), for all , with , where are nonnegative real numbers with ;

(ii), for all , whenever .

If or is a complete subspace of , then , and have a unique point of coincidence. Moreover, if and are weakly compatibles, then , and have a unique common fixed point.

Proof.

Let be an arbitrary point in . By Proposition 3.2 every --sequence with initial point is a Cauchy sequence. If is a complete subspace of , there exist such that (this holds also if is complete with ). From

(3.18)

we obtain

(3.19)

Fix and choose be such that

(3.20)

for all , where . Consequently and hence for every . From

(3.21)

being closed, as , we deduce and so . This implies that

Similarly, by using the inequality,

(3.22)

we can show that It implies that is a point of coincidence of , and , that is

(3.23)

Now, we show that , and have a unique point of coincidence. For this, assume that there exists another point in such that , for some in From

(3.24)

we deduce Moreover, if and are weakly compatibles, then

(3.25)

which implies (say). Then is a point of coincidence of , and therefore, by uniqueness. Thus is a unique common fixed point of , and .

From Theorem 3.3, if we choose , we deduce the following theorem.

Theorem 3.4.

Let be a cone metric space, be an order cone and be such that . Assume that the following condition holds:

(3.26)

for all where with .

If or is a complete subspace of , then and have a unique point of coincidence. Moreover, if the pair is weakly compatible, then and have a unique common fixed point.

Theorem 3.4 generalizes Theorem 1 of [5].

Remark 3.5.

In Theorem 3.4 the condition (3.26) can be replaced by

(3.27)

for all , where with .

(3.27)(3.26) is obivious. (3.26)(3.27). If in (3.26) interchanging the roles of and and adding the resultant inequality to (3.26), we obtain

(3.28)

From Theorem 3.4, we deduce the followings corollaries.

Corollary 3.6.

Let be a cone metric space, be an order cone and the mappings satisfy

(3.29)

for all where, If and is a complete subspace of , then and have a unique point of coincidence. Moreover, if the pair is weakly compatible, then and have a unique common fixed point.

Corollary 3.6 generalizes Theorem 2.1 of [2], Theorem 1 of [1], and Theorem 2.3 of [6].

Corollary 3.7.

Let be a cone metric space, be an order cone and the mappings satisfy

(3.30)

for all , where If and is a complete subspace of , then and have a unique point of coincidence. Moreover, if the pair is weakly compatible, then and have a unique common fixed point.

Corollary 3.7 generalizes Theorem 2.3 of [2], Theorem 3 of [1], and Theorem 2.6 of [6].

Example 3.8.

Let , and Define as follows:

(3.31)

Define mappings as follow:

(3.32)

Then, if

(3.33)

which implies

(3.34)

for all with .

Therefore, Theorem 3.4 is not applicable to obtain fixed point of or common fixed points of and .

Now define a constant mapping by , then for

(3.35)

It follows that all conditions of Theorem 3.3 are satisfied for and so , and have a unique point of coincidence and a unique common fixed point .

4. Applications

In this section, we prove an existence theorem for the common solutions for two Urysohn integral equations. Throughout this section let , , and for every , where is a constant. It is easily seen that is a complete cone metric space.

Theorem 4.1.

Consider the Urysohn integral equations

(4.1)

where , . Assume that are such that

(i) for each where

(4.2)

(ii)there exist such that

(4.3)

where , for every with and .

(iii)whenever

(4.4)

for every .

Then the system of integral equations (4.1) have a unique common solution.

Proof.

Define by . It is easily seen that

(4.5)

for every , with and if

(4.6)

for every . By Theorem 3.3, if is the identity map on , the Urysohn integral equations (4.1) have a unique common solution.

References

  1. Huang L-G, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. Journal of Mathematical Analysis and Applications 2007,332(2):1468–1476. 10.1016/j.jmaa.2005.03.087

    Article  MathSciNet  MATH  Google Scholar 

  2. Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. Journal of Mathematical Analysis and Applications 2008,341(1):416–420. 10.1016/j.jmaa.2007.09.070

    Article  MathSciNet  MATH  Google Scholar 

  3. Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces. Applied Mathematics Letters 2009,22(4):511–515. 10.1016/j.aml.2008.07.001

    Article  MathSciNet  MATH  Google Scholar 

  4. Ilić D, Rakočević V: Common fixed points for maps on cone metric space. Journal of Mathematical Analysis and Applications 2008,341(2):876–882. 10.1016/j.jmaa.2007.10.065

    Article  MathSciNet  MATH  Google Scholar 

  5. Vetro P: Common fixed points in cone metric spaces. Rendiconti del Circolo Matematico di Palermo. Serie II 2007,56(3):464–468. 10.1007/BF03032097

    Article  MathSciNet  MATH  Google Scholar 

  6. Rezapour S, Hamlbarani R: Some notes on the paper "Cone metric spaces and fixed point theorems of contractive mappings". Journal of Mathematical Analysis and Applications 2008,345(2):719–724. 10.1016/j.jmaa.2008.04.049

    Article  MathSciNet  MATH  Google Scholar 

  7. Di Bari C, Vetro P: -pairs and common fixed points in cone metric spaces. Rendiconti del Circolo Matematico di Palermo 2008,57(2):279–285. 10.1007/s12215-008-0020-9

    Article  MathSciNet  MATH  Google Scholar 

  8. Raja P, Vaezpour SM: Some extensions of Banach's contraction principle in complete cone metric spaces. Fixed Point Theory and Applications 2008, 2008:-11.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pasquale Vetro.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Arshad, M., Azam, A. & Vetro, P. Some Common Fixed Point Results in Cone Metric Spaces. Fixed Point Theory Appl 2009, 493965 (2009). https://doi.org/10.1155/2009/493965

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1155/2009/493965

Keywords