Smooth Partitions of Unity on Banach Spaces

SMOOTH PARTITIONS OF UNITY ON BANACH SPACES

MICHAL JOHANIS

ABSTRACT. We show a new characterisation of the existence of smooth partitions of unity on a Banach space. This leads to a slight generalisation of some as well as a very easy recovery of most of the known results using a uniﬁed treatment.

Smooth partitions of unity are an important tool in the theory of smooth approximations (see [HJ, Chapter 7]), smooth extensions, theory of manifolds, and other areas. Clearly a necessary condition for a Banach space to admit smooth partitions of unity is the existence of a smooth bump function. The sufficiency of this condition for a general Banach space is still an open problem. A positive answer was established in many cases, the most important of which are the following (i.e. if one of the conditions below is fulfilled, then the existence of a smooth bump function on X implies that X admits smooth partitions of unity): (i) X has an SPRI (separable “projectional resolution of the identity”), [GTWZ]. (ii) X belongs to a P -class, [H]. (iii) X C.K/ for K compact, [HH]. D (iv) X has a subspace Y isomorphic to c0. / such that X=Y admits smooth partitions of unity, [DGZ1]. (v) X is weakly compactly generated (WCG), [M]. For the definition and basic properties of an SPRI see [F, Definition 6.2.6 ff.] or [HMVZ, Theorem 3.46]; for the definition of a P -class see p. 3. The original proofs of the results (i), (iv), and (v) use Torunczyk’s´ characterisation of the existence of smooth partitions of unity by non-linear homeomorphic embedding into c0. / with smooth component functions (see e.g. [HJ, Proposition 7.60]). The other two results use the following theorem of Richard Haydon: Theorem 1 ([H], see also [HJ, Theorem 7.53]). Let X be a normed linear space that admits a C k-smooth bump function, k N . Let be a set and ˚ X c0. / a continuous mapping such that for every the function e ˚ is k2 [ f1g W ! k 2 k B C -smooth. For each finite F let PF C .X X/ be such that the space span PF .X/ admits locally finite C -partitions 2 I of unity. Assume that for each x X and each " > 0 there exists ı > 0 such that x PF .x/ < " if we set F ˚.x/. / ı . Then X admits locally2 finite and -uniformly discrete C k-partitionsk of unity. k D f 2 I j j g While pondering the applicability of Haydon’s theorem we were led to another characterisation of the existence of smooth partitions of unity (Theorem 2). This characterisation allows very easy recovery of all the results above except for the C.K/ case. In fact, an immediate consequence is a (at least formal) generalisation of (i), (ii), and (v) given in Corollary 6, which puts all these results under a common roof (this is either obvious or shown in Theorem 10 and Corollary 9). There is also another tiny advantage for the insight into the problem when using Theorem 1: All the original proofs that use Torunczyk’s´ characterisation (of course they all come from the same workshop) at some point invoke the completeness of the underlying space, but as we shall see here, the completeness is completely irrelevant to the problem. Before we start, we fix some notation. By U.x; r/, resp. B.x; r/ we denote the open, resp. closed ball centred at x with 1 radius r. For a function f X R we denote suppo f f .R 0 /. For other unfamiliar notation or terminology see [HJ] or [FHHMZ]. W ! D n f g Now, the reason that Haydon’s theorem can be successfully used to prove the wonderful result (iii) is that there is a rich supply of projections of norm one on an Asplund C.K/ space (formed by restrictions to clopen subsets of K). So what do we have on an arbitrary Banach space? The projections onto one-dimensional subspaces, of course. This observation leads to the following characterisation: Theorem 2. Let X be a normed linear space and k N . The following statements are equivalent: 2 [ f1g (i) X admits locally finite and -uniformly discrete C k-partitions of unity. k k (ii) X admits a C -smooth bump and there are a set , a continuous ˚ X c0. / such that e ˚ C .X/ for every W ! B 2 , and x n ;n N X such that x span x n ˚.x/. / 0; n N for every x X. 2 f g 2 2 2 f I ¤ 2 g 2 Notice that the condition (ii) resembles a property of a strong Markushevich basis. Before delving into the proof of Theorem 2 we make a short technical intermission. Applications of Theorem 1 involve constructions of continuous mappings into c0. /. To avoid repeating the same argument in several of these constructions we will make use of the following simple lemma.

Date: October 2016. 2010 Mathematics Subject Classiﬁcation. 46B20, 46B26, 46T20. Key words and phrases. Smooth partitions of unity. Supported by GACRˇ 16-07378S. 1 2 MICHAL JOHANIS

Lemma 3. Let X be a topological space, a set, and ˚ X RN . Suppose that all the component functions x ˚.x/.n; / W ! 7! are continuous, limn ˚.x/.n; / 0 locally uniformly in x X and uniformly in , and for each fixed n N, x X, and " > 0 there are a!1 neighbourhoodDU of x and a finite F 2 such that ˚.y/.n; / 2< " whenever y U and2 2 F . j j 2 2 n Then ˚ is a continuous mapping into c0.N /. " Proof. Fix x X and " > 0. There are n0 N and a neighbourhood U of x such that ˚.y/.n; / < 2 whenever n > n0, y U , 2 2 j j 2 " and . For each n N, n n0 there are a neighbourhood Vn U of x and a finite Fn such that ˚.y/.n; / < 2 whenever2 y V and 2 ÄF . Put F S n F andV T V . Then Fis finite and j˚.y/.n; / j < " n n n n0 n n n0 n 2 2 2 n D Ä f g D Ä j j whenever y V and .n; / N F . This shows that ˚ maps into c0.N /. The continuity of ˚ follows from the fact that ˚.y/.n;2 / ˚.x/.n;2 /< "nwhenever y V and .n; / N F , and from the continuity of the functions y ˚.y/.n;j /, .n; / F . j 2 2 n 7! 2 ut Proof of Theorem 2. For the purpose of the proof let us consider the following intermediate statement: k k (ii)’ X admits a C -smooth bump and there are a set , a continuous X c0./ such that e C .X/ for every W ! B 2 , and x X such that x x .x/./ 0 for every x X. 2 2 f g 2 f I k ¤ g 2 1 (ii)’ (i) By the assumption there are functions hn C .X Œ0; 1/ such that suppo hn U.0; n / and hn.0/ > 0. Set N) and define ˚ X ` . / by 2 I D W ! 1 1 ˚.x/.n; / hn.x x/ .x/./: D n k Then ˚ is a continuous mapping into c0. / by Lemma 3. Clearly, e ˚ C .X/ for each .n; / . Next, for each .n;/ B 2 2 finite non-empty F set m.F / max n N .n; / F for some , let ˛.F / be chosen arbitrarily such D f 2 I 2 2 g 2 that m.F /; ˛.F / F , and let PF X X be the linear projection onto span x˛.F / of norm at most one. We also set P 0. We show that2 the assumptionsW of! Theorem 1 are satisfied. Each one-dimensionalf g subspace of X admits locally finite C;k-partitionsD of unity ([HJ, Corollary 7.50]). Given x X and " > 0 find m N such that 1 " . By the assumption 2 2 m Ä 2 there is ˛ such that .x/.˛/ 0 and x˛ is so close to x that hm.x x˛/ > 0. If we set ı ˚.x/.m; ˛/ and 2 ¤ ˇ D jˇ j F .n; / ˚.x/.n; / ı , then .m; ˛/ F and hence m.F / m. Further, ˇ˚.x/ m.F /; ˛.F / ˇ ı > 0, and in D f 2 I j j g 2 1 1 " particular hm.F /.x x˛.F // > 0. It follows that x x˛.F / < . Note that PF .x˛.F // x˛.F / and therefore k k m.F / Ä m Ä 2 D x PF .x/ x x˛.F / PF .x˛.F // PF .x/ < ". k k Ä k Q k C k k (ii) (ii)’ Put c . N/, i.e. the set of all vectors in c00. N/ with rational coordinates. For each set )P D 00 2 x . ; n/x n. Clearly, x span x n ; n N . Further, let q Q N be some one-to-one D ;n N f I 2 g D Qf I 2 2 g W ! mapping with2 2q.0/ 1 and put m./ max n N . ; n/ 0 for some for 0 and m.0/ 1. Finally, define X RDby D f 2 I ¤ 2 g 2 n f g D W ! 1 Y .x/./ ˚.x/. /: D m./ Q q. ; n/ ;n N n; . ;n/ 0 2 2 2 W 9 ¤ We claim that is actually a continuous mapping into c0./. Indeed, fix x X and " > 0. Since ˚ is continuous, there are a neighbourhood U of x and a finite set H such 2 Q that ˚.y/ < ˚.x/ 1 and ˚.y/. / < 1 for each y U and H. Note that n; . ;n/ 0 ˚.y/. / k k Hk k C j j 2 2 n 2 W 9 ¤ j j Ä . ˚.x/ 1/j j for any y U and , and the same holds if we omit any one of the factors in the product. Next, there are a k k C 2 2 H neighbourhood V of x, V U , and a finite set E such that ˚.y/. / < "=. ˚.x/ 1/j j for each y V and E. Let N N be such that 1< "=. ˚.x/ 1/ H . Put j j k k C 2 2 n 2 N k k C j j F ˚ supp E 1; : : : ; N and q. ; n/ N for all , n N« D 2 I f g Ä 2 2 and note that F is finite. Now if y V and F , then .y/./ < ". It easily follows that is a continuous mapping 2 2 n j j into c0./. Clearly, e C k.X/ for every . Finally, given x X and a neighbourhood U of x, by the assumption there is B 2 2 2 such that x U and ˚.x/. / 0 if . ; n/ 0 for some n N. Consequently, .x/./ 0. 2(i) (ii) The existence2 of a C k-smooth¤ bump is clear¤ (just take a partition2 of unity subordinated to¤ a covering of X by U.0; 2/ ) k and X B.0; 1/). Next, for each n N let 'n be a locally finite C -partition of unity on X subordinated to the uniform n 2 1 f g 2 covering of X by open balls of radius (clearly 'n can be constructed by scaling the domains of '1 so that the index set is n f g f g always the same). Without loss of generality we may assume that all the functions 'n are non-zero. We put N and define ˚ X ` . / by D W ! 1 1 ˚.x/.n; / 'n.x/: D n Then ˚ is a continuous mapping into c0. / by Lemma 3. To finish, choose any xn in each suppo 'n. Fix x X and ı > 0. Let 2 2 2 n N be such that < ı. There is such that x suppo 'n. Then ˚.x/.n; / > 0 and x xn < < ı. It follows 2 n 2 2 k k n that x xn ˚.x/.n; / 0 . 2 f I ¤ g ut SMOOTH PARTITIONS OF UNITY ON BANACH SPACES 3

As a ﬁrst application we show how the above characterisation can be used to rather easily obtain the result (iv) from the introduction. Not only that our proof is substantially shorter than the original, but it also does not use any fancy tools like lifting, Bartle-Graves selectors, etc. The stripped-down proof clearly exposes the three main ideas behind it: the use of linear functionals on the subspace Y , so that they can be extended to the whole space; the use of a fundamental biorthogonal system in Y , which allows to link these extensions to functionals on X=Y ; and the crucial property of the norm on c0. /: if we drop all small coordinates, the vector stays close.

Corollary 4 ([DGZ1]). Let X be a normed linear space and Y X a subspace isomorphic to c0. / for some . If X=Y admits locally ﬁnite C k-partitions of unity for some k N , thenX admits locally ﬁnite and -uniformly discrete C k-partitions of unity. 2 [ f1g

Proof. By extending the equivalent norm from Y we may assume without loss of generality that Y is actually isometric to c0. /. Let Q X X=Y be the canonical quotient mapping. Let .e f / be the canonical basis of c0. / and further assume W ! f I g 2 that each f is actually a norm-one functional on X (use the Hahn-Banach theorem). For each n N let n be a locally k 2 1f g 2 finite C -partition of unity on X=Y subordinated to the uniform covering of X=Y by open balls of radius (clearly n can be n f g constructed by scaling the domains of 1 so that the index set is always the same). Without loss of generality we may assume f g 1 that all the functions n are non-zero. Choose ń suppo n and xn X such that Q.xn/ ń. Let n C 1 R Œ0; n , 2 2 2 D 2 I n N be Lipschitz functions satisfying n.t/ 0 if and only if t n . We define a mapping ˚ X ` .N N / by2 D j j Ä W ! 1 [ ˚.x/.n; ; / n f .x xn/ n Q.x/ ; D 1 ˚.x/.n; / n Q.x/ : D n

First we show that ˚ is actually a continuous mapping into c0.N N /. Fix x X and " > 0. Clearly, 1 [ 2 1 0 ˚.y/.n; ; / < " and 0 ˚.y/.n; / < " for n > " and all , , y X. Now fix n Œ1; " . Since n is Ä Ä 2 2 2 2 f g 2 locally finite, there is a neighbourhood V of Q.x/ and a finite F such that n 0 on V for F . Further, there is a neighbourhood U of x such that Q.U / V . Then clearly ˚.y/.n; ; / ˚.y/.n;D / 0 for y 2U andn F , . 2D D 2 2 2 n 2 Now fix F . Assume that n.Q.x// 0. Then Q.x/ ń < . Put H f .x xn/ . We claim 2 ¤ k k n D f 2 I j j n g that H is finite. Indeed, if H is infinite, then by the w-compactness there is a w-accumulation point f BX of f H . 2 f g 2 Then f Y 0, since .e f / is a fundamental biorthogonal system in Y . In particular, f can be considered also as a member D 2 f I g 2 of .X=Y /, and so n f .x xn/ f .Q.x/ ń/ Q.x/ ń < n , a contradiction. Thus ˚.x/.n; ; / 0 for H . Since theÄ family j of functionsj D jy ˚.y/.n; ;j / Ä, k , is equi-continuous,k there is a neighbourhood W ofDx such that2 ˚.y/.n;n ; / < " whenever y W and7! H . Thus2 we may apply Lemma 3. j j 2 2 n 8 Next, we set xn e . Fix any x X and " > 0. There is n N, n " , and such that n.Q.x// > 0 and " D 2 2" 2 " Q.x/ ń < 4 . Thus there is u Y such that x xn u < 4 . Put F f .u/ > 2 , which is a finite set k k P 2 k " k D f 2 I j j g (possibly empty), and v F f .u/e . Then u v 2 (we have the supremum norm here) and so x .xn v/ D 2 k k Ä " k " 2 C k Ä x xn u u v < ". Note that f .x xn/ f .u/ f .x xn u/ > x xn u > for F . k k C k k j j j j j j 2 k k 4 n 2 Consequently, ˚.x/.n; ; / > 0 for F . It follows that x span xn ˚.x/.n; / 0 xn ˚.x/.n; ; / 0 . 2 2 f I ¤ g [ f I ¤ g Each component of ˚ is clearly C k-smooth and the space X admits a C k-smooth bump by [DGZ1, Proposition 1]. Thus we may conclude the proof by using Theorem 2. ut Before going further, we review some notions useful in the study of the (linear) structure of non-separable Banach spaces. Let X be a class of Banach spaces. We say that X is a P -class if for every non-separable X X there exists a projectional 2 resolution of the identity P˛ ˛ Œ!; on X such that .P˛ 1 P˛/.X/ X for all ˛ < . We say that X is a P -class if for every f g 2 C 2 non-separable X X there exists a projectional resolution of the identity P˛ ˛ Œ!; on X such that P˛.X/ X for all ˛ < . 2 f g 2 2 Note that if a class X admits PRI and is closed under complemented subspaces, then X is both P -class and P -class. Therefore reflexive, WCG, WCD, and WLD are all both P -classes and P -classes, as are 1-Plichko spaces ([HMVZ, Theorem 5.63]; proof of [KKL, Theorem 17.6] combined with [KKL, Theorem 17.16]), spaces with a 1-projectional skeleton (Ondrejˇ Kalenda, private communication; [KKL, Theorem 17.6]), and duals of Asplund spaces ([DGZ, Remark VI.3.5]). Recall that any space from a P -class has an SPRI ([HMVZ, Theorem 3.46]), and any space with an SPRI has a strong Markushevich basis (folklore, see also [HMVZ, Theorem 5.1] or the proof of Theorem 8). Although the characterisations of the existence of smooth partitions of unity are inherently non-linear, in all the results from the introduction, except for the C.K/ case, the constructions are based on the linear structure in a substantial way. Keeping this in mind, Theorem 2 naturally suggests the following definition:

Deﬁnition 5. Let X be a normed linear space. We say that a system .x f / X X is a fundamental coordinate system f I g 2 if T .x/ .f .x// is a bounded linear operator from X to c0. / and x span x f .x/ 0 for each x X. D 2 2 f I ¤ g 2 Note that the operator T from the deﬁnition is necessarily one-to-one and f is bounded (by T ). The following corollary of Theorem 2 is now obvious. f g 2 k k 4 MICHAL JOHANIS

Corollary 6. Let X be a normed linear space with a fundamental coordinate system and such that it admits a C k-smooth bump, k N . Then X admits locally ﬁnite and -uniformly discrete C k-partitions of unity. 2 [ f1g If X has a strong Markushevich basis, then it also has a fundamental coordinate system (take normalised coordinate functionals). Thus we have an immediate generalisation of the result (i). On the other hand, as we shall see below (Corollary 9), the space JLp, 1 < p < , has a fundamental coordinate system but it does not have a Markushevich basis ([HMVZ, Corollary 4.20]). In connection1 with Corollary 6 and Corollary 4 we remark that the space C.K/, where K is a Ciesielski-Pol compact, does not continuously linearly inject into any c0. / (and so it does not have a fundamental coordinate system), although it has a subspace Y isometric to c0.1/ such that the quotient C.K/=Y is isomorphic to c0.2/, [DGZ, Theorem VI.8.8.3]. Concerning the result (i) we note that for spaces with an SPRI we do not have to rely on the full construction of a strong Markushevich basis (which is rather hard): Let P˛ ˛ Œ!;/ be an SPRI on X. For each ˛ Œ!; / put Q˛ P˛ 1 P˛, f g 2 2 D C let y˛n n N be a dense subset of the separable space Q˛.X/, and let g˛k k N Q˛.X/ be separating for Q˛.X/. Put f g 2 f g 2 1 f˛k g˛k Q˛=. g˛k Q˛ 1/, Œ!; / N N, and deﬁne T X ` . / by T .x/.˛; k; n/ kn f˛k.x/. Then T is clearlyD a boundedB k linearB operator.k C D W ! 1 D Further, set x y˛n for .˛; k; n/ . Fix x X. Since Q˛.x/ 0 if and only if there is k N such that D D 2 2 ¤ 2 g˛k.Q˛.x// 0, which is equivalent to f˛k.x/ 0, we have ¤ ¤ x span Q˛.x/ ˛ Œ!; / span Q˛.x/ ˛ Œ!; /; Q˛.x/ 0 2 f I 2 g D f I 2 ¤ g ˚ « span y˛n n N ˛ Œ!; /; k N f˛k.x/ 0 f g 2 I 2 9 2 W ¤ span y˛n n N; ˛ Œ!; /; k N T .x/.˛; k; n/ 0 span x T .x/. / 0 : D f I 2 2 9 2 W ¤ g D f I ¤ g 1 Note that Qˇ Q˛ 0 for ˇ ˛. Hence, given ˛ Œ!; / and n N, we have T .y˛n/.ˇ; k; m/ km fˇk.y˛n/ 1 B 1D ¤ 2 2 D 1 D km fˇk.Q˛.y˛n// km gˇk Qˇ Q˛.y˛n/ =. gˇk Qˇ 1/ 0 for ˇ ˛. Also, T .y˛n/.˛; k; m/ km f˛k.y˛n/ 1 D k B k C D ¤ j j D j j Ä y˛n . Therefore T .y˛n/ c0. /. Since we have seen above that X span y˛n ˛ Œ!; /; n N , it follows that T km k k 2 D f I 2 2 g maps into c0. / and so X has a fundamental coordinate system. We proceed by deducing the result (v) from Corollary 9 and the result (ii) from Theorem 10. We start with an easy observation.

Fact 7. Let X be a normed linear space and .x f / X X . Then x span x f .x/ 0 for every x X if and w f I g 2 2 f I ¤ g 2 only if f span f f .x / 0 for every f X . 2 f I ¤ g 2 Proof. Assume that it is not true for some f X . Denote A f .x / 0 . By the separation theorem ) 2 D f 2 I ¤ g there is x X such that f .x/ 0 and f .x/ 0 for each A. It follows that x span x f .x/ 0 span x A2 f , a contradiction.¤ D 2 2 f I ¤ g f I 2 n g f g? Assume that it is not true for some x X. Denote A f .x/ 0 . By the separation theorem there is ( 2 D f 2 I ¤ g w w f X such that f .x/ 0 and f .x / 0 for each A. It follows that f span f f .x / 0 span f 2 ¤ D 2 2 f I ¤ g f I A x , a contradiction. 2 n g f g? ut The ﬁrst part of the next theorem is probably folklore among experts. We include the proof for the convenience of the reader.

Theorem 8. Let X be a WCG Banach space and let K X be a weakly compact convex symmetric set that generates X. Then X has a strong Markushevich basis .x f / K X . Such a basis has the following properties: T .f / .f .x // is a f I g 2 w D 2 bounded linear operator from X to c0. / and f span f f .x / 0 for each f X . 2 f I ¤ g 2 Proof. We prove the first part by transfinite induction on dens X. Suppose first that X is separable. Let ń n N K be a dense f g 2 set in K and hn n N a norming set in X . Note that span ń X. By [FHHMZ, Theorem 4.59] there is a Markushevich basis f g 2 f g D .yn gn/ n N of X such that span yn span ń and span gn span hn . In particular, this basis is norming. Hence by f I g 2 f g D f g f g D f g [HMVZ, Theorem 1.42] there is a strong Markushevich basis .xn fn/ n N of X such that xn span yn span ń . Since S f I g 2 f g f g D f g span ń n N nK, by scaling we may assume that xn K. Nowf g assume 2 that dens X > ! and the statement isf trueg for all WCG spaces of density less than dens X. By [FHHMZ, Theorem 13.6] there is a PRI P˛ ˛ Œ!; on X such that P˛.K/ K for each ˛ Œ!; . Denote Q˛ P˛ 1 P˛. For f g 2 2 D C each ˛ Œ!; / the space Q˛.X/ is of density at most card ˛ < dens X and is generated by the weakly compact convex 2 1 ˛ ˛ symmetric set 2 Q˛.K/. Thus by the inductive hypothesis Q˛.X/ has a strong Markushevich basis .x g / ˛ such that ˛ 1 ˛ ˛ ˛ ˛ f I g 2 x ˛ 2 Q˛.K/ K. Put f g Q˛. We claim that .x f / ˛ Œ!;/; ˛ is a strong Markushevich basis of X. f g 2 D B f I g 2 2 ˇ ˇ ˛ ˇ ˛ ˇ ˛ ˛ ˛ ˛ Indeed, Q˛.x / Q˛.Qˇ .x // 0 and hence f .x / g .Q˛.x // 0 for ˛ ˇ. Further, f .x / g .Q˛.x // ˛ ˛ D D D D ˛ ¤ ˛ D D˛ g .x / ı ; (the Kronecker delta). Now fix any x X. Then Q˛.x/ span x ˛ g .Q˛.x// 0 span x D ˛ 2 S 2 f I ˛2 W ˛ ¤ g D f ˛I ˛ f .x/ 0 . Hence x span Q˛.x/ ˛ Œ!; / span ˛ Œ!;/ span x ˛ f .x/ 0 span x 2 W ¤ g ˛ 2 f I 2 g 2 f I 2 W ¤ g f I ˛ Œ!; /; ˛ f .x/ 0 . Finally, note that this strongness property implies that the biorthogonal system is total. 2To prove the2 secondW part of¤ theg theorem, denote by the topology on X given by the uniform convergence on K. Put T .f / D .f .x // for f X . Then T is clearly a bounded linear operator from X to ` . /. Since T .f / sup f .x / 2 2 1 k k D 2 j j Ä supx K f .x/ , the operator T is moreover - continuous. Further, T .f˛/ c00. / for every ˛ . By the Mackey-Arens 2 j j kk 2 2 SMOOTH PARTITIONS OF UNITY ON BANACH SPACES 5

w theorem, span f˛ span f˛ X . Consequently, T .X / T.span f˛ / span T .f˛/ c0. /. The rest follows from Fact 7. f g D f g D D f g f g ut We remark that the heart of the construction of a strong Markushevich basis lies in the separable case and is seriously difficult. The strongness of the PRI then arranges the rest. However, for our purpose (the second part of the previous theorem), the full strongness (and even the biorthogonality) of the Markushevich basis is not necessary. It would be sufficient to carry the required properties through the transfinite induction and use just the strongness provided by the PRI. The weak compactness is indispensable though.

Corollary 9. Let X be a normed linear space such that X is WCG. Then X has a fundamental coordinate system.

Proof. Let .f F / X X be a Markushevich basis from Theorem 8. Note that f is bounded. Fix . f I g 2 f g 2 2 w Then by the Goldstine theorem F B for some ball B X. Since X has the property C ([FHHMZ, Definition 14.32, 2 w Theorem 14.31]), by [FHHMZ, Theorem 14.37] there is a countable set x n n N B such that F conv x n n N . We 1 f g 2 2 f g 2 claim that .x n n f / ;n N is a fundamental coordinate system. f I 1 g 2 2 Indeed, T .x/ n f .x/ ;n N is a bounded linear operator from X to c0. N/, since .f .x// c0. / by Theorem 8. D 2 2 2 2 w Fix x X and denote A x n f .x/ 0; n N . Theorem 8 implies that F span F F .f / 0 for any F X and so2 D f I ¤ 2 g 2 f I ¤ g 2 w w [ w w x span F f .x/ 0 span conv x n n N span A: 2 f I ¤ g f g 2 D f .x/ 0 2 W ¤ But since x X and span A X, this means that x spanw A span A. 2 2 D ut 1 We note that there is a Banach space X such that it is a second dual space, it has an equivalent C -smooth norm, X is a subspace of a Hilbert-generated space (in particular a subspace of a WCG space), and there is no bounded linear one-to-one operator from X to c0. /,[AM]. Therefore there is no hope for generalising the result (v) beyond the dual being WCG using the approach above (or the original proof as well – both result in a linear injection into c0. /). Theorem 10. Every Banach space that belongs to a P -class has a fundamental coordinate system. Proof. Let X be a P -class and X X. We use transfinite induction on dens X. If X is separable, then we can use the existence of 2 a strong Markushevich basis. However, this difficult result is not necessary. A direct construction is as follows: Let yn n N X 1 f g 2 be dense in X and let gn n N X be such that it separates the points of X and gn n . For k; n N put xkn yn and 1 f g 2 k k Ä 2 1 D fkn n gk. Then .xkn; fkn/ k;n N is a fundamental coordinate system: Fix x X. Then fkn.x/ nk x . Also, there is D f g 2 2 j j Ä k k m N such that gm.x/ 0 and so x span yn n N span xmn n N span xkn fkn.x/ 0 . 2Now assume that dens¤X > ! and2 everyf spaceI 2 in Xg Dof densityf lessI 2 thangdens X fhas aI fundamental¤ g coordinate system. Let P˛ ˛ Œ!; be a PRI on X such that P˛.X/ X for ˛ Œ!; /. Put Q˛ P˛ 1 P˛. By the inductive hypothesis, f g 2 2 2 ˛ ˛ D C for each ˛ Œ!; / there is a fundamental coordinate system .x g / ˛ on P˛.X/ and there is K˛ > 0 such that ˛ 2 ˛f 1 I 1g 2 ˛ 1 ˛ 1 g ˛ B.0; K˛/. Since Q˛.X/ P˛ 1.X/, we may set f C K g C Q˛ and note that f C 2. We claim 2 C ˛ 1 f g ˛ 1 ˛ 1 D C B k k Ä that .x C f C / ˛ Œ!;/; ˛ 1 is a fundamental coordinate system on X. f I g 2 2 C ˛ 1 Indeed, the formula T .x/ .f C .x//˛ Œ!;/; ˛ 1 clearly defines a bounded linear operator from X to ` . /, where S D 2 2 C 1 ˛ Œ!;/ ˛ ˛ 1. Now fix x X and " > 0. Then the set A ˛ Œ!; / Q˛.x/ > " is finite. So, ˛D1 2 f1 g ˛ 1C 2 D f 2 I k k g f C .x/ K g C Q˛.x/ " whenever ˛ Œ!; / A and ˛ 1. On the other hand, if ˛ A, then the set ˛ 1 C j j Ä ˛ C1 k kk ˚ k Ä ˛ 1 2 n « 2 2 ˛ 1 f C .x/ > " ˛ 1 g C .Q˛.x// > K˛ 1" is finite by the definition of a fundamental coordinate f 2 C I j j g D 2 C I j j C ˛ 1 ˛ 1 ˛ 1 system. Finally, as Q˛.x/ P˛ 1.X/, the assumption yields Q˛.x/ span x C g C .Q˛.x// 0 span x C ˛ 1 2 C S2 f I ˛ 1 ˛ 1 ¤ g D f ˛ 1I f .x/ 0 . Therefore x span Q˛.x/ ˛ Œ!; / span span x f .x/ 0 span x C ¤ g 2 f I 2 g ˛ Œ!;/ f C I C ¤ g f C I f ˛ 1.x/ 0 . 2 C ¤ g ut REFERENCES [AM] Spiros A. Argyros and Sophocles Mercourakis, A note on the structure of WUR Banach spaces, Comment. Math. Univ. Carolin. 46 (2005), no. 3, 399–408. [DGZ1] Robert Deville, Gilles Godefroy, and Václav Zizler, The three space problem for smooth partitions of unity and C.K/ spaces, Math. Ann. 288 (1990), no. 1, 613–625. [DGZ] Robert Deville, Gilles Godefroy, and Václav Zizler, Smoothness and renormings in Banach spaces, Pitman Monographs and Surveys in Pure and Applied Mathematics 64, Longman Scientific & Technical, Harlow, 1993. [F] Marián Fabian, Gâteaux differentiability of convex functions and topology – Weak Asplund spaces, CMS series of monographs and advanced texts, John Wiley & Sons, New York, 1997. [FHHMZ] Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos, and Václav Zizler, Banach space theory. The basis for linear and nonlinear analysis, CMS Books in Mathematics, Springer, New York, 2011. [GTWZ] Gilles Godefroy, Stanimir L. Troyanski, John H. M. Whitfield, and Václav Zizler, Smoothness in weakly compactly generated Banach spaces, J. Funct. Anal. 52 (1983), no. 3, 344–352. 6 MICHAL JOHANIS

[HH] Petr Hájek and Richard Haydon, Smooth norms and approximation in Banach spaces of the type C.K/, Q. J. Math. 58 (2007), no. 2, 221–228. [HJ] Petr Hájek and Michal Johanis, Smooth analysis in Banach spaces, De Gruyter Ser. Nonlinear Anal. Appl. 19, Walter de Gruyter, Berlin, 2014. [HMVZ] Petr Hájek, Vicente Montesinos, Jon Vanderwerff, and Václav Zizler, Biorthogonal systems in Banach spaces, CMS Books in Mathematics 26, Springer, New York, 2008. [H] Richard Haydon, Smooth functions and partitions of unity on certain Banach spaces, Q. J. Math. 47 (1996), no. 4, 455–468. [KKL] Jerzy K ˛akol, Wiesław Kubis,´ and Manuel López-Pellicer, Descriptive topology in selected topics of functional analysis, Developments in Mathematics 24, Springer, New York, 2011. [M] David P. McLaughlin, Smooth partitions of unity in preduals of WCG spaces, Math. Z. 211 (1992), 189–194.

CHARLES UNIVERSITY,FACULTY OF MATHEMATICS AND PHYSICS,DEPARTMENT OF MATHEMATICAL ANALYSIS,SOKOLOVSKÁ 83, 186 75 PRAHA 8, CZECH REPUBLIC E-mail address: [email protected]