On Some Generalizations of Commuting Mappings //// Hindawi Publishing Corporation Home Journals About Us About this Journal Submit a Manuscript Table of Contents Journal Menu Abstracting and Indexing Aims and Scope Annual Issues Article Processing Charges Articles in Press Author Guidelines Bibliographic Information Contact Information Editorial Board Editorial Workflow Free eTOC Alerts Reviewers Acknowledgment Subscription Information Open Special Issues Published Special Issues Special Issue Guidelines Abstract Full-Text PDF Full-Text HTML Full-Text ePUB Linked References How to Cite this Article Abstract and Applied Analysis Volume 2012 (2012), Article ID 952052, 6 pages doi:10.1155/2012/952052 Research Article <h2>On Some Generalizations of Commuting Mappings</h2> Mohammad Ali Alghamdi , 1 Stojan RadenoviΔ , 2 and Naseer Shahzad 1
1 Department of Mathematics, King AbdulAziz University, P.O. Box 80203, Jeddah 21859, Saudi Arabia 2 Faculty of Mechanical Engineering, Kraljice Marije 16, 11 120 Beograd, Serbia
Received 16 September 2011; Revised 8 November 2011; Accepted 23 November 2011
Academic Editor: Ngai-Ching Wong
Copyright © 2012 Mohammad Ali Alghamdi et al. 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.
Abstract
It is shown that occasionally π₯ β operators as well as occasionally weakly biased mappings reduce to weakly compatible mappings in the presence of a unique point of coincidence (and a unique common fixed point) of the given maps.
1. Introduction and Preliminaries
The study of finding a common fixed point of pair of commuting mappings was initiated by Jungck [ 1 ]. Later, on this condition was weakened in various ways. Sessa [ 2 ] introduced the notion of weakly commuting maps. Jungck [ 3 ] gave the notion of compatible mappings in order to generalize the concept of weak commutativity. One of the conditions that was used most often was the weak compatibility, introduced by Jungck in [ 4 ] fixed point results for various classes of mappings on a metric space, utilizing these concepts. Jungck and Pathak [ 5 ] defined the concept of a weakly biased maps in order to generalize the concept of weak compatibility. In the paper [ 6 ], published in 2008, Al-Thagafi and Shahzad introduced an even weaker condition which they called occasionally weak compatibility (see also [ 7 ]). Many authors (see, e.g., [ 8 – 13 ]) used this condition to obtain common fixed point results, sometimes trying to generalize results that were known to use (formally stronger) condition of weak compatibility. Recently, Hussain et al. [ 14 ] have introduced two new and different classes of noncommuting self-maps: π₯ β -operators and occasionally weakly biased mappings. These classes contain the occasionally weakly compatible and weakly biased self-maps as proper subclasses. For these new classes, authors have proved common fixed point results on the space ( π , π ) which is more general than metric space. We will show in this short note that in the presence of a unique point of coincidence (and a unique common fixed point) of the given mappings, occasionally π₯ β -operators as well as occasionally weakly biased mappings reduce to weakly compatible mappings (and so occasionally weakly compatible mappings). For more details on the subject, we refer the reader to [ 15 – 18 ].
Let π be a nonempty set and let π and π be two self-mappings on π . The set of fixed points of π (resp., π ) is denoted by πΉ ( π ) (resp., πΉ ( π ) ). A point π₯ ∈ π is called a coincidence point ( C P ) of the pair ( π , π ) if π π₯ = π π₯ ( = π€ ) . The point π€ is then called a point of coincidence ( P O C ) for ( π , π ) . The set of coincidence points of ( π , π ) will be denoted as πΆ ( π , π ) . Let P C ( π , π ) represent the set of points of coincidence of the pair ( π , π ) . A point π₯ ∈ π is a common fixed point of π and π if π π₯ = π π₯ = π₯ . The self-maps π and π on π are called (1) commuting if π π π₯ = π π π₯ for all π₯ ∈ π ; (2) weakly compatible (WC) if they commute at their coincidence points, that is, if π π π₯ = π π π₯ whenever π π₯ = π π₯ [ 4 ]; (3) occasionally weakly compatible (OWC) if π π π₯ = π π π₯ for some π₯ ∈ π with π π₯ = π π₯ [ 6 ].
Let π be symmetric on π . Then π and π are called (4) π« -operators if there is a point π₯ ∈ π such that π₯ ∈ πΆ ( π , π ) and π ( π₯ , π π₯ ) ≤ πΏ ( πΆ ( π , π ) ) , where πΏ ( π΄ ) = s u p { m a x { π ( π₯ , π¦ ) , π ( π¦ , π₯ ) } βΆ π₯ , π¦ ∈ π΄ } [ 19 ]; (5) π₯ β -operators if there is a point π€ = π π₯ = π π₯ in P C ( π , π ) such that π ( π€ , π₯ ) ≤ πΏ ( P C ( π , π ) ) [ 14 ]; (6) weakly π -biased, if π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) whenever π π₯ = π π₯ [ 5 ]; (7) occasionally weakly π -biased, if there exists some π₯ ∈ π such that π π₯ = π π₯ and π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) [ 14 ].
Let π βΆ π × π → [ 0 , + ∞ ) be a mapping such that π ( π₯ , π¦ ) = 0 if and only if π₯ = π¦ . Then π and π are called (8) π₯ β -operators if there is a point π€ = π π₯ = π π₯ in P C ( π , π ) such that π ( π€ , π₯ ) ≤ πΏ ( P C ( π , π ) ) and π ( π₯ , π€ ) ≤ πΏ ( P C ( π , π ) ) , where πΏ ( π΄ ) = s u p { m a x { π ( π₯ , π¦ ) , π ( π¦ , π₯ ) } βΆ π₯ , π¦ ∈ π΄ } . ( 1 . 1 )
2. Results
We begin with the following results.
Lemma 2.1 (see [ 20 ]). If a WC pair ( π , π ) of self-maps on π has a unique POC, then it has a unique common fixed point.
The following lemma is according to Jungck and Rhoades [ 12 ].
Lemma 2.2 (see [ 12 ]). If an OWC pair ( π , π ) of self-maps on π has a unique POC, then it has a unique common fixed point.
Proof. Since ( π , π ) is an OWC, there exists π₯ ∈ πΆ ( π , π ) such that π π₯ = π π₯ = βΆ π€ and π π€ = π π π₯ = π π π₯ = π π€ . Hence, π π€ = π π€ is also a POC for ( π , π ) , and since it must be unique, we have that π€ = π π€ = π π€ , t h a t i s , π€ is a common fixed point for ( π , π ) . If π§ is any common fixed point for ( π , π ) (i.e., π π§ = π π§ = π§ ) , then, again by the uniqueness of POC, it must be π§ = π€ .
The following result is due to ÐoriΔ et al. [ 21 ]. It shows that the results of Jungck and Rhoades are not generalizations of results obtained from Lemma 2.1 .
Proposition 2.3 (see [ 21 ]). Let a pair of mappings ( π , π ) have a unique POC. Then it is WC if and only if it is OWC.
Proof. In this case, we have only to prove that OWC implies WC. Let π€ 1 = π π₯ = π π₯ be the given POC, and let ( π , π ) be OWC. Let π¦ ∈ πΆ ( π , π ) , π¦ ≠ π₯ . We have to prove that π π π¦ = π π π¦ . Now π€ 2 = π π¦ = π π¦ is a POC for the pair ( π , π ) . By the assumption, π€ 2 = π€ 1 , t h a t i s , π π¦ = π π¦ = π π₯ = π π₯ . Since, by Lemma 2.2 , π€ 1 is a unique common fixed point of the pair ( π , π ) , it follows that π€ 1 = π π€ 1 = π π π¦ and π€ 1 = π π€ 1 = π π π¦ , hence π π π¦ = π π π¦ . The pair ( π , π ) is WC.
Proposition 2.4. Let π βΆ π × π → [ 0 , + ∞ ) be a mapping such that π ( π₯ , π¦ ) = 0 if and only if π₯ = π¦ . Let a pair of mappings ( π , π ) have a unique POC. If it is a pair of π₯ β -operators, then it is WC.
Proof. Let ( π , π ) be a pair of π₯ β -operators. Then there is a point π€ = π π₯ = π π₯ in P C ( π , π ) such that π ( π₯ , π€ ) ≤ πΏ ( P C ( π , π ) ) and π ( π€ , π₯ ) ≤ πΏ ( P C ( π , π ) ) . Clearly P C ( π , π ) is a singleton. If not, then π€ 1 = π π¦ = π π¦ is a POC for the pair ( π , π ) . By the assumption, π€ = π€ 1 . As a result, we have πΏ ( P C ( π , π ) ) = 0 , which implies π ( π₯ , π€ ) = π ( π€ , π₯ ) = 0 , that is, π₯ = π π₯ = π π₯ . Consequently, we have π π π₯ = π π₯ = π π₯ = π π π₯ and thus ( π , π ) is OWC. By Proposition 2.3 , ( π , π ) is WC.
It is worth mentioning that if π π is the identity mapping, then the pair ( π , π π ) is always WC, but it is a pair of π₯ β -operators if and only if π has a fixed point.
Proposition 2.5. Let π βΆ π × π → [ 0 , + ∞ ) be a mapping such that π ( π₯ , π¦ ) = 0 if and only if π₯ = π¦ . Suppose ( π , π ) is a pair of π₯ β -operators satisfying π ( π π₯ , π π¦ ) ≤ π π ( π π₯ , π π¦ ) + π m a x { π ( π π₯ , π π₯ ) , π ( π π¦ , π π¦ ) } + π m a x { π ( π π₯ , π π¦ ) , π ( π π₯ , π π₯ ) , π ( π π¦ , π π¦ ) } ( 2 . 1 ) for each π₯ , π¦ ∈ π , where π , π , π are real numbers such that 0 < π + π < 1 .Then ( π , π ) is WC.
Proof. By hypothesis, there exists some π₯ ∈ π such that π€ = π π₯ = π π₯ . It remains to show that ( π , π ) has a unique POC. Suppose there exists another point π€ 1 = π π¦ = π π¦ with π€ ≠ π€ 1 . Then, we have π ξ· π€ , π€ 1 ξΈ ξ· = π ( π π₯ , π π¦ ) ≤ ( π + π ) π ( π π₯ , π π¦ ) = ( π + π ) π π€ , π€ 1 ξΈ , ( 2 . 2 ) which is a contradiction since π + π < 1 . Thus ( π , π ) has a unique POC. By Proposition 2.4 , ( π , π ) is WC.
Proposition 2.6. Let π be symmetric on π . Let a pair of mappings ( π , π ) have a unique POC which belongs to πΉ ( π ) . If it is a pair of occasionally weakly π -biased mappings, then it is WC.
Proof. Let ( π , π ) be a pair of occasionally weakly π -biased mappings. Then there exists some π₯ ∈ π such that π π₯ = π π₯ and π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) . Since π€ = π π₯ = π π₯ belong to πΉ ( π ) , then π π€ = π€ , t h a t i s , π π π₯ = π π₯ = π π₯ . Thus π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) = 0 and thus π π π₯ = π π₯ = π π₯ = π π π₯ . Hence ( π , π ) is OWC. By Proposition 2.3 , ( π , π ) is WC.
Let π βΆ [ 0 , + ∞ ) → [ 0 , + ∞ ) be a nondecreasing function satisfying the condition π ( π‘ ) < π‘ for each π‘ > 0 .
Proposition 2.7. Let π , π be self-maps of symmetric space π and let the pair ( π , π ) be occasionally weakly π -biased. If for the control function π , we have π ( π π₯ , π π¦ ) ≤ π ( m a x { π ( π π₯ , π π¦ ) , π ( π π₯ , π π¦ ) , π ( π π¦ , π π₯ ) , π ( π π¦ , π π¦ ) } ) , ( 2 . 3 ) for each π₯ , π¦ ∈ π , then ( π , π ) is WC.
Proof. It remains to show that ( π , π ) has a unique POC which belongs to πΉ ( π ) . Since ( π , π ) are occasionally weakly π -biased mappings, there exists some π₯ ∈ π such that π€ = π π₯ = π π₯ and π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) . If π€ 1 = π π¦ = π π¦ and π€ ≠ π€ 1 , then π ( π π₯ , π π¦ ) ≤ π ( m a x { π ( π π₯ , π π¦ ) , π ( π π₯ , π π¦ ) , π ( π π¦ , π π₯ ) , π ( π π¦ , π π¦ ) } ) = π ( π ( π π₯ , π π¦ ) ) < π ( π π₯ , π π¦ ) , ( 2 . 4 ) which is a contradiction. Also if π π π₯ ≠ π π₯ , we have π ( π π π₯ , π π₯ ) ≤ π ( m a x { π ( π π π₯ , π π₯ ) , π ( π π π₯ , π π₯ ) , π ( π π₯ , π π π₯ ) , π ( π π₯ , π π₯ ) } ) ≤ π ( m a x { π ( π π π₯ , π π₯ ) , π ( π π π₯ , π π₯ ) , π ( π π₯ , π π π₯ ) , π ( π π₯ , π π₯ ) } ) = π ( π ( π π π₯ , π π₯ ) ) < π ( π π π₯ , π π₯ ) , ( 2 . 5 ) which is a contradiction. By Proposition 2.6 , ( π , π ) is WC.
Remark 2.8. According to Propositions 2.4 , 2.5 , 2.6 , and 2.7 , it follows that results from [ 14 ]: (Theorems 2.8, 2.9, 2.10, 2.11, 2.12, 3.7, 3.9 and Corollary 3.8) are not generalizations (extensions) of some common fixed point theorems due to Bhatt et al. [ 9 ], Jungck and Rhoades [ 12 , 13 ], and Imdad and Soliman [ 11 ]. Moreover, all mappings in these results are WC.
Proposition 2.9. Let π be symmetric on π , and let a pair of mappings ( π , π ) have a unique ( πΆ π ) , that is, πΆ ( π , π ) is a singleton. If ( π , π ) is π« -operator pair, then it is WC.
Proof. According to (4), there is a point π₯ ∈ π such that π₯ ∈ πΆ ( π , π ) = { π₯ } and π ( π₯ , π π₯ ) ≤ πΏ ( πΆ ( π , π ) ) = πΏ ( { π₯ } ) = 0 . Hence, π₯ = π π₯ = π π₯ is a unique POC of pair ( π , π ) and since π π π₯ = π π₯ = π₯ = π π₯ = π π π₯ , ( π , π ) is OWC. By Proposition 2.3 it is WC.
Remark 2.10. By Proposition 2.9 , it follows that Theorem 2.1 from [ 19 ] is not a generalization result of [ 6 ], the main result of Jungck [ 1 ], and other results.
Proposition 2.11. Let π be symmetric on π , and let a pair of mappings ( π , π ) have a unique POC. Then it is weakly π -biased if and only if it is occasionally weakly π -biased.
Proof. In this case, we have only to prove that (7) implies (6). Let π€ = π π₯ = π π₯ be the given POC. Let π¦ ∈ πΆ ( π , π ) , π¦ ≠ π₯ . We have to prove that π ( π π π¦ , π π¦ ) ≤ π ( π π π¦ , π π¦ ) . Now π€ 1 = π π¦ = π π¦ is a POC for the pair ( π , π ) . By the assumption, π€ = π€ 1 , that is, π π¦ = π π¦ = π π₯ = π π₯ . Further, we have π π π¦ = π π π₯ and π π¦ = π π₯ , which implies that π ( π π π¦ , π π¦ ) = π ( π π π₯ , π π₯ ) ≤ π ( π π π₯ , π π₯ ) = π ( π π π¦ , π π¦ ) , that is, the pair ( π , π ) satisfies (6).
The following example shows that the assumption about the uniqueness of POC in Propositions 2.3, 2.4, 2.6, and 2.11 cannot be removed.
Example 2.12. Let π = [ 1 , + ∞ ) , π ( π₯ , π¦ ) = | π₯ − π¦ | , π π₯ = 3 π₯ − 2 , π π₯ = π₯ 2 (see [ 21 ]). It is obvious that πΆ ( π , π ) = { 1 , 2 } , the pair ( π , π ) is occasionally weakly π -biased, but it is not weakly π -biased. Also, ( π , π ) is occasionally weakly compatible, but it is not weakly compatible. However, the pair ( π , π ) has not the unique POC.
Acknowledgments
The authors are very grateful to the anonymous referees for their valuable comments and suggestions. The second author is thankful to the Ministry of Science and Technological Development of Serbia.
<h4>References</h4> G. Jungck, “ Commuting mappings and fixed points ,” The American Mathematical Monthly , vol. 83, no. 4, pp. 261–263, 1976. S. Sessa, “On a weak commutativity condition of mappings in fixed point considerations,” Publications Institut Mathématique , vol. 32(46), pp. 149–153, 1982. G. Jungck, “ Compatible mappings and common fixed points ,” International Journal of Mathematics and Mathematical Sciences , vol. 9, no. 4, pp. 771–779, 1986. G. Jungck, “Common fixed points for noncontinuous nonself maps on nonmetric spaces,” Far East Journal of Mathematical Sciences , vol. 4, no. 2, pp. 199–215, 1996. G. Jungck and H. K. Pathak, “ Fixed points via “biased maps” ,” Proceedings of the American Mathematical Society , vol. 123, no. 7, pp. 2049–2060, 1995. M. A. Al-Thagafi and N. Shahzad, “ Generalized I -nonexpansive selfmaps and invariant approximations ,” Acta Mathematica Sinica (English Series) , vol. 24, no. 5, pp. 867–876, 2008. M. A. Al-Thagafi and N. Shahzad, “A note on occasionally weakly compatible maps,” International Journal of Mathematical Analysis , vol. 3, no. 1–4, pp. 55–58, 2009. M. Abbas and B. E. Rhoades, “Common fixed point theorems for occasionally weakly compatible mappings satisfying a generalized contractive condition,” Mathematical Communications , vol. 13, no. 2, pp. 295–301, 2008. A. Bhatt, H. Chandra, and D. R. Sahu, “ Common fixed point theorems for occasionally weakly compatible mappings under relaxed conditions ,” Nonlinear Analysis: Theory, Methods & Applications , vol. 73, no. 1, pp. 176–182, 2010. H. Bouhadjera and Ch. Godet-Thobie, “Common fixed point theorems for occasionally weakly compatible maps,” http://arxiv.org/abs/0812.3734 . M. Imdad and A. H. Soliman, “ Some common fixed point theorems for a pair of tangential mappings in symmetric spaces ,” Applied Mathematics Letters , vol. 23, no. 4, pp. 351–355, 2010. G. Jungck and B. E. Rhoades, “Fixed point theorems for occasionally weakly compatible mappings,” Fixed Point Theory , vol. 7, no. 2, pp. 287–296, 2006. G. Jungck and B. E. Rhoades, “Erratum: “Fixed point theorems for occasionally weakly compatible mappings” [Fixed Point Theory, vol. 7 (2006), no. 2, 287–296],” Fixed Point Theory , vol. 9, no. 1, pp. 383–384, 2008. N. Hussain, M. A. Khamsi, and A. Latif, “Common fixed points for π₯ β -operators and occasionally weakly biased pairs under relaxed conditions,” Nonlinear Analysis: Theory, Methods & Applications , vol. 74, no. 6, pp. 2133–2140, 2011. L. Ciric, B. Samet, and C. Vetro, “ Common fixed point theorems for families of occasionally weakly compatible mappings ,” Mathematical and Computer Modelling , vol. 53, no. 5-6, pp. 631–636, 2011. C. Di Bari and C. Vetro, “ Common fixed point theorems for weakly compatible maps satisfying a general contractive condition ,” International Journal of Mathematics and Mathematical Sciences , vol. 2008, Article ID 891375, 8 pages, 2008. C. Vetro, “Some fixed point theorems for occasionally weakly compatible mappings in probabilistic semi-metric spaces,” International Journal of Modern Mathematics , vol. 4, no. 3, pp. 277–284, 2009. C. Vetro, “ On Branciari's theorem for weakly compatible mappings ,” Applied Mathematics Letters , vol. 23, no. 6, pp. 700–705, 2010. H. K. Pathak and N. Hussain, “Common fixed points for π« -operator pair with applications,” Applied Mathematics and Computation , vol. 217, no. 7, pp. 3137–3143, 2010. M. Abbas and G. Jungck, “ Common fixed point results for noncommuting mappings without continuity in cone metric spaces ,” Journal of Mathematical Analysis and Applications , vol. 341, no. 1, pp. 416–420, 2008. D. ÐoriΔ, Z. Kadelburg, and S. RadenoviΔ, “A note on occasionally weakly compatible mappings and common fixed points,” Fixed Point Theory . Accepted. //
/lp/hindawi-publishing-corporation/on-some-generalizations-of-commuting-mappings-NyTFy0Gerf