Journal of Applied MathematicsVolume 2012 (2012), Article ID 314279, 10 pagesdoi:10.1155/2012/314279

Research Article

Tripled Fixed Point Results in Generalized Metric Spaces

Hassen Aydi,¹ Erdal Karapınar,² and Wasfi Shatanawi³

¹Institut Supérieur d'Informatique et des Technologies de Communication de Hammam Sousse, Université de Sousse, Route GP1-4011, H. Sousse, Tunisia²Department of Mathematics, Atilim University, İncek, 06836 Ankara, Turkey³Department of Mathematics, Hashemite University, Zarqa, Jordan

Received 5 February 2012; Accepted 16 March 2012

Academic Editor: Rudong Chen

Copyright © 2012 Hassen Aydi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We establish a tripled fixed point result for a mixed monotone mapping satisfying nonlinear contractions in ordered generalized metric spaces. Also, some examples are given to support our result.

1. Introduction and Preliminaries

The study of fixed points of mappings satisfying certain contractive conditions has been at the center of rigorous research activity, see [1–3]. The notion of -metric space is a generalization of usual metric spaces and it is introduced by Dhage [4–7]. Recently, Mustafa and Sims [8, 9] have shown that most of the results concerning Dhage’s -metric spaces are invalid. In [8, 9], they introduced an improved version of the generalized metric space structure which they called -metric spaces. For more results on -metric spaces, one can refer to the papers [10–26].

Now, we give some preliminaries and basic definitions which are used throughout the paper. In 2006, Mustafa and Sims [9] introduced the concept of -metric spaces as follows.

Definition 1.1 (see [9]). Let be a nonempty set, be a function satisfying the following properties:(G1) if ,(G2) for all with ,(G3) for all with ,(G4) (symmetry in all three variables),(G5) for all (rectangle inequality).Then the function is called a generalized metric or, more specially, a -metric on , and the pair is called a -metric space.Every -metric on will define a metric on by

Example 1.2. Let be a metric space. The function , defined by or for all , is a -metric on .

Definition 1.3 (see [9]). Let be a -metric space, and let be a sequence of points of ; therefore, we say that is -convergent to if , that is, for any , there exists such that , for all . One calls the limit of the sequence and writes or .

Proposition 1.4 (see [9]). Let be a -metric space. The following are equivalent: (1) is -convergent to ,(2) as ,(3) as ,(4) as .

Definition 1.5 (see [9]). Let be a -metric space. A sequence is called a -Cauchy sequence if, for any , there is such that for all , that is, as .

Proposition 1.6 (see [9]). Let be a -metric space. Then the following are equivalent: (1)the sequence is -Cauchy,(2)for any , there exists such that , for all .

Definition 1.7 (see [9]). A -metric space is called -complete if every -Cauchy sequence is -convergent in .

Definition 1.8. Let be a -metric space. A mapping is said to be continuous if for any three -convergent sequences , , and converging to , , and , respectively, is -convergent to .Recently, Berinde and Borcut [27] introduced these definitions.

Definition 1.9. Let be a partially ordered set and . The mapping is said to have the mixed monotone property if, for any ,

Definition 1.10. Let . An element is called a tripled fixed point of if Very recently, Berinde and Borcut [28] proved some tripled coincidence theorems for contractive type mappings in partially ordered metric spaces. Also, Samet and Vetro [29] introduced the notion of fixed point of -order as natural extension of that of coupled fixed point and established some new coupled fixed point theorems in complete metric spaces, using a new concept of -invariant set.Berinde and Borcut [27] proved the following theorem.

Theorem 1.11. Let be a partially ordered set and suppose there is a metric on such that is a complete metric space. Suppose such that has the mixed monotone property and for any for which , and . Suppose either is continuous or has the following properties: (1)if a nondecreasing sequence , then for all ,(2)if a nonincreasing sequence , then  for all ,(3)if a nondecreasing sequence , then for all .If there exist such that , , and , then there exist such that that is, has a tripled fixed point.

In this paper, we establish a tripled fixed point result for a mapping having a mixed monotone property in -metric spaces. Also, we give some examples to illustrate our result.

2. Main Results

Let be the set of all non-decreasing functions such that for all . If , then following Matkowski [30], we have(1) for all ,(2).

The aim of this paper is to prove the following theorem.

Theorem 2.1. Let be partially ordered set and a -metric space. Let be a continuous mapping having the mixed monotone property on . Assume there exists such that for , with , , and , one has If there exist such that , , and , then has a tripled fixed point in , that is, there exist such that

Proof. Suppose are such that , , and . Define , , and . Then , , and . Again, define , , and . Since has the mixed monotone property, we have , , and . Continuing this process, we can construct three sequences , , and in such that If, for some integer , we have , then , , and ; that is, is a tripled fixed point of . Thus we will assume that for all ; that is, we assume that either or or . For any , we have from (2.1) From (2.4), it follows that By repeating (2.5) -times and using the fact that is non-decreasing, we get that Now, we shill show that is a -Cauchy sequence in . Let . Since and , there exists such that By (2.6), this implies that For , we prove by induction on that Since , then by using (2.9) and the property (G4), we conclude that (2.10) holds when . Now suppose that (2.10) holds for . For , we have Similarly, we show that Hence, we have Thus (2.10) holds for all . Hence , , and are -Cauchy sequences in . Since is a -complete metric space, there exist such that , , and converge to , , and , respectively. Finally, we show that is a tripled fixed point of . Since is continuous and , we have . By the uniqueness of limit, we get that . Similarly, we show that and . So is a tripled fixed point of .

Corollary 2.2. Let be partially ordered set and a -metric space. Let be a continuous mapping having the mixed monotone property on . Suppose that there exists such that for , with , , and one has If there exist such that , , and , then has a tripled fixed point in , that is, there exist such that

Proof. It follows from Theorem 2.1 by taking .

Corollary 2.3. Let be partially ordered set and be a -metric space. Let be a continuous mapping having the mixed monotone property on . Suppose that there exists such that for , with , , and one has If there exist such that , , and , then has a tripled fixed point in , that is, there exist such that

Proof. Note that Then, the proof follows from Corollary 2.2.

By adding an additional hypothesis, the continuity of in Theorem 2.1 can be dropped.

Theorem 2.4. Let be a partially ordered set and a complete metric space. Let be a mapping having the mixed monotone property. Assume that there exists such that for all with , , and . Assume also that has the following properties: (i)if a nondecreasing sequence , then for all ,(ii)if a nonincreasing sequence , then for all .If there exist such that , , and , then has a tripled fixed point.

Proof. Following proof of Theorem 2.1 step by step, we construct three -Cauchy sequences , , and in with such that , , and . By the hypotheses on , we have , , and for all . If for some , , , and , then which implies that , , and ; that is, is a tripled fixed point of . Now, assume that, for all , . Thus, for each , From (2.19), we have Letting in (2.23) and using (2.22) in the fact that for all , it follows that , , and . Hence is a tripled fixed point of .

Now we give some examples illustrating our results.

Example 2.5. Take endowed with the complete -metric: for all . Set and defined by . The mapping has the mixed monotone property. We have for all , , and , that is, (2.14) holds. Take , then all the hypotheses of Corollary 2.2 are verified, and is the unique tripled fixed point of .

Example 2.6. As in Example 2.5, take and for all . Set and defined by . The mapping has the mixed monotone property. For all , , and , we have that is, (2.16) holds. Take , then all the hypotheses of Corollary 2.3 hold, and is the unique tripled fixed point of .

Remark 2.7. In our main results (Theorems 2.1 and 2.4), the considered contractions are of nonlinear type. Then, inequality (2.1) does not reduce to any metric inequality with the metric (this metric is given by (1.1)). Hence our theorems do not reduce to fixed point problems in the corresponding metric space .

References

L. Ćirić, M. Abbas, B. Damjanović, and R. Saadati, “Common fuzzy fixed point theorems in ordered metric spaces,” Mathematical and Computer Modelling, vol. 53, no. 9-10, pp. 1737–1741, 2011.

Y. J. Cho, R. Saadati, and S. Wang, “Common fixed point theorems on generalized distance in ordered cone metric spaces,” Computers & Mathematics with Applications, vol. 61, no. 4, pp. 1254–1260, 2011.

R. Saadati, S. M. Vaezpour, and Lj. B. Ćirića, “Generalized distance and some common fixed point theorems,” Journal of Computational Analysis and Applications, vol. 12, no. 1-A, pp. 157–162, 2010.

B. C. Dhage, “Generalized metric space and mapping with fixed point,” Bulletin of Calcutta Mathematical Society, vol. 84, pp. 329–336, 1992.

B. C. Dhage, “On generalized metric spaces and topological structure. II,” Pure and Applied Mathematika Sciences, vol. 40, no. 1-2, pp. 37–41, 1994.

B. C. Dhage, “A common fixed point principle in D-metric spaces,” Bulletin of the Calcutta Mathematical Society, vol. 91, no. 6, pp. 475–480, 1999.

B. C. Dhage, “Generalized metric spaces and topological structure. I,” Annalele Stintifice ale Universitatii Al.I. Cuza, vol. 46, no. 1, pp. 3–24, 2000.

Z. Mustafa and B. Sims, “Some remarks concerning D-metric spaces,” in Proceedings of the International Conference on Fixed Point Theory and Applications, pp. 189–198, Yokohama, Japan, 2004.

Z. Mustafa and B. Sims, “A new approach to generalized metric spaces,” Journal of Nonlinear and Convex Analysis, vol. 7, no. 2, pp. 289–297, 2006.

M. Abbas, A. R. Khan, and T. Nazir, “Coupled common fixed point results in two generalized metric spaces,” Applied Mathematics and Computation, vol. 217, no. 13, pp. 6328–6336, 2011.

M. Abbas and B. E. Rhoades, “Common fixed point results for noncommuting mappings without continuity in generalized metric spaces,” Applied Mathematics and Computation, vol. 215, no. 1, pp. 262–269, 2009.

H. Aydi, B. Damjanović, B. Samet, and W. Shatanawi, “Coupled fixed point theorems for nonlinear contractions in partially ordered G-metric spaces,” Mathematical and Computer Modelling, vol. 54, no. 9-10, pp. 2443–2450, 2011.

H. Aydi, W. Shatanawi, and C. Vetro, “On generalized weakly G-contraction mapping in G-metric spaces,” Computers & Mathematics with Applications, vol. 62, pp. 4222–4229, 2011.

H. Aydi, “A fixed point result involving a generalized weakly contractive condition in G-metric spaces,” Bulletin of Mathematical Analysis and Applications, vol. 3, no. 4, pp. 180–188, 2011.

H. Aydi, W. Shatanawi, and M. Postolache, “Coupled fixed point results for ()-weakly contractive mappings in ordered G-metric spaces,” Computers & Mathematics with Applications, vol. 63, pp. 298–309, 2012.

H. Aydi, “A common fixed point of integral type contraction in generalized metric spaces,” Journal of Advanced Mathematical Studies, vol. 5, no. 1, pp. 111–117, 2012.

B. S. Choudhury and P. Maity, “Coupled fixed point results in generalized metric spaces,” Mathematical and Computer Modelling, vol. 54, no. 1-2, pp. 73–79, 2011.

Z. Mustafa, A new structure for generalized metric spaces with applications to fixed point theory, Ph.D. thesis, The University of Newcastle, Callaghan, Australia, 2005.

Z. Mustafa, H. Obiedat, and F. Awawdeh, “Some fixed point theorem for mapping on complete G-metric spaces,” Fixed Point Theory and Applications, vol. 2008, Article ID 189870, 12 pages, 2008.

Z. Mustafa and B. Sims, “Fixed point theorems for contractive mappings in complete G-metric spaces,” Fixed Point Theory and Applications, vol. 2009, Article ID 917175, 10 pages, 2009.

Z. Mustafa, W. Shatanawi, and M. Bataineh, “Existence of fixed point results in G-metric spaces,” International Journal of Mathematics and Mathematical Sciences, vol. 2009, Article ID 283028, 10 pages, 2009.

R. Saadati, S. M. Vaezpour, P. Vetro, and B. E. Rhoades, “Fixed point theorems in generalized partially ordered G-metric spaces,” Mathematical and Computer Modelling, vol. 52, no. 5-6, pp. 797–801, 2010.

W. Shatanawi, “Fixed point theory for contractive mappings satisfying Φ-maps in G-metric spaces,” Fixed Point Theory and Applications, vol. 2010, Article ID 181650, 9 pages, 2010.

W. Shatanawi, “Some fixed point theorems in ordered G-metric spaces and applications,” Abstract and Applied Analysis, vol. 2011, Article ID 126205, 11 pages, 2011.

W. Shatanawi, “Coupled fixed point theorems in generalized metric spaces,” Hacettepe Journal of Mathematics and Statistics, vol. 40, no. 3, pp. 441–447, 2011.

N. Tahat, H. Aydi, E. Karapinar, and W. Shatanawi, “Common fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G-metric spaces,” Fixed Point Theory and Applications, vol. 2012, 48 pages, 2012.

V. Berinde and M. Borcut, “Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces,” Nonlinear Analysis A, vol. 74, no. 15, pp. 4889–4897, 2011.

V. Berinde and M. Borcut, “Tripled coincidence theorems for contractive type mappings in partially ordered metric spaces,” Applied Mathematics & Computation, vol. 218, no. 10, pp. 5929–5936, 2012.

B. Samet and C. Vetro, “Coupled fixed point, f-invariant set and fixed point of N-order,” Annals of Functional Analysis, vol. 1, no. 2, pp. 46–56, 2010.

J. Matkowski, “Fixed point theorems for mappings with a contractive iterate at a point,” Proceedings of the American Mathematical Society, vol. 62, no. 2, pp. 344–348, 1977.