Volume 2012, Article ID 313675,11pages doi:10.1155/2012/313675
Research Article
Fixed Point of
T
-Hardy-Rogers
Contractive Mappings in Partially Ordered
Partial Metric Spaces
Mujahid Abbas,
1Hassen Aydi,
2and Stojan Radenovi ´c
31Department of Mathematics, Lahore University of Management Sciences, Lahore 54792, Pakistan 2Institut Sup´erieur d’Informatique et de Technologies de Communication de Hammam Sousse,
Universit´e de Sousse, Route GP1, 4011 Hammam Sousse, Tunisia
3Faculty of Mechanical Engineering, University of Belgrade, Kraljice Marije 16, 11 120 Beograd, Serbia
Correspondence should be addressed to Stojan Radenovi´c,sradenovic@mas.bg.ac.rs
Received 20 March 2012; Accepted 29 August 2012
Academic Editor: Brigitte Forster-Heinlein
Copyrightq2012 Mujahid Abbas et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We prove some fixed point theorems for a T-Hardy-Rogers contraction in the setting of partially ordered partial metric spaces. We apply our results to study periodic point problems for such mappings. We also provide examples to illustrate the results presented herein.
1. Introduction and Preliminaries
The notion of a partial metric space was introduced by Matthews in 1. In partial metric spaces, the distance of a point in the self may not be zero. After the definition of a partial metric space, Matthews proved the partial metric version of Banach fixed point theorem. A motivation behind introducing the concept of a partial metric was to obtain appropriate mathematical models in the theory of computation and, in particular, to give a modified version of the Banach contraction principle, more suitable in this context1. Subsequently, several authors studied the problem of existence and uniqueness of a fixed point for mappings satisfying different contractive conditions e.g.,2–21, 22. Existence of fixed points in partially ordered metric spaces has been initiated in 2004 by Ran and Reurings
23. Subsequently, several interesting and valuable results have appeared in this direction
numbers, and the set of nonnegative integer numbers, respectively. The usual order on R
resp., onRwill be indistinctly denoted by≤or by≥.
Consistent with1,8 see25–29the following definitions and results will be needed in the sequel.
Definition 1.1see1. A partial metric on a nonempty setXis a mappingp:X×X → R
such that for allx, y, z∈X,
p1xy⇔px, x px, y py, y,
p2px, x≤px, y,
p3px, y py, x,
p4px, y≤px, z pz, y−pz, z.
A partial metric space is a pairX, psuch thatX is a nonempty set andpis a partial metric onX. Ifpx, y 0, thenp1andp2imply thatxy. But converse does not hold always. A
trivial example of a partial metric space is the pairR, p, wherep:R×R → Ris defined aspx, y max{x, y}. Each partial metricponXgenerates aT0topologyτponXwhich has
as a base the family openp-balls{Bpx, ε:x∈X, ε >0}, whereBpx, ε {y∈X:px, y<
px, x ε}.
On a partial metric space the concepts of convergence, Cauchy sequence, complete-ness, and continuity are defined as follows.
Definition 1.2see1. LetX, pbe a partial metric space and let{xn}be a sequence inX.
Theni{xn}converges to a pointx∈Xif and only ifpx, x limn→ ∞px, xn we may still
write this as limn→ ∞xn vorxn → v;ii{xn}is called a Cauchy sequence if there exists
and is finitelimn, m→ ∞pxn, xm.
Definition 1.3see1. A partial metric spaceX, pis said to be complete if every Cauchy
sequence{xn}inX converges to a pointx∈X, such thatpx, x limn, m→ ∞pxn, xm. Ifp
is a partial metric onX, then the functionps : X×X → R given bypsx, y 2px, y− px, x−py, yis a metric onX.
Lemma 1.4see1,20. LetX, pbe a partial metric space. Then
a{xn}is a Cauchy sequence inX, pif and only if it is a Cauchy sequence in the metric
spaceX, ps;
b X, p is complete if and only if the metric space X, ps is complete. Furthermore,
limn→ ∞psxn, x 0 if and only if
px, x lim
n→ ∞pxn, x n, mlim→ ∞pxn, xm. 1.1
Remark 1.5. 1 see 19 Clearly, a limit of a sequence in a partial metric space does not
need to be unique. Moreover, the functionp·,·does not need to be continuous in the sense thatxn → xand yn → y impliespxn, yn → px, y. For example, if X 0,∞and
px, y max{x, y}forx, y ∈ X, then for{xn} {1}, pxn, x x px, xfor eachx ≥1
and so, for example,xn → 2 andxn → 3 whenn → ∞.
Definition 1.6see30. Suppose thatX, pis a partial metric space. Denoteτpits topology. We say T : X, p → X, p is continuous if both T : X, τp → X, τp and T :
X, τps → X
2, τpsare continuous.
Remark 1.7. It is worth to notice that the notions p-continuous and ps-continuous of any
function in the context of partial metric spaces are incomparable, in general. Indeed, if X 0,∞,px, y max{x, y},psx, y |x−y|,f0 1, and fx x2 for allx > 0
andgx |sinx|, thenf is ap-continuous andps-discontinuous at pointx 0; whileg is a p-discontinuous andps-continuous atxπ.
According to31, we state the following definition.
Definition 1.8. LetX, pbe a partial metric space. A mappingT:X → Xis said to be
isequentially convergent if for any sequence{yn}inXsuch that{Tyn}is convergent inX, psimplies that{yn}is convergent inX, ps,
iisubsequentially convergent if for any sequence {yn} in X such that {Tyn} is convergent inX, psimplies that{yn}has a convergent subsequence inX, ps.
Consistent with24,31we define aT-Hardy-Rogers contraction in the framework of partial metric spaces.
Definition 1.9. Let X, p be a partial metric space andT, f : X → X be two mappings. A
mappingfis said to be aT-Hardy-Rogers contraction if there existai ≥ 0,i 1, . . . ,5 with
a1a2a3a4a5<1 such that for allx, y∈X
pTfx, Tfy≤a1p
Tx, Tya2p
Tx, Tfxa3p
Ty, Tfy
a4p
Tx, Tfya5p
Ty, Tfx. 1.2
Puttinga1 a4 a5 0 anda2 a3/0,resp.,a1 a2 a3 0 anda4 a5/0in the
previous definition, then the inequality1.2is said a T-Kannanresp.,T-Chatterjeatype contraction. Also, ifa4 a50 anda1, a2, a3/0,1.2is said theT-Reich type contraction.
Definition 1.10. LetX be a nonempty set. ThenX, p,is called a partially ordered partial
metric space if and only ifipis a partial metric onXandiiis a partial order onX. LetX, pbe a partial metric space endowed with a partial orderand letf :X → X be a given mapping. We define setsΔ,Δ1⊂X×Xby
Δ x, y∈X×X:xy oryx,
Δ1
x, x∈X×X:xfxorfxx. 1.3
2. Fixed Point Results
In this section, we obtain fixed point results for a mapping satisfying aT-Hardy-Rogers con-tractive condition defined on a partially ordered partial metric space which is complete.
We start with the following result.
Theorem 2.1. LetX,, pbe an partially ordered partial metric space which is complete. Let T :
X → Xbe a continuous, injective mapping andf :X → Xa nondecreasingT-Hardy-Rogers
con-traction for allx, y ∈ Δ. If there exists x0 ∈ X with x0 fx0, and one of the following two
conditions is satisfied
afis a continuous self-map onX;
bfor any nondecreasing sequence{xn}inX,with limn→ ∞psz, xn 0 it followsxn
zfor alln∈N;
thenFf/φprovided thatT is subsequentially or sequentially convergent. Moreover,f has a unique
fixed point ifFf×Ff ⊂Δ.
Proof. Asfis nondecreasing, therefore by given assumption, we have
x1fx0f2x0 · · · fnx0fn1x0 · · · 2.1
Define a sequence{xn}inXwithxnfnx0and soxn1fxnforn∈N. Sincexn−1, xn∈Δ
therefore by replacingxbyxn−1andybyxnin1.2, we have
pTxn, Txn1 p
Tfxn−1, Tfxn
≤a1pTxn−1, Txn a2p
Txn−1, Tfxn−1a3p
Txn, Tfxn
a4p
Txn−1, Tfxna5p
Txn, Tfxn−1
a1pTxn−1, Txn a2pTxn−1, Txn a3pTxn, Txn1
a4pTxn−1, Txn1 a5pTxn, Txn
≤a1a2pTxn−1, Txn a3pTxn, Txn1
a4
pTxn−1, Txn pTxn, Txn1−pTxn, Txna5pTxn, Txn
a1a2a4pTxn−1, Txn a3a4pTxn, Txn1
a5−a4pTxn, Txn,
2.2
that is,
1−a3−a4pTxn, Txn1≤a1a2a4pTxn−1, Txn a5−a4pTxn, Txn. 2.3
Similarly, replacingxbyxnandybyxn−1in1.2, we obtain
Summing2.3and2.4, we obtainpTxn, Txn1 ≤ δpTxn−1, Txn, whereδ 2a1a2
a3a4a5/2−a2−a3−a4−a5. Obviously 0≤δ <1. Therefore, for alln≥1,
pTxn, Txn1≤δpTxn−1, Txn≤ · · · ≤δnpTx0, Tx1. 2.5
Now, for anym∈Nwithm > n, we have
pTxn, Txm≤pTxn, Txn1 pTxn1, Txn2 · · ·pTxm−1, Txm
≤δnδn1· · ·δm−1 pTx
0, Tx1≤
δn
1−δpTx0, Tx1,
2.6
which implies thatpTxn, Txm → 0 asn, m → ∞. Hence{Txn}is a Cauchy sequence in
X, pand inX, ps. SinceX, pis complete, therefore fromLemma 1.4,X, psis a complete metric space. Hence{Txn}converges to somev∈Xwith respect to the metricps, that is,
lim
n→ ∞p
sTx
n, v 0, 2.7
or equivalently,
pv, v lim
n→ ∞pTxn, v n, m→ ∞lim pTxn, Txm 0. 2.8
Suppose thatT is subsequentially convergent, therefore convergence of{Txn}inX, ps im-plies that{xn}has a convergent subsequence{xni}inX, ps. So
lim
i→ ∞p
sx
ni, u 0, 2.9
for some u ∈ X. As T is continuous, so 2.9 and Definition 1.6. imply that limi→ ∞ps
Txni, Tu 0. From 2.7 and by the uniqueness of the limit in metric spaceX, ps, we
obtainTuv. Consequently,
0pTu, Tu lim
i→ ∞pTxni, Tu i, jlim→ ∞p
Txni, Txnj . 2.10
1◦Iff is a continuous self-map onX, thenfxni → fuandTfxni → Tfuasi → ∞.
SinceTxni → Tuasi → ∞, we obtain thatTfuTu. AsT is injective, so we have
fuu.
2◦Iffis not continuous then by given assumption we havexnufor alln∈N. Thus
for a subsequence{xni}of{xn}we havexni uandxni, u∈Δ. Now,
pTfu, Tu≤pTfu, TfxnipTfxni, Tu−pTfxni, Tfxni
≤a1pTxni, Tu a2p
Txni, Tfxnia3p
Tu, Tfua4p
Txni, Tfu
a5p
a1pTxni, Tu a2pTxni, Txni1 a3p
Tu, Tfua4p
Txni, Tfu
a5pTu, Txni1 pTxni1, Tu−pTxni1, Txni1
≤a1pTxni, Tu a2pTxni, Txni1 a3p
Tu, Tfu
a4
pTxni, Tu pTu, Tfu−pTu, Tua5pTu, Txni1
pTxni1, Tu −pTxni1, Txni1.
2.11
On taking limit asi → ∞and applyingRemark 1.5.2we get
pTu, Tfu≤a1pTu, Tu a2pTu, Tu a3p
Tu, Tfu
a4
pTu, Tu pTu, Tfu−pTu, Tu
a5pTu, Tu pTu, Tu−pTu, Tu
a1a2a5pTu, Tu a3a4p
Tu, Tfu
≤a1a2a3a4a5p
Tu, Tfu
< pTu, Tfu,
2.12
which implies thatpTu, Tfu 0, and so Tu Tfu. Now injectivity of T givesu fu. Following similar arguments to those given above, the result holds whenT is sequentially convergent.
Suppose thatFf ×Ff ⊂ Δ. Let w be a fixed point of f. As Ff ×Ff ⊂ Δ, therefore
u, w∈Δ. From1.2, we have
pTu, Tw pTfu, Tfw
≤a1pTu, Tw a2p
Tu, Tfua3p
Tw, Tfwa4p
Tu, Tfwa5p
Tw, Tfu
a1pTu, Tw a2pTu, Tu a3pTw, Tw a4pTu, Tw a5pTw, Tu
≤a1a2a3a3a4a5pTu, Tw
< pTu, Tw,
2.13
Example 2.2. LetX 0,1be endowed with usual order and letp be the complete partial metric onXdefined bypx, y max{x, y}for allx, y∈X. LetT, f :X → Xbe defined by Tx4x/5 andfxx/4. Note thatΔ X×X. For anyx, y∈Δ, we have
pTfx, Tfy max
x 5, y 5 1 5max
x, y≤ 12
35max x, y ≤ 2 7max 4x 5 , 4y 5 1 7max 4x 5 , x 5 1 7max 4y 5 , y 5 1 7max 4x 5 , y 5 1 7max 4y 5 , x 5
a1p
Tx, Tya2p
Tx, Tfxa3p
Ty, Tfy
a4p
Tx, Tfya5p
Ty, Tfx.
2.14
Therefore,f is aT-Hardly-Rogers contraction witha12/7, a2 a3a4 a5 1/7.
Obvi-ously,T is continuous and sequentially convergent. Thus, all the conditions ofTheorem 2.1
are satisfied. Moreover, 0 is the unique fixed point off.
Example 2.3. LetX 0,∞be endowed with usual order and letpbe a partial metric onX
defined bypx, y max{x, y}for allx, y∈X. DefineT, f :X → XbyTxx2 and fx
x/3. Note thatΔ X×X. For anyx, y∈Δ, we have
pTfx, Tfy max
x2 9 , y2 9 1 9max
x2, y2≤ 1
6max
x2, y2
a1p
Tx, Ty≤a1p
Tx, Tya2p
Tx, Tfxa3p
Ty, Tfy
a4p
Tx, Tfya5p
Ty, Tfx.
2.15
Therefore,fis aT-Hardly-Rogers contraction witha1 a2 a3 a4 a5 1/6. Also,T is
continuous and sequentially convergent. Thus all the conditions ofTheorem 2.1are satisfied. Moreover, 0 is the unique fixed point off.
TakingTx xin1.2andTheorem 2.1, we get the Hardy-Rogers type32 and so the Kannan, Chatterjea, and Reichfixed point theorem on partially ordered partial metric spaces.
Corollary 2.4. LetX,, pbe a partially ordered partial metric space which is complete. Letf:X →
Xbe a nondecreasing mapping such that for allx, y∈Δ, we have
pfx, fy≤a1p
x, ya2p
x, fxa3p
y, fya4p
x, fya5p
y, fx, 2.16
whereai≥0,i1, . . . ,5 witha1a2a3a4a5 <1. If there existsx0∈Xwithx0fx0, and
one of the following two conditions is satisfied.
afis a continuous self map onX;
bfor any nondecreasing sequence{xn}inX,with limn→ ∞psz, xn 0 it followsxn
Remark 2.5. Corollary 2.4corresponds to Theorem 2 of Altun et al.8in partially ordered partial metric spaces. For particular choices of the coefficientsaii1,...,5 inTheorem 2.1, we
obtain theT-Kannan,T-Chatterjea, andT-Reich type fixed point theorems. Also,Theorem 2.1
is an extension of Theorem 2.1 of Filipovi´c et al.24from the cone metric spaces to partial metric spaces.
3. Periodic Point Results
Letf :X → X. If the mapfsatisfiesFf Ffn for eachn∈N, then it is said to have the
pro-pertyP, for more details see33.
Definition 3.1. LetX,be a partially ordered set. A mappingf is called1a dominating
map onXifxfxfor eachxinXand2a dominated map onXiffxxfor eachxinX.
Example 3.2. LetX 0,1 be endowed with usual ordering. Let f : X → X defined by
fxx1/3, thenx≤x1/3 fxfor allx∈X. Thusfis a dominating map.
Example 3.3. LetX 0,∞be endowed with usual ordering. Letf : X → X defined by
fx √nxforx ∈ 0,1and letfx xn for x ∈ 1,∞, for anyn ∈ N, then for allx ∈ X,
x≤fxthat isfis the dominating map. Note thatΔ1/φiffis a dominating or a dominated
mapping.
We have the following result.
Theorem 3.4. LetX,, pbe a partially ordered partial metric space which is complete. LetT :X →
Xbe an injective mapping andf:X → Xa nondecreasing such that for allx, x∈Δ1, we have
pTfx, Tf2x ≤λpTx, Tfx, 3.1
for someλ∈0,1and for allx∈X,x /fx. Thenfhas the propertyPprovided thatFf is nonempty
andfis a dominating map onFfn.
Proof. Letu ∈ Ffn for some n > 1. Now we show thatu fu. Sincef is dominating on
Ffn, thereforeu fuwhich further implies thatfn−1u fnuasf is nondecreasing. Hence
fn−1u, fn−1u∈Δ
1. Now by using3.1, we have
pTu, TfupTffn−1u, Tf2fn−1u
≤λpTfn−1u, Tfnu λpTffn−2u, Tf2fn−2u .
3.2
Repeating the above process, we get
pTu, Tfu≤λnpTu, Tfu. 3.3
Theorem 3.5. LetX,, pbe a partially ordered partial metric space which is complete. letT, f :
X → X be mappings satisfy the condition ofTheorem 2.1. Iff is dominating onX, thenf has the
propertyP.
Proof. From Theorem 2.1, Ff/∅. We will prove that 3.1 is satisfied for all x, x ∈ Δ1.
Indeed,f is a dominating map so thatxfxand alsofis nondecreasing so thatfx f2x
and hencex, fx∈Δ. Now from1.2,
pTfx, Tf2x pTfx, Tffx≤a
1p
Tx, Tfxa2p
Tx, Tfxa3p
Tfx, Tf2x
a4p
Tx, Tf2x a
5p
Tfx, Tfx
≤a1a2p
Tx, Tfxa3p
Tfx, Tf2x
a4
pTx, TfxpTfx, Tf2x −pTfx, Tfx a
5p
Tfx, Tfx,
3.4
that is,
1−a3−a4p
Tfx, Tf2x ≤a
1a2a4p
Tx, Tfx a5−a4p
Tfx, Tfx. 3.5
Again by using1.2, we have
pTf2x, Tfx pTffx, Tfx≤a
1p
Tfx, Txa2p
Tfx, Tf2x a
3p
Tx, Tfx
a4p
Tfx, Tfxa5p
Tx, Tf2x
≤a1a3p
Tx, Tfxa2p
Tfx, Tf2x a
4p
Tfx, Tfx
a5
pTx, TfxpTfx, Tf2x −pTfx, Tfx ,
3.6
which implies that
1−a2−a5p
Tfx, Tf2x ≤a
1a3a5p
Tx, Tfx a4−a5p
Tfx, Tfx. 3.7
Summing3.5and3.7impliespTfx, Tf2x≤λpTx, Tfx,λ 2a
1a2a3a4a5/2−
a2−a3−a4−a5. Obviously,λ∈0,1. ByTheorem 3.4,fhas the propertyP.
Acknowledgment
References
1 S. G. Matthews, “Partial metric topology,” Annals of the New York Academy of Sciences, vol. 728, pp. 183–197, 1994.
2 M. Abbas, T. Nazir, and S. Romaguera, “Fixed point results for generalized cyclic contraction map-pings in partial metric spaces,” Revista de la Real Academia de Ciencias Exactas, vol. 106, no. 2, pp. 287–297, 2012.
3 T. Abdeljawad, “Fixed points for generalized weakly contractive mappings in partial metric spaces,”
Mathematical and Computer Modelling, vol. 54, no. 11-12, pp. 2923–2927, 2011.
4 T. Abdeljawad, E. Karapinar, and K. Tas¸, “A generalized contraction principle with control functions on partial metric spaces,” Computers and Mathematics with Applications, vol. 63, no. 3, pp. 716–719, 2012.
5 P. R. Agarwal, A. M. Alghamdi, and N. Shahzad, “Fixed point theory for cyclic generalized contrac-tions in partial metric spaces,” Fixed Point Thewory and Applicacontrac-tions, vol. 2012, p. 40, 2012.
6 I. Altun and A. Erduran, “Fixed point theorems for monotone mappings on partial metric spaces,”
Fixed Point Theory and Applications, vol. 2011, Article ID 508730, 10 pages, 2011.
7 T. Abdeljawad, E. Karapnar, and K. Tas¸, “Existence and uniqueness of a common fixed point on partial metric spaces,” Applied Mathematics Letters, vol. 24, no. 11, pp. 1900–1904, 2011.
8 I. Altun, F. Sola, and H. Simsek, “Generalized contractions on partial metric spaces,” Topology and its
Applications, vol. 157, no. 18, pp. 2778–2785, 2010.
9 H. Aydi, “Some coupled fixed point results on partial metric spaces,” International Journal of
Mathematics and Mathematical Sciences, vol. 2011, Article ID 647091, 11 pages, 2011.
10 H. Aydi, “Fixed point results for weakly contractive mappings in ordered partial metric spaces,”
Journal of Advanced Mathematical Studies, vol. 4, no. 2, pp. 1–12, 2011.
11 H. Aydi, “Fixed point theorems for generalized weakly contractive condition in ordered partial metric spaces,” Journal of Nonlinear Analysis and Optimization: Theory and Applications, vol. 2, no. 2, pp. 33–48, 2011.
12 L. ´Ciri´c, B. Samet, H. Aydi, and C. Vetro, “Common fixed points of generalized contractions on partial metric spaces and an application,” Applied Mathematics and Computation, vol. 218, pp. 2398–2406, 2011.
13 C. Di Bari and P. Vetro, “Fixed points for weakφ-contractions on partial metric spaces,” International
Journal of Engineering, Contemporary Mathematics and Sciences, vol. 1, no. 1, pp. 4–9, 2011.
14 D. Duki´c, Z. Kadelburg, and S. Radenovi´c, “Fixed point of Geraghty-type mappings in various generalized metric spaces,” Abstract and Applied Analysis, vol. 2011, Article ID Article ID 561245, 13 pages, 2011.
15 D. Ili´c, V. Pavlovi´c, and V. Rakoˇcevi´c, “Some new extensions of Banach’s contractions principle in partial metric spaces,” Applied Mathematics Letters, vol. 24, no. 8, pp. 1326–1330, 2011.
16 D. Ili´c, V. Pavlovi´c, and V. Rakoˇcevi´c, “Extensions of Zamfirescu theorem to partial metric spaces,”
Mathematical and Computer Modelling, vol. 55, no. 3-4, pp. 801–809, 2012.
17 E. Karapnar and I. M. Erhan, “Fixed point theorems for operators on partial metric spaces,” Applied
Mathematics Letters, vol. 24, no. 11, pp. 1894–1899, 2011.
18 N. Hussain, Z. Kadelburg, and S. Radenovi´c, “Comparison functions and fixed point results in partial metric spaces,” Abstrac and Applied Analysis, vol. 2012, Article ID 605781, 15 pages, 2012.
19 H. K. Nashine, Z. Kadelburg, and S. Radenovi´c, “Common fixed point theorems for weakly isotone increasing mappings in ordered partial metric spaces,” Mathematical and Computer Modelling. In press.
20 S. Oltra and O. Valero, “Banach’s fixed point theorem for partial metric spaces,” Rendiconti, vol. 36, pp. 17–26, 2004.
21 O. Valero, “On Banach fixed point theorems for partial metric spaces,” Applied General Topology, vol. 6, no. 2, pp. 229–240, 2005.
22 B. Samet, M. Rajovi´c, R. Lazovi´c, and R. Stoiljkovi´c, “Common fixed point results for nonlinear contractions in ordered partial metric spaces,” Fixed Point Theory and Applications, vol. 2011, 71 pages, 2011.
23 A. C. M. Ran and M. C. B. Reurings, “A fixed point theorem in partially ordered sets and some ap-plications to matrix equations,” Proceedings of the American Mathematical Society, vol. 132, no. 5, pp. 1435–1443, 2004.
24 M. Filipovi´c, L. Paunovi´c, S. Radenovi´c, and M. Rajovi´c, “Remarks on ‘Cone metric spaces and fixed point theorems of T-Kannan and T-Chatterjea contractive mappings’,” Mathematical and Computer
Modelling, vol. 54, no. 5-6, pp. 1467–1472, 2011.
26 S. Romaguera, “A Kirk type characterization of completeness for partial metric spaces,” Fixed Point
Theory and Applications, vol. 2010, Article ID 493298, 6 pages, 2010.
27 S. Romaguera and O. Valero, “A quantitative computational model for complete partial metric spaces via formal balls,” Mathematical Structures in Computer Science, vol. 19, no. 3, pp. 541–563, 2009.
28 S. Oltra, S. Romaguera, and E. A. Sa´anchez-P´erez, “Bicompleting weightable quasi-metric spaces and partial metric spaces,” Rendiconti del Circolo Matematico di Palermo, vol. 51, no. 2, pp. 151–162, 2002.
29 D. Paesano and P. Vetro, “Suzuki’s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces,” Topology and its Applications, vol. 159, pp. 911– 920, 2012.
30 S. J. O’Neill, “Two topologies are better than one,” Tech. Rep., University of Warwick, Coventry, UK, 1995.
31 J. R. Morales and E. Rojas, “Cone metric spaces and fixed point theorems of T-Kannan contractive mappings,” International Journal of Mathematical Analysis, vol. 4, no. 1–4, pp. 175–184, 2010.
32 G. E. Hardy and T. D. Rogers, “A generalization of a fixed point theorem of Reich,” Canadian
Mathematical Bulletin, vol. 16, pp. 201–206, 1973.
Submit your manuscripts at
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
in Engineering
Hindawi Publishing Corporation http://www.hindawi.com
Differential Equations International Journal of
Volume 2014
Applied MathematicsJournal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Probability and Statistics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Mathematical PhysicsAdvances in
Complex Analysis
Journal of Hindawi Publishing Corporationhttp://www.hindawi.com Volume 2014
Optimization
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Operations Research
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Function Spaces
Abstract and Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
International Journal of Mathematics and Mathematical Sciences
Hindawi Publishing Corporation http://www.hindawi.com Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Algebra
Discrete Dynamics in Nature and Society
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Decision Sciences
Discrete Mathematics
Journal ofHindawi Publishing Corporation
http://www.hindawi.com Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com Volume 2014