Functional Analysis - Lancaster

1 Functional Analysis Alexander C. R. Belton c Alexander C. R. Belton 2004, 2006. Copyright Hyperlinked and revised edition All rights reserved The right of Alexander Belton to be identified as the author of this work has been asserted by him in accordance with the Copyright, Designs and Patents Act 1988. Contents Contents i Introduction iii 1 Normed Spaces 3. Basic Definitions .. 3. Subspaces and Quotient Spaces .. 4. Completions .. 6. Direct Sums .. 7. Initial Topologies .. 9. Nets .. 10. Exercises 1 .. 14. 2 Linear Operators 17. Preliminaries .. 17. Completeness of B(X, Y ) .. 18. Extension of Linear Operators.

2 18. The Baire Category Theorem .. 19. The Open-Mapping Theorem .. 21. Exercises 2 .. 22. The Closed-Graph Theorem .. 26. The Principle of Uniform Boundedness .. 27. The Strong Operator Topology .. 27. Exercises 3 .. 28. 3 Dual Spaces 31. Initial Definitions .. 31. The Weak Topology .. 31. Zorn's Lemma .. 32. The Hahn-Banach Theorem .. 32. The Weak Operator Topology .. 36. Adjoint Operators .. 36. The Weak* Topology .. 37. Exercises 4 .. 37. Tychonov's Theorem .. 39. i ii Contents The Banach-Alaoglu Theorem .. 40. Topological Vector Spaces .. 41. The Krein-Milman Theorem .. 45. Exercises 5.

3 47. 4 Normed Algebras 53. Quotient Algebras .. 54. Unitization .. 55. Approximate Identities .. 56. Completion .. 57. 5 Invertibility 59. The Spectrum and Resolvent .. 60. The Gelfand-Mazur Theorem .. 61. The Spectral-Radius Formula .. 61. Exercises 6 .. 63. 6 Characters and Maximal Ideals 65. Characters and the Spectrum .. 66. The Gelfand Topology .. 67. The Representation Theorem .. 68. Examples .. 68. Exercises 7 .. 72. A Tychonov via Nets 75. Exercises A .. 78. Solutions to Exercises 79. Exercises 1 .. 79. Exercises 2 .. 83. Exercises 3 .. 88. Exercises 4 .. 92. Exercises 5 .. 97. Exercises 6.

4 105. Exercises 7 .. 109. Exercises A .. 116. Bibliography 117. Index 119. Introduction These notes are an expanded version of a set written for a course given to final-year undergraduates at the University of Oxford. A thorough understanding of the Oxford third-year b4 Analysis course (an introduction to Banach and Hilbert spaces) or its equivalent is a prerequisite for this material. We use [24] as a compendium of results from that series of lectures. (Numbers in square brackets refer to items in the bibliography.). The author acknowledges his debt to all those from whom he has learnt Functional Analysis , especially Professor D.

5 A. Edwards, Dr G. R. Allen and Dr J. M. Lindsay. The students attending the course were very helpful, especially Mr A. Evseev, Mr L. Taitz and Ms P. Iley. This document was typeset using LATEX 2 with Peter Wilson's memoir class and the AMS-LATEX and XY-pic packages. The index was produced with the aid of the MakeIndex program. Alexander C. R. Belton Lady Margaret Hall Oxford 20th August 2004. This edition contains a few additional exercises and the electronic version is equipped with hyperlinks, thanks to the hyperref package of Sebastian Rahtz and Heiko Oberdiek. ACRB. University College Cork 30th September 2006.

6 Convention Throughout these notes we follow the Dirac-formalism convention that inner products on complex vector spaces are conjugate linear in the first argument and linear in the second, in contrast to many Oxford courses. iii Spaces 1. One Normed Spaces Throughout, the scalar field of a vector space will be denoted by F and will be either the real numbers R or the complex numbers C. Basic Definitions Definition A norm on a vector space X is a function k k : X R+ := [0, ); x 7 kxk that satisfies, for all x, y X and F, (i) kxk = 0 if and only if x = 0 (faithfulness), (ii) k xk = | | kxk (homogeneity).]

7 And (iii) kx + yk 6 kxk + kyk (subadditivity). A seminorm on X is a function p : X R+ that satisfies (ii) and (iii) above. Definition A normed vector space is a vector space X with a norm k k; if necessary we will denote the norm on the space X by k kX . We will sometimes use the term normed space as an abbreviation. Definition A Banach space is a normed vector space (E, k k) that is complete, , every Cauchy sequence in E is convergent, where E is equipped with the metric d(x, y) := kx yk. Definition P Let (xn )n>1 be a sequence in the normed Pn vector space X. The series n=1 xn is convergent if there exists x X such that k=1 xk n>1 is convergent P.

8 To x, and the series is said to have sum x. The series is absolutely convergent if n=1 kxn k is convergent. Theorem (Banach's Criterion) A normed vector space X is complete if and only if every absolutely convergent series in X is convergent. Proof This is a b4 result: see [24, Theorem ].. 3. 4 Normed Spaces Subspaces and Quotient Spaces Definition A subspace of a vector space X is a subset M X that is closed under vector addition and scalar multiplication: M + M M and M M for all F, where A + B := {a + b : a A, b B} and A := { a : a A} A, B X, F. Example Let (X, T) be a topological space and let (E, k kE ) be a Banach space over F.

9 The set of continuous, E-valued functions on X forms an vector space, denoted by C(X, E), where the algebraic operations are defined pointwise: if f , g C(X, E) and F then (f + g)(x) := f (x) + g(x) and ( f )(x) := f (x) x X. The subspace of bounded functions Cb (X, E) := f C(X, E) kf k < , where k k : Cb (X, E) R+ ; f 7 sup kf (x)kE : x X , is a Banach space, with supremum norm k k (see Theorem ). If X is compact then every continuous, E-valued function is bounded, hence C(X, E) = Cb (X, E) in this case. If E = C (the most common case of interest) we use the abbreviations C(X) and Cb (X). Proposition A subspace of a Banach space is closed if and only if it is complete.

10 Proof See [24, Theorem ].. Definition Given a vector space X with a subspace M, the quotient space X/M. is the set X/M := [x] := x + M x X , where x + M := {x + m : m M}, equipped with the vector-space operations [x] + [y] := [x + y] and [x] := [ x] x, y X, F. (It is a standard result of linear algebra that this defines a vector space; for a full discussion see [7, Appendix ].) The dimension of X/M is the codimension of M (in X). Theorem Let X be a normed vector space with a subspace M and let [x] := inf kx mk : m M [x] X/M. X/M. Subspaces and Quotient Spaces 5. This defines a seminorm on X/M, which is a norm if and only if M is closed, called the quotient seminorm (or quotient norm) on X/M.