Analysis Comprehensive Exam Questions Fall 2008
|
|
- Jessica Clarissa Goodman
- 5 years ago
- Views:
Transcription
1 Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x) f(x) for a.e. x. Show that f f n as n. (b) Show that the conclusion of part (a) can fail if. (a) Choose ε >, and let C sup n f n 2 <. By Fatou s Lemma, we have f 2 2 lim f n 2 lim inf f n 2 lim inf f n 2 2 C. n n n Hence f L 2 (). By gorov s Theorem, there exists A such that ( ) 2 ε \A < 4C and f n f uniformly on A. Therefore, we can find an N such that (f f n ) χ A < ε, all n > N. 2 Then for n > N we have by Cauchy Schwarz that f f n f f n + f f n A \A ( ) /2 ( A (f f n ) χ A + f f n 2 \A \A ε < A 2 + f f n 2 \A /2 < ε 2 + 2C ε 4C ε. (b) Let f n χ [n,n+]. Then f n 2 for every n, and f n (x) for every x. However, f n does not converge to the zero function in L -norm, since f n. ) /2
2 2 2. Let X be a Banach space and let T, S be bounded linear operators on X. Prove that: (a) I TS has a bounded inverse if and only if I ST has a bounded inverse. (b) σ(ts)\{} σ(st)\{}. Remark: σ(a) denotes the spectrum of A. (a) Suppose that I TS has a bounded inverse. In particular, I TS is injective. Suppose that (I ST)v for some v X. Then we have T(I ST)v (I TS)Tv, so Tv. But this implies that v (I ST)v. Hence also I ST is injective. On the other hand since I TS is surjective we have that for every z X there exists an x X such that (I TS)x Tz. Observe that this implies that x T(X) since x T(Sx + z) Ty. We thus have that T(I ST)y Tz, or (I ST)y z + v with v Ker(T). But then, setting w y v, we have that (I ST)w z and I ST is surjective. Thus I ST is a bounded bijection of X onto itself, and therefore has a bounded inverse by the Open Mapping Theorem. (b) Suppose λ / σ(ts) and λ. Then TS λi has a bounded inverse, so I T S has λ a bounded inverse. By part (a) it follows that I S T and thus ST λi has a bounded λ inverse, so λ / σ(st).
3 3. Let f, g be absolutely continuous functions on [, ]. Show that for x [, ] we have x f(t) g (t) dt f(x)g(x) f()g() x f (t) g(t) dt. Since f, g are absolutely continuous, we know that they are differentiable almost everywhere and that f, g L [, ]. Consequently, f (s) g (t) L ( [, ] 2). Letting {(s, t) [, x] 2 : s t}, we compute that x ( t ) f (s) g (t) ds dt f (s) ds g (t) dt On the other hand, f (s) g (t) dt ds x x x x x g(x) ( f(t) f() ) g (t) dt f(t) g (t) dt f() x g (t) dt f(t) g (t) dt f() ( g(x) g() ). ( x ) f (s) g (t) dt ds s f (s) ( g(x) g(s) ) dt x f (s) ds x g(x) ( f(x) f() ) x f (s) g(s) ds f (s) g(s) ds. Finally, Fubini s Theorem implies that these two integrals are equal, so the result follows. 3
4 4 4. Let f : [, ] R a bounded function whose set of discontinuities D is closed and nowhere dense. (a) Is it true that every such f is Riemann integrable? (b) Prove that for every such f there exists an homeomorphism h : [, ] [, ] such that f h is Riemann integrable. Remark: A homeomorphism is a continuous bijection that has a continuous inverse. (a) Clearly no. Let {q, q 2,...,q n,...} be an ordering of the rational numbers in (, ) and set I n B(q n, ε2 n ), where B(x, r) (x r/2, x + r/2) (, ). Thus I ε but I is open and dense. Thus J [, ]\I is closed and nowhere dense but with large positive measure. Observe that f χ J is continuous for every x I since I is open, but it is discontinuous for every x J since I is dense. Hence f is discontinuous on a closed nowhere dense set of positive measure and thus it is not Riemann integrable. (b) Let D be the set of discontinuities of f and D c [, ]\D. We can define g(x) D x χ D c(t) dt. Observe that g(), g(), and g is continuous and strictly increasing. Indeed, if x < y, there exists an open interval I (x, y) such that I D c since D is closed and nowhere dense. From this we have that y g(y) g(x) χ D c(t) dt I >. D x Thus g is an invertible function and its inverse is continuous. Finally since D is closed we have that D c is the union of countably many open interval I i. Observe that g(i i ) D I i χ D c(t) dt D I i, so g(d c ) and g(d). Hence we can choose h g, for then f h is discontinuous on the set g(d), which has measure zero, and therefore f g is Riemann integrable.
5 5. Let X be a Banach space with norm X. Assume that Y is proper subspace of X that is dense in X with respect to X, and that there is another norm Y on Y with respect to which Y is a Banach space. Show that if there exists a constant C such that x X C x Y for all x Y, then there exists a continuous linear functional on (Y, Y ) that has no extension to a continuous linear functional on (X, X ). The hypotheses imply that Y is continuously embedded into X, i.e., if i: Y X is given by i(x) x for x Y then i is continuous and i C. The adjoint of i is the restriction map R: X Y given by R(µ) µ Y. Hence R is bounded, with R C. That is, µ Y Y C µ X for each µ X. This can also be proved without recourse to adjoints by observing that if x Y and µ X then x, µ Y x, µ µ X x X C µ X x Y, so µ Y Y C µ X (we are using the linear functional notation x, µ µ(x)). Suppose now that every continuous linear functional on (Y, Y ) had an extension to a continuous linear functional on (X, X ). Then R is onto. Further, if µ X and R(µ) µ Y, then µ since µ is continuous and Y is dense in X. Therefore R is injective. Thus R: Y X is a bounded bijection, so the Inverse Mapping Theorem implies that R is bounded. Combining this with the above facts, there exist c, C > such that µ X, c µ X µ Y Y C µ X. Now fix any x Y. Then by Hahn Banach, there exists a ν Y such that ν Y and x, ν x Y. By hypothesis, there exists an extension of ν to a continuous linear functional on (X, X ). Call this extension µ, so we have µ Y ν. Then x Y x, ν x, µ x X µ X x X c µ Y Y x X c ν Y c x X. Since we also have x X C x Y, we conclude that X and Y are equivalent norms on Y. But Y is complete with respect to Y, and therefore it is complete with respect to X. Consequently, Y is closed with respect to X. However, Y is dense in X with respect to X, which implies that Y X, a contradiction. 5
6 6 6. Let G be an unbounded open subset of R. Prove that is dense in R. H {x R : kx G for infinitely many k Z} If kx belongs G for infinitely many k then, for every n >, x belongs to G/k k >n where G/k {y R : ky G}. Vice versa, if x k >n G/k for every n >, then kx G for infinitely many k. Thus H G/k. n k >n Clearly k >n G/k is an open set. By the Baire Category Theorem, it is therefore enough to prove that k>n G/k is dense, for then H must be dense. Let D (z, z + ) be any open interval. If D G/k, then k >n k >n kd G. Without loss of generality, assume that z >. Then for k large enough we have that (k + )z > kz +, and hence k>n kd contains a subset of the form (d, ). By considering negative k we likewise conclude that k>n kd contains (, d). Consequently, G cannot contain (, d) (d, ), which contradicts the fact that G is unbounded.
7 7. Let µ, µ 2 be bounded signed Borel measures on R. Show that there exists a unique bounded signed Borel measure µ such that ( ) f dµ f(x + y) dµ (x) dµ 2 (y), f C c (R). 7 Show further that µ µ µ 2. Note: Scalars in this problem are real. If is any Borel set in R, then χ (x + y) d µ (x) d µ 2 (y) d µ (x) d µ 2 (y) µ µ 2 <. Hence, by Fubini s Theorem, we can define µ() χ (x + y) dµ (x) dµ 2 (y), and we have µ() µ µ 2. We claim that µ defined in this way is a signed Borel measure. The above work shows that µ() is a finite real number for every Borel set, and we clearly have that µ( ). Hence we need only show that µ is countably additive. Suppose that, 2,... are disjoint Borel sets, and let j. For each x and y, we have that N χ j (x + y) χ (x + y) L (µ µ 2 ). j Therefore, by the Dominated Convergence Theorem, µ() χ (x + y) dµ (x) dµ 2 (y) lim j lim j lim j N j N j N µ( j ) j µ( j ). j Therefore µ is a signed Borel measure. χ j (x + y) dµ (x) dµ 2 (y) χ j (x + y) dµ (x) dµ 2 (y)
8 8 If we let R P N be a Hahn decomposition of R for µ, then µ µ (R) µ(p) µ(n) χ P (x + y) dµ (x) dµ 2 (y) χ P (x + y) d µ (x) d µ 2 (y) + d µ (x) d µ 2 (y) µ µ 2. If φ n k a k χ k is any simple function, then n n φ dµ a k χ k dµ a k k k χ N (x + y) dµ (x) dµ 2 (y) χ N (x + y) d µ (x) dµ 2 (y) χ k (x + y) dµ (x) dµ 2 (y) φ(x + y) dµ (x) dµ 2 (y). If we fix f C c (R), then there exist simple functions φ k such that φ k f and φ k f pointwise. Since f L (µ) and f(x+y) L (µ µ 2 ), we therefore have by the Dominated Convergence Theorem that f(x + y) dµ (x) dµ 2 (y) lim φ k (x + y) dµ (x) dµ 2 (y) k lim φ k dµ f dµ. k It remains only to show that µ is unique. If ν is another signed Borel measure that satisfies ( ) f dν f(x + y) dµ (x) dµ 2 (y), f C c (R), () then we have f d(µ ν) for every f C c (R). By the Riesz Representation Theorem, C c (R) M b (R), the space of finite signed Borel measures on R. Therefore we must have µ ν. As the Riesz Representation Theorem for C c (X) is not part of the Comprehensive xam syllabus, we give an alternative direct proof. As above, suppose that ν is another signed Borel measure that satisfies equation (). Fix any open interval (a, b). Let f n C c (R) be such that f n and f n χ (a,b) pointwise. Then by the Dominated Convergence Theorem, we have µ(a, b) lim n f n dµ lim n f n dν ν(a, b). This extends from open intervals to all Borel sets, so we conclude that µ ν.
9 8. Given p < and f n L p (R), prove that {f n } n N is a Cauchy sequence in L p (R) if and only if the following three conditions hold ( denotes Lebesgue measure). (a) {f n } n N is Cauchy in measure. (b) For every ε > there exists a δ > such that if < δ then f n p < ε for every n. (c) For every ε > there exists a set with < such that C f n p < ε for every n.. Assume that {f n } n N is Cauchy in L p (R). Since L p (R) is complete, there exists a function f L p (R) such that f n f in L p -norm. (a) By Tchebyshev s inequality, so {f n } n N is Cauchy in measure. { f m f n ε} ε p f m f n p p, (b) Given ε >, we have by standard arguments that for each n there exists a δ n > such that if < δ n then f n p < ε. Since f n f, there exists an N such that f n f p < ε for all n N. Set δ min{δ, δ,..., δ N }, and suppose that < δ. Then we have f n p ε for n N, and if n > N then ( ) /p ( ) /p ( ) /p f n p f n f p + f p f n f p + ε < 2ε. Hence statement (b) holds. (c) Choose ε >. Since for each f L p (R) we have x >m f p as m, for each n we can find a set n with n < such that f n p < ε p, all n. C n Let N, where N is such that f n f p < ε for all n N. Then <, and if n > N then ( ) /p ( ) /p ( ) /p f n p f f n p + f p f f n p + ε 2ε. C C C Since,..., N, we also have the required inequality for n N, so statement (c) holds.. Assume statements (a) (c) hold and choose ε >. Let the set be given as in statement (c). Set { ( ) /p } ε A mn f m f n. 9
10 Let δ be as given in statement (b). By statement (a), there exists an N such that A mn < δ for all m, n N. Hence f m f n p p f m f n p + f m f n p + f m f n p A mn \A mn C 2 p ( f m p + f n p ε ) + A mn + 2 p ( f m p + f n p ) C 2 p+ ε + ε + 2 p+ ε. Hence {f n } n N is Cauchy in L p (R). \A mn
3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationReal Analysis Comprehensive Exam Fall A(k, ε) is of Lebesgue measure zero.
Real Analysis Comprehensive Exam Fall 2002 by XYC Good luck! [1] For ε>0andk>0, denote by A(k, ε) thesetofx Rsuch that x p q 1 for any integers p, q with q 0. k q 2+ε Show that R \ k=1 A(k, ε) is of Lebesgue
More informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationTHE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS
THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS Motivation The idea here is simple. Suppose we have a Lipschitz homeomorphism f : X Y where X and Y are Banach spaces, namely c 1 x y f (x) f (y) c 2
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationCONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...
Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationLecture Notes in Functional Analysis
Lecture Notes in Functional Analysis Please report any mistakes, misprints or comments to aulikowska@mimuw.edu.pl LECTURE 1 Banach spaces 1.1. Introducton to Banach Spaces Definition 1.1. Let X be a K
More informationDefining the Integral
Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be
More informationINTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION
1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at
More informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationInfinite-dimensional Vector Spaces and Sequences
2 Infinite-dimensional Vector Spaces and Sequences After the introduction to frames in finite-dimensional vector spaces in Chapter 1, the rest of the book will deal with expansions in infinitedimensional
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
More informationMATH 650. THE RADON-NIKODYM THEOREM
MATH 650. THE RADON-NIKODYM THEOREM This note presents two important theorems in Measure Theory, the Lebesgue Decomposition and Radon-Nikodym Theorem. They are not treated in the textbook. 1. Closed subspaces
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].
More informationMAA6617 COURSE NOTES SPRING 2014
MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationFunctional Analysis Winter 2018/2019
Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationSPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT
SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,
More informationExercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.
Real Variables, Fall 2014 Problem set 8 Solution suggestions xercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure. nswer: ssume that the Radon-Nikodym
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationPart III Functional Analysis
Part III Functional Analysis András Zsák Michaelmas 2017 Contents 1 The Hahn Banach extension theorems 1 2 The dual space of L p (µ) and of C(K) 7 3 Weak topologies 12 4 Convexity and the Krein Milman
More informationDual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.
Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationIntroduction to Real Analysis
Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
More informationDaniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that
Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for
More information285K Homework #1. Sangchul Lee. April 28, 2017
285K Homework #1 Sangchul Lee April 28, 2017 Problem 1. Suppose that X is a Banach space with respect to two norms: 1 and 2. Prove that if there is c (0, such that x 1 c x 2 for each x X, then there is
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
More informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Tuesday, April 18, 2006 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Tuesday, April 18, 26 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm. INSTRUCTIONS
More informationDisintegration into conditional measures: Rokhlin s theorem
Disintegration into conditional measures: Rokhlin s theorem Let Z be a compact metric space, µ be a Borel probability measure on Z, and P be a partition of Z into measurable subsets. Let π : Z P be the
More informationLecture 1 Real and Complex Numbers
Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n
More informationCHAPTER X THE SPECTRAL THEOREM OF GELFAND
CHAPTER X THE SPECTRAL THEOREM OF GELFAND DEFINITION A Banach algebra is a complex Banach space A on which there is defined an associative multiplication for which: (1) x (y + z) = x y + x z and (y + z)
More information