DOCSLIB.ORG

The Dual of the Space of Bounded Operators on a Banach Space Received August 23, 2020; Accepted January 6, 2021

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Dual of the Space of Bounded Operators on a Banach Space Received August 23, 2020; Accepted January 6, 2021 Concr. Oper. 2021; 8:48–59 Research Article Open Access Fernanda Botelho* and Richard J. Fleming The dual of the space of bounded operators on a Banach space https://doi.org/10.1515/conop-2020-0109 Received August 23, 2020; accepted January 6, 2021 Abstract: Given Banach spaces X and Y, we ask about the dual space of the L(X, Y). This paper surveys results on tensor products of Banach spaces with the main objective of describing the dual of spaces of bounded operators. In several cases and under a variety of assumptions on X and Y, the answer can best be given as the projective tensor product of X** and Y*. Keywords: Tensor products; dual spaces; dual of spaces of operators MSC: Primary 46B78, secondary 46B10 Dedicated to the memory of our friend Professor James E. Jamison. 1 Introduction The space L(X, Y) of bounded linear operators from the Banach space X to the Banach space Y is one of the fundamental spaces of study in Banach space theory, and it seems natural to inquire about its dual space. A preliminary search of articles on this subject gave a rather sparse result. Hence we thought it might be of use to investigate an answer to this question. Let us begin with a very naive and elementary approach. In the case where Y is one dimensional, the answer is just X*, so what is the answer in the two dimensional case? It depends, of course, on the norm of the space. Let us consider Y = `∞(2), where X is any Banach space. ∞ Clearly T 2 L(X, ` (2)) can be written as Tx = (φ1(x), φ2(x)) for x 2 X and where φ1, φ2 are elements of * * X . Furthermore, kTk = maxfkφ1k, kφ2kg. It follows that if ψ 2 L(X, Y) , then ψ = (ψ1, ψ2) where ψ1, ψ2 2 ** 1 ** X and kψk = kψ1k + kψ2k. Thus, the dual space in this case is the space ` (2, X ). This can be extended inductively to any nite dimension. Corresponding results for other common norms can also be obtained. Notation is fairly standard. Because of a variety of uses of the letter B, we will use L(X, Y) to denote the bounded operators from X to Y and similarly, LA(X, Y) for the approximable operators (those for which the nite rank operators are dense), and LK(X, Y) for the compact operators from X to Y. The closed unit ball of a Banach space X is denoted by BX. In years gone by when researchers were discussing a particular result, someone would often say, “Well, it’s probably somewhere in Grothendieck!" That is the case here as well. A more elegant approach to the description of L(X, Y)* involves tensor products, and the result that L(X, `∞(n))* = `1(n, X**) which we de- ∞ * ** ∞ * scribed above could be expressed by L(X, ` (n)) = X ⊗ˆ π(` (n)) . Before showing how that works, let us take a little refresher course on tensor products. *Corresponding Author: Fernanda Botelho: Department of Mathematical Sciences, University Of Memphis, Memphis TN 38152; E-mail: [email protected] Richard J. Fleming: Department of Mathematics, Central Michigan University, Mt. Pleasant, Michigan 48859; E-mail: [email protected] Open Access. © 2020 FernandaBotelho and Richard J. Fleming, published by De Gruyter. This work is licensed under the Creative Commons Attribution alone 4.0 License. The dual of the space of bounded operators on a Banach space Ë 49 2 Tensor products We mention here some basic and useful facts about tensor products for the benet of readers who may not be familiar with the subject. What is reported here is material taken from the wonderful book of Raymond Ryan [7]. Let B(X × Y) denote the space of bilinear functions from X × Y, where X, Y are vector spaces, to the scalar eld K (which is always the real or complex numbers). In its most elementary form, the tensor product X ⊗ Y can be thought of as a subspace of the space of linear functionals on B(X × Y). Given x 2 X and y 2 Y, let x ⊗ y denote the linear functional on B(X × Y) dened by (x ⊗ y)(A) = hA, x ⊗ yi = A(x, y), where A is a bilinear form on X × Y. The tensor product X ⊗ Y is the space spanned by these elements. Thus an element of this tensor product can be written n X u = λi xi ⊗ yi i=1 and since such representations are not unique, we may always write an element in the form n X u = xi ⊗ yi . i=1 The projective norm, π, on the tensor product of two Banach spaces X ⊗ Y is dened by ( m m ) X X π(u) = inf kxikkyik : u = xi ⊗ yi . i=1 i=1 The inmum is taken, of course, over all representations of u. Then π is a norm with the property that π(x⊗y) = kxkkyk for x 2 X and y 2 Y. The tensor product X ⊗ Y with the projective norm is denoted by X ⊗π Y and its 1 1 completion is given by X⊗ˆ π Y. Some useful facts for future reference are that ` ⊗ˆ π Y = ` (Y) and this holds also for the space `1(J) where J is an arbitrary indexing set. An interesting and important result about the projective tensor product is given in the following theorem. We think it instructive to oer a proof, although we give an alternative to the interesting one given in [7]. Theorem 1. Let X and Y be Banach spaces, u 2 X⊗ˆ π Y, and ϵ > 0. Then there exist bounded sequences fx g fy g in X Y respectively, such that the series P∞ x ⊗ y converges to u and n , n , n=1 n n X∞ kxnkkynk < π(u) + ϵ. n=1 Proof. u 2 X⊗ Y ϵ u Pk1 x ⊗ y π u u ϵ π u Given ˆ π and > 0 there exists 1 = i=1 i i such that ( − 1) < /8 and ( 1) ≤ Pk1 kx k ky k π u ϵ π u π u ϵ Pk1 kx k ky k π u ϵ ϵ π u ϵ i=1 i i < ( 1) + /4. Thus ( 1) < ( ) + /8 so that i=1 i i < ( ) + /8 + /4 < ( ) + /2. Without loss of generality, we may assume that, for all i 2 f1, 2, . k1g, kxik = kyik. We assume this as well Pk2 xi yi u u 2 X⊗ˆ π Y u xi ⊗yi π u u u ϵ for all , chosen below. Since − 1 there exists 2 = i=k1+1 such that ( − 1 − 2) < /16 Pk2 π u kxik kyik π u ϵ π u π u u ϵ ϵ ϵ and ( 2) ≤ i=k1+1 < ( 2) + /8. Then ( 2) ≤ ( − 1) + /16 < /8 + /16, and therefore π(u2) < ϵ/4. n+2 We continue this process to dene a sequence fung such that π(u − u1 − u2 − · · · − un) < ϵ/2 , where Pkn Pkn n+1 un xi ⊗ yi π un kxik kyik π un ϵ π un π u u un = i=kn−1+1 , and ( ) ≤ i=kn−1+1 ≤ ( )+ /2 . Therefore ( ) ≤ ( − 1 −· · · −1)+ ϵ/2n+1 < ϵ/2n+2 + ϵ/2n+1 < ϵ/2n. It follows that X∞ X∞ u = un = xi ⊗ yi , n=1 i=1 50 Ë Fernanda Botelho and Richard J. Fleming and ∞ ∞ X X n kxik kyik < π(u) + ϵ/2 = π(u) + ϵ. i=1 n=1 p We observe that sequences fkxikg and fkyikg are bounded by π(u) + ϵ. This completes the proof. It follows from the above result that ( ) X∞ X∞ X∞ π(u) = inf kxnkkynk : kxnkkynk < ∞, u = xn ⊗ yn , n=1 n=1 n=1 where the inmum is taken over all such representations of u. This is another of several ways of calculating the projective norm. Dual spaces are of particular interest to us, so let us describe the dual space of the projective tensor product of two Banach spaces, X, Y. A bilinear form B on X × Y is bounded if there exists C > 0 such that jB(x, y)j ≤ Ckxkkyk for all x 2 X and y 2 Y. Let B(X, Y) denote the space of bounded bilinear forms on X × Y, which is a Banach space with the norm kBk = supfjB(x, y)j : x 2 BX , y 2 BY g. Given B 2 B(X × Y) there exists a unique linear functional B˜ on X⊗ˆ π Y satisfying B˜(x ⊗ y) = B(x, y), and it is straitforward to show that the correspondence B $ B˜ is an isometric isomorphism between B(X × Y) and * * (X⊗ˆ π Y) . We note also, that given B 2 B(X × Y), we can dene an operator LB : X ! Y by hy, LB(x)i = B(x, y) * and the correspondence B $ LB describes an isometric isomorphism between B(X × Y) and L(X, Y ). In a * similar way, the operator RB : Y ! X which satises hx, RB(y)i = B(x, y) provides an isometric isomorphism * between B(X × Y) and L(Y, X ) via B $ RB. Hence we have * ∼ ∼ * ∼ * (X⊗ˆ π Y) = B(X × Y) = L(X, Y ) = L(Y, X ). (1) An element u 2 X ⊗ Y can be considered as a bilinear form Bu on X* × Y* by m X Bu(φ, ψ) = φ(xi)ψ(yi), i=1 u Pm x ⊗ y u X ⊗ Y B X* where = i=1 i i is any representation of . This provides a canonical embedding of into ( × Y*), and we use it to dene what is called the injective norm on X ⊗ Y, which is the norm induced by this embedding.
Load more

Recommended publications
  • Projective Tensor Products, Injective Tensor Products, and Dual Relations on Operator Spaces
    University of Windsor Scholarship at UWindsor Electronic Theses and Dissertations Theses, Dissertations, and Major Papers 1-1-2006 Projective tensor products, injective tensor products, and dual relations on operator spaces. Fuhua Chen University of Windsor Follow this and additional works at: https://scholar.uwindsor.ca/etd Recommended Citation Chen, Fuhua, "Projective tensor products, injective tensor products, and dual relations on operator spaces." (2006). Electronic Theses and Dissertations. 7096. https://scholar.uwindsor.ca/etd/7096 This online database contains the full-text of PhD dissertations and Masters’ theses of University of Windsor students from 1954 forward. These documents are made available for personal study and research purposes only, in accordance with the Canadian Copyright Act and the Creative Commons license—CC BY-NC-ND (Attribution, Non-Commercial, No Derivative Works). Under this license, works must always be attributed to the copyright holder (original author), cannot be used for any commercial purposes, and may not be altered. Any other use would require the permission of the copyright holder. Students may inquire about withdrawing their dissertation and/or thesis from this database. For additional inquiries, please contact the repository administrator via email ([email protected]) or by telephone at 519-253-3000ext. 3208. P r o je c t iv e T e n so r P r o d u c t s , In je c t iv e T e n so r P r o d u c t s , a n d D ual R elatio ns on O p e r a t o r S paces by Fuhua Chen A Thesis Submitted to the Faculty of Graduate Studies and Research through Mathematics and Statistics in Partial Fulfillment of the Requirements of the Degree of Master of Science at the University of Windsor Windsor, Ontario, Canada 2006 © 2006 Fuhua Chen Reproduced with permission of the copyright owner.
    [Show full text]
  • Grothendieck's Tensor Norms
    Grothendieck's tensor norms Vandana Shivaji College, University of Delhi, India April, 2015 Vandana Grothendieck's tensor norms Overview Grothendieck's tensor norms Operator spaces Tensor products of Operator spaces Schur tensor product Vandana Grothendieck's tensor norms Grothendieck's tensor norms A Banach space is a complete normed space. For Banach spaces X and Y , X ⊗ Y = spanfx ⊗ y : x 2 X; y 2 Y g, where x ⊗ y is the functional on B(X∗ × Y ∗; C) given by x ⊗ y(f; g) = f(x)g(y) for f 2 X∗ and g 2 Y ∗. For a pair of arbitrary Banach spaces X and Y , the norm on X ⊗ Y induced by the embedding X ⊗ Y ! B(X∗ × Y ∗; C) is known as Banach space injective tensor norm. That is , for u 2 X ⊗ Y , the Banach space injective tensor norm is defined to be n n o X ∗ ∗ kukλ = sup f(xi)g(yi) : f 2 X1 ; g 2 Y1 : i=1 Vandana Grothendieck's tensor norms Grothendieck's tensor norms Question is How can we norm on X ⊗ Y ? n X kx ⊗ ykα ≤ kxkkyk, then, for u = xi ⊗ yi, by triangle's i=1 n X inequality it follows that kukα ≤ kxikkyik. Since this holds for i=1 n X every representation of u, so we have kukα ≤ inff kxikkyikg. i=1 For a pair of arbitrary Banach spaces X and Y and u an element in the algebraic tensor product X ⊗ Y , the Banach space projective tensor norm is defined to be n n X X kukγ = inff kxikkyik : u = xi ⊗ yi; n 2 Ng: i=1 i=1 X ⊗γ Y will denote the completion of X ⊗ Y with respect to this norm.
    [Show full text]
  • Distinguished Property in Tensor Products and Weak* Dual Spaces
    axioms Article Distinguished Property in Tensor Products and Weak* Dual Spaces Salvador López-Alfonso 1 , Manuel López-Pellicer 2,* and Santiago Moll-López 3 1 Department of Architectural Constructions, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] 2 Emeritus and IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain 3 Department of Applied Mathematics, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] * Correspondence: [email protected] 0 Abstract: A local convex space E is said to be distinguished if its strong dual Eb has the topology 0 0 0 0 b(E , (Eb) ), i.e., if Eb is barrelled. The distinguished property of the local convex space Cp(X) of real- valued functions on a Tychonoff space X, equipped with the pointwise topology on X, has recently aroused great interest among analysts and Cp-theorists, obtaining very interesting properties and nice characterizations. For instance, it has recently been obtained that a space Cp(X) is distinguished if and only if any function f 2 RX belongs to the pointwise closure of a pointwise bounded set in C(X). The extensively studied distinguished properties in the injective tensor products Cp(X) ⊗# E and in Cp(X, E) contrasts with the few distinguished properties of injective tensor products related to the dual space Lp(X) of Cp(X) endowed with the weak* topology, as well as to the weak* dual of Cp(X, E). To partially fill this gap, some distinguished properties in the injective tensor product space Lp(X) ⊗# E are presented and a characterization of the distinguished property of the weak* dual of Cp(X, E) for wide classes of spaces X and E is provided.
    [Show full text]
  • On the Geometry of Projective Tensor Products
    ON THE GEOMETRY OF PROJECTIVE TENSOR PRODUCTS OHAD GILADI, JOSCHA PROCHNO, CARSTEN SCHUTT,¨ NICOLE TOMCZAK-JAEGERMANN, AND ELISABETH WERNER n Abstract. In this work, we study the volume ratio of the projective tensor products `p ⊗π n n `q ⊗π `r with 1 ≤ p ≤ q ≤ r ≤ 1. We obtain asymptotic formulas that are sharp in almost all cases. As a consequence of our estimates, these spaces allow for a nearly Euclidean decomposition of Kaˇsintype whenever 1 ≤ p ≤ q ≤ r ≤ 2 or 1 ≤ p ≤ 2 ≤ r ≤ 1 and q = 2. Also, from the Bourgain-Milman bound on the volume ratio of Banach spaces in terms of their cotype 2 constant, we obtain information on the cotype of these 3-fold projective tensor products. Our results naturally generalize to k-fold products `n ⊗ · · · ⊗ `n with k 2 p1 π π pk N and 1 ≤ p1 ≤ · · · ≤ pk ≤ 1. 1. Introduction In the geometry of Banach spaces the volume ratio vr(X) of an n-dimensional normed space X is defined as the n-th root of the volume of the unit ball in X divided by the volume of its John ellipsoid. This notion plays an important role in the local theory of Banach spaces and has significant applications in approximation theory. It formally originates in the works [Sza78] and [STJ80], which were influenced by the famous paper of B. Kaˇsin[Kaˇs77] on nearly Euclidean orthogonal decompositions. Kaˇsindiscovered that for arbitrary n 2 N, 2n the space `1 contains two orthogonal subspaces which are nearly Euclidean, meaning that n their Banach-Mazur distance to `2 is bounded by an absolute constant.
    [Show full text]
  • Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity
    Tensor Products of Convex Cones, Part I: Mapping Properties, Faces, and Semisimplicity Josse van Dobben de Bruyn 24 September 2020 Abstract The tensor product of two ordered vector spaces can be ordered in more than one way, just as the tensor product of normed spaces can be normed in multiple ways. Two natural orderings have received considerable attention in the past, namely the ones given by the projective and injective (or biprojective) cones. This paper aims to show that these two cones behave similarly to their normed counterparts, and furthermore extends the study of these two cones from the algebraic tensor product to completed locally convex tensor products. The main results in this paper are the following: (i) drawing parallels with the normed theory, we show that the projective/injective cone has mapping properties analogous to those of the projective/injective norm; (ii) we establish direct formulas for the lineality space of the projective/injective cone, in particular providing necessary and sufficient conditions for the cone to be proper; (iii) we show how to construct faces of the projective/injective cone from faces of the base cones, in particular providing a complete characterization of the extremal rays of the projective cone; (iv) we prove that the projective/injective tensor product of two closed proper cones is contained in a closed proper cone (at least in the algebraic tensor product). 1 Introduction 1.1 Outline Tensor products of ordered (topological) vector spaces have been receiving attention for more than 50 years ([Mer64], [HF68], [Pop68], [PS69], [Pop69], [DS70], [vGK10], [Wor19]), but the focus has mostly been on Riesz spaces ([Sch72], [Fre72], [Fre74], [Wit74], [Sch74, §IV.7], [Bir76], [FT79], [Nie82], [GL88], [Nie88], [Bla16]) or on finite-dimensional spaces ([BL75], [Bar76], [Bar78a], [Bar78b], [Bar81], [BLP87], [ST90], [Tam92], [Mul97], [Hil08], [HN18], [ALPP19]).
    [Show full text]
  • Geometry in Tensor Products
    Universita` degli Studi di Napoli \Federico II" Facolt`adi Scienze Matematiche Fisiche e Naturali Dipartimento di Matematica e Applicazioni \R.Caccioppoli" Dottorato di Ricerca in Scienze Matematiche Daniele Puglisi Geometry in tensor products TESI DI DOTTORATO XIX CICLO 2003-2007 Tutors: Prof. Paolo De Lucia Coordinatore: Prof. Salvatore Rionero Prof. Joseph Diestel ii Acknowledgements First of all I would like to thank Prof. Joseph Diestel, from Kent State Uni- versity, for his precious suggestions and many many helps. To sit near Joe when he is talking about math in his office, in some bar or also inside some airport, is an experience every young mathematicians should have. I really want to thank him to invited me and for giving me a comfortable permanence in Kent (I have no words to thank you!). Then I thank my advisor Prof. Paolo De Lucia for accepting me as his stu- dent and for giving me the opportunity to visit the Kent State University. Thanks to Prof. Richard Aron for his excellent mathematical support, for helping me in many situation, and for any time that he took me to hear the Cleveland Orchestra. I also want to dedicate part of my dissertation to Roberto Lo Re, Giovanni Cutolo, and Chansung Choi, they influenced strongly my life. Thanks to Prof. Artem Zvavitch for his support, and thanks to Giuseppe Saluzzo, Assunta Tataranni for the many helps. I want to give thanks the secretary support to the Department of Mathemat- ical Sciences at at Kent State University and at Napoli. Specially, I wish to thank Virginia Wright, Misty Tackett, Luciana Colmayer and Luisa Falanga.
    [Show full text]
  • Algebras of Operators on Banach Spaces, and Homomorphisms Thereof
    Algebras of operators on Banach spaces, and homomorphisms thereof Bence Horváth Department of Mathematics and Statistics Lancaster University This dissertation is submitted for the degree of Doctor of Philosophy May 2019 „S en-sorsom legsötétebb, mert színe s alja poltron, Élet s mű között bolyong, mint aggály-aszú lélek: Életben mű riongat, a műben lét a sorsom — S a sír-írásom ez: se égimű, se földi élet.” — Szentkuthy Miklós Declaration The research presented in this thesis has not been submitted for a higher degree elsewhere and is, to the best of my knowledge and belief, original and my own work, except as acknowledged herein. • Chapter 2 contains joint work with Y. Choi and N. J. Laustsen [12]. • Chapter 3 contains work submitted for publication [34]. • Chapter 4 contains work accepted for publication [33]. Bence Horváth May 2019 Acknowledgements First and foremost I would like to thank my brilliant supervisors, Dr Yemon Choi and Dr Niels Jakob Laustsen for all their support throughout these three and a half years. Not only did they share their incredible knowledge and mathematical insight with me, but their continued encouragement, patience, and generosity with their time helped me to get much further in my mathematical career than I ever expected. Niels and Yemon; thank you for making my PhD studies such an amazing part of my life! I would like to thank Professor Gábor Elek for the many fun conversations (math- ematical or otherwise) and for his (futile) efforts to talk some sense into me about picking up an interest in more fashionable areas of mathematics.
    [Show full text]
  • Valued Functions Via Schauder Decompositions
    Received: 14 April 2019 Revised: 24 October 2019 Accepted: 13 December 2019 DOI: 10.1002/mana.201900172 ORIGINAL PAPER Series representations in spaces of vector-valued functions via Schauder decompositions Karsten Kruse Technische Universität Hamburg, Institut für Mathematik, Am Schwarzenberg- Abstract Campus 3, 21073 Hamburg, Germany It is a classical result that every ℂ-valued holomorphic function has a local power Correspondence series representation. This even remains true for holomorphic functions with val- Karsten Kruse, Technische Universität ues in a locally complete locally convex Hausdorff space over ℂ.Motivatedby Hamburg, Institut für Mathematik, Am this example we try to answer the following question. Let be a locally con- Schwarzenberg-Campus 3, 21073 Ham- (Ω) burg, Germany. vex Hausdorff space over a field ,let be a locally convex Hausdorff space Email: [email protected] of -valued functions on a set Ω and let (Ω, ) be an -valued counterpart of (Ω) (where the term -valued counterpart needs clarification itself). For which spaces is it possible to lift series representations of elements of (Ω) to elements of (Ω, )? We derive sufficient conditions for the answer to be affirmative using Schauder decompositions which are applicable for many classical spaces of func- tions (Ω) having an equicontinuous Schauder basis. KEYWORDS injective tensor product, Schauder basis, Schauder decomposition, series representation, vector-valued function MSC (2020) Primary: 46E40; Secondary: 46A32; 46E10 1 INTRODUCTION The purpose of this paper is to lift series representations known from scalar-valued functions to vector-valued functions and its underlying idea was derived from the classical example of the (local) power( ) series representation of a holomorphic function.
    [Show full text]
  • P-Quasi-Λ-Nuclear Operators Between Locally Convex Spaces * ﺩ
    Al-Aqsa University Journal (Natural Sciences Series) , Vol.14, No.2, Pages 18-26, Jan. 2010 ISSN 2070-3155 p-Quasi-λ-Nuclear Operators Between Locally Convex Spaces * ﺩ. ﺯﻴﺎﺩ ﺼﺎﻓﻲ * ﺩ. ﺃﺤﻤﺩ ﺍﻻﺸﻘﺭ ﺍﻟﻤﻠﺨﺹ ﻓﻲ ﻫﺫﺍ ﺍﻟﺒﺤﺙ ﻗﻤﻨﺎ ﺒﺘﻌﻤﻴﻡ ﻤﻔﻬﻭﻡ ﺍﻟﻤﺅﺜﺭﺍﺕ 2- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ ﺒﻴﻥ ﺍﻟﻔﻀﺎﺀﺍﺕ ﺍﻟﻤﻌﻴﺎﺭﻴﺔ (λ⊆ l1) ﺇﻟﻰ p- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ ﺒﻴﻥ ﺍﻟﻔﻀﺎﺀﺍﺕ ﺍﻟﻤﺤﺩﺒﺔ ﺍﻟﻤﺤﻠﻴﺔ ( ∞p >0, λ⊆ l)، ﻭﻜﺫﺍﻟﻙ ﺩﺭﺴﻨﺎ ﺍﻟﻌﻼﻗﺔ ﺒﻴﻥ ﺍﻟﻤﺅﺜﺭﺍﺕ p- ﺸﺒﻪ-λ- ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ λ- ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺍﻟﻤﺅﺜﺭﺍﺕ ﺸﺒﻪ-λ-ﺍﻟﻨﻭﻭﻴﺔ، ﻭﺒﺭﻫﻨﺎ ﺃﻥ ﺘﺭﻜﻴﺏ ﻤﺅﺜﺭﻴﻥ ﺃﺤﺩﻫﻤﺎ p- ﺸﺒﻪ-λ- ﻨﻭﻭﻱ ﻴﻜﻭﻥ p - ﺸﺒﻪ-λ- ﻨﻭﻭﻱ . ABSTRACT In this paper we generalize the concept of 2-quasi-λ-nuclear operators between Normed spaces (λ⊆ l1) to p-quasi-λ-nuclear operators between locally convex spaces (p >0, λ⊆ l∞ ) and we study the relationship between p-quasi-λ-nuclear, nuclear operators, λ-nuclear, quasi-nuclear and quasi-λ- nuclear. Also we prove that the composition of two operators, one of them is a p-quasi-λ-nuclear, is again a p-quasi-λ-nuclear operator. * ﻗﺴﻡ ﺍﻟﺭﻴﺎﻀﻴﺎﺕ – ﻜﻠﻴﺔ ﺍﻟﻌﻠﻭﻡ- ﺠﺎﻤﻌﺔ ﺍﻷﻗﺼﻰ - ﻏﺯﺓ - ﻓﻠﺴﻁﻴﻥ. p-Quasi-λ-Nuclear Operators Between Locally… 1. Preliminary. By Shatanawi [5], the operator T from a normed space E into a normed space F is said to be 2-quasi-λ-nuclear if there is a sequence ()α n ∈ λ ( λ ⊆ l1 ) and a bounded sequence ()an in E ′ such that ∞ 12 ⎛⎞2 Tx≤〈〉∞∀∈⎜⎟∑ |α nn || x , a | < , x E. ⎝⎠n =1 In this paper, we generalize this definition to p-quasi-λ-nuclear operator between locally convex spaces where λ ⊆ l ∞ and p > 0 .
    [Show full text]
  • XILIARY CONCEPTS ASD FACTS IBTERNAL REPOET (.Limited Distribution) 1
    AUXILIARY CONCEPTS ASD FACTS IBTERNAL REPOET (.Limited distribution) 1. If {e } , {h. } are orttLonormal tases in the Hilbert space H, and n n 1 o> , respectively, and X > 0 are the numbers such that the series > X International Atomic Energy Agency n _ / . n •,., and converges, then the formula Af = X (f,e )h defines an operator of the n n n Un'itad nations Educational Scientific and Cultural Organization n = 1 Hirbert-Schmidt type, and defines a nuclear operator vhich maps the space INTEBNATIOtTAL CENTRE FOR THEORETICAL PHYSICS H into if X < => n n = 1 By a nuclear space we mean a locally convex space with the property that every linear continuous map from this space into a Banach space is i [8,9,10] nuclear ' . 2. The inductive limit I ind. * (T ) is defined as follows: We are a« A a a CRITERION FOE THE IUCLEAEITY OF SPACES OF FUNCTIONS given a family {t (T )} of locally compact space, a linear space J and OF INFINITE NUMBER OF VARIABLES * a linear map u : * such that the family {u (4 )} spans the entire space * . The topology T , if $ is defined as the finest locally I.H. Gali ** convex topology such that the maps A. : $ (T } •+ *(T),remains continuous. A International Centre for Theoretical Physics, Trieste, Italy. basis of neighbourhoods of zero may be formed by sets T A(U ), where U are neighbourhoods of zero in $ (T ) . If $(T) is a Hausdorff space, then it is called the inductive limit of the spaces 4 (T ), and the topology T is called the inductive topology.
    [Show full text]
  • Random Linear Functionals
    RANDOM LINEAR FUNCTIONALS BY R. M. DUDLEYS) Let S be a real linear space (=vector space). Let Sa be the linear space of all linear functionals on S (not just continuous ones even if S is topological). Let 86{Sa, S) or @{S) denote the smallest a-algebra of subsets of Sa such that the evaluation x -> x(s) is measurable for each s e S. We define a random linear functional (r.l.f.) over S as a probability measure P on &(S), or more formally as the pair (Sa, P). In the cases we consider, S is generally infinite-dimensional, and in some ways Sa is too large for convenient handling. Various alternate characterizations of r.l.f.'s are useful and will be discussed in §1 below. If 7 is a topological linear space let 7" be the topological dual space of all con- tinuous linear functions on T. If 7" = S, then a random linear functional over S defines a " weak distribution " on 7 in the sense of I. E. Segal [23]. See the discussion of "semimeasures" in §1 below for the relevant construction. A central question about an r.l.f. (Sa, P), supposing S is a topological linear space, is whether P gives outer measure 1 to S'. Then we call the r.l.f. canonical, and as is well known P can be restricted to S' suitably (cf. 2.3 below). For simplicity, suppose that for each s e S, j x(s)2 dP(x) <oo. Let C(s)(x) = x(s).
    [Show full text]
  • MATH 518—Functional Analysis (Winter 2021)
    MATH 518|Functional Analysis (Winter 2021) Volker Runde April 15, 2021 Contents 1 Topological Vector Spaces 2 1.1 A Vector Space That Cannot Be Turned into a Banach Space . 2 1.2 Locally Convex Spaces . 4 1.3 Geometric Consequences of the Hahn{Banach Theorem . 15 1.4 The Krein{Milman Theorem . 25 2 Weak and Weak∗ Topologies 31 2.1 The Weak∗ Topology on the Dual of a Normed Space . 31 2.2 Weak Compactness in Banach Spaces . 37 2.3 Weakly Compact Operators . 40 3 Bases in Banach Spaces 46 3.1 Schauder Bases . 46 3.2 Bases in Classical Banach Spaces . 56 3.3 Unconditional Bases . 66 4 Local Structure and Geometry of Banach Spaces 73 4.1 Finite-dimensional Structure . 73 4.2 Ultraproducts . 78 4.3 Uniform Convexity . 88 4.4 Differentiability of Norms . 94 5 Tensor Products of Banach spaces 101 5.1 The Algebraic Tensor Product . 101 5.2 The Injective Tensor Product . 104 5.3 The Projective Tensor Product . 108 5.4 The Hilbert Space Tensor Product . 111 1 Chapter 1 Topological Vector Spaces 1.1 A Vector Space That Cannot Be Turned into a Banach Space Throughout these notes, we use F to denote a field that can either be the real numbers R or the complex numbers C. Recall that a Banach space is a vector space E over F equipped with a norm k · k, i.e., a normed space, such that every Cauchy sequence in (E; k · k) converges. Examples. 1. Consider the vector space C([0; 1]) := ff : [0; 1] ! F : f is continuousg: The supremum norm on C([0; 1]) is defined to be kfk1 := sup jf(t)j (f 2 C([0; 1])): t2[0;1] It is well known that (C([0; 1]); k · k1) is a Banach space.
    [Show full text]