DOCSLIB.ORG

1. Introduction and Statement of the Main Result

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

THE ALGEBRAS OF BOUNDED OPERATORS ON THE TSIRELSON AND BAERNSTEIN SPACES ARE NOT GROTHENDIECK SPACES KEVIN BEANLAND, TOMASZ KANIA, AND NIELS JAKOB LAUSTSEN Abstract. We present two new examples of reexive Banach spaces X for which the associated Banach algebra B(X) of bounded operators on X is not a Grothendieck space, th namely X = T (the Tsirelson space) and X = Bp (the p Baernstein space) for 1 < p < 1. 1. Introduction and statement of the main result A Grothendieck space is a Banach space X for which every weak*-convergent sequence in the dual space X∗ converges weakly. The name originates from a result of Grothen- dieck, who showed that `1, and more generally every injective Banach space, has this property. Plainly, every reexive Banach space X is a Grothendieck space because the weak and weak* topologies on X∗ coincide. By the HahnBanach theorem, the class of Grothendieck spaces is closed under quotients, and hence in particular under passing to complemented subspaces. Substantial eorts have been devoted to the study of Grothendieck spaces over the years, especially in the case of C(K)-spaces. Notable achievements include the constructions by Talagrand [16] (assuming the Continuum Hypothesis) and Haydon [10] of compact Haus- dor spaces KT and KH , respectively, such that the Banach spaces C(KT ) and C(KH ) are Grothendieck, but C(KT ) has no quotient isomorphic to `1, while C(KH ) has the weaker property that it contains no subspace isomorphic to `1. However, KH has the signicant advantage over KT that it exists within ZFC. Haydon, Levy and Odell [11, Corollary 3F] have subsequently shown that Talagrand's result cannot be obtained within ZFC itself because under the assumption of Martin's Axiom and the negation of the Continuum Hypo- thesis, every non-reexive Grothendieck space has a quotient isomorphic to `1. Brech [4] has pursued these ideas even further using forcing to construct a model of ZFC in which there is a compact Hausdor space KB such that C(KB) is a Grothendieck space and has density strictly smaller than the continuum, so in particular no quotient of C(KB) is 1 isomorphic to `1. In another direction, Bourgain [3] has shown that H is a Grothendieck space. Nevertheless, a general structure theory of Grothendieck spaces is yet to materialize, and many fundamental questions about the nature of this class remain open. Diestel [8, 2010 Mathematics Subject Classication. 47L10, 46B03 (primary); 46B10, 46B45 (secondary). Key words and phrases. Banach space, Grothendieck space, Tsirelson space, Baernstein space, bounded operator, diagonal operator. 1 2 K. BEANLAND, T. KANIA, AND N. J. LAUSTSEN 3] produced an expository list of such questions in 1973. It is remarkable how few of these questions that have been resolved in the meantime. We shall make a small contribution towards the resolution of the seemingly very dicult problem of describing the Banach spaces X for which the associated Banach algebra B(X) of bounded operators on X is a Grothendieck space by proving the following result. th Theorem 1.1. Let X be either the Tsirelson space T or the p Baernstein space Bp, where 1 < p < 1. Then the Banach algebra B(X) is not a Grothendieck space. For details of the spaces T and Bp, we refer to Section 2. We remark that these spaces are not the rst examples of reexive Banach spaces X for which B(X) is known not to be a Grothendieck space due to the following result of the second-named author [13]. Theorem 1.2 (Kania). Let X = L `n , where 1 < p < 1 and either q = 1 or n2N q `p q = 1. Then the Banach algebra B(X) is not a Grothendieck space. This paper is organized as follows: in Section 2, we prove Theorem 1.1, followed by a discussion of the key dierence between the two cases (see Proposition 2.7 and the paragraph preceding it for details), before we conclude with a short section listing some related open problems. 2. The proof of Theorem 1.1 The proof that B(T ) is not a Grothendieck space relies on abstracting the strategy used to prove Theorem 1.2. The following notion will play a key role in this approach. Let E be a Banach space with a normalized, -unconditional basis 1 (where ` -unconditional' 1 (en)n=1 1 means that Pn Pn for each and all choices of j=1 αjβjej 6 max16j6n jαjj · j=1 βjej n 2 N scalars .) The -direct sum of a sequence 1 of Banach spaces α1; : : : ; αn; β1; : : : ; βn E (Xn)n=1 is given by 1 M and the series X converges in Xn = (xn): xn 2 Xn (n 2 N) kxnken E : E n2N n=1 This is a Banach space with respect to the coordinate-wise dened operations and the norm 1 X k(xn)k = kxnken : n=1 Analogously, we write L X for the Banach space of uniformly bounded sequences n2N n ` with for each 1, equipped with the coordinate-wise dened operations (xn) xn 2 Xn n 2 N and the norm . k(xn)k = supn kxnk The main property of the E-direct sum that we shall require is that every uniformly bounded sequence 1 of operators, where for each , induces (Un)n=1 Un 2 B(Xn) n 2 N a `diagonal operator' diag(U ) on L X by the denition n n2N n E 1 1 diag(Un)(xn)n=1 = (Unxn)n=1; THE ALGEBRAS B(T ) AND B(Bp) ARE NOT GROTHENDIECK SPACES 3 and . k diag(Un)k = supn kUnk We shall also use the following result of W. B. Johnson [12]. Theorem 2.1 (Johnson). The Banach space L `n contains a complemented copy n2N 1 `1 of ` . Hence a Banach space that contains a complemented copy of L `n is not 1 n2N 1 ` a Grothendieck space. 1 Lemma 2.2. Let X = L X , where E is a Banach space with a normalized, 1-un- n2N n E conditional basis and (Xn) is a sequence of Banach spaces. Then B(X) contains a com- L plemented subspace which is isometrically isomorphic to Xn . n2N `1 Proof. We may suppose that is non-zero for each . Let , and take Xn n 2 N n 2 N wn 2 Xn and ∗ such that . For , the rank-one operator fn 2 Xn kwnk = kfnk = 1 = hwn; fni xn 2 Xn given by xn ⊗ fn : y 7! hy; fnixn;Xn ! Xn; has the same norm as xn, so the map M ∆: (xn) 7! diag(xn ⊗ fn); Xn ! B(X); (2.1) `1 n2N is an isometry. It is clearly linear, and therefore the image of ∆ is a subspace of B(X) which L is isometrically isomorphic to Xn . This subspace is complemented in B(X) n2N `1 because ∆ has a bounded, linear left inverse, namely the map given by 1 M U 7! (QnUJnwn)n=1; B(X) ! Xn ; `1 n2N th where Jn : Xn ! X and Qn : X ! Xn denote the n coordinate embedding and projection, respectively. Corollary 2.3. Let X be a Banach space which contains a complemented subspace that is isomorphic to L `mn for some unbounded sequence (m ) of natural numbers and n2N 1 E n some Banach space E with a normalized, 1-unconditional basis. Then B(X) is not a Gro- thendieck space. Proof. Let Y = L `mn . Lemma 2.2 implies that (Y ) contains a complemented n2N 1 E B copy of L `mn , which is isomorphic to L `n by Peªczy«ski's decomposition n2N 1 `1 n2N 1 `1 method, and therefore B(Y ) is not a Grothendieck space by Theorem 2.1. The assump- tion means that we can nd bounded operators U : X ! Y and V : Y ! X such that UV = IY . This implies that B(X) contains a complemented copy of B(Y ) because the operator R 7! URV; B(X) ! B(Y ); is a left inverse of S 7! V SU; B(Y ) ! B(X). Therefore B(X) is not a Grothendieck space. Following Figiel and Johnson [9], we use the term `the Tsirelson space' and the symbol T to denote the dual of the reexive Banach space originally constructed by Tsirelson [17] with the property that it does not contain any of the classical sequence spaces c0 and `p for 1 6 p < 1. We refer to [6] for an attractive introduction to the Tsirelson space, including 4 K. BEANLAND, T. KANIA, AND N. J. LAUSTSEN background information, its formal denition and a comprehensive account of what was known about it up until the late 1980's. The following notion plays a key role in the study of the Tsirelson space (and in the denition of the Baernstein spaces, to be given below). Denition 2.4. A non-empty, nite subset M of N is (Schreier-)admissible if jMj 6 min M, where jMj denotes the cardinality of M. Proof of Theorem 1.1 for X = T . The unit vector basis is a normalized, 1-unconditional basis for . We shall denote it by 1 throughout this proof. Take natural numbers T (tn)n=1 , and set 1 = m1 6 k1 < m2 6 k2 < m3 6 k3 < ··· and Mn = [mn; mn+1) \ N Fn = spanftj : j 2 Mng (n 2 N); so that (Fn) is an unconditional nite-dimensional Schauder decomposition of T . For , [5, Corollary 7(i)] shows that the series P1 converges in if and xn 2 Fn (n 2 N) n=1 xn T only if the series P1 converges in , and when they both converge, the norms n=1 kxnktkn T of their sums are related by 1 1 1 1 X X X kxnktkn xn 18 kxnktkn : 3 6 6 n=1 n=1 n=1 Consequently T is 54-isomorphic to the direct sum L F , where E denotes the n2N n E closed linear span of .
Recommended publications
  • Topology Proceedings

    Topology Proceedings

    Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: [email protected] ISSN: 0146-4124 COPYRIGHT °c by Topology Proceedings. All rights reserved. TOPOLOGY PROCEEDINGS Volume 26, 2001{2002 Pages 695{707 WEAKLY EBERLEIN COMPACT SPACES DANIEL JARDON´ ∗ Abstract. Call a space X weakly splittable if, for each f X 2 R , there exists a σ-compact F Cp(X) such that f F (the bar denotes the closure in RX⊂). A weakly splittable com-2 pact space is called weakly Eberlein compact. We prove that weakly Eberlein compact spaces have almost the same prop- erties as Eberlein compact spaces. We show that any weakly Eberlein compact space of cardinality 6 c is Eberlein com- pact. We prove that a compact space X is weakly Eberlein compact if and only if X is splittable over the class of Eber- lein compact spaces and that every countably compact weakly splittable space has the Preiss{Simon property. 0. Introduction The first one to study weakly compact subspaces of Banach spaces was Eberlein [Eb]. His results showed that these compact spaces are very important and have numerous applications in many areas of mathematics. That is why they were called Eberlein com- pact spaces. In fact, a compact space X is Eberlein compact if and only if Cp(X) has a σ-compact dense subspace and it is a non-trivial theorem that these two definitions are equivalent. The basic results of the theory of Eberlein compact spaces have many 2000 Mathematics Subject Classification.
  • Factoring Absolutely Summing Operators Through Hilbert-Schmidt Operators

    Factoring Absolutely Summing Operators Through Hilbert-Schmidt Operators

    Zurich Open Repository and Archive University of Zurich Main Library Strickhofstrasse 39 CH-8057 Zurich www.zora.uzh.ch Year: 1989 Factoring absolutely summing operators through Hilbert-Schmidt operators Jarchow, Hans Abstract: Let K be a compact Hausdorff space, and let C(K) be the corresponding Banach spaceof continuous functions on K. It is well-known that every 1-summing operator S:C(K)→l2 is also nuclear, and therefore factors S = S1S2, with S1:l2→l2 a Hilbert-Schmidt operator and S1:C(K)→l2 a bounded operator. It is easily seen that this latter property is preserved when C(K) is replaced by any quotient, and that a Banach space X enjoys this property if and only if its second dual, X**, does. This led A. Pełczyński [15] to ask if the second dual of a Banach space X must be isomorphic to a quotient of a C(K)- space if X has the property that every 1-summing operator X-→l2 factors through a Hilbert-Schmidt operator. In this paper, we shall first of all reformulate the question in an appropriate manner andthen show that counter-examples are available among super-reflexive Tsirelson-like spaces as well as among quasi-reflexive Banach spaces DOI: https://doi.org/10.1017/s0017089500007643 Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-154531 Journal Article Published Version Originally published at: Jarchow, Hans (1989). Factoring absolutely summing operators through Hilbert-Schmidt operators. Glasgow Mathematical Journal, 31(02):131-135. DOI: https://doi.org/10.1017/s0017089500007643 FACTORING ABSOLUTELY SUMMING OPERATORS THROUGH HILBERT-SCHMIDT OPERATORS by HANS JARCHOW (Received 10 August, 1987) Introduction.
  • How Many Operators Do There Exist on a Banach Space?

    How Many Operators Do There Exist on a Banach Space?

    HOW MANY OPERATORS DO THERE EXIST ON A BANACH SPACE? TH. SCHLUMPRECHT Abstract. We present some results concerning the following question: Given an infinite dimensional Banach space X. Are there two normalized basic sequences (xn) and (yn), with lim infn!1 kxn − ynk > 0; so that the map xn 7→ yn extends to a linear bounded operator between the linear span (xn) and the linear span (yn)? 1. Introduction Over the last years the following question caught the interest of an increasing number of researchers in the area of infinite dimensional Banach space theory and became for many of them one of the central problems. (Q1) Assume X is an infinite dimensional Banach space. Does there exist a linear bounded operator T on X which is not of the form T = λId + C, where λ is a scalar, C is a compact operator on X, and Id denotes the identity on X? Clearly, if E ⊂ X is a finite dimensional subspace and S : E → X is any linear operator, then S can be extended to a linear operator T : X → X of finite rank. Thus, there must be “many” finite rank operators on X, and thus “many” elements in the closure of the finite rank operators, which is, assuming X has the approximation property, the ideal of compact operators. Of course, the identity must also be a linear bounded operator. Therefore question (Q1) asks wheather or not there are always some other linear bounded operators defined on a Banach space, beyond the class of operators which must exist by elementary reasons.
  • Weak Compactness in the Space of Operator Valued Measures and Optimal Control Nasiruddin Ahmed

    Weak Compactness in the Space of Operator Valued Measures and Optimal Control Nasiruddin Ahmed

    Weak Compactness in the Space of Operator Valued Measures and Optimal Control Nasiruddin Ahmed To cite this version: Nasiruddin Ahmed. Weak Compactness in the Space of Operator Valued Measures and Optimal Control. 25th System Modeling and Optimization (CSMO), Sep 2011, Berlin, Germany. pp.49-58, 10.1007/978-3-642-36062-6_5. hal-01347522 HAL Id: hal-01347522 https://hal.inria.fr/hal-01347522 Submitted on 21 Jul 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution| 4.0 International License WEAK COMPACTNESS IN THE SPACE OF OPERATOR VALUED MEASURES AND OPTIMAL CONTROL N.U.Ahmed EECS, University of Ottawa, Ottawa, Canada Abstract. In this paper we present a brief review of some important results on weak compactness in the space of vector valued measures. We also review some recent results of the author on weak compactness of any set of operator valued measures. These results are then applied to optimal structural feedback control for deterministic systems on infinite dimensional spaces. Keywords: Space of Operator valued measures, Countably additive op- erator valued measures, Weak compactness, Semigroups of bounded lin- ear operators, Optimal Structural control.
  • Approximation Boundedness Surjectivity

    Approximation Boundedness Surjectivity

    APPROXIMATION BOUNDEDNESS SURJECTIVITY Olav Kristian Nygaard Dr. scient. thesis, University of Bergen, 2001 Approximation, Boundedness, Surjectivity Olav Kr. Nygaard, 2001 ISBN 82-92-160-08-6 Contents 1Theframework 9 1.1 Separability, bases and the approximation property ....... 13 1.2Thecompletenessassumption................... 16 1.3Theoryofclosed,convexsets................... 19 2 Factorization of weakly compact operators and the approximation property 25 2.1Introduction............................. 25 2.2 Criteria of the approximation property in terms of the Davis- Figiel-Johnson-Pe'lczy´nskifactorization.............. 27 2.3Uniformisometricfactorization.................. 33 2.4 The approximation property and ideals of finite rank operators 36 2.5 The compact approximation property and ideals of compact operators.............................. 39 2.6 From approximation properties to metric approximation prop- erties................................. 41 3 Boundedness and surjectivity 49 3.1Introduction............................. 49 3.2Somemorepreliminaries...................... 52 3.3 The boundedness property in normed spaces . ....... 57 3.4ThesurjectivitypropertyinBanachspaces........... 59 3.5 The Seever property and the Nikod´ymproperty......... 63 3.6 Some results on thickness in L(X, Y )∗ .............. 63 3.7Somequestionsandremarks.................... 65 4 Slices in the unit ball of a uniform algebra 69 4.1Introduction............................. 69 4.2Thesliceshavediameter2..................... 70 4.3Someremarks...........................
  • Grothendieck Spaces with the Dunford–Pettis Property

    Grothendieck Spaces with the Dunford–Pettis Property

    GROTHENDIECK SPACES WITH THE DUNFORD–PETTIS PROPERTY ANGELA A. ALBANESE*, JOSÉ BONET+ AND WERNER J. RICKER Abstract. Banach spaces which are Grothendieck spaces with the Dunford– Pettis property (briefly, GDP) are classical. A systematic treatment of GDP– Fréchet spaces occurs in [12]. This investigation is continued here for locally convex Hausdorff spaces. The product and (most) inductive limits of GDP– space are again GDP–spaces. Also, every complete injective space is a GDP– space. For p ∈ {0} ∪ [1, ∞) it is shown that the classical co–echelon spaces kp(V ) and Kp(V ) are GDP–spaces if and only if they are Montel. On the other hand, K∞(V ) is always a GDP–space and k∞(V ) is a GDP–space whenever its (Fréchet) predual, i.e., the Köthe echelon space λ1(A), is distinguished. 1. Introduction. Grothendieck spaces with the Dunford–Pettis property (briefly, GDP) play a prominent role in the theory of Banach spaces and vector measures; see Ch.VI of [17], especially the Notes and Remarks, and [18]. Known examples include L∞, ∞ ∞ H (D), injective Banach spaces (e.g. ` ) and certain C(K) spaces. D. Dean showed in [14] that a GDP–space does not admit any Schauder decomposition; see also [26, Corollary 8]. This has serious consequences for spectral measures in such spaces, [31]. For non–normable spaces the situation changes dramatically. Every Fréchet Montel space X is a GDP–space, [12, Remark 2.2]. Other than Montel spaces, the only known non–normable Fréchet space which is a GDP–space is the Köthe echelon space λ∞(A), for an arbitrary Köthe matrix A, [12, Proposition 3.1].
  • On Fréchet Differentiability of Lipschitz Maps

    On Fréchet Differentiability of Lipschitz Maps

    Annals of Mathematics, 157 (2003), 257–288 On Fr´echet differentiability of Lipschitz maps between Banach spaces By Joram Lindenstrauss and David Preiss Abstract Awell-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point ofFr´echet differentiability. We show that the answer is positive for some infinite-dimensional X. Previously, even for collections consisting of two functions this has been known for finite-dimensional X only (although for one function the answer is known to be affirmative in full generality). Our aims are achieved by introducing a new class of null sets in Banach spaces (called Γ-null sets), whose definition involves both the notions of category and mea- sure, and showing that the required differentiability holds almost everywhere with respect to it. We even obtain existence of Fr´echet derivatives of Lipschitz functions between certain infinite-dimensional Banach spaces; no such results have been known previously. Our main result states that a Lipschitz map between separable Banach spaces is Fr´echet differentiable Γ-almost everywhere provided that it is reg- ularly Gˆateaux differentiable Γ-almost everywhere and the Gˆateaux deriva- tives stay within a norm separable space of operators. It is easy to see that Lipschitz maps of X to spaces with the Radon-Nikod´ym property are Gˆateaux differentiable Γ-almost everywhere. Moreover, Gˆateaux differentiability im- plies regular Gˆateaux differentiability with exception of another kind of neg- ligible sets, so-called σ-porous sets. The answer to the question is therefore positive in every space in which every σ-porous set is Γ-null.
  • Recent Developments in the Theory of Duality in Locally Convex Vector Spaces

    Recent Developments in the Theory of Duality in Locally Convex Vector Spaces

    [ VOLUME 6 I ISSUE 2 I APRIL– JUNE 2019] E ISSN 2348 –1269, PRINT ISSN 2349-5138 RECENT DEVELOPMENTS IN THE THEORY OF DUALITY IN LOCALLY CONVEX VECTOR SPACES CHETNA KUMARI1 & RABISH KUMAR2* 1Research Scholar, University Department of Mathematics, B. R. A. Bihar University, Muzaffarpur 2*Research Scholar, University Department of Mathematics T. M. B. University, Bhagalpur Received: February 19, 2019 Accepted: April 01, 2019 ABSTRACT: : The present paper concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Key Words: LOCALLY CONVEX SPACES We shall be exclusively concerned with vector spaces over the real field: the passage to complex spaces offers no difficulty. We shall assume that the definition and properties of convex sets are known. A convex set A in a vector space E is symmetric if —A=A; then 0ЄA if A is not empty. A convex set A is absorbing if for every X≠0 in E), there exists a number α≠0 such that λxЄA for |λ| ≤ α ; this implies that A generates E. A locally convex space is a topological vector space in which there is a fundamental system of neighborhoods of 0 which are convex; these neighborhoods can always be supposed to be symmetric and absorbing. Conversely, if any filter base is given on a vector space E, and consists of convex, symmetric, and absorbing sets, then it defines one and only one topology on E for which x+y and λx are continuous functions of both their arguments.
  • The Hitchhiker Guide to Categorical Banach Space Theory. Part I

    The Hitchhiker Guide to Categorical Banach Space Theory. Part I

    E extracta mathematicae Vol. 25, N´um.2, 103 { 149 (2010) The Hitchhiker Guide to Categorical Banach Space Theory. Part I. Jesus M. F. Castillo ∗ Departamento de Matem´aticas, Universidad de Extremadura, 06006 Badajoz, Spain [email protected] Received June 1, 2010 Abstract: What has category theory to offer to Banach spacers? In this survey-like paper we will focus on some of the five basic elements of category theory {namely, i) The definition of category, functor and natural transformation; ii) Limits and colimits; iii) Adjoint functors; plus a naive presentation of Kan extensions{ to support the simplest answer \tools that work and a point of view that helps to understand problems, even if one does not care at all about categories". Homology will be treated in a second part. Key words: Categorical Banach space theory, universal constructions, duality and adjoint- ness. AMS Subject Class. (2000): 46Mxx, 18-02, 46-02. 1. Prologue Functional analysis, in general, and Banach space theory, in particular, are unthinkable outside the ambient of algebraic structures. In fact, functional analysis can be defined as the blend of algebra and topology. One of the major achievements of mathematics in the XXth century is category theory, whose paramount importance comes from the fact of establishing a common language for all mathematics. Indeed, it becomes easier for mathematicians working in different areas to communicate if they are able to identify their basic construc- tions, knowing that certain objects of their disciplines are particular instances of the same concept. And the only part of mathematics able today to provide such common language is categorical algebra.
  • Grothendieck Spaces, Operators, and Beyond

    Grothendieck Spaces, Operators, and Beyond

    Grothendieck spaces, operators, and beyond Tomasz Kania Academy of Sciences of the Czech Republic, Praha Zimní škola z abstraktní analýzy Svratka, 13 leden 2019 joint work with K. Beanland & N. J. Laustsen 1 I closed under surjective linear images (hence complemented subspaces) –just apply Hahn–Banach! I not closed under taking subspaces (c0 ⊂ `1), I closed under forming `p-sums with p 2 (1; 1) but not for p = 1! I call such spaces Grothendieck. This class is I A separable space is G. if and only if it is reflexive–use Eberlein–Šmulian. s I Ergodic theory of op on G. spaces works rather well. So is it one of those ‘non-separable’ talks? Well... Overview ∗ I Grothendieck’s motivation: measure-theoretic as `1(Γ) comprises finitely additive measures on }(Γ); strengthening certain measure theoretic principles. Background Theorem (Grothendieck, 1953). Every weak* convergent sequence (fn) in the dual of `1(Γ) converges with respect to the weak topology. 2 I closed under surjective linear images (hence complemented subspaces) –just apply Hahn–Banach! I not closed under taking subspaces (c0 ⊂ `1), I closed under forming `p-sums with p 2 (1; 1) but not for p = 1! I call such spaces Grothendieck. This class is I A separable space is G. if and only if it is reflexive–use Eberlein–Šmulian. s I Ergodic theory of op on G. spaces works rather well. So is it one of those ‘non-separable’ talks? Well... Background Theorem (Grothendieck, 1953). Every weak* convergent sequence (fn) in the dual of `1(Γ) converges with respect to the weak topology.
  • Spaces of Compact Operators N

    Spaces of Compact Operators N

    Math. Ann. 208, 267--278 (1974) Q by Springer-Verlag 1974 Spaces of Compact Operators N. J. Kalton 1. Introduction In this paper we study the structure of the Banach space K(E, F) of all compact linear operators between two Banach spaces E and F. We study three distinct problems: weak compactness in K(E, F), subspaces isomorphic to l~ and complementation of K(E, F) in L(E, F), the space of bounded linear operators. In § 2 we derive a simple characterization of the weakly compact subsets of K(E, F) using a criterion of Grothendieck. This enables us to study reflexivity and weak sequential convergence. In § 3 a rather dif- ferent problem is investigated from the same angle. Recent results of Tong [20] indicate that we should consider when K(E, F) may have a subspace isomorphic to l~. Although L(E, F) often has this property (e.g. take E = F =/2) it turns out that K(E, F) can only contain a copy of l~o if it inherits one from either E* or F. In § 4 these results are applied to improve the results obtained by Tong and also to approach the problem investigated by Tong and Wilken [21] of whether K(E, F) can be non-trivially complemented in L(E,F) (see also Thorp [19] and Arterburn and Whitley [2]). It should be pointed out that the general trend of this paper is to indicate that K(E, F) accurately reflects the structure of E and F, in the sense that it has few properties which are not directly inherited from E and F.
  • On Classes of Banach Spaces Admitting “Small” Universal Spaces

    On Classes of Banach Spaces Admitting “Small” Universal Spaces

    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 361, Number 12, December 2009, Pages 6407–6428 S 0002-9947(09)04913-7 Article electronically published on June 5, 2009 ON CLASSES OF BANACH SPACES ADMITTING “SMALL” UNIVERSAL SPACES PANDELIS DODOS Abstract. We characterize those classes C of separable Banach spaces ad- mitting a separable universal space Y (that is, a space Y containing, up to isomorphism, all members of C) which is not universal for all separable Ba- nach spaces. The characterization is a byproduct of the fact, proved in the paper, that the class NU of non-universal separable Banach spaces is strongly bounded. This settles in the affirmative the main conjecture from Argyros and Dodos (2007). Our approach is based, among others, on a construction of L∞-spaces, due to J. Bourgain and G. Pisier. As a consequence we show that there exists a family {Yξ : ξ<ω1} of separable, non-universal, L∞-spaces which uniformly exhausts all separable Banach spaces. A number of other natural classes of separable Banach spaces are shown to be strongly bounded as well. 1. Introduction (A) Universality problems have been posed in Banach Space Theory from its early beginnings. A typical one can be stated as follows. (P1) Let C be a class of separable Banach spaces. When can we find a space Y that belongs in the class C and contains an isomorphic copy of every member of C? AspaceY containing an isomorphic copy of every member of C is called a universal space of the class. As it turns out, the requirement that the universal space of C lies also in C is quite restrictive.