Volume 2013, Issue 1 815289
Research Article
Open Access

Fixed Point and Common Fixed Point Theorems on Ordered Cone b-Metric Spaces

Sahar Mohammad Abusalim

Corresponding Author

Sahar Mohammad Abusalim

School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor Darul Ehsan, Malaysia ukm.my

Search for more papers by this author
Mohd Salmi Md Noorani

Mohd Salmi Md Noorani

School of Mathematical Sciences, Faculty of Science and Technology, Universiti Kebangsaan Malaysia, 43600 Bangi, Selangor Darul Ehsan, Malaysia ukm.my

Search for more papers by this author
First published: 13 May 2013
Citations: 4
Academic Editor: Abdelghani Bellouquid

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 [16] 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 [1017].

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 [2023] 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 : XX 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, yX with yx;

  • (ii) there exists x0X such that x0fx0.

Then f has a fixed point in X.

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 : XX 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, yX with yx;

  • (ii) there exists x0X such that x0fx0.

Then f has a fixed point in X.

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 : XX 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, yX with yx;

  • (ii) there exists x0X such that x0fx0;

  • (iii) if an increasing sequence {xn} converges to x in X, then xnx for all n.

Then f has a fixed point in X.

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 : XX 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, yX;

  • (ii) f or g is continuous.

Then f and g have a common fixed point x*X.

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 : XX 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, yX;

  • (ii) if an increasing sequence {xn} converges to x in X, then xnx for all n.

Then f and g have a common fixed point x*X.

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.

Let E be a real Banach space and θ denotes the zero element in E. A cone P is a subset of E such that
  • (1) P is nonempty closed set and P ≠ {θ};

  • (2) if a, b are nonnegative real numbers and x, yP, then ax + byP;

  • (3) xP and −xP imply x = θ.

For any cone PE, the partial ordering ⪯ with respect to P is defined by xy if and only if yxP. The notation of ≺ stands for xy but xy. Also, we use xy to indicate that yx ∈   int P, where int P denotes the interior of P. A cone P is called normal if there exists the number K such that
(5)
for all x, yE. The least positive number K satisfying the above condition is called the normal constant of P.

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 × XE 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, yX and d(x, y) = θ if and only if x = y;

  • (2) d(x, y) = d(y, x) for all x, yX;

  • (3) d(x, y)⪯s(d(x, y) + d(y, z)) for all x, y, zX.

Then pair (X, d) is called a cone b-metric space (or a cone metric type space); we shall use the first mentioned term.

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 × XP by d(x, y) = d(y, x) for all x, yX,  d(x, x) = θ,  xX, 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 × XE by d(x, y) = (|xy|2, |xy|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 xX.

  • (1) For all cE 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 xnx.

  • (2) For all cE 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 aP and 0 ≤ λ < 1, then a = θ.

  • (2) If c ∈   int P, θan, and anθ, then there exists a positive integer N such that anc for all nN.

  • (3) If ab and bc, then ac.

  • (4) If θuc 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

(6)
where h ∈ [0, 1/s) and n = 1,2, …. Then {xn} is a Cauchy sequence in (X, d).

Proof. Let m > n ≥ 1. It follows that

(7)
Now, (6) and sh < 1 imply that
(8)
According to Lemma 10(2), and for any cE with cθ, there exists N0 such that for any n > N0, (shn/(1 − sh))d(x0, x1) ≪ c. Furthermore, from (8) and for any m > n > N0, Lemma 10(3) shows that
(9)
Hence, by Definition 9(2)  {xn} is a Cauchy sequence in X.

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 : XX 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, yX with yx;

  • (ii) there exists x0X such that x0fx0.

Then f has a fixed point x*X.

Proof. If x0 = fx0, then the proof is finished. Suppose that x0fx0. Since x0fx0 and f is nondecreasing with respect to  ⊑, we obtain by induction that x0fx0 = x1f1x0 = x2⊑⋯⊑fn−1x0 = xnfnx0 = xn+1⊑⋯. Then we have,

(11)
Then, one can assert that
(12)
On the other hand, we have
(13)
Then, one can assert that
(14)
Adding (12) and (14), we get
(15)
where λ = (2a1 + a2 + a3 + sa4 + sa5)/(2 − (a2 + a3 + sa4 + sa5)) < 1/s. According to Lemma 11, we have {xn} is a Cauchy sequence in X. Since X is complete, there exists x*X such that xnx*. Since f is continuous, then x* = lim xn+1 = lim fnx0 = lim f(fn−1x0) = f(lim fn−1x0) = f(lim xn) = f(x*). Therefore, x* is a fixed point of f.

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 : XX 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, yX with yx;

  • (ii) there exists x0X such that x0fx0;

  • (iii) if an increasing sequence {xn} converges to x in X, then xnx for all n.

Then f has a fixed point x*X.

Proof. As in the Theorem 12, we can construct an increasing sequence {xn} and prove that there exists x*X such that xnx*. Now, condition (iii) implies xnx* for all n. Therefore, we can use condition (i) and so

(17)
Taking n, we have d(x*, fx*)⪯(a3 + a5)d(x*, fx*)d(x*, fx*). Since (a3 + a5) < 1, Lemma 10(1) shows that d(x*, fx*) = θ; that is, x* = fx*. Therefore x* is a fixed point of f.

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 : XX are said to be weakly increasing if fxgfx and gxfgx hold for all xX.

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 : XX 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, yX;

  • (ii) f or g is continuous.

Then f and g have a common fixed point x*X.

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 = fx0gfx0 = gx1 = x2 and x2 = gx1fgx1 = fx2 = x3, and continuing this process we have x1x2⊑⋯⊑xnxn+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

(19)
Hence,
(20)

On the other hand and by symmetry we have

(21)
Hence,
(22)
Adding inequalities (20) and (22), we get
(23)
where λ = (2a1 + a2 + a3 + sa4 + sa5)/(2 − (a2 + a3 + sa4 + sa5)) < 1/s. Similarly, it can be shown that
(24)
Therefore,
(25)
According to Lemma 11, we have {xn} is a Cauchy sequence in X. Since X is complete, there exists x*X such that xnx*. Suppose that f is continuous. Then, x* = lim xn+1 = lim fnx0 = lim f(fn−1x0) = f(lim fn−1x0) = f(lim xn) = f(x*). Therefore, x* is a fixed point of f. Now, we need to show that x* is a fixed point of g. Since x*x*, we can use the inequality (18) for x = y = x*. Then we have
(26)
Hence,
(27)
Since (a3 + a5) < 1, Lemma 10(1) shows that d(x*, gx*) = θ; that is, x* = gx*. Therefore x* is a fixed point of g. Therefore, f and g have a common fixed point. The proof is similar when g is a continuous mapping.

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 : XX 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, yX;

  • (ii) if an increasing sequence {xn} converges to x in X, then xnx for all n.

Then f and g have a common fixed point x*X.

Proof. As in Theorem 15, we can construct an increasing sequence {xn} and prove that there exists x*X such that xnx*, also; by the construction of xn,  gxnx*. Now, condition (iii) implies xnx* for all n. Putting x = x* and y = xn in (28), we get

(29)
Hence,
(30)
Since xnx* and gxnx*, then by Definition 9(1) and for cθ there exists N0 such that for all n > N0, d(xn, x*) ≪ c(1 − (a2 + a4))/2(a1 + a3 + a4), and d(gxn, x*) ≪ c(1 − (a2 + a4))/2(a2 + a3 + a4 + a5). Then we have
(31)
Now again, according to Definition 9(1) it follows that gxnfx*. It follows that fx* = x*. In a similar way and using that x*x*, we can prove that gx* = x*. Therefore, f and g have a common fixed point.

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 × XE as in Example 8. Define f : XX by f(x) = x2/6. Then f is a continuous and nondecreasing mapping with respect to ⊑. Then we have

(32)
where a1 = 4/36, a2 = a3 = a4 = a5 = 0. It is clear that the conditions of Theorem 12 are satisfied. Therefore, f has a fixed point x = 0.

Example 18. Let X = [0, ) endowed with the standard order and with and let P = {uE : 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 × XE by d(x, y)(t) = |xy|2et. Then (X, d) is a complete cone b-metric space with the coefficient s = 2. Let us define f : XX 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

(33)
where a1 = 1/4, a2 = 1/5, a3 = a4 = a5 = 0. It is clear that the conditions of Theorem 12 are satisfied. Therefore, f has a fixed point x = 0.

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.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.