arxiv:math/ v1 [math.fa] 5 Dec 2003

Transcription

1 arxiv:math/0323v [math.fa] 5 Dec 2003 WEAK CLUSTER POINTS OF A SEQUENCE AND COVERINGS BY CYLINDERS VLADIMIR KADETS Abstract. Let H be a Hilbert sace. Using Ball s solution of the comlex lank roblem we rove that the following roerties of a sequence a n > 0 are equivalent: () There is a sequence x n H with x n = a n, having 0 as a weak cluster oint; (2) a 2 n =. Using this result we show that a natural idea of generalization of Ball s comlex lank result to cylinders with k-dimensional base fails already for k = 3. We discuss also generalizations of weak cluster oints result to other Banach saces and relations with cotye.. Introduction Let H be an infinite-dimensional Hilbert sace. It is well known that the weak toology of H has bad sequential roerties: a sequence h n H having a weak cluster oint x, can be free from weakly convergent to x subsequences. Moreover, for a sequence h n H with a weak cluster oint it is ossible to have h n [5]. In this aer we study the following question: if a sequence has a weak cluster oint, how quick can tend to infinity the norms of the sequence elements? The main tool for estimation of this seed from above will be Ball s comlex lank theorem - a recent and really beautiful statement from Hilbert sace geometry. Recall, that by a lank of width w in H one means a set of the form P = {h H : h h 0, e w 2 }, where e =. According to T.Bang s theorem [4], if a sequence P n of lanks of widths w n covers a ball of diameter w, then w n w. Bang s theorem is true both in real and comlex saces, but in comlex saces it can be dramatically imroved. The following theorem is roved by K. Ball [3] Date: October 30, Mathematics Subject Classification. 46C05; 46B20. Key words and hrases. Hilbert sace, Banach sace, covering by lanks, weak toology, cotye. I would like to say my thanks to Nigel Kalton for his invitation to the University of Missouri, where this research has been done, and to Sveta Mayboroda, who asked the right question at the right time.

2 2 VLADIMIR KADETS Theorem.. Let P n = {h H : h,e n w n 2 }, where e n =, be lanks of widths w n in a comlex Hilbert sace, and let Pn cover a ball of diameter w centered in origin. Then w 2 n w 2. WearegoingnotonlytoalytheBall s theorem toourroblem, butalso to aly our result on weak toology to give some limitations for ossible generalizations of the Theorem.. After that we discuss generalizations of our weak toology result to other Banach saces. Allover the aer the letter X will be used for infinite dimensional Banach sace, S X and B X - for its unit shere and unit ball resectively. 2. Weighted weak convergence Let P = { n,m } be an infinite matrix of non-negative numbers with finite rows, satisfying conditions () m= n,m =. (2) lim n n,m = 0 We say that a sequence {a n } of reals is P-convergent to 0 (P lima n = 0) if lim n m= n,m a m = 0. Some evident well-known roerties of P-convergence are collected in the roosition below. Proosition 2.. () If lima n = 0, then P lima n = 0. (2) If P lima n = 0 and P limb n = 0, then P lim(a n +b n ) = 0. (3) If a n 0 and P lima n = 0, then 0 is a cluster oint of {a n }. Let X be a Banach sace, <. A sequence x n X is said to be weakly (P,)-convergent to 0 (w(p,)limx n = 0), if for every f X the sequence f(x n ) P-converges to 0. Proosition 2.2. If w(p,)limx n = 0, then 0 is a weak cluster oint of {x n }. Proof. We must rove that for arbitrary finite set {f k } m k= X and arbitrary ε > 0 there is an arbitrarily big n N with m k= f k(x n ) ε. By definition of w(p, )-convergence and item (2) of Proosition 2. m P lim f k (x n ) = 0. n k= The rest we deduce from item (3) of Proosition 2..

3 WEAK CLUSTER POINTS OF A SEQUENCE AND COVERINGS BY CYLINDERS 3 3. The main result Theorem 3.. The following roerties of a sequence a n > 0 are equivalent: (a) a 2 n =. (b) There is a sequence x n in a Hilbert sace H with x n = a n, and there is a sequence P = { n,m } of weights such that w(p,2)limx n = 0. (c) There is a sequence x n in a Hilbert sace H with x n = a n, having 0 as a weak cluster oint. Proof. (a) = (b). Assume a 2 n = and consider the sequence x n = a n e n, where e n is an orthonormal sequence in H. Introduce the following sequence P = { n,m } of weights: m= n,m = a 2 m n j= a 2 j when m n and n,m = 0 for m > n. Then for every f H we have n n,m x m,f 2 m= = e m,f 2 f 2 n n 0, as n m= a 2 m m= a 2 m which means w(p,2)-convergence of x n to 0. (b) = (c). This is given by the Proosition 2.2. (c) = (a). Let () a 2 n = R 2 < and let x n H be vectors with x n = a n. We may assume that H is a comlex Hilbert sace, since otherwise we may embed H into its comlexification. Define lanks P n = {h H : h, x n 2 }. The width of P n equals a n. Using () and the Theorem. we deduce that thelanks P n cannot cover the wholesace H (they even cannot cover a ball of radius R+ε). So there is an element h H for which all the inequalities h, x n > 2 hold true at the same time. This h searates our sequence x n from A comment to the Ball s Theorem. Why estimates for coverings by real and comlex lanks differ so strongly? Aossibleexlanation looksas follows: acomlex lankof widthr looksnot like a slice between two hyerlanes, but like an orthogonal cylinder having as a base a circle of the radius r/2. If one tries to cover a circle of radius R by circles of radiuses r n, then calculating corresonding areas one can easily see, that r 2 n R 2. This exlanation leads to the following hyothesis: let k N be a fixed number, and let C n be orthogonal cylinders in a real Hilbert sace H, having as their bases k-dimensional balls of radiuses r n

4 4 VLADIMIR KADETS resectively and n N C n = H. Then n= rk n =. With the hel of the Theorem 3. we can show that this natural hyothesis fails already for k = 3. In fact, assume that the abovementioned hyothesis is true for k = 3. Consider a sequence x n H, x n = a n, having 0 as a weak cluster oint, but with a 3 n < (such a sequence exists due to the Theorem 3.). Consider an auxiliary Hilbert sace H = H H H - the orthogonal direct sum of 3 coies of the original sace H. Introduce cylinders C n in H as follows: 3 C n = {h = (h,h 2,h 3 ) H : h j, x n 2 }. C n are orthogonal cylinders in H, having as their bases 3-dimensional balls of radiuses a n. According to our hyothesis, these cylinders do not cover the whole sace H, i.e. there is an g = (g,g 2,g 3 ) H which does not belong to any of these cylinders. But this means, that the weak neighborhood of 0 3 W = {x H : g j, x 2 } j= searates all the x n from 0. Contradiction. 5. Generalization to Banach saces: the role of finite reresentability and cotye Let X be a Banach sace, 2. The sace l is finitely reresentable in X if for every ε > 0 and for every n N there are elements e,e 2,...e n S X such that n n n ( ε) b j b j e j (+ε) b j j= for all selections of coefficients b j. j= Theorem 5.. Let X be a Banach sace, 2 and let 2 be dual to exonent. Let moreover l be finitely reresentable in X and a n > 0 satisfy condition a n =. Then there is a sequence x n X with x n = a n, having 0 as a weak cluster oint. Moreover there is a matrix P = { n,m } of weights such that w(p, )limx n = 0. Proof. Fix an ε < /8. First choose 0 = n < n 2 < n 3 <... to satisfy condition lim Define P = { k,m } as follows: n k+ k j=n k + k,m = j= a j =. a m nk+ j=n k + a j j=

5 WEAK CLUSTER POINTS OF A SEQUENCE AND COVERINGS BY CYLINDERS 5 when n k < m n k+ and k,m = 0 otherwise. Using ste-by-ste finite reeresentability of l in X select sequence e n S X, for which ( ε) n k+ j=n k + k,m f(x m ) = m= b j n k+ j=n k + b j e j (+ε) n k+ j=n k + b j for all k and b j. Now define x n = a n e n. Then for every f X we have nk+ j=n k + f(e m) nk+ j=n k + a j 2 f nk+ j=n k + a j 0, as n which means w(p, )-convergence of x n to 0. By the Proosition 2.2 this means that 0 is a weak cluster oint of {x n }. Together with Dvoretzky s theorem (l 2 is finitely reresentable in every infinite-dimensional Banach sace) this gives us the following: Corollary 5.2. For every infinite-dimensional Banach sace X and every selection of a n > 0 satisfying condition a 2 n = there is a sequence x n X with x n = a n, having 0 as a weak cluster oint. Recall, that a Banach sace X has M-cotye < if there is a constant C > 0 such that for every finite collection of vectors {x k } n k= X there are coefficients γ k = ± for which ( n n ) / γ k x x C x k. k= Due to Maurey - Pisier theorem a sace X has an M-cotye if and only if l is not finitely reresentable in X. A small survey of facts concerning M-cotye can be found in [6]. The Theorem 5. together with another Ball s result [2] (generalization of the Bang s real lank theorem to arbitrary Banach saces) gives us an analog of Theorem 3. for saces without cotye (in articular for c 0 ). In this case the characterization does not involve square exonentials. Corollary 5.3. Let X be a Banach saces in which l is finitely reresentable. Then the following roerties for a sequence a n > 0 are equivalent: k= () There is a sequence x n X with x n = a n, and there is a sequence P = { n,m } of weights such that w(p,)limx n = 0. (2) There is a sequence x n X with x n = a n, having 0 as a weak cluster oint; (3) a n =. The next theorem gives us a relationshi between weak weighted limit and cotye.

6 6 VLADIMIR KADETS Theorem 5.4. Let X be a Banach sace of M-cotye 2 and let 2 be dual to exonential. Let x n X be a sequence such that w(p, )limx n = 0 for some matrix P = { n,m } of weights. Then x n =. Proof. Since lim n n,m = 0, using small erturbation argument we may assume that there are m (n) <, m (n), such that n,m = 0 for m outside the interval (m (n),). By the closed grah theorem, alied to the oerator T : X ( n= l ), Tx = ( (, x (x ),,2 x (x 2 )...); ( 2, x (x ), 2,2 x (x 2 )...);... ), there is a constant C > 0 such that n,m x (x m ) C x m= for all n N and all x X. So C su x S X su x S X m=m (n) su m= γ m=± m=m (n) n,m x (x m ) = su x S X C m=m (n) n,m γ m x (x m ) = su γ m=± m=m (n) ( n,m x m ) m=m (n) / n,m x (x m ) = m=m (n), n,m x m where C is the constant from the definition of M-cotye. Alying Hölder inequality to m=m (n) n,m = we deduce ( n,m x m ) / / x m C x m C m=m (n) which means that x n =. References [] Keith Ball, Convex Geometry and Functional Analysis, in W.B.Johnson and J.Lindenstrauss (editors) Handbook of the geometry of Banach saces, vol. (200), [2] Keith Ball, The lank roblem for symmetric bodies, Invent. Math. 04 (99), [3] Keith Ball, The comlex lank roblem, Bull. London Math. Soc. 33 (200) no. 4, [4] T. Bang, A solution of the Plank roblem, Proc. Amer. Math. Soc. 2 (95), /

7 WEAK CLUSTER POINTS OF A SEQUENCE AND COVERINGS BY CYLINDERS 7 [5] J.Connor, M.Ganichev, V.Kadets A characterization of Banach saces with searable duals via weak statistical convergence, J. Math. Anal. Al. 244 (2000), no, [6] M.Kadets, V.Kadets Series in Banach saces. Conditional and unconditional convergence. Translated from the Russian by Andrei Iacob. Oerator Theory: Advances and Alications, 94. Birkhauser Verlag, Basel 997. Deartment of Mechanics and Mathematics, Kharkov National University, l. Svobody 4, 6077 Kharkov, Ukraine address: vovakadets@yahoo.com Current address: Deartment of Mathematics, University of Missouri, Columbia MO 652 address: kadets@math.missouri.edu