Introductory Analysis 2 Spring 2010 Exam 1 February 11, 2015
|
|
- Moris Powell
- 6 years ago
- Views:
Transcription
1 Introductory Analysis 2 Spring 21 Exam 1 February 11, 215 Instructions: You may use any result from Chapter 2 of Royden s textbook, or from the first four chapters of Pugh s textbook, or anything seen in class. Anything more advanced needs to be justified (and probably should not be used). You may also use results from previous homework. 1. Let g : [, 1] R be continuous. Show there exists a unique continuous function f : [, 1] R such that f(x) = g(x) + e (x t)2 f(t) dt. Hint: All you need to do here are some simple computations, and quoting past results correctly. Make sure you quote them correctly. Something that may or may not be useful (depending on how you decide to solve the problem) is: If φ : [a, b] R is continuous, φ(x) for all x [a, b] and φ is NOT identically zero, then b φ(t) dt >. a Solution. The idea in solving this exercise is essentially the same as in Picard s Theorem. The space M = C([, 1]) = {f : [, 1] R} is (as seen in part 1) a complete metric space with the metric defined by d(f, g) = f g, where Given g M, Define L : M M by L(f)(x) = g(x) + f = max x1 f(x). e (x t)2 f(t) dt. It is clear that Lf : [, 1] [, 1] is continuous; that is Lf M if f M so that we do indeed have L mapping from M into M. If f, h M, then for x [, 1], L(f)(x) L(h)(x) = e (x t)2 f(t) dt e (x t)2 h(t) dt e (x t)2 f(t) h(t) dt ( ) ( ) e (x t)2 dt = e t2 dt f g ( 1 ) e t2 dt f g. This being true for all x [, 1], we proved L(f) L(h) α f h ; i.e., d(l(f), L(h)) αd(f, h) for all f, h M, where α = 1 dt. We notice that < α < 1. In fact, e t2 e t2 < 1 for all t (, 1] so that! e t2 > for all t (, 1], hence 1 α = 1 (1 e t2 ) dt >. It follows that L is a contraction from M to M. since (as mentioned) M is complete, L has a fixed point; there is f M such that f = Lf.
2 2. If I = (a, b) is an open, bounded, interval in R, define λ(i) = e b e a. If A R define µ (A) = inf{ λ(i n ) : {I n } n N ranges over all families of bounded open intervals s.t. A I n }. Prove that µ is an outer measure in R; that is, prove: (a) µ ( ) =. (b) A B implies µ (A) µ (B). (c) µ ( A n) µ (A n ) for all countable families A 1, A 2,... of subsets of R. Solution. The proof of all these properties is identical to the proof that the outer measure m defined in the textbook is indeed an outer measure. I allowed the covering intervals to be empty, which simplifies the proof. However, that is not necessary. Proof that µ ( ) =. Since x e x is continuous, given ϵ >, n N we can find a n, b n R, a n < b n such that e bn e an < ϵ/2 n+1. Setting I n = (a n, b n ) we have λ(i n ) < ϵ/2 n+1. Now I n, hence µ ϵ ( ) λ(i n ) < = ϵ. 2n+1 Since ϵ > was arbitrary, we are done. Proof that µ is monotone. Assume A B R. If {I n } is any family of open intervals covering B, it also covers A hence µ (A) λ(i n ). This implies that µ (A) is all numbers in the set of which µ (B) is the greatest lower bound. Thus µ (A) µ (B). Proof of σ-subadditivity. Assume A, A 1, A 2,... are subsets of R and A A n. Let ϵ > be given. For each n N there is a family {I nk } k N of open and bounded intervals such that A n I nk and λ(i nk) < µ (A n ) + ϵ 2. Then {I n+1 nk } n,k N is a covering of A by a countable family of open intervals,hence µ (A) k,n N λ(i nk ) = λ(i nk ) < Since ϵ > is arbitrary, we are done. ( µ (A n ) + ϵ 2 n+1 ) = Bonus: Is µ (I) = λ (I) if I is a bounded open interval? µ (A n )+ϵ. The answer is yes, the proof is similar (slightly easier because you have to deal only with open, bounded intervals) than the proof that the outer measure of an interval is its length. The fact that µ (I) λ(i) is trivial by the definition. For the converse inequality, assume I = (a, b) I n, where each I n is an open bounded interval. One needs to prove that λ(i ) λ(i n). One proceeds as for Lebesgue outer measure but 2
3 with a bit of care. The idea is identical, but shrinking an interval by ϵ > does not decrease its λ value by ϵ. We need an ϵ and a δ. We can argue as follows. Because I is open we can assume I n I for all n. In fact, otherwise replace I n by I n I; I n I is againa an open interval and because x e x is strictly increasing, λ(i n I) λ(i n ), so if we prove λ(i ) λ(i n I), then λ(i ) λ(i n) follows. It may be convenient to define f : R R by f(x) = e x. Because it is continuous, it is uniformly continuous on bounded sets; given ϵ > there is δ > such that x y δ; x, y I implies f(x) f(y) < ϵ/2. Let J = [a+δ, b δ] so that J is a closed and bounded interval, J I. By compactness, there is N N such that I 1,..., I N cover J. We relabel these intervals as follows as in Royden. There is one of these intervals containing a + δ. Relabel it as I 1 = (a 1, b 1 ). If b 1 < b δ we are done. If not, there is another one of this finite set of intervals containing b 2. Relabel it as I 2 = (a 2, b 2 ). And so forth. The process has to end, eventually one of the intervals contains b δ, since we only have a finite number of intervals. So we have for some m N a 1 < a + δ < a 2 < b 1 < b 2 < a 3 < < a m < b δ < b m. Now, as in Royden (p. 32), but adding the function f. Since f is increasing, it preserves order relations. Notice that (f(a m ) f(b m 1 )) + (f(a m 1 ) f(b m 2 )) + (f(a 2 ) f(b 1 )) < because b k (a k+1, b k+1 ); subtracting this expressions increases quantities. So, as in Royden, but with an f around points, f (b δ) f (a + δ) < f(b m ) f(a m ) < f(b m ) (f(a m ) f(b m 1 )) (f(a 2 ) f(b 1 )) f(a 1 ) = (f(b m ) f(a m )) + (f(b m 1 ) f(a m 1 ) + + (f(b 1 ) f(a 1 )) m = λ(i k ) This proves that f(b δ) f(a + δ) < λ(i n ), where now the I n s are again the original I n s. By choice of δ, f(b δ) > f(b) ϵ/2, f(a + δ) < f(a) + ϵ/2 so that λ(i) = f(b) f(a) < f(b δ) f(a + δ) + ϵ < m λ(i k ) + ϵ. Since ϵ > is arbitrary, this proves λ(i) m λ(i k); since {I n } was an arbitrary covering of I by open, bounded intervals, this proves λ(i) µ (I). 3. Let E be a measurable subset of R. Prove: m(e) = sup{m(c) : C is a compact subset of E}. Solution. Maybe I should have made this easier by adding the assumption that E is bounded. Then it is an immediate consequence of Theorem 11 in Royden, since closed bounded sets are compact. For an unbounded E there are several ways to proceed. one way is to prove it first for a 3
4 bounded set. So let s do this, assume first E is bounded. Let ϵ >. By Theorem 11 (p.4) in Royden, there is a closed sibset F of E such that m(e\f ) < ϵ. Since bounded sets have finite measure, we see that m(e) m(f ) < ϵ, hence m(e) < m(f ) + ϵ sup{m(c) : C closed,c E} + ϵ. Since ϵ > was arbitrary we see that m(e) is the sup of the measure of all included closed sets; since the opposite inequality is obvious we have that m(e) = sup{m(c) : C is a closed subset of E} = sup{m(c) : C is a compact subset of E} since compact and closed are the same thing for bounded subsets of R. For the general case, let E n = E [ n, n]. There is then a compact set C n E n such that m(e n ) < m(c n )+1/n. Here is the place where we have to be a little bit careful. So far, to say something like m(a) < m(b) + ϵ for measurable sets A, B, B A, as long as A has finite measure, is equivalent to m(a\b) < ϵ. But if the measures get infinite, things change. Back to E n, C n. We have E 1 E 2 E 3 and E = E n, thus m(e) = lim n m(e n ). We now have unfortunately to consider two cases. Case 1: m(e) <. Given ϵ >, there is then n such that m(e n ) + ϵ/2 > m(e) and such that 1/n < ϵ/2. Then m(e) < m(e n ) + ϵ 2 < m(c n) + 1 n + ϵ 2 < m(c n) + ϵ. We proved that for every ϵ >, E contains a compact subset with measure > m(e) ϵ; the conclusion follows. Case 2. m(e) =. In this case lim n m(e n ) = thus also lim n m(c n ) =. Thus for every R > there is n such that m(c n ) > R; in other words, for every R >, E contains a compact subset of measure > R. It follows that sup{m(c) : C is a compact subset of E} = = m(e). 4. Prove or disprove: There exists a closed subset of the interval [, 1], consisting exclusively of irrational numbers, having positive measure. That is, can there exist F closed, F [, 1]\Q, m(f ) >? Solution. Since the set of irrational numbers is a measurable set of infinite measure, by the previous exercise it contains compact, hence closed, subsets of arbitrarily large measure. So there certainly exists such a set F. Many such sets, even compact such sets. 5. Let E R, assume m (E) <. (a) Show there exists an F σ set A and a G δ set U such that A E U and m(a) = m (E) = m(u). Solution. This is exercise 18 (p. 43) in Royden. Half of it is false. But first we first show the existence of the G δ set. One doesn t really need m (E) < for this part; if m (E) = we can take U = R. But the proof for the case m (E) < is a bit more involved. So assume m (E) <. Let ϵ > be given. There exists then a family {I n } of bounded open intervals such that E I n and 4
5 m (E) l(i n) < m (E) + ϵ. Setting U ϵ = I n, U ϵ is open, E U ϵ and The set U = m (E) m(u ϵ ) m(i n ) = l(i n ) < m (E) + ϵ. U 1/k is a G δ set, E U and since m(u) m(u k ) < m (E) + 1 k for all k, we see that m(u) m (E); since E U we also have m (E) m (U) = m(u). This takes care of the existence of the G δ set. But the F σ set might not exist. I will refer to my answers to Homework 3, Exercise 1. The same argument I use there proves that if E is a measurable set of positive finite measure, if A = C E (defined as in Royden), then m (A) > (has to be since A is not measurable, m (A) < (because E A and m(a) < ), and every measurable subset (in particular every F σ subset) of A has measure. In other words, there is NO F σ subset of A with m(f σ ) = m (A). 6. Show there is a continuous, strictly increasing, function on the interval [, 1] that maps a set of positive measure onto a set of measure. Hint: What goes up must come down. problem seems hard, invert it. Or as Abel used to say, if a Solution. If the problem had stated: Show there is a continuous, strictly increasing, function on the interval [, 2] (instead of [, 1]) that maps a set of positive measure onto a set of measure, it would have been a trivial consequence of Proposition 21 (p.52) of Royden. In fact, by Proposition 21, the function ψ : [, 1] [, 2] defined there is onto, strictly increasing, continuous and maps C onto a set of positive measure. Since ψ is strictly increasing and onto [, 2], it is invertible and ψ 1 : [, 2] [, 1] is strictly increasing and onto. Moreover, ψ 1 is continuous, since ψ is continuous and [, 1] is compact. Almost finally, if we let E = ψ(c), then by Proposition 11, E is a measurable set of positive measure (in fact, of measure 1). Thus ψ 1 maps a measurable set of positive measure, namely E, onto a set of measure, namely C. The transition to the interval [, 1] is quite easy. Let E be as above. The easiest way to proceed is to say that either E 1 = E [, 1] or E 2 = E [, 2] has positive measure. If m(e 1 ) >, then let f = ψ 1 [,1] ; f is clearly strictly increasing, continuous, and maps the non-null measurable set E 1 onto a subset of the Cantor set C, thus onto a null set. If m(e 1 ) =, so m(e 2 ) >, define g : [, 1] [, 1] by g(x) = ψ 1 (x + 1). Once again it is immediate that g is strictly increasing, continuous. Letting E 3 = E 2 1 (E 2 translate by one to the left), we see that E 3 is a measurable subset f [, 1] of positive measure and g(e 3 ) = ψ 1 (E 2 ) C is a null set. Done. There are other ways one can apply Royden s Proposition. For example one can define the sought for function by x ψ 1 (2x); but then one needs to prove that if E is a subset of [, 2] of positive measure, then {x [, 1] : 2x E} also has positive measure. This is fairly easy, but a bit more time consuming than what I did. 5
1/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 informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationSelected solutions for Homework 9
Math 424 B / 574 B Due Wednesday, Dec 09 Autumn 2015 Selected solutions for Homework 9 This file includes solutions only to those problems we did not have time to cover in class. We need the following
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 informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
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 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 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 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 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 informationµ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity
A crash course in Lebesgue measure theory, Math 317, Intro to Analysis II These lecture notes are inspired by the third edition of Royden s Real analysis. The Jordan content is an attempt to extend the
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationMath212a1411 Lebesgue measure.
Math212a1411 Lebesgue measure. October 14, 2014 Reminder No class this Thursday Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous
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 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 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 informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More informationIntroductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19
Introductory Analysis I Fall 204 Homework #9 Due: Wednesday, November 9 Here is an easy one, to serve as warmup Assume M is a compact metric space and N is a metric space Assume that f n : M N for each
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 informationEconomics 204 Fall 2011 Problem Set 2 Suggested Solutions
Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
More informationExercises from other sources REAL NUMBERS 2,...,
Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},
More informationMath 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012
Instructions: Answer all of the problems. Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012 Definitions (2 points each) 1. State the definition of a metric space. A metric space (X, d) is set
More informationQuick Tour of the Topology of R. Steven Hurder, Dave Marker, & John Wood 1
Quick Tour of the Topology of R Steven Hurder, Dave Marker, & John Wood 1 1 Department of Mathematics, University of Illinois at Chicago April 17, 2003 Preface i Chapter 1. The Topology of R 1 1. Open
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 informationWalker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015
Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of
More informationReal Analysis - Notes and After Notes Fall 2008
Real Analysis - Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationSolutions Manual for: Understanding Analysis, Second Edition. Stephen Abbott Middlebury College
Solutions Manual for: Understanding Analysis, Second Edition Stephen Abbott Middlebury College June 25, 2015 Author s note What began as a desire to sketch out a simple answer key for the problems in Understanding
More informationJORDAN CONTENT. J(P, A) = {m(i k ); I k an interval of P contained in int(a)} J(P, A) = {m(i k ); I k an interval of P intersecting cl(a)}.
JORDAN CONTENT Definition. Let A R n be a bounded set. Given a rectangle (cartesian product of compact intervals) R R n containing A, denote by P the set of finite partitions of R by sub-rectangles ( intervals
More informationSome Function Problems SOLUTIONS Isabel Vogt Last Edited: May 24, 2013
Some Function Problems SOLUTIONS Isabel Vogt Last Edited: May 24, 23 Most of these problems were written for my students in Math 23a/b at Harvard in 2/22 and 22/23. They cover basic function theory, countability,
More information1 The topology of metric spaces
Introductory Analysis I Fall 2014 Notes on Metric Spaces These notes are an alternative to the textbook, from and including Closed Sets and Open Sets (page 58) to and excluding Cantor Sets (page 95) 1
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationGeneral Notation. Exercises and Problems
Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.
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 informationFirst In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018
First In-Class Exam Solutions Math 40, Professor David Levermore Monday, October 208. [0] Let {b k } k N be a sequence in R and let A be a subset of R. Write the negations of the following assertions.
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
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 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 informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
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 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 informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationWe are now going to go back to the concept of sequences, and look at some properties of sequences in R
4 Lecture 4 4. Real Sequences We are now going to go back to the concept of sequences, and look at some properties of sequences in R Definition 3 A real sequence is increasing if + for all, and strictly
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationOne-to-one functions and onto functions
MA 3362 Lecture 7 - One-to-one and Onto Wednesday, October 22, 2008. Objectives: Formalize definitions of one-to-one and onto One-to-one functions and onto functions At the level of set theory, there are
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 informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
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 informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
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 informationDRAFT MAA6616 COURSE NOTES FALL 2015
Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationChapter 3 Continuous Functions
Continuity is a very important concept in analysis. The tool that we shall use to study continuity will be sequences. There are important results concerning the subsets of the real numbers and the continuity
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 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 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 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 informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationIntroductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3
Introductory Analysis 1 Fall 2009 Homework 4 Solutions to Exercises 1 3 Note: This homework consists of a lot of very simple exercises, things you should do on your own. A minimum part of it will be due
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
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 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 informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationProblem List MATH 5143 Fall, 2013
Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was
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 informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
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 information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
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 informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationIntroduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION
Introduction to Proofs in Analysis updated December 5, 2016 By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION Purpose. These notes intend to introduce four main notions from
More informationDIFFERENTIAL GEOMETRY Multivariable Calculus, a refresher
DIFFERENTIAL GEOMETRY Multivariable Calculus, a refresher 1 Preliminaries In this section I collect some results from multivariable calculus that play an important role in the course. If you don t know
More informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationMT804 Analysis Homework II
MT804 Analysis Homework II Eudoxus October 6, 2008 p. 135 4.5.1, 4.5.2 p. 136 4.5.3 part a only) p. 140 4.6.1 Exercise 4.5.1 Use the Intermediate Value Theorem to prove that every polynomial of with real
More informationF (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous
7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationMath 320-2: Final Exam Practice Solutions Northwestern University, Winter 2015
Math 30-: Final Exam Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A closed and bounded subset of C[0, 1] which is
More informationSupplementary Notes for W. Rudin: Principles of Mathematical Analysis
Supplementary Notes for W. Rudin: Principles of Mathematical Analysis SIGURDUR HELGASON In 8.00B it is customary to cover Chapters 7 in Rudin s book. Experience shows that this requires careful planning
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 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 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 informationMATH5011 Real Analysis I. Exercise 1 Suggested Solution
MATH5011 Real Analysis I Exercise 1 Suggested Solution Notations in the notes are used. (1) Show that every open set in R can be written as a countable union of mutually disjoint open intervals. Hint:
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 informationBonus Homework. Math 766 Spring ) For E 1,E 2 R n, define E 1 + E 2 = {x + y : x E 1,y E 2 }.
Bonus Homework Math 766 Spring ) For E,E R n, define E + E = {x + y : x E,y E }. (a) Prove that if E and E are compact, then E + E is compact. Proof: Since E + E R n, it is sufficient to prove that E +
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 information2.1 Convergence of Sequences
Chapter 2 Sequences 2. Convergence of Sequences A sequence is a function f : N R. We write f) = a, f2) = a 2, and in general fn) = a n. We usually identify the sequence with the range of f, which is written
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
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 information