- Research
- Open access
- Published:
Some fixed and coincidence point theorems for expansive maps in cone metric spaces
Fixed Point Theory and Applications volume 2012, Article number: 19 (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.
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. 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 limn→+∞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.
The cone 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 x0 ∈ X, if for every c ∈ F with 0 ≪ c, there exists b ∈ E with 0 ≪ b such that ρ(fx, fx0) ≪ c whenever x ∈ X and d(x, x0) ≪ b.
Lemma 1.1. [30]Let (X, d) and (Y, ρ) be cone metric spaces. A function f : X → Y is continuous at a point x0 ∈ X if and only if whenever a sequence (x n ) in X converges to x0, the sequence (fx n ) converges to fx0.
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 x0 ∈ X. Since fX ⊆ TX, we choose x1 ∈ X such that Tx1 = fx0. Again, we can choose x2 ∈ X such that Tx2 = fx1. Continuing in the same way, we construct a sequence (x n ) in X such that Txn+ 1= fx n for all n ∈ N ∪ {0}.
If fxm-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 xn-1≠ x n for all n ∈ N.
Case (1): Suppose b < 1.
By (1), we have
Thus, we have
Hence
Case (2): Suppose c < 1.
By (1), we have
Thus, we have
Hence
In Case (1), we let
and in Case (2), we let
Thus in both cases, we have λ < 1 and
By (4), we have
So for m > n, we have
Let θ ≪ c be given, choose δ > 0 such that c + Nδ(0) ⊆ P, where
Also, choose a natural number N1 such that
for m ≥ N1. Then
for all m ≥ N1. 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
Hence
Let θ ≪ c be given, choose δ > 0 such that c + Nδ(0) ⊆ P, where
Since . We choose a natural number n0 ∈ N such that
for n ≥ n0. Then
for all n ≥ n0. Thus,
for all n ≥ n0. 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
Hence
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
Hence
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 + 2k and b >1 + 2k. If T or S is continuous, then T and S have a common fixed point
Proof. Let x0 be an arbitrary point in X. Since T is surjective, there exists x1 ∈ X such that x0 = Tx1. Also, since S is surjective, there exists x2 ∈ X such that x2= Sx1. Continuing this process, we construct a sequence (x n ) in X such that x2n= Tx2n+1and x2n+1= Sx2n+2for all n ∈ N ∪ {0}. Now, for n ∈ N ∪ {0}, we have
Thus, we have
which implies that
Hence
On other hand, we have
Thus, we have
Since d(x2n- 1,x2n) + d(x2n, x2n+1) ≽ d(x2n- 1,x2n+ 1), we have
Hence
Let
Then by combining (7) and (8), we have
Repeating (9) n-times, we get
Thus, for m > n, we have
As similar arguments to proof of Theorem 2.1, we can show that (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 x2n+ 1→ v and x2n+ 2→ v as n → +∞. Without loss of generality, we may assume that T is continuous, then Tx2n+ 1→ Tv as n → +∞. But Tx2n+ 1= x 2n → v as n → +∞. Thus, we have Tv = v. Since S is surjective, there exists w ∈ X such that Sw = v. Now,
implies that 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 + 2k. 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 + 2k. 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 = R2. 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 = 2x. 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], . 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) = et. Define T, f : X → X byand. 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.
Remarks:
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.087
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-5
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)
Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl Math Comput 2010.
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.001
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.070
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-y
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.016
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.006
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-27
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)
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.040
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.048
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-29
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-4
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-9
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.026
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.011
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.065
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)
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.043
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.039
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-14
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)
Shatanawi W: Some common coupled fixed point results in cone metric spaces. Int J Math Anal 2010, 4: 2381–2388.
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.074
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.
Vetro P: Common fixed points in cone metric spaces. Rend Circ Mat Palermo 2010, 56: 464–468.
Şahin İ, Telci M: Fixed points of contractive mappings on complete cone metric spaces. Hacet J Math Stat 2009, 38: 59–67.
Ṣ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.
Wang SZ, Li BY, Gao ZM, Iseki K: Some fixed point theorems on expansion mappings. Math Japon 1984, 29: 631–636.
Acknowledgements
The authors thank the editor and the referees for their useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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.
About this article
Cite this article
Shatanawi, W., Awawdeh, F. Some fixed and coincidence point theorems for expansive maps in cone metric spaces. Fixed Point Theory Appl 2012, 19 (2012). https://doi.org/10.1186/1687-1812-2012-19
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2012-19