Bounded Linear Operators

Total Page:16

File Type:pdf, Size:1020Kb

Bounded Linear Operators An introduction to some aspects of functional analysis, 2: Bounded linear operators Stephen Semmes Rice University Abstract These notes are largely concerned with the strong and weak operator topologies on spaces of bounded linear operators, especially on Hilbert spaces, and related matters. Contents I Basic notions 7 1 Norms and seminorms 7 2 ℓp spaces 7 3 Bounded linear mappings 8 4 Dual spaces 9 5 Shift operators 10 6 Arbitrary sequences 11 7 Metrizability 11 8 Completeness 12 9 Continuous extensions 12 10 Uniform boundedness 13 11 Bounded linear mappings, 2 13 12 Separability 14 13 Inner product spaces 14 1 14 Hilbert spaces 16 15 Orthogonal projections 17 16 Orthogonal complements 18 17 Dual spaces, 2 18 18 The Hahn–Banach theorem 18 19 The weak topology 19 20 The weak∗ topology 20 21 Convergence of sequences 21 22 The strong operator topology 22 23 Convergence of sequences, 2 22 24 Shift operators, 2 23 25 Multiplication operators 24 26 The weak operator topology 24 27 Convergence of sequences, 3 25 28 The weak∗ operator topology 26 29 Fourier series 27 30 Adjoints 28 31 Unitary transformations 29 32 Self-adjoint operators 30 33 Nonnegative self-adjoint operators 31 34 Cauchy–Schwarz, revisited 31 35 Continuity of compositions 32 36 Multiplication operators, 2 33 37 Complex Hilbert spaces 34 38 The C∗ identity 34 2 39 Finite-dimensional spaces 35 40 Continuous linear functionals 36 41 Operator topologies, revisited 37 42 Continuous functions 38 43 von Neumann algebras 38 44 Commutants 39 45 Second commutants 39 46 Invertibility 40 47 Positivity 41 48 Invertibility, 2 42 49 Invertibility, 3 44 50 The Hardy space 44 51 Fourier series, 2 46 52 Multiplication on H2 46 53 The Poisson kernel 47 54 Fourier series, 3 49 55 Hardy spaces, continued 49 56 Multiplication, continued 50 57 Convolution on Z 52 58 Convolution on Z, 2 53 59 Convolution on T 54 II Topological groups 56 60 Topological groups 56 61 Locally compact groups 57 3 62 Uniform continuity 57 63 Haar measure 58 64 Convolution, revisited 60 65 Convolution of measures 61 66 Locally compact Hausdorff spaces 63 67 Simple estimates 63 68 Translation operators 65 69 Uniform continuity, 2 66 70 Continuity and convolution 67 71 Convolution operators on C0 67 72 Compactness and σ-compactness 68 73 Equicontinuity 69 74 Locally compact spaces, 2 70 75 Convolution operators on L1 71 76 Simple estimates, 2 72 77 Convolution operators into C0 73 78 L1 and L∞ 74 79 Conjugation by multiplication 75 80 L1 into Lp 76 81 Integral pairings 78 82 Operators on L2 79 83 Dual operators 79 84 Operators on Lp 80 85 Group representations 81 86 Local uniform boundedness 82 4 87 Uniform convexity 83 88 Bounded representations 85 89 Dual representations 86 90 Invertibility, 4 87 91 Uniform continuity, 3 88 92 Invariant subspaces 89 93 Dual subspaces 90 94 Irreducibility 91 95 Vector-valued integration 92 96 Strongly continuous representations 95 97 Dual representations, 2 96 98 Compositions 96 99 Unbounded continuous functions 98 100 Bounded continuous functions 100 101 Discrete sets and groups 102 102 Group algebras 104 III Self-adjoint linear operators 105 103 Self-adjoint operators, 2 105 104 Invertibility and compositions 107 105 A few simple applications 108 106 Polynomials 109 107Nonnegativerealpolynomials 111 108 Polynomials and operators 112 109 Functional calculus 113 5 110 Step functions 114 111Composition of functions 115 112 Step functions, continued 116 113 Algebras of operators 118 114 Irreducibility, 2 118 115 Restriction of scalars 119 116 Quaternions 120 117Real -algebras 121 ∗ 118 Another approach 123 119Finite dimensions 123 120 Multiplication operators, 3 124 121 Measures 125 122Measures, 2 127 123 Complex-valued functions 127 124 Pointwise convergence 128 125 Borel functions 128 126 Approximations 129 127 Densities 131 128 Eigenvalues 131 129 Another limit 132 130 Kernels and projections 134 131 Projections and subspaces 134 132 Sequences of subspaces 135 133Families of subspaces 136 134 The positive square root 137 6 135 Positive self-adjoint part 139 136Polar decompositions 140 References 142 Part I Basic notions 1 Norms and seminorms Let V be a vector space over the real numbers R or the complex numbers C. A nonnegative real-valued function N on V is a seminorm if (1.1) N(t v)= t N(v) | | for every t R or C, as appropriate, and v V , and ∈ ∈ (1.2) N(v + w) N(v)+ N(w) ≤ for every v, w V . Here t denotes the absolute value of t R or the modulus of t C. If also∈ N(v) > 0| | when v = 0, then N is a norm on∈ V . If∈N is a norm on V , then 6 (1.3) d(v, w)= N(v w) − is a metric on V . A collection of seminorms on V will be called nice if for every v V with v = 0 there isN an N such that N(v) > 0. In this case, the topology∈ on V associated6 to is defined∈ N by saying that U V is an open set if for every u U there are finitelyN many seminorms N ,...,N⊆ and ∈ 1 l ∈ N finitely many positive real numbers r1,...,rl such that (1.4) v V : N (u v) < r for j =1,...,l U. { ∈ j − j }⊆ It is easy to see that V is Hausdorff with respect to this topology, and that the vector space operations of addition and scalar multiplication are continuous. 2 ℓp spaces p ∞ Let p be a real number, p 1, and let ℓ be the space of sequences a = aj j=1 of real or complex numbers≥ such that the infinite series { } ∞ (2.1) a p | j | Xj=1 7 converges. It is well known that this is a vector space with respect to termwise addition and scalar multiplication, and that ∞ 1/p (2.2) a = a p k kp | j | Xj=1 defines a norm on this space. Similarly, the space ℓ∞ of bounded sequences of real or complex numbers is a vector space, and (2.3) a = sup a : j 1 k k∞ {| j | ≥ } is a norm on ℓ∞. p If aj = 0 for all but finitely many j, then a is contained in ℓ for each p. Moreover, the space of these sequences is a dense linear subspace of ℓp when ∞ p< . The closure of this space of sequences in ℓ is the space c0 of sequences that∞ converge to 0. p These spaces may also be denoted ℓ (Z+), c0(Z+), where Z+ is the set of positive integers. There are versions of these spaces for doubly-infinite sequences ∞ p a = aj j=−∞ as well, denoted ℓ (Z), c0(Z), where Z is the set of all integers. More{ precisely,} if p < , then ℓp(Z) is the space of doubly-infinite sequences such that ∞ ∞ (2.4) a p | j | j=X−∞ converges, which is the same as saying that ∞ ∞ (2.5) a p, a p | j | | −j | Xj=1 Xj=0 both converge, equipped with the norm ∞ 1/p (2.6) a = a p . k kp | j | j=X−∞ The space ℓ∞(Z) consists of bounded doubly-infinite sequences, with the norm (2.7) a = sup a : j Z . k k∞ {| j| ∈ } As before, the space of doubly-infinite sequences a such that aj 0 as j ∞ → → ±∞ defines a closed linear subspace c0(Z) of ℓ (Z). 3 Bounded linear mappings Let V , W be vector spaces, both real or both complex, and equipped with norms v V , w W , respectively. A linear mapping T : V W is said to be bounded ifk therek k isk an L 0 such that → ≥ (3.1) T (v) L v k kW ≤ k kV 8 for every v V . It is easy to see that bounded linear mappings are continuous and even uniformly∈ continuous with respect to the metrics on V , W associated to their norms. Conversely, a linear mapping is bounded if it is continuous at 0. The operator norm of a bounded linear mapping T : V W is defined by → (3.2) T = sup T (v) : v V, v 1 . k kop {k kW ∈ k kV ≤ } Equivalently, L = T op is the smallest nonnegative real number that satis- fies the previous condition.k k The space (V, W ) of bounded linear mappings from V into W is a vector space with respectBL to pointwise addition and scalar multiplication, and it is easy to see that T defines a norm on this space. k kop Suppose that V1, V2, V3 are vector spaces, all real or all complex, and equipped with norms , , . If T : V V and T : V V are k·k1 k·k2 k·k3 1 1 → 2 2 2 → 3 bounded linear mappings, then their composition T2 T1 : V1 V3 is also a bounded linear mapping, with ◦ → (3.3) T T T T , k 2 ◦ 1kop,13 ≤k 1kop,12 k 2kop,23 where the subscripts indicate the spaces and norms involved. In particular, the space (V )= (V, V ) of bounded linear operators on a real or complex BL BL vector space V with a norm v V is an algebra with respect to composition. Of course, the identity operatorkIkon V has operator norm 1. 4 Dual spaces Let V be a real or complex vector space, equipped with a norm v V . A bounded linear functional on V is a bounded linear mapping from V intok kR or C, using the standard absolute value or modulus as the norm on the latter. The vector space of bounded linear functionals on V is the same as (V, R) or (V, C), and will be denoted V ′.
Recommended publications
  • Differentiation of Operator Functions in Non-Commutative Lp-Spaces B
    ARTICLE IN PRESS Journal of Functional Analysis 212 (2004) 28–75 Differentiation of operator functions in non-commutative Lp-spaces B. de Pagtera and F.A. Sukochevb,Ã a Department of Mathematics, Faculty ITS, Delft University of Technology, P.O. Box 5031, 2600 GA Delft, The Netherlands b School of Informatics and Engineering, Flinders University of South Australia, Bedford Park, 5042 SA, Australia Received 14 May 2003; revised 18 September 2003; accepted 15 October 2003 Communicated by G. Pisier Abstract The principal results in this paper are concerned with the description of differentiable operator functions in the non-commutative Lp-spaces, 1ppoN; associated with semifinite von Neumann algebras. For example, it is established that if f : R-R is a Lipschitz function, then the operator function f is Gaˆ teaux differentiable in L2ðM; tÞ for any semifinite von Neumann algebra M if and only if it has a continuous derivative. Furthermore, if f : R-R has a continuous derivative which is of bounded variation, then the operator function f is Gaˆ teaux differentiable in any LpðM; tÞ; 1opoN: r 2003 Elsevier Inc. All rights reserved. 1. Introduction Given an arbitrary semifinite von Neumann algebra M on the Hilbert space H; we associate with any Borel function f : R-R; via the usual functional calculus, the corresponding operator function a/f ðaÞ having as domain the set of all (possibly unbounded) self-adjoint operators a on H which are affiliated with M: This paper is concerned with the study of the differentiability properties of such operator functions f : Let LpðM; tÞ; with 1pppN; be the non-commutative Lp-space associated with ðM; tÞ; where t is a faithful normal semifinite trace on the von f Neumann algebra M and let M be the space of all t-measurable operators affiliated ÃCorresponding author.
    [Show full text]
  • Surjective Isometries on Grassmann Spaces 11
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repository of the Academy's Library SURJECTIVE ISOMETRIES ON GRASSMANN SPACES FERNANDA BOTELHO, JAMES JAMISON, AND LAJOS MOLNAR´ Abstract. Let H be a complex Hilbert space, n a given positive integer and let Pn(H) be the set of all projections on H with rank n. Under the condition dim H ≥ 4n, we describe the surjective isometries of Pn(H) with respect to the gap metric (the metric induced by the operator norm). 1. Introduction The study of isometries of function spaces or operator algebras is an important research area in functional analysis with history dating back to the 1930's. The most classical results in the area are the Banach-Stone theorem describing the surjective linear isometries between Banach spaces of complex- valued continuous functions on compact Hausdorff spaces and its noncommutative extension for general C∗-algebras due to Kadison. This has the surprising and remarkable consequence that the surjective linear isometries between C∗-algebras are closely related to algebra isomorphisms. More precisely, every such surjective linear isometry is a Jordan *-isomorphism followed by multiplication by a fixed unitary element. We point out that in the aforementioned fundamental results the underlying structures are algebras and the isometries are assumed to be linear. However, descriptions of isometries of non-linear structures also play important roles in several areas. We only mention one example which is closely related with the subject matter of this paper. This is the famous Wigner's theorem that describes the structure of quantum mechanical symmetry transformations and plays a fundamental role in the probabilistic aspects of quantum theory.
    [Show full text]
  • The Nonstandard Theory of Topological Vector Spaces
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 172, October 1972 THE NONSTANDARDTHEORY OF TOPOLOGICAL VECTOR SPACES BY C. WARD HENSON AND L. C. MOORE, JR. ABSTRACT. In this paper the nonstandard theory of topological vector spaces is developed, with three main objectives: (1) creation of the basic nonstandard concepts and tools; (2) use of these tools to give nonstandard treatments of some major standard theorems ; (3) construction of the nonstandard hull of an arbitrary topological vector space, and the beginning of the study of the class of spaces which tesults. Introduction. Let Ml be a set theoretical structure and let *JR be an enlarge- ment of M. Let (E, 0) be a topological vector space in M. §§1 and 2 of this paper are devoted to the elementary nonstandard theory of (F, 0). In particular, in §1 the concept of 0-finiteness for elements of *E is introduced and the nonstandard hull of (E, 0) (relative to *3R) is defined. §2 introduces the concept of 0-bounded- ness for elements of *E. In §5 the elementary nonstandard theory of locally convex spaces is developed by investigating the mapping in *JK which corresponds to a given pairing. In §§6 and 7 we make use of this theory by providing nonstandard treatments of two aspects of the existing standard theory. In §6, Luxemburg's characterization of the pre-nearstandard elements of *E for a normed space (E, p) is extended to Hausdorff locally convex spaces (E, 8). This characterization is used to prove the theorem of Grothendieck which gives a criterion for the completeness of a Hausdorff locally convex space.
    [Show full text]
  • Introduction to Operator Spaces
    Lecture 1: Introduction to Operator Spaces Zhong-Jin Ruan at Leeds, Monday, 17 May , 2010 1 Operator Spaces A Natural Quantization of Banach Spaces 2 Banach Spaces A Banach space is a complete normed space (V/C, k · k). In Banach spaces, we consider Norms and Bounded Linear Maps. Classical Examples: ∗ C0(Ω),M(Ω) = C0(Ω) , `p(I),Lp(X, µ), 1 ≤ p ≤ ∞. 3 Hahn-Banach Theorem: Let V ⊆ W be Banach spaces. We have W ↑ & ϕ˜ ϕ V −−−→ C with kϕ˜k = kϕk. It follows from the Hahn-Banach theorem that for every Banach space (V, k · k) we can obtain an isometric inclusion (V, k · k) ,→ (`∞(I), k · k∞) ∗ ∗ where we may choose I = V1 to be the closed unit ball of V . So we can regard `∞(I) as the home space of Banach spaces. 4 Classical Theory Noncommutative Theory `∞(I) B(H) Banach Spaces Operator Spaces (V, k · k) ,→ `∞(I)(V, ??) ,→ B(H) norm closed subspaces of B(H)? 5 Matrix Norm and Concrete Operator Spaces [Arveson 1969] Let B(H) denote the space of all bounded linear operators on H. For each n ∈ N, n H = H ⊕ · · · ⊕ H = {[ξj]: ξj ∈ H} is again a Hilbert space. We may identify ∼ Mn(B(H)) = B(H ⊕ ... ⊕ H) by letting h i h i X Tij ξj = Ti,jξj , j and thus obtain an operator norm k · kn on Mn(B(H)). A concrete operator space is norm closed subspace V of B(H) together with the canonical operator matrix norm k · kn on each matrix space Mn(V ).
    [Show full text]
  • Functional Analysis Lecture Notes Chapter 2. Operators on Hilbert Spaces
    FUNCTIONAL ANALYSIS LECTURE NOTES CHAPTER 2. OPERATORS ON HILBERT SPACES CHRISTOPHER HEIL 1. Elementary Properties and Examples First recall the basic definitions regarding operators. Definition 1.1 (Continuous and Bounded Operators). Let X, Y be normed linear spaces, and let L: X Y be a linear operator. ! (a) L is continuous at a point f X if f f in X implies Lf Lf in Y . 2 n ! n ! (b) L is continuous if it is continuous at every point, i.e., if fn f in X implies Lfn Lf in Y for every f. ! ! (c) L is bounded if there exists a finite K 0 such that ≥ f X; Lf K f : 8 2 k k ≤ k k Note that Lf is the norm of Lf in Y , while f is the norm of f in X. k k k k (d) The operator norm of L is L = sup Lf : k k kfk=1 k k (e) We let (X; Y ) denote the set of all bounded linear operators mapping X into Y , i.e., B (X; Y ) = L: X Y : L is bounded and linear : B f ! g If X = Y = X then we write (X) = (X; X). B B (f) If Y = F then we say that L is a functional. The set of all bounded linear functionals on X is the dual space of X, and is denoted X0 = (X; F) = L: X F : L is bounded and linear : B f ! g We saw in Chapter 1 that, for a linear operator, boundedness and continuity are equivalent.
    [Show full text]
  • Linear Operators and Adjoints
    Chapter 6 Linear operators and adjoints Contents Introduction .......................................... ............. 6.1 Fundamentals ......................................... ............. 6.2 Spaces of bounded linear operators . ................... 6.3 Inverseoperators.................................... ................. 6.5 Linearityofinverses.................................... ............... 6.5 Banachinversetheorem ................................. ................ 6.5 Equivalenceofspaces ................................. ................. 6.5 Isomorphicspaces.................................... ................ 6.6 Isometricspaces...................................... ............... 6.6 Unitaryequivalence .................................... ............... 6.7 Adjoints in Hilbert spaces . .............. 6.11 Unitaryoperators ...................................... .............. 6.13 Relations between the four spaces . ................. 6.14 Duality relations for convex cones . ................. 6.15 Geometric interpretation of adjoints . ............... 6.15 Optimization in Hilbert spaces . .............. 6.16 Thenormalequations ................................... ............... 6.16 Thedualproblem ...................................... .............. 6.17 Pseudo-inverseoperators . .................. 6.18 AnalysisoftheDTFT ..................................... ............. 6.21 6.1 Introduction The field of optimization uses linear operators and their adjoints extensively. Example. differentiation, convolution, Fourier transform,
    [Show full text]
  • 18.102 Introduction to Functional Analysis Spring 2009
    MIT OpenCourseWare http://ocw.mit.edu 18.102 Introduction to Functional Analysis Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 108 LECTURE NOTES FOR 18.102, SPRING 2009 Lecture 19. Thursday, April 16 I am heading towards the spectral theory of self-adjoint compact operators. This is rather similar to the spectral theory of self-adjoint matrices and has many useful applications. There is a very effective spectral theory of general bounded but self- adjoint operators but I do not expect to have time to do this. There is also a pretty satisfactory spectral theory of non-selfadjoint compact operators, which it is more likely I will get to. There is no satisfactory spectral theory for general non-compact and non-self-adjoint operators as you can easily see from examples (such as the shift operator). In some sense compact operators are ‘small’ and rather like finite rank operators. If you accept this, then you will want to say that an operator such as (19.1) Id −K; K 2 K(H) is ‘big’. We are quite interested in this operator because of spectral theory. To say that λ 2 C is an eigenvalue of K is to say that there is a non-trivial solution of (19.2) Ku − λu = 0 where non-trivial means other than than the solution u = 0 which always exists. If λ =6 0 we can divide by λ and we are looking for solutions of −1 (19.3) (Id −λ K)u = 0 −1 which is just (19.1) for another compact operator, namely λ K: What are properties of Id −K which migh show it to be ‘big? Here are three: Proposition 26.
    [Show full text]
  • Curl, Divergence and Laplacian
    Curl, Divergence and Laplacian What to know: 1. The definition of curl and it two properties, that is, theorem 1, and be able to predict qualitatively how the curl of a vector field behaves from a picture. 2. The definition of divergence and it two properties, that is, if div F~ 6= 0 then F~ can't be written as the curl of another field, and be able to tell a vector field of clearly nonzero,positive or negative divergence from the picture. 3. Know the definition of the Laplace operator 4. Know what kind of objects those operator take as input and what they give as output. The curl operator Let's look at two plots of vector fields: Figure 1: The vector field Figure 2: The vector field h−y; x; 0i: h1; 1; 0i We can observe that the second one looks like it is rotating around the z axis. We'd like to be able to predict this kind of behavior without having to look at a picture. We also promised to find a criterion that checks whether a vector field is conservative in R3. Both of those goals are accomplished using a tool called the curl operator, even though neither of those two properties is exactly obvious from the definition we'll give. Definition 1. Let F~ = hP; Q; Ri be a vector field in R3, where P , Q and R are continuously differentiable. We define the curl operator: @R @Q @P @R @Q @P curl F~ = − ~i + − ~j + − ~k: (1) @y @z @z @x @x @y Remarks: 1.
    [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]
  • 5 Toeplitz Operators
    2008.10.07.08 5 Toeplitz Operators There are two signal spaces which will be important for us. • Semi-infinite signals: Functions x ∈ ℓ2(Z+, R). They have a Fourier transform g = F x, where g ∈ H2; that is, g : D → C is analytic on the open unit disk, so it has no poles there. • Bi-infinite signals: Functions x ∈ ℓ2(Z, R). They have a Fourier transform g = F x, where g ∈ L2(T). Then g : T → C, and g may have poles both inside and outside the disk. 5.1 Causality and Time-invariance Suppose G is a bounded linear map G : ℓ2(Z) → ℓ2(Z) given by yi = Gijuj j∈Z X where Gij are the coefficients in its matrix representation. The map G is called time- invariant or shift-invariant if it is Toeplitz , which means Gi−1,j = Gi,j+1 that is G is constant along diagonals from top-left to bottom right. Such matrices are convolution operators, because they have the form ... a0 a−1 a−2 a1 a0 a−1 a−2 G = a2 a1 a0 a−1 a2 a1 a0 ... Here the box indicates the 0, 0 element, since the matrix is indexed from −∞ to ∞. With this matrix, we have y = Gu if and only if yi = ai−juj k∈Z X We say G is causal if the matrix G is lower triangular. For example, the matrix ... a0 a1 a0 G = a2 a1 a0 a3 a2 a1 a0 ... 1 5 Toeplitz Operators 2008.10.07.08 is both causal and time-invariant.
    [Show full text]
  • A Note on Riesz Spaces with Property-$ B$
    Czechoslovak Mathematical Journal Ş. Alpay; B. Altin; C. Tonyali A note on Riesz spaces with property-b Czechoslovak Mathematical Journal, Vol. 56 (2006), No. 2, 765–772 Persistent URL: http://dml.cz/dmlcz/128103 Terms of use: © Institute of Mathematics AS CR, 2006 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 56 (131) (2006), 765–772 A NOTE ON RIESZ SPACES WITH PROPERTY-b S¸. Alpay, B. Altin and C. Tonyali, Ankara (Received February 6, 2004) Abstract. We study an order boundedness property in Riesz spaces and investigate Riesz spaces and Banach lattices enjoying this property. Keywords: Riesz spaces, Banach lattices, b-property MSC 2000 : 46B42, 46B28 1. Introduction and preliminaries All Riesz spaces considered in this note have separating order duals. Therefore we will not distinguish between a Riesz space E and its image in the order bidual E∼∼. In all undefined terminology concerning Riesz spaces we will adhere to [3]. The notions of a Riesz space with property-b and b-order boundedness of operators between Riesz spaces were introduced in [1]. Definition. Let E be a Riesz space. A set A E is called b-order bounded in ⊂ E if it is order bounded in E∼∼. A Riesz space E is said to have property-b if each subset A E which is order bounded in E∼∼ remains order bounded in E.
    [Show full text]
  • 1 Lecture 09
    Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let's recall the conception of \equicontinuity" for family of functions that we learned in classical analysis: A family of continuous functions defined on a region Ω, Λ = ffαg ⊂ C(Ω); is called an equicontinuous family if 8 > 0; 9δ > 0 such that for any x1; x2 2 Ω with jx1 − x2j < δ; and for any fα 2 Λ, we have jfα(x1) − fα(x2)j < . This conception of equicontinuity can be easily generalized to maps between topological vector spaces. For simplicity we only consider linear maps between topological vector space , in which case the continuity (and in fact the uniform continuity) at an arbitrary point is reduced to the continuity at 0. Definition 1.1. Let X; Y be topological vector spaces, and Λ be a family of continuous linear operators. We say Λ is an equicontinuous family if for any neighborhood V of 0 in Y , there is a neighborhood U of 0 in X, such that L(U) ⊂ V for all L 2 Λ. Remark 1.2. Equivalently, this means if x1; x2 2 X and x1 − x2 2 U, then L(x1) − L(x2) 2 V for all L 2 Λ. Remark 1.3. If Λ = fLg contains only one continuous linear operator, then it is always equicontinuous. 1 If Λ is an equicontinuous family, then each L 2 Λ is continuous and thus bounded. In fact, this boundedness is uniform: Proposition 1.4. Let X,Y be topological vector spaces, and Λ be an equicontinuous family of linear operators from X to Y .
    [Show full text]