Some Fixed Point Theorem for Mapping on Complete G-Metric Spaces

Volume 2008, Article ID 189870,12pages doi:10.1155/2008/189870

Research Article

Some Fixed Point Theorem for Mapping on Complete G-Metric Spaces

Zead Mustafa, Hamed Obiedat, and Fadi Awawdeh

Department of Mathematics, The Hashemite University, P.O. Box 330127, Zarqa 13115, Jordan

Correspondence should be addressed to Zead Mustafa,[email protected] Received 1 April 2008; Accepted 10 July 2008

Recommended by Brailey Sims

We prove some fixed point results for mapping satisfying sufficient conditions on completeG- metric space, also we showed that if theG-metric spaceX, Gis symmetric, then the existence and uniqueness of these fixed point results follow from well-known theorems in usual metric space X, dG, whereX, dGis the usual metric space which defined from theG-metric spaceX, G.

Copyrightq2008 Zead Mustafa 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.

1. Introduction

During the sixties, the notion of 2-metric space introduced by G¨ahler see 1, 2 as a generalization of usual notion of metric spaceX, d. But different authors proved that there is no relation between these two functions, for instance, Ha et al. in3show that 2-metric need not be continuous function, further there is no easy relationship between results obtained in the two settings.

In 1992, Bapure Dhage in his Ph.D. thesis introduce a new class of generalized metric space calledD-metric spaces4,5.

In a subsequent series of papers, Dhage attempted to develop topological structures in such spacessee5–7. He claimed thatD-metrics provide a generalization of ordinary metric functions and went on to present several fixed point results.

But in 2003 in collaboration with Brailey Sims, we demonstrated in8that most of the claims concerning the fundamental topological structure ofD-metric space are incorrect, so, we introduced more appropriate notion of generalized metric space as follows.

Definition 1.1see9. Let X be a nonempty set, and letG :X×X×X → Rbe a function satisfying the following properties:

G1Gx, y, z 0 ifx y z;

G20< Gx, x, y; for allx, y∈X,withx /y;

G3Gx, x, y≤Gx, y, z,for allx, y, z∈X,withz /y;

G4Gx, y, z Gx, z, y Gy, z, x · · ·,symmetry in all three variables;

G5Gx, y, z≤Gx, a, a Ga, y, z, for allx, y, z, a∈X,rectangle inequality.

Then the function G is called a generalized metric, or, more specifically, aG-metric onX, and the pairX, Gis called aG-metric space.

Definition 1.2see9. LetX, Gbe aG-metric space, and letxnbe sequence of points of X, a pointx∈Xis said to be the limit of the sequencexn, if lim_n,m→∞Gx, xn, xm 0, and one says that the sequencexnisG-convergent tox.

Thus, that ifxn→xin aG-metric spaceX, G, then for any >0,there existsN∈N such thatGx, xn, xm< , for alln, m≥N.

Proposition 1.3see9. LetX, Gbe aG-metric space, then the following are equivalent.

1 xnisG-convergent tox.

2Gxn, xn, x→0, asn→ ∞.

3Gxn, x, x→0, asn→ ∞.

4Gxm, xn, x→0, asm, n→ ∞.

Definition 1.4see9. LetX, Gbe aG-metric space, a sequencexnis calledG-Cauchy if for every > 0, there isN ∈ N such thatGxn, xm, xl < ,for alln, m, l ≥ N; that is, if Gxn, xmxl→0 asn, m, l→ ∞.

Proposition 1.5see8. IfX, Gis aG-metric space, then the following are equivalent.

1The sequencexnisG-Cauchy.

2For every >0,there existsN∈N such thatGxn, xm, xm< ,for alln, m≥N.

Definition 1.6see9. LetX, GandX, Gbe twoG-metric spaces, and letf :X, G → X, Gbe a function, thenf is said to beG-continuous at a pointa∈ Xif and only if, given >0, there existsδ >0 such thatx, y∈X; andGa, x, y< δimpliesGfa, fx, fy< . A functionfisG-continuous atXif and only if it isG-continuous at alla∈X.

Proposition 1.7see9. LetX, G,X, Gbe twoG-metric spaces. Then a functionf:X→X isG-continuous at a pointx∈Xif and only if it isGsequentially continuous atx; that is, whenever xnisG-convergent tox,fxnisG-convergent tofx.

Definition 1.8 see 9. A G-metric space X, G is called symmetric G-metric space if Gx, y, y Gy, x, xfor allx, y∈X.

Proposition 1.9 see9. LetX, Gbe a G-metric space, then the function Gx, y, zis jointly continuous in all three of its variables.

Proposition 1.10see8. EveryG-metric spaceX, Gwill define a metric spaceX, dGby dGx, y Gx, y, y Gy, x, x, ∀x, y∈X. 1.1 Note that ifX, Gis a symmetricG-metric space, then

dGx, y 2Gx, y, y, ∀x, y∈X. 1.2

However, ifX, Gis not symmetric, then it holds by theG-metric properties that 3

2Gx, y, y≤dGx, y≤3Gx, y, y, ∀x, y∈X, 1.3 and that in general these inequalities cannot be improved.

Definition 1.11see9. A G-metric spaceX, Gis said to beG-complete or completeG- metricif everyG-Cauchy sequence inX, GisG-convergent inX, G.

Proposition 1.12 see 9. A G-metric space X, G is G-complete if and only ifX, dG is a complete metric space.

2. Main results

Here we start our work with the following theorem.

Theorem 2.1. LetX, Gbe a completeG-metric space, and letT :X →Xbe a mapping satisfying one of the following conditions:

GTx, Ty, Tz≤{aGx, y, zbGx, Tx, TxcGy, Ty, TydGz, Tz, Tz}

2.1 or

GTx, Ty, Tz≤ {aGx, y, z bGx, x, Tx cGy, y, Ty dGz, z, Tz}

2.2 for allx, y, z∈Xwhere 0≤abcd <1, thenThas a unique fixed point (sayu, i.e.,Tu u), andT isG-continuous atu.

Proof. Suppose thatTsatisfies condition2.1, then for allx, y∈X, we have GTx, Ty, Ty≤aGx, y, y bGx, Tx, Tx cdGy, Ty, Ty,

GTy, Tx, Tx≤aGy, x, x bGy, Ty, Ty cdGx, Tx, Tx. 2.3 Suppose thatX, Gis symmetric, then by definition of metricX, dGand1.2, we get

dGTx, Ty≤adGx, y cdb

2 dGx, Tx cdb

2 dGy, Ty, ∀x, y∈X. 2.4 In this line, since 0 < abcd <1, then the existence and uniqueness of the fixed point follows from well-known theorem in metric spaceX, dG see10.

However, ifX, Gis not symmetric then by definition of metricX, dGand1.3, we get

dGTx, Ty≤adGx, y 2cdb

3 dGx, Tx 2cdb

3 dGy, Ty, 2.5 for allx, y ∈ X, then the metric condition gives no information about this map since 0 <

a2cdb/32cdb/3 need not be less than 1. But this can be proved byG-metric.

Letx0∈Xbe an arbitrary point, and define the sequencexnbyxn Tⁿx0. By2.1, we have

Gxn, x_n1, x_n1≤aGx_n−1, xn, xn bGx_n−1, xn, xn cdGxn, x_n1, x_n1, 2.6

then

Gxn, x_n1, x_n1≤ ab

1−cdGx_n−1, xn, xn. 2.7 Letq ab/1−cd, then 0≤q <1 since 0≤abcd <1.

So,

Gxn, xn1, xn1≤qGxn−1, xn, xn. 2.8

Continuing in the same argument, we will get

Gxn, xn1, xn1≤qⁿGx0, x1, x1. 2.9

Moreover, for alln, m∈N; n < m, we have by rectangle inequality that

Gxn, xm, xm≤Gxn, xn1, xn1Gxn1, xn2, xn2Gxn2, xn3, xn3· · ·Gxm−1, xm, xm

≤qⁿqⁿ¹· · ·q^m−1Gx0, x1, x1

≤ qⁿ

1−qGx0, x1, x1,

2.10 and so limGxn, xm, xm 0, as n, m → ∞. Thus xn isG-Cauchy sequence. Due to the completeness ofX, G, there existsu∈Xsuch thatxnisG-converge tou.

Suppose thatTu/u, then

Gxn, Tu, Tu≤aGx_n−1, u, u bGx_n−1, xn, xn cdGu, Tu, Tu, 2.11 taking the limit as n → ∞, and using the fact that the function G is continuous, then Gu, Tu, Tu≤cdGu, Tu, Tu. This contradiction implies thatu Tu.

To prove uniqueness, suppose thatu /vsuch thatTv v, then

Gu, v, v≤aGu, v, v bGu, Tu, Tu cdGv, Tv, Tv aGu, v, v, 2.12 which implies thatu v.

To show thatTisG-continuous atu, letyn⊆Xbe a sequence such that limyn u.

we can deduce that

Gu, Tyn, Tyn≤aGu, yn, yn bGu, Tu, Tu cdGyn, Tyn, Tyn

aGu, yn, yn cdGyn, Tyn, Tyn, 2.13 and since Gyn, Tyn, Tyn ≤ Gyn, u, u Gu, Tyn, Tyn, we have that Gu, Tyn, Tyn≤a/1−cdGu, yn, yn cd/1−cdGyn, u, u.

Taking the limit asn→ ∞, from which we see thatGu, Tyn, Tyn→0 and so, by Proposition 1.7,Tyn→u Tu. It is proved thatT isG-continuous atu.

IfT satisfies condition2.2, then the argument is similar to that above. However, to show that the sequencexnisG-Cauchy, we start with

Gxn, xn, x_n1≤aGx_n−1, x_n−1, xn bcGx_n−1, x_n−1, xn dGxn, xn, x_n1, 2.14 then

Gxn, xn, xn1≤ abc

1−d Gx_n−1, xn−1, xn. 2.15 Letq abc/1−d, then 0≤q <1 since 0≤abcd <1.

Continuing in the same way, we find that

Gxn, xn, xn1≤qⁿGx0, x0, x1. 2.16 Then for all n, m ∈ N; n < m, we have by repeated use of the rectangle inequality Gxn, xn, xm≤qⁿ/1−qGx0, x0, x1.

Corollary 2.2. LetX, Gbe a completeG-metric space and letT :X →Xbe a mapping satisfying one of the following conditions:

GT^mx, T^my, T^mz

≤

aGx, y, y bGx, T^mx, T^mx cGy, T^my, T^my dGz, T^mz, T^mz 2.17 or

GT^mx, T^my, T^mz≤

aGx, y, ybGx, x, T^mxcGy, y, T^mydGz, z, T^mz , 2.18 for allx, y, z∈X, where 0≤abcd <1. ThenT has a unique fixed point (sayu), andT^mis G-continuous atu.

Proof. From the previous theorem, we see thatT^mhas a unique fixed pointsayu, that is, T^mu u. ButTu TT^mu T^m1u T^mTu, soTuis another fixed point forT^m and by uniquenessTu u.

Theorem 2.3. LetX, Gbe a completeG-metric space, and letT :X →Xbe a mapping satisfying one of the following conditions:

GTx, Ty, Tz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, Tx, Tx, Gy, Ty, Ty, Gz, Tz, Tz

⎫⎪

⎪⎬

⎪⎪

⎭ 2.19

or

GTx, Ty, Tz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, x, Tx, Gy, y, Ty, Gz, z, Tz

⎫⎪

⎪⎬

⎪⎪

⎭, 2.20 for allx, y, z∈X, where 0≤k <1. ThenT has a unique fixed point (sayu), andT isG-continuous atu.

Proof. Suppose thatTsatisfies condition2.19, then for allx, y∈X, GTx, Ty, Ty≤kmax{Gx, Tx, Tx, Gy, Ty, Ty},

GTy, Tx, Tx≤kmax{Gy, Ty, Ty, Gx, Tx, Tx}. 2.21 Suppose thatX, Gis symmetric, then by definition of the metricX, dGand1.2we get

dGTx, Ty≤kmax{dGx, Tx, dGy, Ty}, ∀x, y∈X. 2.22 Sincek < 1, then the existence and uniqueness of the fixed point follows from a theorem in metric spaceX, dG see11.

However, ifX, Gis not symmetric, then by definition of the metricX, dGand1.3, we get

dGTx, Ty≤ 4k

3 max{dGx, Tx, dGy, Ty}, ∀x, y∈X. 2.23 The metric condition gives no information about this map since 4k/3 need not be less than 1, but we will proof it byG-metric.

Letx0 ∈ X be an arbitrary point, and define the sequencexnbyxn Tⁿx0. By 2.19, we can verify that

Gxn, xn1, xn1≤kmax{Gxn−1, xn, xn, Gxn, xn1, xn1}

kGx_n−1, xn, xn since 0≤k <1. 2.24 Continuing in the same argument, we will find

Gxn, x_n1, x_n1≤kⁿGx0, x1, x1. 2.25 For alln, m∈N; n < m, we have by rectangle inequality that

Gxn, xm, xm≤Gxn, xn1, xn1Gxn1, xn2, xn2Gxn2, xn3, xn3· · ·Gxm−1, xm, xm

≤kⁿkⁿ¹· · ·k^m−1Gx0, x1, x1

≤ kⁿ

1−kGx0, x1, x1.

2.26 Then, limGxn, xm, xm 0, asn, m → ∞, and thusxnisG-Cauchy sequence. Due to the completeness ofX, G, there existsu∈Xsuch thatxn→u.

Suppose thatTu/u, thenGx_n1, Tu, Tu≤kmax{Gx_n1, xn2, xn2, Gu, Tu, Tu}and by taking the limit asn→ ∞, and using the fact that the functionGis continuous, we get thatGu, Tu, Tu≤kGu, Tu, Tu. This contradiction implies thatu Tu.

To prove uniqueness, suppose that u /v such that Tv v, then Gu, v, v ≤ kmax{Gv, v, v, Gu, u, u} 0 which implies thatu v.

To show thatTisG-continuous atu, letyn⊆Xbe a sequence such that limyn u, then

Gu, Tyn, Tyn≤kmax{Gu, Tu, Tu, Gyn, Tyn, Tyn} kGyn, Tyn, Tyn. 2.27 But,Gyn, Tyn, Tyn≤Gyn, u, u Gu, Tyn, Tyn, thenGu, Tyn, Tyn≤k/1− kGyn, u, u.Taking the limit asn→ ∞, from which we see thatGu, Tyn, Tyn→0,and so byProposition 1.7,Tyn→u Tu. So,T isG-continuous atu

Corollary 2.4. LetX, Gbe a completeG-metric space and letT :X →Xbe a mapping satisfying one of the following conditions for somem∈N:

GT^mx, T^my, T^mz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, T^mx, T^mx, Gy, T^my, T^my, Gz, T^mz, T^mz

⎫⎪

⎪⎬

⎪⎪

⎭ 2.28 or

GT^mx, T^my, T^mz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, x, T^mx, Gy, y, T^my, Gz, z, T^mz

⎫⎪

⎪⎬

⎪⎪

⎭, 2.29

for allx, y, z∈X, thenThas a unique fixed point (sayu) andT^misG-continuous atu. Proof. We use the same argument as inCorollary 2.2.

Theorem 2.5. LetX, Gbe a completeG-metric space, and letT :X →Xbe a mapping satisfying one of the following conditions:

GTx, Ty, Ty≤kmax{Gx, Ty, Ty, Gy, Tx, Tx, Gy, Ty, Ty} 2.30 or

GTx, Ty, Ty≤kmax{Gx, x, Ty, Gy, y, Tx, Gy, y, Ty}, 2.31 for allx, y∈X, wherek ∈0,1. ThenThas a unique fixed point (sayu), andTisG-continuous at u.

Proof. Suppose thatTsatisfies condition2.30, then for allx, y∈X,

GTx, Ty, Ty≤kmax{Gx, Ty, Ty, Gy, Tx, Tx, Gy, Ty, Ty},

GTy, Tx, Tx≤kmax{Gx, Ty, Ty, Gy, Tx, Tx, Gx, Tx, Tx}. 2.32 Suppose thatX, Gis symmetric, then by definition of the metricX, dGand1.2, we have.

dGTx, Ty≤ k 2max

⎧⎪

⎪⎨

⎪⎪

⎩

dGx, Ty, dGy, Tx, dGy, Ty

⎫⎪

⎪⎬

⎪⎪

⎭k 2max

⎧⎪

⎪⎨

⎪⎪

⎩

dGx, Ty, dGy, Tx, dGx, Tx

⎫⎪

⎪⎬

⎪⎪

⎭

≤kmax{dGx, Ty, dGy, Tx, dGx, Tx, dGy, Ty}, ∀x, y∈X.

2.33

Since 0≤k <1, then the existence and uniqueness of the fixed point follows from a theorem in metric spaceX, dG see12.

However, ifX, Gis not symmetric, then by definition of the metricX, dGand1.3, we have

dGTx, Ty≤ 2k 3 max

⎧⎪

⎪⎨

⎪⎪

⎩

dGx, Ty, dGy, Tx, dGy, Ty

⎫⎪

⎪⎬

⎪⎪

⎭2k 3 max

⎧⎪

⎪⎨

⎪⎪

⎩

dGx, Ty, dGy, Tx, dGx, Tx

⎫⎪

⎪⎬

⎪⎪

⎭, 2.34

for allx, y∈X, then the metric spaceX, dGgives no information about this map since 4k/3 need not be less than 1. But we will proof it byG-metric.

Letx0 ∈ X be arbitrary point, and define the sequencexnbyxn Tⁿx0, then by 2.30and usingk <1, we deduce that

Gxn, x_n1, x_n1≤kmax{Gx_n−1, x_n1, x_n1, Gxn, x_n1, x_n1} kGx_n−1, x_n1, x_n1. 2.35 So,

Gxn, xn1, xn1≤kGx_n−1, xn1, xn1, 2.36 and using

Gxn−1, xn1, xn1≤kmax{Gxn−2, xn1, xn1, Gxn, xn−1, xn−1, Gxn, xn1, xn1}, 2.37 then,

Gxn, xn1, xn1≤k²max{Gxn−2, xn1, xn1, Gxn, xn−1, xn−1}. 2.38 Continuing in this procedure, we will have

Gxn, xn1, xn1≤kⁿΓn, 2.39

whereΓn max{Gxi, xj, xj; for alli, j∈ {0,1, . . . , n1}}.

Forn, m∈N; n < m,letΓ max{Γi; for alli n, . . . , m−1}.

Then, for alln, m∈N; n < m, we have by rectangle inequality

Gxn, xm, xm≤Gxn, xn1, xn1Gx_n1, xn2, xn2Gx_n2, xn3, xn3· · ·Gx_m−1, xm, xm

≤kⁿΓnkⁿ¹Γn1· · ·k^m−1Γm−1

≤kⁿkⁿ¹· · ·k^m−1Γ

≤ kⁿ 1−kΓ.

2.40 This prove that limGxn, xm, xm 0, asn, m → ∞, and thusxnisG-Cauchy sequence.

SinceX, GisG-complete then there existsu∈Xsuch thatxnisG-converge tou.

Suppose thatTu/u, then

Gxn, Tu, Tu≤kmax{Gx_n−1, Tu, Tu, Gu, x_n1, xn1, Gu, Tu, Tu}. 2.41 Taking the limit as n → ∞, and using the fact that the function G is continuous, we get Gu, Tu, Tu≤kGu, Tu, Tu, this contradiction implies thatu Tu.

To prove the uniqueness, suppose thatu /vsuch thatTv v. So, by2.30, we have that

Gu, v, v≤kmax{Gu, v, v, Gv, u, u} ⇒Gu, v, v≤kGv, u, u. 2.42 Again we will findGv, u, u≤kGu, v, v, so

Gu, v, v≤k²Gu, v, v; 2.43

sincek <1, this implies thatu v.

To show thatTisG-continuous atu, letyn⊆Xbe a sequence such that limyn u, then

Gu, Tyn, Tyn≤kmax{Gu, Tyn, Tyn, Gyn, Tu, Tu, Gyn, Tyn, Tyn}.

2.44 But,Gyn, Tyn, Tyn ≤ Gyn, u, u Gu, Tyn, Tyn, so,Gu, Tyn, Tyn ≤ k/1− kGyn, u, u.

Taking the limit asn→ ∞, from which we see thatGu, Tyn, Tyn→0 and so, by Proposition 1.7, we haveTyn→u Tuwhich implies thatT isG-continuous atu.

Corollary 2.6. LetX, Gbe a completeG-metric space, and letT :X→X, be a mapping satisfying one of the following conditions:

GTx, Ty, Tz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, Ty, Ty, Gx, Tz, Tz, Gy, Tx, Tx, Gy, Tz, Tz, Gz, Tx, Tx, Gz, Ty, Ty

⎫⎪

⎪⎬

⎪⎪

⎭ 2.45 or

GTx, Ty, Tz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, x, Ty, Gx, x, Tz, Gy, y, Tx, Gy, y, Tz, Gz, z, Tx, Gz, z, Ty

⎫⎪

⎪⎬

⎪⎪

⎭, 2.46 for allx, y, z∈Xwherek∈0,1, thenThas a unique fixed point (sayu) andT isG-continuous at u.

Proof. If we letz yin conditions2.45and2.46, then they become conditions2.30and 2.31, respectively, inTheorem 2.5; so the proof follows fromTheorem 2.5.

Corollary 2.7. LetX, Gbe a completeG-metric space and letT :X →Xbe a mapping satisfying one of the following conditions:

GT^mx, T^my, T^mz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, T^my, T^my, Gx, T^mz, T^mz, Gy, T^mx, T^mx, Gy, T^mz, T^mz, Gz, T^mx, T^mx, Gz, T^my, T^my

⎫⎪

⎪⎬

⎪⎪

⎭,

GT^mx, T^my, T^mz≤kmax

⎧⎪

⎪⎨

⎪⎪

⎩

Gx, x, T^my, Gx, x, T^mz, Gy, y, T^mx, Gy, y, T^mz, Gz, z, T^mx, Gz, z, T^my

⎫⎪

⎪⎬

⎪⎪

⎭,

GT^mx, T^my, T^my≤kmax{Gx,T^my,T^my, Gy,T^mx,T^mx, Gy,T^my,T^my}, 2.47 or,

GT^mx, T^my, T^my≤kmax{Gx, x, T^my, Gy, y, T^mx, Gy, y, T^my}, 2.48 for allx, y, z∈X, for somem∈N, wherek∈0,1, thenThas a unique fixed point (sayu), andT^m isG-continuous atu.

Proof. The proof follows from Theorem 2.5,Corollary 2.6, and from an argument similar to that used inCorollary 2.2.

Theorem 2.8. LetX, Gbe a completeG-metric space, and letT :X →Xbe a mapping satisfying one of the following conditions:

GTx, Ty, Ty≤kmax{Gx, Ty, Ty, Gy, Tx, Tx} 2.49 or

GTx, Ty, Ty≤kmax{Gx, x, Ty, Gy, y, Tx}, 2.50 for allx, y∈X, wherek∈0,1, thenThas a unique fixed point (sayu), andTisG-continuous atu.

Proof. Since whenever the mapping satisfies condition 2.49, or 2.50, then it satisfies condition 2.45, or 2.46, respectively, in Theorem 2.5. Then the proof follows from Theorem 2.5.

Theorem 2.9. LetX, Gbe a completeG-metric space, and letT :X→X, be a mapping satisfying one of these conditions

GTx, Ty, Ty≤a{Gx, Ty, Ty Gy, Tx, Tx} 2.51

or

GTx, Ty, Ty≤a{Gx, x, Ty Gy, y, Tx}, 2.52 for allx, y∈X, wherea∈0,1/2, thenThas a unique fixed point (sayu), andT isG-continuous atu.

Proof. Suppose thatTsatisfies condition2.51, then we have

GTx, Ty, Ty≤a{Gy, Tx, Tx Gx, Ty, Ty},

GTy, Tx, Tx≤a{Gx, Ty, Ty Gy, Tx, Tx}, 2.53 for allx, y∈X.

Suppose thatX, Gis symmetric, then by definition of the metricX, dGand1.2, we get

dGTx, Ty≤a{dGx, Ty dGy, Tx} ∀x, y∈X. 2.54 Since 0≤2a <1, then the existence and uniqueness of the fixed point follow from a theorem in metric spaceX, dG see13.

However, ifX, Gis not symmetric, then by definition of the metricX, dGand1.3, we have

dGTx, Ty≤ 4a

3 dGx, Ty 4a

3 dGy, Tx ∀x, y∈X. 2.55 So, the metric spaceX, dGgives no information about this map since 8a/3 need not be less than 1. But this can be proved byG-metric.

Letx0 ∈ X be arbitrary point, and define the sequencexnbyxn Tⁿx0, then by 2.51, we have

Gxn, xn1, xn1≤a{Gxn−1, xn1, xn1 Gxn, xn, xn} aGxn−1, xn1, xn1. 2.56

But

Gx_n−1, x_n1, x_n1≤aGx_n−1, xn, xn aGxn, x_n1, x_n1, 2.57

thus we have

Gxn, xn1, xn1≤ a

1−aGxn−1, xn, xn. 2.58 Let k a/1 −a, hence 0 ≤ k < 1 then continue in this procedure, we will get that Gxn, xn1, xn1≤kⁿGx0, x1, x1.

For alln, m∈N; n < m, we have by rectangle inequality

Gxn, xm, xm≤Gxn, x_n1, x_n1Gx_n1, x_n2, x_n2Gx_n2, x_n3, x_n3· · ·Gx_m−1, xm, xm

≤kⁿkⁿ¹· · ·k^m−1Gx0, x1, x1

≤ kⁿ

1−kGx0, x1, x1.

2.59 Then, limGxn, xm, xm 0, as n, m → ∞, and so, xn is G-Cauchy sequence. By completeness ofX, G, there existsu∈Xsuch thatxnisG-converge tou.

Suppose thatTu/u, then

Gxn, Tu, Tu≤a{Gxn−1, Tu, Tu Gu, xn, xn}. 2.60 Taking the limit as n → ∞, and using the fact that the function G is continuous, then Gu, Tu, Tu≤aGu, Tu, Tu. This contradiction implies thatu Tu.

To prove uniqueness, suppose that u /v such that Tv v, then Gu, v, v ≤ a{Gu, v, v Gv, u, u}, so

Gu, v, v≤

k a

1−a

Gv, u, u 2.61

again by the same argument, we can verify thatGu, v, v≤k²Gu, v, v,which implies that u v.

To show thatTisG-continuous atu, letyn⊆Xbe a sequence such that limyn u, then

Gu, Tyn, Tyn≤a{Gu, Tyn, Tyn Gyn, Tu, Tu}, 2.62 and soGu, Tyn, Tyn≤a/1−aGyn, Tu, Tu.

Taking the limit as n → ∞, from which we see that Gu, Tyn, Tyn → 0. By Proposition 1.7, we haveTyn→u Tuwhich implies thatT isG-continuous atu.

References

1 S. G¨ahler, “2-metrische R¨aume und ihre topologische Struktur,” Mathematische Nachrichten, vol. 26, pp. 115–148, 1963.

2 S. Gahler, “Zur geometric 2-metriche raume,” Revue Roumaine de Math´ematiques Pures et Appliqu´ees, vol. 40, pp. 664–669, 1966.

3 K. S. Ha, Y. J. Cho, and A. White, “Strictly convex and strictly 2-convex 2-normed spaces,” Mathematica Japonica, vol. 33, no. 3, pp. 375–384, 1988.

4 B. C. Dhage, “Generalized metric space and mapping with fixed point,” Bulletin of the Calcutta Mathematical Society, vol. 84, pp. 329–336, 1992.

5 B. C. Dhage, “Generalized metric spaces and topological structure. I,” Analele S¸tiint¸ifice ale Universit˘at¸ii Al. I. Cuza din Ias¸i. Serie Nou˘a. Matematic˘a, vol. 46, no. 1, pp. 3–24, 2000.

6 B. C. Dhage, “On generalized metric spaces and topological structure. II,” Pure and Applied Mathematika Sciences, vol. 40, no. 1-2, pp. 37–41, 1994.

7 B. C. Dhage, “On continuity of mappings in D-metric spaces,” Bulletin of the Calcutta Mathematical Society, vol. 86, no. 6, pp. 503–508, 1994.

8 Z. Mustafa and B. Sims, “Some remarks concerning D-metric spaces,” in International Conference on Fixed Point Theory and Applications, pp. 189–198, Yokohama, Yokohama, Japan, 2004.

9 Z. Mustafa and B. Sims, “A new approach to generalized metric spaces,” Journal of Nonlinear and Convex Analysis, vol. 7, no. 2, pp. 289–297, 2006.

10 S. Reich, “Some remarks concerning contraction mappings,” Canadian Mathematical Bulletin, vol. 14, pp. 121–124, 1971.

11 R. M. T. Bianchini, “Su un problema di S. Reich riguardante la teoria dei punti fissi,” Bollettino dell’Unione Matematica Italiana, vol. 5, no. 4, pp. 103–108, 1972.

12 Lj. B. ´Ciri´c, “A generalization of Banach’s contraction principle,” Proceedings of the American Mathematical Society, vol. 45, pp. 267–273, 1974.

13 S. K. Chatterjea, “Fixed-point theorems,” Doklady Bolgarsko˘ı Akademii Nauk. Comptes Rendus de l’Acad´emie Bulgare des Sciences, vol. 25, pp. 727–730, 1972.