Open Access

Common fixed points for some generalized contraction pairs in convex metric spaces

Fixed Point Theory and Applications20142014:98

https://doi.org/10.1186/1687-1812-2014-98

Received: 28 November 2013

Accepted: 27 March 2014

Published: 16 April 2014

Abstract

The present study focuses on proving the existence of coincidence points for self-mappings satisfying a generalized contractive condition within the framework of convex metric spaces. The existence of common fixed points for weakly compatible self-mappings as well as Banach operator pairs under certain generalized contractions in a convex metric space is also established.

MSC:47H09, 47H10, 47H19, 54H25.

Keywords

Banach operator pairscoincidence pointscommon fixed pointscompatible mappingsconvex metric spacesfixed pointsweakly compatible pair

1 Introduction and preliminaries

In 1970, Takahashi [1] introduced the notion of convexity in metric spaces and proved that all normed spaces and their convex subsets are convex metric spaces. He also gave some examples of the convex metric spaces which are not embedded in any normed/Banach spaces. Afterward Guay, Singh and Whittield [2], Beg and Azam [3], Beg, Azam, Ali and Minhas [4], Shimizu and Takahashi [5], Ciric [6], Beg [7, 8], Beg and Abbas [9], and many other authors have studied fixed point theorems in convex metric spaces.

In this paper, we introduce ( α , β , γ , η ) -generalized contraction pairs and study the existence of a coincidence point for such pairs in a convex metric space under certain conditions (see Theorem 2.2). Consequently, we prove the existence of a common fixed point for weakly compatible mappings and also Banach operator pairs which are ( α , β , γ , η ) -generalized contraction pairs (see Theorem 2.3 and Theorem 2.5).

We now review notations and definitions needed. We denote by and the set of natural numbers and the set of real numbers, respectively. We also denote by I the identity mapping. In what follows, ( X , d ) is a metric space, and C is a nonempty subset of X.

Definition 1.1 Let S and T be two self-mappings of C. A point x of C is called
  1. (i)

    a fixed point of T if T x = x ,

     
  2. (ii)

    a common fixed point of the pair ( S , T ) if S x = T x = x , and

     
  3. (iii)

    a coincidence point of the pair ( S , T ) if S x = T x .

     

The set of fixed points of T is denoted by F ( T ) . The set of common fixed points (respectively, coincidence points) of the pair ( S , T ) is denoted by F ( S , T ) (respectively, C ( S , T ) ). Note that C ( I , T ) = F ( T ) .

Definition 1.2 Let S and T be two self-mappings of C. The mapping T is called
  1. (i)

    a contraction if there exists k [ 0 , 1 ) such that d ( T x , T y ) k d ( x , y ) for all x , y C ,

     
  2. (ii)

    an S-contraction if there exists k [ 0 , 1 ) such that d ( T x , T y ) k d ( S x , S y ) for all x , y C ,

     
  3. (iii)

    nonexpansive if d ( T x , T y ) d ( x , y ) for all x , y C , and

     
  4. (iv)

    S-nonexpansive if d ( T x , T y ) d ( S x , S y ) for all x , y C .

     
Definition 1.3 Let S and T be two self-mappings of C. The pair ( S , T ) is said to be
  1. (i)

    commuting if S T x = T S x for all x C ,

     
  2. (ii)

    R-weakly commuting [10] if there exists R > 0 such that d ( S T x , T S x ) R d ( S x , T x ) for all x C . If R = 1 , then the mappings are called weakly commuting [11],

     
  3. (iii)

    compatible [12] if lim n d ( S T x n , T S x n ) = 0 , whenever { x n } n = 1 is a sequence in C such that lim n S x n = lim n T x n = x for some x C , and

     
  4. (iv)

    weakly compatible if they commute on C ( S , T ) i.e. S T x = T S x for all x C ( S , T ) (see [13, 14] for more details).

     

It is well known that commuting mappings are weakly commuting, and weakly commuting mappings are R-weakly mappings. Moreover, R-weakly mappings are compatible, and compatible mappings are weakly compatible.

The following example shows that the converses of the above results are not true in general.

Example 1.4 Let X = R with the usual metric d ( x , y ) = | x y | for all x , y X , we have:
  1. (1)

    Let C = [ 0 , 1 ] . Let S x = x 2 and T x = x 2 2 for all x C . It is trivial that S and T are weakly commuting but are not commuting.

     
  2. (2)

    Let C = [ 0 , ] . Consider S x = 2 x 1 and T x = x 2 for all x C . Then S and T are 2-weakly commuting but are not weakly commuting (see [10]).

     
  3. (3)

    Let C = X , S x = x 3 , T x = 2 x 3 , x C . Then S and T are compatible but are not R-weakly commuting (see [12, 15, 16] for more details).

     
  4. (4)

    Let C = [ 0 , 10 ] , and define self-mappings S and T of C by S ( 1 ) = 1 , S ( x ) = 4 if 1 < x < 6 , S ( x ) = 1 if 6 x 10 , and T ( 1 ) = 1 , T ( x ) = 3 if 1 < x < 6 , T ( x ) = x 5 if 6 x 10 . For sequence { x n } n = 1 defined by x n = 6 + 1 n , n 1 , we have lim n S x n = lim n T x n = 1 , but lim n d ( S T x n , T S x n ) = 3 0 . So the mappings S and T are not compatible. It is easy to see that S and T are weakly compatible.

     

Definition 1.5 Let C be a nonempty subset of a metric space ( X , d ) , and let S and T be self-mappings of C. The ordered pair ( S , T ) is called a Banach operator pair if the set F ( T ) is S-invariant, namely S ( F ( T ) ) F ( T ) (see [17]).

It is easy to see that if the mappings S and T are commuting, then the pair ( S , T ) is a Banach operator pair, but the converse is not true in general (see Example 1(ii) of [17]). If ( S , T ) is a Banach operator pair, then ( T , S ) need not be a Banach operator pair (see [17, 18]).

Definition 1.6 Let S and T be two self-mappings of a nonempty subset C of a metric space ( X , d ) . Consider ( α , β , γ , η ) R 4 with
2 β + γ | γ | α η < α + 4 β + 3 γ | γ | , β + γ 0 .
We call the ordered pair ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair if the following inequality holds:
α d ( T x , T y ) + β ( d ( S x , T x ) + d ( S y , T y ) ) + γ ( d ( S x , T y ) + d ( S y , T x ) ) η d ( S x , S y )
(1.1)

for all x , y C . The mapping T is called an ( α , β , γ , η ) -generalized contraction if ( I , T ) is an ( α , β , γ , η ) -generalized contraction pair.

If ( S , T ) is an ( α , 0 , 0 , η ) -generalized contraction pair, then T is an S-contraction. In particular, if S = I , then T is a contraction. If ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, then ( T , S ) need not be an ( α , β , γ , η ) -generalized contraction pair in general (see Example 2.4).

Definition 1.7 Let ( X , d ) be a metric space. A mapping W : X × X × [ 0 , 1 ] X is said to be a convex structure on X if
d ( u , W ( x , y , λ ) ) λ d ( u , x ) + ( 1 λ ) d ( u , y )

for each x , y , u X and λ [ 0 , 1 ] (see [1]). A metric space ( X , d ) together with a convex structure W is called a convex metric space. A nonempty subset C of X is said to be convex if W ( x , y , λ ) C for all x , y C and λ [ 0 , 1 ] (see [1, 19]).

Let X be a convex metric space. The open balls and the closed balls are convex subsets of X. If { C α } α J is family of convex subsets of X, then α J C α is a convex subset of X (see [1, 19] for more details). All normed spaces and their convex subsets are convex metric spaces. But there are some examples of convex metric spaces which are not embedded in any normed space (see [1]).

Definition 1.8 Let C be a convex subset of a convex metric space X with the structure W. A self-mapping T of C is said to be affine if T ( W ( x , y , λ ) ) = W ( T x , T y , λ ) for each x , y C and λ [ 0 , 1 ] (see [20]).

2 Main results

In this section the existence of a coincidence point for ( α , β , γ , η ) -generalized contraction pairs is established. We also give some common fixed point theorems for weakly commuting pairs as well as Banach operator pairs in a convex metric space which are ( α , β , γ , η ) -generalized contraction pairs. In what follows, X denotes a convex metric space with the metric d and the convex structure W.

The following lemma is a key result to prove Theorem 2.2.

Lemma 2.1 [21]

Let ( X , d ) be a convex metric space. Then
d ( x , W ( x , y , 1 2 ) ) = d ( y , W ( x , y , 1 2 ) ) = 1 2 d ( x , y )

for all x , y X .

The following theorem is our main result and plays an important role to prove the next results.

Theorem 2.2 Let C be a nonempty subset of a convex metric space X, and let S and T be two self-mappings of C such that S ( C ) is convex complete and T ( C ) S ( C ) . If ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, then S and T have a coincidence point.

Proof Since ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, we have
α d ( T x , T y ) + β ( d ( S x , T x ) + d ( S y , T y ) ) + γ ( d ( S x , T y ) + d ( S y , T x ) ) η d ( S x , S y )
(2.1)
for all x , y C , where α , β , γ , η R ,
2 β + γ | γ | α η < α + 4 β + 3 γ | γ | , β + γ 0 .
Let x 0 be an arbitrary point of C. Since S ( C ) is convex, we can inductively define a sequence { S x n } n = 1 in S ( C ) by
S x n = W ( S x n 1 , T x n 1 , 1 2 ) , n N .
(2.2)
By Lemma 2.1 and (2.2), we have
d ( S x n , T x n ) = 2 d ( S x n , S x n + 1 ) ,
(2.3)
d ( S x n , T x n 1 ) = d ( S x n 1 , S x n )
(2.4)
for all n N . Now by substituting x with x n 1 , and y with x n in (2.1), we get
α d ( T x n 1 , T x n ) + β ( d ( S x n 1 , T x n 1 ) + d ( S x n , T x n ) ) + γ ( d ( S x n 1 , T x n ) + d ( S x n , T x n 1 ) ) η d ( S x n 1 , S x n )
(2.5)
for all n N . The assumptions imply that α is positive; hence, by the triangle inequality, (2.3), (2.4), and (2.5), we have
α ( 2 d ( S x n , S x n + 1 ) d ( S x n 1 , S x n ) ) = α ( d ( S x n , T x n ) d ( S x n , T x n 1 ) ) α d ( T x n 1 , T x n )
(2.6)
for all n N . From (2.3), (2.4), (2.5), and (2.6), we obtain
α ( 2 d ( S x n , S x n + 1 ) d ( S x n 1 , S x n ) ) + 2 β ( d ( S x n 1 , S x n ) + d ( S x n , S x n + 1 ) ) + γ ( d ( S x n 1 , T x n ) + d ( S x n 1 , S x n ) ) η d ( S x n 1 , S x n )
(2.7)

for all n N .

We now claim that the following inequality holds:
2 ( α + β + γ ) d ( S x n , S x n 1 ) ( η + α 2 β + | γ | γ ) d ( S x n 1 , S x n )
(2.8)

for all n N .

To see this, we consider the two following cases for γ.

Case 1. γ 0 :

By the triangle inequality and (2.3), we have
2 γ d ( S x n , S x n + 1 ) = γ d ( S x n , T x n ) γ ( d ( S x n 1 , T x n ) + d ( S x n 1 , S x n ) )
(2.9)

for all n N .

The inequalities (2.7) and (2.9) imply
2 ( α + β + γ ) d ( S x n , S x n + 1 ) ( η + α 2 β ) d ( S x n 1 , S x n )
(2.10)

for all n N .

Case 2. γ < 0 :

From the triangle inequality, (2.3) and (2.4), we conclude
γ ( d ( S x n 1 , S x n ) + 2 d ( S x n , S x n + 1 ) ) = γ ( d ( S x n 1 , S x n ) + d ( S x n , T x n ) ) γ d ( S x n 1 , T x n )
(2.11)
for all n N . By (2.7) and (2.11), we obtain
2 ( α + β + γ ) d ( S x n , S x n + 1 ) ( η + α 2 β 2 γ ) d ( S x n 1 , S x n )
(2.12)

for all n N . Now inequality (2.8) follows from (2.10) and (2.12).

The assumptions imply that 0 η + α 2 β + | γ | γ 2 ( α + β + γ ) < 1 . Hence, the sequence { S x n } n = 1 is contractive. So it is a Cauchy sequence in S ( C ) . Since S ( C ) is complete, there exists p C such that lim n S x n = S p . The triangle inequality and (2.3) imply that
d ( T x n , S p ) 2 d ( S x n , S x n + 1 ) + d ( S x n , S p )
for all n N . It follows T x n S p as n . By (2.1), we have
α d ( T x n , T p ) + β ( d ( S x n , T x n ) + d ( S p , T p ) ) + γ ( d ( S x n , T p ) + d ( S p , T x n ) ) η d ( S x n , S p )
(2.13)
for all n N . In the above inequality letting n , we obtain
( α + β + γ ) d ( S p , T p ) 0 .

Therefore, ( α + β + γ ) d ( S p , T p ) = 0 . Since α + β + γ is positive, S p = T p . So p C ( S , T ) , and this completes the proof. □

Corollary 2.3 Let C be a nonempty complete convex subset of a convex metric space X, and let T be a self-mapping of C. If T is an ( α , β , γ , η ) -generalized contraction, then T has a fixed point. Moreover, T has a unique fixed point provided that one of the three conditions: β 0 , γ > 0 or η < α + 2 γ holds.

Proof Our assumptions imply that ( I , T ) is an ( α , β , γ , η ) -generalized contraction pair. By the preceding theorem, C ( I , T ) = F ( T ) is a nonempty set. Let p F ( T ) .

We now show that p is unique. Let q F ( T ) . Since T is an ( α , β , γ , η ) -generalized contraction, we have
α d ( T x , T y ) + β ( d ( x , T x ) + d ( y , T y ) ) + γ ( d ( x , T y ) + d ( y , T x ) ) η d ( x , y )
(2.14)

for all x , y C , where α , β , γ , η R with 2 β + γ | γ | α η < α + 4 β + 3 γ | γ | and β + γ 0 .

It is easy to see that if β 0 , or γ < 0 , then α + 2 γ < η . Therefore, we assume that α + 2 γ < η . Since p , q F ( T ) , from (2.14), we get
( α + 2 γ ) d ( p , q ) η d ( p , q ) .

Since α + 2 γ < η , the above inequality implies that d ( p , q ) = 0 . Hence, p = q , and the proof is complete. □

The following example shows that there exists an ( α , β , γ , η ) -generalized contraction pair such as ( S , T ) such that ( T , S ) is not an ( α , β , γ , η ) -generalized contraction pair.

Example 2.4 Let X = R with the usual metric. Suppose that x 0 is an arbitrary point of X, and α , γ , η R with α + 3 γ 2 η , and γ < 0 . Then the following are true:
  1. (i)
    It is easy to see that the inequality
    α | x y | + γ ( | 2 x y x 0 | + | 2 y x x 0 | ) 2 η | x y |
    (2.15)
     

holds for all x , y X .

(ii) Let C = [ 4 , ) , and define the self-mappings S and T of C by
S x = x + 2 , T x = x + 1 2 for all  x C .
Set x 0 = 3 , in (2.15). Consequently, we have
α d ( T x , T y ) + γ ( d ( S x , T y ) + d ( S y , T x ) ) η d ( S x , S y )
for all x , y C . Therefore, ( S , T ) is an ( α , 0 , γ , η ) -generalized contraction pair, T ( C ) S ( C ) , S ( C ) is a complete convex subset of X, and −3 is a coincidence point of S and T. Moreover, ( S , T ) is ( 7 , 0 , 1 , 2 ) -generalized contraction pair, but ( T , S ) is not ( 7 , 0 , 1 , 2 ) -generalized contraction pair.
  1. (iii)

    Let C = [ 0 , ) . Define the self-mapping T of C by T x = x + 3 4 , x C , then F ( T ) = { 1 } . Suppose 2 β α η < α + 4 β + 2 γ , β < 0 , γ < 0 and α < 4 η . Then T is an ( α , β , γ , η ) -generalized contraction pair, and 1 is a unique fixed point of T.

     

Theorem 2.5 Let C be a nonempty subset of a convex metric space X. Let S and T be two self-mappings of C such that S ( C ) is a complete convex subset of X, and T ( C ) S ( C ) . If ( S , T ) is a weakly compatible pair and an ( α , β , γ , η ) -generalized contraction pair, then S and T have a unique common fixed point provided that one of the three conditions: β 0 , γ > 0 or η < α + 2 γ holds.

Proof It is sufficient we assume that η < α + 2 γ . Because one can show that if β 0 or γ > 0 , then η < α + 2 γ . By Theorem 2.2, C ( S , T ) is nonempty. Let v C ( S , T ) ; hence, S v = T v = w . Since ( S , T ) is weakly compatible, S w = T w . According to inequality (1.1), we have
α d ( T v , T w ) + β ( d ( S v , T v ) + d ( S w , T w ) ) + γ ( d ( S v , T w ) + d ( S w , T v ) ) η d ( S v , S w ) .

It follows that ( α + 2 γ η ) d ( w , T w ) 0 . This implies that d ( w , T w ) = 0 because α + 2 γ η is positive. Therefore, T w = w . Hence, w is a common fixed point of S and T.

We now show that w is unique. Suppose p is another common fixed point of S and T. According to inequality (1.1), we have
α d ( T p , T w ) + β ( d ( S p , T p ) + d ( S w , T w ) ) + γ ( d ( S p , T w ) + d ( S w , T p ) ) η d ( S p , S w ) .

It follows that ( α + 2 γ η ) d ( p , w ) 0 . Since α + 2 γ η is positive, d ( p , w ) = 0 . Therefore, p = w . Hence, S and T have a unique common fixed point. □

Theorem 2.6 Let C be a nonempty complete subset of a convex metric space X. Let S and T be two self-mappings of C such that F ( S ) is a nonempty closed convex subset of C. If ( T , S ) is a Banach operator pair, and ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, then S and T have a common fixed point. Moreover, S and T have a unique common fixed point provided that one of the three conditions: β 0 , γ > 0 or η < α + 2 γ holds.

Proof Since ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, we have
α d ( T x , T y ) + β ( d ( S x , T x ) + d ( S y , T y ) ) + γ ( d ( S x , T y ) + d ( S y , T x ) ) η d ( S x , S y )

for all x , y C , where α , β , γ , η R with 2 β + γ | γ | α η < α + 4 β + 3 γ | γ | , and β + γ 0 .

Since ( T , S ) is a Banach operator pair, T is a self-mapping of F ( S ) . By the above inequality, we get
α d ( T x , T y ) + β ( d ( x , T x ) + d ( y , T y ) ) + γ ( d ( x , T y ) + d ( y , T x ) ) η d ( x , y )

for all x , y F ( S ) . Now by Corollary 2.3, the proof is complete. □

Corollary 2.7 Let C be a nonempty complete subset of a convex metric space X. Let S and T be two self-mappings of C such that S is an affine map, and F ( S ) is a nonempty closed subset of C. If ( T , S ) is a Banach operator pair, and ( S , T ) is an ( α , β , γ , η ) -generalized contraction pair, then S and T have a common fixed point. Moreover, S and T have a unique common fixed point provided that one of the three conditions: β 0 , γ > 0 or η < α + 2 γ holds.

Declarations

Acknowledgements

The author is grateful to the reviewers for their valuable comments which improved the contents of the manuscript.

Authors’ Affiliations

(1)
Department of Mathematics, Bu-Ali Sina University

References

  1. Takahashi T: A convexity in metric spaces and nonexpansive mapping I. Kodai Math. Semin. Rep. 1970, 22: 142–149. 10.2996/kmj/1138846111View ArticleGoogle Scholar
  2. Guay MD, Singh KL, Whitfield JHM: Fixed point theorems for nonexpansive mappings in convex metric spaces. Lecture Notes in Pure and Applied Mathematics 80. In Proceedings of Conference on Nonlinear Analysis. Dekker, New York; 1982:179–189.Google Scholar
  3. Beg I, Azam A: Fixed point on star-shaped subsets of convex metric spaces. Indian J. Pure Appl. Math. 1987, 18: 594–596.MathSciNetGoogle Scholar
  4. Beg I, Azam A, Ali F, Minhas T: Some fixed point theorems in convex metric spaces. Rend. Circ. Mat. Palermo 1991, XL: 307–315.View ArticleMathSciNetGoogle Scholar
  5. Shimizu T, Takahashi W: Fixed point theorems in certain convex metric spaces. Math. Jpn. 1992, 37: 855–859.MathSciNetGoogle Scholar
  6. Ciric L: On some discontinuous fixed point theorems in convex metric spaces. Czechoslov. Math. J. 1993, 43(188):319–326.MathSciNetGoogle Scholar
  7. Beg I: Structure of the set of fixed points of nonexpansive mappings on convex metric spaces. Ann. Univ. Mariae Curie-Skłodowska, Sect. A 1998, LII: 7–14.MathSciNetGoogle Scholar
  8. Beg I: Inequalities in metric spaces with applications. Topol. Methods Nonlinear Anal. 2001, 17: 183–190.MathSciNetGoogle Scholar
  9. Beg I, Abbas M: Fixed points and best approximation in Menger convex metric spaces. Arch. Math. 2005, 41: 389–397.MathSciNetGoogle Scholar
  10. Pant RP: Common fixed points of noncommuting mappings. J. Math. Anal. Appl. 1994, 188: 436–440. 10.1006/jmaa.1994.1437View ArticleMathSciNetGoogle Scholar
  11. Sessa S: On a weak commutativity condition of mappings in fixed point considerations. Publ. Inst. Math. 1982, 32: 149–153.MathSciNetGoogle Scholar
  12. Jungck G: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 1986, 9: 771–779. 10.1155/S0161171286000935View ArticleMathSciNetGoogle Scholar
  13. Jungck G, Rhoades BE: Fixed point for set valued functions without continuity. Indian J. Pure Appl. Math. 1998, 29(3):227–238.MathSciNetGoogle Scholar
  14. Chugh R, Kumar S: Common fixed points for weakly compatible maps. Proc. Indian Acad. Sci. Math. Sci. 2001, 111: 241–247. 10.1007/BF02829594View ArticleMathSciNetGoogle Scholar
  15. Jungck G: Common fixed points for commuting and compatible maps on compacta. Proc. Am. Math. Soc. 1988, 103: 978–983.View ArticleMathSciNetGoogle Scholar
  16. Jungck G: Common fixed point theorems for compatible self maps of Hausdorff topological spaces. Fixed Point Theory Appl. 2005, 3: 355–363.MathSciNetGoogle Scholar
  17. Chen J, Li Z: Common fixed-points for Banach operator pairs in best approximation. J. Math. Anal. Appl. 2007, 336: 1466–1475. 10.1016/j.jmaa.2007.01.064View ArticleMathSciNetGoogle Scholar
  18. Hussain N: Common fixed points in best approximation for Banach operator pairs with Ćirić type I -contractions. J. Math. Anal. Appl. 2008, 338: 1351–1363. 10.1016/j.jmaa.2007.06.008View ArticleMathSciNetGoogle Scholar
  19. Agarwal RP, O’Regan D, Sahu DR: Fixed Point Theory for Lipschitzian-Type Mappings with Applications. Springer, Heidelberg; 2009.Google Scholar
  20. Hussain N, Abbas M, Kim JK: Common fixed point and invariant approximation in Menger convex metric spaces. Bull. Korean Math. Soc. 2008, 48: 671–680.View ArticleMathSciNetGoogle Scholar
  21. Moosaei M: Fixed point theorems in convex metric spaces. Fixed Point Theory Appl. 2012., 2012: Article ID 164 10.1186/1687-1812-2012-164Google Scholar

Copyright

© Moosaei; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.