Int. J. Contemp. Math. Sciences, Vol. 2, 2007, no. 24, 1163 - 1166

A Note on Common Fixed-Points for Banach Operator Pairs Yisheng Song College of Mathematics and Information Science Henan Normal University, China, 453007 [email protected], [email protected] Sumei Xu Department of Mathematics and Applied Mathematics Anyang Normal University, P.R. China

Abstract. In this paper, we obtain some results on Banach operator pair better than those given by J. Chen and Z. Li [Common Fixed-points for Banach Operator Pairs in Best Approximation, J.Math. Anal. Appl. (2007), doi:10.1016/j.jmaa.2007.01.064]. Mathematics Subject Classification: 41A50, 47H10, 54H25 Keywords: g−nonexpansive mappings, Common fixed points, Banach operator pairs

Recently, J. Chen and Z. Li[1] introduced the notion of Banach operator pairs as a new class of non-commuting maps, and presented serval common fixed point theorems. They also showed that the concept was of basic importance for the study of common fixed points in best approximation and differ from the classical notion such as the (weakly) compatible maps [2, 3, 6] and R−subweakly commuting maps [4, 5]. The ordered pair (T, g) of two self-maps T and g of a metric space E is called a Banach operator pair, if the set F (g) of fixed-points of g is T −invariant, namely T (F (g)) ⊂ F (g). The following theorem is one of their main results in [1]. Theorem CL([1, Theorem 3.2]) Let S be a weakly compact subset of a normed space E which is starshaped with respect to p ∈ S, and let T and g are two self-maps of S such that (T, g) is a Banach operator pair on S, T is g−nonexpansive on S, and p ∈ F (g). If g is both weakly continuous

1164

Yisheng Song and Sumei Xu

and strongly continuous on S, F (g) is starshaped with respect to p, Cl(T (S)) is complete, and if either (i) E satisfies Opial’s condition, or (ii) g − T is demiclosed on S, then F (T, g) = ∅. After carefully read their works, we observed the conditions of Theorem CL is quite rigid also. We attempt to simplify their proof so that remove some conditions. Fortunately, the desired conclusion is reached which is the following. Theorem 1 Let K be a weakly compact subset of a normed space E which is starshaped with respect to p ∈ K, and let f and g are two self-maps of K such that (T, g) is a Banach operator pair on K, T is g−nonexpansive on K, F (g) is starshaped with respect to p, Cl(T (K)) is complete, and p ∈ F (g). Then F (T, g) = ∅ if one of the following conditions holds: (i) g is strongly continuous on K; (ii) g is weakly continuous on K and E satisfies Opial’s condition; (iii) g is weakly continuous on K and I − T is demiclosed at 0; (iv) both T and g are weakly continuous on K. Subsequently, we give some necessary concepts in our proof process. Let K be a nonempty subset of a linear normed space E, T and g be two selfmaps of K, and F (T ) and F (T, g) denote the set of fixed points of T and the set of common fixed points of T, g, respectively. When {xn } is a sequence in E, then xn → x(respectively, xn  x) will stand for strong (respectively, weak) convergence of the sequence {xn } to x. A normed space E is said to satisfy Opial’s condition if for every sequence {xn } ⊂ E weakly convergent to x ∈ E, the inequality lim inf xn − x < lim inf xn − y n→∞

ni →∞

holds for all y = x. The set K is called q−starshaped with q ∈ K if kx + (1 − k)q ∈ K for all x ∈ K and all k ∈ [0, 1]. The selfmap T on K is called g−nonexpansive if T x − T y ≤ g(x) − g(y) for any x, y ∈ K. If g = I, an identity operator, then T is called nonexpansive. A mapping T : K → K is called demiclosed at 0 if for every sequence {xn } ⊂ K such that xn  x and T xn → 0 implies T x = 0. A mapping T : K → K is called continuous if for all {xn } ⊂ K such that xn → x implies that T xn → T x; strongly continuous if for all {xn } ⊂ K such that xn  x implies that T xn → T x; weakly continuous if for all {xn } ⊂ K such that xn  x implies that T xn  T x. Lemma 1([1, Lemma 3.1] Suppose T and g are two self-maps of a closed subset K of the metric space E with the metric d, such that (T, g) is a Banach operator pair on K and T is g−contractive on K, i.e. d(T x, T y)!Ukd(g(x), g(y)), for all x, y ∈ K, with fixed k ∈ [0, 1). If F (g) is non-empty and Cl(T (K)) is complete, then F (T, g) is a singleton. Next, we present the proof of Theorem 1.

Common fixed-points for Banach operator pairs

1165

Proof. Let {kn } be a sequence of real numbers such that 0 < kn < 1 and kn → 1 as n → ∞. Define a sequence Tn of maps on K by Tn x = kn T x + (1 − kn )p for all x ∈ K. Then, for each n, the map Tn does carry K into itself since K is p−starshaped. It follows from the g−nonexpansivity of T that Tn is g−contractive on K for each n since for all x, y ∈ K, Tn x − Tn y = kn T x − kn T y ≤ kn g(x) − g(y). Furthermore, for each n, (Tn , g) is a Banach operator pair on K. Indeed, the fact that x ∈ F (g) implies T x ∈ F (g), and hence Tn x = kn T x + (1 − kn )p ∈ F (g) because F (g) is p−starshaped. Now by Lemma 2, for each n, there exists xn ∈ K such that (1) xn = g(xn ) = kn T xn + (1 − kn )p. The weak compactness of K implies that there exists {xni } ⊂ {xn } such that xni = g(xni ) = kni T xni + (1 − kni )p  z ∈ K. (2) (i) It follows from the strong continuity of g and (2) that g(xni ) → g(z). Then g(z) = z since z  xni = g(xni )  g(z). From (1), we also have xni − T z ≤kni T xni − T z + (1 − kni )p − f (z) ≤kni g(xni ) − g(z) + (1 − kni )p − T z → 0 since g(xni ) → g(z) and kni → 1. By the weakly lower semicontinuity of the norm, we have z − T z ≤ lim inf xni − T z = 0. ni →∞

Then z = T z = g(z), and so z ∈ F (T, g). (ii) The weak continuity of g and (2) imply that g(xni )  g(z). Then g(z) = z. It follows from the weak compactness of K that {xn } and {g(xn )} are bounded, and so is {T xn } because T xn − T p ≤ g(xn ) − g(p). Therefore, lim xn − T xn  = lim (1 − kn )p − T xn  = 0.

n→∞

n→∞

(3)

Suppose that z = T z. Since X satisfies Opial’s condition, then lim inf xni − z < lim inf xni − T z i→∞

i→∞

≤ lim inf (xni − T xni  + T xni − T z) i→∞

≤ lim inf g(xni ) − g(z) = lim inf xni − z, i→∞

i→∞

which is a contradiction. Therefore z = T z and so z ∈ F (T, g). (iii) Similarly to (ii), we obtain that xni  z = g(z) and lim xn − T xn  = 0. n→∞

By the fact that I −T is demiclosed at 0, we get z−T z = 0. Hence, z ∈ F (T, g). (iv) It follows from the fact that xni  z and the weak continuity of T and g that T xni  T z and g(xni )  g(z), respectively. Thus, noticing kn → 1,

1166

Yisheng Song and Sumei Xu

xni = g(xni ) = kni T xni + (1 − kni )p  T z. Hence, we have z = T z = g(z). This complete the proof. References 1. J. Chen and Z. Li, Common Fixed-points for Banach Operator Pairs in Best Approximation, J. Math. Anal. Appl. (2007), doi: 10.1016/j.jmaa.2007.01.064 2. N. Hussain and G. Jungck, Common fixed point and invariant approximation re- sults for noncommuting generalized (f, g)-nonexpansive maps, J. Math. Anal. Appl., 321(2006), 851-861. 3. G. Jungck, Common fixed points for commuting and compatible maps on compacta, Proc. Amer. Math. Soc., 103 (1988), 977-983. 4. N. Shahzad, Invariant approximation and R-subweakly commuting maps, J. Math. Anal. Appl., 257 (2001), 39-45. 5. N. Shahzad, Invariant approximations, generalized I-contractions, and R-subweakly commuting maps, Fixed Point Theory and Applications, 2005:1 (2005), 79-86. 6. Y. Song, Common fixed points and invariant approximations for generalized (f,g)nonexpansive mappings, Communications in Mathematical Analysis, 2(2007), No.2, 1726.

Received: April 6, 2007

A Note on Common Fixed-Points for Banach Operator ...

Recently, J. Chen and Z. Li[1] introduced the notion of Banach operator pairs as a new class of non-commuting maps, and presented serval common fixed point theorems. They also showed that the concept was of basic impor- tance for the study of common fixed points in best approximation and differ from the classical ...

67KB Sizes 0 Downloads 253 Views

Recommend Documents

A Note on Common Fixed-Points for Banach Operator Pairs
[email protected], [email protected]. Sumei Xu. Department of Mathematics and Applied Mathematics. Anyang Normal University, P.R. ...

A Note on Common Fixed-Points for Banach Operator Pairs - CiteSeerX
A normed space E is said to satisfy Opial's condition if for every sequence. {xn} ⊂ E weakly convergent to x ∈ E, the inequality lim inf n→∞ xn − x < lim inf ni→∞.

Growth and distortion theorems on a complex Banach ...
[1] R.W. Barnard, C.H. FitzGerald, S. Gong, A distortion theorem for biholo- morphic mappings in C2, Trans. Amer. Math. Soc. 344 (1994) 907–924. [2] C.-H. Chu, H. Hamada, T. Honda, G. Kohr, Distortion theorems for convex mappings on homogeneous bal

A NOTE ON THE TRACE THEOREM FOR DOMAINS ...
is to fill that gap and generalize that result for ω ⊂ Rn−1, n > 1, and arbitrary ..... the Texas Higher Education Coordinating Board, Advanced Research Program.

A note on performance metrics for Speaker ... - Semantic Scholar
Jun 9, 2008 - regardless of the (analysis) condition it happens to be part of. .... of hard decisions is replaced by a log-error measure of the soft decision score.

A note on for-phrases and derived scales
phrase set to restrict its domain; Bale (2008) takes a gradable adjective to determine ... by a New Initiatives Funding grant from Centre for Research on Language, Mind and Brain in ..... (30) Mia: “Buy me a hat that costs more than $5!” (31) Mia

A note on performance metrics for Speaker ... - Semantic Scholar
Jun 9, 2008 - performance evaluation tools in the statistical programming language R, we have even used these weighted trials for calculating Cdet and Cllr, ...

A Note on Convex Relaxations for Non-Metric ...
13 Aug 2012 - i,j ı{rij. 2 + sij ≤ θij} − ∑ i,j ı{pi − pj − rij = 0} −. ∑ i,j ı{sij − qi = 0}... . (3). We will derive the primal of this expression using the following variant of Fenchel duality, min x f(Ax) = max y:AT y=0. −fâ

A note on performance metrics for Speaker ... - Semantic Scholar
Jun 9, 2008 - this, and then propose a new evaluation scheme that allows for ... different performance, thus forcing system developers to get ... evaluation priors from the application priors, we can give the trials in ..... York - Berlin, 2007.

A note on fracture criteria for interface fracture
e-mail: [email protected]). Received 4 January .... arc in order to produce compressive residual stresses at the specimen edges. Residual curing stresses ...

A NOTE ON CONTROL THEOREMS FOR ...
Fix an integer N ≥ 1 and a prime number p ≥ 5 not dividing N. Let X denote ..... morphism associated with f factors and let R be the integral closure of Λ in K. We call the ...... CMS Conference Proceedings 17, American Mathematical Society, ...

Note on Drafting a speech.pdf
Page 1 of 1. Speech is supposed to be an oral presentation. But ,since you have speech as a discourse ,it is desirable. that we must learn the techniques of writing a speech.While presenting a speech on a stage, the speaker has a. lot of advantages .

A NOTE FOR GROMOV'S DISTANCE FUNCTIONS ON ...
maps d1, d2 : X × X → R, we define a number Dλ(d1, d2) as the infimum of ε > 0 .... k,bi k). Then we define a Borel measurable map Φ1i. 1 : [L(Ki−1), L(Ki)) → Ki ...

A note on fracture criteria for interface fracture
criteria in (9) and (13) are employed for comparison and exhibited in Figure 10. ... more contact and friction induced in the specimen employed by Liechti and Chai (1992) ... elastic solution into (20). ... length parameter L to center the curve.

A note on Kandori-Matsushima
Sep 16, 2004 - Social Science Center, London, ON, N6A 5C2, Tel: 519-661-2111 ext. ... equilibria, where private information is revealed every T-periods, as δ ...

Notes for Christians on Understanding A Common ...
from His way, and He is Best Aware of those who go aright (Sura 16:125). ...... campaign, should be used to teach Christians that Islam promotes the highest values ...... Christians to launch into self-inculpation in this way undermines the.

A Note on -Permutations
We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Mathematical Association of America is collaborating with JSTOR to digitize,

Notes for Christians on Understanding A Common ... - Radical Truth
contrast, the 'Love of the Neighbour' takes up barely more than a page. .... Islamic monotheism is in fact to invite them back to their own religion, and to the.

Notes for Christians on Understanding A Common ...
o the 'common word' theme verse of the letter (Sura 3:64) is associated .... The document is formally structured around the two themes of loving God and loving.

briefing note on - Services
systems. In the light of these conclusions, a series of meetings in Africa, including the Foresight. Africa workshop in Entebbe, the AU meeting of Directors for Livestock Development in. Kigali 2004, the Congress ... OIE meeting of SADC Chief Veterin

A note on juncture homomorphisms.pdf - Steve Borgatti
A full network homomorphism f: N -+ N' is a regular network homomorphism if for each R E [w fi( a) f2( R) fi( b) * 3 c, d E P such that fi(u) = fi( c), fi( b) = fi( d), cRb and uRd for all a, b E P. In a network N the bundle of relations B,, from a t

Spatio-Temporal Tone Mapping Operator based on a ...
Moreover, its non-separable spatio-temporal filter enhances HDR video content processing with an ... computer vision methods to the one inspired by the visual system, each TMO presents a different .... Right: effect on a HDR image (from: www.openexr.

A Performance study on Operator-based stream ...
Operator-based stream processing systems. Miyuru Dayarathna, Souhei Takeno, Toyotaro Suzumura. Department of Computer Science. Tokyo Institute of ...

Note on commented games - GitHub
The starting point for debate upon a classic joseki. 4. An other ... At the start of this game, White made grave errors. ..... 3: At move 28, Black cannot start a ko.