 Research Article
 Open Access
 Published:
Common Fixed Point Results in MetricType Spaces
Fixed Point Theory and Applications volume 2010, Article number: 978121 (2010)
Abstract
Several fixed point and common fixed point theorems are obtained in the setting of metrictype spaces introduced by M. A. Khamsi in 2010.
1. Introduction
Symmetric spaces were introduced in 1931 by Wilson [1], as metriclike spaces lacking the triangle inequality. Several fixed point results in such spaces were obtained, for example, in [2–4]. A new impulse to the theory of such spaces was given by Huang and Zhang [5] when they reintroduced cone metric spaces replacing the set of real numbers by a cone in a Banach space, as the codomain of a metric (such spaces were known earlier under the name of Kmetric spaces, see [6]). Namely, it was observed in [7] that if is a cone metric on the set (in the sense of [5]), then is symmetric with some special properties, particularly in the case when the underlying cone is normal. The space was then called the symmetric space associated with cone metric space .
The last observation also led Khamsi [8] to introduce a new type of spaces which he called metrictype spaces, satisfying basic properties of the associated space , . Some fixed point results were obtained in metrictype spaces in the papers [7–10].
In this paper we prove several other fixed point and common fixed point results in metrictype spaces. In particular, metrictype versions of very wellknown results of HardyRogers, Ćirić, DasNaik, Fisher, and others are obtained.
2. Preliminaries
Let be a nonempty set. Suppose that a mapping satisfies the following:
(s1) if and only if ;
(s2), for all .
Then is called a symmetric on , and is called a symmetric space [1].
Let be a real Banach space. A nonempty subset of is called a cone if is closed, if , , and imply , and if . Given a cone , we define the partial ordering with respect to by if and only if .
Let be a nonempty set. Suppose that a mapping satisfies the following:
(co1) for all and if and only if ;
(co2) for all ;
(co3) for all .
Then is called a cone metric on and is called a cone metric space [5].
If is a cone metric space, the function is easily seen to be a symmetric on [7, 8]. Following [7], the space will then be called associated symmetric space with the cone metric space . If the underlying cone of is normal (i.e., if, for some , always implies ), the symmetric satisfies some additional properties. This led M.A. Khamsi to introduce a new type of spaces which he called metric type spaces. We will use the following version of his definition.
Definition 2.1 (see [8]).
Let be a nonempty set, let be a real number, and let the function satisfy the following properties:
(a) if and only if ;
(b) for all ;
(c) for all .
Then is called a metrictype space.
Obviously, for , metrictype space is simply a metric space.
A metric type space may satisfy some of the following additional properties:
(d) for arbitrary points ;

(e)
function is continuous in two variables; that is,
(The last condition is in the theory of symmetric spaces usually called "property ".)
Condition (d) was used instead of (c) in the original definition of a metrictype space by Khamsi [8]. Both conditions (d) and (e) are satisfied by the symmetric which is associated with a cone metric (with a normal cone) (see [7–9]).
Note that the weaker version of property (e):
(e^{'}) and (in ) imply that
is satisfied in an arbitrary metric type space. It can also be proved easily that the limit of a sequence in a metric type space is unique. Indeed, if and (in ) and , then
for sufficiently large , which is impossible.
The notions such as convergent sequence, Cauchy sequence, and complete space are defined in an obvious way.
We prove in this paper several versions of fixed point and common fixed point results in metric type spaces. We start with versions of classical Banach, Kannan and Zamfirescu results then proceed with HardyRogerstype theorems, and with quasicontractions of Ćirić and DasNaik, and results for four mappings of Fisher and finally conclude with a result for strict contractions.
Recall also that a mapping is said to have property P [11] if for each , where stands for the set of fixed points of .
A point is called a point of coincidence of a pair of selfmaps and is its coincidence point if . Mappings and are weakly compatible if for each of their coincidence points [12, 13]. The notion of occasionally weak compatibility is also used in some papers, but it was shown in [14] that it is actually superfluous.
3. Results
We begin with a simple, but useful lemma.
Lemma 3.1.
Let be a sequence in a metric type space such that
for some , , and each . Then is a Cauchy sequence in .
Proof.
Let and . Applying the triangletype inequality (c) to triples , we obtain
Now (3.1) and imply that
It follows that is a Cauchy sequence.
Remark 3.2.
If, instead of triangletype inequality (c), we use stronger condition (d), then a weaker condition can be used in the previous lemma to obtain the same conclusion. The proof is similar.
Next is the simplest: Banachtype version of a fixed point result for contractive mappings in a metric type space.
Theorem 3.3.
Let be a complete metric type space, and let be a map such that for some , ,
holds for all . Then has a unique fixed point , and for every , the sequence converges to .
Proof.
Take an arbitrary and denote . Then
for each . Lemma 3.1 implies that is a Cauchy sequence, and since is complete, there exists such that when . Then
when . Hence, and is a fixed point of .
If is another fixed point of , then which is possible only if .
Remark 3.4.
In a standard way we prove that the following estimate holds for the sequence :
for each . Indeed, for ,
and passing to the limit when , we obtain estimate (3.7).
Note that continuity of function (property (e)) was not used.
The first part of the following result was obtained, under the additional assumption of boundedness of the orbit, in [8, Theorem 3.3].
Theorem 3.5.
Let be a complete metric type space. Let be a map such that for every there is such that for all and let . Then has a unique fixed point . Moreover, has the property P.
Proof.
Take such that . Since , , there exists such that for each . Then for all whenever . In other words, for any , satisfies for all . Theorem 3.3 implies that has a unique fixed point, say . Then , implying that and is a fixed point of . Since the fixed point of is unique, it follows that and is also a fixed point of .
From the given condition we get that for some and each . This property, together with , implies, in the same way as in [11, Theorem 1.1], that has the property P.
Remark 3.6.
If, in addition to the assumptions of previous theorem, we suppose that the series converges and that satisfies property (d), we can prove that, for each , the respective Picard sequence converges to the fixed point .
Indeed, let and . Then
when (due to the convergence of the given series). So, is a Cauchy sequence and it is convergent. For chosen in the proof of Theorem 3.5 such that , it is and when , but is a subsequence of which is convergent; hence, the latter converges to .
The next is a common fixed point theorem of HardyRogers type (see, e.g., [15]) in metric type spaces.
Theorem 3.7.
Let be a metric type space, and let be two mappings such that and one of these subsets of is complete. Suppose that there exist nonnegative coefficients , such that
and that for all
holds. Then and have a unique point of coincidence. If, moreover, the pair is weakly compatible, then and have a unique common fixed point.
Note that condition (3.10) is satisfied, for example, when . Note also that when it reduces to the standard HardyRogers condition in metric spaces.
Proof.
Suppose, for example, that is complete. Take an arbitrary and, using that , construct a Jungck sequence defined by , . Let us prove that this is a Cauchy sequence. Indeed, using (3.11), we get that
Similarly, we conclude that
Adding the last two inequalities, we get that
that is,
The assumption (3.10) implies that
Lemma 3.1 implies that is a Cauchy sequence in and so there is such that when . We will prove that .
Using (3.11) we conclude that
Similarly,
Adding up, one concludes that
The righthand side of the last inequality tends to 0 when . Since (because of (3.10)), it is , and so also the lefthand side tends to 0, and . Since the limit of a sequence is unique, it follows that and and have a point of coincidence .
Suppose that is another point of coincidence for and . Then (3.11) implies that
Since (because of (3.10)), the last relation is possible only if . So, the point of coincidence is unique.
If is weakly compatible, then [13, Proposition 1.12] implies that and have a unique common fixed point.
Taking special values for constants , we obtain as special cases Theorem 3.3 as well as metric type versions of some other wellknown theorems (Kannan, Zamfirescu, see, e.g., [15]):
Corollary 3.8.
Let be a metric type space, and let be two mappings such that and one of these subsets of is complete. Suppose that one of the following three conditions holds:
(1°) for some and all ;
(2°) for some and all ;
(3°) for some and all .
Then and have a unique point of coincidence. If, moreover, the pair is weakly compatible, then and have a unique common fixed point.
Putting in Theorem 3.7, we get metric type version of HardyRogers theorem (which is obviously a special case for ).
Corollary 3.9.
Let be a complete metric type space, and let satisfy
for some , satisfying (3.10) and for all . Then has a unique fixed point. Moreover, has property P.
Proof.
We have only to prove the last assertion. For arbitrary , we have that
and similarly
Adding the last two inequalities, we obtain
Similarly as in the proof of Theorem 3.7, we get that . Now [11, Theorem 1.1] implies that has property P.
Remark 3.10.
If the metrictype function satisfies both properties (d) and (e), then it is easy to see that condition (3.10) in Theorem 3.7 and the last corollary can be weakened to . In particular, this is the case when for a cone metric on (over a normal cone, see [7]).
The next is a possible metrictype variant of a common fixed point result for Ćirić and DasNaik quasicontractions [16, 17].
Theorem 3.11.
Let be a metric type space, and let be two mappings such that and one of these subsets of is complete. Suppose that there exists , such that for all
where
Then and have a unique point of coincidence. If, moreover, the pair is weakly compatible, then and have a unique common fixed point.
Proof.
Let be arbitrary and, using condition , construct a Jungck sequence satisfying , . Suppose that for each (otherwise the conclusion follows easily). Using (3.25) we conclude that
If , then , and it would follow from (3.27) that which is impossible since . (For the same reason the term was omitted in the last row of the previous series of inequalities.) Hence, and (3.27) becomes . Using Lemma 3.1, we conclude that is a Cauchy sequence in . Supposing that, for example, the last subset of is complete, we conclude that when for some .
To prove that , put and in (3.25) to get
Note that and when , implying that when . It follows that the only possibilities are the following:
(1°); in this case , and since , it follows that .
(2°); in this case, , so again , .
Since the limit of a sequence is unique, it follows that .
The rest of conclusion follows as in the proof of Theorem 3.7.
Putting , we obtain the first part of the following corollary.
Corollary 3.12.
Let be a complete metric type space, and let be such that for some , , and for all ,
holds. Then has a unique fixed point, say . Moreover, the function is continuous at point and it has the property P.
Proof.
Let when . Then
Since and , the only possibility is that , implying that , . Since , it follows that , , and is continuous at the point .
We will prove that satisfies
for some , and each .
Applying (3.29) to the points and (for any ), we conclude that
The following cases are possible:
(1°), and (3.31) holds with ;
(2°), which is only possible if and then (3.31) obviously holds.
(3°), implying that and , where since .
So, relation (3.31) holds for some , and each . Using the mentioned analogue of [11, Theorem 1.1], one obtains that satisfies property P.
We will now prove a generalization and an extension of Fisher's theorem on four mappings from [18] to metric type spaces. Note that, unlike in [18], we will not use the case when and , as well as and , commute, neither when and are continuous. Also, function need not be continuous (i.e., we do not use property (e)).
Theorem 3.13.
Let be a metric type space, and let be four mappings such that and , and suppose that at least one of these four subsets of is complete. Let
holds for some , and all . Then pairs and have a unique common point of coincidence. If, moreover, pairs and are weakly compatible, then , , , and have a unique common fixed point.
Proof.
Let be arbitrary and construct sequences and such that
for . We will prove that condition (3.1) holds for . Indeed,
Using Lemma 3.1, we conclude that is a Cauchy sequence. Suppose, for example, that is a complete subset of . Then , , for some . Of course, subsequences and also converge to . Let us prove that . Using (3.33), we get that
hence . Since , we get that there exists such that . Let us prove that also . Using (3.33), again we conclude that
implying that . We have proved that is a common point of coincidence for pairs and .
If now these pairs are weakly compatible, then for example, and for example,. Moreover, and implies that . So, we have that . It remains to prove that, for example, . Indeed, , implying that . The proof that this common fixed point of , and is unique is straightforward.
We conclude with a metric type version of a fixed point theorem for strict contractions. The proof is similar to the respective proof, for example, for cone metric spaces in [5]. An example follows showing that additional condition of (sequential) compactness cannot be omitted.
Theorem 3.14.
Let a metric type space be sequentially compact, and let be a continuous function (satisfying property (e)). If is a mapping such that
then has a unique fixed point.
Proof.
According to [9, Theorem 3.1], sequential compactness and compactness are equivalent in metric type spaces, and also continuity is a sequential property. The given condition (3.38) of strict continuity implies that a fixed point of is unique (if it exists) and that both mappings and are continuous. Let be an arbitrary point, and let be the respective Picard sequence (i.e., ). If for some , then is a (unique) fixed point. If for each , then
Hence, there exists , such that for each and , . Using sequential compactness of , choose a subsequence of that converges to some when . The continuity of and implies that
and the continuity of the symmetric implies that
It follows that . It remains to prove that . If , then and (3.41) implies that
This is a contradiction.
Example 3.15.
Let , , , and be defined by . Then is a cone metric space over a normal cone with the normal constant (see, e.g., [5]). The associated symmetric is in this case simply the metric .
Let be defined by . Then
for all . Hence, satisfies condition (3.38) but it has no fixed points. Obviously, is not (sequentially) compact.
References
 1.
Wilson WA: On semimetric spaces. American Journal of Mathematics 1931,53(2):361–373. 10.2307/2370790
 2.
Zhu J, Cho YJ, Kang SM: Equivalent contractive conditions in symmetric spaces. Computers & Mathematics with Applications 2005,50(10–12):1621–1628. 10.1016/j.camwa.2005.07.007
 3.
Imdad M, Ali J, Khan L: Coincidence and fixed points in symmetric spaces under strict contractions. Journal of Mathematical Analysis and Applications 2006,320(1):352–360. 10.1016/j.jmaa.2005.07.004
 4.
Cho SH, Lee GY, Bae JS: On coincidence and fixedpoint theorems in symmetric spaces. Fixed Point Theory and Applications 2008, 2008:9.
 5.
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.087
 6.
Zabrejko PP: metric and normed linear spaces: survey. Collectanea Mathematica 1997,48(4–6):825–859.
 7.
Radenović S, Kadelburg Z: Quasicontractions on symmetric and cone symmetric spaces. Banach Journal of Mathematical Analysis 2011,5(1):38–50.
 8.
Khamsi MA: Remarks on cone metric spaces and fixed point theorems of contractive mappings. Fixed Point Theory and Applications 2010, 2010:7.
 9.
Khamsi MA, Hussain N: KKM mappings in metric type spaces. Nonlinear Analysis: Theory, Methods & Applications 2010,73(9):3123–3129. 10.1016/j.na.2010.06.084
 10.
Karapınar E: Some nonunique fixed point theorems of \'Cirić type on cone metric spaces. Abstract and Applied Analysis 2010, 2010:14.
 11.
Jeong GS, Rhoades BE: Maps for which . Fixed Point Theory and Applications 2005, 6: 87–131.
 12.
Jungck G: Commuting mappings and fixed points. The American Mathematical Monthly 1976,83(4):261–263. 10.2307/2318216
 13.
Jungck G, Radenović S, Radojević S, Rakočević V: Common fixed point theorems for weakly compatible pairs on cone metric spaces. Fixed Point Theory and Applications 2009, 2009:13.
 14.
Djorić D, Kadelburg Z, Radenović S: A note on occasionally weakly compatible mappings and common fixed points. to appear in Fixed Point Theory
 15.
Rhoades BE: A comparison of various definitions of contractive mappings. Transactions of the American Mathematical Society 1977, 226: 257–290.
 16.
Ćirić LB: A generalization of Banach's contraction principle. Proceedings of the American Mathematical Society 1974, 45: 267–273.
 17.
Das KM, Naik KV: Common fixedpoint theorems for commuting maps on a metric space. Proceedings of the American Mathematical Society 1979,77(3):369–373.
 18.
Fisher B: Four mappings with a common fixed point. The Journal of the University of Kuwait. Science 1981, 8: 131–139.
Acknowledgment
The authors are thankful to the Ministry of Science and Technological Development of Serbia.
Author information
Rights and permissions
About this article
Cite this article
Jovanović, M., Kadelburg, Z. & Radenović, S. Common Fixed Point Results in MetricType Spaces. Fixed Point Theory Appl 2010, 978121 (2010) doi:10.1155/2010/978121
Received
Accepted
Published
DOI
Keywords
 Fixed Point Theorem
 Type Version
 Normal Cone
 Cauchy Sequence
 Common Fixed Point