DOCSLIB.ORG

Ideals of Operators, Approximability in the Strong Operator Topology, and the Approximation Property

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ideals of Operators, Approximability in the Strong Operator Topology, and the Approximation Property IDEALS OF OPERATORS, APPROXIMABILITY IN THE STRONG OPERATOR TOPOLOGY, AND THE APPROXIMATION PROPERTY ASVALD˚ LIMA AND EVE OJA Abstract. Let F, K, and W denote the operator ideals of finite rank operators, compact operators, and weakly compact operators. Let X be a closed subspace of a Banach space Y . We prove that, in the case when A = F or A = K and B = K or B = W, the space A(Z; X) is an ideal in B(Z; Y ) for all Banach spaces Z if and only if there exists a Hahn- Banach extension operator Á : X¤ ! Y ¤ such that, for every Banach space Z and every T 2 B(Z; Y ) there exists a net (T®) in A(Z; X) with ¤ ¤ sup® kT®k · kT k such that T® ! T ± Á in the strong operator topology. Using this result, we show that X (resp. X¤) has the approxima- tion property if and only if, for every Banach space Z and every T 2 ¤¤ W(Z; X) (resp. T 2 W(Z; X )), there exists a net (T®) in F(Z; X) with ¤ ¤ sup® kT®k · kT k such that T® ! T jX¤ in the strong operator topology. It follows that conditions considered by Grothendieck as necessary for the approximation property are in fact equivalent to it. 1. Introduction Let us recall that a linear subspace F of a Banach space E is an ideal in E if F ? is the kernel of a norm one projection in E¤. The notion of an ideal was introduced and studied by Godefroy, Kalton, and Saphar in [3]. A linear operator Á: F ¤ ! E¤ is called a Hahn-Banach extension operator if (Áx¤)(x) = x¤(x) and kÁx¤k = kx¤k for all x 2 F and all x¤ 2 F ¤. Let us denote the set of all Hahn-Banach extension operators Á : F ¤ ! E¤ by HB(F; E). It is well known (and straightforward to verify) that HB(F; E) 6= ; if and only if F is an ideal in E. Let X be a Banach space. In [10, Theorem 3.1] Lima, Nygaard, and Oja proved that, for all Banach spaces Z, the space of compact operators K(Z; X) from Z to X, is an ideal in W(Z; X), the space of weakly compact operators from Z to X, if and only if K(Z; X) is an ideal in W(Z; X) for all reflexive Banach spaces Z. They also showed (see [10, Theorem 4.1]) that these condi- tions can be equivalently characterized through the approximability of weakly Date: November 9, 2001. 2000 Mathematics Subject Classification. Primary: 46B20, 46B28, 47L05. Key words and phrases. Spaces of operators, ideals, strong operator topology, approxi- mation property. The research of the second-named author was partially supported by Estonian Science Foun- dation Grant 4400. Filename: LO4.tex. AmsLaTeX. 1 2 ASVALD˚ LIMA AND EVE OJA compact operators in the strong operator topology as follows: for every Ba- nach space Z and for every T 2 W(Z; X), there exists a net (T®) in K(Z; X) with sup® kT®k · kT k such that T® ! T in the strong operator topology. Let X now be a closed subspace of a Banach space Y . In [12, Theorem 4.4] the authors proved that K(Z; X) is an ideal in W(Z; Y ) for all Banach spaces Z if and only if K(Z; X) is an ideal in W(Z; Y ) for all reflexive Banach spaces Z, thus extending the first-mentioned result by Lima, Nygaard, and Oja. The main purpose of this article is to characterize also this more general situation by means of the approximability of weakly compact operators in the strong operator topology. The key result that enables us to achieve this purpose comes from the main theorem of the article [13] by the authors (see Theorem 2.4 and its proof in [13]) and reads as follows. Lemma 1.1. Let X be a closed subspace of a Banach space Y . Let A and B be closed operator ideals satisfying A ½ B. If A(Z; X) is an ideal in B(Z; Y ) for all reflexive Banach spaces Z, then there exists Á 2 HB(X; Y ) such that, for every reflexive Banach space Z, there exists Φ 2 HB(A(Z; X); B(Z; Y )) such that Φ(x¤ ­ z) = (Áx¤) ­ z; 8x¤ 2 X¤; 8z 2 Z: By F, F, K, W, and L, we shall denote the operator ideals (in the sense of Pietsch [18]) of finite rank operators, approximable operators (i.e. norm limits of finite rank operators), compact operators, weakly compact operators, and bounded operators. In Section 2, relying on Lemma 1.1 and the uniform isometric version of the Davis-Figiel-Johnson-PeÃlczy´nskifactorization theorem due to Lima, Nygaard, and Oja [10], we prove, in the case when A = F or A = K and B = K or B = W, that A(Z; X) is an ideal in B(Z; Y ) for all (reflexive) Banach spaces Z if and only if there exists a Hahn-Banach extension operator Á : X¤ ! Y ¤ such that, for every Banach space Z and every T 2 B(Z; Y ), there exists a net ¤ ¤ (T®) in A(Z; X) with sup® kT®k · kT k such that T® ! T ± Á in the strong operator topology (see Theorem 2.3). Results of Section 2 are applied in Sections 3 and 4 to characterize the ap- proximation property of X and X¤ in terms of the approximability of weakly compact operators in the strong operator topology, a problem that goes back to the fundamental work [6] of Grothendieck. Here the main result is The- orem 3.2 that lists four conditions equivalent to the approximation property of X¤, expressed through the approximability of weakly compact or compact operators by finite rank operators in the strong operator topology. The final application, Corollary 4.3, asserts that if X is an M-ideal in its bidual, then X¤ has the approximation property if and only if F(Z; X) is an M-ideal in K(Z; X¤¤) for all Banach spaces Z or, equivalently, F(Z; X) is an ideal in K(Z; X¤¤) for all reflexive Banach spaces Z. Let us fix some more notation. In a linear normed space X, we denote the closed unit ball by BX and the open ball with center x and radius r by B(x; r). The closure of a set A ½ X is denoted by A and its linear span by span A. The identity operator on X is denoted by IX . We shall always regard X as a subspace of X¤¤. IDEALS OF OPERATORS 3 2. Ideals of operators and approximability in the strong operator topology To prove the main result of this article, Theorem 2.3, which together with its background was described in the Introduction, we shall also use the next two Lemmas. Lemma 2.1. Let X be a closed subspace of a Banach space Y and let Z be a Banach space. Let A ½ L(Z; X) and B ½ L(Z; Y ) be subspaces such that F(Z; X) ½ A, F(Z; Y ) ½ B, and A ½ B. Assume that Á 2 HB(X; Y ), Φ 2 HB(A; B), and that ¤ ¤ ¤ ¤ ZΦÁ = fz 2 Z : Φ(x ­ z) = (Áx ) ­ z; 8x 2 X g is reflexive. Then, for every operator T 2 B, there exists a net (T®) ½ A with ¤ ¤ sup® kT®k · kT k such that (T®jZΦÁ ) ! (T jZΦÁ ) ± Á in the strong operator ¤ ¤ topology of L(X ;ZΦÁ). Proof. We follow the idea of the proof of [10, Lemma 1.4]. Let P be the norm one projection on B¤ with ker P = A? defined by Φ, i.e. ¤ P f = Φ(fjA); f 2 B : ¤ ?? ¤¤ ¤ Since P (T ) 2 A ½ B and kP (T )k · kT k, there exists a net (T®) ½ A ¤ ¤ ¤¤ with sup® kT®k · kT k such that T® ! P (T ) weak in B . In particular, for ¤ ¤ all y 2 Y and z 2 ZΦÁ, we have ¤ ¤ ¤ ¤ ¤ y (T®z) = (y ­ z)(T®) ! (y ­ z)(P (T )) = (P (y ­ z))(T ) ¤ ¤ = (Φ(y jX ­ z))(T ) = (Á(y jX ))(T z): This means that ¤ ¤ ¤ ¤ x (T®z) ! (Áx )(T z); 8x 2 X ; 8z 2 ZΦÁ; ¤ ¤ or, equivalently, that (T®jZΦÁ ) ! (T jZΦÁ ) ± Á in the weak operator topol- ¤ ¤ ogy of L(X ;ZΦÁ). Since the weak and strong operator topologies yield the same dual space (cf. e.g. [1, Theorem VI.1.4]), after passing to convex com- binations, we may assume the desired convergence in the strong operator topology. ¤ The following local formulation of ideals is well known. A proof can be found in [9]. Lemma 2.2. Let F be a closed subspace of a Banach space E. The following statements are equivalent. (a) F is an ideal in E. (b) F is locally 1-complemented in E, i.e. for every finite dimensional subspace G of E and for all " > 0, there is an operator U : G ! F such that kUk · 1 + " and Ux = x for all x 2 G \ F . Remark 2.1. It is straightforward to verify that the condition Ux = x for all x 2 G \ F in Lemma 2.2 can be replaced by kUx ¡ xk · " for all x 2 BG\F . Let us recall that, for a linear subspace F of a Banach space E (as it is clear from the definition of the ideal), F is an ideal in E if and only if F is an ideal in E.
Load more

Recommended publications
  • Multivariable Approximation by Convolutional Kernel Networks
    ITAT 2016 Proceedings, CEUR Workshop Proceedings Vol. 1649, pp. 118–122 http://ceur-ws.org/Vol-1649, Series ISSN 1613-0073, c 2016 V. K˚urková Multivariable Approximation by Convolutional Kernel Networks Veraˇ K˚urková Institute of Computer Science, Academy of Sciences of the Czech, [email protected], WWW home page: http://www.cs.cas.cz/ vera ∼ Abstract: Computational units induced by convolutional widths parameters) benefit from geometrical properties of kernels together with biologically inspired perceptrons be- reproducing kernel Hilbert spaces (RKHS) generated by long to the most widespread types of units used in neu- these kernels. These properties allow an extension of rocomputing. Radial convolutional kernels with vary- the maximal margin classification from finite dimensional ing widths form RBF (radial-basis-function) networks and spaces also to sets of data which are not linearly separable these kernels with fixed widths are used in the SVM (sup- by embedding them into infinite dimensional spaces [2]. port vector machine) algorithm. We investigate suitabil- Moreover, symmetric positive semidefinite kernels gener- ity of various convolutional kernel units for function ap- ate stabilizers in the form of norms on RKHSs suitable for proximation. We show that properties of Fourier trans- modeling generalization in terms of regularization [6] and forms of convolutional kernels determine whether sets of enable characterizations of theoretically optimal solutions input-output functions of networks with kernel units are of learning tasks [3, 19, 11]. large enough to be universal approximators. We com- Arguments proving the universal approximation prop- pare these properties with conditions guaranteeing positive erty of RBF networks using sequences of scaled kernels semidefinitness of convolutional kernels.
    [Show full text]
  • GALERKIN APPROXIMATION in BANACH and HILBERT SPACES Wolfgang Arendt, Isabelle Chalendar, Robert Eymard
    GALERKIN APPROXIMATION IN BANACH AND HILBERT SPACES Wolfgang Arendt, Isabelle Chalendar, Robert Eymard To cite this version: Wolfgang Arendt, Isabelle Chalendar, Robert Eymard. GALERKIN APPROXIMATION IN BA- NACH AND HILBERT SPACES. 2019. hal-02264895v2 HAL Id: hal-02264895 https://hal.archives-ouvertes.fr/hal-02264895v2 Preprint submitted on 19 Dec 2019 (v2), last revised 9 Jul 2020 (v3) 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. GALERKIN APPROXIMATION IN BANACH AND HILBERT SPACES W. ARENDT, I. CHALENDAR, AND R. EYMARD Abstract. In this paper we study the conforming Galerkin ap- proximation of the problem: find u such that a(u, v)= L, v for all v , where and are Hilbert∈U or Banach spaces, ha is ai continuous∈ V bilinear orU sesquilinearV form and L ′ a given data. The approximate solution is sought in a finite dimensional∈ V subspace of , and test functions are taken in a finite dimensional subspace of U. We provide a necessary and sufficient condition on the form a forV convergence of the Galerkin approximation, which is also equivalent to convergence of the Galerkin approximation for the adjoint problem. We also characterize the fact that has a finite dimensional Schauder decomposition in terms of propertiesU related to the Galerkin approximation.
    [Show full text]
  • 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.
    [Show full text]
  • A Topology for Operator Modules Over W*-Algebras Bojan Magajna
    Journal of Functional AnalysisFU3203 journal of functional analysis 154, 1741 (1998) article no. FU973203 A Topology for Operator Modules over W*-Algebras Bojan Magajna Department of Mathematics, University of Ljubljana, Jadranska 19, Ljubljana 1000, Slovenia E-mail: Bojan.MagajnaÄuni-lj.si Received July 23, 1996; revised February 11, 1997; accepted August 18, 1997 dedicated to professor ivan vidav in honor of his eightieth birthday Given a von Neumann algebra R on a Hilbert space H, the so-called R-topology is introduced into B(H), which is weaker than the norm and stronger than the COREultrastrong operator topology. A right R-submodule X of B(H) is closed in the Metadata, citation and similar papers at core.ac.uk Provided byR Elsevier-topology - Publisher if and Connector only if for each b #B(H) the right ideal, consisting of all a # R such that ba # X, is weak* closed in R. Equivalently, X is closed in the R-topology if and only if for each b #B(H) and each orthogonal family of projections ei in R with the sum 1 the condition bei # X for all i implies that b # X. 1998 Academic Press 1. INTRODUCTION Given a C*-algebra R on a Hilbert space H, a concrete operator right R-module is a subspace X of B(H) (the algebra of all bounded linear operators on H) such that XRX. Such modules can be characterized abstractly as L -matricially normed spaces in the sense of Ruan [21], [11] which are equipped with a completely contractive R-module multi- plication (see [6] and [9]).
    [Show full text]
  • 7.3 Topological Vector Spaces, the Weak and Weak⇤ Topology on Banach Spaces
    138 CHAPTER 7. ELEMENTS OF FUNCTIONAL ANALYSIS 7.3 Topological Vector spaces, the weak and weak⇤ topology on Banach spaces The following generalizes normed Vector space. Definition 7.3.1. Let X be a vector space over K, K = C, or K = R, and assume that is a topology on X. we say that X is a topological vector T space (with respect to ), if (X X and K X are endowed with the T ⇥ ⇥ respective product topology) +:X X X, (x, y) x + y is continuous ⇥ ! 7! : K X (λ, x) λ x is continuous. · ⇥ 7! · A topological vector space X is called locally convex,ifeveryx X has a 2 neighborhood basis consisting of convex sets, where a set A X is called ⇢ convex if for all x, y A, and 0 <t<1, it follows that tx +1 t)y A. 2 − 2 In order to define a topology on a vector space E which turns E into a topological vector space we (only) need to define an appropriate neighbor- hood basis of 0. Proposition 7.3.2. Assume that (E, ) is a topological vector space. And T let = U , 0 U . U0 { 2T 2 } Then a) For all x E, x + = x + U : U is a neighborhood basis of x, 2 U0 { 2U0} b) for all U there is a V so that V + V U, 2U0 2U0 ⇢ c) for all U and all R>0 there is a V ,sothat 2U0 2U0 λ K : λ <R V U, { 2 | | }· ⇢ d) for all U and x E there is an ">0,sothatλx U,forall 2U0 2 2 λ K with λ <", 2 | | e) if (E, ) is Hausdor↵, then for every x E, x =0, there is a U T 2 6 2U0 with x U, 62 f) if E is locally convex, then for all U there is a convex V , 2U0 2T with V U.
    [Show full text]
  • 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...........................
    [Show full text]
  • Math 259A Lecture 7 Notes
    Math 259A Lecture 7 Notes Daniel Raban October 11, 2019 1 WO and SO Continuity of Linear Functionals and The Pre-Dual of B 1.1 Weak operator and strong operator continuity of linear functionals Lemma 1.1. Let X be a vector space with seminorms p1; : : : ; pn. Let ' : X ! C be a Pn linear functional such that j'(x)j ≤ i=1 pi(x) for all x 2 X. Then there exist linear P functionals '1;:::;'n : X ! C such that ' = i 'i with j'i(x)j ≤ pi(x) for all x 2 X and for all i. Proof. Let D = fx~ = (x; : : : ; x): x 2 Xg ⊆ Xn, which is a vector subspace. On Xn, n P take p((xi)i=1) = i pi(xi). We also have a linear map' ~ : D ! C given by' ~(~x) = '(x). This map satisfies j~(~x)j ≤ p(~x). By the Hahn-Banach theorem, there exists an n ∗ extension 2 (X ) of' ~ such that j (x1; : : : ; xn)j ≤ p(x1; : : : ; xn). Now define 'k(x) := (0; : : : ; x; 0;::: ), where the x is in the k-th position. Theorem 1.1. Let ' : B! C be linear. ' is weak operator continuous if and only if it is it is strong operator continuous. Proof. We only need to show that if ' is strong operator continuous, then it is weak Pn operator continuous. So assume there exist ξ1; : : : ; ξn 2 X such that j'(x)j ≤ i=1 kxξik P for all x 2 B. By the lemma, we can split ' = 'k, such that j'k(x)j ≤ kxξkk for all x and k.
    [Show full text]
  • Derivations on Metric Measure Spaces
    Derivations on Metric Measure Spaces by Jasun Gong A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2008 Doctoral Committee: Professor Mario Bonk, Chair Professor Alexander I. Barvinok Professor Juha Heinonen (Deceased) Associate Professor James P. Tappenden Assistant Professor Pekka J. Pankka “Or se’ tu quel Virgilio e quella fonte che spandi di parlar si largo fiume?” rispuos’io lui con vergognosa fronte. “O de li altri poeti onore e lume, vagliami ’l lungo studio e ’l grande amore che m’ha fatto cercar lo tuo volume. Tu se’ lo mio maestro e ’l mio autore, tu se’ solo colui da cu’ io tolsi lo bello stilo che m’ha fatto onore.” [“And are you then that Virgil, you the fountain that freely pours so rich a stream of speech?” I answered him with shame upon my brow. “O light and honor of all other poets, may my long study and the intense love that made me search your volume serve me now. You are my master and my author, you– the only one from whom my writing drew the noble style for which I have been honored.”] from the Divine Comedy by Dante Alighieri, as translated by Allen Mandelbaum [Man82]. In memory of Juha Heinonen, my advisor, teacher, and friend. ii ACKNOWLEDGEMENTS This work was inspired and influenced by many people. I first thank my parents, Ping Po Gong and Chau Sim Gong for all their love and support. They are my first teachers, and from them I learned the value of education and hard work.
    [Show full text]
  • Free Banach Spaces and the Approximation Properties
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 142, Number 5, May 2014, Pages 1681–1687 S 0002-9939(2014)11933-2 Article electronically published on February 18, 2014 FREE BANACH SPACES AND THE APPROXIMATION PROPERTIES GILLES GODEFROY AND NARUTAKA OZAWA (Communicated by Thomas Schlumprecht) Abstract. We characterize the metric spaces whose free spaces have the bounded approximation property through a Lipschitz analogue of the local reflexivity principle. We show that there exist compact metric spaces whose free spaces fail the approximation property. 1. Introduction Let M be a pointed metric space, that is, a metric space equipped with a distin- guished point denoted 0. We denote by Lip0(M) the Banach space of all real-valued Lipschitz functions defined on M which vanish at 0, equipped with the natural Lip- schitz norm |f(x) − f(y)| f =sup ;(x, y) ∈ M 2,x= y . L x − y ∈ For all x M, the Dirac measure δ(x) defines a continuous linear form on Lip0(M). Equicontinuity shows that the closed unit ball of Lip0(M) is compact for pointwise { ∈ } ∗ convergence on M, and thus the closed linear span of δ(x); x M in Lip0(M) is an isometric predual of Lip0(M). This predual is called the Arens-Eells space of M in [We] and (when M is a Banach space) the Lipschitz-free space over M in [GK], denoted by F(M). We will use this notation and simply call F(M)thefree space over M.WhenM is separable, the Banach space F(M) is separable as well, { ∈ } ∗ since the set δ(x); x M equipped with the distance induced by Lip0(M) is isometric to M.
    [Show full text]
  • Approximation Properties for Group C*-Algebras and Group Von Neumann Algebras
    transactions of the american mathematical society Volume 344, Number 2, August 1994 APPROXIMATION PROPERTIES FOR GROUP C*-ALGEBRAS AND GROUP VON NEUMANN ALGEBRAS UFFE HAAGERUP AND JON KRAUS Abstract. Let G be a locally compact group, let C*(G) (resp. VN(G)) be the C*-algebra (resp. the von Neumann algebra) associated with the left reg- ular representation / of G, let A(G) be the Fourier algebra of G, and let MqA(G) be the set of completely bounded multipliers of A(G). With the com- pletely bounded norm, MqA(G) is a dual space, and we say that G has the approximation property (AP) if there is a net {ua} of functions in A(G) (with compact support) such that ua —»1 in the associated weak '-topology. In par- ticular, G has the AP if G is weakly amenable (•» A(G) has an approximate identity that is bounded in the completely bounded norm). For a discrete group T, we show that T has the AP •» C* (r) has the slice map property for sub- spaces of any C*-algebra -<=>VN(r) has the slice map property for a-weakly closed subspaces of any von Neumann algebra (Property Sa). The semidirect product of weakly amenable groups need not be weakly amenable. We show that the larger class of groups with the AP is stable with respect to semidirect products, and more generally, this class is stable with respect to group exten- sions. We also obtain some results concerning crossed products. For example, we show that the crossed product M®aG of a von Neumann algebra M with Property S„ by a group G with the AP also has Property Sa .
    [Show full text]
  • Course Structure for M.Sc. in Mathematics (Academic Year 2019 − 2020)
    Course Structure for M.Sc. in Mathematics (Academic Year 2019 − 2020) School of Physical Sciences, Jawaharlal Nehru University 1 Contents 1 Preamble 3 1.1 Minimum eligibility criteria for admission . .3 1.2 Selection procedure . .3 2 Programme structure 4 2.1 Overview . .4 2.2 Semester wise course distribution . .4 3 Courses: core and elective 5 4 Details of the core courses 6 4.1 Algebra I .........................................6 4.2 Real Analysis .......................................8 4.3 Complex Analysis ....................................9 4.4 Basic Topology ...................................... 10 4.5 Algebra II ......................................... 11 4.6 Measure Theory .................................... 12 4.7 Functional Analysis ................................... 13 4.8 Discrete Mathematics ................................. 14 4.9 Probability and Statistics ............................... 15 4.10 Computational Mathematics ............................. 16 4.11 Ordinary Differential Equations ........................... 18 4.12 Partial Differential Equations ............................. 19 4.13 Project ........................................... 20 5 Details of the elective courses 21 5.1 Number Theory ..................................... 21 5.2 Differential Topology .................................. 23 5.3 Harmonic Analysis ................................... 24 5.4 Analytic Number Theory ............................... 25 5.5 Proofs ........................................... 26 5.6 Advanced Algebra ...................................
    [Show full text]
  • AND the DOUBLE COMMUTANT THEOREM Recall
    Egbert Rijke Utrecht University [email protected] THE STRONG OPERATOR TOPOLOGY ON B(H) AND THE DOUBLE COMMUTANT THEOREM ABSTRACT. These are the notes for a presentation on the strong and weak operator topolo- gies on B(H) and on commutants of unital self-adjoint subalgebras of B(H) in the seminar on von Neumann algebras in Utrecht. The main goal for this talk was to prove the double commutant theorem of von Neumann. We will also give a proof of Vigiers theorem and we will work out several useful properties of the commutant. Recall that a seminorm on a vector space V is a map p : V ! [0;¥) with the properties that (i) p(lx) = jljp(x) for every vector x 2 V and every scalar l and (ii) p(x + y) ≤ p(x) + p(y) for every pair of vectors x;y 2 V. If P is a family of seminorms on V there is a topology generated by P of which the subbasis is defined by the sets fv 2 V : p(v − x) < eg; where e > 0, p 2 P and x 2 V. Hence a subset U of V is open if and only if for every x 2 U there exist p1;:::; pn 2 P, and e > 0 with the property that n \ fv 2 V : pi(v − x) < eg ⊂ U: i=1 A family P of seminorms on V is called separating if, for every non-zero vector x, there exists a seminorm p in P such that p(x) 6= 0.
    [Show full text]