weakly compactly generated space
A Banach space possessing a weakly compact subset (cf. Weak topology) whose linear span is dense. These spaces have regularity properties not found in a general Banach space. Examples of WCG spaces are all separable spaces (cf. Separable space; pick a sequence which is dense in the unit ball and take ), all reflexive spaces (cf. Reflexive space; take to be the unit ball), all spaces if is a finite or -finite measure (if is finite, take , i.e., the unit ball of considered as a subset of ) and certain spaces , see below. Counterexamples are the non-separable spaces and (here, a weakly compact set can be shown to be norm separable, and hence so is its closed linear span) and if is uncountable (here, a weakly compact set is even norm compact and thus norm separable as well).
The study of WCG spaces was initiated by D. Amir and J. Lindenstrauss [a1], building on previous work by Lindenstrauss on reflexive spaces [a11]. Their key lemma establishes the existence of a projectional resolution of the identity in a WCG space. Denote the density character of a Banach space by , i.e., is the smallest cardinal number for which has a dense subset of cardinality . Let be the smallest ordinal number of cardinality , and let denote the smallest infinite ordinal number. Then a projectional resolution of the identity is a family of projections on , , satisfying:
1) for all ;
2) and if ;
3) for all ;
4) if is a limit ordinal number. It then follows that is continuous in the order topology of and the norm topology of , for each . Properties of Banach spaces admitting a projectional resolution of the identity can often be investigated by means of transfinite induction arguments over the index set , starting from the separable case.
The most important results from [a1] are the following:
a) For a WCG space there exist a set and a continuous linear one-to-one operator from into , the sup-normed space of all functions on such that for each the set of satisfying is finite.
b) There is a continuous linear injection from the dual space (cf. also Adjoint space) into that is continuous for the weak- topology (cf. also Topological vector space) of and the weak topology of . This has important consequences on renormings of WCG spaces (see below) and on the structure of weakly compact sets. A topological space is called an Eberlein compactum if it is homeomorphic to a weakly compact set of some Banach space. Every compact metric space is an Eberlein compactum, but the ordinal space is not if is uncountable. It follows from the above that an Eberlein compactum is even homeomorphic to a weakly compact subset of some -space and, consequently, Eberlein compacta embed homeomorphically into a "small" subset of ; for precision, see below.
c) If is WCG, then the dual unit ball in its weak- topology is an Eberlein compactum. The Eberlein–Shmul'yan theorem (cf. Banach space) implies that it is weak- sequentially compact (i.e., each bounded sequence in has a weak- convergent subsequence).
d) A space of continuous functions on a compact Hausdorff space is WCG if and only is Eberlein compact.
e) Another remarkable property of WCG spaces is the separable complementation property: If is a separable subspace of a WCG space , then there exists a separable subspace containing that is the range of a contractive projection.
By [a3], a Banach space is WCG if and only if there is a continuous linear operator from some reflexive space into having dense range, and an Eberlein compactum is homeomorphic to a weakly compact subset of some reflexive space. An interesting topological property is that the weak topology of a WCG space is a Lindelöf space [a17]. If is WCG, then every separable subspace of has a separable dual; in other words, is an Asplund space.
As for permanence properties of WCG spaces, it is clear that quotients of WCG spaces are again WCG. However, a closed subspace of a WCG space need not be WCG; the first example of this kind was constructed by H.P. Rosenthal [a15]. In certain classes of Banach spaces, the WCG-property is known to be hereditary, for example in WCG spaces with an equivalent Fréchet-differentiable norm [a9] (cf. also Fréchet derivative). An important class of hereditarily WCG spaces are Banach spaces that are -ideals in , meaning that in the canonical decomposition of into and the norm is additive: [a6]. A Banach space is isomorphic to a subspace of a WCG space if and only if its dual unit ball in the weak- topology is an Eberlein compactum [a2]. Turning to duality, it is obvious that the dual of a WCG space need not be WCG (consider with its dual space ); however, there are also examples of non-WCG spaces with WCG duals [a10]. It is an open problem (1998) whether has to be WCG whenever is.
As remarked above, the injection of WCG spaces into leads to renorming results; for example, since has a strictly convex equivalent norm (see Banach space), every WCG space can be renormed to be strictly convex. Likewise, a WCG space has a Gâteaux-differentiable equivalent norm (cf. Gâteaux derivative), whose corresponding dual norm on is strictly convex. A much stronger result is due to S. Troyanski [a18]: If is WCG, then has an equivalent locally uniformly rotund norm whose dual norm is strictly convex. If is WCG, then has an equivalent locally uniformly rotund norm whose dual norm is locally uniformly rotund, too; in particular, this norm is Fréchet differentiable (cf. also Fréchet derivative). Recall that a norm is locally uniformly rotund (or convex) if and imply (see Banach space).
A Markushevich basis of a Banach space is a system that is bi-orthogonal (), fundamental (the linear span of the is dense) and total (if for all , then ; equivalently, the linear span of the is weak- dense); it is called shrinking if the linear span of the is even norm dense. Every WCG space admits a Markushevich basis, and a Banach space with a shrinking Markushevich basis is WCG; in fact, such a space is hereditarily WCG.
In the 1990s, several generalizations of the concept of a WCG space have been investigated (see [a7]). One of these is the notion of a weakly countably determined space (a WCD space), introduced by L. Vašák [a19]. A Banach space is said to be WCD if there are countably many weak- compact subsets of such that whenever and , then and for some . Every WCG space is WCD (consider the doubly indexed countable collection , where is a weakly compact set generating ), and since the latter class is hereditary, even every subspace of a WCG space is WCD. On the other hand, there are WCD spaces which are not isomorphic to subspaces of any WCG space. Essentially all the results on WCG spaces carry over to this larger class and thus to subspaces of WCG spaces: WCD spaces have projectional resolutions of the identity, they inject into , they enjoy the separable complementation property, their weak topology is Lindelöf, they can be renormed with locally uniformly rotund norms, and they have Markushevich bases.
The class of compact spaces that goes with WCD spaces are the Gul'ko compact spaces, or Gul'ko compacta. By definition, is Gul'ko compact if is WCD. This class can also be described topologically. For a set , let
equipped with the product topology. Then is Gul'ko compact if and only if it is homeomorphic to some compact subset of some so that there exist with the property that for every and for every there is an such that and is finite. By contrast, is Eberlein compact if and only if it is homeomorphic to some compact subset of some so that there exist with the property that for every there is an such that and for every and every , the set is finite. A Banach space is WCD if and only if its dual unit ball in the weak- topology is Gul'ko compact. Note that a Corson compact space, or Corson compactum, is, by definition, a compact space homeomorphic to some compact subset of for a suitable . It is known that has a projectional resolution of the identity if is Corson compact.
Simpler proofs of the existence of a projectional resolution of the identity in a WCG space (in fact, in a WCD space) have been given by S.P. Gul'ko [a8], J. Orihuela and M. Valdivia [a14], and C. Stegall [a16]. The theory of WCG spaces is surveyed in [a5] and [a12]; for more recent accounts see [a4], [a7] and [a13].
|[a1]||D. Amir, J. Lindenstrauss, "The structure of weakly compact sets in Banach spaces" Ann. of Math. , 88 (1968) pp. 35–46|
|[a2]||Y. Benyamini, M.E. Rudin, M. Wage, "Continuous images of weakly compact subsets of Banach spaces" Pacific J. Math. , 70 (1977) pp. 309–324|
|[a3]||W.J. Davis, T. Figiel, W.B. Johnson, A. Pełczyński, "Factoring weakly compact operators" J. Funct. Anal. , 17 (1974) pp. 311–327|
|[a4]||R. Deville, G. Godefroy, V. Zizler, "Smoothness and renormings in Banach spaces" , Longman (1993)|
|[a5]||J. Diestel, "Geometry of Banach spaces: Selected topics" , Lecture Notes Math. , 485 , Springer (1975)|
|[a6]||M. Fabian, G. Godefroy, "The dual of every Asplund space admits a projectional resolution of the identity" Studia Math. , 91 (1988) pp. 141–151|
|[a7]||M. Fabian, "Gâteaux differentiability of convex functions and topology" , Wiley–Interscience (1997)|
|[a8]||S.P. Gul'ko, "On the structure of spaces of continuous functions and their complete paracompactness" Russian Math. Surveys , 34 : 6 (1979) pp. 36–44|
|[a9]||K. John, V. Zizler, "Smoothness and its equivalents in weakly compactly generated Banach spaces" J. Funct. Anal. , 15 (1974) pp. 1–11|
|[a10]||W.B. Johnson, J. Lindenstrauss, "Some remarks on weakly compactly generated Banach spaces" Israel J. Math. , 17 (1974) pp. 219–230 (Corrigendum: 32 (1979), 382-383)|
|[a11]||J. Lindenstrauss, "On nonseparable reflexive Banach spaces" Bull. Amer. Math. Soc. , 72 (1966) pp. 967–970|
|[a12]||J. Lindenstrauss, "Weakly compact sets: their topological properties and the Banach spaces they generate" R.D. Anderson (ed.) , Symp. Infinite Dimensional Topol. , Math. Studies , 69 (1972) pp. 235–273|
|[a13]||S. Negrepontis, "Banach spaces and topology" K. Kunen (ed.) J.E. Vaughan (ed.) , Handbook of set-theoretic topology , Elsevier Sci. (1984) pp. 1045–1142|
|[a14]||J. Orihuela, M. Valdivia, "Projective generators and resolutions of identity in Banach spaces" Rev. Mat. Univ. Complutense Madr. , 2 (1989) pp. 179–199|
|[a15]||H.P. Rosenthal, "The heredity problem for weakly compactly generated Banach spaces" Compositio Math. , 28 (1974) pp. 83–111|
|[a16]||Ch. Stegall, "A proof of the theorem of Amir and Lindenstrauss" Israel J. Math. , 68 (1989) pp. 185–192|
|[a17]||M. Talagrand, "Sur une conjecture de H.H. Corson" Bull. Sci. Math. , 99 (1975) pp. 211–212|
|[a18]||S.L. Troyanski, "On locally uniformly convex and differentiable norms in certain non-separable Banach spaces" Studia Math. , 37 (1971) pp. 173–180|
|[a19]||L. Vašák, "On one generalization of weakly compactly generated Banach spaces" Studia Math. , 70 (1981) pp. 11–19|
WCG space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=WCG_space&oldid=17735