Common fixed point under contractive condition of Ćirić’s type on cone metric type spaces
 Marija P Stanić^{1}Email author,
 Aleksandar S Cvetković^{2},
 Suzana Simić^{1} and
 Sladjana Dimitrijević^{1}
https://doi.org/10.1186/16871812201235
© Stanić et al; licensee Springer. 2012
Received: 10 October 2011
Accepted: 6 March 2012
Published: 6 March 2012
Abstract
The purpose of this article is to generalize common fixed point theorems under contractive condition of Ćirić’s type on a cone metric type space. We give basic facts about cone metric type spaces, and we prove common fixed point theorems under contractive condition of Ćirić’s type on a cone metric type space without assumption of normality for cone. As special cases we get the corresponding fixed point theorems on a cone metric space with respect to a solid cone. Obtained results in this article extend, generalize, and improve, wellknown comparable results in the literature.
2000 Mathematics Subject Classification: 47H10; 54H25; 55M20.
Keywords
1 Introduction
Replacing the real numbers, as the codomain of a metric, by an ordered Banach space we obtain a generalization of metric space (see, e.g., [1–3]). Huang and Zhang [4] reintroduced such spaces under the name of cone metric spaces. They described the convergence in cone metric space, introduced their completeness and proved some fixed point theorems for contractive mappings. Cones and ordered normed spaces have some applications in optimization theory (see [5, 6]). The initial study of Huang and Zhang [4] inspired many authors to prove fixed point theorems, as well as common fixed point theorems for two or more mappings on cone metric space, e.g., [7–18].
In [19], a generalization of a cone metric space, called a cone metric type space was considered, and some common fixed point theorems for four mappings in such space were proved. Common fixed point theorem under contractive condition of Ćirić’s type (see [20]) on cone metric space in settings of a normal cone was proved in [21]. In this article, we extend that result proving common fixed point theorems under contractive condition of Ćirić’s type on a cone metric type space without assumption of normality for cone. As special cases we get the corresponding fixed point theorems in a cone metric space with respect to a solid cone.
The article is organized as follows. In Section 2, we repeat some definitions and well known results which will be needed in the sequel. In Section 3, we prove common fixed point theorems on a cone metric type space and present some corollaries.
2 Definitions and notation
 (i)
P is closed, nonempty and P ≠ {θ};
 (ii)
a,b ∈ ℝ, a,b ≥ 0, and x,y ∈ P imply ax + by ∈ P;
 (iii)
P ∩(−P) = {θ}.
For a given cone P, a partial ordering ≼ with respect to P is introduced in the following way: x ≼ y if and only if y  x ∈ P. In order to indicate that x ≼ y, but x ≠ y, we write x ≺ y. If y  x ∈ int P, we write x ≪ y.
The cone P is called normal if there is a number k > 0, such that, for all x,y ∈ E, θ ≼ x ≼ y implies ║x║ ≤ k║y║. If a cone is not normal, it is called nonnormal.
If int P ≠ Ø, the cone P is called solid.
In the sequel, we always suppose that E is a real Banach space, P is a solid cone in E, and ≼ is partial ordering with respect to P.
Definition 2.1. ([19]) Let X be a nonempty set and E be a real Banach space with cone P. A vectorvalued function d : X × X → E is said to be a cone metric type function on X with constant K ≥ 1, if the following conditions are satisfied:
(d 1) θ ≼ d(x, y) for all x, y ∈ X and d(x, y) = θ if and only if x = y;
(d_{2}) d(x,y) = d(y,x) for all x,y ∈ X;
(d_{3}) d(x,y) ≼ K(d(x,z) + d(z,y)) for all x,y,z ∈ X.
The pair (X,d) is called a cone metric type space (in brief CMTS).
Remark 2.1. For K = 1 in Definition 2.1 we obtain a cone metric space introduced in[4].
Definition 2.2. Let (X,d) be a CMTS and {x_{ n } } be a sequence in X.
(c_{1}) {x_{ n } } converges to x ∈ X if for every c ∈ E with θ ≪ c there exists n_{0} ∈ ℕ such that d(x_{ n }, x) ≪ c for all n < n_{0}. We write$\underset{n\to \infty}{\text{lim}}{x}_{n}=x$, or x_{ n } → x, n → ∞.
(c_{2}) If for every c ∈ E with θ ≪ c, there exists n_{0} ∈ ℕ such that d(x_{ n }, x_{ m } ) ≪ c for all n, m > n_{0}, then {x_{ n } } is called a Cauchy sequence in X.
If every Cauchy sequence is convergent in X, then X is called a complete CMTS.
Remark 2.2. If(X, d) is a cone metric space (i.e., CMTS with K = 1) relative to a normal cone P, then a sequence {x_{ n } } in X converges to x ∈ X if and only if d(x_{ n },x) → θ, n → ∞, i.e., if and only if ║d(x_{ n }, x)║→ 0, n → ∞ (see [[4], Lemma 4] ). Further, {x_{ n } } in X is a Cauchy sequence if and only if d(x_{ n },x_{ m } ) → θ, n, m → ∞, i.e., if and only if ║d(x_{ n },x_{ m } )║ → 0, n, m → ∞ (see [[4], Lemma 4]).
In the case of a nonnormal cone equivalences in previous statements do not hold. For a nonnormal cone d(x_{ n },x) → θ,n → ∞ implies x_{ n } → x, n → ∞, and d(x_{ m },x_{ n } ) →θ, m, n → ∞ implies that {x_{ n } } is a Cauchy sequence.
(X_{ p },d) is CMTS with K = 2^{p−1}.
The following properties hold in the case of a CMTS.
Lemma 2.1. Let (X, d) be a CMTS over ordered real Banach space E with a cone P. The following properties hold (a,b,c ∈ E):
(p_{1}) If a ≼ b and b ≪ c, then a ≪ c.
(p_{2}) If θ ≼ a ≪ c for all c ∈ int P, then a = θ.
(p_{3}) If a ≼ λa, where a ∈ P and 0 ≤ λ < 1, then a = θ.
(p_{4}) Let x_{ n } → θ in E and let θ ≪ c. Then there exists positive integer n_{0}such that x_{ n } ≪ c for each n > n_{0}.
3 Fixed point theorems
holds. Then F and T have a unique common fixed point.
where α = λK/(1 − λK) (since λK < 1/ 2, it is easy to see that α ∈ (0,1)). In order to prove this, we consider the cases of an odd integer k and of an even k.
Thus, we get the following cases:
• d(x_{2n+2}, x_{2n+1}) ≼ λd(x_{2n+1}, x_{2n+2}), which, according to (p_{3}), implies d(x_{2n+1}, x_{2n+2}) = θ;
• d(x_{2n+2}, x_{2n+1}) ≼ λd(x_{ 2n }, x_{2n+1});
Hence, (3.3) is satisfied, where α = max{λ, λK/(1 − λK)} = λK/(1 − λK).
and we get the following cases:
• d(x_{2n+ 3}, x_{2n+2}) ≼ λd(x_{2n+ 2}, x_{2n+1});
• d(x_{2n+3}, x_{2n+2}) ≼ λd(x_{2n+3}, x_{2n+2}), which gives d(x_{2n+3}, x_{2n+2}) = θ;
So, inequality (3.3) is satisfied in this case, too.
Hence, {x_{ k } } is a Cauchy sequence in X (it follows, by (p_{4}) and (p_{1}), that for every c ∈ int P there exists positive integer k_{0} such that d(x_{ k },x_{ m } ) ≪ c for every m>k> k_{0}).
Thus, for any θ ≪ c and sufficiently large n, at least one of the following cases hold:

d(Fx_{2}_{ n },Tν) ≼ λd(x_{2}_{ n },ν) ≪ λ ⋅ c/λ = c;

d(Fx_{2}_{ n },Tν) ≼ λd(x_{2}_{ n }, Fx_{2n}), i.e.,$d\left(F{x}_{2n},T\upsilon \right)\underset{}{\prec}\lambda Kd\left({x}_{2n},\upsilon \right)+\lambda Kd\left(\upsilon ,{x}_{2n+1}\right)\ll \lambda K\frac{c}{2\lambda K}+\lambda K\frac{c}{2\lambda K}=c;$

d(Fx_{2n},Tν) ≼ λd(ν,Tν) ≼ λK(d (ν,Fx_{2n}) + d(Fx_{2}_{ n }, Tv)), i.e.,$d\left(F{x}_{2n},T\upsilon \right)\underset{}{\prec}\frac{\lambda K}{1\lambda K}d\left(\upsilon ,{x}_{2n+1}\right)\ll \frac{\lambda K}{1\lambda K}\frac{c\left(1\lambda K\right)}{\lambda K}=c;$

d(Fx_{ 2n },Tν) ≼ λd(x_{ 2n },Tν) ≼ λK(d(x_{2n},ν) + Kd(ν,Fx_{2n}) + Kd(Fx_{ 2n },Tυ)), i.e.,$\begin{array}{ll}\hfill d\left(F{x}_{2n},T\upsilon \right)& \underset{}{\prec}\frac{\lambda K}{1\lambda {K}^{2}}d\left({x}_{2n},\upsilon \right)+\frac{\lambda {K}^{2}}{1\lambda {K}^{2}}d\left(\upsilon ,{x}_{2n+1}\right)\phantom{\rule{2em}{0ex}}\\ \ll \frac{\lambda K}{1\lambda {K}^{2}}\frac{c\left(1\lambda {K}^{2}\right)}{2\lambda K}+\frac{\lambda {K}^{2}}{1\lambda {K}^{2}}\frac{c\left(1\lambda {K}^{2}\right)}{2\lambda {K}^{2}}=c\phantom{\rule{2em}{0ex}}\end{array}$
(since 1 ≤ K ≤ 2, we have 0 ≤ λ ≤ 1/(2K) ≤ 1/K^{2}, i.e., 1 − λK^{2}> 0);

d(Fx_{ 2n }, T ν) ≼ λd(ν, Fx_{2n}) = λd(ν, x_{2n+1}) ≪ λ · c/λ = c.
Hence, we get the following cases: d(Fν, ν) ≼ λθ and d(Fν, ν) ≼ λd(Fν, ν). According to (p_{3}), it follows that Fν = ν, that is, ν is a common fixed point of F and T. It can be easily verified that ν is the unique common fixed point of F and T.
By using the same steps as in proof of Theorem 3.1, one can prove the following theorem.
such that the inequality d(Fx, Ty) ≼ λu(x,y) holds. Then F and T have a unique common fixed point.
In the case of CMTS with constant K = 1 we get the following corollary, which extends [[21], Theorem 2.1].
such that the inequality d(Fx, Ty) ≼ λu(x,y) holds. Then F and T have a unique common fixed point.
holds. Then S and T have a unique common fixed point.
Proof. Setting F = G = I_{ X } from [[19], Theorem 3.8] (I_{ X } is the identity mapping on X) we get what is stated. □
In the case of CMTS with constant K = 1 we get the following corollary.
holds. Then S and T have a unique common fixed point.
Declarations
Acknowledgements
The authors were supported in part by the Serbian Ministry of Education and Science (projects #174015, #174024, and III44006).
Authors’ Affiliations
References
 Rzepecki B: On fixed point theorems of Maia type. Publ Inst Math 1980, 28(42):179–186.MathSciNetGoogle Scholar
 Lin SD: A common fixed point theorem in abstract spaces. Indian J Pure Appl Math 1987, 18(8):685–690.MATHMathSciNetGoogle Scholar
 Zabrejko PP: K metric and K normed linear spaces: survey. Collect Math 1997, 48(4–6):825–859.MathSciNetGoogle Scholar
 Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J Math Anal Appl 2007, 332(2):1468–1476. 10.1016/j.jmaa.2005.03.087MATHMathSciNetView ArticleGoogle Scholar
 Deimling SK: Nonlinear Functional Analysis. SpringerVerlag Berlin; 1985.View ArticleGoogle Scholar
 Boyd S, Vandenberghe L: Convex Optimization. Cambridge University Press Cambridge; 2004.View ArticleGoogle Scholar
 Vetro P: Common fixed points in cone metric spaces. Circ Mat Palermo 2007, 56: 464–468. 10.1007/BF03032097MATHMathSciNetView ArticleGoogle Scholar
 Rezapour Sh, Hamlbarani R: Some notes on the paper "Cone metric spaces and fixed point theorems of contractive mappings". J Math Anal Appl 2008, 345: 719–724. 10.1016/j.jmaa.2008.04.049MATHMathSciNetView 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
 Di Bari C, Vetro P: φpairs and common fixed points in cone metric spaces. Rend Circ Mat Palermo 2008, 57: 279–285. 10.1007/s1221500800209MATHMathSciNetView ArticleGoogle Scholar
 Ilić D, Rakočević V: Common fixed points for maps on cone metric space. J Math Anal Appl 2008, 341(2):876–882. 10.1016/j.jmaa.2007.10.065MATHMathSciNetView ArticleGoogle Scholar
 Ilić D, Rakočević V: Quasicontraction on a cone metric space. Appl Math Lett 2009, 22(5):728–731. 10.1016/j.aml.2008.08.011MATHMathSciNetView ArticleGoogle Scholar
 Radenović S: Common fixed points under contractive conditions in cone metric spaces. Comput Math Appl 2009, 58: 1273–1278. 10.1016/j.camwa.2009.07.035MATHMathSciNetView ArticleGoogle Scholar
 Jungck G, Radenović S, Radojević S, Rakočević V: Common fixed point theorems for weakly compatible pairs on cone metric spaces. Fixed Point Theory Appl 2009., 2009: Article ID 643840). doi:10.1155/2009/643840.Google Scholar
 Samet B: Cirić’s fixed point theorem in a cone metric space. J Nonlinear Sci Appl 2010, 3(4):302–308.MATHMathSciNetGoogle 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
 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
 Gajić L, Ilić D, Rakočević V: On Ćirić maps with a generalized contractive iterate at a point and Fisher’s quasicontractions in cone metric spaces. Appl Math Comput 2010, 216(8):2240–2247. 10.1016/j.amc.2010.03.010MATHMathSciNetView ArticleGoogle Scholar
 Cvetković AS, Stanić MP, Dimitrijević S, Simić S: Common fixed point theorems for four mappings on cone metric type space. Fixed Point Theory Appl 2011., 2011: Article ID 589725, 15 doi:10.1155/2011/589725Google Scholar
 Ćirić Lj: On common fixed points in uniform spaces. Publ Inst Math 1978, 24(38):39–43.Google Scholar
 Samet B: Common fixed point under contractive condition of Ćirić’s type in cone metric spaces. Appl Anal Discrete Math 2011, 5: 159–164. 10.2298/AADM110206007SMATHMathSciNetView ArticleGoogle 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.