Solution to Exercise 3
|
|
- Neal Edmund Hensley
- 6 years ago
- Views:
Transcription
1 Spring 207 MATH502 Real Analysis II Solution to Eercise 3 () For a, b > 0, set a sin( b ), 0 < f() = 0, = 0. nπ+π/2 Show that f is in BV [0, ] iff a > b. ( ) b Solution. Put n = for n 0. We claim that f is of bounded variation on [0, 0 ], hence of bounded variation on [0, ]. Now, note that sin n = and sin n sin n =, the total variation of f over [0, 0 ] is f( n ) f( n ) = We have ( nπ + π/2 ) a b ( (n )π + π/2 ) a b + ( ( f( n ) f( n ) 2 nπ + π/2 ) a b (n )π + π/2 It is easy to verify that the partial sum of the series converges iff a > b hence the total variation is bounded iff a > b. We in fact can show that f AC[0, ] if a > b, since for 0 ) a b f () = a a sin( b ) b a b cos( b ) L [0, ]. Now let (0, ] and 0 < ε <, by the fundamental theorem of calculus for smooth function, we have f() f(ε) = ε f (t)dl (t).
2 By the continuity of f at 0, we may let ε 0. Hence f() f(0) = 0 f dl and the absolute continuity of f follows from Theorem 6.8. (2) A function is called Lipschitz continuous on an interval I if M > 0 such that f() f(y) M y. (a) Show that every Lipschitz continuous function is absolutely continuous on I. (b) Show that there are always absolutely continuous functions which are not Lipschitz continuous. Solution. (a) It follows directly from f(i ) f( i) M i i. (b) Put f() = on [0, ]. Then we have f() = 0 2 t dt is an indefinite integral hence is absolutely continuous. But that f() f(0) 0 = as 0 shows that f is not Lipschitz. (3) Assume that < p <, f is absolutely continuous on [a, b], f L p, and α = /q, where q is the eponent conjugate to p. Prove that f Lipα. 2
3 Solution. Since f is absolutely continuous, we have f(y) f() = y f y ( y f f p ) p ( y y q f p ) q by Hölder s inequality. Note. Nowadays the standard notation is f C α [a, b], α = /q. This is a simple version of embedding inequality. (4) Show that the product of two absolutely continuous functions on [a, b] is absolutely continuous. Use this to derive a theorem about integration by parts. Solution. Let f, g be absolutely continuous. Since every absolutely continuous function is bounded on every bounded closed interval, we can suppose that f, g M. f(i )g( i ) f( i)g( i) f( i )g( i ) f( i )g( i) + f( i )g( i) f( i)g( i) M g( i ) g( i) + M f( i ) f( i). This shows that fg is absolutely continuous whenever f, g are absolutely continuous. Integrating (fg) = f g + fg (this is the product rule for differentiable functions, still valid) from a to b gives f(b)g(b) f(a)g(a) since f g is absolutely continuous. b fg = b a a (5) Suppose E [a, b], m(e) = 0. Construct an absolutely continuous monotonic f g 3
4 function f on [a, b] so that f () = at every E. Hint: E V n, V n open, m(v n ) 2 n. Consider the sum of the characteristic functions of these sets. Solution. Since L(E) = 0, there eists a decreasing sequence {V n } of open set with L(V n ) < 2 n such that E V n. Put f() = χ Vn. a n let E. Choosing decreasing δ n > 0 such that W n = ( δ n, + δ n ) V n. If 0 < h < δ N, f( + h) f() = +h χ Vn +h N χ Wn Mh, where M is the number of W n containing ( h, + h). Clearly M as h 0. The same holds for δ N E. < h < 0. This shows that f(+h) f() h at every (6) Let f be in AC[a, b]. Show that the total variation for f of f is also in AC[a, b]. Moreover, T f (b) = b a f (t) dt. Solution. The inequality T f (b) [a,b] f is straightforward, so we work on the other inequality. We first assume f is continuous. For ε > 0,, let A = { : f () > ε}, B = { : 4
5 f () < ε}, and C = { : f () ε}. We have disjoint decompositions A = j (a j, b j ), B = j (c j, d j ). Then b f = f + ( f ) + f B C = f + dj ( f ) + f j a j j c j C f(b j ) f(a j ) + f(d j ) f(c j ) + ε(b a) j j a A bj T f (b) + ε(b a), which implies T f (b) b a f. In general, pick a continuous ϕ so that f ϕ L < ε and define g() = a ϕ. Then f() g() Cε on [a, b] for some constant C. Using T f (b) T g (b) T f g (b) C ε one can show that T f (b) b a f in the general case. (7) Let X and Y be topological spaces having countable bases. (a) Show that X Y has a countable base. (In product topology on X Y, a set G is open if (, y) G, there is some G open in X, G 2 open in Y such that (, y) G G 2 G.) (b) Let µ and ν be Borel measures on X and Y respectively. Show that µ ν is a Borel measure. Solution. (a) Let B X and B Y be the countable bases of X and Y respectively. Put B be the collection of all U V where U B X and V B Y. We know that B is countable. We claim that B forms a base for X Y. Let W be open in 5
6 X Y. Let (, y) W. Then there eists open U, V containing and y respectively. Choose U B X be a subset of U and V B Y be a subset of V. Then U V B and (, y) U V W. (b) As in the proof in (a), every open set in X Y is a countable union of members in B. But each member in B is a measurable rectangle because µ and ν are both Borel. It follows that every open set hence every Borel set is measurable. (8) Let µ be the product measure L L on R n. Show that µ is equal to L n. Solution. Both measures satisfy the following characterization of the Lebesgue measure: (a) translational invariant and (b) the measure of the unit square is. See an eercise in last semester. Note. The definition of the product measure of finitely many measures can be done like the n = 2 case. One can also show that L n L m = L n+m. (9) Fi a = 0 < a 2 < a 3 < < a n and let g n be a continuous function, sptg n (a n, a n+ ), n, g n =. Let f(, y) = Verify that (g n () g n+ ())g n (y). ( ( ) f d dy = 0, but ) f dy d =, and f is L 2 -measurable. Eplain why Fubini s theorem cannot apply. Solution. Since for each (, y), only the N-th term of the sum is non-zero if 6
7 y (a N, a N+ ). Now for each y lies in support of g N, f(, y)d = an+ a N [g N () g N+ ()]g N (y)d = 0 because g n = for all n. Thus f(, y)ddy = 0. If y does not lie in any support of g n, the same conclusion holds. For lies in support of g N, if N > f(, y)dy = g N ()g N (y) + g N ()g N (y)dy = 0 and if N =, If follows that f(, y)dy = a2 a g ()g (y)dy = g (). f(, y)dyd = a2 a f(, y)dyd =. That f is L 2 -measurable follows from the fact that f is a countable sum of continuous functions. Fubini s fails since f(, y) dy = = an g N ()g N (y) + g N ()g N (y) dy a N g N ()g N (y) dy + 2 g N (), an+ a N g N ()g N (y) dy if (a N, a N+ ), which shows that f(, y) dyd = an+ a n 2 g n () d =. 7
8 (0) Let µ and ν be outer measures defined on X and Y respectively and let f be µ-measurable and g ν-measurable with values in (, ]. Is it true that (, y) f()+g(y) measurable in µ ν? How about the map (, y) f()g(y)? Solution. Yes, they are. Since the sum and product of µ ν measurable functions are µ ν measurable. It suffices to check the functions F (, y) := f() and G(, y) := g(y) are µ ν measurable. W.L.O.G. we only consider F. Let U be an open set, then F (U) = f (U) Y is µ ν measurable since it is a measurable rectangle. Hence we have F is µ ν measurable function. () (a) Suppose that f is a real-valued function in R 2 such that each section f is Borel measurable and each section f y is continuous. Prove that f is Borel measurable in R 2. There is a hint given in [R]. (b) Suppose that g is a real-valued function in R n which is continuous in each of the n-variables separately. Prove that g is Borel. Solution. (a) We try to show that f is the pointwise limit of a sequence of Borel measurable functions and so is Borel measurable. We define f n piecewisely in the following way: if a i := i n f n (, y) = < i, for some i Z, then n a i a i a i f(a i, y) + a i a i a i f(a i, y). Obviously f n is Borel measurable by the previous problem and satisfies f n (, y) f(, y) f(a i, y) f(, y) + f(a i, y) f(, y) 0 as n since we have f y is a continuous function. 8
9 (b) We prove the result by doing induction on n. The case for n = is trivial. Suppose it is true for n = k. For n = k +, the map y := ( 2, k+ ) g(,, k+ ) is Borel measurable by induction assmption, i.e. g is Borel measurable. Moreover, by our assumption g y is continuous. g is Borel follows directly by considering the following sequence g m as before, g m (, y) = a i a i a i g(a i, y) + a i a i a i g(a i, y). (2) Suppose that f is real-valued in R 2, f is Lebesgue measurable for each, and f y is continuous for each y. Suppose that g : R R is Lebesgue measurable, and put h(y) = f(g(y), y). Prove that h is Lebesgue measurable on R. Solution. We argue as before to define h n by h n (y) := f n (g(y), y) = a i g(y) a i a i f(a i, y) + g(y) a i a i a i f(a i, y) if g(y) [a i, a i ). Obviously h n is Lebesgue measurable and tends to h pointwisely as n goes to. Therefore, h(y) is Lebesgue measurable. (3) Give an eample of two measurable sets A and B in R 2 but A + B is not measurable. Suggestion: For the two-dimensional case, take A = {0} [0, ] and B = N {0} where N is a non-measurable set in R. Solution. Let N be the non-measurable set in R constructed by picking eactly one element in [0, ] from each equivalence class defined by y iff y Q. Put A = {0} [0, ] and B = N {0}. Then since A and B are of measure 9
10 zero, they are both measurable. But A + B = N [0, ]. We write {r n } is an enumeration of Q in [, ]. We have [0, ] [0, ] (A + B + (r i, 0)) [, 2] [0, ] which shows that it is impossible to have countable additivity for the union above. 0
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 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 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 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 informationReal Analysis: Homework # 12 Fall Professor: Sinan Gunturk Fall Term 2008
Eduardo Corona eal Analysis: Homework # 2 Fall 2008 Professor: Sinan Gunturk Fall Term 2008 #3 (p.298) Let X be the set of rational numbers and A the algebra of nite unions of intervals of the form (a;
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 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 informationIn last semester, we have seen some examples about it (See Tutorial Note #13). Try to have a look on that. Here we try to show more technique.
MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #4 Part I: Cauchy Sequence Definition (Cauchy Sequence): A sequence of real number { n } is Cauchy if and only if for any ε >
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 informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationMath 565: Introduction to Harmonic Analysis - Spring 2008 Homework # 2, Daewon Chung
Math 565: Introduction to Harmonic Analysis - Spring 8 Homework #, Daewon Chung. Show that, and that Hχ [a, b] : lim H χ [a, b] a b. H χ [a, b] : sup > H χ [a, b] a b. [Solution] Let us pick < min a, b
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 informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
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 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 informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
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 informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
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 19, Homework-1 Solutions
SSEA Summer 207 Math 9, Homework- Solutions. Consider the graph of function f shown below. Find the following its or eplain why they do not eist: (a) t 2 f(t). = 0. (b) t f(t). =. (c) t 0 f(t). (d) Does
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 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 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 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 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 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 informationG1CMIN Measure and Integration
G1CMIN Measure and Integration 2003-4 Prof. J.K. Langley May 13, 2004 1 Introduction Books: W. Rudin, Real and Complex Analysis ; H.L. Royden, Real Analysis (QA331). Lecturer: Prof. J.K. Langley (jkl@maths,
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
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 informationMA2223 Tutorial solutions Part 1. Metric spaces
MA2223 Tutorial solutions Part 1. Metric spaces T1 1. Show that the function d(,y) = y defines a metric on R. The given function is symmetric and non-negative with d(,y) = 0 if and only if = y. It remains
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 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 informationHomework #12 corrections
Homework #2 corrections April 25, 205 (284) Let f() = 2 sin for 0 and f(0) = 0 (a) Use Theorems 283 and 284 to show f is differentiable at each a 0 and calculate f (a) Use, without proof, the fact that
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 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 information4. We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x
4 We accept without proofs that the following functions are differentiable: (e x ) = e x, sin x = cos x, cos x = sin x, log (x) = 1 sin x x, x > 0 Since tan x = cos x, from the quotient rule, tan x = sin
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 informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
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 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 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 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 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 informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More informationMATS113 ADVANCED MEASURE THEORY SPRING 2016
MATS113 ADVANCED MEASURE THEORY SPRING 2016 Foreword These are the lecture notes for the course Advanced Measure Theory given at the University of Jyväskylä in the Spring of 2016. The lecture notes can
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
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 informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
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 informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
More informationREAL VARIABLES: PROBLEM SET 1. = x limsup E k
REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E
More informationMultivariate Calculus Solution 1
Math Camp Multivariate Calculus Solution Hessian Matrices Math Camp In st semester micro, you will solve general equilibrium models. Sometimes when solving these models it is useful to see if utility functions
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
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 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
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 informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
More informationIowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions
Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined
More informationMATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.
MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if
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 informationEconomics 205 Exercises
Economics 05 Eercises Prof. Watson, Fall 006 (Includes eaminations through Fall 003) Part 1: Basic Analysis 1. Using ε and δ, write in formal terms the meaning of lim a f() = c, where f : R R.. Write the
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
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 informationFunctional Analysis, Stein-Shakarchi Chapter 1
Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises
More informationCHAPTER 1. Metric Spaces. 1. Definition and examples
CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationx 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus
Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist
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 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 informationWritten Assignment #1 - SOLUTIONS
Written Assignment #1 - SOLUTIONS Question 1. Use the definitions of continuity and differentiability to prove that the function { cos(1/) if 0 f() = 0 if = 0 is continuous at 0 but not differentiable
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationA strongly rigid binary relation
A strongly rigid binary relation Anne Fearnley 8 November 1994 Abstract A binary relation ρ on a set U is strongly rigid if every universal algebra on U such that ρ is a subuniverse of its square is trivial.
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 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 Banach-Tarski paradox
The Banach-Tarski paradox 1 Non-measurable sets In these notes I want to present a proof of the Banach-Tarski paradox, a consequence of the axiom of choice that shows us that a naive understanding of the
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 informationREVIEW FOR THIRD 3200 MIDTERM
REVIEW FOR THIRD 3200 MIDTERM PETE L. CLARK 1) Show that for all integers n 2 we have 1 3 +... + (n 1) 3 < 1 n < 1 3 +... + n 3. Solution: We go by induction on n. Base Case (n = 2): We have (2 1) 3 =
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 informationLebesgue-Stieltjes measures and the play operator
Lebesgue-Stieltjes measures and the play operator Vincenzo Recupero Politecnico di Torino, Dipartimento di Matematica Corso Duca degli Abruzzi, 24, 10129 Torino - Italy E-mail: vincenzo.recupero@polito.it
More informationI know this time s homework is hard... So I ll do as much detail as I can.
I know this time s homework is hard... So I ll do as much detail as I can. Theorem (Corollary 7). If f () g () in (a, b), then f g is a constant function on (a, b). Proof. Call h() f() g(). Then, we try
More informationLimits and Their Properties
Chapter 1 Limits and Their Properties Course Number Section 1.1 A Preview of Calculus Objective: In this lesson you learned how calculus compares with precalculus. I. What is Calculus? (Pages 42 44) Calculus
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
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 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 information4. (10 pts) Prove or nd a counterexample: For any subsets A 1 ;A ;::: of R n, the Hausdor dimension dim ([ 1 i=1 A i) = sup dim A i : i Proof : Let s
Math 46 - Final Exam Solutions, Spring 000 1. (10 pts) State Rademacher's Theorem and the Area and Co-area Formulas. Suppose that f : R n! R m is Lipschitz and that A is an H n measurable subset of R n.
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationPartial Solutions to Folland s Real Analysis: Part I
Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland
More information1 Continuity and Limits of Functions
Week 4 Summary This week, we will move on from our discussion of sequences and series to functions. Even though sequences and functions seem to be very different things, they very similar. In fact, we
More informationREAL ANALYSIS I Spring 2016 Product Measures
REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the
More informationMeasure and Integration Summary
Measure and Integration Summary Jacob Shapiro September 4, 2013 Abstract This is a (very rough) translation of Prof. Michael Struwe s German lecture Notes into English, as preparation for the final test
More information