arxiv: v2 [math.fa] 9 Mar 2017

Transcription

1 ON CONVEX COMBINATIONS OF SLICES OF THE UNIT BALL IN BANACH SPACES arxiv: v [math.fa] 9 Mar 017 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE Abstract. We prove that the following three properties for a Banach space are all different from each other: every finite convex combination of slices of the unit ball is (1 relatively weakly open, ( has nonempty interior in relative weak topology of the unit ball, (3 intersects the unit sphere. In particular, the 1-sum of two Banach spaces does not have property (1, but it has property ( if both the spaces have property (1; the Banach space C[0,1] does not have property (, although it has property (3. 1. Introduction All Banach spaces we consider are over the field R of real numbers infinite-dimensional, if not stated otherwise. For a Banach space X, let B X, S X, X denote the unit ball, the unit sphere, the dual of X, respectively. By a slice of B X we mean a set of the form S(x,α} = {x B X : x (x > 1 α}, where x S X α > 0. A convex combination of slices of B X is a set of the form λ i S i, where n N, λ 1,...,λ n 0 with n λ i = 1, S 1,...,S n are slices of B X. By Bourgain s lemma [4, Lemma II.1], every nonempty relatively weakly opensubsetof the unitball of a Banach space contains aconvex combination of slices of the unit ball. But the converse is not always true: a convex combination of slices of the unit ball in general need not have a nonempty relatively weakly open subset (see, e.g., [4, Remark IV.5 p. 48]. Although in some Banach spaces every convex combination of slices of the unit ball has nonempty interior in relative weak topology of the unit ball, e.g., in C(K, 010 Mathematics Subject Classification. Primary 46B0, 46B. Key words phrases. Banach space, slice, convex combination of slices, relatively weakly open set. The research was supported by institutional research funding IUT0-57 of the Estonian Ministry of Education Research. 1

2 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE for scattered compact K, in particular, in c, in c 0, as it is shown in a very recent preprint [1]. In fact, [1, Theorems.3.4] asserts that in C(K, for scattered compact K, in c 0, every convex combination of slices of the unit ball is relatively weakly open. Every nonempty relatively weakly open subset of the unit ball of a Banach space intersects the unit sphere. Therefore a convex combination of slices has to intersect the unit sphere in order to have nonempty relative weak interior. One can immediately verify that in the spaces C[0,1] L 1 [0,1] every convex combination of slices of the unit ball intersects the unit sphere; the same is true for l (see, e.g., [1, Examples ]. Let us consider the following three properties for a Banach space: (P1 every convex combination of slices of the unit ball is open in the relative weak topology (of the unit ball; (P every convex combination of slices of the unit ball has nonempty interior in the relative weak topology (of the unit ball; (P3 every convex combination of slices of the unit ball intersects the unit sphere. Clearly, one has (P1 = (P = (P3. In this paper we prove that these three properties are all different from each other. In fact, their difference appears by studying how they act under direct sums with absolute norms. We also show that the space C[0,1] does not have property (P, although it has property (P3, according to the remark above. This, of course, also implies the difference of (P (P3. Recall that a norm N on R is called absolute (see [3] if normalized if N(a,b = N( a, b for all (a,b R, N(1,0 = N(0,1 = 1. Forexample, thep-norm p isabsolutenormalizedforevery p [1, ]. If N is an absolute normalized norm on R (see [3, Lemmata ], then (a,b N(a,b (a,b 1 for all (a,b R ; if (a,b,(c,d R with a c b d, then N(a,b N(c,d; the dual norm N on R defined by N (c,d = max N(a,b 1 ( ac + bd for all (c,d R is also absolute normalized. Note that (N = N.

3 ON CONVEX COMBINATIONS OF SLICES 3 If X Y are Banach spaces N is an absolute normalized norm on R, then we denote by X N Y the direct sum X Y equipped with the norm (x,y N = N( x, for all x X y Y. In the special case where N is the l p -norm, we write X p Y. Note that (X N Y = X N Y. Definition. We say that an absolute normalized norm on N on R has the positive strong diameter property if whenever n N, positive f 1,...,f n S (R,N, α 1,...,α n > 0, λ 1,...,λ n 0 with n λ i = 1 there are positive (a i,b i S(f i,α i such that ( N λ i (a i,b i = 1.. Stability results of properties (P1, (P, (P3 under direct sums We start with the following observation, which is a our joint result with Trond A. Abrahamsen Vegard Lima. Proposition.1. Let X Y be Banach spaces, let N be an absolute normalized norm different from the -norm, i.e., N(1,1 > 1. Then X N Y does not have property (P1. Proof. Put Z = X N Y, let x S X y S Y. Fix ε > 0 such that N(1,1 ε > 1. Consider the following four slices of B Z : Define S 1 = S((x,0,ε, S = S(( x,0,ε, S 3 = S((0,y,ε, S 4 = S((0, y,ε. C = 1 4( S1 +S +S 3 +S 4. We show that C is not relatively weakly open in B Z. First, note that (0,0 C. To see this, choose x B X y B Y with x (x > 1 ε y (y > 1 ε. Clearly, (x,0 S 1, ( x,0 S, (0,y S 3, (0, y S 4. Therefore (0,0 = 1 4( (x,0+( x,0+(0,y+(0, y C. Suppose that C is relatively weakly open. Then (0,0 has an open basic neighbourhood W C in the relative weak topology of B X, say W = {w B Z : zi (w < δ, i = 1,...,n},

4 4 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE where n N, z i = (x i,y i Z, δ > 0. Define U = {u B X : x i (u < δ, i = 1,...,n}. Then U is a relatively weakly open neighborhood of 0 X; therefore U intersects the unit sphere of X. Fix an u S X U. Then clearly (u,0 W. Since W C, this implies that there exist (x j,y j S j, j = 1,...,4, such that (u,0 = 1 (x1,y 1 +(x,y +(x 3,y 3 +(x 4,y 4 4(. To obtain a contradiction, consider (x 3,y 3. The conditions u = 1 (x 3,y 3 S 3 imply that x 3 = 1 y 3 > 1 ε; hence a contradiction. 1 = N( x 3, y 3 N(1,1 ε > 1, In contrast to property (P1, property (P3 is stable under 1-sums. Proposition.. Let X Y be Banach spaces with property (P3, let N be an absolute normalized norm with the positive strong diameter property. Then X N Y has property (P3. Proof. We follow an idea from [5]. Put Z = X N Y. Consider a convex combination of slices of B Z, say n λ is i, where S i = S((x i,y i,α i. Let S X i = S( x i x i, α i if x i 0, SX i = B X if x i = 0, S Y i = S( y i y i, α i if y i 0, S Y i = B Y if y i = 0. Since N has the positive strong diameter property, there exist a i,b i 0 such that N(a i,b i = 1, a i x i +b i yi 1 α i/, N( n λ i(a i,b i = 1. Define µ = λ i a i ν = λ i b i. Assume first that µ 0 ν 0. Define µ i = λ ia i ν i = λ ib i µ ν. Since X Y have property (P3, there exist x = n µ ix i S X y = n ν iy i S Y, wherex i Si X y i Si Y. Now(µx,νy S Z n λ is i, because (µx,νy N = N(µ,ν = 1, µx = n λ ia i x i, νy = n λ ib i y i, (a i x i,b i y i S i. Consider now the case, where µ = 0. The case, where ν = 0 is similar is therefore omitted. We can assume that λ i > 0 for every i. Since µ = 0, we

5 ON CONVEX COMBINATIONS OF SLICES 5 have a i = 0 b i = 1 for every i. Since Y has property (P3, there exists y S Y n λ isi Y. Then clearly (0,y S Z n λ is i. The following theorem together with the above ones will lead to our main conclusion in this section. Theorem.3. Let X Y be Banach spaces with the property that normone elements in convex combinations of open slices of the closed unit ball are interior points of these combinations in the relative weak topology (of the closed unit ball. Then also the 1-sum X 1 Y has the same property. Proof of Theorem. Put Z := X 1 Y, let n N, let S 1 := S(z 1,γ 1,..., S n := S(z n,γ n with z i = (x i,y i S Z beopenslices ofb Z, let λ 1,...,λ n 0satisfy n λ i = 1, let z = (x,y = λ i z i, where z i = (x i,y i S i, satisfy z = x + = 1. Notice that x = n λ i x i y = n λ i y i, x = λ i x i = λ i y i. We must find a finite subset C of Z a δ > 0 such that, for W := { w B Z : w (w z < δ for every w C }, (.1 one has W n λ i S i. For every i {1,...,n}, putting δ i = zi (z i (1 γ i, x i x i = x i, if x i 0, y i ŷ i = y i, if y i 0, 0, if x i = 0, 0, if y i = 0, S X i := { x B X : x i (x > x i ( x i δ i }, S Y i := { y B Y : y i (y > y i (ŷ i δ i }, observe that S X i S Y i are slices of, respectively, B X B Y with x i S X i ŷ i S Y i, ( xi S X i ( yi S Y i { w BZ : z i (w > 1 γ i + δ i } Si.

6 6 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE Indeed, whenever u Si X v Si Y, one has zi( xi u, y i v = x i x i (u+ y i yi (v ( > x i x i( x i δ i + y i ( y i(ŷ i δ i = x i(x i +yi(y i ( x i + y i δ i = z i(z i δ i = 1 γ i + δ i. We only consider the case when both x 0 0. (The case when x = 0 or = 0 can be hled similarly is, in fact, simpler. For every i {1,...,n}, letting α i := λ i x i x one has α i,β i 0, n α i = n x x = λ i x i x x i α i Si X β i := λ i y i, β i = 1. Observing that y = λ i y i ŷi β i Si Y, there are finite subsets A of S X B of S Y, a γ (0,1 such that, for { U := u B X : u ( u x < γ for every u A} x V := { v B Y : one has U n α i Si X V n β i Si Y. v ( v y < γ for every v B}, Choose x S X y S Y so that x (x = x y (y =. Let W be defined by (.1 where δ > 0 satisfies δ < γmin{ x,}, δ < γ i for all i {1,...,n}. C := { (u,0,(0,v : u A {x }, v B {y } }. Now suppose that w = (u,v W. Then u x (u = (x,0(w > (x,0(z δ = x (x δ = x δ,, similarly, v > δ; thus 1 u + v > u + δ, whence u < 1 +δ = x +δ,, similarly, v < +δ. There are two alternatives:

7 (1 u x v ; ( u > x or v >. ON CONVEX COMBINATIONS OF SLICES 7 Let us consider the case (. In this case, one may assume that u = x +ε v = ε 1 where 0 < ε ε 1 < δ. Setting û := u u, u 0 := x û, v := v v, v 0 := v, one has u = u û = ( x +εû = u 0 +εû v = v v = ( ε 1 v = v 0 ε 1 v = Since u 0 x S X, for every u A, u ( u 0 x x x ( 1 ε 1 v 0. 1 ( u (u x +ε u (û < δ x x < γ, one has u 0 x U, thus there are u i S X i, i = 1,...,n, such that u 0 = x α i u i = λ i x i u i. (. Similarly, since v 0 S Y, for every v B, v ( v 0 y one has v 0 V, thus there are v i S Y i Now, u = u 0 +εû = Thus, setting v = 1 ( v (v y +ε 1 v ( v < δ < γ, v 0 = β i v i = ( 1 ε 1 v 0 = ( λ i x i u i +, i = 1,...,n, such that λ i y i v i. (.3 ( λ i y i ε 1 y i v i λ i y i εû = ( λ i x i u i + ε y i û. ũ i := ε y i û, ṽ i := ε 1 y i v i, w i = ( x i u i +ũ i, y i v i ṽ i,

8 8 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE one has (u,v = = ( λ i x i u i + ε y ( i û, y i ε 1 y i v i ( λ i xi u i +ũ i, y i v i ṽ i = λ i w i, it remains to observe that w i S i for every i {1,...,n}. Indeed, w i = xi u i +ũ i + yi ε 1 y i x i + ũ i + y i ε 1 y i = 1+ ε y i ε 1 y i 1 z i(w i = z i( xi u i, y i v i +z i (ũ i, ṽ i > zi (z i δ i ũ i ṽ i > 1 γ i + δ i δ > 1 γ i. u In the case (1, one immediately verifies that x U v V, thus one has the representations (. (.3 with u i Si X v i Si Y for u 0 = u v 0 = v, it follows that ( ( ( xi (u,v = λ i xi u i, y i v i λ i Si X ( yi Si Y λ i S i. The next result follows easily from Proposition. Theorem.3. Proposition.4. Let X Y be Banach spaces with property (P1. Then X 1 Y has property (P. Proof. Let C be a convex combination of slices of the unit ball of X 1 Y. By Proposition., there exists a norm-one z C. By Theorem.3, the point z in an interior point of C in the relative weak topology of the unit ball. Propositions.1.4 immediately imply our main result in this section. Corollary.5. Properties (P1 (P are different. We now turn to -sums. Property (P1 is stable under -sums. Proposition.6. Let X Y be Banach spaces. Then X Y have property (P1 if only if X Y has property (P1.

9 ON CONVEX COMBINATIONS OF SLICES 9 Proof. Set Z := X Y. Assume that X Y have property (P1. Let n N consider the slices S 1 = S(z 1,α 1,...,S n = S(z n,α n, where zi = (x i,y i S Z. Let λ 1,...,λ n 0 satisfy n λ i = 1. We show that n λ is i is relatively weakly open. Fix z = n λ iz i n λ is i, where z i = (x i,y i S i. Choose an ε > 0 such that z i (z i ε > 1 α i for all i {1,...,n}. For every i {1,...,n}, define S X i = {u B X : x i (u > x i (x i ε} S Y i = {v B Y : y i(v > y i(y i ε}. ObservethatS X i S Y i areslices of, respectively, B X B Y, x i S X i, y i S Y i, SX i S Y i S i. It follows that z = λ i z i = ( n λ i x i, ( λ i Si X = λ i y i ( λ i S X i Si Y λ i S i. ( n λ is Y i ( λ i Si Y is relatively weakly open in B Z, we are ( n Since λ isi X done. Assumenow that Z hasproperty (P1. We only showthat X hasproperty (P1, similarly one obtains that Y has property (P1. Let C be a convex combination of slices of B X. Then D := C B Y is a convex combination of slices of B Z ; therefore D is relatively weakly open. Thus C is relatively weakly open in B X. The behavior of property (P under -sums is the same as that of property (P1. Proposition.7. Let X Y be Banach spaces. Then X Y have property (P if only if X Y has property (P.

10 10 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE Proof. Set Z = X Y. Assume that X Y have property (P. Consider a convex combination of slices of B Z, say n λ is i, where S i = S((x i,y i,α i. Let S X i = S( x i x i,α i if x i 0, S X i = B X if x i = 0, S Y i = S( y i y i,α i if y i 0, SY i = B Y if y i = 0. We have S X i S Y i S i, because for u S X i v S Y i, x i(u+y i(v > x i (1 α i + y i (1 α i = 1 α i. Since n λ isi X n λ isi Y have nonempty relatively weak interior, there are x B X, y B Y, relatively weakly open subsets U B X V B Y such that x U λ i Si X, y V λ i Si Y. Clearly U V B Z is relatively weakly open (x,y U V λ i Si X λ i Si Y = λ i (Si X Si Y λ i S i. Assumenow that Z hasproperty (P. We only showthat X hasproperty (P, similarly one obtains that Y has property (P. Let C be a convex combination of slices of B X. Then D := C B Y is a convex combination of slices of B Z ; therefore D has nonempty interior in the relative weak topology of B Z. Thus C has nonempty interior in the relative weak topology of B X. By Proposition.6, in order for the -sum of two Banach spaces to have property (P1, it is necessary that both these spaces have (P1. By Proposition.7, the same is true for property (P. For property (P3 in the same situation, it suffices that only one of these spaces has (P3. Proposition.8. Let X Y be Banach spaces. If X has property (P3, then X Y has property (P3. Proof. Set Z = X Y. Consider a convex combination of slices of B Z, say n λ is i, where S i = S((x i,y i,α i. Let (x,y = n λ i(x i,y i n λ is i, where (x i,y i S i. Define S X i = {u B X : x i (u > 1 α i y i (y i}.

11 ON CONVEX COMBINATIONS OF SLICES 11 Then Si X is a slice of B X x i Si X. Since X has property (P3, there exists u = n λ iu i S X, where u i Si X. It remains to obsreve that (u i,y i S i n λ i(u i,y i = n λ iu i = 1. Since there exists Banach spaces without property (P3, Propositions.7.8 immediately imply our second main result in this section. Corollary.9. Properties (P (P3 are different. 3. C 0 (K with K non-scattered fails property (P Theorem 3.1. Let a locally compact Hausdorff topological space K admit an atomless regular finite Borel measure µ. Then C 0 (K admits a convex combination of slices (of the closed unit ball with empty interior in the relative weak topology (of the closed unit ball. Remark 3.1. A topological space K is said to be scattered (or disperse if every non-empty subset of K has an isolated point (with respect to this subset. (Equivalently, K is scattered if it does not contain non-empty perfect subsets. In [8], it was proven that, for a compact Hausdorff topological space K, the following assertions are equivalent: (i K is scattered; (ii there exist no non-zero atomless regular Borel measures on K. In fact, the implication (i (ii is due to Rudin [9]. A more direct proof of the equivalence (i (ii can be found in [6] with the proof of (i (ii being stunningly simple. The equivalence (i (ii easily generalizes to locally compact Hausdorff spaces (see [7] for details. Remark 3.. In [1], it has been proven that, for an infinite compact scattered Hausdorff topological space K, the Banach space C(K has property (P1. By Remark 3.1, Theorem 3.1 complements this result: C(K has property (P1 if only if K is scattered, C(K fails property (P if only if K is not scattered. Remark 3.3. Since every convex combination of slices of the unit ball of C 0 (K (with K infinite can easily be seen to intersect the unit sphere, the space C 0 (K has property (P1. Thus, for a non-scattered K, the space C 0 (K serves as an example of a Banach space with property (P3 but without (P. The proof of Theorem 3.1 uses the following measure-theoretical lemma. Lemma 3.. Let Σ be a σ-algebra of subsets of a non-empty set Ω, let n N, let µ 1,...,µ n be atomless finite (non-negative measures on Σ. Then, whenever E Σ ε > 0, there are disjoint A,B Σ such that A B = E µ i (A µ i (B ε for every i {1,...,n}.

12 1 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE Remark 3.4. For n = 1, Lemma 3. is well known to hold even with ε = 0 (see, e.g., [, Theorem 10.5]. We do not know, whether it remains true with ε = 0 for n. Proof of Lemma 3.. We use induction on n. First, for n = 1, the lemma is well known to hold even with ε = 0 (see, e.g., [, Theorem 10.5]. Now assume that the lemma holds for n = m for some m N. To see that it also holds for n = m+1, let µ 1,...,µ m,µ be atomless finite (non-negative measures on Σ, let E Σ, let ε > 0. Since µ is atomless, we can, for some k N, represent E as a union E = k E j of pairwise disjoint sets E j,...,e k Σ satisfying µ(e 1,...,µ(E k < ε. By our assumption, we can represent each E j as a union E j = C j D j of disjoint sets C j,d j Σ such that µ i (C j µ i (D j ε for every i {1,...,m}. We may assume that j µ(c j µ(d j for every j {1,...,k}. Define A 1 = C 1 B 1 = D 1, proceed as follows: provided l {1,...,k 1} A 1,...,A l,b 1,...,B l, define A l+1 := C l+1 B l+1 := D l+1 if A l+1 := D l+1 B l+1 := C l+1 if Now set A := k i {1,...,m}, A j B := k µ i (A µ i (B l µ(a j l µ(a j > l µ(b j ; l µ(b j. B j. Then E = A B, for every k µ i (A j µ i (B j k ε j < ε. Also, clearly µ(a µ(b < ε, the proof is complete. Proof of Theorem 3.1. Throughout the proof, functionals in C 0 (K will be identified with their representing (regular finite signed Borel measures. The Borel σ-algebra of K will be denoted by B K. Without loss of generality, one may assume that µ(k = 1. Since µ is atomless, there are pairwise disjoint A,B,C B K whose union is K µ(a = µ(b = µ(c = 1 3. Define (signed Borel measures µ 1 µ on K by µ i (E = µ(e A+( 1 i 1 µ(e B µ(e C, E B K, i = 1,,

13 ON CONVEX COMBINATIONS OF SLICES 13 let 0 < ε < Consider the slices S 1 := S(µ 1,ε S := S(µ,ε of the closed unit ball of C 0 (K. For any u B C0 (K, set B u 1 := B {u 1 ε}, Bu 1 := B {u 1+ε}, Bu 0 := B { u ε}. Observe that, whenever x S 1, one has µ(b1 x < ε, because otherwise one would have µ 1 (x = xdµ+ xdµ xdµ A B C µ(a+µ(c+µ(b \B1 x +(1 εµ(bx 1 = 1 µ(b x 1 +(1 εµ(bx 1 = 1 εµ(bx 1 1 ε, a contradiction. Similarly, whenever y S, one has µ(b y 1 < ε, because otherwise one would have µ (y = ydµ ydµ ydµ A B C µ(a+µ(c+µ(b \B y 1 +(1 εµ(by 1 = 1 µ(b y 1 +(1 εµ(by 1 = 1 εµ(by 1 1 ε. It follows that µ(b u 0 < ε for every u 1 S 1+ 1 S. Indeed, let u = 1 x+1 y where x S 1 y S. Then B \ B u 0 (B \ Bx 1 (B \ By 1 =: B, because, whenever t B, one has x(t = 1 ε 1 y(t = 1+ε for some ε 1,ε [0,ε, thus u(t = 1 (1 ε 1+ 1 ( 1+ε = ε ε 1. Hence B u 0 B \ B = B x 1 By 1 µ(bu 0 µ(bx 1 +µ(by 1 < ε. Now let z 1 S S be arbitrary, let C be a finite subset of the dual unit sphere S C0 (K, let γ > 0. It suffices to show that the set U := {u B C0 (K: ν(u z < γ for every ν C} contains an element which is not in 1 S S. Without loss of generality, one may assume that, for every functional in C, its representing measure is either atomless or a Dirac measure. So one may assumethat, for some n N some finite subset F K, one has C = { ν j, δ t : j {1,...,n}, t F }, where each ν j is atomless δ t is the Dirac measure at t F. Define E := A C B0 z, D { := B \Bz 0 = B \E = Ω\E, ν := µ+ ν ν n, let 0 < δ < min ε, γ }. Using Hahn s decomposition, one can 9

14 14 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE representd asafiniteuniond = m k=1 D k whered 1,...,D m aredisjointborel sets such that, for every D k, each ν j preserves its sign on Borel subsetsof D k. ByLemma3., each D k canbedecomposedasadisjointuniond k = D 1 k D k so that, for every j {1,...,n}, one has ν j (Dk 1 ν j(dk < δ, thus, m setting D i := m Dk i, i = 1,, k=1 ν j (D 1 ν j (D m k=1 ν j (Dk 1 ν j(dk < δ. By the regularity of ν, there are compact subsets K E E Kk i Di k such that ν(e\k E < δ ν(dk i \Ki k < δ for every i {1,} every m k {1,...,m}, thus, setting K i := m Kk i, i = 1,, K := K 1 K, ν(d \ K = k=1 k=1 m ν(dk i \Ki k < δ. Again, by the regularity of ν, there is an open set U F D such that ν(u < δ. By Tietze s extension theorem, there is a u B C0 (K such that z(t if t K E F; u(t = z(t+1 ε if t K 1 \U; z(t 1+ε if t K \U. One has u U, because δ t (u z = u(t z(t = 0 for every t F ν j (u z < γ for every j {1,...,n}. Indeed, since (u zdν j = (u zdν j + (u zdν j K\U K 1 \U K \U ν j (K 1 \U ν j (K \U = (1 εν j (K 1 \U (1 εν j (K \U = (1 ε ( ν j (K 1 \U ν j (K \U ν j (K 1 ν j (K + ν j (K 1 U + ν j (K U ν j (D 1 ν j (D + ν j (D 1 \K 1 + ν j (D \K + ν j (U δ + ν j (D \ K +δ < 3δ,

15 ON CONVEX COMBINATIONS OF SLICES 15 it follows that (u zdν j (u zdν j + u z d ν j K K\U U (1 ε3δ + ν j (U < 5δ, thus ν j (u z = (u zdν j (u zdν j + (u zdν j Ω E D u z d ν j + u z d ν j + E\K E D\ K j K(u zdν ν j (E \K E + ν j (D \ K+5δ < 9δ < γ. On the other h, since, for every t K \U, one has K \U B u 0 u(t 1 ε z(t > 1 ε > ε, thus µ(b u 0 µ( K \U µ( K µ(u > µ( K δ = µ(b µ(b z 0 µ(d \ K δ > 1 3 ε δ δ > 1 3 4ε > ε. This proves that u / 1 S S. In particular, one has the following corollary from Theorem 3.1 ( Remark 3.3, Corollary 3.3. The Banach space C[0, 1] has property (P3 but fails (P. Acknowledgements We thank Trond A. Abrahamsen Vegard Lima for helpful communications. References 1. T. A. Abrahamsen V. Lima, Relatively weakly open convex combinations of slices, arxiv: v1 [math.fa] (017.. C. D. Aliprantis K. C. Border, Infinite dimensional analysis, A hitchhiker s guide, Springer, Berlin, F. F. Bonsall J. Duncan, Numerical Ranges II, London Mathematical Society Lecture Notes Series 10, Cambridge University Press, New York, 1973.

16 16 RAINIS HALLER, PAAVO KUUSEOK, AND MÄRT PÕLDVERE 4. N. Ghoussoub, G. Godefroy, B. Maurey, W. Schachermayer, Some topological geometrical structures in Banach spaces, Mem. Amer. Math. Soc. 70 (1987, no. 378, iv R. Haller, K. Pirk, M. Põldvere, Diametral strong diameter two property of Banach spaces is stable under direct sums with 1-norm, Acta Comment. Univ. Tartu. Math. 0 (016, J. D. Knowles, On the existence of non-atomic measures, Mathematika 14 (1967, N. Y. Luther, Weak denseness of nonatomic measures on perfect, locally compact spaces, Pacific J. Math. 34 (1970, A. Pe lczyński Z. Semadeni, Spaces of continuous functions. III. Spaces C(Ω for Ω without perfect subsets, Studia Math.18 (1959, W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957, Institute of Mathematics Statistics, University of Tartu, J. Liivi, Tartu, Estonia address: rainis.haller@ut.ee, paavo.kuuseok@gmail.com, mart.poldvere@ut.ee