- Research Article
- Open Access

# Weak Contractions, Common Fixed Points, and Invariant Approximations

- Nawab Hussain
^{1}and - Yeol Je Cho
^{2}Email author

**2009**:390634

https://doi.org/10.1155/2009/390634

© N. Hussain and Y. J. Cho. 2009

**Received:**19 January 2009**Accepted:**23 February 2009**Published:**8 March 2009

## Abstract

The existence of common fixed points is established for the mappings, where is -weak contraction on a nonempty subset of a Banach space. As application, some results on the invariant best approximation are proved. Our results unify and substantially improve several recent results given by some authors.

## Keywords

- Fixed Point Theorem
- Contractive Condition
- Nonempty Subset
- Unique Fixed Point
- Nonempty Closed Subset

## 1. Introduction and Preliminaries

We denote and (resp., ) by the set of positive integers and the closure (resp., weak closure) of a set in , respectively. Let be mappings. The set of fixed points of is denoted by . A point is a coincidence point (resp., common fixed point) of and if (resp., ). The set of coincidence points of and is denoted by

(1)*commuting* [1] if
for all

(2)*compatible* [2, 3] if
whenever
is a sequence such that
for some
in
,

(3)*weakly compatible* if they commute at their coincidence points, that is, if
whenever
,

(4)a *Banach operator pair* if the set
is
-invariant, namely,
.

Obviously, the commuting pair is a Banach operator pair, but converse is not true in general (see [4, 5].) If is a Banach operator pair, then needs not be a Banach operator pair (see [4, Example 1]).

*starshaped*with if the segment joining to is contained in for all The mapping defined on a -starshaped set is said to be

*affine*if

Suppose that the set is -starshaped with and is both - and -invariant. Then and are said to be

(5)
-*commuting* [3, 6] if
for all
, where
where
,

(6)*pointwise*
*-subweakly commuting* [7] if, for given
*there exists a real number*
*such that*
,

(7)
-*subweakly commuting* on
[8] if, for all
there exists a real number
such that
.

In 1963, Meinardus [9] employed Schauder's fixed point theorem to prove a result regarding invariant approximation. Further, some generalizations of the result of Meinardus were obtained by Habiniak [10], Jungck and Sessa [11], and Singh [12].

Since then, Al-Thagafi [13] extended these works and proved some results on invariant approximations for commuting mappings. Hussain and Jungck [8], Hussain [5], Jungck and Hussain [3], O'Regan and Hussain [7], Pathak and Hussain [14], and Pathak et al. [15] extended the work of Al-Thagafi [13] for more general noncommuting mappings.

Recently, Chen and Li [4] introduced the class of Banach operator pairs as a new class of noncommuting mappings and it has been further studied by Hussain [5], Khan and Akbar [16], and Pathak and Hussain [14].

In this paper, we extend and improve the recent common fixed point and invariant approximation results of Al-Thagafi [13], Al-Thagafi and Shahzad [17], Berinde [18], Chen and Li [4], Habiniak [10], Jungck and Sessa [11], Pathak and Hussain [14], and Singh [12] to the class of -weak contractions. The applications of the fixed point theorems are remarkable in diverse disciplines of mathematics, statistics, engineering, and economics in dealing with the problems arising in approximation theory, potential theory, game theory, theory of differential equations, theory of integral equations, and others (see [14, 15, 19, 20]).

## 2. Main Results

*weak contraction*if there exist two constants and such that

Remark 2.1.

which is obtained from (2.1) by formally replacing , by , , respectively, and then interchanging and .

Consequently, in order to check the weak contraction of , it is necessary to check both (2.1) and (2.2). Obviously, a Banach contraction satisfies (2.1) and hence is a weak contraction. Some examples of weak contractions are given in [18, 21, 22]. The next example shows that a weak contraction needs not to be continuous.

Let be the unit interval with the usual norm and let be given by for all and . Then satisfies the inequality (2.1) with and and has a unique fixed point , but is not continuous.

*weak contraction*or -

*weak contraction*if there exist two constants and such that

Berinde [18] introduced the notion of a -weak contraction and proved that a lot of the well-known contractive conditions do imply the -weak contraction. The concept of -weak contraction does not ask to be less than as happens in many kinds of fixed point theorems for the contractive conditions that involve one or more of the displacements . For more details, we refer to [18, 21] and references cited in these papers.

The following result is a consequence of the main theorem of Berinde [18].

Lemma 2.3.

Let be a nonempty subset of a metric space and let be a self-mapping of . Assume that , is complete, and is a -weak contraction. Then is nonempty.

Theorem 2.4.

Let be a nonempty subset of a metric space and let be self-mappings of Assume that is nonempty, , is complete, and is an -weak contraction. Then .

Proof.

Since is a closed subset of , is complete. Further, by the -weak contraction of , for all , we have

Hence is a -weak contraction on and . Therefore, by Lemma 2.3, has a fixed point in and so .

Corollary 2.5.

Let be a nonempty subset of a metric space and let be a Banach operator pair on . Assume that is complete, is -weak contraction, and is nonempty and closed. Then .

In Theorem 2.4 and Corollary 2.5, if , then we easily obtain the following result, which improves Lemma 3.1 of Chen and Li [4].

Corollary 2.6 (see [17, Theorem 2.2]).

Let be a nonempty subset of a metric space and let be self-mappings of Assume that is nonempty, , is complete, and is an -contraction. Then is a singleton.

The following result properly contains [4, Theorems 3.2-3.3] and improves [13, Theorem 2.2], [10, Theorem 4], and [11, Theorem 6].

Theorem 2.7.

Proof.

for all , , and Thus, for , is a -weak contraction, where .

Taking the limit as we get and so .

Next, the weak compactness of implies that is weakly compact and hence complete due to completeness of (see [3]). From Theorem 2.4, for each , there exists such that The weak compactness of implies that there is a subsequence of converging weakly to as . Since is a sequence in , we have . Also, we have as . If is demiclosed at , then and so

which is a contradiction. Thus and hence This completes the proof.

Obviously, -nonexpansive mappings satisfy the inequality (2.5) and so we obtain the following.

Corollary 2.8 (see [17, Theorem 2.4]).

Let be a nonempty subset of a normed (resp., Banach) space and let , be self-mappings of Suppose that is -starshaped, (resp., ), is compact, (resp., is weakly compact, and either is demiclosed at or satisfies Opial's condition), and is -nonexpansive on . Then .

Corollary 2.9 (see [4, Theorems 3.2-3.3]).

Let be a nonempty subset of a normed (resp., Banach) space and let be self-mappings of Suppose that is -starshaped and closed (resp., weakly closed), is compact (resp., is weakly compact, and either is demiclosed at or satisfies Opial's condition), is a Banach operator pair, and is -nonexpansive on . Then .

Corollary 2.10 (see [13, Theorem 2.1]).

Let be a nonempty closed and -starshaped subset of a normed space and let , be self-mappings of such that . Suppose that commutes with and . If is compact, is continuous, linear, and is -nonexpansive on , then .

Corollary 2.11.

Let be a normed (resp., Banach) space and let be self-mappings of If , , is -starshaped, (resp., ), is compact, (resp., is weakly compact, and is demiclosed at ). If the inequality (2.5) holds for all then .

Corollary 2.12.

Let be a normed (resp., Banach) space and let be self-mappings of If , , is -starshaped, (resp., ), is compact, (resp., is weakly compact, and is demiclosed at ). If the inequality (2.5) holds for all then .

Corollary 2.13 (see [11, Theorem 7]).

Let , be self-mappings of a Banach space with and with . Suppose that is q-starshaped with , , and is affine, continuous in the weak and strong topology on . If and are commuting on and is -nonexpansive on , then provided either (i) is weakly compact and is demiclosed or (ii) is weakly compact and satisfies Opial's condition.

Remark 2.14.

Corollary 2.5 in [17] and Theorems 4.1-4.2 of Chen and Li [4] are special cases of Corollaries 2.11-2.12

We denote by the class of closed convex subsets of containing . For any , we define It is clear that (see [8, 13]).

Theorem 2.15.

Let be self-mappings of a normed (resp., Banach) space . If and such that , is compact (resp., is weakly compact), and for all , then is nonempty closed and convex with . If, in addition, , is -starshaped, (resp., , and is demiclosed at ), and the inequality (2.5) holds for all then .

Proof.

We may assume that . If then . Note that

for all Hence and so is nonempty closed and convex with . The compactness of (resp., the weak compactness of ) implies that is compact (resp., is weakly compact). Therefore, the result now follows from Corollary 2.12. This completes the proof.

Corollary 2.16.

Let be self-mappings of a normed (resp., Banach) space . If and such that , is compact (resp., is weakly compact), and for all , then is nonempty closed and convex with . If, in addition, , is -starshaped and closed (resp., weakly closed and is demiclosed at ), is a Banach operator pair on , and the inequality (2.5) holds for all then .

Remark 2.17.

Theorem 2.15 and Corollary 2.16 extend [13, Theorems 4.1 and 4.2], [17, Theorem 2.6], and [10, Theorem 8].

Further, many investigations were developed by Berinde [19], Jungck [1, 2], Hussain and Jungck [8], Hussain and Rhoades [6], O'Regan and Hussain [7], and many other mathematicians (see [14, 25] and references therein). Recently, Jungck and Hussain [3] proved the following extension of the result of Ćirić [24].

Theorem 2.18 (see [3, Theorem 2.1]).

The following result (Theorem 2.19) properly contains [17, Theorem 3.3], [4, Theorems 3.2-3.3], [5, Theorem 2.11], and [14, Theorem 2.2]. The proof is analogous to the proof of Theorem 2.7. In fact, instead of applying Theorem 2.4, we apply Theorem 2.18 to get the conclusion.

Theorem 2.19.

Theorem 2.20.

Let , , be self-mappings of a Banach space with and such that . Suppose that , , for all , and is compact. Then one has the following:

(1) is nonempty closed and convex,

(3) provided is continuous, is -starshaped, , and the pair satisfies the inequality (2.5) for all is -starshaped with , , and the inequality (2.16) holds for all and .

- (1)
Theorem 2.20 extends [13, Theorem 4.1], [10, Theorem 8], [5, Theorem 2.13], [8, Theorem 2.14], and [14, Theorem 2.11].

- (2)
Theorems 2.7–2.16 represent very strong variants of the results in [3, 8, 11, 13] in the sense that the commutativity or compatibility of the mappings and is replaced by the hypothesis that is a Banach operator pair, needs not be linear or affine, and needs not be -nonexpansive.

- (3)

Thus is a Banach operator pair. It is easy to see that is -weak contraction and , do not commute on the set , and so are not weakly compatible. Clearly, is not affine or linear, is convex and is a common fixed point of and .

## Authors’ Affiliations

## References

- Jungck G:
**Commuting mappings and fixed points.***The American Mathematical Monthly*1976,**83**(4):261–263. 10.2307/2318216MathSciNetView ArticleMATHGoogle Scholar - Jungck G:
**Common fixed points for commuting and compatible maps on compacta.***Proceedings of the American Mathematical Society*1988,**103**(3):977–983. 10.1090/S0002-9939-1988-0947693-2MathSciNetView ArticleMATHGoogle Scholar - Jungck G, Hussain N:
**Compatible maps and invariant approximations.***Journal of Mathematical Analysis and Applications*2007,**325**(2):1003–1012. 10.1016/j.jmaa.2006.02.058MathSciNetView ArticleMATHGoogle Scholar - Chen J, Li Z:
**Common fixed-points for Banach operator pairs in best approximation.***Journal of Mathematical Analysis and Applications*2007,**336**(2):1466–1475. 10.1016/j.jmaa.2007.01.064MathSciNetView ArticleMATHGoogle Scholar - Hussain N:
**Common fixed points in best approximation for Banach operator pairs with Ćirić type -contractions.***Journal of Mathematical Analysis and Applications*2008,**338**(2):1351–1363. 10.1016/j.jmaa.2007.06.008MathSciNetView ArticleMATHGoogle Scholar - Hussain N, Rhoades BE:
**-commuting maps and invariant approximations.***Fixed Point Theory and Applications*2006,**2006:**-9.Google Scholar - O'Regan D, Hussain N:
**Generalized -contractions and pointwise -subweakly commuting maps.***Acta Mathematica Sinica*2007,**23**(8):1505–1508. 10.1007/s10114-007-0935-7MathSciNetView ArticleMATHGoogle Scholar - Hussain N, Jungck G:
**Common fixed point and invariant approximation results for noncommuting generalized -nonexpansive maps.***Journal of Mathematical Analysis and Applications*2006,**321**(2):851–861. 10.1016/j.jmaa.2005.08.045MathSciNetView ArticleMATHGoogle Scholar - Meinardus G:
**Invarianz bei linearen approximationen.***Archive for Rational Mechanics and Analysis*1963,**14:**301–303.MathSciNetMATHGoogle Scholar - Habiniak L:
**Fixed point theorems and invariant approximations.***Journal of Approximation Theory*1989,**56**(3):241–244. 10.1016/0021-9045(89)90113-5MathSciNetView ArticleMATHGoogle Scholar - Jungck G, Sessa S:
**Fixed point theorems in best approximation theory.***Mathematica Japonica*1995,**42**(2):249–252.MathSciNetMATHGoogle Scholar - Singh SP:
**An application of a fixed-point theorem to approximation theory.***Journal of Approximation Theory*1979,**25**(1):89–90. 10.1016/0021-9045(79)90036-4MathSciNetView ArticleMATHGoogle Scholar - Al-Thagafi MA:
**Common fixed points and best approximation.***Journal of Approximation Theory*1996,**85**(3):318–323. 10.1006/jath.1996.0045MathSciNetView ArticleMATHGoogle Scholar - Pathak HK, Hussain N:
**Common fixed points for Banach operator pairs with applications.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(9):2788–2802. 10.1016/j.na.2007.08.051MathSciNetView ArticleMATHGoogle Scholar - Pathak HK, Cho YJ, Kang SM:
**An application of fixed point theorems in best approximation theory.***International Journal of Mathematics and Mathematical Sciences*1998,**21**(3):467–470. 10.1155/S0161171298000659MathSciNetView ArticleMATHGoogle Scholar - Khan AR, Akbar F:
**Common fixed points from best simultaneous approximations.***Taiwanese Journal of Mathematics*2009.,**13:**Google Scholar - Al-Thagafi MA, Shahzad N:
**Banach operator pairs, common fixed-points, invariant approximations, and -nonexpansive multimaps.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(8):2733–2739. 10.1016/j.na.2007.08.047MathSciNetView ArticleMATHGoogle Scholar - Berinde V:
**On the approximation of fixed points of weak contractive mappings.***Carpathian Journal of Mathematics*2003,**19**(1):7–22.MathSciNetMATHGoogle Scholar - Berinde V:
*Iterative Approximation of Fixed Points, Lecture Notes in Mathematics*.*Volume 1912*. 2nd edition. Springer, Berlin, Germany; 2007:xvi+322.MATHGoogle Scholar - Khamsi MA, Kirk WA:
*An Introduction to Metric Spaces and Fixed Point Theory, Pure and Applied Mathematics*. Wiley-Interscience, New York, NY, USA; 2001:x+302.View ArticleMATHGoogle Scholar - Berinde V:
**Approximating fixed points of weak contractions using the Picard iteration.***Nonlinear Analysis Forum*2004,**9**(1):43–53.MathSciNetMATHGoogle Scholar - Berinde V, Păcurar M:
**Fixed points and continuity of almost contractions.***Fixed Point Theory*2008,**9**(1):23–34.MathSciNetMATHGoogle Scholar - Singh SP, Watson B, Srivastava P:
*Fixed Point Theory and Best Approximation: The KKM-Map Principle, Mathematics and Its Applications*.*Volume 424*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1997.View ArticleMATHGoogle Scholar - Ćirić LB:
**A generalization of Banach's contraction principle.***Proceedings of the American Mathematical Society*1974,**45**(2):267–273.MathSciNetMATHGoogle Scholar - Ćirić LB:
**Contractive type non-self mappings on metric spaces of hyperbolic type.***Journal of Mathematical Analysis and Applications*2006,**317**(1):28–42. 10.1016/j.jmaa.2005.11.025MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.