Properties and , Embeddings in Banach Spaces with 1-Unconditional Basis and
© H. Fetter and B. Gamboa de Buen. 2010
Received: 24 September 2009
Accepted: 3 November 2009
Published: 11 November 2009
We will use García-Falset and Lloréns Fuster's paper on the AMC-property to prove that a Banach space that embeds in a subspace of a Banach space with a 1-unconditional basis has the property AMC and thus the weak fixed point property. We will apply this to some results by Cowell and Kalton to prove that every reflexive real Banach space with the property and its dual have the and that a real Banach space such that is sequentially compact and has has the .
In 1988 Sims  introduced the notion of weak orthogonality and asked whether spaces with WORTH have the weak fixed point property . Since then several partial answers have been given. For instance, in 1993 García-Falset  proved that if is uniformly nonsquare and has WORTH then it has the , although Mazcuñán Navarro in her doctoral dissertation  showed that uniform nonsquareness is enough. In this work she also showed that WORTH plus 2-UNC implies the In both of these cases the space turns out to be reflexive. In 1994 Sims  himself proved that WORTH plus -inquadrate in every direction for some implies the and in 2003 Dalby  showed that if has and is -inquadrate in every direction for some , then has the .
Recently in 2008 Cowell and Kalton  studied properties and in a Banach space , where coincides with WORTH if is separable and in coincides with in if is a separable Banach space. Among other things they proved that a real Banach space with embeds almost isometrically in a space with a shrinking 1-unconditional basis and observed that and are equivalent if is reflexive.
We proved, using property AMC shown by García-Falset and Lloréns Fuster  to imply the , that spaces that embed in a space with a 1-unconditional basis have the Combining this with Cowell and Kalton's results we were able to show that a reflexive real Banach space with WORTH and its dual both have , giving a partial answer to Sims' question. We also showed that a separable space such that has and is sequentially compact has the .
2. Notations and Definitions
Let be a real Banach space and a closed nonempty bounded convex subset of .
If for we denote by .
It is known that is also closed bounded and convex in and that .
Now we define the property which interests us in this paper, it was given by García-Falset and Lloréns Fuster in 1990 .
is nonempty and . is said to have AMC if every weakly compact nonempty subset of with has the AMC property.
3. Embeddings into Spaces with 1-Unconditional Basis and the wFPP
Lin in  showed that if has an unconditional basis with unconditional constant , then has the . García-Falset and Lloréns Fuster proved that in fact under these conditions has the AMC property which in turn implies the . We will follow the proof of this closely to establish the next theorem.
Let be a Banach space and suppose that there exists a Banach space with a -unconditional basis and a subspace of such that where . Then has AMC and thus the .
Let be an isomorphism with and . Let be a nonempty weakly compact convex subset of with and . We will show that has the AMC property.
Let be a weakly null equilateral sequence in and let . Then is weakly compact and is weakly null in . Hence there exists a sequence and projections with respect to the basis in with
(a) where ,
(b) for all ,
Let be given by . Then clearly for every . Let be given by and and let be . Recall that we will write instead of . By (a), (b), and (c) and since is equilateral we have that
(1) , and ,
(2) , ,
(3) , ,
(4)for all , .
Thus . Since by hypothesis , we obtain that if and . Next we will show that .
Therefore, if we conclude that and thus has the AMC property.
It is evident that if the space has a unconditional basis, if is small enough, the above result remains true for some .
4. Some Consequences
There has always been the conjecture that a space with property WORTH has the . We show here that this is correct as long as is reflexive. We also show that property in implies the in Banach spaces so that is sequentially compact and that WORTH together with WABS implies the as well. All these results are consequences of some theorems by Cowell and Kalton . First we need to recall some definitions.
If is separable and has , this coincides with the property defined in .
Cowell and Kalton in  proved the following three results.
If is a separable real Banach space, then has the property if and only if for any there is a Banach space with a shrinking -unconditional basis and a subspace of such that .
Dalby  observed that property in a space implies property WORTH in and it follows that if is reflexive, then both properties are equivalent. From this and another theorem we are not going to mention here, Cowell and Kalton obtained the next theorem.
If is a separable real reflexive space, then has property WORTH if and only if for any there is a reflexive Banach space with a -unconditional basis and a subspace of such that .
The third result we are going to use is as follows.
If is a separable real Banach space, then has both the properties and WABS if and only if for any there is a Banach space with a shrinking -unconditional basis and a subspace of such that .
From this and our previous work it follows directly the following:
If is a real separable space such that either
(I) has property ,
(II) is reflexive and has property WORTH, or
(III) has both the properties WORTH and WABS,
then has the property AMC and thus the .
It is known that reflexivity implies WABS, and thus (II) implies (III), but we want to include (II) in order to deduce the next corollary. Properties and WABS are inherited by subspaces, and if has property and is sequentially compact, then the dual of any subspace of also has this property. Hence we have the following result.
Let be a real Banach space.
(1)If is reflexive and has property , then and both have the .
(2)If has properties WORTH and WABS, then has the .
(3)If has and is sequentially compact, then has the .
If is a Banach space that satisfies (1), (2), or (3), every separable subspace has the and hence, since the is separably determined, has the . If is separable and reflexive and has property , then it has property as well and this implies by definition that also has property . Therefore both have the and hence the result follows for nonseparable reflexive spaces.
This work is partially supported by SEP-CONACYT Grant 102380. It is dedicated to W. A. Kirk.
- Sims B: Orthogonality and fixed points of nonexpansive maps. In Workshop/Miniconference on Functional Analysis and Optimization (Canberra, 1988), Proceedings of the Centre for Mathematical Analysis, Australian National University. Volume 20. The Australian National University, Canberra, Australia; 1988:178–186.Google Scholar
- García-Falset J: The fixed point property in Banach spaces whose characteristic of uniform convexity is less than 2. Journal of the Australian Mathematical Society. Series A 1993,54(2):169–173. 10.1017/S1446788700037095View ArticleMathSciNetMATHGoogle Scholar
- Mazcuñán Navarro EM: Geometría de los espacios de Banach en teoría métrica del punto fijo, Tesis doctoral. Universitat de Valencia, Valencia, Spain; 2003.Google Scholar
- Sims B: A class of spaces with weak normal structure. Bulletin of the Australian Mathematical Society 1994,49(3):523–528. 10.1017/S0004972700016634MathSciNetView ArticleMATHGoogle Scholar
- Dalby T: The effect of the dual on a Banach space and the weak fixed point property. Bulletin of the Australian Mathematical Society 2003,67(2):177–185. 10.1017/S0004972700033657MathSciNetView ArticleMATHGoogle Scholar
- Cowell SR, Kalton NJ: Asymptotic unconditionality. http://arxiv.org/abs/0809.2294
- García-Falset J, Lloréns Fuster E: A geometric property of Banach spaces related to the fixed point property. Journal of Mathematical Analysis and Applications 1993,172(1):39–52. 10.1006/jmaa.1993.1005MathSciNetView ArticleMATHGoogle Scholar
- Lin P-K: Unconditional bases and fixed points of nonexpansive mappings. Pacific Journal of Mathematics 1985,116(1):69–76.MathSciNetView ArticleMATHGoogle Scholar
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.