 Open Access
 Total Downloads : 153
 Authors : Mansoor Elshiekh Hassan Osman
 Paper ID : IJERTV6IS060236
 Volume & Issue : Volume 06, Issue 06 (June 2017)
 Published (First Online): 10072017
 ISSN (Online) : 22780181
 Publisher Name : IJERT
 License: This work is licensed under a Creative Commons Attribution 4.0 International License
Fixed Point Theorem for Mappings Satisfying Implicit Relation on bgeneralized Metric Spaces
M.E. Hassan
Assistant Professor, Department of Mathematics,
College of Science and Arts, Taif University, Rania, Saudi Arabia
Abstract – A fixed point theorem in bgeneralized metric spaces is proved. The obtained result can be considered as a generalization of some wellknown fixed point theorems in generalized metric spaces.
Keywords: Fixed point, generalized metric space: bmetric space, implicit relation, bgeneralized metric space.

INTRODUCTION
The concept of bmetric space was introduced by Bakhtin [1] in1989, who used it to prove a
generalization of the Banach principle in spaces endowed with such kind of metric. Since then, this notion has been used by many authors to obtain various fixed point theorems. Aydi et al, in [2] proved common fixed point results for singlevalued and
multivalued mappings satisfying
contractions
in bmetric spaces. Roshan et al, in [3] used the notation of almost
generalized contractive mappings in ordered complete bmetric space and established some fixed and common fixed point
results. In [4] Pacurar proved the existence and uniqueness of fixed point of contractions
on bmetric spaces. Hussain and
shah in [5] introduced the notation of cone bmetric space, generalizing both notations of bmetric spaces and cone metric spaces. Fixed point theorems of contractive mappings in cone bmetric spaces without assumption of the normality of a corresponding cone are proved by Huang and Xu in [6]. The setting of partially ordered bmetric spaces was used by Husain et al, in [7]to study tripled coincidence points of mappings which satisfy nonlinear contractive conditions, extending those results of Berinde and Borcut [8] for metric spaces to bmetric spaces. Using the concept of a gmonotone mapping, Shah and Hussain in [9] proved common fixed point theorems involving gnondecreasing mappings in bmetric spaces.
In recent years Popa [10] have used implicit function rather than
contraction conditions to prove fixed point theorems in metric spaces. Implicit function can cover several contraction conditions. Implicit relation on metric spaces have been used in many articles, (see e.g. [11], [12], [13], [14], [15]).
In 2000 Branciari [16] introduced the concept of generalized metric
space (gms). Every metric space is a generalized metric space, but the converse need not be true [17]. Starting with the paper of Branciari [16], some classical metric fixed point theorems have been transferred to gms (see [18], [19], [20], [21], [22], [23]).
In [17] Gjino et al obtained result as an extension and generalization
of some wellknown fixed point theorems from metric spaces to generalized metric spaces, in this paper we generalized the main result in [17] from generalized metric spaces to b generalized metric spaces.

PRELIMINARIES
Definition 2.1. Let X be nonempty set and d : X X [0, ) .A function d is called bmetric with constant (base)
(1) d(x, y) 0 x y

d(x, y) d( y, x) for all x, yX

d(x, y) s[d(x, z) d(z, y)] for all x, y,z X
s 1 if:
The pair ( X , d ) is called bmetric space.
It is obvious that a bmetric space with base s 1is a metric space. (see, e.g., Singh and Prasad [24]).
Definition 2.2. Let X be nonempty set and
d : X 2 R
a mapping such that for all
x, y X
and for all distinct points
z, w X
each of them different from x and y , then d is called generalized metric if:
(1) d(x, y) 0 x y

d(x, y) d( y, x) for all x, yX

d(x, y) d(x, z) d(z, w) d(w, y) (tetrahedral inequality)
If d is a generalized metric, the pair ( X , d ) is called generalized metric space.
Definition 2.3. Let X be nonempty set and
d : X 2 R
a mapping such that for all
x, y X
and for all distinct points
z, w X
each of them different from x and y , then d is called bgeneralized metric with constant (base)
s 1 if:
(1) d(x, y) 0 x y

d(x, y) d( y, x) for all x, yX

d(x, y) s[d(x, z) d(z, w) d(w, y)] (tetrahedral inequality)
If d is bgeneralized metric, the pair ( X , d ) is called bgeneralized metric space
It is obvious that a bgeneralized metric with base s 1is a bgeneralized metric space.
Definition 2.4. [25]. Let T be a self mapping of a metric space ( X , d ) . If for all
x X
every Cauchy sequence of the orbit
X
O (T ) {x,Tx,Tx2 ,…} is convergent in X , then the metric space ( X , d ) is said Torbitally complete.
Every complete metric space is Torbitally complete for any T : X X . An orbitally complete space may not be complete metric space [26].
We introduced a class of implicit relations which will give a general character to the main result theorem 3.1.
Definition 2.5. The set of all upper semicontinuous functions with 5 variables

f is non decreasing in respect with each variable.
f : R 5
R satisfying the properties:

f (t,t,t,t,t) t , t R
will be noted F5 and every such function will be called F5 function. Some examples of F5 function as follows:
(1) f (t1,t2 ,t3 ,t4 ,t5 ) max{t1, t2 , t3 , t4 , t5}
p
(2) f (t1,t2 ,t3 ,t4 ,t5 ) max{t1t2 , t2t3 , t3t4, t4t5 , t5t1}
f (t ,t ,t ,t ,t )
p p p p 1p 0
(3)
1 2 3 4 5
[max{t1 , t2 , t3 , t4 , t5 }] , p 

f (t ,t ,t ,t ,t ) [a t p a t p a t p a t p a t p ] 1p , where p 0 and 0 5
a 1
1 2 3 4 5
1 1 2 2
3 3 4 4 5 5
i
i1
f (t ,t ,t ,t ,t ) t t t or f (t ,t ,t ,t ,t ) t1 t2 , ect.
1 2 3 4 5 3 1 2 3 4 5 2
.The notions of a convergent sequence and a Cauchy sequence are defined by Boriceanu [27].
Definition 2.6. Let {xn }be a sequence in a bgeneralized metric space
( X , d ) , it is called convergent if and only if there is
x X
such that d(xn , x) 0
when n . {xn }is called a Cauchy sequence if and only if d(xm , xn ) 0 when m, n . A bgeneralized metric space is said to be complete if and only if every Cauchy sequence in this space is convergent.
Definition 2.7. Let
( X , d ) and
( X ' , d ' )
be two bgeneralized metric spaces with constant (base) s and
s' respectively. A
n
mapping T : X X ' is called continuous if for each sequence {x } in X which converges to
n
Tx converges to Tx with respect to d '
x X with respect to d , then


MAIN RESULTS
Theorem3.1. Let ( X , d ) be bgeneralized metric space with constant (base) s 1 and T a self of mapping of X satisfying the condition
d(x , x
) scf [d(x, y),d(x,Tx),d( y,Ty),d( y,Tx),d( y,T 2 x)
(1)
n
for all
.
m
x, y X , where 0 c 1, and 0 sc 1. If ( X , d ) is T orbitall
complete, then T has a unique fixed point in X
Proof: Choose any
x0 X . Define the sequence (xn ) inductively as follows:
xn Txn1, n N
. By condition (1) ,
d (x , x
) d (Tx
,Tx ) scf [d (x
, x ), d (x
,Tx
), d (x ,Tx ), d (x ,Tx
), d (x ,T 2 x )]
n n1
n1 n
n1 n
n 1
n1 n n
n n1
n n1
scf [d (xn1, xn ), d (xn1, xn ), d (xn , xn1),0, d (xn , xn1)] scd (xn 1, xn )
and so
d(xn , xn1) scd(xn1, xn ),
n N
(2)
d(x , x ) scnd(x , x ) (sc)n d(x , x ),
n N
(3)
n n1 0 1 0 1
And so
lim d(xn , xn1) 0
n
(4)
By condition (1) and (3) we have
d (x , x
) d (Tx
,Tx
) scf [d (x , x
), d (x
,Tx
), d (x
,Tx
), d (x
,Tx
), d (x
,T 2 x )]
n n 2
n 1
n 1
n 1 n 1
n 1
n 1
n 1
n 1
n 1
n 1
n 1
n 1
scf [d (xn 1, xn 1 ), d (xn 1, xn ), d (xn 1, xn 2 ), d (xn 1, xn ),0]
sc max[ d (x , x ),(sc)n 1 d (x , x ),(sc)n 1 d (x , x ),(sc)n d (x , x )]
n 1
n 1 0 1
0 1 0 1
max[ scd (x , x ), (sc)n d (x , x )]
(5)
n 1 n 1 0 1
Again by condition (1) and (3) we have
d(x , x ) d(Tx ,Tx ) max[ scd(x , x ), (sc)n1d(x , x )] Using (6) in (5) we have 
(6) 

d (x , x ) d (Tx ,Tx ) max[ scd (x , x ), (sc)n d (x , x )] max{ s2c2d (x , x ),(sc)n d (x , x ),(sc)n d (x , x )} max{(sc)2 d (x , x ),(sc)n d (x , x )} 
(7) 

Again by condition (1) and (3) we have 

d(x , x ) d(Tx ,Tx ) max[ scd(x , x ), (sc)n2 d(x , x )] 
(8) 

Using (8) in (7) we have 

d(x , x ) max[( sc)3d(x , x ), (sc)n d(x , x )] 
(9) 

Continue in this process we can write 

d(x , x ) max[( sc)n d(x , x ), (sc)n d(x , x )] 
(10) 
n1
n1
n2 n
n2 n 0 1
n n 2
n 1
n1
n 1
n 1 0 1
n2 n
0 1 0 1
n2 n 0 1
n2 n
n2 n
n3
n1 0 1
n n2
n3
n1 0 1
n n2
0 2 0 1
And so
d(x , x
) (sc)n l ,
n N
n n2
where l max[ d(x0 , x2 ), d(x0 , x1)]
we divide the proof into two cases:
Case I: Suppose
x x
for some n
p, q N, p q . Let
p q . Then
T px
T p qT q x
T qx
. i.e.
T n
p q 0 0 0
where
n p q and T q x
. Now if n 1 by (3) we have
0
d(,T) scnd(T n,T n1) (sc)n d(,T)
Since 0 sc 1, d(,T) 0 . So T and hence is a fixed point of T .
Case II: Assume that x x for all n m . Then (x ) (T n x ) is a sequence of distinct point and for that m n 1, we
n m n 0
have:
(*) If m 2 and odd we can write m 2k 1, k 1(by rectangular property) we can show that
n n m n n 1 n 1 n 2 n 2 n 3 n 2k n 2k 1
d (x , x ) (sc)n[d (x , x ) d (x , x ) d (x , x ) … d (x , x )
(sc)n
l (sc)
n 1
l (sc)
n 2
l … (sc)
n 2k
l (sc)n l
1 (sc)2k 1
1 sc
(sc)n
l
1 sc
(**) If m 2 and even we can write m 2k , k 2 by using the same arguments as before we can get
n n m n n 2 n 2 n 3 n 3 n 4 n 2k 1 n 2k
d (x , x ) (sc)n[d (x , x ) d (x , x ) d (x , x ) … d (x , x )
(sc)n
l (sc)
n 1
l (sc)
n 2
l … (sc)
n 2k
l (sc)n l
1 (sc)2k 1
1 sc
(sc)n
l
1 sc
Thus combining all the cases we have d (x , x
) (sc)n l
for all n, m N .
n n m
1 sc
Therefore, lim d (xn , xnm ) 0 .It implies that (xn ) is a Cauchy sequence in X .
n
Since
(X ,d) is T – orbitaly
n
lim x
n
(11)
complete, there exists a X
such that
To show the limit is unique, assume that /
,and lim x
/ .
n n
Since at
xn xm
,for all at
n m
, exist a subsequence (x )
n
k
,of (xn ) , such that xn
and
x / for all
n
k
k N .
k
Without lost of generality, assume that
(xn ) is this subsequence. Then by Tetrahedral property of Definition 1.1 we obtain
d(, / ) (sc)[d(, x ) d(x , x ) d(x
, / ) ]
n n n1 n1
Letting n we get d (, / ) 0 , and so / .
nk
To prove is a fixed point of all T , suppose / , then there exist a subsequence (x
n
n
) ,of (x ) , such that x
k
T
n
and x
k
for all k N . Then by Tetrahedral property of Definition 1.1 we obtain
k k k k
d(,T) (sc)[d(, xn 1) d(xn 1, xn 1) d(xn 1,T) ]
Then if k we get
n
d(,T ) lim d(x
k
From (1) we have
,T )
k
(12)
d (x ,T ) d (Tx
,T ) scf [d (x
, ), d (x
,Tx
), d ( ,T ), d ( ,Tx
), d ( ,T 2 x )]
n n1
n1
n1
n1
n1
n1
scf [d (xn1, ), d (xn1, xn ), d ( ,T ), d ( , xn ), d ( , xn1)])
Letting n we get
d(xn ,T) d(Txn1,T) scf [0,0, d(,T),0,0]) sc(,T)
From (12) and (13) we have
d(,T ) lim d(xn ,T ) lim d(xn ,T ) scd(,T )
(13)
k k n
Since 0 sc 1 , we have
d (,T) 0
. So is a fixed point of T .
To prove uniqueness of (for case I and II in the same time). Assume that so (1)
/ is also is a fixed point of a T . From and
d(, / ) d(T,T / ) sc[d(,T),0,0, d( / ,), d( /) scd(, / )
Since 0 sc 1 , we have // / 0 . This complete the proof of the theorem.
4. Corollaries
For different f in Theorem 3.1 we get different theorems, same as for Theorem 2.1 in [17].
Corollary 4.1. Let ( X , d ) be bgeneralized metric space with constant (base) s 1 and T a self of mapping of X satisfying the condition
d(x , x
) scmax[ d(x, y),d(x,Tx),d( y,Ty),d( y,Tx),d( y,T 2 x)
n
for all
.
m
x, y X , where 0 c 1, and 0 sc 1. If ( X , d ) is T orbitall
complete, then T has a unique fixed point in X
Corollary 4.2. For
f (t1,t2 ,t3 ,t4 ,t5 ) t1 we have the Banach's Contraction principle in bgeneralized metric space.
Corollary 4.3. For
f (t , t , t , t , t ) t2 t3
we have the Kannan's Contraction principle in bgeneralized metric space.
1 2 3 4 5 2
Corollary 4.4. For
f (t1,t2 ,t3 ,t4 ,t5 ) max{t2 ,t3} we have an extension and generalization of Bianchini's Contraction principle
in bgeneralized metric space.
REFERENCES

IA. Bakhtin: The contraction mapping principle in almost metric spaces. Functional Analysis, pp.2637. Ul'yanovsk Gos. Ped. Inst. Ul'yanovsk (1989).

H. Aydi, MF. Bota, E. Karapinar, S. Moradi: A common fixed point for weak contraction on bmetric spaces. Fixed Point
Theory. 13(2), 337346 (2012).

JR. Roshan, V. Parvaneh, S. Sedghi, N. Shobkolaei, W. Shatanawi: Common fixed points of almost generalized
( ,)s contractive mappings in ordered b metric spaces. Fixed Point Theory Appl.. 2013, Article ID 130 (2013).

M. Pacurar: A fixed point result for contractions on bmetric spaces without boundness assumption. Fasc. Math.. 43(1), 127 136 (2010).

N. Hussain, MH. Shah: KKM mappings in cone bmetric spaces. Comput. Math. App.. 61(4), 16771684 (2011).

H. Huang, S. Xu: Fixed point theorems of contractive mappings in cone bmetric spaces and applications. Fixed Point Theory Appl.. 2013, Article ID112 (2013).

N. Hussain, N. Doric, Z. Kadelburg, S. Radenovic: Suzukitype fixed point results in metric type spaces. Fixed Point Theory Appl.. 2012, Article ID126 (2012).

V. Berinde, M. Borcut: Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces. Nonlinear Anal.. 74(15), 48894897 (2011).

MH. Shah, N. Hussain,: Nonlinear contractions in partially ordered quasi bmetric spaces. Commun. KoreanMath. Soc..27, 117128 (2012). [10] V. Popa: A fixed point theorem for mapping in dcomplete topological spaces. Math.Moravica 3, 4348 (1999).

I. Altun, H. A. Hancer and D. Turkoglu, A fixed point theorem for multimaps satisfying an implicit relation on metrically convex metric spaces, Mathematical Communications, 11 (2006), 1723.

M. Imdad, S. Kumar and M. S. Khan, Remarks on some fixed point theorems satisfying implicit relations, Rad. Math., 11(1), (2002), 135143.

V. Popa, A general coincidence theorem for compatible multivalued mappings satisfying an implicit relation, Demonsratio Math., 33(1), (2000), 159164.

V. Popa, Some fixed point theorems for compatible mappings satisfying an implicit relation, Demonsratio Math., 32(1) (1999), 157163.

S. Sharma and B. Desphande, On compatible mappings satisfying an implicit relation in common fixed point consideration, Tamkang J. Math., 33(3) (2002), 245252.

A. Branciari: A fixed point theorem of BanachCaccippoli type on a class of generalized metric spaces, Publ. Math. Debrecen, 57(2000),3137.

K. Gjino, L. Kikina, K. Kikina: Fixed point theorem for mappings satisfying implicit relation on generalized metric spaces. Int. Journal of Math. Analysis, Vol. 6, 2012,no. 43, 21092115.

A. Azam, M. Arshad: Kannan fixed point theorem on generalized metric spaces. J. Nonlinear Sci.Appl., 1(2008) no.1, 4548.

P. Das: A fixed point theorem on a class generalized metric space, Soochow. Journal of Mathematics, 1(2002), 2933.

P. Das, L. K. Dey: A fixed point theorem in a generalized metric space, Korean J. Math. Sciences, 33(2007), 3339.

L. Kikina, K. Kikina: A fixed point theorem in a generalized metric spaces, Demonstratio Mathematica. In Press.

L. Kikina, K. Kikina: Fixed points on two generalized metric spaces, Int. Journal of Math. Analysis, Vol. 5, 2011,no. 30, 14591467.

I.R. Sharma, J.M. Rao, S.S. Rao: Contractions over generalized metric spaces. J. Nonlinear Sci.Appl., 2(2009) no.3, 180182.

S.L. Singh, B. Prasad: Som coincidence theorems and stability of iterative procedures. Comput. Math. Appl.. 55, 25122520(2008).

L. Ciric: On some maps with nonunique fixed points. Pub. Just. Math. (Beograd), 13(31), (1974) 5258.

D.Turkoglu, O. Ozer, B. Fisher: Fixed point theorems for Torbitally complete spaces, Stud. Cerc. St. Sir. Mat. , Univ. Bacau, 9(1999) 211218.

M. Boriceanu: Strict fixed point theorems for multivalued operator in bmetric spaces. Int. J. Mod. Math.. 4(3)285301 (2009)