DOCSLIB.ORG

FA-Lecture Notes2013

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
FA-Lecture Notes2013 2 CONTENTS Index 123 Contents 1 Banach spaces 5 1.1 Metric spaces ............................... 5 1.2 Normed spaces .............................. 9 1.3 H¨older and Minkowski inequality .................... 18 2 Bounded maps; the dual space 21 2.1 Bounded linear maps ........................... 21 2.2 The dual space and the Hahn-Banach theorem ............ 26 2.3 Examples of dual spaces ......................... 30 2.4 The Banach space adjoint and the bidual ............... 32 3 Linear operators in Banach spaces 37 3.1 Baire’s theorem .............................. 37 3.2 Uniform boundedness principle ..................... 38 3.3 The open mapping theorem ....................... 45 3.4 The closed graph theorem ........................ 47 3.5 Projections in Banach spaces ...................... 50 3.6 Weak convergence ............................ 52 4 Hilbert spaces 55 4.1 Hilbert spaces ............................... 55 4.2 Orthogonality ............................... 58 4.3 Orthonormal systems ........................... 61 4.4 Linear operators in Hilbert spaces ................... 65 4.5 Projections in Hilbert spaces ...................... 69 4.6 The adjointDRAFT of an unbounded operator ................. 71 DRAFT 5 Spectrum of linear operators 79 5.1 The spectrum of a linear operator ................... 79 5.2 The resolvent ............................... 80 5.3 The spectrum of the adjoint operator .................. 87 5.4 Compact operators ............................ 89 5.5 Hilbert-Schmidt operators ........................ 99 5.6 Polar decomposition ........................... 102 A Exercises 105 References 116 Problem Sheets 119 Problem Sheet 1. Espacios m´etricos y normados. .............. 120 Problem Sheet 2. Operadores lineales. .................... 121 Problem Sheet 3. Hahn Banach, Espacios duales. .............. 122 1 Last Change: Tue 5 Feb 11:22:41 COT 2013 CONTENTS 3 4 CONTENTS The notes are written and modified while I am teaching an introductory course Notation on functional analysis at the Universidad de los Andes, Bogot´a, Colombia. They are by no means a new presentation of basic functional analysis, they are rather a The letter K usually denotes either the real field R or the complex field C. The positive real numbers are denoted by R := (0, ). collection of excerpts of the books of the list of references I used to prepare classes. + ∞ Many thanks to the students from my 2009 class who found a lot of mistakes in the first draft of the notes. Prerequisites for the course are a solid knowledge in analysis, linear algebra and very basic notions of topology. Having attended a lecture in measure theory or an advanced course in analysis is of advantage but not necessary. An important part of any mathematics lecture are exercises. For each week there is a problem sheet with exercises (stolen from various books) which hopefully help to understand the material presented in the lecture. Bogot´a, February 2013, M.W. DRAFT DRAFT These lecture notes are work in progress. They may be abandoned or changed radically at any moment. Very likely they contain a lot of mistakes and ambiguities. If you find mistakes or have suggestions how to improve the lecture notes, please let me know. Last Change: Tue 5 Feb 11:22:41 COT 2013 Last Change: Thu 7 Feb 17:21:44 COT 2013 Chapter 1. Banach spaces 5 6 1.1. Metric spaces Let (M, d) be a metric space. Recall that the metric d induces a topology on M: a set U M is open if and only if for every p U there exists an ε > 0 such ⊆ ∈ that Bε(p) U. In particular, the open balls are open and closed balls are closed subsets of M⊆. Let x M. A subset U M is called a neighbourhood of x if there ∈ ⊆ exists an open set Ux such that x Ux U. It is easy to see that the topology∈ generated⊆ by d has the Hausdorff property, that is, for every x = y M there exist neighbourhoods U of x and U of y with Chapter 1 6 ∈ x y Ux Uy = . Recall∩ that∅ a set N M is called dense in M if N = M, where N denotes the ⊆ Banach spaces closure of N. Definition 1.2. A sequence (x ) N M converges to x M if and only if n n∈ ⊆ ∈ lim d(xn, x) = 0, that is, n→∞ 23 Jan 2012 ε> 0 N N : n N = d(x , x) < ε. 1.1 Metric spaces ∀ ∃ ∈ ≥ ⇒ n The limit x is unique. A sequence (xn)n∈N is a Cauchy sequence in M if and only We repeat the definition of a metric space. if Definition 1.1. A metric space (M, d) is a non-empty set M together with a map ε> 0 N N : m,n N = d(x , x ) < ε. ∀ ∃ ∈ ≥ ⇒ n m d : M M R × → Definition 1.3. A metric space in which every Cauchy sequence is convergent, is such that for all x,y,z M: called a complete metric space. ∈ (i) d(x, y)=0 x = y, Definition 1.4. Let (X, ) and (Y, ) be topological spaces. ⇐⇒ X Y (ii) d(x, y)= d(y, x), O O (i) A function f : X Y is called continuous if and only if f −1(U) is open in X (iii) d(x, y) d(x, z)+ d(z,y). → ≤ for every U open in Y . The last inequality is called triangle inequality. Usually the metric space (M, d) is denoted simply by M. (ii) An bijective function f : X Y is called a homeomorphism if and only if f and f −1 are contiunous. → Note that the triangle inequality together with the symmetry of d implies The following lemma is often useful. d(x, y) 0, x,y M, ≥ ∈ Lemma 1.5. Let (M, d) be a complete metric space and N M. Then N is closed since 0 = d(x, x) d(x, y)+ d(y, x)=2d(x, y). in M if and only if (N, d ) is complete. ⊆ ≤ |M It is easy to check that DRAFT Remarks. DRAFTEvery convergent sequence is a Cauchy sequence. d(x, y) d(y,z) d(x, z), x,y,z M. • | − |≤ ∈ Every Cauchy sequence is bounded. Recall that a sequence (xn)n∈N is bounded • if the set x : n N is bounded. { n ∈ } A subset N M is called bounded if ⊆ Not every metric space is complete, but every metric space can be completed in the diam N := sup d(x, y): x, y N < . following sense. { ∈ } ∞ Let r> 0 and x M. Then Definition 1.6. Let (M, d ) and (N, d ) be metric spaces. A map f : M N is ∈ M N → called an isometry if and only if dN (f(x),f(y)) = dM (x, y) for all x, y M. The B (x) := y M : d(x, y) < r =: open ball with centre x and radius r, ∈ r { ∈ } spaces M and N are called isometric if there exists a bijective isometry f : M N. K (x) := y M : d(x, y) r =: closed ball with centre x and radius r, → r { ∈ ≤ } Sr(x) := y M : d(x, y)= r =: sphere with centre x and radius r. Note that an isometry is necessarily injective since x = y implies f(x) = f(y) { ∈ } because d(f(x),f(y)) = d(x, y) = 0, and that every isometry6 is continuous. 6 6 Examples. R with the d(x, y)= x y is a metric space. • | − | Let X be a set and define d : X X R by d(x, y) = 0 for x = y and Theorem 1.7. Let (M, d) be a metric space. Then there exists a complete metric • d(x, y)= 1 for x = y. Then (X, d)× is a metric→ space. d is called the discrete space (M, d) and an isometry ϕ : M M such that ϕ(M) = M. M is called → metric on X. 6 completion of M; it is unique up to isometry. c b c c c Last Change: Thu 7 Feb 17:21:44 COT 2013 Last Change: Thu 7 Feb 17:21:44 COT 2013 Chapter 1. Banach spaces 7 8 1.1. Metric spaces Proof. Let Next we show that (M, d) is complete. Let (ˆxn)n∈N be a Cauchy sequence in M. Since ϕ(M) is dense in M there exists a sequence z = (zn)n∈N M such that := (x ) N M : (x ) N is a Cauchy sequence in M ⊆ CM { n n∈ ⊆ n n∈ } c b c c 1 be the set of all Cauchy sequences in M. We define the equivalence relation on d(xn,zn) < , n N. n ∈ by ∼ CM The sequence z is a Cauchy sequenceb b in M because x y d(x ,y ) 0, n ∼ ⇐⇒ n n → → ∞ d(zn,zm)= d(ϕ(zn), ϕ(zm)) d(ϕ(zn), xˆn)+ d(ˆxn, xˆm)+ d(ˆxm, ϕ(zm)) for all x = (x ) N, y = (y ) N . It is easy to check that is indeed a ≤ n n∈ n n∈ M 1 1 equivalence relation (reflexivity and∈ symmetry C follow directly from∼ properties (i) b < b + d(ˆxn, xˆm)+b 0,b m,n . and (ii) of the definition of a metric and transitivity of is a consequence of the n m → → ∞ triangle inequality). ∼ The sequence (ˆxn)n∈N converges to [z] becauseb Let M := M / the set of all equivalence classes. The equivalence class containing C ∼ 1 x = (xn)n∈N is denoted by [x]. On M we define d(ˆxn,z) d(ˆxn, ϕ(zn)) + d(ϕ(zn),z) < + lim d(zn,zm) 0, n . c ≤ n m→∞ → → ∞ d : M M R, c d([x], [y]) = lim d(xn,yn). (1.1) × → n→∞ Web have shownb that ϕ(M) isb a dense subset of the complete metric space (M, d) and that ϕ is an isometry. We have to showb thatcd isc well-defined.b c b Finally, we have to show that M is unique (up to isometry).
Load more

Recommended publications
  • NORMS of POSITIVE OPERATORS on Lp-SPACES
    NORMS OF POSITIVE OPERATORS ON Lp-SPACES Ralph Howard* Anton R. Schep** University of South Carolina p q ct. ≤ → Abstra Let 0 T : L (Y,ν) L (X,µ) be a positive linear operator and let kT kp,q denote its operator norm. In this paper a method is given to compute kT kp,q exactly or to bound kT kp,q from above. As an application the exact norm kV kp,q of R x the Volterra operator Vf(x)= 0 f(t)dt is computed. 1. Introduction ≤ ∞ p For 1 p< let L [0, 1] denote the Banach space of (equivalenceR classes of) 1 1 k k | |p p Lebesgue measurable functions on [0,1] with the usual norm f p =( 0 f dt) . For a pair p, q with 1 ≤ p, q < ∞ and a continuous linear operator T : Lp[0, 1] → Lq[0, 1] the operator norm is defined as usual by (1-1) kT kp,q =sup{kTfkq : kfkp =1}. Define the Volterra operator V : Lp[0, 1] → Lq[0, 1] by Z x (1-2) Vf(x)= f(t)dt. 0 The purpose of this note is to show that for a class of linear operators T between Lp spaces which are positive (i.e. f ≥ 0 a.e. implies Tf ≥ 0 a.e.) the problem of computing the exact value of kT kp,q can be reduced to showing that a certain nonlinear functional equation has a nonnegative solution. We shall illustrate this by computing the value of kV kp,q for V defined by (1-2) above.
    [Show full text]
  • ON the SPECTRUM of POSITIVE OPERATORS by Cheban P
    ON THE SPECTRUM OF POSITIVE OPERATORS by Cheban P. Acharya A Dissertation Submitted to the Faculty of The Charles E. Schmidt College of Science in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Florida Atlantic University Boca Raton, FL August 2012 Copyright by Cheban P. Acharya 2012 ii ACKNOWLEDGEMENTS I would like to express my sincere gratitude to my Ph.D. advisor, Prof. Dr. X. D. Zhang, for his precious guidance and encouragement throughout the research. I am sure it would have not been possible without his help. Besides I would like to thank the faculty and the staffs of the Department of Mathematics who always gave me support by various ways. I will never forget their help during my whole graduate study. And I also would like to thank all members of my thesis's committee. I would like to thank my wife Parbati for her personal support and great pa- tience all the time. My sons (Shishir and Sourav), mother, father, brother, and cousin have given me their support throughout, as always, for which my mere expression of thanks does not suffice. Last, but by no means least, I thank my colleagues in Mathematics department of Florida Atlantic University for their support and encouragement throughout my stay in school. iv ABSTRACT Author: Cheban P. Acharya Title: On The Spectrum of Positive Operators Institution: Florida Atlantic University Dissertation Advisor: Dr. Xiao Dong Zhang Degree: Doctor of Philosophy Year: 2012 It is known that lattice homomorphisms and G-solvable positive operators on Banach lattices have cyclic peripheral spectrum (see [17]).
    [Show full text]
  • A Study of Uniform Boundedness
    CANADIAN THESES H pap^^ are missmg, contact the university whch granted the Sil manque des pages, veuiflez communlquer avec I'univer- degree.-. sit6 qui a mf&B b grade. henaPsty coWngMed materiats (journal arbcks. puMished Les documents qui tont c&j& robjet dun dfoit dautew (Wicks tests, etc.) are not filmed. de revue, examens pubiles, etc.) ne scmt pas mlcrofiimes. Repockbm in full or in part of this film is governed by the lareproduction, m&ne partielk, de ce microfibn est soumise . Gawc&n CoWnght Act, R.S.C. 1970, c. G30. P!ease read B h Ldcanaden ne sur b droit &auteur, SRC 1970, c. C30. the alrhmfm fmwhich mpanythfs tksts. Veuikz pm&e des fmhdautortsetion qui A ac~ompegnentcette Mse. - - - -- - - -- - -- ppp- -- - THIS DISSERTATlON LA W&E A - - -- EXACTLY AS RECEIVED NOUS L'AVONS RECUE d the fitsr. da prdrer w de vervke des exsaplairas du fib, *i= -4 wit- tM arrhor's rrrittm lsrmissitn. (Y .~-rmntrep&ds sns rrror;s~m&rite de /.auefa. e-zEEEsXs-a--==-- , THE RZ~lREHEHTFOR THE DEGREB OF in the Wpartesent R.T. SBantunga, 1983 SLW PRllSER BNFJERSI'PY Decenber 1983 Hae: Degree: Title of Thesis: _ C, Godsil ~srtsrnalgnamniner I3e-t of Hathematics Shmn Praser University 'i hereby grant to Simn Fraser University tba right to .lend ,y 'hcsis, or ~.ndadessay 4th title of which is 5taun helor) f to users ot the 5imFrasar University Library, and to mke partial or r'H.lgtrt copies oniy for such users 5r in response to a request fram the 1 Ibrary oh any other university, or other educationat institution, on its orn behaif or for one of its users.
    [Show full text]
  • Contents 1. Introduction 1 2. Cones in Vector Spaces 2 2.1. Ordered Vector Spaces 2 2.2
    ORDERED VECTOR SPACES AND ELEMENTS OF CHOQUET THEORY (A COMPENDIUM) S. COBZAS¸ Contents 1. Introduction 1 2. Cones in vector spaces 2 2.1. Ordered vector spaces 2 2.2. Ordered topological vector spaces (TVS) 7 2.3. Normal cones in TVS and in LCS 7 2.4. Normal cones in normed spaces 9 2.5. Dual pairs 9 2.6. Bases for cones 10 3. Linear operators on ordered vector spaces 11 3.1. Classes of linear operators 11 3.2. Extensions of positive operators 13 3.3. The case of linear functionals 14 3.4. Order units and the continuity of linear functionals 15 3.5. Locally order bounded TVS 15 4. Extremal structure of convex sets and elements of Choquet theory 16 4.1. Faces and extremal vectors 16 4.2. Extreme points, extreme rays and Krein-Milman's Theorem 16 4.3. Regular Borel measures and Riesz' Representation Theorem 17 4.4. Radon measures 19 4.5. Elements of Choquet theory 19 4.6. Maximal measures 21 4.7. Simplexes and uniqueness of representing measures 23 References 24 1. Introduction The aim of these notes is to present a compilation of some basic results on ordered vector spaces and positive operators and functionals acting on them. A short presentation of Choquet theory is also included. They grew up from a talk I delivered at the Seminar on Analysis and Optimization. The presentation follows mainly the books [3], [9], [19], [22], [25], and [11], [23] for the Choquet theory. Note that the first two chapters of [9] contains a thorough introduction (with full proofs) to some basics results on ordered vector spaces.
    [Show full text]
  • Let H Be a Hilbert Space. on B(H), There Is a Whole Zoo of Topologies
    Let H be a Hilbert space. On B(H), there is a whole zoo of topologies weaker than the norm topology – and all of them are considered when it comes to von Neumann algebras. It is, however, a good idea to concentrate on one of them right from the definition. My choice – and Murphy’s [Mur90, Chapter 4] – is the strong (or strong operator=STOP) topology: Definition. A von Neumann algebra is a ∗–subalgebra A ⊂ B(H) of operators acting nonde- generately(!) on a Hilbert space H that is strongly closed in B(H). (Every norm convergent sequence converges strongly, so A is a C∗–algebra.) This does not mean that one has not to know the other topologies; on the contrary, one has to know them very well, too. But it does mean that proof techniques are focused on the strong topology; if we use a different topology to prove something, then we do this only if there is a specific reason for doing so. One reason why it is not sufficient to worry only about the strong topology, is that the strong topology (unlike the norm topology of a C∗–algebra) is not determined by the algebraic structure alone: There are “good” algebraic isomorphisms between von Neumann algebras that do not respect their strong topologies. A striking feature of the strong topology on B(H) is that B(H) is order complete: Theorem (Vigier). If aλ λ2Λ is an increasing self-adjoint net in B(H) and bounded above (9c 2 B(H): aλ ≤ c8λ), then aλ converges strongly in B(H), obviously to its least upper bound in B(H).
    [Show full text]
  • Representations of a Compact Group on a Banach Space
    Journal of the Mathematical Society of Japan Vol. 7, No. 3, June, 1955 Representations of a compact group on a Banach space. By Koji SHIGA (Received Jan. 14, 1955) Introduction. Let G be a compact group and IYIa complex normed linear space. We mean by a representation {, T(a)} a homomorphism of G into the group of bounded linear operators on such that a --~ T(a). The following types of representations are important : i) algebraic repre- sentation, ii) bounded algebraic representation,l' iii) weakly measurable representation,2' iv) strongly measurable representation,3' v) weakly continuous representation,4' vi) strongly continuous representation.5' Clearly each condition above becomes gradually stronger when it runs from i) to vi), except iv). When the representation space 1 of {IJI,T(a)} is a Banach space, it is called a B-representation. In considering a B-representation {8, T(a)}, what we shall call the conjugate representation {8*, T *(a)} arouses our special interest. For example, we can prove, by considering {**, T **(a)} of a weakly continuous B-representation {8, T(a)}, the equivalence of all four condi- tions (Theorem 2) : 1) {l3, T(a)} is completely decomposable, 2) {8, T(a)} is strongly continuous, 3) {3, T(a)} is strongly measurable, 4) for any given x e 3, the closed invariant subspace generated by T(a)x, 1) Algebraicreps esentation such that IIT(a) II< M for a certain M(> 0). 2) Boundedalgebraic representation such that f(T(a)x) is a measurable function on G for any xe3 and f€3,*where 9* meansthe conjugatespace of .
    [Show full text]
  • Reflexive Cones
    Reflexive cones∗ E. Casini† E. Miglierina‡ I.A. Polyrakis§ F. Xanthos¶ November 10, 2018 Abstract Reflexive cones in Banach spaces are cones with weakly compact in- tersection with the unit ball. In this paper we study the structure of this class of cones. We investigate the relations between the notion of reflexive cones and the properties of their bases. This allows us to prove a characterization of reflexive cones in term of the absence of a subcone isomorphic to the positive cone of ℓ1. Moreover, the properties of some specific classes of reflexive cones are investigated. Namely, we consider the reflexive cones such that the intersection with the unit ball is norm compact, those generated by a Schauder basis and the reflexive cones re- garded as ordering cones in Banach spaces. Finally, it is worth to point out that a characterization of reflexive spaces and also of the Schur spaces by the properties of reflexive cones is given. Keywords Cones, base for a cone, vector lattices, ordered Banach spaces, geometry of cones, weakly compact sets, reflexivity, positive Schauder bases. Mathematics Subject Classification (2010) 46B10, 46B20, 46B40, 46B42 1 Introduction The study of cones is central in many fields of pure and applied mathematics. In Functional Analysis, the theory of partially ordered spaces and Riesz spaces arXiv:1201.4927v2 [math.FA] 28 May 2012 ∗The last two authors of this research have been co-financed by the European Union (Euro- pean Social Fund - ESF)and Greek national funds through the Operational Program "Educa- tion and Lifelong Learning" of the National Strategic Reference Framework (NSRF) - Research Funding Program: Heracleitus II.
    [Show full text]
  • Inapril 3, 1970
    AN ABSTRACT OF THE THESIS OF Ralph Leland James for theDoctor of Philosophy (Name) (Degree) inAprilMathematics 3,presented 1970on (Major) (Date) Title: CONVERGENCE OF POSITIVE OPERATORS Abstract approved: Redacted for Privacy P. M. Anselone The extension and convergence of positiveoperators is investi- gated by means of a monotone approximation technique.Some gener- alizations and extensions of Korovkin's monotoneoperator theorem on C[0, 1] are given. The concept of a regular set is introduced and it is shownthat pointwise convergence is uniform on regular sets.Regular sets are investigated in various spaces andsome characterizations are obtained. These concepts are applied to the approximate solutionof a large class of integral equations. Convergence of Positive Operators by Ralph Leland James A THESIS submitted to Oregon State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy June 1970 APPROVED: Redacted for Privacy P nf eS ::33r of _Department of Ma,thernat ic s in charge of major Redacted for Privacy ActingChairman o Department of Mathematics Redacted for Privacy Dean of Graduate School Date thesis is presented April 3, 1970 Typed by Barbara Eby for Ralph Leland James ACKNOWLEDGEMENT I wish to express my appreciation to Professor P. M.Anselone for his guidance and encouragement during the preparation ofthis thesis. CONVERGENCE OF POSITIVE OPERATORS I.INTRODUCTION §1.Historical Remarks The ordinary Riemann integral can be regarded as an extension of the integral of a continuous function to a larger space in the follow- ing way.Let (1,03,C denote respectively the linear spaces of all, bounded, and continuous real valued functions on [0, 1] .For x in define 1 P0 x = x(t)dt is posi- thenP0is a linear functional defined on C.
    [Show full text]
  • Notes on Functional Analysis Jon Johnsen
    Notes on Functional Analysis Jon Johnsen ABSTRACT. The present set of notes are written to support our students at the mathematics 4 and 5 levels. Contents Chapter 1. Introduction 1 Chapter 2. Topological and metric spaces 3 2.1. Rudimentary Topology 3 2.2. Metric and topological concepts 4 2.3. An example of density: uniform approximation by polynomials 6 Chapter 3. Banach spaces 9 Chapter 4. Hilbert spaces 13 4.1. Inner product spaces 13 4.2. Hilbert spaces and orthonormal bases 16 4.3. Minimisation of distances 20 4.4. The Projection Theorem and self-duality 21 Chapter 5. Examples of Hilbert spaces. Fourier series. 23 5.1. Examples of orthonormal bases. 24 5.2. On Fourier series 25 Chapter 6. Operators on Hilbert spaces 31 6.1. The adjoint operator 31 6.2. Compact operators 32 Chapter 7. Basic Spectral Theory 37 7.1. On spectra and resolvents 37 7.2. Spectra of compact operators 44 7.3. Functional Calculus of compact operators 48 7.4. The Functional Calculus for Bounded Operators 50 Chapter 8. Unbounded operators 53 8.1. Anti-duals 53 8.2. Lax–Milgram’s lemma 54 Chapter 9. Further remarks 59 9.1. On compact embedding of Sobolev spaces 59 Bibliography 61 iii CHAPTER 1 Introduction Functional Analysis is a vast area within mathematics. Briefly phrased, it concerns a number of features common to the many vector spaces met in various branches of mathematics, not least in analysis. For this reason it is perhaps appropriate that the title of the topic contains the word “analysis”.
    [Show full text]
  • Fatou's Lemma, Galerkin Approximations and the Existence
    Fatou’s Lemma, Galerkin Approximations and the Existence of Walrasian Equilibria in Infinite Dimensions∗ M. Ali Khan† Department of Economics, The Johns Hopkins University Baltimore, MD 21218, United States e-mail: [email protected] Nobusumi Sagara Department of Economics, Hosei University 4342, Aihara, Machida, Tokyo 194–0298, Japan e-mail: [email protected] November 11, 2018 arXiv:1610.04776v2 [math.FA] 19 Feb 2017 ∗This essay was written during Sagara’s visit to Johns Hopkins University, August 13– 21, 2016. The authors are grateful to Rich McLean for a passing remark that shaped the introduction to the essay, and to Takashi Suzuki for wide-ranging conversations regarding Walrasian general equilibrium theory. This research is supported by JSPS KAKENHI Grant No. 26380246 from the Ministry of Education, Culture, Sports, Science and Tech- nology, Japan. †Corresponding author. Abstract This essay has three objectives: (i) to report recent generalizations of Fatou’s lemma to multi-functions taking values in a Banach space, and framed in terms of both Bochner and Gelfand integration; (ii) to delineate the importance of Galerkin approximations in Walrasian general equilibrium theory with a continuum of agents and commodi- ties; and thereby (iii) to present two new results on the existence of a Walrasian equilibrium in economies where the continuum of agents is formalized as a saturated measure space. Key Words: Fatou’s lemma, Galerkin approximation, Lyapunov convex- ity theorem, saturated measure space, Bochner integral, Gelfand integral, Walrasian general equilibrium theory, continuum of agents, continuum of commodities. MSC2010: Primary: 28B05, 28B20, 46G10; Secondary: 65N30, 91B50. Contents 1 Introduction 3 2 Background of the Problem 6 2.1 Fatou’s Lemma in Finite Dimensions .
    [Show full text]
  • Quantum Stochastic Cocycles and Completely Bounded Semigroups on Operator Spaces
    QUANTUM STOCHASTIC COCYCLES AND COMPLETELY BOUNDED SEMIGROUPS ON OPERATOR SPACES J. MARTIN LINDSAY AND STEPHEN J. WILLS Abstract. An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of stochastic semigroups in the sense of Skorohod. One-to-one correspondences are established between classes of cocycle of interest and corresponding classes of one-parameter semigroups on associated matrix spaces. Each of these `global' semi- groups may be viewed as the expectation semigroup of an associated quantum stochastic cocycle on the corresponding matrix space. The classes of cocycle covered include completely positive contraction co- cycles on an operator system, or C∗-algebra; completely contractive cocycles on an operator space; and contraction operator cocycles on a Hilbert space. As indicated by Accardi and Kozyrev, the Schur-action matrix semigroup viewpoint circumvents technical (domain) limitations inherent in the theory of quantum stochastic differential equations. An infinitesimal analysis of quantum stochastic cocycles from the present wider perspective is given in a sister paper. Introduction Cocycles arise in classical and quantum probability theory, for studying Markov processes and solutions of linear (quantum) stochastic differential equations ([Sko], [Pin], [L]), and in the study of E0-semigroups and product systems, as a means of perturbing such semigroups ([Ar2]). In the former context they are known classically as stochastic semigroups. The core alge- braic notion is as follows. Let θ = (θ ) be a semigroup of linear maps on t t>0 a vector space V , thus θ0 = id and θs+t = θs ◦ θt for all s; t > 0.
    [Show full text]
  • From Hahn–Banach Type Theorems to the Markov Moment Problem, Sandwich Theorems and Further Applications
    mathematics Review From Hahn–Banach Type Theorems to the Markov Moment Problem, Sandwich Theorems and Further Applications Octav Olteanu Department of Mathematics-Informatics, University Politehnica of Bucharest, 060042 Bucharest, Romania; [email protected] or [email protected] Received: 23 July 2020; Accepted: 5 August 2020; Published: 10 August 2020 Abstract: The aim of this review paper is to recall known solutions for two Markov moment problems, which can be formulated as Hahn–Banach extension theorems, in order to emphasize their relationship with the following problems: (1) pointing out a previously published sandwich theorem of the type f h g, where f, g are convex functionals and h is an affine functional, over a finite-simplicial ≤ ≤ − set X, and proving a topological version for this result; (2) characterizing isotonicity of convex operators over arbitrary convex cones; giving a sharp direct proof for one of the generalizations of Hahn–Banach theorem applied to the isotonicity; (3) extending inequalities assumed to be valid on a small subset, to the entire positive cone of the domain space, via Krein–Milman or Carathéodory’s theorem. Thus, we point out some earlier, as well as new applications of the Hahn–Banach type theorems, emphasizing the topological versions of these applications. Keywords: Hahn–Banach type theorems; Markov moment problem; sandwich theorem; finite-simplicial set; isotone convex operator; necessary and sufficient conditions 1. Introduction We recall the classical formulation of the moment problem, under the terms of T. Stieltjes, given in 1894–1895 (see the basic book of N.I. Akhiezer [1] for details): find the repartition of the positive mass on the nonnegative semi-axis, if the moments of arbitrary orders k (k = 0, 1, 2, ::: ) are given.
    [Show full text]