Skip to main content

Some results in quasi-b-metric-like spaces

Abstract

In this paper, we introduce a new concept of quasi-b-metric-like spaces as a generalization of b-metric-like spaces and quasi-metric-like spaces. Some fixed point theorems are investigated in quasi-b-metric-like spaces. Moreover, an example is given to support one of our results.

MSC:47H10, 54H25.

1 Introduction and preliminaries

It is well known that the theoretical framework of metric fixed point theory has been an active research field and the contraction mapping principle is one of the most important theorems in functional analysis. Many authors have devoted their attention to generalizing metric spaces and the contraction mapping principle. In [1, 2], Matthews introduced the notion of partial metric space as a part of the study of denotational semantics of dataflow networks. The partial metric space is a generalization of the metric space. Many other generalized metric spaces, such as b-metric spaces [3], partial b-metric spaces [4], quasi-partial metric spaces [5], dislocated metric spaces [6] and b-dislocated metric spaces [7], were introduced. Fixed point theorems were studied in the above generalized metric spaces (see, e.g., [818] and the references therein).

The notion of metric-like spaces was introduced by Amini-Harandi in [19].

Definition 1.1 [19]

A mapping σ:X×X[0,+), where X is a nonempty set, is said to be metric-like on X if for any x,y,zX, the following three conditions hold true:

  • ( σ 1 ) σ(x,y)=0x=y;

  • ( σ 2 ) σ(x,y)=σ(y,x);

  • ( σ 3 ) σ(x,z)σ(x,y)+σ(y,z).

The pair (x,σ) is then called a metric-like space.

Recently, the concept of b-metric-like spaces, which is a new generalization of metric-like spaces and partial metric spaces, was introduced by Alghamdi et al. [20].

Definition 1.2 [20]

A b-metric-like on a nonempty set X is a function D:X×X[0,+) such that for all x,y,zX and a constant s1, the following three conditions hold true:

  • ( D 1 ) if D(x,y)=0 then x=y;

  • ( D 2 ) D(x,y)=D(y,x);

  • ( D 3 ) D(x,z)s[D(x,y)+D(y,z)].

The pair (x,D) is then called a b-metric-like space.

In [20], some concepts in b-metric-like spaces were introduced as follows.

Each b-metric-like D on X generalizes a topology τ D on X whose base is the family of open D-balls B D (x,ε)={yX:|D(x,y)D(x,x)|<ε} for all xX and ε>0.

A sequence { x n } in the b-metric-like space (X,D) converges to a point xX if and only if D(x,x)= lim n + D(x, x n ).

A sequence { x n } in the b-metric-like space (X,D) is called a Cauchy sequence if there exists (and is finite) lim n , m + D( x m , x n ).

A b-metric-like space is called to be complete if every Cauchy sequence { x n } in X converges with respect to τ D to a point xX such that lim n + D(x, x n )=D(x,x)= lim n , m + D( x m , x n ).

In [21], Zhu et al. introduced the concept of quasi-metric-like spaces and investigated some fixed point theorems in quasi-metric-like spaces.

Definition 1.3 [21]

Let X be a nonempty set. A mapping ρ:X×X[0,+) is said to be a quasi-metric-like on X if for any x,y,zX the following conditions hold:

(qρ1) ρ(x,y)=0x=y;

(qρ2) ρ(x,z)ρ(x,y)+ρ(y,z).

The pair (x,ρ) is then called a quasi-metric-like space.

In this paper, inspired by Definitions 1.2 and 1.3, we define a quasi-b-metric-like which generalizes the quasi-metric-like and b-metric-like. Furthermore, we investigate some fixed point theorems in quasi-b-metric-like spaces. Also, we give an example to illustrate the usability of one of the obtained results.

2 Main results

In this section, we begin with introducing the concept of a quasi-b-metric-like space.

Definition 2.1 A quasi-b-metric-like on a nonempty set X is a function b:X×X[0,+) such that for all x,y,zX and a constant s1, the following conditions hold true:

(qb1) b(x,y)=0x=y;

(qb2) b(x,z)s[b(x,y)+b(y,z)].

The pair (X,b) is then called a quasi-b-metric-like space. The number s is called to be the coefficient of (X,b).

Example 2.1 Let X={0,1,2}, and let

b(x,y)= { 2 , x = y = 0 , 1 2 , x = 0 , y = 1 , 2 , x = 1 , y = 0 , 1 2 , otherwise .

Then (X,b) is a quasi-b-metric-like space with the coefficient s=2, but since b(0,1)b(1,0), then (X,b) is not a b-metric-like space. It is obvious that (X,b) is not a quasi-metric-like space.

Definition 2.2 Let (X,b) be a quasi-b-metric-like space. Then

  1. (1)

    A sequence { x n } in (X,b) converges to a point xX if and only if

    lim n + b( x n ,x)= lim n + b(x, x n )=b(x,x).
  2. (2)

    A sequence { x n } in (X,b) is called a Cauchy sequence if lim n , m + b( x n , x m ) and lim n , m + b( x m , x n ) exist and are finite.

  3. (3)

    A quasi-b-metric-like space (X,b) is called to be complete if for every Cauchy sequence { x n } in (X,b), there exists some xX such that

    lim n + b( x n ,x)= lim n + b(x, x n )=b(x,x)= lim n , m + b( x n , x m )= lim n , m + b( x m , x n ).
  4. (4)

    A sequence { x n } in (X,b) is called a 0-Cauchy sequence if

    lim n , m + b( x n , x m )= lim n , m + b( x m , x n )=0.
  5. (5)

    A quasi-b-metric-like space (X,b) is called to be 0-complete if for every 0-Cauchy sequence { x n } in X, there exists some xX such that

    lim n + b( x n ,x)= lim n + b(x, x n )=b(x,x)=0= lim n , m + b( x n , x m )= lim n , m + b( x m , x n ).

It is obvious that every 0-Cauchy sequence is a Cauchy sequence in the quasi-b-metric-like space (X,b), and every complete quasi-b-metric-like space is a 0-complete quasi-b-metric-like space, but the converse assertions of these facts may not be true.

Remark 2.1 In Example 2.1, let x n =2 for n=1,2, , then it is clear that lim n + b( x n ,2)= lim n + b(2, x n )=b(2,2) and lim n + b( x n ,1)= lim n + b(1, x n )=b(1,1). Therefore, in quasi-b-metric-like spaces, the limit of a convergent sequence is not necessarily unique.

Now we prove our main results.

Theorem 2.1 Let (X,b) be a 0-complete quasi-b-metric-like space with the coefficient s1, and let f:X×XX be a mapping such that

b ( f ( x ) , f ( y ) ) φ ( b ( x , y ) )
(2.1)

for all x,yX, where φ:[0,+)[0,+) is a continuous mapping such that φ(t)=0 if and only if t=0 and φ(t)<t for all t>0. If n = 1 s n φ n (t) converges for all t>0, where φ n is the nth iterate of φ, then f has a unique fixed point. Moreover, for any x 0 X, the iterative sequence { f n ( x 0 )} converges to the fixed point.

Proof Let x 0 be an arbitrary point in X. From (2.1), we have

b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) φ ( b ( f n 1 ( x 0 ) , f n ( x 0 ) ) ) φ n ( b ( x 0 , f ( x 0 ) ) ) ,n>1
(2.2)

and

b ( f n + 1 ( x 0 ) , f n ( x 0 ) ) φ ( b ( f n ( x 0 ) , f n 1 ( x 0 ) ) ) φ n ( b ( f ( x 0 ) , x 0 ) ) ,n>1.
(2.3)

If b( x 0 ,f( x 0 ))=0 or b(f( x 0 ), x 0 )=0, then x 0 =f( x 0 ), which means that x 0 is a fixed point of f. Suppose that b( x 0 ,f( x 0 ))>0 and b(f( x 0 ), x 0 )>0. Now we show that { f n ( x 0 )} is a 0-Cauchy sequence. For any integer r Z + (the set of positive integers), the property (qb2) implies that

b ( f n ( x 0 ) , f n + r ( x 0 ) ) s [ b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) + b ( f n + 1 ( x 0 ) , f n + r ( x 0 ) ) ] s b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) + s 2 [ b ( f n + 1 ( x 0 ) , f n + 2 ( x 0 ) ) + b ( f n + 2 ( x 0 ) , f n + r ( x 0 ) ) ] s b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) + s 2 b ( f n + 1 ( x 0 ) , f n + 2 ( x 0 ) ) + s 3 [ b ( f n + 2 ( x 0 ) , f n + 3 ( x 0 ) ) + b ( f n + 3 ( x 0 ) , f n + r ( x 0 ) ) ] s b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) + s 2 b ( f n + 1 ( x 0 ) , f n + 2 ( x 0 ) ) + s 3 b ( f n + 2 ( x 0 ) , f n + 3 ( x 0 ) ) + + s r 1 b ( f n + r 2 ( x 0 ) , f n + r 1 ( x 0 ) ) + s r 1 b ( f n + r 1 ( x 0 ) , f n + r ( x 0 ) ) s b ( f n ( x 0 ) , f n + 1 ( x 0 ) ) + s 2 b ( f n + 1 ( x 0 ) , f n + 2 ( x 0 ) ) + s 3 b ( f n + 2 ( x 0 ) , f n + 3 ( x 0 ) ) + + s r 1 b ( f n + r 2 ( x 0 ) , f n + r 1 ( x 0 ) ) + s r b ( f n + r 1 ( x 0 ) , f n + r ( x 0 ) ) .
(2.4)

Equations (2.2) and (2.4) yield that

b ( f n ( x 0 ) , f n + r ( x 0 ) ) s φ n ( b ( x 0 , f ( x 0 ) ) ) + s 2 φ n + 1 ( b ( x 0 , f ( x 0 ) ) ) + s 3 φ n + 2 ( b ( x 0 , f ( x 0 ) ) ) + + s r 1 φ n + r 2 ( b ( x 0 , f ( x 0 ) ) ) + s r φ n + r 1 ( b ( x 0 , f ( x 0 ) ) ) s n φ n ( b ( x 0 , f ( x 0 ) ) ) + s n + 1 φ n + 1 ( b ( x 0 , f ( x 0 ) ) ) + s n + 2 φ n + 2 ( b ( x 0 , f ( x 0 ) ) ) + + s n + r 2 φ n + r 2 ( b ( x 0 , f ( x 0 ) ) ) + s n + r 1 φ n + r 1 ( b ( x 0 , f ( x 0 ) ) ) = k = n n + r 1 s k φ k ( b ( x 0 , f ( x 0 ) ) ) .
(2.5)

Since n = 1 s n φ n (t) converges for all t>0, then lim n + b( f n ( x 0 ), f n + r ( x 0 ))=0, which means that for m>n,

lim n , m + b ( f n ( x 0 ) , f m ( x 0 ) ) =0.
(2.6)

Also, applying (2.3), we proceed similarly as above and obtain lim n + b( f n + r ( x 0 ), f n ( x 0 ))=0, which means that for m>n,

lim n , m + b ( f m ( x 0 ) , f n ( x 0 ) ) =0.
(2.7)

From (2.6) and (2.7), we get that { f n ( x 0 )} is a 0-Cauchy sequence. Since (X,b) is 0-complete, then the sequence { f n ( x 0 )} converges to some point zX, that is,

lim n + b ( f n ( x 0 ) , z ) = lim n + b ( z , f n ( x 0 ) ) = b ( z , z ) = 0 = lim n , m + b ( f n ( x 0 ) , f m ( x 0 ) ) = lim n , m + b ( f m ( x 0 ) , f n ( x 0 ) ) .
(2.8)

We now show that z is a fixed point of f. By the triangle inequality, we have

b ( z , f z ) s [ b ( z , f n + 1 ( x 0 ) ) + b ( f n + 1 ( x 0 ) , f z ) ] = s [ b ( z , f n + 1 ( x 0 ) ) + b ( f ( f n ( x 0 ) ) , f z ) ] s b ( z , f n + 1 ( x 0 ) ) + s φ ( b ( f n ( x 0 ) , z ) ) .

Using (2.8) in the above inequalities, we obtain b(z,fz)=0, that is, fz=z, hence z is a fixed point of f. Next, we show that z is the unique fixed point of f. Suppose that u is also a fixed point of f, then we claim b(z,u)=0. Suppose that this is not the case, then

b(z,u)=b(fz,fu)φ ( b ( z , u ) ) <b(z,u).

It is a contradiction, hence b(z,u)=0, which implies z=u, therefore f has a unique fixed point. □

In Theorem 2.1, taking φ(t)=λt with 0λ< 1 s , we can get the following corollary.

Corollary 2.1 Let (X,b) be a 0-complete quasi-b-metric-like space with the coefficient s1, and let f:XX be a mapping such that

b(fx,fy)λb(x,y)
(2.9)

for all x,yX, where 0λ< 1 s . Then f has a unique fixed point in X. Moreover, for any x 0 X, the iterative sequence { f n ( x 0 )} converges to the fixed point.

Theorem 2.2 Let (X,b) be a 0-complete quasi-b-metric-like space with the coefficient s1, and let F:X×XX be a mapping. If there exists k[0, 1 s ) such that

b ( F ( x , y ) , F ( u , v ) ) k 2 [ b ( x , u ) + b ( y , v ) ]
(2.10)

for each (x,y),(u,v)X×X, then F has a coupled fixed point, that is, there exists ( x ¯ , y ¯ ) such that x ¯ =F( x ¯ , y ¯ ) and y ¯ =F( y ¯ , x ¯ ).

Proof Let M=X×X and define

ρ ( ( x 1 , y 1 ) , ( x 2 , y 2 ) ) =b( x 1 , x 2 )+b( y 1 , y 2 )

for ( x 1 , y 1 ),( x 2 , y 2 )M. It is straightforward to show that (M,ρ) is a 0-complete quasi-b-metric-like space with the coefficient s. Define T:MM by T(x,y)=(F(x,y),F(y,x)). Let u=( u 1 , u 2 ), v=( v 1 , v 2 ). From (2.10), we have ρ(Tu,Tv)kρ(u,v). Applying Corollary 2.1, we obtain that T has a unique fixed point in X×X, hence there exists a unique ( x ¯ , y ¯ )X×X such that T( x ¯ , y ¯ )=( x ¯ , y ¯ ), that is, (F( x ¯ , y ¯ ),F( y ¯ , x ¯ ))=( x ¯ , y ¯ ). Therefore, F( x ¯ , y ¯ )= x ¯ and F( y ¯ , x ¯ )= y ¯ , which implies that F has a unique coupled fixed point. □

Lemma 2.1 [22]

Let X be a nonempty set and T:XX be a mapping. Then there exists a subset EX such that T(E)=T(X) and T:EX is one-to-one.

The following definitions can be seen in [2326].

Definition 2.3 Let f and g be two self-mappings on a set X. If ω=fx=gx for some x in X, then x is called a coincidence point of f and g, where ω is called a point of coincidence of f and g.

Definition 2.4 Let f and g be two self-mappings defined on a set X. Then f and g are said to be weakly compatible if they commute at every coincidence point, i.e., if fx=gx for some xX, then fgx=gfx.

Theorem 2.3 Let (X,b) be a quasi-b-metric-like space with the coefficient s1, and let f, g be self-mappings on X which satisfy the following condition:

b(fx,fy)λb(gx,gy)
(2.11)

for all x,yX, where 0λ< 1 s . If f(X)g(X) and g(X) is a 0-complete subset of X, then f and g have a unique point of coincidence in X. Moreover, if f and g are weakly compatible, then f and g have a unique common fixed point.

Proof By Lemma 2.1, there exists EX such that g(E)=g(X) and g:EX is one-to-one. Now, define a mapping h:g(E)g(E) by h(gx)=fx. Since g is one-to-one on E, h is well defined. Note that b(h(gx),h(g(y)))λb(gx,gy) for all g(x),g(y)g(E), where 0λ< 1 s . Since g(E)=g(X) is 0-complete, by using Corollary 2.1, there exists a unique x 0 X such that h(g x 0 )=g x 0 , hence f x 0 =g x 0 , which means that f and g have a unique point of coincidence in X. Let f x 0 =g x 0 =z, since f and g are weakly compatible, then fz=gz, which together with the uniqueness of the point of coincidence implies that z=fz=gz. Therefore, z is the unique common fixed point of f and g. □

Now, we give an example to illustrate the validity of one of our main results.

Example 2.2 Let X={0,1,2}. Define b:X×X[0,+) as follows:

b ( 0 , 0 ) = 4 , b ( 0 , 1 ) = 4 , b ( 0 , 2 ) = 3 2 ; b ( 1 , 0 ) = 2 , b ( 1 , 1 ) = 5 , b ( 1 , 2 ) = 4 ; b ( 2 , 0 ) = 3 , b ( 2 , 1 ) = 4 , b ( 2 , 2 ) = 0 .

Then (X,b) is a complete quasi-b-metric-like space with the coefficient s= 8 7 . Define the mapping f:XX by

f0=2,f1=0,f2=2.

It is easy to prove that f satisfies all the conditions of Corollary 2.1 with λ[ 4 5 , 7 8 ). Now, by Corollary 2.1, f has a unique fixed point. In fact, 2 is the unique fixed point of f.

References

  1. 1.

    Matthews, SG: Partial metric topology. Research Report 212. Department of Computer Science, University of Warwick (1992)

  2. 2.

    Matthews SG: Partial metric topology. Ann. New York Acad. Sci. 728. Proc. 8th Summer Conference on General Topology and Applications 1994, 183–197.

    Google Scholar 

  3. 3.

    Czerwik S: Contraction mappings in b -metric spaces. Acta Math. Inform. Univ. Ostrav. 1993, 1: 5–11.

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Shukla S: Partial b -metric spaces and fixed point theorems. Mediterr. J. Math. 2013, 11: 703–711.

    Article  MathSciNet  MATH  Google Scholar 

  5. 5.

    Karapınar E, Erhan IM: Fixed point theorems on quasi-partial metric spaces. Math. Comput. Model. 2013, 57: 2442–2448. 10.1016/j.mcm.2012.06.036

    Article  MathSciNet  MATH  Google Scholar 

  6. 6.

    Hitzler P, Seda A: Dislocated topologies. J. Electr. Eng. 2000, 51: 3–7.

    MATH  Google Scholar 

  7. 7.

    Hussain N, Roshan JR, Parvaneh V, Abbas M: Common fixed point results for weak contractive mappings in ordered b -dislocated metric spaces with applications. J. Inequal. Appl. 2013., 2013: Article ID 486

    Google Scholar 

  8. 8.

    Abbas M, Nazir T: Fixed point of generalized weakly contractive mappings in ordered partial metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 1

    Google Scholar 

  9. 9.

    Abdeljawad T, Karapınar E, Tas K: Existence and uniqueness of a common fixed point on partial metric spaces. Appl. Math. Lett. 2011, 24: 1900–1904. 10.1016/j.aml.2011.05.014

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Abdeljawad T: Fixed points for generalized weakly contractive mappings in partial metric spaces. Math. Comput. Model. 2011, 54: 2923–2927. 10.1016/j.mcm.2011.07.013

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Abdeljawad T, Karapınar E, Tas K: A generalized contraction principle with control functions on partial metric spaces. Comput. Math. Appl. 2012, 63: 716–719. 10.1016/j.camwa.2011.11.035

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Chen CF, Zhu CX: Fixed point theorems for weakly C -contractive mappings in partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 107

    Google Scholar 

  13. 13.

    Huang XJ, Zhu CX, Wen X: Fixed point theorems for expanding mappings in partial metric spaces. An. Univ. ‘Ovidius’ Constanţa 2012,20(1):213–224.

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Karapınar E, Erhan IM: Fixed point theorems for operators on partial metric spaces. Appl. Math. Lett. 2011, 24: 1894–1899. 10.1016/j.aml.2011.05.013

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    Mustafa Z, Roshan JR, Parvaneh V, Kadelburg Z: Fixed point theorems for weakly T -Chatterjea and weakly T -Kannan contractions in b -metric spaces. J. Inequal. Appl. 2014., 2014: Article ID 46

    Google Scholar 

  16. 16.

    Romaguera S: Fixed point theorems for generalized contractions on partial metric spaces. Topol. Appl. 2012, 159: 194–199. 10.1016/j.topol.2011.08.026

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Shatanawi W, Samet B, Abbas M: Coupled fixed point theorems for mixed monotone mappings in ordered partial metric spaces. Math. Comput. Model. 2012, 55: 680–687. 10.1016/j.mcm.2011.08.042

    MathSciNet  Article  MATH  Google Scholar 

  18. 18.

    Shatanawi W, Pitea A: Some coupled fixed point theorems in quasi-partial metric spaces. Fixed Point Theory Appl. 2013., 2013: Article ID 153

    Google Scholar 

  19. 19.

    Amini-Harandi A: Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl. 2012., 2012: Article ID 204

    Google Scholar 

  20. 20.

    Alghamdi MA, Hussain N, Salimi P: Fixed point and coupled fixed point theorems on b -metric-like spaces. J. Inequal. Appl. 2013., 2013: Article ID 402

    Google Scholar 

  21. 21.

    Zhu L, Zhu CX, Chen CF, Stojanović Z: Multidimensional fixed points for generalized ψ -quasi-contractions in quasi-metric-like spaces. J. Inequal. Appl. 2014., 2014: Article ID 27

    Google Scholar 

  22. 22.

    Haghi RH, Rezapour SH, Shahzad N: Some fixed point generalizations are not real generalizations. Nonlinear Anal. 2011, 74: 1799–1803. 10.1016/j.na.2010.10.052

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Abbas M, Jungck G: Common fixed point results for noncommuting mappings without continuity in cone metric spaces. J. Math. Anal. Appl. 2008, 314: 416–420.

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Jungck G, Rhoades BE: Fixed points for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29: 227–238.

    MathSciNet  MATH  Google Scholar 

  25. 25.

    Jungck G: Common fixed points for noncontinuous nonself maps on nonmetric spaces. Far East J. Math. Sci. 1996, 4: 199–215.

    MathSciNet  MATH  Google Scholar 

  26. 26.

    Samet B: Common fixed point theorems involving two pairs of weakly compatible mappings in K -metric spaces. Appl. Math. Lett. 2011, 24: 1245–1250. 10.1016/j.aml.2011.02.016

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors are thankful to the referees for their valuable comments and suggestions to improve this paper. The research was supported by the National Natural Science Foundation of China (11361042, 11071108) and supported by the Provincial Natural Science Foundation of Jiangxi, China (20114BAB201007, 20142BAB201007, 20142BAB211004) and the Science and Technology Project of Educational Commission of Jiangxi Province, China (GJJ13081).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Chunfang Chen.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the work. All authors read and approved the final manuscript.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhu, C., Chen, C. & Zhang, X. Some results in quasi-b-metric-like spaces. J Inequal Appl 2014, 437 (2014). https://doi.org/10.1186/1029-242X-2014-437

Download citation

Keywords

  • quasi-b-metric-like spaces
  • common fixed point
  • fixed point