DOCSLIB.ORG

Restricted Uniform Boundedness in Banach Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Restricted Uniform Boundedness in Banach Spaces RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MARTÄ POLDVERE~ Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of bounded linear functionals on X are uniformly bounded. In this paper, we study such conditions under the extra assumption that the functionals belong to a given linear subspace ¡ of X¤. When ¡ = X¤, these conditions are known to be the same ones assuring a bounded linear operator into X, having A in its image, to be onto. We prove that, for A, deciding uniform boundedness of sequences in ¡ is the same property as deciding surjectivity for certain classes of operators. 1. Introduction Let X be a real or complex Banach space, let ¡ be a linear subspace of the dual space X¤, and let A be a subset of X. We shall say that the set A is ¡-boundedness deciding if every pointwise bounded on A family F ½ ¡ is pointwise bounded on the whole of X (and thus norm bounded). Note that, in this de¯nition, we may assume the families F to be sequences. Two natural situations are when ¡ = X¤ or when the space X is a dual, say X = Z¤ for some Banach space Z and ¡ = Z, in which cases boundedness- decidingness is well understood. The key concepts in these cases, respectively, are the notions of thickness and weak¤-thickness (which resemble the second Baire cat- egory) introduced by Kadets and Fonf [KF]. Recall that a set B ½ X (respectively, B ½ X = Z¤) is said to be norming (respectively, weak¤-norming) if inf sup jx¤(x)j > 0 (respectively, inf sup jz¤(z)j > 0); ¤ x 2SX¤ x2B z2SZ z¤2B or, equivalently, if the closed (respectively, weak¤-closed) absolutely convex hull of B contains a ball; otherwise B is said to be non-norming (respectively, weak¤- non-norming). The set A is said to be thick (respectively, weak¤-thick) if it can not be represented as a non-decreasing union of non-norming (respectively, weak¤- non-norming) sets; otherwise A is said to be thin (respectively, weak¤-thin). We refer to the survey article [N2] for detailed sources of the following two omnibus-theorems. Theorem 1.1. Let A be a subset of a Banach space X. The following assertions are equivalent. (a) The set A is thick. (b) Whenever a sequence of functionals in the dual space X¤ is pointwise bounded on A, then this sequence is norm bounded (i.e., A is X¤-boundedness de- ciding). 2000 Mathematics Subject Classi¯cation. 46B20, 46A30. Key words and phrases. Uniform boundedness, thick set, boundedness deciding set. The second named author was supported by Estonian Science Foundation Grant 7308. 1 2 O. NYGAARD AND M. POLDVERE~ (b)~ Whenever a family of continuous linear operators from the space X to some Banach space is pointwise bounded on A, then this family is norm bounded. (c) Whenever Y is a Banach space and T : Y ! X is a continuous linear operator such that T [Y ] ⊃ A, then T [Y ] = X. (~c) Whenever Y is a Banach space and T : Y ! X is a continuous linear injection with T [BY ] being a closed set such that T [Y ] ⊃ A, then T [Y ] = X. (d) Whenever (­; §; ¹) is a measure space and an essentially separably valued ¤ function g : ­ ! X is such that a ± g 2 L1(¹) for every a 2 A, then x ± g 2 L1(¹) for every x 2 X. (e) The linear span of A is dense and barrelled. Theorem 1.2. Let Z be a Banach space and let A be a subset of the dual space Z¤. The following assertions are equivalent. (a) The set A is weak¤-thick. (b) Whenever a sequence of elements of the space Z is pointwise bounded on A, then this sequence is norm bounded (i.e., A is Z-boundedness deciding). (b)~ Whenever a family of dual continuous linear operators from Z¤ to some dual Banach space Y ¤ is pointwise bounded on A, then this family is norm bounded. (c) Whenever Y is a Banach space and T : Z ! Y is a continuous linear operator such that T ¤[Y ¤] ⊃ A, then T ¤[Y ¤] = Z¤. (d) Whenever (­; §; ¹) is a measure space and an essentially separably valued function g : ­ ! Z is such that a ± g 2 L1(¹) for every a 2 A, then ¤ ¤ ¤ z ± g 2 L1(¹) for every z 2 Z . ~ P1 P1 (d) Whenever a series j=1 zj in Z is such that j=1 ja(zj)j < 1 for ev- ery a 2 A, then this series is weakly unconditionally Cauchy, that is, P1 ¤ ¤ ¤ j=1 jz (zj)j < 1 for every z 2 Z . The objective of this paper is to create a concept | ¡-thickness | which contains both thickness and weak¤-thickness, and to show how the equivalences (a){(d) of both Theorems 1.1 and 1.2 can be formulated in a uni¯ed setting. In Section 2, we generalize the equivalences of Theorems 1.1 and 1.2 involving thickness and boundedness to Theorem 2.6 giving the equivalence of ¡-thickness and ¡-boundedness decidingness. It follows that if ¡1 and ¡2 are linear subspaces of ¤ X , then ¡1-thickness and ¡2-thickness are the same if and only if the norm closures ¤ of ¡1 and ¡2 coincide. It also follows that ¡-thickness it just weak -thickness in another setting (Corollary 2.9) and thus the equivalence of ¡-thickness and certain integrability decidingness readily follows from Theorem 1.2. In Section 3, our focus will be on formulating theorems that contain as particular cases the equivalences between thickness and surjectivity in Theorems 1.1 and 1.2. Our notation is mostly standard. The closed unit ball and the unit sphere of a Banach space X, and the natural embedding into the bidual X¤¤ are denoted, respectively, by BX and SX , and jX . For a set A ½ X, we denote by span(A) the linear span of A, and by absconv(A) its absolutely convex hull. If Y is a Banach space (over the same scalar ¯eld as X), then L(Y; X) will stand for the Banach space of continuous linear operators from Y to X. If some subsets An ½ X, n 2 N, are such that A1 ½ A2 ½ A3 ½ :::, then, for their union, we sometimes write S1 n=1 An ". RESTRICTED UNIFORM BOUNDEDNESS 3 2. Thick and thin sets, boundedness, and integrability Throughout the section, X will be a Banach space and ¡ a linear subspace of X¤. We shall write ¿ for the weak topology σ(X; ¡) on X. In this situation, one has (X; ¿)¤ = ¡ (see, e.g, [M, page 207, Theorem 2.4.11]). Let us ¯rst de¯ne the main concepts we shall need. We shall say that a subset B ½ X is ¡-norming if © ¤ ¤ ª inf sup jx (x)j: x 2 SX¤ \ ¡ > 0: x2B The set B will be said to be ¡-non-norming if it is not ¡-norming. We shall say that a set A ½ X is ¡-thick if it can not be represented as a non-decreasing countable S1 union of ¡-non-norming sets, i.e., whenever A = n=1 An ", then, for some m 2 N, the set Am is ¡-norming. The set A will be said to be ¡-thin if it is not ¡-thick. Remark 2.1. Note that a subset of X is ¡-norming if and only if its absolutely convex hull is ¡-norming. Remark 2.2. Note that a bounded subset of X is ¡-norming if and only if it is ¡-norming (norm-closure in X¤). Remark 2.3. Suppose that A is ¡-thin. Then it can be represented as A = S1 n=1 An ", where the An, n 2 N, are ¡-non-norming sets. One also has A = S1 n=1 An \ nBX ". Thus, a ¡-thin set can be represented as a countable non- decreasing union of norm-bounded ¡-non-norming sets. The following lemma is a simple application of the Hahn-Banach separation theorem in the locally convex space (X; ¿). It will be used extensively throughout the paper. Lemma 2.4. A subset B of X is ¡-norming if and only if there exists some ± > 0 ¿ such that absconv (B) ⊃ ±BX . ¿ ¤ Proof. If absconv (B) ⊃ ±BX and x 2 SX¤ \ ¡, then © ¿ ª sup jx¤(x)j = sup jx¤(x)j: x 2 absconv (B) ¸ sup jx¤(x)j = ±: x2B x2±BX ¿ 1 Conversely, if, for every n 2 N, one has absconv (B) 6⊃ n BX , then there is a 1 1 ¿ sequence (xn)n=1 ½ X such that kxnk · n and xn 62 absconv (B) for all n 2 N. By the Hahn-Banach separation theorem (see, e.g, [M, page 180, Theorem 2.2.28] ¤ ¤ for its possibly non-Hausdor® version), for each n 2 N, there is an xn 2 (X; ¿) = ¡ ¤ with kxnk = 1 such that ¤ © ¤ ¿ ª Re xn(xn) > sup Re xn(x): x 2 absconv (B) © ¤ ¿ ª ¤ = sup jxn(x)j: x 2 absconv (B) = sup jxn(x)j x2B 1 ¤ ¤ ¤ and thus n > supx2B jxn(x)j. The latter clearly implies that inffsupx2B jx (x)j: x 2 SX¤ \ ¡g = 0. ¤ A better result than Remark 2.1 follows. ¿ Corollary 2.5. A subset B of X is ¡-norming if and only if absconv (B) is ¡- norming. 4 O. NYGAARD AND M. POLDVERE~ We now arrive at a generalization of the equivalences (a),(b) of Theorems 1.1 and 1.2. Theorem 2.6. Let A ½ X. The following assertions are equivalent. (a) The set A is ¡-thick. (b) The set A is ¡-boundedness deciding.
Load more

Recommended publications
  • Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences
    Fundamentals of Functional Analysis Kluwer Texts in the Mathematical Sciences VOLUME 12 A Graduate-Level Book Series The titles published in this series are listed at the end of this volume. Fundamentals of Functional Analysis by S. S. Kutateladze Sobolev Institute ofMathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia Springer-Science+Business Media, B.V. A C.I.P. Catalogue record for this book is available from the Library of Congress ISBN 978-90-481-4661-1 ISBN 978-94-015-8755-6 (eBook) DOI 10.1007/978-94-015-8755-6 Translated from OCHOBbI Ij)YHK~HOHaJIl>HODO aHaJIHsa. J/IS;l\~ 2, ;l\OIIOJIHeHHoe., Sobo1ev Institute of Mathematics, Novosibirsk, © 1995 S. S. Kutate1adze Printed on acid-free paper All Rights Reserved © 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1996. Softcover reprint of the hardcover 1st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner. Contents Preface to the English Translation ix Preface to the First Russian Edition x Preface to the Second Russian Edition xii Chapter 1. An Excursion into Set Theory 1.1. Correspondences . 1 1.2. Ordered Sets . 3 1.3. Filters . 6 Exercises . 8 Chapter 2. Vector Spaces 2.1. Spaces and Subspaces ... ......................... 10 2.2. Linear Operators . 12 2.3. Equations in Operators ........................ .. 15 Exercises . 18 Chapter 3. Convex Analysis 3.1.
    [Show full text]
  • Functional Analysis 1 Winter Semester 2013-14
    Functional analysis 1 Winter semester 2013-14 1. Topological vector spaces Basic notions. Notation. (a) The symbol F stands for the set of all reals or for the set of all complex numbers. (b) Let (X; τ) be a topological space and x 2 X. An open set G containing x is called neigh- borhood of x. We denote τ(x) = fG 2 τ; x 2 Gg. Definition. Suppose that τ is a topology on a vector space X over F such that • (X; τ) is T1, i.e., fxg is a closed set for every x 2 X, and • the vector space operations are continuous with respect to τ, i.e., +: X × X ! X and ·: F × X ! X are continuous. Under these conditions, τ is said to be a vector topology on X and (X; +; ·; τ) is a topological vector space (TVS). Remark. Let X be a TVS. (a) For every a 2 X the mapping x 7! x + a is a homeomorphism of X onto X. (b) For every λ 2 F n f0g the mapping x 7! λx is a homeomorphism of X onto X. Definition. Let X be a vector space over F. We say that A ⊂ X is • balanced if for every α 2 F, jαj ≤ 1, we have αA ⊂ A, • absorbing if for every x 2 X there exists t 2 R; t > 0; such that x 2 tA, • symmetric if A = −A. Definition. Let X be a TVS and A ⊂ X. We say that A is bounded if for every V 2 τ(0) there exists s > 0 such that for every t > s we have A ⊂ tV .
    [Show full text]
  • HYPERCYCLIC SUBSPACES in FRÉCHET SPACES 1. Introduction
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 134, Number 7, Pages 1955–1961 S 0002-9939(05)08242-0 Article electronically published on December 16, 2005 HYPERCYCLIC SUBSPACES IN FRECHET´ SPACES L. BERNAL-GONZALEZ´ (Communicated by N. Tomczak-Jaegermann) Dedicated to the memory of Professor Miguel de Guzm´an, who died in April 2004 Abstract. In this note, we show that every infinite-dimensional separable Fr´echet space admitting a continuous norm supports an operator for which there is an infinite-dimensional closed subspace consisting, except for zero, of hypercyclic vectors. The family of such operators is even dense in the space of bounded operators when endowed with the strong operator topology. This completes the earlier work of several authors. 1. Introduction and notation Throughout this paper, the following standard notation will be used: N is the set of positive integers, R is the real line, and C is the complex plane. The symbols (mk), (nk) will stand for strictly increasing sequences in N.IfX, Y are (Hausdorff) topological vector spaces (TVSs) over the same field K = R or C,thenL(X, Y ) will denote the space of continuous linear mappings from X into Y , while L(X)isthe class of operators on X,thatis,L(X)=L(X, X). The strong operator topology (SOT) in L(X) is the one where the convergence is defined as pointwise convergence at every x ∈ X. A sequence (Tn) ⊂ L(X, Y )issaidtobeuniversal or hypercyclic provided there exists some vector x0 ∈ X—called hypercyclic for the sequence (Tn)—such that its orbit {Tnx0 : n ∈ N} under (Tn)isdenseinY .
    [Show full text]
  • Functional Analysis and Optimization
    Functional Analysis and Optimization Kazufumi Ito∗ November 29, 2016 Abstract In this monograph we develop the function space method for optimization problems and operator equations in Banach spaces. Optimization is the one of key components for mathematical modeling of real world problems and the solution method provides an accurate and essential description and validation of the mathematical model. Op- timization problems are encountered frequently in engineering and sciences and have widespread practical applications.In general we optimize an appropriately chosen cost functional subject to constraints. For example, the constraints are in the form of equal- ity constraints and inequality constraints. The problem is casted in a function space and it is important to formulate the problem in a proper function space framework in order to develop the accurate theory and the effective algorithm. Many of the constraints for the optimization are governed by partial differential and functional equations. In order to discuss the existence of optimizers it is essential to develop a comprehensive treatment of the constraints equations. In general the necessary optimality condition is in the form of operator equations. Non-smooth optimization becomes a very basic modeling toll and enlarges and en- hances the applications of the optimization method in general. For example, in the classical variational formulation we analyze the non Newtonian energy functional and nonsmooth friction penalty. For the imaging/signal analysis the sparsity optimization is used by means of L1 and TV regularization. In order to develop an efficient solu- tion method for large scale optimizations it is essential to develop a set of necessary conditions in the equation form rather than the variational inequality.
    [Show full text]
  • A Characterisation of C*-Algebras 449
    Proceedings of the Edinburgh Mathematical Society (1987) 30, 445-4S3 © A CHARACTERISATION OF C-ALGEBRAS by M. A. HENNINGS (Received 24th March 1986, revised 10th June 1986) 1. Introduction It is of some interest to the theory of locally convex "-algebras to know under what conditions such an algebra A is a pre-C*-algebra (the topology of A can be described by a submultiplicative norm such that ||x*x|| = ||x||2,Vx6/l). We recall that a locally convex ""-algebra is a complex *-algebra A with the structure of a Hausdorff locally convex topological vector space such that the multiplication is separately continuous, and the involution is continuous. Allan [3] has studied the problem for normed algebras, showing that a unital Banach •-algebra is a C*-algebra if and only if A is symmetric and the set 3B of all absolutely convex hermitian idempotent closed bounded subsets of A has a maximal element. Recalling that an element x of a locally convex algebra A is bounded if there exists A > 0 such that the set {(lx)":neN} is bounded, we find the following simple generalisation of Allan's result: Proposition 0. A unital locally convex *'-algebra A is a C'-algebra if and only if: (a) A is sequentially complete; (b) A is barreled; (c) every element of A is bounded; (d) A is symmetric; (e) the family 38 of absolutely convex hermitian idempotent closed bounded subsets of A has a maximal element Bo. Proof. For any x = x* in A, we can find X > 0 such that the closed absolutely convex hull of the set {(/bc)":ne^J} is contained in Bo.
    [Show full text]
  • Saturating Constructions for Normed Spaces II
    Saturating Constructions for Normed Spaces II Stanislaw J. Szarek∗ Nicole Tomczak-Jaegermann† Abstract We prove several results of the following type: given finite dimensional normed space V possessing certain geometric property there exists another space X hav- ing the same property and such that (1) log dim X = O(log dim V ) and (2) ev- ery subspace of X, whose dimension is not “too small,” contains a further well- complemented subspace nearly isometric to V . This sheds new light on the struc- ture of large subspaces or quotients of normed spaces (resp., large sections or lin- ear images of convex bodies) and provides definitive solutions to several problems stated in the 1980s by V. Milman. 1 Introduction This paper continues the study of the saturation phenomenon that was dis- covered in [ST] and of the effect it has on our understanding of the structure of high-dimensional normed spaces and convex bodies. In particular, we ob- tain here a dichotomy-type result which offers a near definitive treatment of some aspects of the phenomenon. We sketch first some background ideas and hint on the broader motivation explaining the interest in the subject. Much of geometric functional analysis revolves around the study of the family of subspaces (or, dually, of quotients) of a given Banach space. In the finite dimensional case this has a clear geometric interpretation: a normed space is determined by its unit ball, a centrally symmetric convex body, subspaces correspond to sections of that body, and quotients to projections (or, more generally, linear images). Such considerations are very natural from the geometric or linear-algebraic point of view, but they also have a ∗Supported in part by a grant from the National Science Foundation (U.S.A.).
    [Show full text]
  • The Generalized Minkowski Functional with Applications in Approximation Theory
    Journal of Convex Analysis Volume 11 (2004), No. 2, 303–334 The Generalized Minkowski Functional with Applications in Approximation Theory Szil´ardGy. R´ev´esz£ A. R´enyiInstitute of Mathematics, Hungarian Academy of Sciences, Budapest, P.O.B. 127, 1364 Hungary [email protected] Yannis Sarantopoulos National Technical University, School of Applied Mathematical and Physical Sciences, Department of Mathematics, Zografou Campus, 157 80 Athens, Greece [email protected] Received June 26, 2003 Revised manuscript received January 26, 2004 We give a systematic and thorough study of geometric notions and results connected to Minkowski's mea- sure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any (real) normed space X. Although many of the notions and results we treat in this paper can be found elsewhere in the literature, they are scattered and possibly hard to find. Further, we are not aware of a systematic study of this kind and we feel that several features, connections and properties – e.g. the connections between many equivalent formulations – are new, more general and they are put in a better perspective now. In particular, we prove a number of fundamental properties of the extended Minkowski functional «(K; x), including convexity, global Lipschitz boundedness, linear growth and approximation of the classical Minkowski functional of the central symmetrization of the body K. Our aim is to present how in the recent years these notions proved to be surprisingly
    [Show full text]
  • Functional Analysis — Exercises∗ Part 2: Basic Properties of Bounded Operators; the Hahn–Banach Theorem; Minkowski Functionals; Separation Theorems
    Functional analysis — Exercises∗ Part 2: Basic properties of bounded operators; The Hahn–Banach theorem; Minkowski functionals; separation theorems Note that whenever we do not mention the scalar field you should work with both real and complex case (usually, it does not make any difference). Of course, considering any linear operator/functional between two vector spaces, we assume them to be over the same scalar field. Problem 2.1. For a given normed space X and a functional ϕ ∈ X∗, determine kϕk. ∞ X xn (a) X = `2, ϕ(x1, x2,...) = n=1 n ∞ X xn (b) X = c0, ϕ(x1, x2,...) = 2 n=1 n N X xk −1 −1 (c) X = `p, ϕ(x1, x2,...) = 1/q (N ∈ N, 1 < p, q < ∞, p + q = 1) k=1 N ∞ X (d) X = `1, ϕ(x1, x2,...) = (x2n−1 − 3x2n) n=1 Problem 2.2. For a given subspace M of a normed space X, decide whether M is a closed hyperplane (i.e. a closed subspace of codimension 1). If so, find a functional x∗ ∈ X∗ for which ker x∗ = M. (a) X = c, M = c0 ∞ ∞ X (b) X = `1, M = (xn)n=1 ∈ `1 : xn = 2x1 n=2 n o (c) X = C[0, 2], M = f ∈ C[0, 2]: f(1) = f(2) Z 1 Z 1 (d) X = C[−1, 1], M = f ∈ C[−1, 1]: f(t) dt = f(t) dt 0 −1 Problem 2.3. Consider a linear endomorphism T acting on the real vector space R2 and defined by x − y x + y T (x, y) = , .
    [Show full text]
  • Topological Vector Spaces
    An introduction to some aspects of functional analysis, 3: Topological vector spaces Stephen Semmes Rice University Abstract In these notes, we give an overview of some aspects of topological vector spaces, including the use of nets and filters. Contents 1 Basic notions 3 2 Translations and dilations 4 3 Separation conditions 4 4 Bounded sets 6 5 Norms 7 6 Lp Spaces 8 7 Balanced sets 10 8 The absorbing property 11 9 Seminorms 11 10 An example 13 11 Local convexity 13 12 Metrizability 14 13 Continuous linear functionals 16 14 The Hahn–Banach theorem 17 15 Weak topologies 18 1 16 The weak∗ topology 19 17 Weak∗ compactness 21 18 Uniform boundedness 22 19 Totally bounded sets 23 20 Another example 25 21 Variations 27 22 Continuous functions 28 23 Nets 29 24 Cauchy nets 30 25 Completeness 32 26 Filters 34 27 Cauchy filters 35 28 Compactness 37 29 Ultrafilters 38 30 A technical point 40 31 Dual spaces 42 32 Bounded linear mappings 43 33 Bounded linear functionals 44 34 The dual norm 45 35 The second dual 46 36 Bounded sequences 47 37 Continuous extensions 48 38 Sublinear functions 49 39 Hahn–Banach, revisited 50 40 Convex cones 51 2 References 52 1 Basic notions Let V be a vector space over the real or complex numbers, and suppose that V is also equipped with a topological structure. In order for V to be a topological vector space, we ask that the topological and vector spaces structures on V be compatible with each other, in the sense that the vector space operations be continuous mappings.
    [Show full text]
  • A Geometric Construction of the M-Space 77
    A GEOMETRIC CONSTRUCTION OF THE M-SPACE CONJUGATE TO AN i-SPACE1 CHRIS C. BRAUNSCHWEIGER 1. Introduction. In a previous paper [3] the author described a geometric construction of (abstract) i-spaces based upon the char- acterization of such spaces by R. E. Fullerton [6]. The construction to be introduced here is analogously motivated by the geometric characterization of C-spaces given by J. A. Clarkson [4]. Clarkson showed that the unit sphere in a C-space is the intersection of a trans- late of the positive cone with the negative of that translate. Letting C denote the positive cone of an L-space X with P-unit e we will show that the space of all points lying on rays from the origin © through the set S = (C —e)C\(e — C), when given an appropriate norm and partial ordering, is an M-space with unit element e and unit sphere 5 and is lattice isomorphic and isometric to the space L°° (A, m) conjugate to the concrete representation L(Q, m) of X. To do this we rely heavily upon the results in the classic papers of S. Kaku- tani [7, 8]. 2. Preliminaries. Let X be a real Banach space with norm ||x|| and additive identity element © which is a linear lattice under the partial ordering relation x^y (cf. G. Birkhoff [2]). Let x\/y and xAy denote the lattice least upper bound and greatest lower bound, respectively, of the elements x, yEX. S. Kakutani [8] calls such a space an (abstract) M-space if, in addition, the following conditions are satisfied: (K.7) xn ^ yn, \\x„ — x\\ —>0, ||y„ — y\\ —»0 imply x ^ y.
    [Show full text]
  • Functional Analysis
    Functional Analysis Lecture Notes of Winter Semester 2017/18 These lecture notes are based on my course from winter semester 2017/18. I kept the results discussed in the lectures (except for minor corrections and improvements) and most of their numbering. Typi- cally, the proofs and calculations in the notes are a bit shorter than those given in class. The drawings and many additional oral remarks from the lectures are omitted here. On the other hand, the notes con- tain a couple of proofs (mostly for peripheral statements) and very few results not presented during the course. With `Analysis 1{4' I refer to the class notes of my lectures from 2015{17 which can be found on my webpage. Occasionally, I use concepts, notation and standard results of these courses without further notice. I am happy to thank Bernhard Konrad, J¨orgB¨auerle and Johannes Eilinghoff for their careful proof reading of my lecture notes from 2009 and 2011. Karlsruhe, May 25, 2020 Roland Schnaubelt Contents Chapter 1. Banach spaces2 1.1. Basic properties of Banach and metric spaces2 1.2. More examples of Banach spaces 20 1.3. Compactness and separability 28 Chapter 2. Continuous linear operators 38 2.1. Basic properties and examples of linear operators 38 2.2. Standard constructions 47 2.3. The interpolation theorem of Riesz and Thorin 54 Chapter 3. Hilbert spaces 59 3.1. Basic properties and orthogonality 59 3.2. Orthonormal bases 64 Chapter 4. Two main theorems on bounded linear operators 69 4.1. The principle of uniform boundedness and strong convergence 69 4.2.
    [Show full text]
  • Convexity “Warm-Up” II: the Minkowski Functional
    CW II c Gabriel Nagy Convexity “Warm-up” II: The Minkowski Functional Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields R or C, and all vector spaces are over K. In this section, however, when K = C, it will be only the real linear structure that will play a significant role. Proposition-Definition 1. Let X be a vector space, and let A ⊂ X be a convex absorbing set. Define, for every element x ∈ X the quantity1 qA(x) = inf{τ > 0 : x ∈ τA}. (1) (i) The map qA : X → R is a quasi-seminorm, i.e. qA(x + y) ≤ qA(x) + qA(y), ∀ x, y ∈ X ; (2) qA(tx) = tqA(x), ∀ x ∈ X , t ≥ 0. (3) (ii) One has the inclusions: {x ∈ X : qA(x) < 1} ⊂ A ⊂ {x ∈ X : qA(x) ≤ 1}. (4) (iii) If, in addition to the above hypothesis, A is balanced, then qA is a seminorm, i.e. besides (2) and (3) it also satisfies the condition: qA(αx) = |α| · qA(x), ∀ x ∈ X , α ∈ K. (5) The map qA : X → R is called the Minkowski functional associated to A. Proof. (i). To prove (2) start with two elements x, y ∈ X and some ε > 0. By the definition (1) there exist positive real numbers α < qA(x) + ε and β < qA(y) + ε, such that x ∈ αA and y ∈ βA. By Exercise ?? from LCTVS I, it follows that x + y ∈ αA + βA = (α + β)A, so by the definition (1) we get qA(x + y) ≤ α + β < qA(x) + qA(x) + 2ε.
    [Show full text]