- Research
- Open access
- Published:
Common tripled fixed point theorems for W-compatible mappings along with the property in abstract metric spaces
Journal of Inequalities and Applications volume 2014, Article number: 133 (2014)
Abstract
In this paper, we introduce the concept of common limit in the range property for mappings and , where is an abstract metric space, and establish tripled coincidence point and common tripled fixed point theorems by using the common limit in the range property. Our theorems generalize and extend several well-known comparable results in the literature, in particular the results of Aydi et al. (Fixed Point Theory Appl. 2012:134, 2012). Also, we give examples to validate our main results which are not applied by the results in the literature.
MSC:54E40, 47H10, 54E99.
1 Introduction
The concept of K-metric spaces was reintroduced by Huang and Zhang under the name of cone metric spaces [1] which is the generalization of a metric space. The idea of cone metric spaces is to replace the codomain of a metric from the set of real numbers to an ordered Banach space. They reintroduced the definitions of convergent and Cauchy sequences in the sense of an interior point of the underlying cone. They also continued with results concerning the normal cones only. One of the main results of Huang and Zhang in [1] is fixed point theorems for contractive mappings in normal cone spaces. In fact, the fixed point theorem in cone metric spaces is appropriate only in the case when the underlying cone is non-normal and its interior is nonempty. Janković et al. [2] studied this topic and gave some examples showing that theorems from ordinary metric spaces cannot be applied in the setting of non-normal cone metric spaces. Many works for fixed point theorems in cone metric spaces appeared in [3–19].
In 2011, Abbas et al. [3] introduced the concept of w-compatible mappings and obtained a coupled coincidence point and a coupled point of coincidence for such mappings satisfying a contractive condition in cone metric spaces. Very recently, Aydi et al. [20] introduced the concept of W-compatible mappings for mappings and , where is an abstract metric space and established tripled coincidence point and common tripled fixed point theorems in these spaces.
On the other hand, Sintunavarat and Kumam [21] coined the idea of common limit range property for mappings and , where is a metric space (and fuzzy metric spaces) and proved the common fixed point theorems by using this property. Afterward, Jain et al. [22] extended this property for mappings and , where is a metric space (and fuzzy metric spaces) and established a coupled fixed point theorem for mappings satisfying this property. Several common fixed point theorems have been proved by many researcher in the framework of many spaces via the common limit range property (see [23–26] and the references therein).
Starting from the background of coupled fixed points, the concept of tripled fixed points was introduced by Samet and Vetro [27] and Berinde and Borcut [28] and it was motivated by the fact that through the coupled fixed point technique we cannot give the solution of some problems in nonlinear analysis such as a system of the following form:
In this paper, we introduce the concept of common limit in the range property for mappings and , where is an abstract metric space, and study the existence of tripled coincidence point and common tripled fixed point theorems for W-compatible mappings in cone metric spaces by using the common limit in the range property. We also furnish examples to demonstrate the validity of the results which are not applied by the results in the literature. It is worth mentioning that our results do not rely on the assumption of normality condition of the cone and thus fixed point results in this trend are still of interest and importance in some ways.
2 Preliminaries
In this paper, we denote from now on by where and X is a nonempty set. The following definitions and results will be needed in the sequel.
Definition 2.1 Let E be a real Banach space and be the zero element in E. A subset P of E is called a cone if it satisfies the following conditions:
-
(a)
P is closed, nonempty and ,
-
(b)
, , imply that ,
-
(c)
.
Given a cone P of the real Banach space E, we define a partial ordering ⪯ with respect to P by if and only if . We shall write for , where stands for the interior of P. Also we will use to indicate that and .
The cone P in the normed space is called normal whenever there is a number such that for all , implies . The least positive number satisfying this norm inequality is called the normal constant of P. In 2008, Rezapour and Hamlbarani [11] showed that there are no normal cones with a normal constant .
In what follows we always suppose that E is a real Banach space with a cone P satisfying (such cones are called solid).
Let X be a nonempty set. Suppose that satisfies the following conditions:
(d1) for all and if and only if ,
(d2) for all ,
(d3) for all .
Then d is called a cone metric or a K-metric on X and is called a cone metric space or a K-metric space.
Remark 2.3 The concept of K-metric space is more general than the concept of metric space, because each metric space is a K-metric space where with the usual norm and a cone .
Definition 2.4 ([1])
Let X be a K-metric space and be a sequence in X. We say that is
(C1) a Cauchy sequence if and only if for each with there is some such that for all ;
(C2) a convergent sequence if and only if for each with there is some such that for all , where . This limit is denoted by or as .
Remark 2.5 Every convergent sequence in a K-metric space X is a Cauchy sequence but the converse is not true.
Definition 2.6 A K-metric space X is said to be complete if every Cauchy sequence in X is convergent in X.
Definition 2.7 ([27])
Let X be a nonempty set. An element is called a tripled fixed point of a given mapping if , and .
Berinde and Borcut [28] defined differently the notion of a tripled fixed point in the case of ordered sets in order to keep true the mixed monotone property.
Definition 2.8 ([20])
Let X be a nonempty set. An element is called
-
(i)
a tripled coincidence point of mappings and if , and . In this case is called a tripled point of coincidence;
-
(ii)
a common tripled fixed point of mappings and if , and .
Example 2.9 Let . We define and as follows:
for all . Then is a tripled coincidence point of F and g, and is a tripled point of coincidence.
Definition 2.10 ([20])
Let X be a nonempty set. Mappings and are called W-compatible if
whenever , and .
Example 2.11 Let . Define and as follows:
for all . One can show that is a tripled coincidence point of F and g if and only if . Since , we get that F and g are W-compatible.
3 Main results
Now, we introduce the following concepts.
Definition 3.1 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal). Mappings and are said to satisfy the property if there exist sequences such that
for some .
Definition 3.2 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal). Mappings and are said to satisfy the property if there exist sequences such that
for some .
Theorem 3.3 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), and let and be mappings satisfying the property. Suppose that for any , the following condition holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point.
Proof Since F and g satisfy the property, there exist sequences such that
for some .
Now, we prove that , and . Note that for each , we have
On the other hand, applying the given contractive condition and using the triangular inequality, we obtain that
for all . Combining the above inequality with (4), we have
for all . Therefore,
for all . Similarly, we obtain
and
for all . Adding (5), (6) and (7), we get
for all . Therefore, for each , we have
where
From (1), (2) and (3), for any with , there exists such that
for all . Thus, for all , we have
It follows that , that is, , and . □
Corollary 3.4 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), let and be mappings satisfying the property, and let be a closed subspace of X. Suppose that for any , the following condition holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point.
Proof Since F and g satisfy the property, there exist sequences such that
for some . It follows from is a closed subspace of X that , and for some , and then F and g satisfy the property. By Theorem 3.3, we get that F and g have a tripled coincidence point. □
Corollary 3.5 (Aydi et al. [20])
Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), and let and be mappings such that . Suppose that for any , the following condition holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point provided that is a complete subspace of X.
Corollary 3.6 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), and let and be mappings satisfying the property. Suppose that for any , the following holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point.
Proof It suffices to take , , , and in Theorem 3.3 with . □
Corollary 3.7 Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), let and be mappings satisfying the property, and let be a closed subspace of X. Suppose that for any , the following holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point.
Proof It follows immediately from Corollary 3.6. □
Corollary 3.8 (Aydi et al. [20])
Let be a K-metric space with a cone P having nonempty interior (normal or non-normal), and let and be mappings such that and for any , the following holds:
where , , are nonnegative real numbers such that . Then F and g have a tripled coincidence point provided that is a complete subspace of X.
Next, we prove the existence of a common tripled fixed point theorem for a W-compatible mapping.
Theorem 3.9 Let and be two mappings which satisfy all the conditions of Theorem 3.3. If F and g are W-compatible, then F and g have a unique common tripled fixed point. Moreover, a common tripled fixed point of F and g is of the form for some .
Proof First, we will show that the tripled point of coincidence is unique. Suppose that and with
Using the contractive condition in Theorem 3.3, we obtain
Similarly, we have
and
Adding the above three inequalities, we get
Since , we obtain that
which implies that
This shows the uniqueness of the tripled point of coincidence of F and g, that is, .
From the contractive condition in Theorem 3.3, we have
Similarly, we get
and
Adding the above inequalities, we obtain
It follows from that
From (8) and (9), we can conclude that
This implies that is the unique tripled point of coincidence of F and g.
Now, let , then we have . Since F and g are W-compatible, we have
which due to (10) gives that
Consequently, is a tripled coincidence point of F and g, and so is a tripled point of coincidence of F and g, and by its uniqueness, we get . Thus, we obtain
Hence, is the unique common tripled fixed point of F and g. This completes the proof. □
Corollary 3.10 Let and be two mappings which satisfy all the conditions of Corollary 3.4. If F and g are W-compatible, then F and g have a unique common tripled fixed point. Moreover, a common tripled fixed point of F and g is of the form for some .
Proof It is similar to the proof of Theorem 3.9. □
Corollary 3.11 (Aydi et al. [20])
Let and be two mappings which satisfy all the conditions of Corollary 3.5. If F and g are W-compatible, then F and g have a unique common tripled fixed point. Moreover, the common tripled fixed point of F and g is of the form for some .
Here, we give some illustrative examples which demonstrate the validity of the hypotheses and the degree of utility of our results. These examples cannot conclude the existence of a tripled coincidence point and a common tripled fixed point by using the main results of Aydi et al. [20].
Example 3.12 Let and with the usual norm. Define the cone (this cone is normal) and by , where is a constant. It is easy to see that is a K-metric space over a normal solid cone P.
Consider the mappings and defined as
Since , the main results of Aydi et al. [20] cannot be applied in this case.
Next, we show that our results can be used for this case.
-
Let us prove that f and g satisfy the property.
Consider the sequences , and in X which are defined by
Since
thus F and g satisfy the property with these sequences.
-
Next, we will show that F and g are W-compatible.
It easy to see that , and if and only if . Since
mappings F and g are W-compatible.
-
Finally, we prove that for ,
where , and such that .
For , we distinguish the following cases.
Case 1: and . In this case, we have
Case 2: and . In this case, we have
Case 3: and . In this case, we have
Case 4: and . Clearly,
Hence, all the hypotheses of Theorem 3.3 and Theorem 3.9 hold. Clearly, is the unique common tripled fixed point of F and g.
Example 3.13 Let and with the norm for all . Define the cone (this cone is not normal) and by for a fixed (e.g., for ). It is easy to see that is a K-metric space over a non-normal solid cone.
Consider the mappings and defined as
Since , the main results of Aydi et al. [20] cannot be applied in this case.
Next, we show that our results can be used for this case.
-
Let us prove that f and g satisfy the property.
Consider the sequences , and in X which are defined by
Since
thus F and g satisfy the property with these sequences.
-
Next, we will show that F and g are W-compatible.
It is obtained that , and if and only if . Since
mappings F and g are W-compatible.
-
Finally, we prove that for ,
where , and such that .
For , we distinguish the following cases.
Case 1: and . In this case, we have
Case 2: and . In this case, we have
Case 3: and . In this case, we have
Case 4: and . Clearly,
Therefore, all the hypotheses of Theorem 3.3 and Theorem 3.9 hold. It is easy to see that a point is the unique common tripled fixed point of F and g.
4 Conclusions
Our results never require the conditions on completeness (or closedness) of the underlying space (or subspaces) together with the conditions on continuity in respect of any one of the involved mappings. Therefore, our results are a generalization of the results of Aydi et al. [20], Abbas et al. [3], Olaleru [12] and many results in this field.
References
Huang LG, Zhang X: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 2007, 332: 1467–1475.
Janković S, Kadelburg Z, Radenović S: On cone metric spaces: a survey. Nonlinear Anal. 2011, 74: 2591–2601. 10.1016/j.na.2010.12.014
Abbas M, Ali Khan M, Radenović S: Common coupled fixed point theorems in cone metric spaces for w -compatible mappings. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042
Aliprantis CD, Tourky R Graduate Studies in Mathematics 84. In Cones and Duality. Am. Math. Soc., Providence; 2007.
Aydi H, Karapinar E, Mustafa Z: Coupled coincidence point results on generalized distance in ordered cone metric spaces. Positivity 2013. 10.1007/s11117-012-0216-2
Aydi H, Karapinar E, Shatanawi W: Coupled coincidence points in ordered cone metric spaces with c -distance. J. Appl. Math. 2012., 2012: Article ID 312078
Ding H-S, Kadelburg Z, Karapinar E, Radenovic S: Common fixed points of weak contractions in cone metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 793862
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(17):6814–6825. 10.1016/j.na.2011.07.006
Beg I, Azam A, Arshad M: Common fixed points for maps on topological vector space valued cone metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 560264
Rezapour S, 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.049
Olaleru JO: Some generalizations of fixed point theorems in cone metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 657914
Sintunavarat W, Cho YJ, Kumam P: Common fixed point theorems for c -distance in ordered cone metric spaces. Comput. Math. Appl. 2011, 62: 1969–1978. 10.1016/j.camwa.2011.06.040
Sintunavarat W, Kumam P: Common fixed points of f -weak contractions in cone metric spaces. Bull. Iran. Math. Soc. 2012,38(2):293–303.
Vetro P: Common fixed points in cone metric spaces. Rend. Circ. Mat. Palermo 2007, 56: 464–468. 10.1007/BF03032097
Karapinar E: Fixed point theorems in cone Banach spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 609281
Karapinar E: Couple fixed point theorems for nonlinear contractions in cone metric spaces. Comput. Math. Appl. 2010,59(12):3656–3668. 10.1016/j.camwa.2010.03.062
Karapinar E: Some nonunique fixed point theorems of Ćirić type on cone metric spaces. Abstr. Appl. Anal. 2010., 2010: Article ID 123094 10.1155/2010/123094
Karapinar E, Sintunavarat W, Kumam P: Coupled fixed point theorems in cone metric spaces with a c -distance and applications. Fixed Point Theory Appl. 2012., 2012: Article ID 194
Aydi H, Abbas M, Sintunavarat W, Kumam P: Tripled fixed point of W -compatible mappings in abstract metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 134
Sintunavarat W, Kumam P: Common fixed point theorems for a pair of weakly compatible mappings in fuzzy metric spaces. J. Appl. Math. 2011., 2011: Article ID 637958
Jain M, Tas K, Kumar S, Gupta N: Coupled fixed point theorems for a pair of weakly compatible maps along with property in fuzzy metric spaces. J. Appl. Math. 2012., 2012: Article ID 961210
Chauhan S: Fixed points of weakly compatible mappings in fuzzy metric spaces satisfying common limit in the range property. Indian J. Math. 2012,54(3):375–397.
Chauhan S, Sintunavarat W, Kumam P: Common fixed point theorems for weakly compatible mappings in fuzzy metric spaces using (JCLR) property. Appl. Math. 2012,3(9):976–982. 10.4236/am.2012.39145
Chauhan S, Alamgir Khan M, Sintunavarat W: Common fixed point theorems in fuzzy metric spaces satisfying ϕ -contractive condition with common limit range property. Abstr. Appl. Anal. 2013., 2013: Article ID 735217
Sintunavarat W, Kumam P: Common fixed points for R -weakly commuting in fuzzy metric spaces. Ann. Univ. Ferrara 2012, 58: 389–406. 10.1007/s11565-012-0150-z
Samet B, Vetro C: Coupled fixed point, f -invariant set and fixed point of N -order. Ann. Funct. Anal. 2010,1(2):46–56. 10.15352/afa/1399900586
Berinde V, Borcut M: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal. 2011,74(15):4889–4897. 10.1016/j.na.2011.03.032
Zabreǐko PP: K -Metric and K -normed linear spaces: survey. Collect. Math. 1997, 48: 825–859.
Acknowledgements
This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. 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
Wairojjana, N., Sintunavarat, W. & Kumam, P. Common tripled fixed point theorems for W-compatible mappings along with the property in abstract metric spaces. J Inequal Appl 2014, 133 (2014). https://doi.org/10.1186/1029-242X-2014-133
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-133