NAME: MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012) Final exam. Wednesday, March 21, time: 2.5h
|
|
- Benedict Marsh
- 5 years ago
- Views:
Transcription
1 NAME: SOLUTION problem # points max MATH 172: Lebesgue Integration and Fourier Analysis (winter 2012 Final exam Wednesday, March 21, 2012 time: 2.5h Please answer the questions below using the given space. If you need extra space, you can use the back of the page or an additional sheet of paper. The given space, however, should be large enough for your answer. Note that answers do not require complete sentences. As long as we can see that you know how to solve the problem and structure your proof, you will receive all points. You don t need to reprove anything that has been covered in class or on the problem sets. Please turn in your scrap paper as well, as it might contain valuable attempts. It can only improve your score! Before starting your exam, please write your name in the field above! 1
2 (1 (15 points Decide whether the following statements are true or false. Justify your answer briefly (i.e. either give a short proof or provide a counterexample. (a Let K R be the standard Cantor ternary set (i.e. K = K i and each K i+1 arises from K i by removing exactly one third in the center of each interval. Then there is a sequence of numbers x 1, x 2,... R such that [0, 1] (K + x i. TRUE FALSE 2 For any x R we have λ(k + x = λ(k = 0, i.e. K + x is a nullset. = (K + x i is a nullset if [0, 1] (K + x i, then ( 1 = λ([0, 1] λ (K + x i = 0. Contradiction! (b If A (0, 1 is an open set, then for every ε > 0 there is a special polygon P F such that A P and λ(p λ(a < ε. TRUE FALSE Let K [0, 1] be a Cantor ternary set with λ(k > 0 and consider A = [0, 1] \ K. Since K has empty interior, we have A = [0, 1]. if A P, then (0, 1 P = λ(p 1 > λ(a. This contradicts the claim for ε = λ(k = 1 λ(a.
3 (c Let A R n, A L be a Lebesgue set which is contained in a ball of radius r > 0 (i.e. A B(0, r. Then for every ε > 0 there are open sets B 1, B 2 B(0, r such that A B 1 and B(0, r \ A B 2 and such that λ(b 1 + λ(b 2 < λ(b(0, r + ε. TRUE FALSE 3 By the Theorem on Approximation there are F A G such that λ(g \ K < ε. Set B 1 = G B(0, r, B 2 = B(0, r \ F. Then B 1 B 2 = B(0, r and B 1 B 2 G \ K and hence λ(b 1 + λ(b 2 = λ(b 1 B 2 + λ(b 1 B 2 < λ(b(0, r + ε.
4 (2 (20 points (a Let X be a space and M a σ-algebra on X. Consider a sequence f 1, f 2,... : X R of M-measurable functions. Show that the following set is measurable with respect to M (i.e. show that B M. B = {x X : all but finitely many of the values f 1 (x, f 2 (x,... are the same} (Note: a sequence of numbers a 1, a 2,... R has the property that all but finitely many of its elements are the same, if there is a finite set I N such that a k = a j for all k, j N \ I. 4 Then g k : X R, g k (x = f k+1 (x f k (x are M-measurable. = A k = {x X : f k+1 (x = f k (x} = g 1 k (0 M. B = {x X : f k (x, f k+1 (x,... is constant} = A j M. k=1 k=1 j=k (b Let X be a space and M a σ-algebra on X. Consider two measures λ, µ on M such that λ(a µ(a for all A M. Show that for any M-measurable function f : X [0, which only takes non-negative values, we have f dλ f dµ. If s : X [0, is simple and non-negative, then m s = a i χ Ai a i 0, A i M. m m s dλ = a i λ(a i a i µ(a i = s dµ. Hence { } f dλ = sup s dλ : s S, s f { } sup s dµ : s S, s f = f dλ.
5 5 (c Show that there is a sequence f 1, f 2,... L 1 (R such that f j f k 1 = f j f k dλ = 1 whenever j k. Set f k = 1 2 χ [k,k+1]. (d Consider a space X, a σ-algebra M on X and a measure λ on M. Let f : X R be an M-measurable and integrable function such that f dλ = 0. Show that for any t > 0 λ ( f 1( [t, 1 2t f dλ. 0 = f dλ = f + dλ f dλ = f + dλ = f dλ f dλ = f + dλ + f dλ = 2 f + dλ Since tχ f 1 ([t, f + we have tλ(f 1 ([t, f + dλ = 1 2 f dλ.
6 (3 (10 points Consider the Borel σ-algebra B on R n, let U R n be a subset which is not Borel measurable and set V = R n \ U. Let M be the σ-algebra which is generated by B and U (i.e. M is generated by the family N = B {U}. Show that for any A M there are sets B, C B such that A = (B U (C V. 6 Set M = {A M : there are B, C B such that A = (B U (C V }. Then N M : If A B, then A = (A U (A V M. U = (R n U ( V M. And M is a σ-algebra: M, since B (see above. If A i = (B i U (C i V M, then (( (( A i = B i U If A = (B U (C V M, then M M and hence M = M. A c = (B c U (C c V M. C i V M.
7 (4 (15 points Let M be a σ-algebra on a space X and λ a measure on M. Consider an M-measurable function f : X [0, which only takes non-negative values. (a Assume that 0 f(x 1 for all x X and that f dλ <. Show that f k dλ = λ(f 1 (1. 7 Observe that since 0 f (x 1, we have f k f for all k. Since f is integrable, we obtain by LDCT f k dλ = Here we used that for a [0, 1] f k dλ = ak = 0 if a < 1 1 if a = 1 χ f 1 (1 dλ = λ(f 1 (1. (b Assume that 0 f(x 1 for all x X. We don t make any assumptions on the integral of f! Show that ( f ( 1 k dλ = k f dλ = λ f 1 (0, 1]. Observe that f 1 1 f 1 2 f by LICT f 1 k dλ = f 1 k dλ = χ f 1 ((0,1] dλ = λ(f 1 ((0, 1]. Here we used that for a 0 a 1 k = 0 if a = 0 1 if a > 0
8 8 (c Assume that f(x 0 for all x X and that f dλ <. Show that ( f ( 1 k dλ = λ f 1 (0,. Set A = f 1 ([0, 1], B = f 1 ((1,. Then X = A B. By part (b f 1 k χa dλ = f A 1 k dλ = λ(a f 1 ((0, 1] = λ(f 1 ((0, 1]. Moreover, since f 1 k χ B f (because a 1, k 1 = a 1 k a we obtain by LDCT f 1 k χb dλ = f 1 k dλ = f 1 k χb dλ = f 1 k χa dλ + χ B dλ = λ(b = λ(f 1 ((1,. f 1 k χb dλ = λ(f 1 ((0, 1] + λ(f 1 ((1, = λ(f 1 ((0,.
9 (5 (10 points Let f : R [0, be an L-measurable and integrable function which only takes non-negative values. For any k N define f k : R R by f k (x = f(x + k and set h(x = inf f k (x. Show that h = 0 almost everywhere. 9 By Fatou s Lemma h dλ = inf f k dλ inf But h is non-negative and periodic: if l Z, then f k dλ = f dλ <. Hence h(x + l = inf > h dλ = f (x + l + k = inf f (x + k = h(x. l= hχ [l,l+1 dλ = hχ [0,1 dλ = 0. l= hχ [0,1 dλ. By the sum-formula above, this implies h dλ = 0 thus h = 0 a.e.
10 (6 (10 points Give an example for a B-measurable function f : R R such that f p < for all p (1, 2, but f p = whenever p = 1 or p [2, ]. Justify your answer. Recall that for 1 p < ( f p = 1/p f p dλ 10 and f = inf{m 0 : f M a.e.}. Set f 1 (x = 1 x χ (1,, f 2 (x = 1 x χ (0,1, f = f 1 + f 2. Then for any p [1, ] (since f 1, f 2 f f 1 p, f 2 p f p f 1 p + f 2 p. f p < if and only if both f 1 p, f 2 p <. Obviously f 2 =. For p < f 1 p p = and f 2 p p = x p dx < if and only if p > 1 x p/2 dx < if and only if p/2 < 1.
11 (7 (10 points Let f, g : (0, R be B-measurable and integrable functions. Define a function h : (0, (0, R by ( x h(x, y = f(xy g x y y. You may in the following assume without proof that h is B-measurable. (a Show that h is integrable. (b Show that h dλ = 1 ( ( f dλ g dλ. (0, (0, 2 (0, (0, 11 We first assume (a. Use the C 1 -diffeo Φ : (0, (0, (0, (0,, (x, y (xy, x y. Its differential is dφ = ( y x y 1 xy 2, so the Jacobian is det dφ = 2 x y. By the Transformation Law, since we obtain By Fubini (0, (0, = (0, h(x, y = 1 2 f (Φ 1(x, yg(φ 2 (x, y det dφ(x, y, (0, (0, h dλ = 1 2 f (xg(y dxdy = (0, ( f (x dx g(y dy = (0, (0, (0, f (xg(y dxdy. ( f (xg(y dx dy (0, ( ( f (x dx (0, g(y dy (0,. (a follows the same way by replacing h with h (x, y = f (xy g ( x y x y resp. g with f resp. g. and f
12 (8 For this problem it is recommended that you use the Fourier transform. Recall that for any f L 1 (R n f(ξ = f(xe ix ξ dx. R n And the Fourier Inversion Theorem states that if f, f L 1 (R n, then f (x = (2π n f( x. In particular, if f is of Schwartz class (i.e. f S, then also f S and the inversion formula ( holds. (10 points Show that for any h : R n R, h S, there is a function f C 2 (R n such that f f = h. The Fourier Transform of both sides is n 2 f iξ k x f n = 2 f i 2 x f = f f = f f = ĥ i 2 (assuming that f S and n f (ξ = 2 f (ξ = x 2 k=1 k n k=1 iξ k f x k (ξ = n ξk f 2 (ξ = ξ 2 f (ξ. ξ 2 f f = ĥ = f (ξ = ĥ(ξ ξ To define f, we want to take the Fourier Transform of the right hand side, to obtain f. Observe first that for any k, l = 1,..., n ĥ(ξ ξ 2 + 1, ĥ(ξ ξ k ξ 2 + 1, ĥ(ξ ξ k ξ l ξ ĥ(ξ k=1 = ĥ(ξ ξ 2 + 1, ξ ĥ(ξ k ξ 2 + 1, ξ ĥ(ξ kξ l ξ L1 (R n. the Fourier Transform of ĥ(ξ exists and is C 2 (actually, it s even in S and setting ξ 2 +1 ( ĥ(ξ f (x = (2π n ( x ξ we obtain ( ξ 2 ( f (x f (x = (2π n ĥ(ξ ĥ(ξ ( x+(2π n ( x = (2π n ĥ( x = h(x. ξ ξ Here we used that whenever g(ξ, ξ k g(ξ, ξ k ξ l g(ξ L 1 (R n, then n 2ĝ(ξ n ĝ = = i ξ k g(ξ n = ξ xk 2 k 2 x g(ξ = ξ 2 g(ξ. k k=1 k=1 k=1 12 (
13 (9 (10 points Let f : R R be an L-measurable and integrable function and define the function F : R R by fχ [0,t] dλ if t 0 F (t = fχ [t,0] dλ if t < 0 13 Show that for any compactly supported smooth function g Cc fg dλ = F g dλ (R we have where g denotes the derivative of g. You can use without proof the fact that F is continuous. First solution Let ε > 0. By the denseness of C c such that f f 1 < ε. Set f χ [0,t] dλ if t 0 F (t = f χ [t,0] dλ if t < 0 F is smooth and (F (x = f (x. (R in L 1 (R, we can find an f C (R = t 0 f (x dx. Since g Cc (R, we know that g, g 1 < C <. f f χ [0,t] dλ if t 0 F (t F (t f f dλ < ε. f f χ [t,0] dλ if t < 0 f g dλ + F g dλ f g dλ + F g dλ + (f f g dλ + (F F g dλ. The first term is zero by the Fundamental Theorem of Calculus. The second an third terms is bounded by f f g dλ < Cε, F F g dλ ε g dλ Cε. Letting ε 0, yields the result. f g dλ + F g dλ < 2Cε.
14 14 First solution We compute F (tg (t dt = ( [0, f (xχ [0,t] (x dx g (t dt (,0 ( f (xχ [t,0] (x dx g (t dt By Fubini (observe that (x, t f (xχ [0,t] (xg (t and (x, t f (xχ [t,0] (xg (t are integrable, since g has compact support and f is integrable, this is equal to ( ( f (xg (tχ [0,t] (x dt dx f (xg (tχ [t,0] (x dt dx [0, (,0 If t 0, then χ [0,t] (x = χ [x, (tχ [0, (x and if t < 0, then χ [t,0] (x = χ (,x] (tχ (,0] (x. the term above is equal to ( f (xχ [0, (x g (tχ [x, (t dt dx [0, ( f (xχ (,0] (x g (tχ (,x] (t dt dx (,0 By the Fundamental Theorem of Calculus if x 0, then g (tχ [x, (t dt = g (t dt = g(x and if x 0, then [0, (,0 g (tχ (,x] (t dt = ( is equal to f (xχ [0, (xg(x dx x x g (t dt = g(x f (xχ (,0] g(x0 dx = f (xg(x dx. (
3. (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 informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
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 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 informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
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 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 information3 (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 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 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 information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
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 informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
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 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 informationLEBESGUE MEASURE, INTEGRAL, MEASURE THEORY: A QUICK INTRO
LEBEGUE MEAURE, INTEGRAL, MEAURE THEORY: A QUICK INTRO This note is meant to give an overview of some general constructions and results, certainly not meant to be complete, but with your knowledge of Riemann
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
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 informationThe reference [Ho17] refers to the course lecture notes by Ilkka Holopainen.
Department of Mathematics and Statistics Real Analysis I, Fall 207 Solutions to Exercise 6 (6 pages) riikka.schroderus at helsinki.fi Note. The course can be passed by an exam. The first possible exam
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 informationMEASURE AND INTEGRATION: LECTURE 18
MEASURE AND INTEGRATION: LECTURE 18 Fubini s theorem Notation. Let l and m be positive integers, and n = l + m. Write as the Cartesian product = +. We will write points in as z ; x ; y ; z = (x, y). If
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
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 informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationThe optimal partial transport problem
The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationMath 172 Problem Set 5 Solutions
Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable
More informationAnalysis Comprehensive Exam Questions Fall 2008
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)
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
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 informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
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 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 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 informationCompendium and Solutions to exercises TMA4225 Foundation of analysis
Compendium and Solutions to exercises TMA4225 Foundation of analysis Ruben Spaans December 6, 2010 1 Introduction This compendium contains a lexicon over definitions and exercises with solutions. Throughout
More informationMATH 104 : Final Exam
MATH 104 : Final Exam 10 May, 2017 Name: You have 3 hours to answer the questions. You are allowed one page (front and back) worth of notes. The page should not be larger than a standard US letter size.
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 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 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 informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
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 informationDifferentiation of Measures and Functions
Chapter 6 Differentiation of Measures and Functions This chapter is concerned with the differentiation theory of Radon measures. In the first two sections we introduce the Radon measures and discuss two
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 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 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 informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationMATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005
MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005 1. True or False (22 points, 2 each) T or F Every set in R n is either open or closed
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationMath 172 Problem Set 8 Solutions
Math 72 Problem Set 8 Solutions Problem. (i We have (Fχ [ a,a] (ξ = χ [ a,a] e ixξ dx = a a e ixξ dx = iξ (e iax e iax = 2 sin aξ. ξ (ii We have (Fχ [, e ax (ξ = e ax e ixξ dx = e x(a+iξ dx = a + iξ where
More informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
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 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 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 informationMath 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).
Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain
More informationExam 2 extra practice problems
Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either
More informationGeneral Instructions
Math 240: Real Analysis Qualifying Exam May 28, 2015 Name: Student ID#: Problems/Page Numbers Total Points Your Score Problem 1 / Page 2-3 40 Points Problem 2 / Page 4 Problem 3 / Page 5 Problem 4 / Page
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 informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More information7. Let X be a (general, abstract) metric space which is sequentially compact. Prove X must be complete.
Math 411 problems The following are some practice problems for Math 411. Many are meant to challenge rather that be solved right away. Some could be discussed in class, and some are similar to hard exam
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 informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationMath 240 (Driver) Qual Exam (9/12/2017)
1 Name: I.D. #: Math 240 (Driver) Qual Exam (9/12/2017) Instructions: Clearly explain and justify your answers. You may cite theorems from the text, notes, or class as long as they are not what the problem
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 informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationMATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS
MATH. 4433. NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS TOMASZ PRZEBINDA. Final project, due 0:00 am, /0/208 via e-mail.. State the Fundamental Theorem of Algebra. Recall that a subset K
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More information8 Further theory of function limits and continuity
8 Further theory of function limits and continuity 8.1 Algebra of limits and sandwich theorem for real-valued function limits The following results give versions of the algebra of limits and sandwich theorem
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationMATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS
MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS You may not use notes, books, etc. Only the exam paper, a pencil or pen may be kept on your desk during the test. Calculators are not
More informationMAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17
MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures
More informationMath 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M
Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem
More informationII. FOURIER TRANSFORM ON L 1 (R)
II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The
More informationAMSI 2013: MEASURE THEORY Handout 4 Measurable and Borel Functions
AMSI 2013: MEASURE THEORY Handout 4 Measurable and Borel Functions Marty Ross martinirossi@gmail.com January 15, 2013 Measurable functions are the generalization of measurable sets: those functions which
More informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
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 informationPreparatory Material for the European Intensive Program in Bydgoszcz 2011 Analytical and computer assisted methods in mathematical models
Preparatory Material for the European Intensive Program in Bydgoszcz 2011 Analytical and computer assisted methods in mathematical models September 4{18 Basics on the Lebesgue integral and the divergence
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More information18.175: Lecture 3 Integration
18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationReal Analysis, October 1977
Real Analysis, October 1977 1. Prove that the sequence 2, 2 2, 2 2 2,... converges and find its limit. 2. For which real-x does x n lim n 1 + x 2n converge? On which real sets is the convergence uniform?
More informationFunctional Analysis. Thierry De Pauw
Functional Analysis Thierry De Pauw The drawing on the front is c Courtney Gibbons brownsharpie.courtneygibbons.org 1 Contents 1 Preliminaries 4 1.1 Countability.............................. 4 1.2 Metric
More informationParabolic L p L q estimates
Parabolic L p L q estimates Dietmar A. Salamon ETH Zürich 7 July 27 Abstract The purpose of this expository paper is to give a self-contained proof of maximal L p /L q regularity for the heat equation
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 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 informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More information