Fixed Point Theorem for Mappings Satisfying Implicit Relation on b-generalized Metric Spaces

DOI : 10.17577/IJERTV6IS060236

Download Full-Text PDF Cite this Publication

Text Only Version

Fixed Point Theorem for Mappings Satisfying Implicit Relation on b-generalized 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 b-generalized metric spaces is proved. The obtained result can be considered as a generalization of some well-known fixed point theorems in generalized metric spaces.

Keywords: Fixed point, generalized metric space: b-metric space, implicit relation, b-generalized metric space.

  1. INTRODUCTION

    The concept of b-metric 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 single-valued and

    multi-valued mappings satisfying

    contractions

    in b-metric spaces. Roshan et al, in [3] used the notation of almost

    generalized contractive mappings in ordered complete b-metric space and established some fixed and common fixed point

    results. In [4] Pacurar proved the existence and uniqueness of fixed point of contractions

    on b-metric spaces. Hussain and

    shah in [5] introduced the notation of cone b-metric space, generalizing both notations of b-metric spaces and cone metric spaces. Fixed point theorems of contractive mappings in cone b-metric spaces without assumption of the normality of a corresponding cone are proved by Huang and Xu in [6]. The setting of partially ordered b-metric 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 b-metric spaces. Using the concept of a g-monotone mapping, Shah and Hussain in [9] proved common fixed point theorems involving g-non-decreasing mappings in b-metric 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 well-known 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.

  2. PRELIMINARIES

    Definition 2.1. Let X be nonempty set and d : X X [0, ) .A function d is called b-metric with constant (base)

    (1) d(x, y) 0 x y

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

    2. 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 b-metric space.

    It is obvious that a b-metric 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

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

    2. 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 b-generalized metric with constant (base)

    s 1 if:

    (1) d(x, y) 0 x y

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

    2. d(x, y) s[d(x, z) d(z, w) d(w, y)] (tetrahedral inequality)

      If d is b-generalized metric, the pair ( X , d ) is called b-generalized metric space

      It is obvious that a b-generalized metric with base s 1is a b-generalized 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 T-orbitally complete.

      Every complete metric space is T-orbitally 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 semi-continuous functions with 5 variables

      1. f is non decreasing in respect with each variable.

        f : R 5

        R satisfying the properties:

      2. 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

    3. 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 b-generalized 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 b-generalized 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 b-generalized 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

  3. MAIN RESULTS

Theorem3.1. Let ( X , d ) be b-generalized 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 b-generalized 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 b-generalized metric space.

Corollary 4.3. For

f (t , t , t , t , t ) t2 t3

we have the Kannan's Contraction principle in b-generalized 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 b-generalized metric space.

REFERENCES

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

  2. H. Aydi, MF. Bota, E. Karapinar, S. Moradi: A common fixed point for weak contraction on b-metric spaces. Fixed Point

    Theory. 13(2), 337-346 (2012).

  3. 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).

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

  5. N. Hussain, MH. Shah: KKM mappings in cone b-metric spaces. Comput. Math. App.. 61(4), 1677-1684 (2011).

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

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

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

  9. MH. Shah, N. Hussain,: Nonlinear contractions in partially ordered quasi b-metric spaces. Commun. KoreanMath. Soc..27, 117-128 (2012). [10] V. Popa: A fixed point theorem for mapping in d-complete topological spaces. Math.Moravica 3, 43-48 (1999).

  10. I. Altun, H. A. Hancer and D. Turkoglu, A fixed point theorem for multi-maps satisfying an implicit relation on metrically convex metric spaces, Mathematical Communications, 11 (2006), 17-23.

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

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

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

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

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

  16. 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, 2109-2115.

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

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

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

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

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

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

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

  24. L. Ciric: On some maps with non-unique fixed points. Pub. Just. Math. (Beograd), 13(31), (1974) 52-58.

  25. D.Turkoglu, O. Ozer, B. Fisher: Fixed point theorems for T-orbitally complete spaces, Stud. Cerc. St. Sir. Mat. , Univ. Bacau, 9(1999) 211-218.

  26. M. Boriceanu: Strict fixed point theorems for multi-valued operator in b-metric spaces. Int. J. Mod. Math.. 4(3)285-301 (2009)

Leave a Reply