Professional Documents
Culture Documents
Tiểu luận này được tôi biên soạn lại bằng phần mềm LaTeX với mục đích hoàn
thành môn học Soạn thảo tài liệu khoa học bằng LaTeX, ngoài ra không còn mục
đích nào khác.
Tiểu luận này biên soạn LaTeX dựa trên bài báo sau:
• Tiêu đề: Fixed point and common fixed point theorems on ordered
cone metric spaces
• Tác giả: Ishak Altuna,Boško Damjanović,Dragan Djorić
Người viết tiểu luận
Đã kí
1
Equivalent theorems of the convergence between Ishikawa-Halpern
iteration and viscosity approximation method
1 Keywords:
Fixed point
2 ABSTRACT
In the present work, some fixed point and common fixed point theorems for self-maps on ordered
cone metric spaces, where the cone is not necessarily normal, are proved.
3 Introduction
Huang and Zhang [1] have introduced the concept of cone metric space, replacing the set of
real numbers by an ordered Banach space. They have proved some fixed point theorems of
contractive type mappings on cone metric spaces. Later, many authors generalized their fixed
point theorems. The purpose of this work is to carry some of these theorems to ordered cone
metric spaces.
We recall some definitions of cone metric spaces and some of their properties [1]. Let E be a
real Banach space and P be a subset of E. By θ we denote the zero element of E and by Int P
(ii) a, b ∈ R, a, b ≥ 0, x, y ∈ P =⇒ ax + by ∈ P ,
(iii) x ∈ P and −x ∈ P =⇒ x = θ.
2
The cone P in a real Banach space E is called normal if there is a number K > 0 such that
for all x, y ∈ E,
The least positive number K satisfying (1.1) is called the normal constant of P . It is clear
that K ≥ 1.
In the following we always suppose that E is a Banach space, P is a cone in E with Int P ̸= ∅
Then d is called a cone metric on X and (X, d) is called a cone metric space.
such that d(x, y) = (|x − y|, α|x − y|), where α ≥ 0 is a constant. Then (X, d) is a cone metric
space.
Definition 3 ([1]). Let (X, d) be a cone metric space. Let {xn } be a sequence in X and x ∈ X.
If for every c ∈ E with θ ≪ c there is an N such that for all n > N, d (xn , x) ≪ c, then {xn }
is said to be convergent and {xn } converges to x and x is the limit of {xn }. We denote this by
all n, m > N, d (xn , xm ) ≪ c, then {xn } is called a Cauchy sequence in X. (X, d) is a complete
Lemma 4 ([1]). Let (X, d) be a cone metric space, P be a normal cone and {xn } be a sequence
in X. Then:
0
• Corresponding author.
E-mail addresses: ialtun@kku.edu.tr, ishakaltun@yahoo.com (I. Altun), dambo@agrif.bg.ac.rs (B. Damjanović),
djoricd@fon.bg.ac.rs (D. Djorić).
3
(i) {xn } converges to x if and only if d (xn , x) → θ(n → ∞),
Let (X, d) be a cone metric space, f : X → X and x0 ∈ X. Then the function f is continuous
Theorem 5 ([1]). Let (X, d) be a complete cone metric space, P be a normal cone with normal
Also, Huang and Zhang [1] gave an example showing that Theorem 5 is a generalization of
Rezapour and Hamlbarani [3] proved that there are no normal cones with a normal constant
K < 1 and that for each h > 1 there are cones with normal constant K > h. Also, omitting the
Example 6 ([3]). Let E = CR2 ([0, 1]) with the norm ∥f ∥ = ∥f ∥∞ +∥f ′ ∥∞ and consider the cone
P = {f ∈ E : f ≥ 0}. For each K > 1, put f (x) = x and g(x) = x2K . Then 0 ≤ g ≤ f, ∥f ∥ = 2
and ∥g∥ = 2K + 1. Since K∥f ∥ < ∥g∥, K is not the normal constant of P . Therefore, P is a
non-normal cone.
Since the definition of the concept of cone metric space, the fixed point theory on these
On the other hand, the existence of fixed points in partially ordered sets has been considered
recently in [19]. The usual contraction of the Banach fixed point principle is weakened but at
the expense that the operator is monotone. Ran and Reurings [19] proved the following theorem
Theorem 7([20, 19]). Let (X, ⊑) be a partially ordered set and suppose that there exists a
metric d in X such that the metric space (X, d) is complete. Let f : X → X be a continuous
4
and nondecreasing mapping w.r.t. ⊑. Suppose that the following two assertions hold:
(i) there exists k ∈ (0, 1) such that d(f x, f y) ≤ kd(x, y) for each x, y ∈ X with y ⊑ x;
Some generalizations and variants of the result of [19] are given in [21-27]. For example, in
[20], the following theorem has been proved, by removing the continuity of f in Theorem 7 .
Theorem 8 ([20]). Let (X, ⊑) be a partially ordered set and suppose that there exists a
metric d in X such that the metric space (X, d) is complete. Let f : X → X be a nondecreasing
(i) there exists k ∈ (0, 1) such that d(f x, f y) ≤ kd(x, y) for each x, y ∈ X with y ⊑ x;
then for every x ∈ X, limn→∞ f n x = y, where y is the fixed point of f such that y =
limn→∞ f n x0 and hence f has a unique fixed point. If condition (1.2) fails, it is possible to find
examples of functions f with more than one fixed point. In [20] some examples are presented
The following example shows the differences between the fixed point theorems working on
It is easy to see that ⊑ is a partial order on X. Let d be usual metric on X. Now define a
x+5
self-map of X as follows: f x = 2x if x < 1, f x = 3
if 1 ≤ x ≤ 4 and f x = 2x − 5 if x > 4.
Now, it is easy to see that all conditions of Theorem 7 are satisfied and so f has a fixed point on
X. Also note that the contractive condition of the Banach fixed point principle is not satisfied.
5
In [6], Altun and Durmaz have proved the following theorem using the ideas of Theorems 5
and 7.
Theorem 10([6]). 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 and let P be a normal cone
(i) there exists k ∈ (0, 1) such that d(f x, f y) ⪯ kd(x, y) for each x, y ∈ X with y ⊑ x;
The following example was given in [6]; we can apply Theorem 10 to this example, but we
cannot apply Theorems 5 and 7 because the contractive condition of Theorem 5 is not satisfied
and that the conditions of Theorem 7 are not satisfied if d is the usual metric in R2 .
d((x, 0), (y, 0)) = 34 |x − y|, |x − y| , d((0, x), (0, y)) = |x − y|, 32 |x − y| and d((x, 0), (0, y)) =
d((0, y), (x, 0)) = 34 x + y, x + 23 y Then (X, d) is a complete cone metric space.
Let a mapping f : X → X be defined with f (x, 0) = (0, x), f (0, x) = 2x − 23 , 0 if x > 1 and
Also f satisfies the condition (i) of Theorem 10 with k = 34 , Again, since (0, 0)⊵f (0, 0), then the
condition (ii) of the theorem is satisfied. Therefore, we can apply Theorem 10 to this example.
6
Note that the contractive condition of Theorem 5 is not satisfied and that the conditions of
The aim of the work is to give some generalized versions of Theorem 10 in ordered cone
4 Main results
Theorem 12. 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. Let f : X → X be a continuous and
nondecreasing mapping w.r.t. ⊑. Suppose that the following two assertions hold:
x0 ⊑ f x0 ⊑ f 2 x0 ⊑ · · · ⊑ f n x0 ⊑ f n+1 x0 ⊑ · · · .
Now, we have
and so
n+1 n α+β+γ
d f n x0 , f n−1 x0 ,
d f x0 , f x0 ⪯
1−β−γ
for all n ≥ 1. Repeating this relation we get
7
d f n+1 x0 , f n x0 ⪯ k n d (f x0 , x0 ) ,
α+β+γ
where k = 1−β−γ
< 1. Let m > n; then from (2.1), we have
d (f m x0 , f n x0 ) ⪯ d f m x0 , f m−1 x0 + · · · + d f n+1 x0 , f n x0
⪯ k m−1 + · · · + k n d (f x0 , x0 )
kn
⪯ d (f x0 , x0 ) .
1−k
Therefore, we get
kn
d (f m x0 , f n x0 ) ⪯ d (f x0 , x0 ) .
1−k
Now we show that {f n x0 }∞
n=1 is a Cauchy sequence in (X, d). Let θ ≪ c be arbitrary. Since
k 1 N
such that c + Nδ (θ) ⊆ IntP . Choose a natural number N1 such that − 1−k d (f x0 , x0 ) < δ.
k n kn
Then − 1−k d (f x0 , x0 ) ∈ Nδ (θ) for all n ≥ N1 . Hence c − 1−k
d (f x0 , x0 ) ∈ c + Nδ (θ) ⊆ Int P .
Thus we have
kn
d (f x0 , x0 ) ≪ c for all n ≥ N1 .
1−k
Therefore, from (2.2) we get
kn
d (f m x0 , f n x0 ) ⪯ d (f x0 , x0 ) ≪ c for all m > n ≥ N1
1−k
and hence
8
Hence we conclude that {f n x0 }∞
n=1 is a Cauchy sequence in (X, d). Since (X, d) is a complete
If we use the 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 metric
d in X such that the cone metric space (X, d) is complete. Let f : X → X be a nondecreasing
xn ⊑ xn+1 ⊑ · · · , that is, {xn } is an increasing sequence. Also this sequence converges to x∗ .
Taking n → ∞, we have d (x∗ , f x∗ ) ⪯ (β + γ)d (x∗ , f x∗ ). Then by the condition (i) we have
d (x∗ , f x∗ ) ⪯ (1/2)d (x∗ , f x∗ ) and hence (1/2)d (x∗ , f x∗ ) ⪯ θ. Therefore, −d (x∗ , f x∗ ) ∈ P and
Now we give two common fixed point theorems on ordered cone metric spaces. We need the
following definition.
9
Definition 14. Let (X, ⊑) be a partially ordered set. Two mappings f, g : X → X are said to
Note that the two weakly increasing mappings need not be nondecreasing.
Example 15. Let X = [0, ∞), endowed with usual ordering. Let f, g : X → X be defined by
√
f x = x if 0 ≤ x ≤ 1, f x = 0 if 1 < x < ∞, gx = x if 0 ≤ x ≤ 1 and gx = 0 if 1 < x < ∞; then
it is obvious that f x ≤ gf x and gx ≤ f gx for all x ∈ X. Thus f and g are weakly increasing
Example 16. Let X = [1, ∞) × [1, ∞) be endowed with the usual ordering, that is, (x, y) ⊑
(x2 , y 2 ); then f (x, y) = (2x, 3y) ⊑ gf (x, y) = g(2x, 3y) = (4x2 , 9y 2 ) and g(x, y) = (x2 , y 2 ) ⊑
Example 17. Let X = R2 , endowed with lexicographical ordering, that is, (x, y) ≲ (z, w) ⇔
(x < z) or (if x = z, then y ≤ w). Let f, g : X → X be defined by f (x, y) = (max{x, y}, min{x, y})
(1, 4) ≲ (2, 3) but f (1, 4) = (4, 1) ≲ (3, 2) = f (2, 3); then f is not nondecreasing. Similarly
g is not nondecreasing.
Let us remark that in Theorem 18 we do not assume explicitly the condition "there exists
Theorem 18. 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. Let f, g : X → X be two weakly
increasing mappings w.r.t. ⊑. Suppose that the following two assertions hold:
d(f x, gy) ⪯ αd(x, y) + β[d(x, f x) + d(y, gy)] + γ[d(x, gy) + d(y, f x)],
(ii) f or g is continuous.
10
Proof. Let x0 be an arbitrary point of X and define a sequence {xn } in X as follows: x2n+1 =
f x2n and x2n+2 = gx2n+1 for all n ≥ 0. Note that, since f and g are weakly increasing, we have
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 (2.3), and then we have
kn
d (xm , xn ) ≤ d (x0 , x1 ) .
1−k
Hence, like in the proof of Theorem 12, one can prove that {xn } is a Cauchy sequence. By
Suppose that f is continuous. Then it is clear that x∗ is a fixed point of f . We must show
that x∗ is also a fixed point of g. Since x∗ ⊑ x∗ we can use the inequality (2.3) for x = y = x∗ ;
then we have
and so
11
d (x∗ , gx∗ ) ⪯ (β + γ)d (x∗ , gx∗ ) .
The condition (2.4) means that (β + γ)d (x∗ , gx∗ ) − d (x∗ , gx∗ ) ∈ P , that is, −(1 − (β +
Since also d (x∗ , gx∗ ) ∈ P , then d (x∗ , gx∗ ) ∈ P ∩ (−P ) = θ. Thus d (x∗ , gx∗ ) = θ and hence
Theorem 19. 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. Let f, g : X → X be two weakly
increasing mappings w.r.t. ⊑. Suppose that the following two assertions hold:
d(f x, gy) ⪯ αd(x, y) + β[d(x, f x) + d(y, gy)] + γ[d(x, gy) + d(y, f x)]
Remark 20. We note that in our theorems we do not assume that a cone P is normal.
Therefore, Theorems 18 and 19 are ordered versions and generalizations of the following recent
Theorem 21 (Abbas and Rhoades [5], Theorem 2.1). Let ( X, d ) be a complete cone metric
space, and P a normal cone with normal constant K. Suppose that the mappings f and g are
d(f x, gy) ⪯ αd(x, y) + β[d(x, f x) + d(y, gy)] + γ[d(x, gy) + d(y, f x)]
12
for all x, y ∈ X, where α, β, γ ≥ 0 and α + 2β + 2γ < 1. Then f and g have a unique common
fixed point in X; moreover, any fixed point of f is a fixed point of g, and conversely.
5 References
[1] L.G. Huang, X. Zhang, Cone metric spaces and fixed point theorems of contractive mappings,
[2] D. Ilić, V. Rakočević, Common fixed points for maps on cone metric space, J. Math. Anal.
[3] Sh. Rezapour, R. Hamlbarani, Some notes on the paper "Cone metric spaces and fixed
point theorems of contractive mappings", J. Math. Anal. Appl. 345 (2008) 719-724.
[4] M. Abbas, G. Jungck, Common fixed point results for noncommuting mappings without
continuity in cone metric spaces, J. Math. Anal. Appl. 341 (2008) 416-420.
[5] M. Abbas, B.E. Rhoades, Fixed and periodic point results in cone metric spaces, Appl.
[6] I. Altun, G. Durmaz, Some fixed point theorems on ordered cone metric spaces, Rend.
[7] M. Arshad, A. Azam, P. Vetro, Some common fixed point results on cone metric spaces,
[8] A. Azam, M. Arshad, I. Beg, Common fixed points of two maps in cone metric spaces,
[9] C. Di Bari, P. Vetro, φ-pairs and common fixed points in cone metric spaces, Rend. Circ.
[10] R.H. Haghi, Sh. Rezapour, Fixed points of multifunctions on regular cone metric spaces,
[11] D. Ilić, V. Rakočević, Quasi-conraction on cone metric spaces, Appl. Math. Lett. 22 (5)
(2009) 728-731.
for weakly compatible pairs on cone metric spaces, Fixed Point Theory Appl. 2009 (2009) 13.
13
Article ID 643840.
[13] D. Klim, D. Wardowski, Dynamic processes and fixed points of set-valued nonlinear
[14] P. Raja, S.M. Vaezpour, Some extensions of Banach’s contraction principle in complete
cone metric spaces, Fixed Point Theory Appl. 2008, 11. Article ID 768294 doi:10.1155/2008/768294.
[15] Sh. Rezapour, R.H. Hagli, Fixed point of multifunctions on cone metric spaces, Numer.
[16] P. Vetro, Common fixed points in cone metric spaces, Rend. Circ. Mat. Palermo 56 (3)
(2007) 464-468.
[17] D. Wardowski, Endpoints and fixed points of set-valued contractions in cone metric
and best proximity for set-valued dynamic systems of relatively quasi-asymptotic contractions
[19] A.C.M. Ran, M.C.B. Reuring, A fixed point theorem in partially ordered sets and some
application to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435-1443.
[20] J.J. Nieto, R.R. Lopez, Contractive mapping theorems in partially ordered sets and
[21] R.P. Agarwal, M.A. El-Gebeily, D. O’Regan, Generalized contractions in partially or-
[22] J.J. Nieto, R.R. Lopez, Existence and uniqueness of fixed point in partially ordered
sets and applications to ordinary differential equations, Acta Math. Sin. (English Ser.) 23 (12)
(2007) 2205-2212.
[23] D. O’Regan, A. Petruşel, Fixed point theorems for generalized contractions in ordered
[24] V. Lakshmikantham, Lj. Ćirić, Coupled fixed point theorems for nonlinear contractions
[25] C. Wang, Jinghao Zhu, B. Damjanović, Liang-gen Hu, Approximating fixed points of a
14
pair of contractive type mappings in generalized convex metric spaces, Appl. Math. Comput.
(2009) doi:10.1016/j.amc.2009.07.006.
[26] L. Ćirić, A.N. Cakić, M. Rajović, J.S. Ume, Monotone generalized nonlinear contractions
in partially ordered metric spaces, Fixed Point Theory Appl. 2008, 11. Article ID 131294.
15