Wardowski (2011) in this paper for a normal cone metric space (X,d) and for the family 𝒜 of subsets of X established a new cone metric H:𝒜×𝒜→E and obtained fixed point of set-valued contraction of Nadler type. Further, it is noticed in the work of Janković et al., 2011 that the fixed-point problem in the setting of cone metric spaces is appropriate only in the case when the underlying cone is nonnormal. In the present paper we improve Wardowski's result by proving the same without the assumption of normality on cones.
1. Introduction and Preliminaries
Huang and Zhang [1] generalized the notion of metric space by replacing the set of real numbers by ordered Banach space and defined cone metric space and extended Banach type fixed-point theorems for contractive type mappings. Subsequently, some other authors (e.g., see [2–15] and references therein) studied properties of cone metric spaces and fixed points results of mappings satisfying contractive type condition in cone metric spaces. Recently, Choa et al. [9], Kadelburg and Radenović [16], Klim and Wardowski [17], Latif and Shaddad [18], Radenović and Kadelburg [19], Rezapour and Haghi [20], and Wardowski [14, 21] obtained fixed points of set-valued mappings in normal cone metric spaces. On the other hand, it is shown in [11] that most of the fixed points results of mappings satisfying contractive type condition in cone metric spaces with a normal cone can be reduced to the corresponding results from metric space theory. The fixed-point problem in the setting of cone metric spaces is appropriate only in the case when the underlying cone is nonnormal, because the results concerning fixed points and other results in the case of cone metric spaces with nonnormal solid cones cannot be proved by reducing to metric spaces. In this paper, we prove the result of Wardowski [14] without the assumption of normality of cones. We need the following definitions and results, consistent with [1, 11, 14].
Let E be a Banach Space and P a subset of E. Then, P is called a cone whenever
Pis closed, nonempty, and P≠{θ},
ax+by∈P for all x,y∈P and nonnegative real numbers a,b,
P∩(-P)={θ}.
Each cone P induces a partial ordering ≼ on E by x≼y if and only if y-x∈P. So x<y will stand for x≼y and x≠y, while x≪y will stand for y-x∈intP, where intP denotes the interior of P. The cone P is called normal if there is a number K>0 such that, for all x,y∈E,
(1)θ≼x≼y⟹∥x∥≤K∥y∥.
The least positive number Ksatisfying (1) is called the normal constant of P.
Definition 1.
Let X be a nonempty set. Suppose the mapping d:X×X→E satisfies
θ≼d(x,y) for all x,y∈X and d(x,y)=θ if and only if x=y,
d(x,y)=d(y,x) for all x,y∈X,
d(x,y)≼d(x,z)+d(z,y) for all x,y,z∈X.
Then, d is called a cone metric on X, and (X,d) is called a cone metric space.
Let (X,d) be a cone metric space, x∈X and {xn}n≥1 a sequence in X. Then, {xn}n≥1 converges to x whenever for every c∈E with θ≪c there is a natural number N such that d(xn,x)≪c for all n≥N. We denote this by limn→∞xn=x or xn→x. {xn}n≥1 is a Cauchy sequence whenever for every c∈E with θ≪c there is a natural number N such that d(xn,xm)≪c for all n,m≥N.(X,d) is called a complete cone metric space if every Cauchy sequence in X is convergent.
A set A⊂(X,d) is called closed if, for any sequence {xn}⊂Aconvergent to x, we have x∈A. Denote by N(X) the collection of all nonempty subsets of X and by C(X) a collection of all nonempty closed subsets of X. Denote by FixT a set of all fixed points of a mapping T. In the present paper, we assume that E is a real Banach space, P is a cone in E with nonempty interior (such cones are called solid), and ≼ is a partial ordering with respect to P. In accordance with [14, Definition 3.1 and Lemma 3.1], we minutely modify the idea ofH-cone metric to make it more comparable with a standard metric.
Definition 2.
Let (X,d) be a cone metric space and 𝒜be a collection of nonempty subsets of X. A map H:𝒜×𝒜→Eis called an H-cone metric on 𝒜 induced by d if the following conditions hold:
θ≼H(A,B)for all A,B∈𝒜andH(A,B)=θif and only if A=B,
H(A,B)=H(B,A)for allA,B∈𝒜,
H(A,B)≼H(A,C)+H(C,B) for allA,B,C∈𝒜,
If A,B∈𝒜,θ≺ε∈EwithH(A,B)≺ε, then for eacha∈A there existsb∈B such thatd(a,b)≺ε.
Examples can be seen in [14, examples 3.1 and 3.2].
2. Main ResultTheorem 3.
Let (X,d)be a complete cone metric space. Let 𝒜 be a nonempty collection of nonempty closed subsets of X, and let H:𝒜×𝒜→E be an H-cone metric induced by d. If for a map T:X→𝒜there exists λ∈(0,1) such that for all x,y∈X(2)H(Tx,Ty)≼λd(x,y),
then FixT≠∅.
Proof.
Let x0 be an arbitrary but fixed element of X and x1∈Tx0. If x0=x1, then x0∈FixT, and if x0≠x1, using the fact that
(3)H(Tx0,Tx1)≼λd(x0,x1)≺λd(x0,x1),
we may choose x2∈X such that x2∈Tx1and
(4)d(x1,x2)≺λd(x0,x1).
Similarly, in case x1≠x2, we may choose x3∈X such that x3∈Tx2and
(5)d(x2,x3)≺λd(x1,x2)≺(λ)2d(x0,x1).
We can continue this process to find a sequence {xn} of points of Xsuch that
(6)xn+1∈Txn,n=0,1,2,…,d(xn,xn+1)≺λd(xn-1,xn)≺(λ)2d(xn-2,xn-1)≺⋯≺(λ)nd(x0,x1).
Now for any m>n,
(7)d(xm,xn)≼d(xn,xn+1)+d(xn+1,xn+2)+⋯+d(xm-1,xm)≼[λn/2+λ(n+1)/2+⋯+λ(m-1)/2]d(x0,x1)≼[λn/21-λ1/2]d(x0,x1).
Let θ≪cbe given. Choose a symmetric neighborhood V of θ such that c+V⊆intP. Also, choose a natural number N1 such that [λn/2/(1-λ1/2)]d(x0,x1)∈V, for all n≥N1. Then, (λn/2/(1-λ1/2))d(x1,x0)≪c, for all n≥N1. Thus,
(8)d(xm,xn)≼[λn/21-λ1/2]d(x0,x1)≪c,
for all m>n. Therefore, {xn}n≥1 is a Cauchy sequence. Since X is complete, there exists u∈X such that xn→u. Since
(9)H(Txn,Tu)≼λd(xn,u)≺λd(xn,u),
for each n,xn+1∈Txn, we have yn∈Tu such that d(xn+1,yn)≺λd(xn,u).Now, choose a natural number N2such that
(10)d(xn,u)≪c2∀n≥N2.
Then for all n≥N2,
(11)d(u,yn)≼d(u,xn+1)+d(xn+1,yn)≼d(u,xn+1)+λd(xn,u)≼d(u,xn+1)+d(xn,u)≪c2+c2=c.
It follows that yn→u, and it implies that u∈Tu.
Example 4.
Suppose X=[0,1],E=CR2[0,1]with the norm ∥x∥=∥x∥∞+∥x/∥∞, P={x∈E:x≥0}, x(t)=t, and y(t)=t2K. Then,0≤x≤y, ∥x∥=2, and ∥y∥=1+2K. For all K≥1, since K∥x∥<∥y∥. Therefore, P is non-normal. Define d:X×X→E as follows:
(12)(d(x,y))(t)=|x-y|et.
Let 𝒜 be a family of subsets of X of the form 𝒜={[0,x]:x∈X}∪{{x}:x∈X}, and define H:𝒜×𝒜→E as follows:
(13)H(A,B)m={|x-y|etforA=[0,x],B=[0,y],|x-y|etforA={x},B={y},Max{y,|x-y|}etforA=[0,x],B={y},Max{x,|x-y|}etforA={x},B=[0,y].
It is easy to observe that Hsatisfies (H1)–(H4) of Definition 2. Define T:X→𝒜as
(14)Tx={{0},forx∈[0,12],[0,12(x-12)2],forx∈(12,1].
Note that T satisfies the conditions of Theorem 3 with λ=1/2 and 0∈FixT.
HuangL.-G.ZhangX.Cone metric spaces and fixed point theorems of contractive mappings200733221468147610.1016/j.jmaa.2005.03.087AbdeljawadT.MurthyP.TasK.A Gregus type common fixed point theorem of set-valued mappings in cone metric spaces2011134622628AhmadJ.ArshadM.VetroC.On a theorem of khan in a generalized metric space20132013685272710.1155/2013/852727ArshadM.AhmadJ.KarapınarE.Some common fixed point results in rectangular metric spaces20132013730723410.1155/2013/307234AhmadA. G.FadailZ. M.AbbasM.KadelburgZ.RadenovićS.Some fixed and periodic points in abstract metric spaces201220121510.1155/2012/908423908423ArshadM.AzamA.VetroP.Some common fixed point results in cone metric spaces2009200949396510.1155/2009/493965ChoS. H.BaeJ. S.NaK. S.Fixed point theorems for multivalued contractive mappings and multivalued Caristi type mappings in cone metric
spaces20122012, article 1331010.1186/1687-1812-2012-133ChoS. H.BaeJ. S.Fixed point theorems for multi-valued maps in cone metric spaces20112011, article 87ChoaY. J.HirunworakitS.PetrotN.Set-valued fixed-point theorems for generalized contractive mappings without the Hausdorff metric201124111959196710.1016/j.aml. 2011GajićL.RakočevićV.Qusai-contractions on a nonnormal cone metric space2012467579JankovićS.KadelburgZ.RadenovićS.On cone metric spaces: a survey survey20117425912601JungckG.RadenovićS.RadojevićS.RakočevićV.Common fixed point theorems for weakly compatible pairs on cone metric spaces2009200964384010.1155/2009/643840KumarS. R.Common fixed point theorems for sub compatible and sub sequentially continuous maps in 2 metric spaces201272411871200WardowskiD.On set-valued contractions of Nadler type in cone metric spaces20112432752782-s2.0-7864999788510.1016/j.aml.2010.10.003KadelburgZ.RadenovićS.RakočevićV.A note on the equivalence of some metric and cone metric fixed point results201124370374KadelburgZ.RadenovićS.Some results on set-valued contractions in abstract metric spaces20116213423502-s2.0-7995951645910.1016/j.camwa.2011.05.015KlimD.WardowskiD.Dynamic processes and fixed points of set-valued nonlinear contractions in cone metric spaces20097111517051752-s2.0-6834908923910.1016/j.na.2009.04.001LatifA.ShaddadF. Y.Fixed point results for multivalued maps in cone metric spaces20102010, article 872-s2.0-7795535911210.1155/2010/941371941371RadenovićS.KadelburgZ.Some results on fixed points of multifunctions on abstract metric spaces2011535-67467542-s2.0-7875162985210.1016/j.mcm.2010.10.012RezapourSh.HaghiR. H.Fixed point of multifunctions on cone metric spaces2009307-8182-s2.0-7014909439310.1080/01630560903123346WardowskiD.Endpoints and fixed points of set-valued contractions in cone metric spaces2009711-25125162-s2.0-6484908580010.1016/j.na.2008.10.089