Fixed Point and Common Fixed Point Theorems on Ordered Cone b-Metric Spaces
Abstract
The concept of a cone b-metric space has been introduced recently as a generalization of a b-metric space and a cone metric space in 2011. The aim of this paper is to establish some fixed point and common fixed point theorems on ordered cone b-metric spaces. The proposed theorems expand and generalize several well-known comparable results in the literature to ordered cone b-metric spaces. Some supporting examples are given.
1. Introduction
Fixed point theory has attracted many researchers since 1922 with the admired Banach fixed point theorem. This theorem supplies a method for solving a variety of applied dilemma in mathematical sciences and engineering. A large literature on this subject exists, and this is a very active area of research at present. Banach contraction principle has been generalized in dissimilar directions in different spaces by mathematicians over the years; for more details on this and related topics, we refer to [1–6] and references therein.
In contemporary time, fixed point theory has evolved speedily in partially ordered cone metric spaces; that is, cone metric spaces equipped with a partial ordering, for some new results in ordered metric spaces see [7]. A coming early result in this bearing was constituted by Altun and Durmaz [8] under the condition of normality for cones. Then, Altun et al. [9] generalized the results of Altun and Durmaz [8] by omitting the assumption of normality condition for cones. Afterward, several authors have studied fixed point and common fixed point problems in ordered cone metric spaces; for more details see [10–17].
In 2011, Hussain and Shah [18] presented cone b-metric spaces as a generalization of b-metric spaces and cone metric spaces; for some new results in b-metric spaces see [19]. They not only constructed some topological properties in such spaces but also ameliorated some current results about KKM mappings in the setting of a cone b-metric space. After some time, many authors have been motivated to demonstrate fixed point theorems as well as common fixed point theorems for two or more mappings on cone b-metric spaces by the incipient work of Hussain and Shah [18] (see [20–23] and the references therein).
In [8], Altun and Durmaz proved the following results under the condition of normality for cones.
Theorem 1 (see [8].)Let (X, ⊑) be a partially ordered set, suppose that there exists a cone metric d in X such that the cone metric space (X, d) is complete, and let P be a normal cone with normal constant K. Let f : X → X be a continuous and nondecreasing mapping with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exists k ∈ [0,1) such that d(fx, fy)⪯kd(x, y) for all x, y ∈ X with y⊑x;
-
(ii) there exists x0 ∈ X such that x0⊑fx0.
In [9], Altun et al. generalized the above theorem and proved it without normality condition for cones.
Theorem 2 (see [9].)Let (X, ⊑) be a partially ordered set and suppose that there exists a cone metric d in X such that the cone metric space (X, d) is complete over a solid cone P. Let f : X → X be a continuous and nondecreasing mapping with respect to ⊑. Suppose that the following two assertions hold:
-
(i) there exist k, l, r ∈ [0,1) with k + 2l + 2r < 1 such that
(1)for all x, y ∈ X with y⊑x; -
(ii) there exists x0 ∈ X such that x0⊑fx0.
Theorem 3 (see [9].)Let (X, ⊑) be a partially ordered set and suppose that there exists a cone metric d in X such that the cone metric space (X, d) is complete over a solid cone P. Let f : X → X be a nondecreasing mapping with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist k, l, r ∈ [0,1) with k + 2l + 2r < 1 such that
(2)for all x, y ∈ X with y⊑x; -
(ii) there exists x0 ∈ X such that x0⊑fx0;
-
(iii) if an increasing sequence {xn} converges to x in X, then xn⊑x for all n.
In the same paper, they also presented the following two common fixed point results in ordered cone metric spaces.
Theorem 4 (see [9].)Let (X, ⊑) be a partially ordered set and suppose that there exists a cone metric d in X such that the cone metric space (X, d) is complete over a solid cone P. Let f, g : X → X be two weakly increasing mappings with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist k, l, r ∈ [0,1) with k + 2l + 2r < 1 such that
(3)for all comparative x, y ∈ X; -
(ii) f or g is continuous.
Theorem 5 (see [9].)Let (X, ⊑) be a partially ordered set and suppose that there exists a cone metric d in X such that the cone metric space (X, d) is complete over a solid cone P. Let f, g : X → X be two weakly increasing mappings with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist k, l, r ∈ [0,1) with k + 2l + 2r < 1 such that
(4)for all comparative x, y ∈ X; -
(ii) if an increasing sequence {xn} converges to x in X, then xn⊑x for all n.
In this paper, we prove some fixed point and common fixed point theorems on ordered cone b-metric spaces. Our results extend and generalize several well-known comparable results in the literature to ordered cone b-metric spaces. Throughout this paper, we do not impose the normality condition for the cones, but the only assumption is that the cone P is solid, that is, int P ≠ ∅.
The following definitions and results shall be needed in the sequel.
-
(1) P is nonempty closed set and P ≠ {θ};
-
(2) if a, b are nonnegative real numbers and x, y ∈ P, then ax + by ∈ P;
-
(3) x ∈ P and −x ∈ P imply x = θ.
Definition 6 (see [18].)Let X be a nonempty set and E a real Banach space equipped with the partial ordering ⪯ with respect to the cone P. A vector-valued function d : X × X → E is said to be a cone b-metric function on X with the constant s ≥ 1 if the following conditions are satisfied:
-
(1) θ⪯d(x, y) for all x, y ∈ X and d(x, y) = θ if and only if x = y;
-
(2) d(x, y) = d(y, x) for all x, y ∈ X;
-
(3) d(x, y)⪯s(d(x, y) + d(y, z)) for all x, y, z ∈ X.
Observe that if s = 1, then the ordinary triangle inequality in a cone metric space is satisfied; however, it does not hold true when s > 1. Thus the class of cone b-metric spaces is effectively larger than that of the ordinary cone metric spaces. That is, every cone metric space is a cone b-metric space, but the converse need not be true. The following examples show the above remarks.
Example 7. Let X = {−1,0, 1}, E = ℝ2, and P = {(x, y) : x ≥ 0, y ≥ 0}. Define d : X × X → P by d(x, y) = d(y, x) for all x, y ∈ X, d(x, x) = θ, x ∈ X, and d(−1,0) = (3,3), d(−1,1) = d(0,1) = (1,1). Then (X, d) is a complete cone b-metric space but the triangle inequality is not satisfied. Indeed, we have that d(−1,1) + d(1,0) = (1,1) + (1,1) = (2,2)≺(3,3) = d(−1,0). It is not hard to verify that s = 3/2.
Example 8. Let X = ℝ, E = ℝ2, and P = {(x, y) ∈ E : x ≥ 0, y ≥ 0}. Define d : X × X → E by d(x, y) = (|x−y|2, |x−y|2). Then, it is easy to see that (X, d) is a cone b-metric space with the coefficient s = 2. But it is not a cone metric spaces since the triangle inequality is not satisfied.
Definition 9 (see [18].)Let (X, d) be a cone b-metric space, {xn} a sequence in X and x ∈ X.
-
(1) For all c ∈ E with θ ≪ c, if there exists a positive integer N such that d(xn, x) ≪ c for all n > N, then xn is said to be convergent and x is the limit of {xn}. One denotes this by xn → x.
-
(2) For all c ∈ E with θ ≪ c, if there exists a positive integer N such that d(xn, xm) ≪ c for all n, m > N, then {xn} is called a Cauchy sequence in X.
-
(3) A cone metric space (X, d) is called complete if every Cauchy sequence in X is convergent.
The following lemma is useful in our work.
Lemma 10 (see [24].)
-
(1) If E is a real Banach space with a cone P and a⪯λa where a ∈ P and 0 ≤ λ < 1, then a = θ.
-
(2) If c ∈ int P, θ⪯an, and an → θ, then there exists a positive integer N such that an ≪ c for all n ≥ N.
-
(3) If a⪯b and b ≪ c, then a ≪ c.
-
(4) If θ⪯u ≪ c for each θ ≪ c, then u = θ.
2. Fixed Point Results
In this section, we prove some fixed point theorems on ordered cone b-metric space. We begin with a simple but a useful lemma.
Lemma 11. Let {xn} be a sequence in a cone b-metric space (X, d) with the coefficient s ≥ 1 relative to a solid cone P such that
Proof. Let m > n ≥ 1. It follows that
Theorem 12. Let (X, ⊑) be a partially ordered set and suppose that there exists a cone b-metric d in X such that the cone b-metric space (X, d) is complete with the coefficient s ≥ 1 relative to a solid cone P. Let f : X → X be a continuous and nondecreasing mapping with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist ai, i = 1, …, 5, such that 2sa1 + (s + 1)(a2 + a3)+(s2 + s)(a4 + a5) < 2 with ,
(10)for all x, y ∈ X with y⊑x; -
(ii) there exists x0 ∈ X such that x0⊑fx0.
Proof. If x0 = fx0, then the proof is finished. Suppose that x0 ≠ fx0. Since x0⊑fx0 and f is nondecreasing with respect to ⊑, we obtain by induction that x0⊑fx0 = x1⊑f1x0 = x2⊑⋯⊑fn−1x0 = xn⊑fnx0 = xn+1⊑⋯. Then we have,
If we use condition (iii) instead of the continuity of f in Theorem 12, we have the following result.
Theorem 13. Let (X, ⊑) be a partially ordered set and suppose that there exists a cone b-metric d in X such that the cone b-metric space (X, d) is complete with the coefficient s ≥ 1 relative to a solid cone P. Let f : X → X be a nondecreasing mapping with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist ai, i = 1, …, 5, such that 2sa1 + (s + 1)(a2 + a3)+(s2 + s)(a4 + a5) < 2 with ,
(16)for all x, y ∈ X with y⊑x; -
(ii) there exists x0 ∈ X such that x0⊑fx0;
-
(iii) if an increasing sequence {xn} converges to x in X, then xn⊑x for all n.
Proof. As in the Theorem 12, we can construct an increasing sequence {xn} and prove that there exists x* ∈ X such that xn → x*. Now, condition (iii) implies xn⊑x* for all n. Therefore, we can use condition (i) and so
3. Common Fixed Point Results
Now, we give two common fixed point theorems on ordered cone b-metric spaces. We need the following definition.
Definition 14 (see [9].)Let (X, ⊑) be a partially ordered set. Two mappings f, g : X → X are said to be weakly increasing if fx⊑gfx and gx⊑fgx hold for all x ∈ X.
Theorem 15. Let (X, ⊑) be a partially ordered set and suppose that there exists a cone b-metric d in X such that the cone b-metric space (X, d) is complete with the coefficient s ≥ 1 relative to a solid cone P. Let f, g : X → X be two weakly increasing mappings with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist ai, i = 1, …, 5, such that 2sa1 + (s + 1)(a2 + a3)+(s2 + s)(a4 + a5) < 2 with ,
(18)for all comparative x, y ∈ X; -
(ii) f or g is continuous.
Proof. Let x0 be an arbitrary point of X and define a sequence {xn} in X as follows: x2n+1 = fx2n and x2n+2 = gx2n+1 for all n > 0. Note that, since f and g are weakly increasing, we have x1 = fx0⊑gfx0 = gx1 = x2 and x2 = gx1⊑fgx1 = fx2 = x3, and continuing this process we have x1⊑x2⊑⋯⊑xn⊑xn+1⊑⋯. That is, the sequence {xn} is nondecreasing. Now, since x2n and x2n+1 are comparative, we can use the inequality (18), and then we have
On the other hand and by symmetry we have
Theorem 16. Let (X, ⊑) be a partially ordered set and suppose that there exists a cone b-metric d in X such that the cone b-metric space (X, d) is complete with the coefficient s ≥ 1 relative to a solid cone P. Let f, g : X → X be two weakly increasing mappings with respect to ⊑. Suppose that the following three assertions hold:
-
(i) there exist ai, i = 1, …, 5 such that 2sa1 + (s + 1)(a2 + a3)+(s2 + s)(a4 + a5) < 2 with ,
(28)for all comparative x, y ∈ X; -
(ii) if an increasing sequence {xn} converges to x in X, then xn⊑x for all n.
Proof. As in Theorem 15, we can construct an increasing sequence {xn} and prove that there exists x* ∈ X such that xn → x*, also; by the construction of xn, gxn → x*. Now, condition (iii) implies xn⊑x* for all n. Putting x = x* and y = xn in (28), we get
Now, we present two examples to illustrate our results. In the first example (the case of a normal cone), the conditions of Theorem 12 are fulfilled, but Theorem 2 of Altun et al. [9, Theorem 12] cannot be applied. In the second example (the case of a nonnormal cone), the conditions of Theorem 12 are fulfilled, but Theorem 3 of Altun et al. [9, Theorem 13] cannot be applied.
Example 17. Let X = [0,1] endowed with the standard order and E = ℝ2 and let P = {(x, y) : x, y ≥ 0}. Define d : X × X → E as in Example 8. Define f : X → X by f(x) = x2/6. Then f is a continuous and nondecreasing mapping with respect to ⊑. Then we have
Example 18. Let X = [0, ∞) endowed with the standard order and with and let P = {u ∈ E : u(t) ≥ 0 on [0,1]}. It is well known that this cone is solid, but it is not normal. Define a cone metric d : X × X → E by d(x, y)(t) = |x−y|2et. Then (X, d) is a complete cone b-metric space with the coefficient s = 2. Let us define f : X → X by f(x) = x/2. Then f is a continuous and nondecreasing mapping with respect to ⊑. Then we have f is an increasing mapping; also we have
Acknowledgments
The authors would like to acknowledge the financial support received from Ministry of Higher Education, Malaysia, under the Research Grant no. ERGS/1/2011/STG/UKM/01/13. The authors thank the referee for his/her careful reading of the paper and useful suggestions.