The Szlenk Index and the Fixed Point Property under Renorming
© T. Dom´ınguez Benavides. 2010
Received: 25 November 2009
Accepted: 19 January 2010
Published: 2 February 2010
Assume that is a Banach space such that its Szlenk index is less than or equal to the first infinite ordinal . We prove that can be renormed in such a way that with the resultant norm satisfies , where is the García-Falset coefficient. This leads us to prove that if is a Banach space which can be continuously embedded in a Banach space with , then, can be renormed to satisfy the w-FPP. This result can be applied to Banach spaces which can be embedded in , where is a scattered compact topological space such that . Furthermore, for a Banach space , we consider a distance in the space of all norms in which are equivalent to (for which becomes a Baire space). If , we show that for almost all norms (in the sense of porosity) in , satisfies the w-FPP. For general reflexive spaces (independently of the Szlenk index), we prove another strong generic result in the sense of Baire category.
Assume that is a Banach space. The most common aim of the Renorming Theory is to find an equivalent norm which satisfies (or which does not satisfy) certain specific properties. A detailed account of this topic can be found in the monographs [1–3]. This paper focuses on the Renorming Theory in connection with the Fixed Point Theory. It is usually said that a Banach space satisfies the weak Fixed Point Property (w-FPP) if for every convex weakly compact subset of , each nonexpansive mapping has a fixed point. Many geometrical properties of (uniform convexity, uniform smoothness, uniform convexity in every direction, uniform non-squareness, normal structure, etc.) are known to imply the w-FPP (see, e.g., [4–6] and references therein). However, no characterization of the w-FPP in terms of these properties is known. Therefore, we can regard the w-FPP as an intrinsic property of a Banach space. Since the w-FPP is not preserved under isomorphisms, a very natural question in Renorming Theory and Fixed Point Theory would be the following: let be a Banach space. Is it possible to renorm so that the resultant space has the w-FPP? This is not generally the case. Indeed, Partington [7, 8] has proved that every renorming of for an uncountable set and any renorming of contains an isometric copy of and, consequently, it fails the w-FPP (due to Alspach example ). Thus, it would be interesting to identify some classes of Banach spaces which can be renormed to satisfy the w-FPP. For instance, Day et al.  have proved that every separable Banach space has a UCED renorming. Since uniform convexity in every direction implies normal structure and this property implies the w-FPP (see, e.g., ), we obtain that any separable Banach space can be renormed to satisfy the w-FPP. These arguments do not work for nonseparable spaces because, as mentioned above, there are some Banach spaces which cannot be renormed to satisfy the w-FPP. (In fact, in , it is shown that has no UCED renorming if is uncountable). Since in  an example is given of a reflexive Banach spaces which does not admit any UCED renorming, the following question, which appears in [12, Open Question VI] and [1, Problem VII.3] and which remained unanswered for a long time, seems to be very natural: can any reflexive Banach space be renormed to satisfy the (w)-FPP? In  it is shown that this is indeed the case. Actually, the following result is proved in : assume that is a Banach space such that there exists a bounded one-one linear operator from into . Then, has an equivalent norm which satisfies the w-FPP. This embedding property is satisfied by a very general class of Banach spaces, for instance subspaces of a space with Markushevich basis, as WCG spaces (and so separable and reflexive spaces), dual of separable spaces as , and so forth.
The proof of the result in  is strongly based upon some specific properties of the space , specially the equality , where is García-Falset's coefficient . It must be noted that any Banach space such that satisfies the w-FPP (see ). Thus, it would be natural to extend the above result to any Banach space which can be embedded in more general Banach spaces than , but still satisfying . In  we prove this extension in the following sense: assume that is a Banach space such that , where is García-Falset's coefficient, and is a Banach space which can be continuously embedded in . Then, can be renormed to satisfy the w-FPP.
In this paper we will use the Szlenk index to show a wide class of Banach spaces which can be renormed to satisfy . The Szlenk index  is an ordinal number which was introduced to prove that there is no separable reflexive Banach space universal for the class of all separable reflexive Banach spaces. Later, this index has been used in various areas of the geometry of Banach spaces (see  for a survey about it). Recently, Raja  has proved that if is an Asplund space and , then there is an equivalent norm on such that the dual norm on is UKK*. We will show in this paper that this fact leads us to prove when is endowed with this norm.
On the other hand, if we endow with the discrete topology and denote by the one-point compactification of , then is isometrically contained in , where is a topological compact space which satisfies . Thus, if a Banach space can be continuously embedded in then, it can also be embedded in , where is a scattered compact topological space such that . Since satisfies the w-FPP  when is a scattered compact topological space such that , another natural question would be the following: assume that is a Banach space which can be continuously embedded in for some as above. Can be renormed to satisfy the w-FPP? Using the results about the Szlenk index and the main result in , we can prove that this is indeed the case. Nominally, since if (and only if) is as above, we obtain the following: let be the space of real continuous functions defined on a scattered compact topological space such that . Then, it can be renormed in such a way that (where is the new norm) and the dual norm is UKK*. In order to better understand the relevance of this result, note that in the metrizable case, if , then is isomorphic to and, consequently, there exists an equivalent norm such that . From this result and the main result in , we can easily deduce that if a Banach space can be continuously embedded in , as above, then it can be renormed to satisfy the w-FPP. (In  the same result for was obtained by a direct and very technical method). This is a strict improvement of the result in , because, as proved in , when is a Ciesielski-Pol's compact, then , but cannot be continuously embedded in for any set .
In the last section, for a Banach space , we consider a metric in the space of all norms in which are equivalent to , and note that becomes a Baire space for the corresponding metric topology. If , we show that for almost all norms (in the sense of porosity) in , satisfies the w-FPP. We finish with another strong generic result in the sense of Baire category for general reflexive spaces (without any assumption on the Szlenk index).
2. Szlenk Index and Fixed Points
We start reminding some definition and stating the previous results which we will use.
Let be a topological space and a subset of . The set is said to be perfect if it is closed and has no isolated point, that is, is equal to the set of its own accumulation points. The space is said to be scattered if it contains no perfect nonvoid subset.
where is a limit ordinal.
Let us recall the definition of García-Falset's coefficient.
Definition 2.2 (see ).
Theorem 2.3 (see ).
Let be a Banach space such that . Then, satisfies the w-FPP.
Theorem 2.4 (see ).
Let be a Banach space such that . Assume that is another Banach space, such that there exists a continuous one-to-one mapping . Then, can be renormed to satisfy the w-FPP.
Let be a Banach space with dual . We say that the dual norm is UKK* if for every there is such that every with has a weak* open neighborhood with diam .
We remind the definition of the Szlenk index. Following the survey , we consider a more general definition than that in . However, both definitions are identical for separable spaces which do not contain .
if such an ordinal exists. Otherwise, we write . Finally the Szlenk index is defined by .
It is known (see [18, Theorem 2] or [1, Theorem 5.2]) that if and only if is an Asplund space. Since our results apply for Banach spaces satisfying , from now on, we will only consider Asplund spaces.
Theorem 2.8 (see ).
Let be an Asplund space with . Then, there is an equivalent norm on such that the dual norm on is UKK*.
Let be a compact topological space. It is known (see, e.g., [1, Lemma 8.3]) that is an Asplund space if and only if is scattered. For special scattered sets, we have a more precise result.
Theorem 2.9 (see [18, Theorem 24]).
Let be a scattered compact space. The following assertions are equivalent:
We will use the equivalent definition of the UKK* property given by the following lemma.
Assume that is a Banach space. Then the dual norm is UKK* if and only if for every , there exists such that if is a net in the unit ball of convergent to in the weak* topology such that , then .
Assume that the above condition is satisfied and let . Suppose that diam for every open neighborhood of in the weak*-topology. We can choose such that . Then, is a net in convergent to in the weak*-topology. Taking a subnet of such that exists, we obtain . Conversely, assume that the dual norm is UKK*. Let be a net in convergent to in the weak*-topology such that . Let be an open neighborhood of in the weak*-topology. There exist such that for every we have and . Thus diam , which implies .
Note that the above notion implies the sequential-UKK* condition, that is, the dual norm is (sequentially)-UKK* if for every , there exists such that if is a sequence in the unit ball of convergent to in the weak* topology such that , then . Both conditions are equivalent if either is separable (and, consequently, the weak*-topology restricted to bounded subsets of is metrizable) or is reflexive (due to the angelicity of weak compact sets).
Let be an Asplund space with . Then, there is an equivalent norm on such that and, hence, satisfies the w-FPP.
Following an argument as in the proof of Proposition III.11 in , we can also obtain the condition under the following more general assumption which is usually denoted as w-UKK* property: there exist and such that if is a net in the unit ball of convergent to in the weak*-topology and such that , then . However, this condition does not yield to an improvement of the above theorem, because if satisfies the w-UKK* property, there is a renorming of such that the dual norm satisfies the UKK* property. Indeed, it is easy to check that the w-UKK* property implies that the Szlenk index is finite for some . Since the function is submultiplicative [18, Proposition 4], we have that and thus is finite for every positive . Thus, the existence of an equivalent norm in such that the dual norm satisfies the UKK* property is a consequence of Theorem 2.8.
- (2)We can also deduce some fixed point properties for the dual norm. First of all, we should mention that if is an Asplund space, then can be continuously embedded in for some set . Thus, by the main result in , has an equivalent (in general non-dual) norm which satisfies the w-FPP. On the other hand, we know (see [23, Corollary 5.10]) that property UKK* implies that the coefficient is greater than 1, where(2.7)
and the infimum is taken over all weak*-null sequences in such that both limits exist and . This condition implies that every separable weak*-compact subset of has normal structure (see [24, Theorem 2] or [23, Proposition 5.3]). Thus, admits a dual equivalent norm such that if is a nonexpansive mapping defined from a separable weak*-compact convex subset of into , then has a fixed point (see [24, Theorem 1]). If is reflexive, the separability assumption can be removed, because the condition implies normal structure for weakly compact subsets of and we recover the first mentioned renorming result (now, for a dual norm because any equivalent norm is a dual norm in a reflexive space ). However, in this case we obtain a stronger result because we have an equivalent norm in such that endowed with the new norm satisfies the w-FPP and endowed with the dual norm satisfies the w-FPP either (Theorem 3.4 in the last section will show a different way to prove a stronger result). Also in the reflexive case, since is nearly uniform convex, we can also assure that satisfies the w-FPP for nonexpansive multivalued mappings (with compact convex values) (see, e.g., ).
Theorem 2.12 jointly with [16, Theorem 2.5] yields to the main result in this paper.
Let be a Banach space with . Assume that is another Banach space, such that there exists a continuous one-to-one mapping . Then, can be renormed to satisfy the w-FPP.
Assume that is an uncountable set. We can consider that is endowed with the discrete topology. Let be the one-point compactification of . Then, is isomorphic to by defining by . Thus any space which can be continuously embedded in , can be also embedded in , where . From Theorems 2.9 and 2.14, we obtain the following result which strictly improves the main result in , because as mentioned in the introduction and proved in , there exists a compact set (Ciesielski-Pol's compact), such that , but cannot be continuously embedded in for any set . The same result is proved in  using a direct but very technical argument.
Let be a Banach space which can be continuously embedded in for some compact set such that . Then, can be renormed to satisfy the w-FPP.
3. Genericity of the w-FPP and Szlenk Index
Following the approach in , for a Banach space , with closed unit ball , we denote by the Baire space of all equivalent norms with the metric .
In a Baire space, we can regard first category sets as negligible sets. However, we can also consider a deeper notion of negligible set. We should remember that a set in a topological space is nowhere dense if its closure has empty interior. If is a metric space, this fact means that for every and , there exists and such that . A more strict condition is the following.
Let be a metric space. A subset of is said to be porous if there exist and such that for every and , there exists such that . A subset of is called - if is the union of a countable family of porous sets.
Porous and -porous set can be considered "small" in . In particular a -porous set is obviously of Baire first category and, for , a -porous set is a null set with respect to the Lebesgue measure.
In [28, Theorem 14], it is proved that if is a Banach space such that , then there exists a -porous set such that if the space satisfies the w-FPP. From this and Theorem 2.12, we easily obtain the following generic result.
Assume that is a Banach space with and is the set of all norms in which are equivalent to the original norm with the metric . Then, there exists a -porous set such that if the space satisfies the w-FPP.
In particular, we obtain the following generic result, which can be regarded as an improvement of the result in  about the w-FPP in .
Assume that and is the set of all norms in which are equivalent to the supremum norm with the metric . Then, there exists a -porous set such that if , the space satisfies the w-FPP.
For general reflexive spaces (independently of the Szlenk index), we can use the main result in  to prove a strong generic result in the sense of the Remarks 2.13. If is a norm in a Banach space , we will denote by the dual norm on the dual space and by the Baire space of all equivalent norms to with the metric .
Let be a reflexive space. There exists a residual subset of (i.e., is of Baire fist category) such that for every , the spaces and ( satisfy both the w-FPP.
Thus . Analogously, which implies for every in the unit ball of , that is, . Finally, defining , we conclude the proof.
We do not know if a porous version of the above theorem does hold. In fact, we do not know either if Corollary 2.5 in  holds in the sense of porosity. Furthermore, the mapping defined in the proof of Theorem 3.4 is a homeomorphism, but it is not uniformly continuous. Indeed, the sequence of norms in , defined by , is a Cauchy sequence, but the dual sequence is not. Thus, the -porosity of does not, in general, imply the -porosity of .
The author is very grateful to M. Fabian for some valuable comments. The author is partially supported by DGES, Grant BFM2006-13997-C02-01 and Junta de Andalucía, Grant FQM-127. This work is dedicated to W. Takahashi acknowledging his wide and deep legacy in Fixed Point Theory.
- Deville R, Godefroy G, Zizler V: Smoothness and Renormings in Banach Spaces, Pitman Monographs and Surveys in Pure and Applied Mathematics. Volume 64. Longman Scientific & Technical, Harlow, UK; 1993:xii+376.MATHGoogle Scholar
- Godefroy G: Renormings of Banach spaces. In Handbook of the Geometry of Banach Spaces. Volume 1. North-Holland, Amsterdam, The Netherlands; 2001:781–835.View ArticleGoogle Scholar
- Fabian M, Habala P, Hájek P, Montesinos Santalucía V, Pelant J, Zizler V: Functional Analysis and Infinite-dimensional Geometry, CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. Volume 8. Springer, New York, NY, USA; 2001:x+451.View ArticleMATHGoogle Scholar
- Goebel K, Kirk WA: Topics in Metric Fixed Point Theory, Cambridge Studies in Advanced Mathematics. Volume 28. Cambridge University Press, Cambridge, UK; 1990:viii+244.View ArticleMATHGoogle Scholar
- Takahashi W: Nonlinear Functional Analysis, Fixed Point Theory and Its Application. Yokohama Publishers, Yokohama, Japan; 2000:iv+276.MATHGoogle Scholar
- Ayerbe Toledano JM, Domínguez Benavides T, López Acedo G: Measures of Noncompactness in Metric Fixed Point Theory, Operator Theory: Advances and Applications. Volume 99. Birkhäuser, Basel, Switzerland; 1997:viii+211.View ArticleMATHGoogle Scholar
- Partington JR: Equivalent norms on spaces of bounded functions. Israel Journal of Mathematics 1980,35(3):205–209. 10.1007/BF02761190MathSciNetView ArticleMATHGoogle Scholar
- Partington JR: Subspaces of certain Banach sequence spaces. The Bulletin of the London Mathematical Society 1981,13(2):163–166.MathSciNetView ArticleMATHGoogle Scholar
- Alspach DE: A fixed point free nonexpansive map. Proceedings of the American Mathematical Society 1981,82(3):423–424. 10.1090/S0002-9939-1981-0612733-0MathSciNetView ArticleMATHGoogle Scholar
- Day MM, James RC, Swaminathan S: Normed linear spaces that are uniformly convex in every direction. Canadian Journal of Mathematics 1971,23(6):1051–1059.MathSciNetView ArticleMATHGoogle Scholar
- Kutzarova DN, Troyanski SL: Reflexive Banach spaces without equivalent norms which are uniformly convex or uniformly differentiable in every direction. Studia Mathematica 1982,72(1):91–95.MathSciNetMATHGoogle Scholar
- Kirk WA: Some questions in metric fixed point theory. In Recent Advances on Metric Fixed Point Theory (Seville, 1995), Ciencias. Volume 48. Universidad de Sevilla, Seville, Spain; 1996:73–97.Google Scholar
- Domínguez Benavides T: A renorming of some nonseparable Banach spaces with the fixed point property. Journal of Mathematical Analysis and Applications 2009,350(2):525–530. 10.1016/j.jmaa.2008.02.049MathSciNetView ArticleMATHGoogle Scholar
- García-Falset J: Stability and fixed points for nonexpansive mappings. Houston Journal of Mathematics 1994,20(3):495–506.MathSciNetMATHGoogle Scholar
- García Falset J: The fixed point property in Banach spaces with the NUS-property. Journal of Mathematical Analysis and Applications 1997,215(2):532–542. 10.1006/jmaa.1997.5657MathSciNetView ArticleMATHGoogle Scholar
- Domínguez Benavides T, Phothi S: The fixed point property under renorming in some classes of Banach spaces. Nonlinear Analysis: Theory, Methods & Applications 2010,72(3–4):1409–1416. 10.1016/j.na.2009.08.024View ArticleMathSciNetMATHGoogle Scholar
- Szlenk W: The non-existence of a separable reflexive Banach space universal for all separable reflexive Banach spaces. Studia Mathematica 1968, 30: 53–61.MathSciNetMATHGoogle Scholar
- Lancien G: A survey on the Szlenk index and some of its applications. RACSAM. Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas 2006,100(1–2):209–235.MathSciNetMATHGoogle Scholar
- Raja M: On weak ∗ uniformly Kadec-Klee renormings.
- Domínguez Benavides T, Japón Pineda MA: Fixed points of nonexpansive mappings in spaces of continuous functions. Proceedings of the American Mathematical Society 2005,133(10):3037–3046. 10.1090/S0002-9939-05-08149-9MathSciNetView ArticleMATHGoogle Scholar
- Godefroy G, Pelant J, Whitfield JHM, Zizler V: Banach space properties of Ciesielski-Pol's space. Proceedings of the American Mathematical Society 1988,103(4):1087–1093.MathSciNetMATHGoogle Scholar
- Fabian M, Godefroy G: The dual of every Asplund space admits a projectional resolution of the identity. Mathematische Annalen 1982, 258: 349–351. 10.1007/BF01450688View ArticleMATHGoogle Scholar
- Prus S: Geometrical background of metric fixed point theory. In Handbook of Metric Fixed Point Theory. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2001:93–132.View ArticleGoogle Scholar
- Domínguez Benavides T, García Falset J, Japón Pineda MA: The -fixed point property for nonexpansive mappings. Abstract and Applied Analysis 1998,3(3–4):343–362. 10.1155/S1085337598000591MathSciNetView ArticleMATHGoogle Scholar
- Williams JP: A "metric" characterization of reflexivity. Proceedings of the American Mathematical Society 1967, 18: 163–165.MathSciNetMATHGoogle Scholar
- Domínguez Benavides T, Gavira B: The fixed point property for multivalued nonexpansive mappings. Journal of Mathematical Analysis and Applications 2007,328(2):1471–1483. 10.1016/j.jmaa.2006.06.059MathSciNetView ArticleMATHGoogle Scholar
- Fabian M, Zajiček L, Zizler V: On residuality of the set of rotunds norms on a Banach space. Studia Mathematica 1988,91(2):141–151.MathSciNetGoogle Scholar
- Domínguez Benavides T, Phothi S: Porosity of the Fixed Point Property under Renorming, Fixed Point Theory and Its Applications. Yokohama Publishers, Yokohama, Japan; 2008.MATHGoogle Scholar
- Domínguez Benavides T, Phothi S: Genericity of the fixed point property for reflexive spaces under renormings. to appear in Contemporary Mathematics
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.