Functional Analysis Lecture Notes - Michigan State University

1 Functional Analysis (Math 920) Lecture Notes for Spring 08 Jeff SchenkerMichigan State UniversityE-mail and course informationPart 1. Hahn-Banach Theorem and ApplicationsLecture 1. Linear spaces and the Hahn Banach TheoremLecture 2. Geometric Hahn-Banach TheoremsLecture 3. Applications of Hahn-BanachPart 2. Banach SpacesLecture 4. Normed and Banach SpacesLecture 5. Noncompactness of the Ball and Uniform ConvexityLecture 6. Linear Functionals on a Banach SpaceLecture 7. Isometries of a Banach SpaceHomework IPart 3. Hilbert Spaces and ApplicationsLecture 8. Scalar Products and Hilbert SpacesLecture 9.

2 Riesz-Frechet and Lax-Milgram TheoremsLecture 10. Geometry of a Hilbert space and Gram-Schmidt processPart 4. Locally Convex SpacesLecture 11. Locally Convex Spaces and Spaces of Test FunctionsLecture 12. Generation of a LCS by seminorms and Fr echet SpacesLecture 13. The dual of an LCSL ecture 14. Spaces of distributionsLecture 15. Applications: solving some PDE sLecture 16. The Dirichlet problemPart 5. Weak Convergence and Weak TopologyiiiivCONTENTSL ecture 17. Dual of a Banach spaceLecture 18. Riesz-Kakutani theoremLecture 19. Weak convergenceLecture 20. Weak sequential compactness, weak convergence and the weak?

3 TopologyLecture 21. An application: positive harmonic functionsPresentation topicsHomework IIPart 6. ConvexityLecture 22. Convex sets in a Banach spaceLecture 23. Convex sets in a Banach space (II) Lecture 24. Krein-Milman and Stone-WeierstrassLecture 25. Choquet type theoremsPart 7. Bounded Linear MapsLecture 26. Bounded Linear MapsLecture 27. Principle of Uniform Boundedness and Open Mapping TheoremLecture 28. The Spectrum of a Linear MapLecture 29. Some examplesPart 8. Compact Linear MapsLecture 30. Compact MapsLecture 31. Fredholm alternativeLecture 32. Spectral Theory of Compact MapsHomework IIIPart 9.

4 Compact Linear Maps in Hilbert SpaceLecture 33. Compact Symmetric OperatorsLecture 34. Min-MaxLecture 35. Functional calculus and polar decompositionComments and course informationThese are Lecture Notes for Functional Analysis (Math 920), Spring 2008. The text forthis course isFunctional Analysisby Peter D. Lax, John Wiley & Sons (2002), referred toas Lax below. In some places I follow the book closely in others additional material andalternative proofs are excellent texts include M. Reed and B. Simon,Methods of Modern Mathematical Physics Vol. I: FunctionalAnalysis, Academic Press (1980). W. Rudin, Functional Analysis , McGraw-Hill, 2nd ed.

5 (1991).(As needed, these will be referred to below as Reed and Simon and Rudin respectively.)vPart 1 Hahn-Banach Theorem and ApplicationsLECTURE 1 Linear spaces and the Hahn Banach TheoremReading: Chapter 1 and of LaxMany objects in mathematics particularly in Analysis are, or may be described interms of, linear spaces(also called vector spaces). For example:(1)C(M) = space of continuous functions (RorCvalued) on a manifoldM.(2)A(U) = space of analytic functions in a domainU C.(3)Lp( ) ={pintegrable functions on a measure spaceM, }.The key features here are the axioms of linear algebra , linear spaceXover a fieldF(in this courseF=RorC) is a set onwhich we have defined(1) addition:x,y X7 x+y Xand(2) scalar multiplication:k F, x X7 kx Xwith the following properties(1) (X,+) is anabeliangroup (+ is commutative and associative and identity andinverses.)

6 Identity is called 0 ( zero ) inverse ofxis denoted x(2) scalar multiplication is associative:a(bx) = (ab)x, distributive:a(x+y) =ax+byand (a+b)x=ax+bx,and satisfies 1x= follows from the axioms that 0x= 0 and x= ( 1) from linear algebra that a set of vectorsS Xis linearly independentifn j=1ajxj= 0 withx1,..,xn S= a1= =an= 0and that the dimensionofXis the cardinality of a maximal linearly independent set dimension is also the cardinality of a minimal spanning set, where the spanof a setSis the setspanS={n j=1ajxj:a1,..,an Randx1,..,xn S},andSis spanning, or spansX, if spanS= or less, Functional Analysis is linear algebra done on spaces with infinite this way it may seem odd that Functional Analysis is part of Analysis .

7 For finitedimensional spaces the axioms of linear algebra are very rigid: there is essentially only1-11-21. LINEAR SPACES AND THE HAHN BANACH THEOREMone interesting topology on a finite dimensional space and up to isomorphism there is onlyone linear space of each finite dimension. In infinite dimensions we shall see that topologymatters a great deal, and the topologies of interest are related to the sort of Analysis thatone is trying to explains the second word in the name Functional Analysis . Regarding Functional , this is an archaic term for a function defined on a domain of functions .

8 Since most ofthe spaces we study are function spaces, likeC(M), the functions defined on them are functionals. Thus Functional Analysis . In particular, we define a linear functionalto bea linear map`:X F, which means`(x+y) =`(x) +`(y) and`(ax) =a`(x) for allx,y Xanda , one is able to define a linear Functional at first only for a limited set of vectorsY X. For example, one may define the Riemann integral onY=C[0,1], say, whichis a subset of the spaceB[0,1] of all bounded functions on [0,1]. In most cases, as in theexample, the setYis a subsetY Xof a linear space is a linear subspaceif it is closedunder addition and scalar multiplication:y1,y2 Yanda F= y1+ay2 functionals defined, at first, on a subspace of a linear space ofRwe (Hahn (1927), Banach (1929)).

9 LetXbe a linear space overRandpareal valued function onXwith the properties(1)p(ax) =ap(x)for allx Xanda >0(Positive homogeneity)(2)p(x+y) p(x) +p(y)for allx,y X(subadditivity).If`is a linear Functional defined on a linear subspace ofYand dominated byp, that is`(y) p(y)for ally Y, then`can be extended to all ofXas a linear Functional dominatedbyp, so`(x) p(x)for allx [0,1] andY=C[0,1]. OnY, let`(f) = 10f(t)dt(Riemannintegral). Letp:B Rbep(f) = sup{|f(x)|:x [0,1]}. Thenpsatisfies (1) and (2)and`(f) p(f). Thus we can extend`toallofB[0,1]. We will return to this example andsee that we can extend`so that`(f) 0 wheneverf 0.

10 This defines a finitely additiveset function onall(!) subset of [0,1] via (S) =`( S). For Borel measurable sets it turnsout the result is Lebesgue measure. That does not follow from Hahn-Banach proof of Hahn-Banach isnot constructive, but relies on the following result equivalentto the axiom of (Zorn s Lemma).LetSbe a partially ordered set such that every totallyordered subset has an upper bound. ThenShas a maximal understand the statement, we partially ordered setSis a set on which an order relationa bisdefined for some (but not necessarily all) pairsa,b Swith the following properties(1) transitivity: ifa bandb cthena c(2) reflexivity: ifa afor alla S.