- Research
- Open access
- Published:
Remarks on the fixed point problem of 2-metric spaces
Fixed Point Theory and Applications volume 2013, Article number: 167 (2013)
Abstract
In this paper, we prove a fixed point theorem on a 2-metric space and show that the main results in Lahiri et al. (Taiwan. J. Math. 15:337-352, 2011) and Singh et al. (J. Adv. Math. Stud. 5:71-76, 2012) may be obtained easily from the axioms of a 2-metric space. Examples are given to validate the results.
1 Introduction and preliminaries
There have been some generalizations of a metric space and its fixed point problem such as 2-metric spaces, D-metric spaces, G-metric spaces, cone metric spaces, complex-valued metric spaces. The notion of a 2-metric space was introduced by Gähler in [1]. Notice that a 2-metric is not a continuous function of its variables, whereas an ordinary metric is. This led Dhage to introduce the notion of a D-metric space in [2]. After that, in [3], Mustafa and Sims showed that most of topological properties of D-metric spaces were not correct. Then, in [4], they introduced the notion of a G-metric space and many fixed point theorems on G-metric spaces have been obtained. Unfortunately, in [5], Jleli and Samet showed that most of the obtained fixed point theorems on G-metric spaces can be deduced immediately from fixed point theorems on metric spaces or quasi-metric spaces. In [6], Huang and Zhang defined the notion of a cone metric space, which generalized a metric and a metric space, and proved some fixed point theorems for contractive maps on this space. After that, many authors extended some fixed point theorems on metric spaces to cone metric spaces. In [7], Feng and Mao introduced a metric on a cone metric space and then proved that a complete cone metric space is always a complete metric space. They verified that a contractive map on a cone metric space is a contractive map on a metric space, then fixed point theorems on a cone metric space are, essentially, fixed point theorems on a metric space. In [8], Azam, Fisher and Khan introduced the notion of a complex-valued metric space and some fixed point theorems on this space were stated. But in [9], Sastry, Naidu and Bekeshie showed that some fixed point theorems recently generalized to complex-valued metric spaces are consequences of their counter parts in the setting of metric spaces and hence are redundant.
Notice that in the above generalizations, only a 2-metric space is not topologically equivalent to an ordinary metric. Then there was no easy relationship between results obtained in 2-metric spaces and metric spaces. In particular, the fixed point theorems on 2-metric spaces and metric spaces may be unrelated easily. For the fixed point theorems on 2-metric spaces, the readers may refer to [10–19].
In this paper, we prove a fixed point theorem on a 2-metric space and show that the main results in [17] and [20] may be obtained easily from the axioms of a 2-metric space. Examples are given to validate the results.
Now we recall some notions and lemmas which will be useful in what follows.
Definition 1.1 ([1])
Let X be a non-empty set and let be a map satisfying the following conditions:
-
1.
For every pair of distinct points , there exists a point such that .
-
2.
only if at least two of three points are the same.
-
3.
The symmetry: for all .
-
4.
The rectangle inequality: for all .
Then d is called a 2-metric on X and is called a 2-metric space which will be sometimes denoted by X if there is no confusion. Every member is called a point in X.
Remark 1.2
-
1.
Every 2-metric is non-negative.
-
2.
We may assume that every 2-metric space contains at least three distinct points.
2 Main results
Theorem 2.1 Let be a 2-metric space and let be two maps. If for all , then Tx is a fixed point of T and Fy is a fixed point of F for all .
Proof For all , we have
By interchanging the roles of x and y, T and F, we get . So,
for all . Then if Tx plays the role of x in (2.1), we have for all . Hence for all . This proves that Tx is a fixed point of T for all . Similarly, Fy is a fixed point of F for all . □
Corollary 2.2 ([21], Lemma 4.1)
Let be a 2-metric space and let be a map. If for all , then Tx is a fixed point of T for all .
The following examples show that Theorem 2.1 is a proper generalization of Corollary 2.2.
Example 2.3 Let and for all . Then is a 2-metric space. Let be two maps defined by , and , . We have and . This proves that Corollary 2.2 is neither applicable to T nor F. On the other hand, Theorem 2.1 is applicable to T and F since for all as in the Table 1.
Definition 2.4 ([17], Definition 12)
Let be a 2-metric space and let be a map. T is said to be contractive if for all , and if any two of are equal.
Corollary 2.5 Let be a 2-metric space and let be a contractive map. Then T is a constant map, i.e., there exists such that for all . In particular, T has a unique fixed point and the sequence converges to for all .
Proof Since for all , it follows from Corollary 2.2 that Tx is a fixed point of T for all .
If for some , then there exists such that . Thus, . Notice that and T is a contractive map, so we have
It is a contradiction. Therefore for all , i.e., T is a constant map. Let for all . Then is the unique fixed point of T and the sequence converges to for all . □
The following example shows that the contraction of T in Corollary 2.5 is essential.
Example 2.6 Let be a 2-metric space and let be the identical map where X has at least three points. Then T is a non-contractive map with more than one fixed point.
In [17], Lahiri, Das and Dey established Cantor’s intersection theorem and Baire category theorem in 2-metric spaces, and some fixed point theorems in 2-metric spaces have been proved sophisticatedly. By using the assumption of a contractive map, we show that the main results in [17] are direct consequences of Corollary 2.5. Moreover, the assumption of a contractive map is essential by Example 2.6.
Corollary 2.7 ([17], Theorem 7)
Let be a complete bounded 2-metric space and let be a map such that for some and all , and if any two of are equal. Then T has a unique fixed point in X.
Corollary 2.8 ([17], Theorem 8)
Let be a bounded 2-metric space and let be a map such that for some and all . Let there be a point such that the sequence of iterates contains a subsequence that converges to . Then is a unique fixed point of T.
Corollary 2.9 ([17], Theorem 9)
Let be an uncounTable 2-metric space and let be a contractive map. If there exists a point such that the sequence of iterates contains a subsequence converging to , then is the unique fixed point of T.
Recently, Singh, Mishra and Stofile have proved the following result.
Theorem 2.10 ([20], Theorem 2.1)
Let be a complete 2-metric space and . Define a non-decreasing function θ from onto by
Assume that there exists such that
for all . Then there exists a unique fixed point z of T. Moreover, for any .
In the proof of the above theorem, Singh, Mishra and Stofile claimed that
in lines +4 and +5, page 73 of [20]. In fact,
The error inequality (2.3) was pointed out in [22].
Now, by choosing in (2.2), we have . It implies that for all . Then, by Corollary 2.2, T has a fixed point. For the uniqueness, let T have fixed points . We have
It implies that for all . Then for all , that is, .
The following example shows that we cannot replace the assumption ‘for all ’ in the contraction condition (2.2) by the assumption ‘for all and ’.
Example 2.11 Let and for all . Then is a complete 2-metric space. Let be a map defined by , , . We see that T has no fixed point. But, for all and , the contraction condition (2.2) holds as in the Table 2.
References
Gähler VS: 2-metrische Räume und ihre topologische struktur. Math. Nachr. 1963/64, 26: 115–118. 10.1002/mana.19630260109
Dhage, BC: A study of some fixed point theorems. Ph.D. thesis, Marathwada, Aurangabad, India (1984)
Mustafa Z, Sims B: Some remarks concerning D -metric spaces. Proceedings of the International Conferences on Fixed Point Theory and Applications 2003, 189–198., Valencia, Spain
Mustafa Z, Sims B: A new approach to generalized metric spaces. J. Nonlinear Convex Anal. 2006, 7(2):289–297.
Jleli M, Samet B: Remarks on G -metric spaces and fixed point theorems. Fixed Point Theory Appl. 2012., 2012: Article ID 201
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
Feng Y, Mao W: The equivalence of cone metric spaces and metric spaces. Fixed Point Theory 2010, 11(2):259–264.
Azam A, Fisher B, Khan M: Common fixed point theorems in complex valued metric spaces. Numer. Funct. Anal. Optim. 2011, 32(3):243–253. 10.1080/01630563.2011.533046
Sastry KPR, Naidu GA, Bekeshie T: Metrizability of complex valued metric spaces and some remarks on fixed point theorems in complex valued metric spaces. Int. J. Pure Appl. Math. 2012, 3(7):2686–2690.
Aliouche A, Simpson C: Fixed points and lines in 2-metric spaces. Adv. Math. 2012, 229: 668–690. 10.1016/j.aim.2011.10.002
Deshpande B, Chouhan S: Common fixed point theorems for hybrid pairs of mappings with some weaker conditions in 2-metric spaces. Fasc. Math. 2011, 46: 37–55.
Freese RW, Cho YJ, Kim SS: Strictly 2-convex linear 2-normed spaces. J. Korean Math. Soc. 1992, 29(2):391–400.
Gähler VS: Lineare 2-normierte Räume. Math. Nachr. 1965, 28: 1–43.
Gähler VS: Über die uniformisierbarkeit 2-metrischer Räume. Math. Nachr. 1965, 28: 235–244.
Iseki K: Fixed point theorems in 2-metric spaces. Math. Sem. Notes Kobe Univ. 1975, 3: 133–136.
Iseki K: Mathematics on 2-normed spaces. Bull. Korean Math. Soc. 1976, 13(2):127–135.
Lahiri BK, Das P, Dey LK: Cantor’s theorem in 2-metric spaces and its applications to fixed point problems. Taiwan. J. Math. 2011, 15: 337–352.
Lai SN, Singh AK: An analogue of Banach’s contraction principle of 2-metric spaces. Bull. Aust. Math. Soc. 1978, 18: 137–143. 10.1017/S0004972700007887
Vats RK, Kumar S, Sihag V: Fixed point theorems in complete G -metric space. Fasc. Math. 2011, 47: 127–139.
Singh SL, Mishra SN, Stofile S: Suzuki contraction theorem on a 2-metric space. J. Adv. Math. Stud. 2012, 5: 71–76.
An TV, Dung NV, Hieu NT: Further results on 2-metric spaces. J. Sci. Vinh Univ. 2012, 41(3):1–10.
Singh SL, Mishra SN, Stofile S: Erratum to ‘Suzuki contraction theorem on a 2-metric space’. J. Adv. Math. Stud. 2012, 5(2):138.
Acknowledgements
The authors would like to thank the referees for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally. 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
Dung, N.V., Hieu, N.T., Ly, N.T.T. et al. Remarks on the fixed point problem of 2-metric spaces. Fixed Point Theory Appl 2013, 167 (2013). https://doi.org/10.1186/1687-1812-2013-167
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-167