# Some Coupled Fixed Point Theorems in Cone Metric Spaces

- F. Sabetghadam
^{1}, - H. P. Masiha
^{1}Email author and - A. H. Sanatpour
^{2}

**2009**:125426

**DOI: **10.1155/2009/125426

© F. Sabetghadam et al. 2009

**Received: **17 July 2009

**Accepted: **28 September 2009

**Published: **8 October 2009

## Abstract

We prove some coupled fixed point theorems for mappings satisfying different contractive conditions on complete cone metric spaces.

## 1. Introduction

Recently, Huang and Zhang in [1] generalized the concept of metric spaces by considering vector-valued metrics (cone metrics) with values in an ordered real Banach space. They proved some fixed point theorems in cone metric spaces showing that metric spaces really doesnot provide enough space for the fixed point theory. Indeed, they gave an example of a cone metric space and proved existence of a unique fixed point for a selfmap of which is contractive in the category of cone metric spaces but is not contractive in the category of metric spaces. After that, cone metric spaces have been studied by many other authors (see [1–9] and the references therein).

Regarding the concept of coupled fixed point, introduced by Bhaskar and Lakshmikantham [10], we consider the corresponding definition for the mappings on complete cone metric spaces and prove some coupled fixed point theorems in the next section. First, we recall some standard notations and definitions in cone metric spaces.

A cone is a subset of a real Banach space such that

(i) is closed, nonempty and ;

(ii)if are nonnegative real numbers and , then ;

(iii) .

For a given cone , the partial ordering with respect to is defined by if and only if . The notation will stand for , where denotes the interior of . Also, we will use to indicate that and .

The cone is called normal if there exists a constant such that for every if then . The least positive number satisfying this inequality is called the normal constant of (see [1]). The cone is called regular if every increasing (decreasing) and bounded above (below) sequence is convergent in . It is known that every regular cone is normal (see [1], or [7, Lemma 1.1]).

Huang and Zhang defined the concept of a cone metric space in [1] as follows.

Definition 1.1 (see [1]).

Let be a nonempty set and let be a real Banach space equipped with the partial ordering with respect to the cone . Suppose that the mapping satisfies the following conditions:

(*d*_{1})
for all
and
if and only if
;

(*d*_{2})
for all
;

(*d*_{3})
for all
.

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

Definition 1.2 (see [1]).

Let be a cone metric space, and be a sequence in . Then

(i) converges to , denoted by , if for every with there exists a natural number such that for all ;

(ii) is a Cauchy sequence if for every with there exists a natural number such that for all .

A cone metric space is said to be complete if every Cauchy sequence in is convergent in . If for any sequence in there exists a subsequence of such that is convergent in , then the cone metric space is called sequentially compact. Clearly, every sequentially compact cone metric space is complete. Huang and Zhang in [1] investigated the existence and uniqueness of the fixed point for a selfmap on a cone metric space . They considered different types of contractive conditions on . They also assumed to be complete when is a normal cone, and to be sequentially compact when is a regular cone. Later, in [7], Rezapour and Hamlbarani improved some of the results in [1] by omitting the normality assumption of the cone , when is complete. See [4, 6, 7, 9] for more related results about (complete) cone metric spaces and fixed point theorems for different types of mappings on these spaces.

In the rest of this paper, we always suppose that is a real Banach space, is a cone with and is partial ordering with respect to . We also note that the relations and ( ) always hold true.

## 2. Main Results

For a given partially ordered set , Bhaskar and Lakshmikantham in [10] introduced the concept of coupled fixed point of a mapping . Later in [11] Lakshmikantham and Ćirić investigated some more coupled fixed point theorems in partially ordered sets. The following is the corresponding definition of coupled fixed point in cone metric spaces.

Definition 2.1.

Let be a cone metric space. An element is said to be a coupled fixed point of the mapping if and .

In the next theorems of this section, we investigate some coupled fixed point theorems in cone metric spaces.

Theorem 2.2.

where are nonnegative constants with . Then has a unique coupled fixed point.

Proof.

Consequently, for all . Thus, and hence . Similarly, we have meaning that is a coupled fixed point of .

Now, if is another coupled fixed point of then

Since , (2.11) implies that . Hence, we have and the proof of the theorem is complete.

It is worth noting that when the constants in Theorem 2.2 are equal we have the following corollary.

Corollary 2.3.

where is a constant. Then has a unique coupled fixed point.

Example 2.4.

In this case, and are both coupled fixed points of and hence the coupled fixed point of is not unique. This shows that the condition in corollary (2.12) and hence in Theorem 2.2 are optimal conditions for the uniqueness of the coupled fixed point.

Theorem 2.5.

where are nonnegative constants with . Then has a unique coupled fixed point.

Proof.

Since was arbitrary, or equivalently . Similarly, one can get showing that is a coupled fixed point of .

Now, if is another coupled fixed point of then by applying (2.15) we have

and therefore . Similarly, we can get and hence .

Theorem 2.6.

where are nonnegative constants with . Then has a unique coupled fixed point.

Proof.

Since was arbitrary, or equivalently . Similarly, one can get and hence is a coupled fixed point of .

When the constants in Theorems 2.5 and 2.6 are equal, we get the following corollaries.

Corollary 2.7.

where is a constant. Then has a unique coupled fixed point.

Corollary 2.8.

where is a constant. Then has a unique coupled fixed point.

Remark 2.9.

which is a contractive condition of the type (2.26) in Corollary 2.7 (with equal constants). Therefore, one can also reduce the proof of general case (2.15) in Theorem 2.5 to the special case of equal constants. A similar argument is valid for the contractive conditions (2.20) in Theorem 2.6 and (2.27) in Corollary 2.8.

## Declarations

### Acknowledgment

The authors would like to thank the referees for their valuable and useful comments.

## Authors’ Affiliations

## References

- Huang LG, 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.087MathSciNetView ArticleMATHGoogle Scholar - 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.070MathSciNetView ArticleMATHGoogle Scholar - Haghi RH, Rezapour Sh:
**Fixed points of multifunctions on regular cone metric spaces.***Expositiones Mathematicae*. In press - 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.065MathSciNetView ArticleMATHGoogle Scholar - Klim D, Wardowski D:
**Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(11):5170–5175. 10.1016/j.na.2009.04.001MathSciNetView ArticleMATHGoogle Scholar - Radenović S:
**Common fixed points under contractive conditions in cone metric spaces.***Computers and Mathematics with Applications*2009,**58**(6):1273–1278. 10.1016/j.camwa.2009.07.035MathSciNetView ArticleMATHGoogle Scholar - Rezapour Sh, 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.049MathSciNetView ArticleMATHGoogle Scholar - Rezapour Sh, Haghi RH:
**Fixed point of multifunctions on cone metric spaces.***Numerical Functional Analysis and Optimization*2009,**30**(7–8):825–832. 10.1080/01630560903123346MathSciNetView ArticleMATHGoogle Scholar - Rezapour Sh, Derafshpour M:
**Some common fixed point results in cone metric spaces.**to appear in*Journal of Nonlinear and Convex Analysis* - Bhaskar TG, Lakshmikantham V:
**Fixed point theorems in partially ordered metric spaces and applications.***Nonlinear Analysis: Theory, Methods & Applications*2006,**65**(7):1379–1393. 10.1016/j.na.2005.10.017MathSciNetView ArticleMATHGoogle Scholar - Lakshmikantham V, Ćirić L:
**Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(12):4341–4349. 10.1016/j.na.2008.09.020MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.