- Research
- Open Access

# Some fixed and coincidence point theorems for expansive maps in cone metric spaces

- Wasfi Shatanawi
^{1}and - Fadi Awawdeh
^{1}Email author

**2012**:19

https://doi.org/10.1186/1687-1812-2012-19

© Shatanawi and Awawdeh; licensee Springer. 2012

**Received:**11 October 2011**Accepted:**20 February 2012**Published:**20 February 2012

## Abstract

In this article, we establish some common fixed and common coincidence point theorems for expansive type mappings in the setting of cone metric spaces. Our results extend some known results in metric spaces to cone metric spaces. Also, we introduce some examples the support the validity of our results.

**Mathematics Subject Classification**: 54H25; 47H10; 54E50.

## Keywords

- common fixed point
- cone metric space
- coincidence fixed point

## 1. Introduction

Huang and Zhang [1] introduced the notion of cone metric spaces as a generalization of metric spaces. They replacing the set of real numbers by an ordered Banach space. Huang and Zhang [1] presented the notion of convergence of sequences in cone metric spaces and proved some fixed point theorems. Then after, many authors established many fixed point theorems in cone metric spaces. For some fixed point theorems in cone metric spaces we refer the reader to [2–30].

In the present article, *E* stands for a real Banach space.

**Definition 1.1**.

*Let P be a subset of E with*$\text{Int}\left(P\right)\ne \mathrm{0\u0338}$.

*Then P is called a cone if the following conditions are satisfied:*

- (1)
*P is closed and P*≠ {*θ*}. - (2)
*a, b*∈**R**^{ + }*, x, y*∈*P implies ax*+*by*∈*P*. - (3)
*x*∈*P*∩ -*P implies x = θ*.

For a cone *P*, define a partial ordering ≼ with respect to *P* by *x* ≼ *y* if and only if *y - x* ∈ *P*. We shall write *x* ≺ *y* to indicate that *x* ≼ *y* but *x* ≠ *y*, while *x* ≪ *y* will stand for *y - x* ∈ Int *P*. It can be easily shown that λInt(*P*) ⊆ Int(*P*) for all positive scalar λ.

**Definition 1.2**. [1]

*Let X be a nonempty set. Suppose the mapping d*:

*X*×

*X*→

*E satisfies*

- (1)
*θ*≺*d*(*x, y*)*for all x, y*∈*X and d*(*x, y*)*= θ if and only if x = y*. - (2)
*d*(*x, y*)*= d*(*y, x*)*for all x, y*∈*X*. - (3)
*d*(*x, y*) ≼*d*(*x, z*) +*d*(*y, z*)*for all x, y*∈*X*.

Then *d* is called a cone metric on *X*, and (*X, d)* is called a cone metric space.

**Definition 1.3**. [1]*Let* (*X, d*) *be a cone metric space. Let* (*x*_{
n
}) *be a sequence in X and x* ∈ *X. If for every c* ∈ *E with θ* ≪ *c, there is an N* ∈ **N** *such that d*(*x*_{
n
}*, x*) ≪ *c for all n* ≥ *N, then* (*x*_{
n
}) *is said to be convergent and* (*x*_{
n
}) *converges to x and x is the limit of (x*_{
n
})*. We denote this by* lim_{n→+∞}*x*_{
n
}*= x or x*_{
n
}→ *x as n* → +∞. *If for every c* ∈ *E with θ* ≪ *c there is an N* ∈ **N** *such that d*(*x*_{
n
}*,x*_{
m
}) ≪ *c for all n,m* ≥ *N, then* (*x*_{
n
}) *is called a Cauchy sequence in X. The space* (*X,d*) *is called a complete cone metric space if every Cauchy sequence is convergent*.

*P*in a real Banach space

*E*is called normal if there is a number λ > 0 such that for all

*x,y*∈

*E*,

Iiker Ṣahin and Mustafa Telci [30] studied a theorem on common fixed points of expansive type mappings in cone metric spaces.

**Definition 1.4**. [30]*Let E and F be real Banach spaces and P and Q be cones in E and F, respectively. Let* (*X, d*) *and* (*Y, ρ*) *be cone metric spaces, where d : X* × *X* → *E and ρ* : *Y* × *Y* → *F. A function f* : *X* → *Y is said to be continuous at x*_{0} ∈ *X, if for every c ∈ F with* 0 ≪ *c, there exists b* ∈ *E with* 0 ≪ *b such that ρ*(*fx, fx*_{0}) ≪ *c whenever x* ∈ *X and d*(*x, x*_{0}) ≪ *b*.

**Lemma 1.1**. [30]*Let* (*X, d*) *and* (*Y, ρ*) *be cone metric spaces. A function f* : *X* → *Y is continuous at a point x*_{0} ∈ *X if and only if whenever a sequence* (*x*_{
n
}) *in X converges to x*_{0}*, the sequence* (*fx*_{
n
}) *converges to fx*_{0}.

**Theorem 1.1**. [30]

*Let*(

*X, d*)

*be a complete cone metric space and P be a cone. Let f and g be surjective self-mappings of X satisfying the following inequalities*

*for all x* ∈ *X, where a,b* > 1. *If either f or g is continuous, then f and g have a common fixed point*.

The aim of this article is to study new theorems of common fixed and coincidence point for expansive mappings in cone metric spaces under a set of conditions. Our results generalize several well known comparable results in the literature. Also, we introduced some examples to support the validity of our results.

## 2. Main results

We start with the following theorem

**Theorem 2.1**.

*Let*(

*X, d*)

*be a cone metric space with a solid cone P. Let T, f : X*→

*X be mappings satisfying:*

*for all x, y*∈

*X where a,b,c*≥ 0

*with a + b +c*> 1.

*Suppose the following hypotheses:*

- (1)
*b*< 1*or c*< 1. - (2)
*fX*⊆*TX*. - (3)
*TX is a complete subspace of X*.

*Then T and f have a coincidence point*.

**Proof**. Let *x*_{0} ∈ *X*. Since *fX* ⊆ *TX*, we choose *x*_{1} ∈ *X* such that *Tx*_{1} = *fx*_{0}. Again, we can choose *x*_{2} ∈ X such that *Tx*_{2} = *fx*_{1}. Continuing in the same way, we construct a sequence (*x*_{
n
}) in *X* such that *Tx*_{n+ 1}*= fx*_{
n
}for all *n* ∈ **N** ∪ {**0**}.

If *fx*_{m-1}*= fx*_{
m
}for some *m* ∈ **N**, then *Tx*_{
m
}= *fx*_{
m
}. Thus *x*_{
m
}is a coincidence point of *T* and *f*.

Now, assume that *x*_{n-1}≠ *x*_{
n
}for all *n* ∈ **N**.

**Case (1):** Suppose *b* < 1.

**Case (2):** Suppose *c* < 1.

*m*>

*n*, we have

*θ*≪

*c*be given, choose

*δ*> 0 such that

*c*+

*N*

_{δ}(0) ⊆

*P*, where

*N*

_{1}such that

*m*≥

*N*

_{1}. Then

*m*≥

*N*

_{1}. Thus,

for all *m > n*. Therefore (*Tx*_{
n
}) is a cauchy sequence in (*TX, d*). Since (*TX, d*) is a complete cone metric space, there *is u* ∈ *X* such that (*Tx*_{
n
}) converges to *Tu* as *n* → +∞. Hence *fx*_{
n
}converges to *Tu* as *n* → +∞. Since *a* + *b* + *c* > 1, we have *a, b* and *c* are not all 0. So we have the following cases.

**Case 1**: If

*a*≠ 0, then

*θ*≪

*c*be given, choose

*δ*> 0 such that

*c*+

*N*

_{δ}(0) ⊆

*P*, where

*n*

_{0}∈

**N**such that

*n*≥

*n*

_{0}. Then

*n*≥

*n*

_{0}. Thus,

for all *n* ≥ *n*_{0}. Thus *fx*_{
n
}→ *fu* as *n* → +∞. By uniqueness of limit, we have *Tu* = *fu*. Therefore *T* and *f* have a coincidence point.

**Case 2**: If

*b*≠ 0, then

As similar proof of Case (1), we can show that *fu* = *Tu*. Thus *f* and *T* have a coincidence point.

**Case 3**: If

*c*≠ 0, then

As similar proof of Case (1), we can show that *fu = Tu*. Thus *f* and *T* have a coincidence point.

**Corollary 2.1**.

*Let (X,d*)

*be a cone metric space with a solid cone P. Let T, f : X*→

*X be mappings satisfying:*

*for all x, y*∈

*X where a, b*≥ 0

*with a + b*> 1

*and b*< 1.

*Suppose the following hypotheses:*

- (1)
*fX*⊆*TX*. - (2)
*TX is a complete subspace of X*.

*Then T and f have a coincidence point*.

**Corollary 2.2**.

*Let*(

*X, d*)

*be a complete cone metric space with a solid cone P. Let T, f :X*→

*X be mappings satisfying:*

*for all x, y*∈

*X where a > 1. Suppose the following hypotheses:*

- (1)
*fX*⊆*TX*. - (2)
*TX is a complete subspace of X*.

*Then T and f have a coincidence point*.

**Corollary 2.3**.

*Let*(

*X, d*)

*be a complete cone metric space with a solid cone P. Let T :X*→

*X be a surjective mapping satisfying:*

*for all x, y* ∈ *X where a,b,c* ≥ 0 *with a + b + c* > 1. *Suppose b* < 1 *or c* < 1. *Then T has a fixed point*.

**Proof**. Follows from Theorem 2.1 by taking *f* = *I*, the identity map.

**Corollary 2.4**.

*Let*(

*X, d*)

*be a complete cone metric space with a solid cone P. Let T :X*→

*X be a surjective mapping satisfying:*

*for all x, y* ∈ *X where with a* > 1. *Then T has a fixed point*.

Putting *E* = **R**, *P =* {*x* ∈ **R** : *x* ≥ 0} and *d* : *X* × *X* → **R** in Corollaries 2.1 and 2.2, we have the following results:

**Corollary 2.5**.

*Let*(

*X, d*)

*be a complete metric space. Let T*:

*X*→

*X be a surjective mapping satisfying:*

*for all x, y* ∈ *X where a, b ≥ 0 with a + b > 1 and b* < 1. *Then T has a fixed point*.

**Corollary 2.6**.

*Let*(

*X, d*)

*be a complete metric space. Let T*:

*X*→

*X be a surjective mapping satisfying:*

*for all x, y* ∈ *X where a, b ≥ 0 with a + b* > 1 *and b < 1. Then T has a fixed point*.

Now, we present a fixed point theorem for two maps.

**Theorem 2.2**.

*Let T, S*:

*X*→

*X be two surjective mappings of a complete cone metric space*(

*X, d) with a solid cone P. Suppose that T and S satisfying the following inequalities*

*and*

*for all x* ∈ *X and some nonnegative real numbers a, b and k with a* > 1 + 2*k and b* >1 *+* 2*k. If T or S is continuous, then T and S have a common fixed point*

**Proof**. Let

*x*

_{0}be an arbitrary point in

*X*. Since

*T*is surjective, there exists

*x*

_{1}∈

*X*such that

*x*

_{0}=

*Tx*

_{1}. Also, since

*S*is surjective, there exists

*x*

_{2}∈

*X*such that

*x*

_{2}

*= Sx*

_{1}. Continuing this process, we construct a sequence (

*x*

_{ n }) in

*X*such that

*x*

_{2n}=

*Tx*

_{2n+1}and

*x*

_{2n+1}

*= Sx*

_{2n+2}for all

*n*∈

**N**∪ {0}. Now, for

*n*∈

**N**∪ {0}, we have

*d*(

*x*

_{2n- 1}

*,x*

_{2n}) +

*d*(

*x*

_{2n}

*, x*

_{2n+1}) ≽

*d*(

*x*

_{2n- 1}

*,x*

_{2n+ 1}), we have

*n*-times, we get

*m*>

*n*, we have

*x*

_{ n }) is a Cauchy sequence in the complete cone metric space (

*X, d*). Then there exists

*v*∈

*X*such that

*x*

_{ n }→

*v*as

*n*→ +∞. Therefore

*x*

_{2n+ 1}→

*v*and

*x*

_{2n+ 2}→

*v*as

*n*→ +∞. Without loss of generality, we may assume that

*T*is continuous, then

*Tx*

_{2n+ 1}→

*Tv*as

*n*→ +∞. But

*Tx*

_{2n+ 1}

*= x*

_{ 2n }→

*v*as

*n*→ +∞. Thus, we have

*Tv*=

*v*. Since

*S*is surjective, there exists

*w*∈

*X*such that

*Sw = v*. Now,

*kd*(

*v,w*) ≽

*ad*(

*v,w*). Thus

Since *a > k*, we conclude that *d*(*v, w*) = *θ*. So *v = w*. Hence *Tv = Sv = v*. Therefore *v* is a common fixed point of *T* and *S*.

By taking b = *a* in Theorem 2.2, we have the following result.

**Corollary 2.7**.

*Let T, S*:

*X*→

*X be two surjective mappings of a complete cone metric space*(

*X, d*)

*with a solid cone P. Suppose that T and S satisfying the following inequalities*

*and*

*for all x* ∈ *X and some nonnegative real numbers a and k with a* > 1 + 2*k. If T or S is continuous, then T and f have a common fixed point*

By taking *S = T* in Corollary 2.7, we have the following corollary.

**Corollary 2.8**.

*Let T : X*→

*X be a surjective mapping of a complete cone metric space*(

*X, d*)

*with a solid cone P. Suppose that T satisfying*

*for all x* ∈ *X and some nonnegative real number a and k with a* > 1 + 2*k. If T is continuous, then T has a fixed point*.

Now, we present some examples to illustrate the useability of our results.

**Example 2.1**. (The case of normal cone) *Let X =* [0,+∞), *E* = **R**^{2}. *Let P =* {(*a, b*) *:a* ≥ *0,b* ≥ 0} *be the cone with d(x, y) = (*|*x* - *y*|, |*x* - *y*|). *Then* (*X, d*) *is a complete cone metric space. Define T* : *X* → *X by Tx* = 2*x. Then T has a fixed point*.

**Proof**. Note that

for all *x* ∈ *X*. Thus *T* satisfies all the hypotheses of Corollary 2.8 and hence *T* has a fixed point. Here 0 is the fixed point of *T*.

**Example 2.2**. (The case of non-normal cone)

*Let X*= [0, 1], $E={C}_{\mathbf{R}}^{1}\left(\left[0,1\right]\right)$.

*Let P = {ϕ*∈

*E: ϕ*(

*t*) ≥ 0

*, t*∈ [0, 1]}.

*Define the mapping d*:

*X*×

*X*→

*E by*

*where ϕ* ∈ *P is a fixed function, for example ϕ*(*t) = e*^{
t
}*. Define T, f* : *X* → *X by*$Tx=\frac{1}{4}x$*and*$fx=\frac{1}{16}x$*. Then T and f have a coincidence point*.

**Proof**. Note that

for all *x, y* ∈ *X* and *t* ∈ [0, 1]. Thus *T* and *f* satisfy all the hypotheses of Corollary 2.2 and hence *T* and *f* have a coincidence point. Here 0 is the coincidence point of *T* and f.

## Declarations

### Acknowledgements

The authors thank the editor and the referees for their useful comments and suggestions.

## Authors’ Affiliations

## References

- Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings.
*J Math Anal Appl*2007, 332: 1468–1476. 10.1016/j.jmaa.2005.03.087MATHMathSciNetView ArticleGoogle Scholar - Arshad M, Azam A, Beg I: Common fixed points of two maps in cone metric spaces.
*Rend Circ Mat Palermo*2008, 57: 433–441. 10.1007/s12215-008-0032-5MATHMathSciNetView ArticleGoogle Scholar - Arshad M, Azam A, Vetro P: Some common fixed point results in cone metric spaces.
*Fixed Point Theory Appl*2009, 2009: 11. (Article ID 493965)MathSciNetView ArticleGoogle Scholar - Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for
*w*-compatible mappings.*Appl Math Comput*2010.Google Scholar - Abbas M, Rhoades BE: Fixed and periodic point results in cone metric spaces.
*Appl Math Lett*2009, 22: 511–515. 10.1016/j.aml.2008.07.001MATHMathSciNetView ArticleGoogle Scholar - Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces.
*J Math Anal Appl*2008, 341: 416–420. 10.1016/j.jmaa.2007.09.070MATHMathSciNetView ArticleGoogle Scholar - Altun I, Durmaz G: Some fixed point theorems on ordered cone metric spaces.
*Rend Circ Mat Palermo*2009, 58: 319–325. 10.1007/s12215-009-0026-yMATHMathSciNetView ArticleGoogle Scholar - Altun I, Damjanović B, Djorić D: Fixed point and common fixed point theorems on ordered cone metric spaces.
*Appl Math Lett*2010, 23: 310–316. 10.1016/j.aml.2009.09.016MATHMathSciNetView ArticleGoogle Scholar - Aydi H, Nashine HK, Samet B, Yazidi H: Coincidence and common fixed point results in partially ordered cone metric spaces and applications to integral equations.
*Nonlinear Anal*2011, 74: 6814–6825. 10.1016/j.na.2011.07.006MATHMathSciNetView ArticleGoogle Scholar - Aydi H, Samet B, Vetro C: Coupled fixed point results in cone metric spaces for compatible mappings.
*Fixed Point Theory Appl*2011, 2011: 27. 10.1186/1687-1812-2011-27MathSciNetView ArticleGoogle Scholar - Azam A, Beg I, Arshad M: Fixed point in topological vector space-valued cone metric spaces.
*Fixed Point Theory Appl*2010, 2010: 9. (Article ID 604084)MathSciNetView ArticleGoogle Scholar - Choudhury BS, Metiya N: Fixed points of weak contractions in cone metric spaces.
*Nonlinear Anal*2010, 72: 1589–1593. 10.1016/j.na.2009.08.040MATHMathSciNetView ArticleGoogle Scholar - Choudhury BS, Metiya N: The point of coincidence and common fixed point for a pair of mappings in cone metric spaces.
*Comput Math Appl*2010, 60: 1686–1695. 10.1016/j.camwa.2010.06.048MATHMathSciNetView ArticleGoogle Scholar - Dordivić M, Dorić D, Kadelburg Z, Radenović S, Spasić D: Fixed point results under
*c*-distance in tvs-cone metric spaces.*Fixed Point Theory Appl*2011, 2011: 29. 10.1186/1687-1812-2011-29View ArticleGoogle Scholar - Di Bari C, Vetro P: Weakly
*φ*-pairs and common fixed points in cone metric spaces.*Rend Circ Mat Palermo*2009, 58: 125–132. 10.1007/s12215-009-0012-4MATHMathSciNetView ArticleGoogle Scholar - Di Bari D, Vetro P:
*φ*-pairs and common fixed points in cone metric spaces.*Rend Circolo Matematico di Palermo*2008, 57: 279–285. 10.1007/s12215-008-0020-9MATHMathSciNetView ArticleGoogle Scholar - Wei-Shih Du: A note on cone metric fixed point theory and its equivalence.
*Nonlinear Anal*2010, 72: 2259–2261. 10.1016/j.na.2009.10.026MATHMathSciNetView ArticleGoogle Scholar - Ilić D, Rakočević V: Quasi-contraction on a cone metric space.
*Appl Math Lett*2009, 22: 728–731. 10.1016/j.aml.2008.08.011MATHMathSciNetView ArticleGoogle Scholar - Ilić D, Rakočević V: Common fixed points for maps on cone metric space.
*J Math Anl Appl*2008, 341: 876–882. 10.1016/j.jmaa.2007.10.065MATHView ArticleGoogle Scholar - Janković S, Kadelburg Z, Radenović S, Rhoades BE: Assad-Kirk-Type fixed point theorems for a pair of nonself mappings on cone metric spaces.
*Fixed Point Theory Appl*2009., 2009: (Article ID 761086)Google Scholar - Janković S, Golubović Z, Radenović S: Compatible and weakly compatible mappings in cone metric spaces.
*Math Comput Model*2010, 52: 1728–1738. 10.1016/j.mcm.2010.06.043MATHView ArticleGoogle Scholar - Kadelburg Z, Pavlović M, Radenović S: Common fixed point theorems for ordered contractions and quasicontractions in ordered cone metric spaces.
*Comput Math Appl*2010, 59: 3148–3159. 10.1016/j.camwa.2010.02.039MATHMathSciNetView ArticleGoogle Scholar - Khojasteh F, Razani A, Moradi S: A fixed point of generalized
*T*_{ F }-contraction mappings in cone metric spaces.*Fixed Point Theory Appl*2011, 2011: 14. 10.1186/1687-1812-2011-14MathSciNetView ArticleGoogle Scholar - Sumitra R, Rhymend Uthariaraj R, Hemavathy R, Vijayaraju P: Common fixed point theorem for non-self mappings satisfying generalized Ćirić type contraction condition in cone metric space.
*Fixed Point Theory Appl*2010, 2010: 17. (Article ID 408086)MathSciNetView ArticleGoogle Scholar - Shatanawi W: Some common coupled fixed point results in cone metric spaces.
*Int J Math Anal*2010, 4: 2381–2388.MATHMathSciNetGoogle Scholar - Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results.
*Comput Math Appl*2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074MATHMathSciNetView ArticleGoogle Scholar - D Turkoglu D, Abuloha M: Cone metric spaces and fixed point theorems in diametrically contractive mappings.
*Acta Mathematica Sinica (English Series)*2010, 26: 489–496.MathSciNetView ArticleGoogle Scholar - Vetro P: Common fixed points in cone metric spaces.
*Rend Circ Mat Palermo*2010, 56: 464–468.MathSciNetView ArticleGoogle Scholar - Şahin İ, Telci M: Fixed points of contractive mappings on complete cone metric spaces.
*Hacet J Math Stat*2009, 38: 59–67.MATHMathSciNetGoogle Scholar - Ṣahin İ, Telci M: A theorem on common fixed points of expansion type mappings in cone metric spaces.
*An Şt Univ Ovidius Constanţa*2010, 18: 329–336.Google Scholar - Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings.
*Math Japon*1984, 29: 631–636.MATHMathSciNetGoogle Scholar

## Copyright

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