• No results found

Comparison between Certain Equivalent Norms Regarding Some Familiar Properties Implying WFPP

N/A
N/A
Protected

Academic year: 2020

Share "Comparison between Certain Equivalent Norms Regarding Some Familiar Properties Implying WFPP"

Copied!
13
0
0

Loading.... (view fulltext now)

Full text

(1)

Volume 2011, Article ID 287145,12pages doi:10.1155/2011/287145

Research Article

Comparison between Certain Equivalent Norms

Regarding Some Familiar Properties Implying

WFPP

Helga Fetter and Berta Gamboa de Buen

Centro de Investigaci´on en Matem´aticas (CIMAT), Apartado Postal 402, 36000 Guanajuato, GTO, Mexico

Correspondence should be addressed to Helga Fetter,[email protected]

Received 13 December 2010; Accepted 1 March 2011

Academic Editor: Enrique Llorens-Fuster

Copyrightq2011 H. Fetter and B. Gamboa de Buen. 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.

In a Banach space with a basis we define a similar norm to the norm shown by Lin to makel1

into a space with FPP and make a comparative study of certain geometric properties such as the Opial property, WNS, and uniform nonsquareness of the original space and the space with the new norm.

1. Introduction

Dowling et al. in1defined a norm inl1which was used by Lin2to exhibit an equivalent

norm which makesl1into a space with the fixed point propertyFPP. A similar norm can be

defined in every Banach spaceXwith a basis. Sincel1with its usual norm does not have FPP,

we asked ourselves if this norm in these spaces would also improve properties that imply the weak fixed point propertyWFPP. We found out that in some instances it does, in some cases the original norm has better properties, and in some cases you cannot compare them. We give several examples to illustrate our assertions.

2. The

Γ

Norm in a Banach Space

We start by giving the definition of the generalization of the norm used by Lin in a Banach space with a basis.

Definition 2.1. LetX, · be a Banach space with a basis{en}. Letxi1xieiX and

(2)

ifQnxQn1xand monotone if PnxPn1xwherePnx IQn1x for every

xXand for everyn∈Æ.

Definition 2.2. LetX, · be a Banach space with a basis{en}andΓ {γn} ⊂Êwith 0< γn<

γn1and limnγn1. Letxi1xieiX. Then if

|x|sup

n γnQnx, 2.1

| · |is a norm inXwhich we will callΓ-norm.

Clearly

γ1x ≤ |x| ≤

sup

n Qn

x. 2.2

Observe that, if{en}is a basis inX, · , then it is always premonotone inX,| · |

and, if {en} is monotone in X, · , then it is also monotone inX,| · |. Also observe that since for everyxX we have that limnγnQnx 0, there existsn0 such that|x|

γn0Qn0x.

Next we define the properties related to wfpp we are going to analyze. The definition of GGLD is not the original one found in3, but an equivalent one found in4.

Definition 2.3. LetYbe a Banach space.

1Y has the Opial property if for every weakly null sequence{xn} ⊂Yand for every

xY, x /0,

lim sup

n

xn<lim sup

n

xnx. 2.3

2IfY has a basis, it has the generalized Gossez-Lami Dozo propertyGGLD 4if, for every weakly null normalized block basic sequence{yn}, we have that

lim

n supi,j≥nyiyj>1. 2.4

3A bounded sequence{yn} ⊂Yis called diametral if

lim

n d

yn1,conv

yi

n

i1 diam

yn

n1. 2.5

Y has weak normal structureWNSif there is no weakly null diametral nonzero sequence inY.

4The coefficientJY, related to uniform nonsquareness, sinceJY <2 if and only ifY is uniformly nonsquare, is given by

JY supminxy,xy :x, yBY

(3)

5The coefficientRY 5is defined by

RY sup

lim inf

n xnx:{x},{xn} ⊂BY, xn−→w 0

. 2.7

6Coefficients RWa, Yand MWY 6are defined as follows: for eacha >0

RWa, Y sup

min

lim inf

n xnx,lim infn xnx

:xa,{xn} ⊂BY, xn−→

w 0

,

MWY sup

1a

RWa, Y :a >0

.

2.8

It is known that GGLD⇒WNS⇒wfpp and the Opial property implies wfpp. Also

RY<2⇒MWY>1⇒wfpp, 2.9

JY<2⇒MWY>1⇒wfpp. 2.10

First we will show that the Opial property is inherited fromX,| · |toX, · and thatX, · has GGLD if and only ifX,| · |has GGLD. In order to achieve this, we need the following result shown in7.

Lemma 2.4. LetX, · be a Banach space with a premonotone basis{en}. Then

1if{xn}converges weakly tox, limnxnxaif and only if limn|xnx|a,

2if{xn}converges weakly to 0 and limnlimrxnxra, there exists a subsequence{yn}

of{xn}such that limnlimr|ynyr|a.

Lemma 2.5. LetX,·be a Banach space with a premonotone basis{en}. IfX,|·|has the Opial

property, thenX, · also has the Opial property, but the converse is false.

Proof. Let{xn}be weakly null inXandxX, x /0. Then, byLemma 2.4and by2.2,

lim sup

n xn

lim sup

n |xn|<

lim sup

n |xnx| ≤

lim sup

n xnx. 2.11

It is known that, for 1< p <∞,lp, · has the Opial property. Consider anyΓ-norm

| · |inlpwith the canonical basis{en}, and letδ > 0 be such that δ < γ2pγ1p/γ1p

1/p

. Then, forn≥2,

|δe1en|max

γ1δp11/p, γn

γn,

lim

n |en|limn γnlimn |δe1en|1.

2.12

(4)

Lemma 2.6. LetX,·be a Banach space with a premonotone basis{en}. Then,X,·has GGLD

if and only ifX,| · |has GGLD.

Proof. Let{yn}be a weakly null normalized block basic sequence. ByLemma 2.4, limnyn

exists if and only if limn|yn|exists and in this case limnynlimn|yn|. Also

lim

n i,j≥nsupyiyjlimn supi,j≥nyiyj. 2.13

The above equality follows immediately from the following inequality, fori,jn:

yiyjyiyj 1

γn

yiyj. 2.14

This proves the lemma.

Now we will show that there exists a space with WNS such that with theΓ-norm it does not have WNS.

Lemma 2.7. LetXbe the spacec0 with the normxsup|bi|

i1εi|bi|, wherex

i1biei,

εi>0 andi1εi<. ThenXhas WNS.

Proof. Let{xn} ⊂Xbe a weakly null nonzero sequence. We may assume thatx1/0 and that

there exists a block basic sequence{un} ⊂Xwithun−xn →

n→ ∞0. Suppose thatun qn

ipnaiei

withpnqn< pn1forn∈Æand thatx1

i1biei. Letkbe such thatki1εi|bi|δ /0. Let

ε < δ/2,s > kwithQsx1< εandn > s. Then,

x1−unεPsx1−unmaxPsx1,un

s

i1

εi|bi|

qn

ipn

εi|ai| ≥ unδ. 2.15

Hence, lim supnx1−xn ≥ lim supnxnδ/2 and {xn} cannot be a diametral sequence,

since for a diametral sequence {xn}it is true that limnxxn diam{xn}for every x

conv{xn}.

Lemma 2.8. LetΓ {γn} ⊂0,1be an increasing sequence with limnγn1. Then there is a space

X, · with WNS, such thatXwith theΓ-norm| · |does not have WNS.

Proof. Let{γnj}jbe a subsequence of{γn}such that, ifεnj 1/31/γnj−1, then

i1εni <∞.

Observe thatεnj < εnj1. LetX be the spacec0with the normx sup|ai|

i1εni|ani|

i1,i /nj|ai|/2i, wherex

i1aiei. ByLemma 2.7, since

i1εni 1/2i < ∞, we know

thatX has WNS. Now let| · |be theΓ-norm inX with respect to{γi}. Letuj enj; then

γnj 1/13εnj, and thus

(5)

and, ifj < m,

ujummaxγnj1εnjεnm, γnm1εnm

≤maxγnj

12εnj

, γnm1εnm

<1.

2.17

Therefore, since 0 ∈ conv{un} and limn|un| 1, we have that diam|·|{un} 1. Also, if 0≤λi,

n−1

i1 λi1,

|un| ≤

n−1

i1

λiuiun

≤1. 2.18

Hence,{un}is diametral inX,| · |.

The above example is another proof of the fact that for everyε >0 there are Banach spacesXandYwithdX, Y<1εso thatXhas WNS butYdoes not.

With regard to the coefficient MWX, we will see that, ifXhas a premonotone basis and MWX, · >1, then MWX,| · |>1 and we will show a sufficient condition for the reverse implication. For this we need the following lemma.

Lemma 2.9. LetXbe a Banach space with a basis. If

RW1a, X sup

minlim infuny,lim infuny :un−→

w 0,

{un} ⊂BX is a block basic sequence,

yaand support ofy is finite,

2.19

then RWa, X RW1a, X.

Proof. It is clear that RW1a, X≤RWa, X.

Now letε >0,xX,xa, and{xn} ⊂BX, withxn

w 0 such that minlimnxn

x,limnxnx > RWa, Xε. By passing to a subsequence, we may assume that there

exist a block basic sequence{un} ⊂BXwithxnun< εandm∈Æsuch thatxPmx< ε

andPmx<1εxa1ε. Then,

Pmx

1εun

xnxxnun − xPmxPmx ε

1ε,

Pmx

1εun

xnxxnun − xPmxPmx1ε

ε.

2.20

Lety Pmx/1ε; thenya, and we conclude that RW1a, X ≥RWa, X−3,

(6)

Similarly one can prove that, ifXis a space with a basis,

RY sup

lim inf

n unx:{x},{un} ⊂BY, un−→w 0,

{un}is a block basic sequence and support ofxis finite

.

2.21

It is knownsee6,8that, ifX,Y are Banach spaces, then

MWX≤MWYdX, Y, JXJYdX, Y. 2.22

So, ifXis a Banach space with a basis,Γ {γn}with 0 ≤γnγn1 ≤1 andγ1 >1/MWX,

andY isX with theΓ-norm, then MWY ≥ MWX/dX, Yγ1MWX > 1, and ifγ1 >

1/MWY, MWX > 1. Similarly, ifγ1 > JX/2, thenJY < 2 and, ifγ1 > JY/2, then

JX<2. But the next proposition shows that in fact MWX>1 always implies MWY>1. For the coefficientJ, in general neitherJX<2 impliesJY<2 nor the other way round, as we will see in Examples2.16and2.17.

Proposition 2.10. Suppose thatXis a Banach space with a premonotone basis {en}. Then MW

MWX, · >1 implies that MW1MWX,| · |>1.

Proof. Let RWa,X,· Raand RWa,X,|·| R1a. Suppose that MW11. Then,

R1a 1afor everya >0. Leta >0 and 0< ε < a, yXwith finite support,|y| ≤a, and let{un}be a weakly null block basic sequence with|un| ≤1 such that limn|uny|>1aε

and limn|uny|>1aε. Then we may suppose that for everyn, |uny|>1aε

and|uny|>1aε. Hence,

|un| ≥1−ε, yaε. 2.23

We may also assume that the supports ofyandunare disjoint. Letun rnilnaieiandy

r

i1biei.

Suppose that|uny|γmnrnimnaibieifor somemnrn. It is not possible that

mn> r, because this would mean that

1aεunyγmn

rn

mn

aiei

≤ |un| ≤1. 2.24

So, by passing to a subsequence if necessary, we may assume that for everynwe have that

mni0≤r. Thus,

1aεunyγi0

rn

ii0

aibiei

γi0

rn

iln

aiei

r

ii0

biei

γi0

γln a.

(7)

Since limnγln 1, by passing to the limit, we obtain that

γi0≥1−ε. 2.26

Similarly, there existsγi1≥1−εwith

1aεunyγi1

γln a. 2.27

Suppose that i1 ≥ i0, and let y0

r

ii0biei and y1

r

ii1biei. Then, since the basis is

premonotone, 1aε ≤ |uny| |uny0| ≤ uny0and 1aε ≤ |uny| |uny1| ≤ uny1 ≤ uny0; thus,

aεy0≤ya. 2.28

Therefore,

aεy0≤y0≤ 1

γi0

y0 a

γi0

a

1−ε 2.29

and|y0 −a| ≤max{ε, aε/1−ε}. Further, sinceγi0γln,

1−ε≤ |un| ≤ un ≤ 1

γln|un| ≤

1

γln

1

1−ε 2.30

and|un −1| ≤ε/1−ε. Hence,

uunn

y0

y0a

uny0− |un −1| −y0−a

≥1aεε

1−ε −max

ε,

1−ε

.

2.31

Similarly,

uunn

y0

y0a≥1aεε

1−ε−max

ε,

1−ε

. 2.32

We deduce that minlim infnun/un y0/y0a,lim infnun/uny0/y0a

1aεε/1−ε−max{ε, aε/1−ε}, and lettingεtend to zero we obtainRa 1aand

MW1.

(8)

Recall that a basis{en}of a Banach spaceXis 1-spreading if, wheneverxi1aiei

Xand{eni}iis a subsequence of{en},

i1aieniXand∞i1aieii1aieni.

Proposition 2.11. IfXis a Banach space with a premonotone 1-spreading basis, thenMWX,·≥

MWX,| · |.

Proof. LetTm : XX be the translation given byTmi1aieii1aieim, and leta >

0,yX,ya,{un} ⊂BX, whereyhas finite support and{un}is a weakly null block basic

sequence such that minyun,yun > RWa,X, · −εfor everyn. Letm ∈ Æ;

then there existsN ∈ Æ such that forn > N the supports ofTmy andun are disjoint, and

thus, since the basis is 1-spreading,yunTmyunandyunTmyun. Then,

|Tmy| ≤ Tmya,|un| ≤ un ≤1 and forn > N

TmyunγmTmyunγmyun,

TmyunγmTmyunγmyun. 2.33

Hence, RWa,X,| · | ≥ γmRWa,X, · , and, by passing to the limit asmtends to

infinity, we get RWa,X,| · |≥RWa,X, · and thus the desired result.

Similarly to Propositions2.10and2.11we can prove the following.

Proposition 2.12. Suppose that X is a Banach space with a premonotone basis {en}. Then R RX, · <2 implies thatR1 RX,| · | <2 and, if the basis is premonotone and 1-spreading,

thenRRX, · ≤RX,| · | R1.

Corollary 2.13. IfXis a Banach space with a premonotone 1-spreading basis, thenMW1>1 if and

only ifMW >1; alsoR1<2 if and only ifR <2.

Next we will show an example of a space without a 1-spreading basis, such thatR2, MW1 butR1<2 and thus MW1>1.

Example 2.14. LetXbec0with the following norm:

{an}|a1|max

i≥2 |ai|. 2.34

Let{en}denote the canonical basis ofc0. Then for everya >0,ae1enae1−en1a,

and thusR 2 and MW 1. On the other hand letxXwith finite support and|x| ≤1 and suppose that{un}is a block basic sequence with|un| ≤1 fornN,un rnimnaiei

withmnrn< mn1and the support ofxdoes not intersect the support ofun. Then, for every

m≥2 andnm, γmQmxunmaxγmQmxc0, γmunc0≤1,

γ1xun ≤1γ1unc0 ≤1

γ1

γmn. 2.35

Thus, lim inf|xun| ≤1γ1. HenceR1≤1γ1<2 and, by2.9, MW1>1.

With regard to the coefficientJ we have the following which is proved similarly to

(9)

Proposition 2.15. Suppose that X is a Banach space with a premonotone 1-spreading basis

{en}. ThenJX, · ≤JX,| · |.

In general neitherJX, · <2 impliesJX,| · |<2 nor the other way round, as the following examples show.

Example 2.16. Let 1> μ≥1/√2 andX Ê

2

μ

2l2, whereÊ

2

μ Ê

2, ·

μandx1, x

max|x1|,|x2|, μ|x1||x2|. Then, ifμγ21γ2,JX<2 but for everyΓ,JX,| · | 2.

Sinceμ≥1/√2, it is easy to see that forx x1, x2∈Ê

2,

μ

1−2μ2μ2x2≤ xμ≤μ

2x2. 2.36

Thus,dl2, XdÊ

2,

Ê

2

μ

2

1−2μ2μ2<2, and by2.22, sinceJl2 √2, we obtain

thatJX<2.

Now let Γ {γn}, μγ21 γ2, x 11,12,0,0, . . ., and y −11,12,0,0, . . .. Then|x||y|1 but|xy||xy|2.

This last example is another proof of the known fact that for every ε > 0 there are Banach spacesXandYwithdX, Y<1ε,JX<2 butJY 2. In the following example we exhibit a spaceXwithJX 2 such thatJX,| · |<2.

Example 2.17. LetX l2, · , where, forx anl2,x |a1| ∞i2a2i

1/2

. Then

JX 2,MWX 1, and, ifΓis such thatγ2>1/

2 andγ12<1/

2,JX,| · |<2 and

thus MWX, | · |>1.

Obviously if{en}is the canonical basis ofl2, anda >0, thenae1enae1−en

1aforn >1 and thusJX 2 and MWX 1.

Suppose now thatJY JX,| · | 2. Then there exist sequences{xn},{yn} ⊂BY

such that limn|xnyn|limn|xnyn|2 and{mn},{ln} ⊂Æso that

xnynγmnQmn

xnyn ,

xnynγlnQln

xnyn .

2.37

By passing to a subsequence, we may assume that, for everyn∈Æ,e

1xn≥0,e∗1yn

0 ande1xne1yn, and that the subsequence satisfies one of the next three cases:

1mn>1 andln>1 for everyn,

2mnln1 for everyn,

3mn1 andln>1 for everyn.

Observe that

γmQm

xy ≥2−ε impliesγmQmx ≥1−εand γmQm

(10)

Case 1. LetZ l2,| · |Γ1, where| · |Γ1is theΓ1{γi}i2-norm. Then

|Q2xn|Γ1≤1, Q2ynΓ1≤1,

Q2

xnyn Γ1 ≥2−ε, Q2

xnyn Γ1≥2−ε.

2.39

Since 12 <

2, then, by2.2,dZ, l2 <√2 and, by2.22, sinceJl2 2, JZ< 2 and this is a contradiction.

Case 2. Letε >0. Suppose thatxi1aiei,yi1bieiBY,a1>0, b1>0,a1> b1and

γ1

i2

aibi2

1/2

≥2−εγ1a1b1,

γ1

i2

aibi2

1/2

≥2−εγ1a1−b1.

2.40

Squaring both inequalities and adding them, sinceγ2∞i2a2i

1/2≤ |

x|, we get

2γ2 1

γ2 2

γ12

i2

a2i b2i≥2−εγ1a1 2γ12b21≥

2−εγ1a1 2. 2.41

By passing to the limit asε → 0, sinceγ1a1≤1, we obtain that

2γ12≥2−γ1a1 ≥1, and

this contradictsγ12<1/

2.

Case 3. Let 2> ε >0. Suppose thatxi1aiei, y

i1bieiBY, a1 >0, b1 ≥0, a1 > b1and

|xy| γ1|a1b1| ∞i2aibi2

1/2

≥ 2−εand|xy| γmimaibi2

1/2

2−ε. Then, by2.38,

γm

im

a2i

1/2

(11)

Since inl2ifu, vBl2, one has thatuvδimpliesuv ≤2

1−δ/22, then

γm

imaibi2

1/2

≤√4εε2. Also

2−εγ1

|a1b1|

m−1

i2

aibi2

1/2

im

aibi2

1/2⎞

γ1|a1b1|γ1

m−1

i2

aibi2

1/2

γ1

γm

4εε2

γ1|a1b1|γ1

m−1

i2

aibi2

1/2

4εε2.

2.43

Letφε√4εε2; then

2−φγ1|a1b1|γ1

m−1

i2

aibi2

1/2

. 2.44

By2.38, γ1|a1|γ1

m−1

i2 a2i

1/2

≥1−φ, and since, forA, B >0,

AB1/2−A1/2 B

AB1/2A1/2, 2.45

we have, using2.42, that

1≥γ1|a1|γ1

i2

a2i

1/2

γ1|a1|γ1

m−1

i2

a2i

1−ε2 γm2

1/2

γ1|a1|γ1

m−1

i2

a2i

1/2

γ11−ε2

γm2

1

AB1/2A1/2

≥1−φγ11−ε

2

γm2

1

AB1/2A1/2,

2.46

whereA m−i21a2

i

1/2

andB 1−ε22

m. But

AB1/2A1/2≤

1

γ2 2

1−ε2

γ2

m

1/2

1

γ2 ≤

3

γ2

(12)

therefore,

γ1< γ1

γ2

m

φ

1−ε2

3

γ2, 2.48

and, taking the limit asε → 0, we getγ10 which is a contradiction.

Hence,JX,| · |<2, and, by2.10, we have that MWX,| · |>1.

Acknowledgments

The authors thank the referees for their detailed review and valuable observations. This work was partially funded by Grant SEP CONACYT 102380.

References

1 P. N. Dowling, C. J. Lennard, and B. Turett, “Renormings ofl1andc0and fixed point properties,”

in Handbook of Metric Fixed Point Theory, pp. 269–297, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2001.

2 P.-K. Lin, “There is an equivalent norm onl1that has the fixed point property,” Nonlinear Analysis:

Theory, Methods & Applications, vol. 68, no. 8, pp. 2303–2308, 2008.

3 A. Jim´enez-Melado, “Stability of weak normal structure in James quasi reflexive space,” Bulletin of the Australian Mathematical Society, vol. 46, no. 3, pp. 367–372, 1992.

4 H. Fetter and B. Gamboa de Buen, “Geometric properties related to the fixed point property in Banach spaces,” Revista de la Real Academia de Ciencias Exactas, F´ısicas y Naturales, vol. 94, no. 4, pp. 431–436, 2000.

5 J. Garc´ıa Falset, “The fixed point property in Banach spaces with the NUS-property,” Journal of Mathematical Analysis and Applications, vol. 215, no. 2, pp. 532–542, 1997.

6 J. Garc´ıa Falset, E. Llorens-Fuster, and E. M. Mazcu ˜n´an-Navarro, “Uniformly nonsquare Banach spaces have the fixed point property for nonexpansive mappings,” Journal of Functional Analysis, vol. 233, no. 2, pp. 494–514, 2006.

7 H. Fetter and B. Gamboa de Buen, “Banach spaces with a basis that are hereditarily asymptotically isometric tol1and the fixed point property,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71,

no. 10, pp. 4598–4608, 2009.

(13)

Submit your manuscripts at

http://www.hindawi.com

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Differential Equations

International Journal of

Volume 2014

Applied MathematicsJournal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014 Mathematical PhysicsAdvances in

Complex Analysis

Journal of Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Optimization

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Combinatorics

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

International Journal of Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Function Spaces

Abstract and Applied Analysis

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

International Journal of Mathematics and Mathematical Sciences

Hindawi Publishing Corporation http://www.hindawi.com Volume 2014

The Scientific

World Journal

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Dynamics in Nature and Society Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Discrete Mathematics

Journal of

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Hindawi Publishing Corporation

http://www.hindawi.com Volume 2014

Stochastic Analysis

References

Related documents