- Research
- Open access
- Published:
Ω-Distance and coupled fixed point in G-metric spaces
Fixed Point Theory and Applications volume 2013, Article number: 208 (2013)
Abstract
Saadati et al. (Math. Comput. Model. 52:797-801, 2010) introduced the concept of Ω-distance in generalized metric spaces and studied some nice fixed point theorems. Very recently, Jleli and Samet (Fixed Point Theory Appl. 2012:210, 2012) showed that some of the fixed point theorems in G-metric spaces can be obtained from quasi-metric space. In this paper, we utilize the concept of Ω-distance in the sense of Saadati et al. to establish some common coupled fixed point results. Also, we introduce an example to support the useability of our results. Note that the method of Jleli and Samet cannot be used in our results.
MSC:47H10, 54H25.
1 Introduction
In 2006, Mustafa and Sims [1] introduced a generalization of metric spaces, the G-metric spaces, which assigns to each triple of elements a non-negative real number. Very recently, Jleli and Samet [2] showed that some of the fixed point theorems in G-metric spaces can be obtained from quasi-metric spaces. For some works in G-metric spaces, see [3–36]. In 2010, Saadati et al. [26] introduced the concept of Ω-distance and studied some nice fixed point theorems (also, see [13]). Meanwhile, Bhaskar and Lakshmikantam [37] introduced the concept of coupled fixed point and proved several fixed point theorems. Lakshmikantam and Ćirić [38] generalized the concept of coupled fixed point to the the concept of coupled coincidence point of two mappings [39]. After that, many authors established coupled fixed point results (please, see [19–44]). In the present paper, we utilize the concept of Ω-distance to establish some coupled fixed point results. Also, we introduce an example to support the useability of our study.
2 Preliminaries
Definition 2.1 ([1])
Let X be an nonempty set. The mapping is called G-metric if the following axioms are fulfilled:
-
(1)
if (the coincidence);
-
(2)
for all , ;
-
(3)
for each triple from with ;
-
(4)
for each permutation of (the symmetry);
-
(5)
for each x, y, z and a in X (the rectangle inequality).
Definition 2.2 ([1])
Consider X a G-metric space and a sequence in G.
-
(1)
is called G-Cauchy sequence if for each there is a positive integer so that for all , .
-
(2)
is said to be G-convergent to if for each there is a positive integer such that for each .
Definition 2.3 ([26])
Consider a G-metric space and . The mapping Ω is called an Ω-distance on X if it satisfies the three conditions in the following:
-
(1)
for all x, y, z, a from X.
-
(2)
For each x, y from X, are lower semi-continuous.
-
(3)
for each there is , so that and imply .
The following lemma [13, 26] is going to be very helpful in computing the limits of several sequences.
Lemma 2.1 Let X be a metric space, endowed with metric G, and let Ω be an Ω-distance on X. , are sequences in X, and are sequences in with . If x, y, z and , then
-
(1)
If and for , then , and, by consequence, .
-
(2)
Inequalities and for imply , hence .
-
(3)
If for with , then is a G-Cauchy sequence.
-
(4)
If , , then is a G-Cauchy sequence.
Definition 2.4 ([37])
Consider X a nonempty set. A pair is called coupled fixed point of mapping if
Definition 2.5 ([38])
Let X be a nonempty set. The element is a coupled coincidence point of mappings and if
3 Main results
Theorem 3.1 Let be a G-metric space and Ω an Ω-distance on X such that X is Ω-bounded. and are mappings. Suppose there exists such that for each x, y, z, , and in X
Consider also that the following conditions hold true:
-
(1)
;
-
(2)
gX is a complete subspace of X with respect to the topology, induced by G;
-
(3)
If or , then
Then, F and g have a unique coupled coincidence point . Moreover, .
Proof Consider and . Because , there exist and in X such that and . By continuing the process, we obtain two sequences, and , with the properties
Using the contraction condition, we obtain
By applying the contraction inequality repeatedly, we get that
where .
Since X is Ω-bounded, there is such that for each triple . Hence, relation (1) becomes
Consider now , . The following relations hold true:
and, also
Making the sum of relations (2) and (3), and using inequality (1), it follows that
Lemma 2.1, part (3), implies that and are G-Cauchy sequences. Since gX is a complete G-subspace of X, there are gu and gv in gX such that and .
Let . From the lower semi-continuity of Ω, we get
Suppose that or . Applying hypotheses (3) of the theorem, and using inequalities (4)-(7), we obtain
for each , which is a contradiction.
Therefore, and .
Using the contraction condition from the hypotheses, we get
We apply repeatedly the contraction inequality, and we obtain
Since X is Ω-bounded, it follows that
In a similar manner, it can be proved that
Taking into account (8), (9) and the first statement of Lemma 2.1, we get .
We will prove now the uniqueness of the coupled coincidence point of F and g.
Suppose and are coupled coincidence points of F and g. Using the contraction condition, we obtain
hence .
On the other hand,
and
Relations (10) and (11) imply that and also . Lemma 2.1 imposes that and , and the uniqueness is proved. □
If we take in Theorem 3.1, we easily get the following.
Corollary 3.1 Let be a complete G-metric space, and let Ω be an Ω-distance on X such that X is Ω-bounded. Suppose is a mapping for which there exists such that for each x, y, z, , and in X
Consider also that if or , then
Then, F has a unique coupled fixed point . Moreover, .
Corollary 3.2 Let be a G-metric space, and let Ω be an Ω-distance on X such that X is Ω-bounded. and are mappings. Suppose that there exists with such that for each x, y, z, , and in X
Consider also that the following conditions hold true:
-
(1)
;
-
(2)
gX is a complete subspace of X with respect to the topology induced by G;
-
(3)
If or , then
Then, F and g have a unique coupled coincidence point . Moreover, .
Proof Follows from Theorem 3.1 by noting that
□
If we take in Corollary 3.2, we easily get the following.
Corollary 3.3 Let be a complete G-metric space, and let Ω be an Ω-distance on X such that X is Ω-bounded. Suppose is a mapping, for which there exists with such that for each x, y, z, , and in X
Consider also that if or , then
Then, F has a unique coupled fixed point . Moreover, .
By modifying the contraction condition, we get the following theorem.
Theorem 3.2 Let be a G-metric space, and let Ω be an Ω-distance on X such that X is Ω-bounded. and are mappings. Suppose that there exist with such that for each x, y, z, , and in X
and the conditions (1)-(3) from Theorem 3.1 hold.
Then, F and g have a unique coupled coincidence point . Moreover, .
Proof Let and be elements of X. Since , there exist and in X such that and . Repeating this procedure, we obtain two sequences, and , with the properties
The contraction condition implies that
which leads us to
where .
Following the same steps, as we did in Theorem 3.1, the conclusion is straightforward. □
Theorem 3.2 leads us to a coupled fixed point property, by considering .
Corollary 3.4 Let be a complete G-metric space, and let Ω be an Ω-distance on X such that X is Ω-bounded. Suppose that is a mapping, for which there exist with such that for each x, y, z, , and in X
and if or , then
Then, F has a coupled fixed point . Moreover, .
Theorem 3.3 Let be a G-metric space, and let Ω be an Ω-distance on X. Consider , and such that
for all . Suppose that the following conditions are fulfilled:
-
(1)
.
-
(2)
gX is a complete subspace of X with respect to the topology, induced by G.
-
(3)
There exists such that holds for all .
-
(4)
If or , then
Then F and g have a coupled coincidence point .
Proof Consider a pair from . As , there exist so that , .
We continue the process, and we obtain two sequences , from X, having the properties that
Using the contraction condition, we get
For , the first part of the definition Ω-distance and (12) yields
Let
According to (12),
Thus, is an increasing bounded sequence, so
exists.
Now, we shall show that and are G-Cauchy sequences in gX. Consider . By part (3) of the definition of an Ω-distance, we choose such that if and , then . Let .
Using the fact that
and letting in (13), we choose such that
for all .
Thus,
and
for all . Also we have
for all . Thus,
and
for all . Thus, by part (3) of the definition of Ω-distance, we have
and
for .
Therefore, and are G-Cauchy sequences. As gX is G-complete, it follows that there are u, so that and .
Since Ω is lower semi-continuous in its second and third variable, we obtain, for
We make the sum of inequalities (14), (15), (16) and (17). It follows that
for each , which contradicts the hypothesis.
Hence, and , that is, is a coupled coincidence point of F and g. □
By considering , we get the following corrolary.
Corollary 3.5 Let be a complete G-metric space, and let Ω be an Ω-distance on X. Consider and such that
for all . Suppose that the following conditions are fulfilled:
-
(1)
There exists such that holds for all .
-
(2)
If or , then
Then F has coupled fixed point .
Now, we introduce the following example to support the useability of our result.
Example 3.1 Let . Define
and
Also define
Then,
-
(1)
is a complete G-metric space.
-
(2)
Ω is Ω-distance.
-
(3)
for all .
-
(4)
.
-
(5)
For we have
-
(6)
If or , then
Proof The proof of (1), (2), (3) and (4) is clear. To prove (5) given .
To prove (6), let or . Then or . Thus,
So, F and g satisfy all the hypotheses of Corollary 3.5. Hence the mappings F and g have a coupled coincidence point, Here is the coupled coincidence point of F and g. □
References
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 210
Abbas M, Nazir T, Radenović S: Some periodic point results in generalized metric spaces. Appl. Math. Comput. 2010, 217: 195–202. 10.1016/j.amc.2010.05.042
Abbas M, Nazir T, Radenović S: Common fixed point of generalized weakly contractive maps in partially ordered G -metric spaces. Appl. Math. Comput. 2012, 218: 9383–9395. 10.1016/j.amc.2012.03.022
Aydi H: A fixed point result involving a generalized weakly contractive condition in G -metric spaces. Bull. Math. Anal. Appl. 2011, 3(4):180–188.
Aydi H: A common fixed point of integral type contraction in generalized metric spaces. J. Adv. Math. Stud. 2012, 5(1):111–117.
Aydi H, Damjanović B, Samet B, Shatanawi W: Coupled fixed point theorems for nonlinear contractions in partially ordered G -metric spaces. Math. Comput. Model. 2011, 54: 2443–2450. 10.1016/j.mcm.2011.05.059
Aydi H, Shatanawi W, Vetro C: On generalized weakly G -contraction mapping in G -metric spaces. Comput. Math. Appl. 2011, 62(11):4222–4229. 10.1016/j.camwa.2011.10.007
Aydi H, Postolache M, Shatanawi W: Coupled fixed point results for -weakly contractive mappings in ordered G -metric spaces. Comput. Math. Appl. 2012, 63(1):298–309. 10.1016/j.camwa.2011.11.022
Chandok, S, Mustafa, Z, Postolache, M: Coupled common fixed point theorems for mixed g-monotone mappings in partially ordered G-metric spaces. Sci. Bull. ‘Politeh.’ Univ. Buchar., Ser. A, Appl. Math. Phys. (in press)
Gajić L, Crvenković ZL: A fixed point result for mappings with contractive iterate at a point in G -metric spaces. Filomat 2011, 25: 53–58.
Gajić L, Crvenković ZL: On mappings with contractive iterate at a point in generalized metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 458086
Gholizadeh L, Saadati R, Shatanawi W, Vaezpour SM: Contractive mapping in generalized, ordered metric spaces with application in integral equations. Math. Probl. Eng. 2011., 2011: Article ID 380784
Kaewcharoen A, Kaewkhao A: Common fixed points for single-valued and multi-valued mappings in G -metric spaces. Int. J. Math. Anal. 2011, 5: 1775–1790.
Mustafa Z, Obiedat H, Awawdeh F: Some fixed point theorem for mapping on complete G -metric spaces. Fixed Point Theory Appl. 2008., 2008: Article ID 189870
Mustafa Z, Sims B: Fixed point theorems for contractive mapping in complete G -metric spaces. Fixed Point Theory Appl. 2009., 2009: Article ID 917175
Mustafa Z, Khandaqji M, Shatanawi W: Fixed point results on complete G -metric spaces. Studia Sci. Math. Hung. 2011, 48: 304–319.
Mustafa Z, Shatanawi W, Bataineh M: Existence of fixed points results in G -metric spaces. Int. J. Math. Math. Sci. 2009., 2009: Article ID 283028
Nashine HK, Shatanawi W: Coupled common fixed point theorems for pair of commuting mappings in partially ordered complete metric spaces. Comput. Math. Appl. 2011, 62(4):1984–1993. 10.1016/j.camwa.2011.06.042
Ciric L, Hussain N, Akbar F, Ume JS: Common fixed point for Banach operator pairs from the set of best approximations. Bull. Belg. Math. Soc. Simon Stevin 2009, 16: 319–336.
Ciric L, Hussain N, Cakic N: Common fixed points for Ciric type f -weak contraction with applications. Publ. Math. (Debr.) 2010, 76(1–2):31–49.
Ciric L, Abbas M, Saadati R, Hussain N: Common fixed points of almost generalized contractive mappings in ordered metric spaces. Appl. Math. Comput. 2011, 217: 5784–5789. 10.1016/j.amc.2010.12.060
Rhoades BE, Abbas M: Necessary and sufficient condition for common fixed point theorems. J. Adv. Math. Stud. 2009, 2(2):97–102.
Popa V, Patriciu AM: A general fixed point theorem for mappings satisfying an ϕ -implicit relation in complete G -metric spaces. G.U. Journal of Science 2012, 25(2):403–408.
Radenović S, Pantelić S, Salimi P, Vujaković J: A note on some tripled coincidence point results in G -metric spaces. Int. J. Math. Sci. Eng. Appl. 2012, 6(6):23–38.
Saadati R, Vaezpour SM, Vetro P, Rhoades BE: Fixed point theorems in generalized partially ordered G -metric spaces. Math. Comput. Model. 2010, 52: 797–801. 10.1016/j.mcm.2010.05.009
Samet B: Coupled fixed point theorems for a generalized Meir-Keeler contraction in partially ordered metric spaces. Nonlinear Anal. 2010, 72: 4508–4517. 10.1016/j.na.2010.02.026
Fadail ZM, Ahmad AGB, Radenović S: Common fixed point and fixed point results under c -distance in cone metric spaces. Appl. Math. Sci. Lett. 2013, 1(2):47–52.
Radenović S: Remarks on some recent coupled coincidence point results in symmetric G -metric spaces. J. Oper. 2013., 2013: Article ID 290525
Kadelburg Z, Nashine HK, Radenović S: Common coupled fixed point results in partially ordered G -metric spaces. Bull. Math. Anal. Appl. 2012, 4(2):51–63.
Radenović S: Remarks on some coupled coincidence point results in partially ordered metric spaces. Arab J. Math. Sci. 2013. 10.1016/j.ajmsc.2013.02.003
Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in G -metric spaces. Fixed Point Theory Appl. 2010., 2010: Article ID 181650
Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet. J. Math. Stat. 2011, 40(3):441–447.
Shatanawi W, Postolache M: Some fixed point results for a G -weak contraction in G -metric spaces. Abstr. Appl. Anal. 2012., 2012: Article ID 815870
Shatanawi W, Chauhan S, Postolache M, Abbas M, Radenović S: Common fixed points for contractive mappings of integral type in G -metric spaces. J. Adv. Math. Stud. 2013, 6(1):53–72.
Tahat N, Aydi H, Karapinar E, Shatanawi W: Common fixed points for single-valued and multi-valued maps satisfying a generalized contraction in G -metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 48
Bhaskar TG, Laksmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Laksmikantham V, Ćirić L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020
Choudhury BS, Metiya N, Postolache M: A generalized weak contraction principle with applications to coupled coincidence point problems. Fixed Point Theory Appl. 2013., 2013: Article ID 152
Aydi H, Karapınar E, Postolache M: Tripled coincidence point theorems for weak φ -contractions in partially ordered metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 44
Olatinwo MO, Postolache M: Stability results for Jungck-type iterative processes in convex metric spaces. Appl. Math. Comput. 2012, 218(12):6727–6732. 10.1016/j.amc.2011.12.038
Aydi H, Abbas M, Postolache M: Coupled coincidence points for hybrid pair of mappings via mixed monotone property. J. Adv. Math. Stud. 2012, 5(1):118–126.
Shatanawi W: Some common coupled fixed point results in cone metric spaces. Int. J. Math. Anal. 2010, 4: 2381–2388.
Shatanawi W: Partially ordered cone metric spaces and coupled fixed point results. Comput. Math. Appl. 2010, 60: 2508–2515. 10.1016/j.camwa.2010.08.074
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally and significantly in writing this article. Both 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
Shatanawi, W., Pitea, A. Ω-Distance and coupled fixed point in G-metric spaces. Fixed Point Theory Appl 2013, 208 (2013). https://doi.org/10.1186/1687-1812-2013-208
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2013-208