GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES

Transcription

1 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG This paper is dedicated to the beloved memory of Prof. Antonio Aizpuru Abstract. The purpose of this paper is to study certain geometrical properties for non-complete normed spaces. We show the existence of a non-rotund Banach space with a rotund dense maximal subspace. As a consequence, we prove that every separable Banach space can be renormed to be non-rotund and to contain a dense maximal rotund subspace. We then construct a nonsmooth Banach space with a dense maximal smooth subspace. We also study the Krein-Milman Property on non-complete normed spaces and provide a sufficient condition for an infinite dimensional Banach space to have an infinite dimensional, separable quotient. 1. Introduction Various geometric properties of normed linear spaces have been studied for many years. An important question is to find out which geometric properties of noncomplete normed spaces extend to their completion. It is well known [7] that a Banach space is reflexive if and only if every bounded linear functional on X is norm attaining. In the 1960 s, Frank Deutsch asked whether every normed linear space is complete if every bounded linear functional on it is norm attaining. If this was true, then the space is automatically reflexive. However James [7] gave a negative answer by constructing the following example. This is probably the first result on the weakness of geometrical properties under the lack of completeness. Theorem 1.1 (James, 1971). There exists a non-complete normed space on which every functional is norm-attaining. In 1976 Blatter toughened the condition that all functionals are norm-attaining accomplishing something positive (see [1]). Theorem 1. (Blatter, 1976). Let X be a normed space. If every closed, convex subset of X has a minimum-norm element, then X is complete (and thus reflexive). Some of the geometric properties pass to dense subspaces. Two of the most important such properties are (uniform) rotundity and (uniform) smoothness. The modulus of rotundity of a normed linear space X is the function δ : [0, ] [0, 1] defined by δ(ε) = inf{1 x+y : x, y B X, x y ε, where B X is the closed unit ball of X. If δ(ε) > 0 for all 0 < ε, then X is said to be uniformly rotund. By approximation, it is easy to see from the definition that if a 000 Mathematics Subject Classification. Primary 46B0, 46B15, 46A08. Key words and phrases. rotund, smooth, Markushevich basis, dense maximal subspace, csclosed. Bentuo Zheng is supported in part by NSF.. 1

2 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG dense subspace of a Banach space is uniformly rotund (uniformly smooth), then the Banach space itself is also uniformly rotund (uniformly smooth). So uniform convexity (uniform smoothness) extends from non-complete normed spaces to their completion. Considering the above discussion, a natural question we have here is that whether rotundity and smoothness extend from non-complete normed spaces to their completion. It is quite surprising that the answer turns out to be negative. In Section, we construct a non-complete normed space X so that X is rotund but the completion X of X is non-rotund. Moreover, X as a dense subspace of X is also maximal. As a consequence, we have the following theorem. Theorem A. Let X be an infinite dimensional Banach space that admits a rotund equivalent norm. Then, X admits an equivalent renorming such that X is nonrotund but has a rotund, dense, and maximal subspace. A subspace of a Banach space is said to be maximal if it is of codimension one. Since every separable Banach space can be renormed to be rotund by Clarkson [3], we get the following corollary immediately. Corollary A. Every infinite dimensional separable Banach space can be renormed to be non-rotund and to contain a rotund, dense, and maximal subspace. Locally uniformly rotund spaces can be viewed as objects better than rotund spaces but worse than uniformly rotund spaces (the definition is contained in Section ). Given Theorem A and the discussion above, a natural question is whether there exists a non-rotund Banach space with a locally uniformly rotund dense subspace. Section 3 is devoted to the study of this question. Although we believe that the answer is positive, we only get the following partial result. Theorem B. If there exists a three dimensional normed space so that the unit sphere is symmetric with respect to the z-coordinate and contains exactly two symmetric maximal segments, then every infinite dimensional Banach space that admits a locally uniformly rotund norm can be renormed to be non-rotund and to contain a locally uniformly rotund dense maximal subspace. We also give a closed surface in R 3 which is a possible candidate to satisfy the hypothesis of Theorem B. In Section 4, we construct a non-complete normed space Y so that Y is Fréchetsmooth but the completion is not Gateaux-smooth. To be more precise, we have Theorem C. Let Y be an infinite dimensional Banach space that admits a Fréchetsmooth equivalent norm. Then Y admits an equivalent renorming such that Y is non-gateaux smooth but has a Fréchet-smooth, dense, and maximal subspace. The study of the conditions for the equivalence of RNP and Krein-Milman property (KMP) is an important and interesting subject. There are many positive results for certain classes of Banach spaces. However, it is shown in [10] that RNP and KMP are incomparable properties in non-complete spaces. So an open problem is whether the KMP for a normed space implies the completeness of the normed

3 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 3 space. In Section 5, we show that the KMP can substitute completeness in certain settings. Using Baire Category theorem, it is easy to see that every infinite dimensional Banach space does not admit a countable Hamel basis. By a simple construction, we prove Theorem D. Every infinite dimensional normed space with the KMP does not have a countable Hamel basis. The failing of KMP in non-complete spaces exists almost everywhere in virtue of the following theorem. Theorem E. Every infinite dimensional separable Banach space has a dense subspace lacking the KMP. In Section 6, we revisit the characterization of the separable quotient problem by Rosenthal [13, 14]. By introducing the so called cs-complemented subspaces of a Banach space, we release a little bit of the conditions given by Rosenthal.. A non-rotund Banach space with a dense and maximal rotund subspace Definition.1. Let X be a normed space. Let x S X. Then: (1) The point x is said to be a rotund point of B X if x is not contained in any non-trivial segment of S X, that is, if y S X and x+y = 1, then x = y. The set of rotund points of B X is usually denoted as rot (B X ). () The point x is said to be a locally uniformly rotund point of B X if every sequence (y n ) n N B X such that ( x+yn ) converges to 1 is convergent n N to x. The set of locally uniformly rotund points of B X is usually denoted as rot u (B X ). As the reader may consult in the previous three references, a normed space is rotund or locally uniformly rotund if every element in its unit sphere is a rotund point or a locally uniformly rotund point. Let X be a normed space. We use S X to denote its unit sphere and B X to denote its unit ball. Lemma.. Let X be an infinite dimensional Banach space enjoying the following property: there exist x = y S X such that [x, y] and [ x, y] are the only maximal segments in S X. Then, X is non-rotund but has a rotund dense and maximal subspace. Proof. Let f : X R be a non-continuous linear functional such that f (x) = 0 and f (y) = 1. We know that ker (f) is a dense and maximal subspace of X and ((x, y] ( x, y]) ker (f) =. By hypothesis, rot (B X ) = S X ([x, y] [ x, y]). We will show that ker (f) is rotund. Observe that S ker(f) {x, x S X ([x, y] [ x, y]) ker (f) = rot (B X ) ker (f) rot ( B ker(f) ). It remains to show that x, x rot ( ) B ker(f). Assume not. Then, there exists z S ker(f) {x, x such that [z, x] S ker(f) S X and [ z, x] S ker(f) S X. By hypothesis, z [y, x) and z [ y, x), which is a contradiction.

4 4 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG Remark.3. In the proof of the previous lemma it would have been much easier to take f : X R a non-continuous linear functional such that f (x) = f (y) = 1. However, we wanted to show that the dense maximal rotund subspace can be chosen to intersect a segment of the superspace. We will show in the next section that this situation is not possible with dense locally uniformly rotund subspaces. In the next section we will discuss about the existence of infinite dimensional Banach spaces exists enjoying the hypothesis of Lemma.. Lemma.4. There exists a -dimensional Banach space Y with the following property: there exist x = y S Y such that [x, y] and [ x, y] are the only maximal segments in S X. Proof. The union of the two circles { (x, y) R : (x 1) + y 1 and { (x, y) R : (x + 1) + y 1 and the unit square { (x, y) R : x, y 1 determines the unit ball of a -dimensional Banach space whose only two maximal segments contained in the unit sphere are [( 1, 1), (1, 1)] and [(1, 1), ( 1, 1)]. This norm can be expressed as follows: where x, y R. (x, y) := { x +y x y if y < x if x y A natural approach is to extend the previous construction of the norm in - dimensional spaces to infinite dimensional spaces. The way of extension is expressed in the following remark. Remark.5. If is a norm on R n and X 1,..., X n are Banach spaces, then we define the following norm on X 1 X n : for all (x 1,..., x n ) X 1 X n. (x 1,..., x n ) := ( x 1,..., x n ) Unfortunately, we will prove that this way does not serve our purposes. Theorem.6. Let H be an infinite dimensional Banach space. Let X be a closed maximal subspace of H and let y S H such that X is a complement of Ry in H. Assume that the norm of H is given by x + λy := { x +λ x λ if λ < x if x λ where x X and λ R. Then, H does not have dense rotund subspaces. Proof. Observe that the unit ball of H has a face with non-empty interior relative to the unit sphere (B H {y), which does not allow any rotund dense subspace. Not even switching coordinates we can accomplish what we want.

5 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 5 Theorem.7. Let H be an infinite dimensional Hilbert space. Let x S H and Y the orthogonal complement of Rx. Consider the equivalent norm on H given by λx + y := { λ + y λ y if y < λ if λ y where λ R and y Y. Let λ, γ R and y, z Y such that λx + y = γx + z = λ + γ y + z x + = 1. Then we have two possibilities: (1) λ, γ [0, 1] and y = z S Y. () λ y = 1, γ + z = γ, and { λ (y z) = + (4 γ) λ + (γ 1) if γ > 0 λ (4 + γ) λ (γ + 1) if γ < 0. As a consequence, H does not have rotund dense and maximal subspaces under this equivalent norm. Proof. First off, note that if λ R and y Y are such that λx + y = 1, then either λ y = 1 or λ + y = λ and thus λ > 1 > y. Now, we will distinguish several cases: (1) λ y = 1 and γ z = 1. Then, λ+γ λ + γ y + z = 1, thus it must be λ+γ y+z = 1, and hence y = z because Y is rotund. () λ y = 1 and γ > 1 > z. We will distinguish two cases here: (a) γ > 0. We have that γ + z = γ and (λ + γ) + y + z = 4 (λ + γ). Then, (y z) = λ + (4 γ) λ + (γ 1). (b) γ < 0. We have that γ + z = γ and (λ + γ) + y + z = 4 (λ + γ). Then, (y z) = λ (4 + γ) λ (γ + 1). (3) λ > 1 > y and γ > 1 > z. Then, it must be λ+γ > 1 > y+z. We will distinguish two cases here: (a) λγ > 0. In this case we can assume that λ, γ > 0. We have that λ + y = λ, γ + z = γ and (λ + γ) + y + z = 4 (λ + γ). Eventually we obtain that λγ + (y z) = λ + γ, that is λ + γ λγ = (y z) y z = λ λ γ γ. After raising to the square and simplifying, we obtain that λ +γ λγ. If y = z, then (y z) < y z obtaining the contradiction that λ + γ < λγ. (b) λγ < 0. In this case we can assume that λ > γ > 0. We have that λ + y = λ, γ + z = γ and (λ + γ) + y + z = 4 (λ + γ). Eventually we obtain that λγ + (y z) = λ + 3γ, that is λ + 3γ λγ = (y z) y z = λ λ γ γ. After raising to the square and simplifying, we obtain that (λ + 3γ) 4λγ ( 1 + λ + γ) < 0, which is impossible. To conclude the proof, we will show that H does not admit rotund dense and maximal subspaces. Let f : H R be a non-continuous linear functional. Fix 1 < γ <. The Intermediate Value Theorem assures that there exists λ [ 1, 1] such that λ + (4 γ) λ + (γ 1) = 0. Since f Y is not continuous, there exists y S Y such that f (y) = λf (x). Let Z be the orthogonal complement of Ry in

6 6 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG Y. Again f Z is not continuous, therefore there must exist z γ γ S Z such that f (z) = γf (x). Finally, notice that λx + y = γx + z = λ + γ y + z x + = 1. At this point we need to find a different way to construct an infinite dimensional Banach space with few segments so that it admits a rotund dense subspace. This new way will be opened by making use of the L -norm and complementation. Lemma.8. Let Y and Z be Banach spaces. Let y 1, y Y and z 1, z Z such that [y 1 + z 1, y + z ] S Y Z. Then: [ ] (1) y 1 = y and if y 1 = 0, then y1 y, y 1 y S Y. [ ] () z 1 = z and if z 1 = 0, then S Z. Proof. Observe that 4 = y 1 + y + z 1 + z z 1 z 1, z z y 1 + y + y 1 y + z 1 + z + z 1 z = + ( y 1 y + z 1 z ) + y 1 + z 1 y + z = 4. On the one hand we conclude [ that ] y 1 + y = y 1 + y [ and z 1 + ] z = z 1 + z, therefore y1 y, y z 1 y S Y if y 1, y = 0 and 1 z, z 1 z S Z if z 1, z = 0. On the other hand we conclude that y 1 y + z 1 z = y 1 + z 1 y + z, which means that there exists α > 0 such that y 1 = α y and z 1 = α z. Then, 1 = y 1 + z 1 = α ( y + z ) = α, that is, α = 1. Theorem.9. Let Y denote the -dimensional Banach space from Lemma.4. Let Z be an infinite dimensional rotund Banach space. Then, X := Y Z has a rotund, dense, and maximal subspace. Proof. Let x, y S Y as in Lemma.4. Let f : X R be a non-continuous linear functional such that f (x) = 0 and f (y) = 1. We will show that ker (f) is rotund. Let y 1, y Y and z 1, z Z such that [y 1 + z 1, y + z ] S ker(f). In virtue of Lemma.8 and by hypothesis, we have that y 1 = y, z 1 = z, and there exist y λ 1, λ [0, 1] such that 1 y = λ 1 1y + (1 λ 1 ) x and y y = λ y + (1 λ ) x. Since f (y 1 ) = f (z 1 ) = f (z ) = f (y ), we have that λ 1 = λ. Therefore, y 1 = y. Proof of Theorem A. Let V be any -dimensional subspace of X. Let Z be a topological complement for V in X. We know that V is isomorphic to Y, where Y denotes the -dimensional Banach space from Lemma.4. Then, X is isomorphic to Y Z. Finally, we apply Theorem.9.

7 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 7 3. Banach spaces with dense locally uniformly rotund subspaces The beginning of this section is to show that the second construction of the previous section does not work in this case. Lemma 3.1. Let Y and Z be Banach spaces. Let (y n ) n 0 Y and (z n ) n 0 Z such that (y n + z n ) n 0 S Y Z and ( (y 0 + z 0 ) + (y n + z n ) ) n N converges to. Then: ( ) y (1) ( y n ) n N converges to y 0 and if y 0 = 0 then 0 y + yn 0 y n converges to. ( ) z n N () ( z n ) n N converges to z 0 and if z 0 = 0 then 0 z + zn 0 z n converges to n N. Proof. Observe that for all n N we have that 4 y 0 + y n + z 0 + z n y 0 + y n + y 0 y n + z 0 + z n + z 0 z n = + ( y 0 y n + z 0 z n ) + y 0 + z 0 y n + z n = 4. On the one hand we conclude that ( y 0 + y n y 0 + y n ) n N converges to 0 as well as ( z 0 + z n z 0 + z n ) n N. On the other hand we conclude that ) ( y 0 + z 0 y n + z n ( y 0 y n + z 0 z n ) converges also to 0, which means that ( y n ) n N converges to y 0 and ( z n ) n N converges to z 0. Everything together gives us the final conclusion of the theorem. Theorem 3.. Let Y be a non-rotund -dimensional Banach space. Let Z be any infinite dimensional Banach space. Then, Y Z does not have a dense and maximal locally uniformly rotund subspace. Proof. Let f : Y Z R be a non-continuous linear functional. Let x = y S Y such that [x, y] S Y. There exists z S Z such that f (z) = f (y). Note that f Z cannot be continuous because Y is -dimensional. Therefore f ( 1 f ( )) x+y Z is dense in Z, and since B Z has non-empty interior in Z we deduce that the set f ( 1 f ( )) x+y BZ is dense in B Z. Then, there exists a sequence (z n ) n N f ( 1 f ( )) x+y BZ converging to z. Finally, ( ( 1 x + y + 1 ) ( 1 z n + y + 1 ) ) z n N converges to. Actually, the previous theorem can be improved in a really surprising way. Lemma 3.3. Let X be a normed space and consider Y to be a dense subspace of X. Then: (1) rot u (B Y ) rot u (B X ). () If C is any non-trivial segment of S X, then rot u (B Y ) C =. Proof. n N

8 8 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG (1) It is a simple exercise so we spare the details to the reader. () It is a direct consequence of the previous paragraph. Observe that the second paragraph of the previous lemma was somehow announced in Remark.3. Theorem 3.4. Let Y be a non-rotund -dimensional Banach space. Let Z be any infinite dimensional Banach space. Then, Y Z does not have a dense and locally uniformly rotund subspace. Proof. Let V be any dense subspace of Y Z. Let C be a non-trivial segment of Y. Let c be in the interior of C. By density of V, there exists y Y and z Z such that y + z V and y + z is closed enough to c so that y is in the interior of C. In accordance to Lemma.8, [ ] y + z c + z, S Y Z. y + z c + z Finally, by applying the second paragraph of the previous lemma, V cannot be locally uniformly rotund. Unfortunately, the first construction of the previous section does not work either. Theorem 3.5. Let H be an infinite dimensional Hilbert space. Let x S H and Y the orthogonal complement of Rx. Consider the equivalent norm on H given by λx + y := { λ + y λ y if y < λ if λ y where λ R and y Y. Then, H does not have dense and locally uniformly rotund subspaces under this new equivalent norm. Proof. The reader may realize that any dense subspace of H will intersect of the sets [ 1, 1] x + y for y S Y, which are segments according to Theorem.7. The second paragraph of Lemma 3.3 will finish the proof. Nevertheless, of course the locally uniformly rotund version of Lemma. trivially holds. Lemma 3.6. Let X be an infinite dimensional Banach space enjoying the following property: there exist x = y S X such that rot u (B X ) = S X ([x, y] [ x, y]). Then, X is non-rotund but has a locally uniformly rotund dense and maximal subspace. Bearing in mind Lemma 3.6, our objective then is to construct an infinite dimensional Banach space with only two maximal segments in its unit sphere. Lemma 3.7. Let B be the unit ball of a three dimensional normed space in R 3 that is symmetric with respect to the z-coordinate. If x, y, z 1, z R are such that 0 < z 1 z, (x, y, z 1 ) S B and (x, y, z ) B, then (x, y, z ) S B. Proof. Since B is symmetric with respect to the z-coordinate with have that (x, y, z 1 ) S B and therefore (x, y, 0) B. Now, (x, y, z 1 ) = z ( 1 (x, y, z ) + 1 z ) 1 (x, y, 0), z z which means that (x, y, z ), (x, y, 0) S B.

9 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 9 Proof of Theorem B. Let W be the infinite dimensional locally uniformly rotund Banach space. We can assume that the two maximal segments of the 3-dimensional unit ball are [(1, 0, 0), (0, 1, 0)] and its opposite. Let x = ±y S W and let Z be a topological complement for Rx Ry in W. Consider the equivalent norm on W given by λx + γy + z := (λ, γ, z ) where λ, γ R and z Z and the norm in the right hand side is the norm of the 3- dimensional space in the hypothesis. Suppose that λ 1, λ, γ 1, γ R and z 1, z Z are such that λ 1 x + γ 1 y + z 1 = λ x + γ y + z = Now, we can apply Lemma 3.7 to λ 1 + λ, γ 1 + γ to conclude that ( λ1 + λ, z 1 + z λ 1 + λ x + γ 1 + γ, z 1 + z, γ 1 + γ, z ) 1 + z y + z 1 + z = 1. is in the unit sphere of the 3-dimensional Banach space. Therefore, z 1 = z = 0 and the only two maximal segments of the new unit ball of W are [x, y] and its opposite. Finally, let us show that if λ, γ R and z Z {0 are such that λx + γy + z = 1, then λx + γy + z is a locally uniformly rotund point. Indeed, let (λ n ) n N, (γ n ) n N R and (z n ) n N Z such that λ n x + γ n y + z n = 1 for all n N and ( λ + λn, γ + γ n, z + z n ) = λ + λ n x + γ + γ n y + z + z n 1 as n. Observe that ( λ + λn, γ + γ n, z + z ) n 1 for all n N. We can assume without loss of generality that ( ) ( ) ( ) ( ) λ + λn γ + γn z + z n z + zn, n N, n N, n N are respectively convergent to α, β, u 1, u R. Then, we have that (α, β, u 1 ) = 1, (α, β, u ) 1, and 0 u 1 u, therefore Lemma 3.7 assures that (α, β, u 1 ) and (α, β, u ) are on a segment in the unit sphere of the 3-dimensional ball, which means that u 1 = u. Hence ( z + z n ( z + z n )) converges to 0. Now, (λ, γ, z ) is a locally uniformly rotund point of the 3-dimensional unit ball, therefore (λ n ) n N, (γ n ) n N and ( z n ) must converge to λ, γ and z respectively. Since Z is locally uniformly rotund, we deduce that (z n ) n N converges to z. What is remaining is to apply Lemma 3.6. Next we construct a closed surface in R 3 which contains two obvious symmetric maximal segments and for each fixed 1 < z < 1, the projection onto the x y plane is an ellipse. This example is a possible candidate for the hypothesis of Theorem B. But we do not know how to verify. n N

10 10 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG Example 3.8. Let us consider on R 3 the norm induced by the following unit ball [ B := 3, ] { 3 {0 { 1, 1 (x, y, z) R 3 x : 4 z + y 1 z 1. The only two segments of this unit ball are [ 3, 3 ] {0 {1 and [ 3, 3 ] {0 { A non-smooth Banach space with a dense and maximal (Fréchet-)smooth subspace Definition 4.1. Let X be a normed space. Let x S X. Then: (1) The point x is said to be a Gateaux-smooth point of B X (or simply a smooth point of B X ) if the norm of X is Gateaux-differentiable at x, or equivalently, there exists only one x S X such that x (x) = 1, or equivalently, if (x n) n N is a sequence of B X such that (x n (x)) n N converges to 1, then (x n) n N is ω -convergent. The set of Gateaux-smooth points of B X is usually denoted as smo (B X ). () The point x is said to be a Fréchet-smooth point of B X (or simply a strongly smooth point of B X ) if the norm of X is Fréchet-differentiable at x, or equivalently, if (x n) n N is a sequence of B X such that (x n (x)) n N converges to 1, then (x n) n N is convergent. The set of Fréchet-smooth points of B X is usually denoted as smo s (B X ). A normed space is said to be Gateaux-smooth or Fréchet-smooth if every point on the unit sphere is a Gateaux-smooth point or a Fréchet-smooth point. The beginning of this section is to show that the second construction of the second section does not apply to the smooth case. Lemma 4.. Let Y and Z be Banach spaces. Let y Y, z Z, y Y, and z Z such that y + z S Y Z, y + z S Y Z and (y + z ) (y + z) = 1. Then: ( ) (1) y = y and if y = 0, then y y = 1. y () z = z and if z = 0, then z z Proof. Note that ( y z z 1 = (y + z ) (y + z) = y (y) + z (z) = 1. ) = 1. y y + z z y + z y + z On the one hand we conclude that y (y) = y y and z (z) = z z. On the other hand we conclude that y y + z z = y + z y + z, which means that there exists α > 0 such that y = α y and z = α z. Then, 1 = y + z = α ( y + z ) = α, so α = 1.

11 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 11 Theorem 4.3. Let Y and Z be Banach spaces of dimension greater than or equal to such that Z is infinite dimensional and smooth and Y is finite dimensional. If Y Z has a dense and maximal smooth subspace, then Y Z is smooth. Proof. Let f : Y Z R be a non-continuous linear functional such that ker (f) is smooth. Assume to the opposite that Y Z is not smooth. Then, there are y Y, z Z, y1, y Y, and z1, z Z such that y + z S Y Z, y1 + z1 = y + z S Y Z and (y 1 + z1) (y + z) = 1 = (y + z) (y + z) = 1. Observe that either y1 = y or z1 = z. Since Z is smooth, we must have) y1 = y. By Lemma ) 4. we have that y1 = y = y, y = 0 and y 1 = 1 = y. y 1 ( y y y ( y y Observe now that f (y) = 0 because ker (f) is smooth. Also, Z cannot be entirely contained in ker (f) because f Y is continuous. Therefore, we can find ω Z such y that f (ω) = f (y). Then, y + w ker (f) and it is not a + w y + w ( ) smooth point. Indeed, let w Z such that w = w and = 1. y Then, 1 + w y + w y and y + w functionals in S Y Z attaining their norm at + w y + w y + w y y + w + w w w w w are two different y + w. Theorem 4.3 forces us to use a different construction to reach our objective. We will use a similar idea as in the first construction of the second section. Lemma 4.4. Let X be an infinite dimensional Banach space. If there exists y S X verifying that smo (B X ) = S X {y, y, then X has a dense and maximal smooth subspace. Proof. Let f : X R be a non-continuous linear functional such that f (x) = 0 and f (y) = 1. We know that ker (f) is a dense and maximal subspace of X. We will show that ker (f) is smooth. Observe that S ker(f) S X {y, y ker (f) = smo (B X ) ker (f) smo ( B ker(f) ). Notice that the Frechet version of Lemma 4.4 trivially holds. That is, we have the following. Lemma 4.5. Let X be an infinite dimensional Banach space. If there exists y S X verifying that smo s (B X ) = S X {y, y, then X has a dense and maximal Frechetsmooth subspace. Lemma 4.6. There exists a -dimensional Banach space verifying that there exists y S X with smo s (B X ) = S X {y, y Proof. The intersection of the two circles { (x, y) R : (x + 1) + y and { (x, y) R : (x 1) + y

12 1 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG determines the unit ball of -dimensional Banach space whose only two non-smooth points are (0, 1) and (0, 1). This norm can be described as (x, y) = x + x + y, where (x, y) R. Indeed, if x > 0 and y > 0, then ( ) ( ) x (x, y) + 1 y + =, (x, y) so (x, y) is the positive solution to the quadratic equation r + xr + ( x + y ) = 0. Theorem 4.7. Let X be an infinite dimensional smooth Banach space. Then, X admits an equivalent renorming such that there exists y S X verifying that smo (B X ) = S X {y, y. Proof. Let y S X. Let H be a topological complement of Ry in X. Consider the equivalent norm on X given by h + λy := h + h + λ where h H and λ R. We clearly have that smo (B X ) = S X {y, y. Indeed, if h, k H and λ, γ R, then the following limit (h + λy) + t (k + γy) h + λy lim t 0 t h + tk + = lim t 0 = lim h + tk h t 0 t = lim h + tk h t 0 t h + tk + (λ + tγ) h + t t h + λ h + tk + (λ + tγ) h λ ( ) h + tk + (λ + tγ) + h + λ ( λγ) 1 h + tk h + + h + λ t is not convergent if and only if h = 0 and k = 0. Remark 4.8. In the settings of Theorem 4.7, the convergence in the limit (h + λy) + t (k + γy) h + λy lim t 0 t is uniform on k + γy S X provided that H is strongly smooth and that h = 0. Theorem 4.9. Let X be an infinite dimensional Frechet-smooth Banach space. Then, X admits an equivalent renorming such that there exists y S X verifying that smo s (B X ) = S X {y, y. Theorem C follows from Lemma 4.5 and Theorem 4.9.

13 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES Non-complete normed spaces lacking the Krein-Milman Property It is a well known problem to determine whether the Krein-Milman Property and the Radon-Nykodim Property are equivalent (see, for instance, [9]). Definition 5.1 (Krein and Milman, 1940). Let X be a topological vector space. (1) Let M be a convex subset of X and let m M. We will say that m is an extreme point of M is m does not belong to the interior of any segment of M. The set of extreme points of M is usually denoted by ext (M). () A bounded closed convex subset M of X is said to have the Krein-Milman Property if M = cl (co (ext (M))). (3) The space X is said to have the Krein-Milman Property if every bounded closed convex subset of X has the Krein-Milman property. Notice that the Krein-Milman Property appears as a direct consequence of the famous Krein-Milman Theorem (see [9]). Theorem 5. (Krein and Milman, 1940). Let X be a topological vector space. Let K be a compact convex subset of X. Then, K = cl (co (ext (K))). The Radon-Nikodym Property comes from the theory of vector measures, which is not the purpose of this paper. A suitable characterization of the Radon-Nikodym Property in terms of strongly exposed points directly shows that the Radon-Nikodym Property implies the Krein-Milman Property (see [4]). In [10], the author shows an example of a non-complete normed space where both properties are actually not comparable. Once again, we see the deficiencies of the geometrical properties under the lack of completeness. Lemma 5.3. Let X be an infinite dimensional topological vector space. Consider {e i : i I X to be a linearly independent infinite set. Let { M 00 := λ n e in : (λ n ) n N B c00 and { M 0 := λ n e in : (λ n ) n N B c0 and λ n e in converges in X Then, both M 00 and M 0 are free of extreme points. Proof. (1) If λ ne in M 00 with (λ n ) n N B c00, then there exists m N such that λ n = 0 for n > m. Then, ( λ n e in = 1 m ) ( λ n e in + e im m ) λ n e in e im+1. () If λ ne in M 0 with (λ n ) n N B c0, then there exists m N such that λ m < 1. Then, ( λ n e in = 1 + λ m 1 ) ( m λ n e in + e im + λ n e in + 1 λ m 1 m λ n e in e im + n=m+1 n=m+1 λ n e in ).

14 14 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG The previous lemma gives us the hint of where to start. Lemma 5.4. Let X be a topological vector space that admits a biorthogonal system (e i, e i ) i I X X. Then for any subsequence (e in ) of (e i ): (1) M 00 := { λ ne in : (λ n ) n N B c00 is closed in span {ei : i I. converges in X is : (λ n ) n N c 0 and λ ne in converges in X. () M 0 := { λ ne in : (λ n ) n N B c0 and λ ne in closed in { λ ne in Proof. (1) Let x be in the closure of M 00 in span {e i : i I. Then, x = m λ ne in for some λ 1,..., λ m R. Assume that there exists j {1,..., m such that λ j > 1. Let 0 < ε < λ j 1. There exists y M 00 such that ( ) 1 y e i ( λj j ε, λ j + ε). Then, e i j (y) > 1 which is impossible. () It is, essentially, the same proof. Notice the existence of infinite dimensional topological vector spaces that do not admit biorthogonal systems. Remark 5.5. Let X be a vector space of any dimension. Let us endow X with the trivial topology, that is, {, X. Then, X = {0 therefore there are no biorthogonal systems. Notice also that good geometrical properties like uniform convexity loose strength under the lack of completion. Remark 5.6. Let (e n ) n N be the canonical basis of l. Note that span {e n : n N is a pre-hilbert space (and thus uniformly rotund) but does not enjoy the Krein- Milman Property in virtue of Lemma 5.3 and Lemma 5.4. Directly from Lemma 5.3 and Lemma 5.4 we can deduce the following. Proof of Theorem D. If the cardinality of a Hamel basis of X is countable infinite, then there exists a countable infinite biorthogonal system (e i, e i ) i I X X which verifies that X = span {e i : i I. At this point we apply Lemma 5.3 and Lemma 5.4. To conclude this section we will go over the possible existence of biorthogonal systems. Theorem 5.7. Let X be a locally convex Hausdorff topological vector space. Then, X has a maximal biorthogonal system (e i, e i ) i I X X. This biorthogonal system verifies that i I ker (e i ) span {e i : i I. In particular, if this maximal biorthogonal system is total, then it is fundamental and therefore a Markushevich basis. Proof. Define L := { (e i, e i ) i I X X : e i (e j ) = δ ij for all i, j I. We claim that L is an) inductive set with the partial order given by the inclusion. Indeed, if ((e i, e i ) is a chain of L, then (e i Ik i, e i ) i k K k K I L. By the Zorn s k Lemma, there exists a maximal element of L that we will denote by (e i, e i ) i I.

15 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 15 Assume that there exists x i I ker (e i ) span {e i : i I. Since X is Hausdorff and locally convex, the Hahn-Banach Separation Theorem allows us to consider x X such that x (x) = 1 and x (span {e i : i I) = {0. Then, This is a contraction. (e i, e i ) i I < (e i, e i ) i I (x, x ) L. Corollary 5.8. Let X be a locally convex Hausdorff topological vector space. If X admits an infinite fundamental biorthogonal system, then X has a dense subspace lacking the Krein-Milman Property. Since every separable infinite dimensional Banach space admits a countable infinite M-basis, Theorem E is a direct consequence of Corollary A sufficient condition for an infinite dimensional Banach space to have an infinite dimensional, separable quotient In 1968, Rosenthal proved the following equivalence version of the Separable Quotient Problem (see [13], [14], and [1]). Theorem 6.1 (Rosenthal, 1968). Let X be an infinite dimensional Banach space. The following conditions are equivalent: (1) X has an infinite dimensional, separable quotient, that is, there exists a closed subspace M of X such that X/M is infinite dimensional and separable. () X an infinite dimensional, separable quasi-complemented subspace, in other words, there exists an infinite dimensional, separable, closed subspace Y of X and a another closed subspace Z of X such that Y Z = {0 and cl (Y + Z) = X. Our contribution to the Separable Quotient Problem in this section is to change quasi-complementation for cs-complementation in the previous result involving convex series. Therefore, it will be very helpful for our purposes to recall following concepts and results (see [8]). Remark 6. (Jameson, 197). Let X be a topological vector space. A convex series is a series of the form t nx n where t n 0 for all n N, t n = 1, and x n X for all n N. If A is a subset of X, then we say that t na n is a convex series of A if it is a convex series and a n A for all n N. Definition 6.3 (Jameson, 197). Let X be a topological vector space. subset A of X is said to be (1) cs-closed if every convergent convex series of A has its sum in A; () cs-compact if every convex series of A converges to some element of A. Theorem 6.4 (Jameson, 197). Let X be a topological vector space. Let A be a subset of X. Then: (1) If A is cs-compact, then it is cs-closed. () If A is cs-closed, then it is convex. (3) If A is closed and convex, then it is cs-closed. (4) If A = co (B C), being B cs-compact and C cs-closed, then A is cs-closed. (5) If A is cs-closed, then A and its closure have the same interior. In case X is normable, we also have that:

16 16 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG (1) If A is complete, convex, and bounded, then it is cs-compact. () If A = U X, then it is cs-closed. By taking advantage of the previous concepts, we can redefine (and generalize) the concept of barrel. Definition 6.5. Let X be a topological vector space. A subset M of X is said to be a cs-barrel if it is convex, balanced, absorbing, and cs-closed. Remark 6.6. Let X be a normed space. There always exists a cs-barrel in X that is not a barrel. Indeed, according to the seventh paragraph of Theorem 6.4 it is sufficient to consider the open unit ball U X of X. Definition 6.7. Let X be a topological vector space. Let Y and Z be two vector subspaces of X. We say that Y and Z are cs-complemented in X if: (1) Y and Z are linearly quasi-complemented in X, that is, Y Z = {0 and Y + Z is dense in X, () Y is closed in X, and (3) Z has a cs-barrel L that is cs-closed in Y + Z. Proposition 6.8. Let X be a topological vector space. Let Y and Z be two vector subspaces of X. If Y and Z are quasi-complemented, then Y and Z are cscomplemented. The converse is not true. As a consequence of Theorem 6.1, if X is a Banach space that admits an infinite dimensional separable quotient, then there exists infinite dimensional closed separable subspace Y of X that is cs-complement in X. Proof. Let L be any cs-barrel of Z. We need to show that L is cs-closed in Y + Z, which is in fact an immediate consequence of the fact that Y and Z are closed and Y Z = {0. To see that the converse is not true we consider any two topological vector spaces Y and Z so that Z admits a proper dense subspace Z. Consider the topological vector space X := Y Z with the product topology. Because of the product topology, Y {0 and {0 Z are linearly quasi-complemented in X and Y {0 is closed in X. Finally, if L is any cs-barrel of {0 Z, then L is cs-closed in Y {0 + {0 Z because Y {0 and {0 Z are closed in X, Y {0 {0 Z = {(0, 0), and {0 Z is cs-closed in {0 Z. As we can see, quasi-complementation and cs-complementation are not, in general, equivalent concepts. However, we will show that they are extremely related in the class of Banach spaces that admit an infinite dimensional separable quotient. Lemma 6.9. Let X be an infinite dimensional, separable Banach space. (e n, e n) n N S X X be a Markushevich basis. The set { N := t n e n : t n 1 n for every n N is bounded and closed. In particular, it is a bounded barrel in its linear span, and hence it has empty interior in its linear span. Proof. In the first place, we will show that N is closed. Let (x i ) i N N be a convergent sequence to some x 0 X. For every i N we can write x i = t i ne n i=1 Let

17 GEOMETRIC PROPERTIES ON NON-COMPLETE SPACES 17 where t i n 1/n for every n N. For every n N we will denote e n (x 0 ) by t 0 n. If we fix n N, then lim i ti n = lim e n (x i ) = e n (x 0 ) = t 0 i n, therefore t 0 n 1/n for every n N. Now, if x 0 = t0 ne n, then there is m N such that ( ) t 0 m = e m (x 0 ) = e m t 0 ne n = t 0 m, which is impossible. In the second place, we will show that N is bounded. If we consider t ne n with t n 1/n for every n N, then 1 t n e n t n n. In the third and last place, we will show that N has empty interior in its linear span. For this it suffices to notice that the set N span {e n : n N = {y span {e n : n N : e n (y) 1n for every n N has empty interior in span {e n : n N. Theorem Let X be an infinite dimensional Banach space. If there exists infinite dimensional closed separable subspace Y of X that is cs-complement in X, then X admits an infinite dimensional separable quotient. Proof. Let (e n, e n) n N S Y Y be a Markushevich basis. By Lemma 6.9 the set { N := t n e n : t n 1 n for every n N is bounded, absolutely convex, and complete. In accordance to the fourth paragraph of Theorem 6.4, N is cs-compact. Let Z be a cs-algebraical quasi-complement for Y in X and L be a cs-barrel in Z that is cs-closed in Y + Z. By applying the fifth paragraph of Theorem 6.4 we deduce that co (N L) is cs-closed in Y +Z, and hence in E := span (N L). So, let M be the closure of co (N L) in E. We will show that M has empty interior in E. In accordance to the sixth paragraph of Theorem 6.4 it suffices to show that co (N L) has empty interior in E. Keep in mind that, by Lemma 6.9, the set N has empty interior in its linear span. Furthermore, co (N L) span (N) = N. As a consequence, co (N L) must have empty interior in E. Finally, E is a nonbarreled dense subspace of X, therefore X has an infinite dimensional separable quotient in virtue of [15]. Acknowledgements. The authors want to thank the organizers of the Workshop in Analysis and Probability 009 held in Texas A& M University during which this paper was written. We especially would like to thank Bill Johnson for his support.

18 18 FRANCISCO J GARCÍA-PACHECO AND BENTUO ZHENG References 1. J. Blatter: Reflexivity and the existence of best approximations. Approximation Theory, Proc. Internat. Sympos., Univ. Texas, Austin, Tex., Academic Press, New York, (1976), Bandyopadhyay, P.; Huang, Da; Lin, Bor-Luh; Troyanski, S. L.: Some generalizations of locally uniform rotundity. J. Math. Anal. Appl. 5 (000), no., Clarkson, J. A.: Uniformly convex spaces. Trans. Amer. Math. Soc. 40 (1936), no. 3, R.D. Bourgin: Geometric aspects of convex sets with the Radon-Nikodym Property. Lectures Notes in Mathematics 993, Springer, New York, M. Fabian et al: Functional Analysis and infinite-dimensional Geometry, Springer Verlag, J. R. Giles: Strong differentiability of the norm and rotundity of the dual. J. Austral. Math. Soc. 6 (1978), R.C. James: A counterexample for a sup theorem in normed spaces, Israel J. Math. 9 (1971), G.J.O. Jameson: Convex series. Proc. Cambridge Philos. Soc. 7 (197) M. Krein and D. Milman: On extreme points of regular convex sets. Studia Math. bf 9 (1940), G. López: RNP and KMP are incomparable properties in noncomplete spaces. Acta Math. Univ. Comenianae 65 (1996), no., R.E. Megginson: An Introduction to Banach Space Theory. Graduate Texts in Mathematics 183, Springer-Verlag, New York, J. Mújica: Separable quotients of Banach spaces. Rev. Mat. Univ. Complut. Madrid 10 (1998) H.P. Rosenthal: On quasi-complemented subspaces of Banach spaces. Proc. Natl. Acad. Sci. USA 59 (1968) H.P. Rosenthal: On quasi-complemented subspaces of Banach spaces, with an appendix on compactness of operators from L p (μ) to L r (ν). J. Funct. Anal. 4 (1969) S.A. Saxon and A. Wilansky: The equivalence of some Banach space problems. Colloq. Math. 37 (1977) Department of Mathematics, Texas A& M University, College Station, Texas, , The United States address: fgarcia@math.tamu.edu Department of Mathematics, The University of Texas at Austin, 1 University Station C100, Austin, TX , The United States address: btzheng@math.utexas.edu