# Some Fixed Point Results inGP-Metric Spaces

Authors: Hassen Aydi; Erdal Karapınar; Peyman Salimi
Journal: Journal of Applied Mathematics
 (2012)

---

## Abstract

Following a recent paper of Zand and Nezhad (2011), we establish some
fixed point results inGP-metric spaces. The presented theorems generalize and improve
several existing results in the literature. Also, some examples are presented.


---

## Body

## 1. Introduction

Partial metric space is a generalized metric space introduced by Matthews [1] in which each object does not necessarily have to have a zero distance from itself. A motivation is to introduce this space to give a modified version of the Banach contraction principle [2]. Subsequently, several authors studied the problem of existence and uniqueness of a fixed point for mappings satisfying different contractive conditions, see [3–23].On the other hand, in 2006 Mustafa and Sims [24] introduced a new notion of generalized metric spaces called G-metric spaces. Based on the notion of a G-metric space, many fixed point results for different contractive conditions have been presented, for more details see [25–42].Recently, based on the two above notions, Zand and Nezhad [43] introduced a new generalized metric space as both a generalization of a partial metric space and a G-metric space. It is given as follows.Definition 1.1 (see [43]).
LetX be a nonempty set. A function Gp:X×X×X→[0,+∞) is called a GP-metric if the following conditions are satisfied: (GP1)x=y=z if Gp(x,y,z)=Gp(z,z,z)=Gp(y,y,y)=Gp(x,x,x);(GP2)0≤Gp(x,x,x)≤Gp(x,x,y)≤Gp(x,y,z) for all x,y,z∈X;(GP3)Gp(x,y,z)=Gp(x,z,y)=Gp(y,z,x)=⋯, symmetry in all three variables;(GP4)Gp(x,y,z)≤Gp(x,a,a)+Gp(a,y,z)-Gp(a,a,a) for any x,y,z,a∈X.
Then the pair(X,G) is called a GP-metric space.Example 1.2 (see [43]).
LetX=[0,∞) and define Gp(x,y,z)=max{x,y,z}, for all x,y,z∈X. Then (X,Gp) is a GP-metric space.Proposition 1.3 (see [43]).
Let(X,Gp) be a GP-metric space, then for any x,y,z and a∈X it follows that (i)
Gp(x,y,z)≤Gp(x,x,y)+Gp(x,x,z)-Gp(x,x,x);(ii)
Gp(x,y,y)≤2Gp(x,x,y)-Gp(x,x,x);(iii)
Gp(x,y,z)≤Gp(x,a,a)+Gp(y,a,a)+Gp(z,a,a)-2Gp(a,a,a);(iv)
Gp(x,y,z)≤Gp(x,a,z)+Gp(a,y,z)-Gp(a,a,a).Proposition 1.4 (see [43]).
EveryGP-metric space (X,Gp) defines a metric space (X,DGp), where
(1.1)DGp(x,y)=Gp(x,y,y)+Gp(y,x,x)-Gp(x,x,x)-Gp(y,y,y)forallx,y∈X.Definition 1.5 (see [43]).
Let(X,Gp) be a GP-metric space and let {xn} be a sequence of points of X. A point x∈X is said to be the limit of the sequence {xn} or xn→x if
(1.2)limm,m→∞Gp(x,xm,xn)=Gp(x,x,x).Proposition 1.6 (see [43]).
Let(X,Gp) be a GP-metric space. Then, for any sequence {xn} in X, and a point x∈X the following are equivalent: (A)
{xn} is GP-convergent to x;(B)
Gp(xn,xn,x)→Gp(x,x,x) as n→∞;(C)
Gp(xn,x,x)→Gp(x,x,x) as n→∞.Definition 1.7 (see [43]).
Let(X,Gp) be a GP-metric space. (S1)
A sequence{xn} is called a GP-Cauchy if and only if limm,n→∞Gp(xn,xm,xm) exists (and is finite).(S2)
AGP-partial metric space (X,Gp) is said to be GP-complete if and only if every GP-Cauchy sequence in X is GP-convergent to x∈X such that Gp(x,x,x)=limm,n→∞Gp(xn,xm,xm).Now, we introduce the following.Definition 1.8.
Let(X,Gp) be a GP-metric space. (M1)
A sequence{xn} is called a 0-GP-Cauchy if and only if limm,n→∞Gp(xn,xm,xm)=0;(M2)
AGP-metric space (X,Gp) is said to be 0-GP-complete if and only if every 0-GP-Cauchy sequence is GP-convergent to a point x∈X such that Gp(x,x,x)=0.Example 1.9.
LetX=[0,+∞) and define Gp(x,y,z)=max{x,y,z}, for all x,y,z∈X. Then (X,Gp) is a GP-complete GP-metric space. Moreover, if X=ℚ∩[0,+∞) (where ℚ denotes the set of rational numbers), then (X,Gp) is a 0-GP-complete GP-metric space.Lemma 1.10.
Let(X,Gp) be a GP-metric space. Then (A)
ifGp(x,y,z)=0, then x=y=z;(B)
ifx≠y, then Gp(x,y,y)>0.Proof.
By (GP2) we have(1.3)Gp(x,x,x),Gp(y,y,y),Gp(x,y,y),Gp(x,x,y)≤Gp(x,y,z)=0.
Then, by Proposition 1.4, we have DGp(x,y)=0, that is, x=y. Similarly, we can obtain that y=z. The assertion (A) is proved.
On the other hand, ifx≠y and Gp(x,y,y)=0, then by (A), x=y which is a contradiction and so (B) holds.In this paper, we establish some fixed point results inGP-metric spaces analogous to results of Ilić et al. [44] which were proved in partial metric spaces. Also, some examples are provided to illustrate our results. To our knowledge, we are the first to give some fixed point results in GP-metric spaces, and so is the novelty and original contributions of this paper. This opens the door to other possible fixed (common fixed) point results.


## 2. Main Results

We start by stating a fixed point result of Ilić et al. [44].Theorem 2.1 (see [44]).
Let(X,p) be a complete partial metric space. Let f be a self-mapping on X. Suppose that for all x,y,z∈X the following condition holds:
(2.1)p(fx,fy)≤max{αp(x,y),p(x,x),p(y,y)},
where 0≤α<1. Then (1)
the setXP={y∈X:p(x,x)=infy∈Xp(y,y)} is nonempty;(2)
there is a uniqueu∈XP such that fu=u;(3)
for allx∈XP the sequence {fnx} converges to u with respect to the metric dp (where dp(x,y)=p(x,y)-p(x,x)-p(y,y) for x,y∈X).The analog of Theorem2.1 in GP-metric spaces is given as follows.Theorem 2.2.
Let(X,Gp) be a GP-complete GP-metric space. Let f be a self-mapping on X. Suppose that for all x,y,z∈X the following condition holds:
(2.2)Gp(fx,fy,fz)≤max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)},
where 0≤r<1. Then (T1)
the setXGp={y∈X:Gp(x,x,x)=infy∈XGp(y,y,y)} is nonempty;(T2)
there is a uniquex*∈XGp such that fx*=x*;(T3)
for allx∈XGP the sequence {fnx} converges to x* with respect to the metric DGp.Proof.
Letx∈X. By (2.2), we have
(2.3)Gp(fx,fx,fx)≤max{rGp(x,x,x),Gp(x,x,x)}=Gp(x,x,x).
Hence, {Gp(fnx,fnx,fnx)}n≥0 is a nonincreasing sequence. Put
(2.4)Sx:=limnGp(fnx,fnx,fnx)=infnGp(fnx,fnx,fnx),(2.5)Γx∶=11-rGp(x,fx,fx)+Gp(x,x,x).
We shall show that
(2.6)Gp(fix,fjx,fjx)≤3Γxforalli,j≥0.
Again, by (2.2), we have for all m>n≥0(2.7)Gp(fnx,fmx,fmx)≤max{rGp(fn-1x,fm-1x,fm-1x),Gp(fnx,fnx,fnx)}.
At first
(2.8)Gp(x,fjx,fjx)≤Gp(x,fx,fx)+Gp(fx,fjx,fjx)≤Gp(x,fx,fx)+max{rGp(x,fj-1x,fj-1x),Gp(x,x,x)}.
Similarly(2.9)Gp(x,fj-1x,fj-1x)≤Gp(x,fx,fx)+max{rGp(x,fj-2x,fj-2x),Gp(x,x,x)}.
Then we have(2.10)Gp(x,fjx,fjx)≤Gp(x,fx,fx)+max{rGp(x,fx,fx)+r2Gp(x,fj-2x,fj-2x),Gp(x,x,x)}.
By continuing this process, we get
(2.11)Gp(x,fjx,fjx)≤Gp(x,fx,fx)+max{rGp(x,fx,fx)+⋯+rj-1Gp(x,fx,fx),Gp(x,x,x)}≤Gp(x,fx,fx)+max{r1-rGp(x,fx,fx),Gp(x,x,x)}≤Gp(x,fx,fx)+r1-rGp(x,fx,fx)+Gp(x,x,x)=Γx.
Now, by Proposition1.3 (ii), we have GP(fix,x,x)≤2GP(x,fix,fix)≤2Γx. Hence
(2.12)Gp(fix,fix,fjx)≤Gp(fix,x,x)+Gp(x,fjx,fjx)≤3Γx,
that is, (2.6) holds. On the other hand, by (GP2), we have
(2.13)Sx≤Gp(fnx,fnx,fnx)≤Gp(fnx,fmx,fmx).
Given any ϵ>0, by (2.4), there exists n0∈ℕ such that Gp(fn0x,fn0x,fn0x)<Sx+ϵ. Since 0≤r<1, so without loss of generality, we have 3Γxrn0<Sx+ϵ. Therefore, for all m,n≥2n0(2.14)Gp(fnx,fmx,fmx)≤max{rGp(fn-1x,fm-1x,fm-1x),Gp(fn-1x,fn-1x,fn-1x),Gp(fm-1x,fm-1x,fm-1x)}≤max{r2Gp(fn-2x,fm-2x,fm-2x),Gp(fn-2x,fn-2x,fn-2x),Gp(fm-2x,fm-2x,fm-2x)}≤⋯≤max{rn0Gp(fn-n0x,fm-n0x,fm-n0x),Gp(fn-n0x,fn-n0x,fn-n0x),Gp(fm-n0x,fm-n0x,fm-n0x)}<Sx+ϵ.
Then, Sx=limm,n→∞Gp(fnx,fmx,fmx) and so {fnx} is a GP-Cauchy sequence. Since (X,Gp) is GP-complete, then there exists x*∈X such that {fnx}  GP-converges to x*, that is,
(2.15)Gp(x*,x*,x*)=limm,n→∞Gp(fnx,fmx,fmx).
Since {fnx}GP-converges to x*, then Proposition 1.6 yields that
(2.16)Gp(x*,x*,x*)=limn→∞Gp(x*,fnx,fnx)=limn→∞Gp(fnx,x*,x*).
We obtain that
(2.17)Sx=Gp(x*,x*,x*)=limn→∞Gp(x*,fnx,fnx)(2.18)=limn→∞Gp(fnx,x*,x*)=limm,n→∞Gp(fnx,fmx,fmx).
For all n∈ℕ(2.19)Gp(x*,fx*,fx*)≤Gp(x*,fnx,fnx)+Gp(fnx,fx*,fx*)-Gp(fnx,fnx,fnx).
By taking the limit as n→∞ in the above inequality, we get
(2.20)Gp(x*,fx*,fx*)≤limn→∞Gp(fnx,fx*,fx*).
On the other hand, from (2.2), we have
(2.21)limn→∞Gp(fnx,fx*,fx*)≤max{rlimn→∞Gp(fn-1x,x*,x*),limn→∞Gp(fn-1x,fn-1x,fn-1x),Gp(x*,x*,x*)}=Gp(x*,x*,x*).
Thus, Gp(x*,fx*,fx*)≤Gp(x*,x*,x*). By (GP2), we deduce that
(2.22)Gp(x*,fx*,fx*)=Gp(x*,x*,x*).
Now we show that XGp is nonempty. Let Ω=infy∈XGp(y,y,y). For all k∈ℕ, pike xk∈X with Gp(xk,xk,xk)<Ω+1/k. Define xn*=fnx* for all n≥1. Let us show that
(2.23)limm,n→∞Gp(xn*,xm*,xm*)=Ω.
Given ϵ>0, put n0:=[3/ϵ(1-r)]+1. If k≥n0, then we have
(2.24)Ω≤Gp(fxk*,fxk*,fxk*)≤Gp(xk*,xk*,xk*)=Sxk≤Gp(xk,xk,xk)<Ω+1k<Ω+1n0<Ω+3ϵ(1-r)≤Gp(fxk*,fxk*,fxk*)+3ϵ(1-r).
Therefore, we have
(2.25)Tk:=Gp(xk*,xk*,xk*)-Gp(fxk*,fxk*,fxk*)<3ϵ(1-r).
On the other hand, if k≥n0, then Gp(xk*,xk*,xk*)=Sxk<Ω+1/n0. It follows that
(2.26)Gp(xk*,xk*,xk*)<Ω+3ϵ(1-r).
By (GP4), (2.22), and (2.25), we can obtain
(2.27)Gp(xn*,xm*,xm*)≤Gp(xn*,fxn*,fxn*)+Gp(fxn*,xm*,xm*)-Gp(fxn*,fxn*,fxn*)=Tn+Gp(fxn*,xm*,xm*),Gp(fxn*,xm*,xm*)≤Gp(fxn*,fxm*,fxm*)+Gp(fxm*,xm*,xm*)-Gp(fxm*,fxm*,fxm*)=Gp(fxn*,fxm*,fxm*)+Tm.
Thus
(2.28)Gp(xn*,xm*,xm*)≤Tm+Tn+Gp(fxn*,fxm*,fxm*)≤Tm+Tn+max{rGp(xn*,xm*,xm*),Gp(xn*,xn*,xn*),Gp(xm*,xm*,xm*)}.
Now, by (2.25) and (2.26), we have
(2.29)Ω≤Gp(xn*,xm*,xm*)≤max{23ϵ,23ϵ(1-r)+Gp(xn*,xn*,xn*),23ϵ(1-r)+Gp(xm*,xm*,xm*)}≤max{23ϵ,Ω+ϵ(1-r)}<Ω+ϵ,
that is, (2.23) holds. Again, Since (X,Gp) is GP-complete, then there exists y∈X such that
(2.30)Gp(y,y,y)=limn→∞Gp(y,xn*,xn*)=limn→∞Gp(xn*,y,y)=limm,n→∞Gp(xn*,xm*,xm*)=Ω.
This leads that y∈XGp, so XGp is nonempty.
Letx∈X. By (2.22), we get
(2.31)Ω≤Gp(fx*,fx*,fx*)≤Gp(x*,fx*,fx*)=Gp(x*,x*,x*)=Sx=Ω.
From (GP1), it follows that x*=fx*. By (2.17), we have
(2.32)limn→∞DGp(fnx,x*)=limn→∞Gp(fnx,x*,x*)+limn→∞Gp(x*,fnx,fnx)-limn→∞Gp(fnx,fnx,fnx)-Gp(x*,x*,x*)=0.
Therefore, for all x∈XP the sequence {fnx} converges with respect to the metric DGp to x*. The uniqueness of the fixed point follows easily from (2.2).We illustrate Theorem2.2 by the following examples.Example 2.3.
LetX=[0,∞) and define Gp(x,y,z)=max{x,y,z}, for all x,y,z∈X. Then (X,Gp) is a complete GP-metric space. Clearly, (X,G) is not a G-metric space. Consider f:X→X defined by fx=x2/(1+x). Without loss of generality, take x≤y≤z. We have
(2.33)Gp(fx,fy,fz)=z21+z≤z=max{Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)}=max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)},
for all r∈[0,1). So, (2.2) holds. Here, u=0 is the unique fixed point of f.Example 2.4.
LetX=[0,∞). Define Gp:X3→[0,∞) by Gp(x,y,z)=max{x,y,z}. Clearly, (X,Gp) is a GP-metric space. Define f:X→X by
(2.34)fx={x2,0≤x≤13(1-x)2,13<x≤121(2x+1)x>12.
Then, the inequality (2.2) of Theorem 2.2 holds. Here, u=0 is the unique fixed point of f.Proof.
Clearly,M(x,y,z):=max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)}=max{x,y,z}, for all r∈(0,1). We have the following cases.
Case  1 (0≤x,y,z≤1/3).
Consider the following:(2.35)Gp(fx,fy,fz)=max{x2,y2,z2}≤max{x,y,z}=M(x,y,z).Case  2 (1/3<x,y,z≤1/2).
Consider the following:(2.36)Gp(fx,fy,fz)=max{(1-x)2,(1-y)2,(1-z)2}≤max{x,y,z}=M(x,y,z).Case  3 (x,y,z>1/2).
Consider the following:(2.37)Gp(fx,fy,fz)=max{1(2x+1),1(2y+1),1(2z+1)}≤M(x,y,z).Case  4 (0≤x≤1/3, 1/3<y≤1/2 and z>1/2).
Consider the following:(2.38)Gp(fx,fy,fz)=max{x2,(1-y)2,1(2z+1)}≤M(x,y,z).Case  5 (0≤x,y≤1/3, 1/3<z≤1/2).
Consider the following:(2.39)Gp(fx,fy,fz)=max{x2,y2,(1-x)2}≤M(x,y,z).Case  6 (0≤x,y≤1/3, z>1/2).
Consider the following:(2.40)Gp(fx,fy,fz)=max{x2,y2,1(2x+1)}≤M(x,y,z).Case  7 (1/3<x,y≤1/2, 0≤z≤1/3).
Consider the following:(2.41)Gp(fx,fy,fz)=max{(1-x)2,(1-y)2,z2}≤M(x,y,z).Case  8 (1/3≤x,y≤1/2, z>1/2).
Consider the following:(2.42)Gp(fx,fy,fz)=max{(1-x)2,(1-y)2,1(2z+1)}≤M(x,y,z).Case  9 (x,y>1/2, 0≤z≤1/3).
Consider the following:(2.43)Gp(fx,fy,fz)=max{1(2x+1),1(2y+1),z2}≤M(x,y,z).Case  10 (x,y>1/2, 1/3<z≤1/2).
Consider the following:(2.44)Gp(fx,fy,fz)=max{1(2x+1),1(2y+1),(1-z)2}≤M(x,y,z).
Thus, the inequality (2.2) holds. Applying Theorem 2.2, we get u=0 is the unique point fixed point of f.Also, Ilić et al. [44] proved the following result.Theorem 2.5 (see [44]).
Let(X,P) be a complete partial metric space. Let f be a self-mapping on X. Suppose that for all x,y,z∈X the following condition holds:
(2.45)p(fx,fy)≤max{αp(x,y),p(x,x)+p(y,y)2},
where 0≤α<1. Then (i)
the setXP={y∈X:p(x,x)=infy∈Xp(y,y)} is nonempty;(ii)
there is a uniquex*∈XP such that fx*=x*;(iii)
for allx∈XP, the sequence {fnx} converges to x* with respect to the metric dp.The analog of Theorem2.5 in GP-metric spaces is stated as follows.Theorem 2.6.
Let(X,Gp) be a GP-complete GP-metric space. Let f be a self-mapping on X. Suppose that for all x,y,z∈X the following condition holds:
(2.46)Gp(fx,fy,fz)≤max{rGp(x,y,z),Gp(x,x,x)+Gp(y,y,y)+Gp(z,z,z)3},
where 0≤r<1. Then (R1)
the setXP={y∈X:Gp(x,x,x)=infy∈XGp(y,y,y)} is nonempty;(R2)
there is a uniquex*∈XP such that fx*=x*;(R3)
for allx∈XGP, the sequence {fnx} converges to x* with respect to the metric DGp.Proof.
Since(2.47)Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)≤max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)},
then
(2.48)Gp(x,x,x)+Gp(y,y,y)+Gp(z,z,z)3≤max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)}.
Thus
(2.49)Gp(fx,fy,fz)≤max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)}.
Then, the conditions of Theorem 2.1 hold. Hence, it follows that (R1), (R2), and (R3) hold.Example 2.7.
LetX=[0,1] and define Gp(x,y,z)=max{x,y,z}, for all x,y,z∈X. We have (X,Gp) is a complete GP-metric space. Take fx=x2/2 and r=1/2. For all x≤y≤z, we have
(2.50)Gp(fx,fy,fz)=z22≤rGp(x,y,z)≤max{rGp(x,y,z),Gp(x,x,x),Gp(y,y,y),Gp(z,z,z)},
that is, (2.2) holds. Here, u=0 is the unique fixed point of f.Similarly, we have the following.Theorem 2.8.
Let(X,Gp) be a GP-complete GP-metric space. Let f be a self-mapping on X. Suppose that for all x,y,z∈X the following condition holds:
(2.51)Gp(fx,fy,fz)3≤rGp(x,x,x)Gp(y,y,y)Gp(z,z,z),
where 0≤r<1. Then (N1)
the setXGp={y∈X:Gp(x,x,x)=infy∈XGp(y,y,y)} is nonempty;(N2)
there is a uniquex*∈XGp such that fx*=x*;(N3)
for allx∈XGp, the sequence {fnx} converges with respect to the metric DGp to x*.The following lemma is useful.Lemma 2.9.
Let(X,Gp) be a GP-metric space and {xn} be a sequence in X. Assume that {xn}GP converges to a point x∈X with Gp(x,x,x)=0. Then limn→+∞Gp(xn,y,y)=Gp(x,y,y) for all y∈X. Moreover, limm,n→+∞Gp(xn,xm,x)=0.Proof.
By (GP4), we have(2.52)Gp(x,y,y)-Gp(x,xn,xn)≤Gp(xn,y,y)≤Gp(xn,x,x)+Gp(x,y,y),
and so limn→+∞Gp(xn,y,y)=P(x,y,y). Again by (GP4), we get
(2.53)Gp(xn,xm,x)≤Gp(xn,x,x)+Gp(x,x,xm),
and hence limm,n→+∞Gp(xn,xm,x)=0.Theorem 2.10.
Let(X,Gp) be a 0-GP-complete GP-metric space and f be a self-mapping on X. Assume that (1/3)Gp(x,fx,fx)<Gp(x,y,y) implies
(2.54)Gp(fx,fy,fy)≤αGp(x,y,y)+βGp(x,fx,fx)+γGp(y,fy,fy)
for all x,y∈X, where α,β,γ≥0 with α+β+γ<1. Then f has a unique fixed point.Proof.
Ifx=fx, then x is a fixed point for f. Assume that x≠fx. So by Lemma 1.10, it follows that Gp(x,fx,fx)>0. Therefore, (1/3)Gp(x,fx,fx)<Gp(x,fx,fx) and so from (2.54), we have
(2.55)Gp(fx,f2x,f2x)≤rGp(x,fx,fx)forallx∈X,r=α+β1-γ<1.
Let x0∈X and define a sequence {xn} by xn=fnx0 for all n∈ℕ. Now by (2.55), we can obtain that
(2.56)Gp(fnx0,fn+1x0,fn+1x0)≤rGp(fn-1x0,fnx0,fnx0)≤⋯≤rnGp(x0,fx0,fx0).
Then, for any m>n, by (2.56), we get
(2.57)Gp(fnx0,fmx0,fmx0)≤Gp(fnx0,fn+1x0,fn+1x0)+Gp(fn+1x0,fmx0,fmx0)≤Gp(fnx0,fn+1x0,fn+1x0)+Gp(fn+1x0,fn+2x0,fn+2x0)+Gp(fn+2x0,fmx0,fmx0)≤Gp(fnx0,fn+1x0,fn+1x0)+Gp(fn+1x0,fn+2x0,fn+2x0)+Gp(fn+2x0,fn+3x0,fn+3x0)+⋯+Gp(fm-1x0,fmx0,fmx0)≤rn1-rGp(x0,fx0,fx0).
It implies that limm,n→∞Gp(fnx0,fmx0,fmx0)=0; that is, {xn} is a 0-GP-Cauchy sequence. Since X is 0-GP-complete, so {xn}  GP converges to some point z∈X with Gp(z,z,z)=0, that is,
(2.58)limn→+∞Gp(xn,z,z)=limn→∞Gp(xn,xn,z)=GP(z,z,z)=0.
Now, we suppose that the following inequality holds:(2.59)13Gp(x,fx,fx)≥Gp(x,y,y),13Gp(fx,f2x,f2x)≥Gp(fx,y,y),
for some x,y∈X. Then, by Proposition 1.3 (iii) and (2.55), we have
(2.60)Gp(x,fx,fx)≤Gp(x,y,y)+2Gp(fx,y,y)≤13Gp(x,fx,fx)+23Gp(fx,f2x,f2x)≤13Gp(x,fx,fx)+2r3Gp(x,fx,fx)<Gp(x,fx,fx)
which is a contradiction. Thus, for all x,y∈X, either
(2.61)13Gp(x,fx,fx)<Gp(x,y,y)or13Gp(fx,f2x,f2x)<Gp(fx,y,y)
holds. Therefore, either
(2.62)13Gp(x2n,x2n+1,x2n+1)≤Gp(x2n,z,z)or13Gp(x2n+1,x2n+2,x2n+2)≤Gp(x2n+1,z,z)
holds for every n∈ℕ.
On the other hand, by (2.54), it follows that
(2.63)Gp(x2n+1,fz,fz)≤αGp(x2n,z,z)+βGp(x2n,x2n+1,x2n+1)+γGp(z,fz,fz),Gp(x2n+2,fz,fz)≤αGp(x2n+1,z,z)+βGp(x2n+1,x2n+2,x2n+2)+γGp(z,fz,fz).
If we take the limit as n→∞ in each of these inequalities, having in mind (2.58), (2.62), and applying Lemma 2.9, then we get (1-γ)Gp(z,fz,fz)≤0, that is, z=fz. The uniqueness of the fixed point follows easily from (2.54).
As a consequence of Theorem2.10, we may state the following corollaries.Corollary 2.11.
Let(X,Gp) be a 0-GP-complete GP-metric space and f be a self-mapping on X. Assume that
(2.64)13Gp(x,fx,fx)<Gp(x,y,y)impliesGp(fx,fy,fy)≤rGp(x,fx,fx)
for all x,y∈X, where 0≤r<1. Then f has a unique fixed point.Corollary 2.12.
Let(X,Gp) be a 0-GP-complete GP-metric space and f be a self-mapping on X. Assume that
(2.65)13Gp(x,fx,fx)<Gp(x,y,y)impliesGp(fx,fy,fy)≤rGp(y,fy,fy)
for all x,y∈X, where 0≤r<1. Then f has a unique fixed point.


## 3. Conclusion

In [43], Zand and Nezhad initiated the notion of a GP-metric space. Also, they studied fully its topology. Based on this new space, in this paper we present some fixed point results for self mappings involving different contractive conditions. They are illustrated by some examples. The presented theorems are the first results in fixed point theory on GP-metric spaces.



---

*Source: 891713-2012-10-18.xml*