Abstract
In this article, we prove the existence of common coupled coincidence and coupled fixed point of generalized contractive type mappings in the context of two generalized metric spaces. These results generalize several comparable results from the current literature. We also provide illustrative examples in support of our new results.
2000 MSC: 47H10.
Similar content being viewed by others
1 Introduction and preliminaries
The study of common fixed points of mappings satisfying certain contractive conditions has been at the center of rigorous research activity [1–5]. Mustafa and Sims [4] generalized the concept of a metric space and call it a generalized metric space. Based on the notion of generalized metric spaces, Mustafa et al. [5–9] obtained some fixed point theorems for mappings satisfying different contractive conditions. Abbas and Rhoades [10] initiated the study of common fixed point theory in generalized metric spaces (see also [11]). Saadati et al. [12] proved some fixed point results for contractive mappings in partially ordered G-metric spaces. Abbas et al. [13] obtained some periodic point results in generalized metric spaces. Shatanawi [14] obtained some fixed point results for contractive mappings satisfying Φ-maps in G-metric spaces (see also [15]).
Bhashkar and Lakshmikantham [16] introduced the concept of a coupled fixed point of a mapping F : X × X → X (a nonempty set) and established some coupled fixed point theorems in partially ordered complete metric spaces. Later, Lakshmikantham and Ćirić [3] proved coupled coincidence and coupled common fixed point results for nonlinear mappings F : X × X → X and g : X → X satisfying certain contractive conditions in partially ordered complete metric spaces. Recently, Abbas et al. [17] obtained some coupled common fixed point results in two generalized metric spaces. Choudhury and Maity [18] also proved the existence of coupled fixed points in generalized metric spaces. Recently, Aydi et al. [19] generalized the results of Choudhury and Maity [18]. For other works on G-metric spaces, we refer the reader to [20, 21].
The aim of this article is to prove some common coupled coincidence and coupled fixed points results for mappings defined on a set equipped with two generalized metrics. It is worth mentioning that our results do not rely on continuity of mappings involved therein. Our results extend and unify various comparable results in [17, 22, 23].
Consistent with Mustafa and Sims [4], the following definitions and results will be needed in the sequel.
Definition 1.1. Let X be a nonempty set. Suppose that a mapping G : X × X × X → R+ satisfies:
-
(a)
G(x, y, z) = 0 if x = y = z;
-
(b)
0 < G(x, y, z) for all x, y ∈ X, with x ≠ y;
-
(c)
G(x, x, y) ≤ G(x, y, z) for all x, y, z ∈ X, with y ≠ z;
-
(d)
G(x, y, z) = G(x, z, y) = G(y, z, x) = ... (symmetry in all three variables); and
-
(e)
G(x, y, z) ≤ G(x, a, a) + G(a, y, z) for all x, y, z, a ∈ X.
Then, G is called a G-metric on X and (X, G) is called a G-metric space.
Definition 1.2. A sequence {x n } in a G-metric space X is:
-
(i)
a G-Cauchy sequence if, for any ε > 0, there is an n0 ∈ N (the set of natural numbers) such that for all n, m, l ≥ n0, G(x n , x m , x l ) < ε,
-
(ii)
a G-convergent sequence if, for any ε > 0, there is an x ∈ X and an n0 ∈ N, such that for all n, m ≥ n0, G(x, x n , x m ) < ε.
A G-metric space on X is said to be G-complete if every G-Cauchy sequence in X is G-convergent in X. It is known that {x n } G-converges to x ∈ X if and only if G(x m , x n , x) → 0 as n, m → ∞ [4].
Proposition 1.3. [4] Let X be a G-metric space. Then, the following are equivalent:
-
1.
{x n } is G-convergent to x.
-
2.
G(x n , x n , x) → 0 as n → ∞.
-
3.
G(x n , x, x) → 0 as n → ∞.
-
4.
G(x n , x m , x) → 0 as n, m → ∞.
Definition 1.4. [16] An element (x, y) ∈ X × X is called:
(C1) a coupled fixed point of mapping T : X × X → X if x = T (x, y) and y = T (y, x);
(C2) a coupled coincidence point of mappings T : X × X → X and f : X → X if f(x) = T(x,y) and f(y) = T(y,x), and in this case (fx,fy) is called coupled point of coincidence;
(C3) a common coupled fixed point of mappings T : X × X → X and f : X → X if x = f(x) = T(x, y) and y = f(y) = T(y, x).
Definition 1.5. An element (x, y) ∈ X × X is called:
(CC1) a common coupled coincidence point of the mappings T, S : X × X → X and f : X → X if T(x, y) = S(x, y) = fx and T(y, x) = S(y, x) = fy, and in this case (fx, fy) is called a common coupled point of coincidence;
(CC2) a common coupled fixed point of mappings T, S : X × X → X and f :
Definition 1.6. [22] Mappings T : X × X → X and f : X → X are called
(W1) w-compatible if f(T(x, y)) = T(fx,fy) whenever f(x) = T(x,y) and f(y) = T(y, x);
(W2) w*-compatible if f(T(x,x)) = T(fx, fx) whenever f(x) = T(x,x).
2 Common coupled fixed points
We extend some recent results of Abbas et al. [17, 22] and Sabetghadam [23] to the setting of two generalized metric spaces.
Theorem 2.1. Let G1 and G2 be two G-metrics on X such that G2(x,y, z) ≤ G1(x, y, z) for all x, y, z ∈ X, S,T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where a i ≥ 0, for i = 1, 2,..., 6 and a1 + a4 + a5 + 2(a2 + a3 + a6) < 1. If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w* -compatible with f, then f, S, and T have a unique common coupled fixed point.
Proof. As S, T, and f satisfy condition (2.1), so for all x, y, u, v ∈ X, we have
Let x0,y0 ∈ X. We choose x1,y1 ∈ X such that fx1 = S(x0, y0) and fy1 = S(y0, x0), this can be done in view of S(X × X) ⊆ f(X). Similarly, we can choose x2,y2 ∈ X such that fx2 = T(x1, y1) and fy2 = T(y1,x1) since T(X × X) ⊆ f(X). Continuing this process, we construct two sequences {x n } and {y n } in X such that
and
From (2.2), we have
which implies that
Similarly, we obtain
Now, from (2.5) and (2.6), we obtain
where . Obviously, 0 ≤ λ < 1.
In a similar way, we obtain
Thus, for all n ≥ 0,
Repetition of above process n times gives
For any m > n ≥ 1, repeated use of property (e) of G-metric gives
and so G1(fx n ,fx m , fx m ) + G1(fy n , fy m , fy m ) → 0 as n, m → ∞. Hence, {fx n } and {fy n } are G1-Cauchy sequences in f(X). By G1-completeness of f(X), there exists fx, fy ∈ f(X) such that {fx n } and {fy n } converge to fx and fy, respectively.
Now, we prove that S(x,y) = fx and T(y,x) = fy. Using (2.2), we have
which further implies that
Taking limit as n → ∞, we have
As , so we have G1(fx, T(x, y), T (x, y)) = 0, and T (x, y) = fx.
Again from (2.2), we have
That is G1(S(x,y), fx, fx) = 0, and S(x,y) = fx. Thus, T(x,y) = S(x,y) = fx. Similarly, it can be shown that T(y, x) = S(y, x) = fy. Thus, (fx, fy) is a coupled point of coincidence of mappings f, S, and T.
To show that fx = fy, we proceed as follows: Note that
Taking limit as n → ∞, we obtain
This implies that
In the similar way, we can show that
Since , from (2.7) and (2.8), we must have G1(fx, fy, fy) = 0. So that fx = fy. Thus, (fx, fx) is a coupled point of coincidence of mappings f, S and T. Now, if there is another x* ∈ X such that (fx*,fx*) is a coupled point of coincidence of mappings f, S, and T, then
implies that G1(fx,fx*,fx*) = 0 and so fx* = fx. Hence, (fx, fx) is a unique coupled point of coincidence of mappings f, S, and T.
Now, we show that f, S, and T have common coupled fixed point.
For this, let f(x) = u. Then, we have u = fx = T(x, x). By w*-compatibility of f and T, we have
Then, (fu, fu) is a coupled point of coincidence of f, S, and T. By the uniqueness of coupled point of coincidence, we have fu = fx. Therefore, (u, u) is the common coupled fixed point of f, S, and T.
To prove the uniqueness, let v ∈ X with u ≠ v such that (v, v) is the common coupled fixed point of f, S, and T. Then, using (2.2),
Since a1 + a4 + a5 + a6 < 1, so that G1(u, v, v) = 0 and u = u*. Thus, f, S, and T have a unique common coupled fixed point.
In Theorem 2.1, take S = T, to obtain Theorem 2.1 of Abbas et al. [22] as the following corollary.
Corollary 2.2. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where a i ≥ 0, for i = 1, 2,..., 6 and a1 + a4 + a5 + 2(a2+a3 + a6) < 1. If T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then T and f have a unique common coupled coincidence point. Moreover, if T is w*-compatible with f, then T and f have a unique common coupled fixed point.
In Theorem 2.1, take s = u and t = v, to obtain the following corollary which extends and generalizes the corresponding results of [17, 22, 23].
Corollary 2.3 Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, S, T :X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v ∈ X, where a i ≥ 0, for i = 1, 2,..., 6 and a1 + a4 + a5 + 2(a2 + a3 + a6) < 1. If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Example 2.4. Let X = 0,1, G-metrics G1 and G2 on X be given as (in [22]):
Define S, T : X × X → X and f : X → X as
For x, y, u, v ∈ X, we have
Thus, (2.10) is satisfied with a1 = a2 = a3 = a4 = a5 = 0 and , where a1 + a2 + a3 + a4 + a5 + a6 < 1. It is obvious to note that S is w*-compatible with f. Hence, all the conditions of Corollary 2.4 are satisfied. Moreover, (0, 0) is the unique common coupled fixed point of S, T, and f.
If we take α = a1, β = a4, γ = a5, and a2 = a3 = a6 = 0 in Theorem 2.1, then the following corollary is obtained which extends and generalizes the comparable results of [17, 22, 23].
Corollary 2.5. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, and S, T : X × X → X, f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where α, β, γ ≥ 0, and α + β + γ < 1. If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Corollary 2.6. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where α, β, γ ≥ 0, and α + β + γ < 1. If T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then T and f have a unique common coupled coincidence point. Moreover, if T is w*-compatible with f, then f and T have a unique common coupled fixed point.
Example 2.7. Let X = [0,1], and two G-metrics G1, G2 on X be given as (in [22]):
Define T : X × X → X and f : X → X as
Now, for x, y ∈ X,
Thus, (2.11) is satisfied with where α + β + γ < 1. It is obvious to note that T is w*-compatible with f. Hence, all the conditions of Corollary 2.5 are satisfied. Moreover, (0,0) is the unique common coupled fixed point of T and f.
Corollary 2.8. Let G1 and G2 be two G-metrics on X with G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X and S,T : X × X → X, f : X → X be two mappings such that
for all x, y, u, v ∈ X, where α, β, γ ≥ 0 and α + β + γ < 1. If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Theorem 2.9. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, and S, T : X × X → X, f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where . If S(X × X) ⊆ f (X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Proof. Let x0, y0 ∈ X. We choose x1, y1 ∈ X such that fx1 = S(x0, y0) and fy1 = S(y0,x0), this can be done in view of S(X × X) ⊆ f(X). Similarly, we can choose x2, y2 ∈ X such that fx2 = T(x1, y1) and f y2 = T(y1,x1) since T(X × X) ⊆ f(X). Continuing this process, we construct two sequences {x n } and {y n } in X such that
and
Now,
which implies that
Similarly, we can show that
Now, from (2.14) and (2.15), we obtain
In a similar way, we can obtain
Thus, for all n ≥ 0,
Since 0 ≤ 2κ < 1. Therefore, repetition of above process n times gives
For any m > n ≥ 1, repeated use of property (e) of G-metric gives
and so G1(fx n , fx m , fx m ) + G1(fy n ,fy m ,fy m ) → 0 as n, m → ∞. Hence, {fx n } and {fy n } are G1-Cauchy sequences in f(X). By G1-completeness of f(X), there exists fx, fy ∈ f(X) such that {fx n } and {fy n } converges to fx and fy, respectively.
Now, we prove that S(x,y) = fx and T(y,x) = fy. Using (2.13), we have
Taking limit as n → ∞, implies that G1(fx, T(x, y), T(x, y)) = 0, and T(x, y) = fx.
Also, further from (2.13), we have
that is G1(S(x, y), fx, fx) = 0, and S(x, y) = fx. Thus, T(x, y) = S(x, y) = fx. Similarly, it can be shown that T(y, x) = S(y, x) = fy. Thus, (fx, fy) is coupled point of coincidence of mappings f, S, and T.
Now, we shall show that fx = fy. So that
On taking the limit as n → ∞, we obtain that
In the similar way, we can show that
From (2.16) and (2.17), we must have G1(fx, fy, fy) = 0 which implies that fx = fy. Thus, (fx, fx) is a coupled point of coincidence of mappings f, S, and T. Now, if there is another x* ∈ X such that (fx*,fx*) is a coupled point of coincidence of mappings f, S, and T, then
implies that G1(fx, fx*, fx*) = 0 and so fx* = fx. Hence, (fx, fx) is a unique coupled point of coincidence of mappings f, S, and T.
Now, we show that f, S, and T have common coupled fixed point.
For this, let f(x) = u. Then, we have u = fx = T(x, x). By w*-compatibility of f and T, we have
That is, (fu, fu) is a coupled point of coincidence of f, S, and T. By the uniqueness of coupled point of coincidence, we have fu = fx. Therefore, (u, u) is the common coupled fixed point of f, S, and T.
To prove the uniqueness, we proceed as follows: let v ∈ X with u ≠ v such that (v, v) is the common coupled fixed point of f, S and T. Using (2.13), we have
so that G1(u, v, v) = 0 and u = u*. Thus, f, S, and T have a unique common coupled fixed point.
In Theorem 2.9, take S = T, to obtain the following Theorem 2.6 of [22].
Corollary 2.10. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where . If T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then T and f have a unique common coupled coincidence point. Moreover, if T is w*-compatible with f, then T and f have a unique common coupled fixed point.
In Theorem 2.9, take s = u and t = v, to obtain the following corollary which extends and generalizes the corresponding results of [17, 22, 23].
Corollary 2.11 Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, S, T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v ∈ X, where . If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Corollary 2.12. Let G1 and G2 be two G-metrics on X such that G2(x, y, z) ≤ G1(x, y, z), for all x, y, z ∈ X, S, T : X × X → X, and f : X → X be mappings satisfying
for all x, y, u, v, s, t ∈ X, where 0 ≤ h < 1. If S(X × X) ⊆ f(X), T(X × X) ⊆ f(X), f(X) is G1-complete subset of X, then S, T, and f have a unique common coupled coincidence point. Moreover, if S or T is w*-compatible with f, then f, S, and T have a unique common coupled fixed point.
Remark 2.13. By the equivalence of some metrics and cone metric fixed point results in [24]:
-
(a)
Theorem 2.1 can be viewed as an extension and generalization of (i) Theorem 2.2, Corollary 2.3, Theorem 2.6, Corollary 2.7 and Corollary 2.8 in [23], (ii) Theorem 2.1, Corollary 2.2, Corollary 2.5 and Corollary 2.5 in [22], (iii) Theorem 2.4 and Corollary 2.5 in [17].
-
(b)
Theorem 2.9 is a generalization and improvement of (i) Theorem 2.2 and Corollary 2.3 in [23], Theorem 2.6, Corollary 2.7 and Corollary 2.8 in [22].
References
Agarwal RP, El-Gebeily MA, O'Regan D: Generalized contractions in partially ordered metric spaces. Appl Anal 2008, 87: 1–8. 10.1080/00036810701714164
Khan AK, Domlo AA, Hussain N: Coincidences of Lipschitz type hybrid maps and invariant approximation. Numer Funct Anal Optim 2007,28(9–10):1165–1177. 10.1080/01630560701563859
Lakshmikantham V, Ćirić Lj: Coupled fixed point theorems for nonlinear contractions in partially ordered metric space. Nonlinear Anal 2009, 70: 4341–4349. 10.1016/j.na.2008.09.020
Mustafa Z, Sims B: A new approach to generalized metric spaces. Nonlinear Convex Anal 2006,7(2):289–297.
Mustafa Z, Sims B: Fixed point theorems for contractive mapping in complete G-metric spaces. Fixed Point Theory Appl 2009, 10. Article ID 917175 2009
Mustafa Z, Sims B: Some remarks concerning D-metric spaces. In Proceedings of the International Conference on Fixed Point Theory and Applications. Valencia, Spain; 2003:189–198.
Mustafa Z, Obiedat H, Awawdehand F: Some fixed point theorem for mapping on complete G-metric spaces. Fixed Point Theory Appl 2008, 12. Article ID 189870 2008
Mustafa Z, Awawdeh F, Shatanawi W: Fixed point theorem for expansive mappings in G-metric spaces. Int J Contemp Math Sci 2010, 5: 2463–2472.
Mustafa Z, Khandaqji M, Shatanawi W: Fixed Point Results on Complete G-metric spaces, Studia Sci. Math Hungar 2011, 48: 304–319.
Abbas M, Rhoades BE: Common fixed point results for non-commuting mappings without continuity in generalized metric spaces. Appl Math Comput 2009, 215: 262–269. 10.1016/j.amc.2009.04.085
Abbas M, Khan SH, Nazir T: Common fixed points of R-weakly commuting maps in generalized metric space. Fixed Point Theory Appl 2011, 41. 2011
Saadati R, Vaezpour SM, Vetro P, Rhoades BE: Fixed point theorems in generalized partially ordered G -metric spaces. Math Comput Modell 2010, 52: 797–801. 10.1016/j.mcm.2010.05.009
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
Shatanawi W: Fixed point theory for contractive mappings satisfying Φ-maps in G -metric spaces. Fixed Point Theory Appl 2010, 9. Article ID 181650 2010
Shatanawi W: Some fixed point theorems in ordered G-metric spaces and applications. Abs Appl Anal 2011, 11. Article ID 126205 2011
Bhashkar TG, Lakshmikantham V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal 2006, 65: 1379–1393. 10.1016/j.na.2005.10.017
Abbas M, Khan MA, Radenović S: Common coupled fixed point theorem in cone metric space for w-compatible mappings. Appl Math Comput 2010, 217: 195–202. 10.1016/j.amc.2010.05.042
Choudhury BS, Maity P: Coupled fixed point results in generalized metric spaces. Math Comput Modell 2011, 54: 73–79. 10.1016/j.mcm.2011.01.036
Aydi H, Damjanovi B, Samet B, Shatanawi W: Coupled fixed point theorems for nonlinear contractions in partially ordered G -metric spaces. Math Comput Modell 2011, 54: 2443–2450. 10.1016/j.mcm.2011.05.059
Shatanawi W: Coupled fixed point theorems in generalized metric spaces. Hacet J Math Stat 2011, 40: 441–447.
Aydi H, Shatanawi W, Vetro C: On generalized weakly G -contraction mapping in G -metric spaces. Comput Math Appl 2011, 62: 4222–4229. 10.1016/j.camwa.2011.10.007
Abbas M, Khan AR, Nazir T: Coupled common fixed point results in two generalized metric spaces. Appl Math Comput 2011, 217: 6328–6336. 10.1016/j.amc.2011.01.006
Sabetghadam F, Masiha HP, Sanatpour AH: Some coupled fixed point theorems in cone metric spaces. Fixed Point Theory Appl 2009, 8. Article ID 125426 2009
Kadelburg Z, Radenović S, Rakočević V: A note on equivalence of some metric and cone metric fixed point results. Appl Math Lett 2011, 24: 370–374. 10.1016/j.aml.2010.10.030
Acknowledgements
The authors thank the referees for their appreciation and suggestions regarding this study.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
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., Abbas, M. & Nazir, T. Common coupled coincidence and coupled fixed point results in two generalized metric spaces. Fixed Point Theory Appl 2011, 80 (2011). https://doi.org/10.1186/1687-1812-2011-80
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1812-2011-80