A List of Problems in Real Analysis
|
|
- Rudolf Mitchell Park
- 5 years ago
- Views:
Transcription
1 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, is now a post-doc at Dartmouth College, now maintains this document. Problems listed here have been collected from multiple sources. Many have appeared on qualifying exams from PhD granting universities. If you would like to add to this document, please contact Timmy. Solutions are available upon request. Certainly, it is beneficial for the reader to attempt the problems first before seeking the solutions. Should there be any problems, errors, questions, or comments please contact Timmy. 1
2 Contents 1 Measure Theory and Topology Measurable Sets (Signed) Measure Functions and Integration Measurable Functions Integrable Functions Convergence Uniform Cont./ Bounded Var./ Abs. Cont L p /L Spaces Radon-Nikodym Theorem Tonelli/Fubini Theorem
3 1 Measure Theory and Topology 1.1 Measurable Sets Problem Identify which statements are true, which are false. Give a counter-example for the false statements. 1) A finite union of open sets is an open set. 2) A countable union of open sets is an open set. 3) Any (even uncountable) union of open sets is an open set. 4) A finite union of compact sets is compact. 5) A countable union of compact sets is compact. 6) A countable union of measurable sets is a measurable set. 7) Any (even uncountable) union of measurable sets is a measurable set. 8) n 1 B i = n 1 B i 9) 1 B i = 1 B i 1) α B α = α B α Problem Let f n be a sequence of continuous functions on a complete metric space X with f n (x). Let A = {x X : inf f n (x) = }. Prove that A is a countable intersection of open sets. Problem Let O n be a countable collection of dense open subsets of a complete metric space. Prove that O n is dense. Problem Does there exist a Lebesgue measurable subset A of R such that for every interval (a, b) we have µ L (A (a, b)) = b a 2? Either construct such a set or prove it does not exist. Problem Let A be a collection of pairwise disjoint subsets of a σ-finite measure space, each of positive measure. Show that A is at most countable. Problem Let A R be a Lebesgue measurable set. Denote the length of an interval I by I. (a) Suppose that m(a I) 2 3 I for every interval I. Show that A has measure. (b) Suppose that the measure of A is positive. Show that there is an interval I such that if d < I /3, then ((I A) + d) (I A) (c) Suppose that the measure of A is positive. Show that the set A A = {x y : x, y A} contains an open interval about. Problem Suppose A j [, 1] is Lebesgue measurable with measure 1/2 for each j = 1, 2,.... Prove that there is a measurable set S [, 1] with measure 1/2 such that each x S is in A j for infinitely many j. Problem Are the irrationals an F σ set? Justify. 3
4 Problem Suppose E R is such that µ L (E) > (µ L is the Lebesgue measure on R). Prove that there exists an interval I R satisfying µ L (E I) > 3 4 µ L(I) Problem Suppose f is a function of bounded variation on [a, b]. Define G = { (x, y) R 2 : x [a, b], f(x) = y } Prove that G has Lebesgue measure. Problem Let E 1,..., E n be measurable subsets of [, 1]. Suppose almost every x in [, 1] belongs to at least k of these subsets. Prove that at least one of E 1,..., E n has measure of at least k/n. Problem Suppose that A is a subset in R 2. Define for each x R 2 ρ(x) = inf { y x : y A}. Show that B r = { x R 2 : ρ(x) r } is a closed set for each non-negative r. Is the measure of B equal to the outer measure of A? Why? Problem Let {E n } be a sequence of measurable sets in a measure space (X, Σ, µ). Suppose E n exists, i.e., inf E n = sup E n. Is it always true that µ( E n ) = µ(e n )? Does it make a difference if the measure is finite? Prove or disprove by counterexample. Problem Given a measure space (X, A, µ), let {A i } be a sequence in A. Let A = i=1 A i and suppose each x A belongs to no more than k different A i. Show that µ(a) 1 k i=1 µ(a i) (a) for k = 2 (b) for k = 1999 Problem Suppose µ L (resp. µ L ) is the Lebesgue measure (resp. outer Lebesgue measure) on R, and E R. Let E 2 = { e 2 : e E }. (a) Show that, if µ L (E) =, then µ L (E2 ) =. (b) Suppose µ L (E) <. Is it true that µ L (E2 ) <? Problem Suppose (X, A) is a measurable space, and Y is the set of all signed measures ν on A for which ν(a) < whenever A A. For ν 1, ν 2 Y, define d(ν 1, ν 2 ) = sup ν 1 (A) ν 2 (A) A A Show that d is a metric on Y and that Y equipped with d is a complete measure space. Problem (a) For any ɛ >, construct an open set U ɛ (, 1) so that U ɛ Q (, 1) and m(u ɛ ) < ɛ. (b) Let A = n=1 U c 1/n. Find m(a). Show that Ac (1/2, 5/16) Problem Show that either a σ-algebra of subsets of a set X is finite, or else it has uncountably many elements. 4
5 Problem Let r 1, r 2,... enumerate all positive rational numbers. (a) Show that R + n (r n 1 n 2, r n + 1 n 2 ) (b) Show with an example that the r n may be enumerated so that R + n (r n 1 n, r n + 1 n ) = Problem Suppose that A [, 1] is a measurable set such that m(i A) m(i)/2, for all intervals I [, 1]. Show that m(a) =. Problem Assume that E is a subset of R 2 and the distance between any two points in E is a rational number. Show that E is a countable set. (Note that this is actually true in any dimension) Problem Does there exist a nowhere dense subset of [, 1] 2 R 2 (a) of Lebesgue measure greater than 9/1? (b) of Lebesgue measure 1? Problem Let f n : R R be Borel measurable for every n N. Define E to be the set of points in R such that f n (x) exists and is finite. Show that E is a Borel measurable set. Problem Let A be a subset of R of positive Lebesgue measure. k, n N and x, y A with x y = k 2 n Prove that there exists Problem Is it possible to find uncountably many disjoint measurable subsets of R with strictly positive Lebesgue measure? Problem Let X be a non-empty complete metric space and let {f n : X R} n=1 be a sequence of continuous functions with the following property: for each x X, there exists an integer N x so that {f n (x)} n>nx is either a monotone increasing or decreasing sequence. Prove that there is a non-empty open subset U X and an integer N so that the sequence {f n (x)} n>n is monotone for all x U. Problem Give an example of a subset of R having uncountable many connected components. Can such a subset be open? Closed? Problem Let {f n : [, 1] R} n=1 be a sequence of continuous functions and suppose that for all x [, 1], f n (x) is eventually nonnegative. Show that there is an open interval I X such that for all n large enough, f n is nonnegative everywhere on I. Problem Construct an open set U [, 1] such that U is dense in [, 1], the Lebesgue measure µ(u) < 1, and that µ(u (a, b)) > for any interval (a, b) [, 1]. 5
6 Problem Is it possible for a continuous function f : [, 1] R to have (a) infinitely many strict local minima? (b) uncountably many strict local minima? Prove your answers. 1.2 (Signed) Measure Problem Let µ be a measure and let λ, λ 1, λ 2 be signed measures on the measurable space (X, A). Prove: (a) if λ µ and λ µ, then λ =. (b) If λ 1 µ and λ 2 µ, then, if we set λ = c 1 λ 1 + c 2 λ 2 with c 1, c 2 real numbers such that λ is a signed measure, we have λ µ. (c) If λ 1 µ and λ 2 µ, then, if we set λ = c 1 λ 1 + c 2 λ 2 with c 1, c 2 real numbers such that λ is a signed measure, we have λ µ. Problem Let µ be a positive Borel measure on R such that µ-a.e. for every borel set E. Show that µ =. χ E+t(x) = χ E (x) t Problem Suppose a measure m is defined on a σ-algebra A of subsets of X, and m is the corresponding outer measure. Suppose A, B X. We say that A = B if m (A B) =. Prove that = is an equivalence relation. Problem Let µ be a positive measure and ν be a finite positive measure on a measurable space (X, A). Show that ν µ then for every ɛ > there exists δ > such that for every E A with µ(e) < δ we have ν(e) < ɛ. Problem Suppose that µ and ν are two σ-finite measures on the Lebesgue σ-algebra of subsets of R d. Suppose that µ ν and ν µ. Show that there is a measurable set A such that ν(a) = and Radon-Nikodym derivative dµ dν (x) > for all x Rd \ A. Problem Let (X, σ, µ) be a measure space with µ(x) <. Given sets A i σ, i 1, prove that µ( i=1a i ) = µ( n i=1a i ). Give an example to show that this need not hold when µ(x) =. 6
7 2 Functions and Integration 2.1 Measurable Functions Problem Suppose {f n } is a sequence of measurable functions on [, 1]. For x [, 1] define h(x) = #{n : f n (x) = } (the number of indices n for which f n (x) = ). Assuming that h < everywhere, prove that the function h is measurable. Problem Let x =.n 1 n 2... be a decimal representation of x [, 1]. Let f(x) = min{n i : i N}. Prove that f(x) is measurable and a.e constant. Problem Let f n be a sequence of measurable functions on (X, µ) with f n and X f ndµ = 1 show that sup fn 1/n 1 for µ a.e x n + Problem Let f : [, 1] R be continuous function. Define the signed Borel measure µ on [, 1] by dµ = fdm Assume Prove that µ =. x n dµ =, n =, 1, 2,... [,1] 2.2 Integrable Functions Problem Let f be a nonnegative, Lebesgue measurable function on the real line, such that the function g(x) = n=1 f(x+n) is integrable on the real line. Show that f = almost everywhere. Problem Suppose f is a bounded nonnegative function on (X, µ) with µ(x) =. Show that f is integrable if, and only if, { 1 2 n µ x X : f(x) > 1 } 2 n < n= Problem Given a measure space (X, A, µ), let f be a nonnegative extended real-valued, A- measurable function on a set D A with µ(d) <. Let D n = {x D : f(x) n}. Show that f is integrable if and only if n µ(d n) < Problem Let f be a Lebesgue integrable function on the real line. Prove that f(x) sin(nx)dx = Problem Suppose (X, A, µ) is a measure space, and µ(x) <. Suppose furthermore, that f is a nonnegative measurable function on X. Prove that f is integrable if and only if the series 2 n µ({x X : f(x) > 2 n }) n= 7
8 converges. Problem Let f be a real-valued integrable function on a measure space. Let {E n } be a sequence of measurable sets such that µ(e n ) =. Show that E n fdµ =. Problem Let f be a nonnegative Lebesgue measurable function on [, 1]. bounded above by 1 and [,1] fdx = 1. Show that f = 1 a.e. on [, 1]. Suppose f is Problem Let f be real-valued continuous function on [, ) such that the improper Riemann integral f(x)dx converges. Is f Lebesgue integrable on [, )? Prove or disprove by counterexample. Problem (a) Show that an extended real valued integrable function is finite a.e. (b) If f n is a sequence of measurable functions such that f n < show that n f n(x) converges a.e. to an integrable function f and f = f n n n Problem Prove that the gamma function Γ(x) = is well defined and continuous for x >. t x 1 e t dt Problem Using the fact that Lebesgue measure m is translation invariant, that is, for every measurable set E and x R, m(e) = m(x + E), prove that for f L 1 (R), and for all t R, f(x + t)dx = f(x)dx R Problem Let f be a real-valued uniformly continuous function on [, ). Show that if f is Lebesgue integrable on [, ), then x f(x) =. Does this still hold if f is continuous, but not uniformly continuous? Prove or give a counterexample. R Problem Consider the Lebesgue measure space (R, M L, µ L ) on R. Let f be a µ L -integrable extended real-valued M L -measurable function on R. Show that f(x + h) f(x) µ L (dx) = h R Problem Let S R be closed and let f L 1 ([, 1]). Assume that for all measurable 1 E [, 1] with m(e) > we have m(e) E f S. Prove that f(x) S for a.e x [, 1] 8
9 Problem Assume f, g L 2 (R). Define A(x) = R f(x y)g(y)dy. Show that A(x) C(R) and that x + A(x) =. Problem Suppose f : R R is differentiable and f L 1 (a) Show that the Lebesgue measure of {x : f(x) > t} approaches as t. (b) Show that the additional assumption that f L 1 implies that f(x) as x. Problem Given f is integrable over [, 1]. Show that there exists a decreasing sequence of positive numbers, a n, converging to, such that a n f(a n ) =. Problem Let f be nonnegative measurable function on R. Suppose f Show that f < 1 a.e. and that 1 f L1 (R). n=1 R f n converges. 2.3 Convergence Problem Let {f n } be a sequence of continuous functions on [, 1] with f n (x) 1 for all x [, 1] and all n. Prove that: (a) If for each x [, 1] we have f n (x) =, then 1 f n (x)dx = (b) Construct a sequence of {f n } so that 1 f n(x)dx =, but for each x [, 1] the sequence {f n } diverges. Problem Let {f n } be a sequence of real-valued functions such that f n(x) 1.5 dx 1. Show that there is a subsequence f nk such that 1 x.5 f nk (x)dx converge when k. Problem Let (X, U, µ) be a measure space. Let {f n } be a sequence of nonnegative extended real-valued U-measurable functions on X. Suppose f n = f exists µ-a.e. on X and moreover f n f µ-a.e. on X. Show that fdµ = f n dµ X X Problem Let (X, A, µ) be a finite measure space. Let {f n } and f be real-valued, A-measurable functions on a set D A. Suppose that f n f in measure µ on D. Let F be a real-valued, continuous function on R. Show that F f n F f in measure µ. Problem Let (X, A, µ) be a measure space. Let {f n } and f be real-valued, A-measurable functions on a set D A. Suppose that f n f in measure µ on D. Let F be a real-valued, uniformly continuous function on R. Show that F f n F f in measure µ. 9
10 Problem Let (X, A, µ) be a measure space. Let {f n } and f be real-valued, A-measurable functions on a set D A. Suppose that f n f in measure µ on D. Let F be a real-valued, continuous function on R. And that for all n, f n, f are uniformly bounded on D. Show that F f n F f in measure µ. Problem Let f be an element and {f n } be a sequence in L p (X, A, µ), where p [1, ), such that f n f p =. Show that for every ɛ > there exists δ > such that for all n N we have f n p dµ < ɛ for every E A such that µ(e) < δ E Problem Let f be an integrable function on a measure space (X, B, µ). Show that: (a) The set {f } is of σ-finite measure. (b) If f, then f = n φ n pointwise for some increasing sequence of simple functions φ n each of which vanishes outside a set of finite measure. (c) For every ɛ > there is a simple function φ such that f φ dµ < ɛ X Problem Let {f n } and {g n } be sequences of measurable functions on the measurable set E, and let f and g be measurable functions on set E. Suppose f n f and g n g in measure. Is it true that f 3 n + g n f 3 + g in measure if (a) m(e) < (b) m(e) = Problem Let (X, A, µ) be a measure space. Let {f n } and f be extended real-valued A- measurable functions on a set D A such that f n = f on D. Then for every α R we have (1) µ {D : f > α} inf µ {D : f n α} (2) µ {D : f < α} inf µ {D : f n α} Problem Let (X, A, µ) be a measure space. Let {f n } and f be a sequence of extended real-valued A-measurable functions on a set D A with µ(d) <. Show that f n converges to in measure on D if and only if f n D 1 + f n dµ = Problem Given a measure space (X, A, µ), let {f n } and f be extended real-valued A- measurable functions on a set D A and assume that f is real-valued a.e. on D. Suppose there exists a sequence of positive numbers ɛ n such that 1. n N ɛ n < 2. D f n f p dµ < ɛ n, for some positive p <. Show that the sequence {f n } converges to f a.e. on D. Problem Suppose that g and {f n } are in L 2 [, 1], with 1 f n(x) 2 dx M < for all values of n. Suppose that f n (x) = f(x) for each x. (a) Show that f L 2 [, 1]. (b) Prove that E f n(x)dx E f(x)dx for each measurable subset E of [, 1]. 1
11 (c) Prove that 1 f n(x)g(x)dx 1 f(x)g(x)dx. Problem Let (X, A, µ) be a measure space. Let {f n } and f be real-valued A-measurable functions on a set D A. (a) Define convergence of f n to f in measure on D. (b) Suppose f n converges to two functions f and g in measure on D. Show that f = g a.e. on D. Problem Let f be a real-valued Lebesgue measurable function on [, ) such that 1. f is Lebesgue integrable on every finite subinterval of [, ). 2. x f(x) = c R 1 Show that a a [,a] fdm L = c. Problem Suppose f n (x) C 1 ([, 1]) with f n () = 1, is a sequence of functions such that sup n 1 f n(x) 2 dx 1 Show that there is a subsequence of {f n } which converges uniformly on [, 1]. (Hint: First show that {f n (x)} are equicontinuous). Hint from Will: After following the first hint above, use Ascoli s theorem. Problem If f n (x) and f n (x) f(x) in measure then f(x)dx inf f n (x)dx. (Remark: this is not just Fatou s Lemma). Problem Let (X, A, µ) be a finite measure space. Let {f n } be an arbitrary sequence of real-valued A-measurable functions on X. Show that for every ɛ > there exists E A with µ(e) < ɛ and a sequence of positive real numbers {a n } such that a nf n (x) = for x X \ E Problem Let (X, A, µ) be a finite measure space. Let f and {f n } be real-valued A-measurable functions on X and f, f n L 2 (X, A, µ). Suppose 1. f n = f, µ-a.e. 2. f n 2 C for all n N. Show that f n f 1 = Problem Suppose m(x) < and f n converges to f in measure on X and g n converges to g in measure on X. Prove that f n g n converges to fg in measure on X. (Note from Timmy: Give a counter-example to show that this fails if m(x) = ) Problem Suppose that f n (x) is a sequence of measurable functions such that f n (x) converge to f(x) a.e. If for each ɛ >, there is C < such that f n(x) >C f n(x) dx < ɛ. Show that f(x) is integrable on [, 2]. Note from Will: That s exactly how this problem appeared on the Winter 2 qual. Note that C does not depend on n. To see this, find an example where C depends on n and on ɛ, such that the statement of the problem fails to hold. 11
12 Problem Show that the Lebesgue Dominated Convergence Theorem holds if almost everywhere convergence is replaced by convergence in measure. (Hint from Will: First show that a.e. convergence can be replaced by convergence in measure in Fatou s lemma). Problem Let (X, Σ, µ) be a finite measure space, and let F denote the set of measurable functions,where we identify functions that are equal µ-a.e. Define f g δ(f, g) = 1 + f g dµ X for f, g F. Prove that δ is a metric on the set F, and that (F, δ) is a complete metric space. Prove also that convergence is equivalent to convergence in this metric space. Problem Suppose that {f n } is a sequence of real-valued Lebesgue measurable functions such that 1 f n (x) x dx when n. Is it true that f n (x) converges to x for almost every x in (, 1)? Why? Problem Let (X, M, µ) be a measure space. (a) Suppose µ(x) <. If f and f n are M-measurable functions with f n f a.e., prove that there exist sets H, E k M such that X = H ( k=1 E k), µ(h) =, and f n f uniformly on each E k. (b) Is the result of (a) true if (X, M, µ) is σ-finite? Problem Consider the real valued function f(x, t), where x E R n and t I where I is an interval in the real line. Suppose 1. f(x, ) is integrable over I for all x E. 2. There exists an integrable function g(t) on I such that f(x, t) g(t) for all x E and t I. 3. For some x E the function f(, t) is continuous at x for all t I. Then show that the function F (x) = I f(x, t)dt is continuous at x. Problem (a) Let {c n,i : n N, i N} be an array of nonnegative extended real numbers. Show that inf c n,i inf c n,i i N i N (b) Show that if {c n,i } is an increasing sequence for each i N, then c n,i = i N i N c n,i Problem Let f n : [, ) [, ) be Lebesgue measurable functions such that f 1 f 2. Suppose f n (x) f(x) as n, for a.e. x [, 1]. (a) Assume in addition that f 1 L 1 1 ([, 1]). Prove that f ndx = 1 fdx. (b) Show that this is not necessarily true if f 1 / L 1 ([, 1]). 12
13 Problem Let {q k } be all the rational numbers in [, 1]. Show that 1 k 2 converges a.e. in[, 1] x q k k=1 Problem Evaluate the following a) π b) e x2 +3x n 2 x 2 cos 3x n dx 2x dx Problem Find a sequence of pointwise convergent measurable functions f n : [, 1] R such that f n does not converge uniformly on any set X with m(x) = 1. Problem Does there exist a sequence of functions f n C([, 1]) such that for all x [, 1] and f n(x) = n + max f n(x)? n + x [,1] Either construct an example or prove such a sequence does not exist. Problem Suppose that f L 1 (R). Show that for any α > n + n α f(nx) =, for a.e x Problem Suppose that {a n } is a sequence of nonnegative numbers and {E n } a sequence of measurable subsets of [, 1]. Assume that there exists δ > such that m(e n ) δ and Show that g(x) = a n χ En < for a.e x [, 1]. n=1 a n < Problem Let f be a nonnegative measurable function on R. Prove that if is integrable, then f = a.e. n=1 n= f(x + n) Problem For each n 2, define f n : [, 1] R as follows: { n 2 for x [ i f n (x) = n, i n + 1 ] and i =, 1,..., n 1 n 3. otherwise (a) Show that n + f n = for a.e x [, 1] (b) For g C[, 1], what is n + [,1] f n(x)g(x)dx? (c) Is your answer to part (b) still valid for all g L (, 1)? Justify 13
14 Problem Suppose that f n L 4 (X, µ) with f n 4 1 and f n µ-a.e on X. Show that for every g L 4/3 (X, µ), f n (x)g(x)dµ(x) as n X Problem Either prove or give a counterexample: If a sequence of functions f n on a measure space (X, µ) satisfies X f n dµ 1 n 2, then f n µ-a.e. Problem For a nonnegative function f L 1 ([, 1]), prove that Problem Compute Justify each step. 1 n f(x)dx = m({x : f(x) > }) n sin(x/n) x(1 + x 2 ) dx. Problem Give an example of a sequence of functions, f n in L 1 [, 1] such that f n 1 = but f n does not converge to almost everywhere. Problem Show that if a sequence, f k in L 1 [, 1] satisfies f k 1 2 k for k 1, then f k a.e. Problem Let f C[, 1] be real-valued. Prove that there is a monotone increasing sequence of polynomials {p n (x)} n=1 converging uniformly on [, 1] to f(x). Problem Suppose f : [, 1] R continuous (a) Prove that 1 xn f(x)dx = (b) Prove that n 1 xn f(x)dx = f(1) Problem Suppose g(x) = g n (x) for x [, 1] where {g n } are positive and continuous on [, 1]. Also suppose that 1 g ndx = 1. (a) Is it always true that 1 (b) Is it always true that 1 g(x)dx 1? g(x)dx 1? Problem Let f(x, y) be defined on the unit square S = {(x, y) R 2 : x 1 and y 1} and suppose that f has the following properties: (i) For each fixed x, the function f(x, y) is an integrable function of y on the unit interval. (ii) The partial derivative f x exists at every point (x, y) S, and is a bounded function on S. Show that: (a) The partial derivative f is a measurable function of y for each x. (b) x d dx 1 f(x, y)dy = 14 1 f (x, y)dy x
15 Problem Fatou s Lemma can be written as: Let f n be a sequence of nonnegative measurable functions. Then inf f n dx inf f n dx. Show that this version is equivalent to: If f n is a sequence of nonnegative measurable functions, and f n = f a.e, then fdx inf f n dx. Problem Let {f n } be a sequence of nonnegative measurable functions on X that converges pointwise on X to f, and f integrable over X. Show that if X f = X f n, then E f = E f n, for any measurable E X. Problem (a) Suppose f n is a sequence of nonnegative measurable functions on E and that it converges pointwise to f on E, and that f n f on E for all n. Show that E f n E f. (b) Let f be a nonnegative measurable function on R. Show that n n f = 1/n n Problem Evaluate 1 + n 2 x 2 + n 6 x 8 dx Problem Suppose f and g are real-valued on R, such that f is µ L -integrable, and g belongs to C (R) (compact support). For c > define g c (t) = g(ct). Prove that a) c R fg cdµ L = b) c R fg cdµ L = g() R fdµ L R f Problem Prove or give a counterexample: Suppose X is a finite measure space. Let {f n } be a sequence of measurable functions on X that converges in measure on X to real-valued function f. Then for each ɛ >, there is a closed set F contained in X for which f n f uniformly on F and m(x \ F ) < ɛ. Problem Let E be of finite measure. Suppose the sequence of functions {f n } is uniformly integrable over E. If f n converges to f in measure on E, then f is integrable over E and E f n = E f. Problem Let µ be the Lebesgue measure on R. Let f n = 1 n χ [,n]. Prove that f n f = a.e., but inf f n dµ < fdµ Does this contradict Fatou s Lemma? R R 15
16 2.4 Uniform Cont./ Bounded Var./ Abs. Cont. Problem a) Let f be absolutely continuous on [ɛ, 1] for each ɛ >. Let f be continuous at and of bounded variation on [, 1]. Prove that f is absolutely continuous on [, 1]. (b) Give an example of continuous function of unbounded variation on [2, 3]. Problem Let (R, U, µ) be the Lebesgue measure space, and consider an extended real-valued (U)-measurable function f on R. Let B r (x) = {y R : y x < r}, with r > fixed. Define the function g on R via g(x) = f(y)dµ(y) B r(x) for x R. (a) Suppose f is locally µ-integrable on R. Show that g is a real-valued, continuous function on R. (b) Show that if f is µ-integrable on R, then g is uniformly continuous on R. Problem Suppose that f L 1 [, 1]. Let F (x) = x f(t)dt. Let φ be a Lipschitz function. Show that there exists g L 1 [, 1] such that φ(f (x)) = x g(t)dt. Problem Let g be an absolutely continuous monotone function on [, 1]. Prove that, if E [, 1] is a set of Lebesgue measure zero, then the set g(e) is also of Lebesgue measure zero. Problem Let {f n } be a sequence of real-valued functions and f be a real-valued function on [a, b] such that f n (x) = f(x) for x [a, b]. Show that Va b (f) inf V b a (f n ) Problem Let f be a real-valued, continuous function of bounded variation on [a, b]. Suppose f is absolutely continuous on [a + η, b] for every η (, b a). Show that f is absolutely continuous on [a, b]. Problem Let f be a real-valued function on (a, b) such that the derivative f exists and f (x) M for x (a, b) for some M. Let µ L be the Lebesgue outer measure on R. Show that for every subset E of (a, b) we have µ L(f(E)) Mµ L(E) Problem Suppose µ is the Lebesgue measure on R, E is a Lebesgue measurable subset of R, and let { } µ(e [x, x + ɛ]) F = x E : = 1 ɛ ɛ Show that µ(e \ F ) = Problem Suppose f L 1 (, ), and let g(x) = x+1 x 1 16 f(t)dt
17 (a) Prove that g(t) dt 2 f(t) dt (b) Prove that g is absolutely continuous (that is, its restriction on any closed subinterval of R is absolutely continuous). Problem Prove that the discontinuity points of a real-valued function f are at most countable if (a) f is a decreasing function on [, 1]. (b) f is a function of bounded variation on [, 1]. Problem Let C([, 1], ρ) be a space of continuous functions on [, 1] with a uniform metric ρ. Let F : C([, 1]) C([, 1]) be given by Prove that F is uniformly continuous. (a) (F f)(t) = (b) (F f)(t) = t n=1 e tu sin(f(u))du 1 n! 1 f ( ) tu du n Problem (a) Find V ar 5(cos(x)). (b) Give an example of a function f such that V ar2 4 (f) =. (c) Give an example of a function f such that V ar2 4 (f) = 2. Problem Let f be absolutely continuous on [, 1] and P (x) a polynomial. Show that P (f(x)) is absolutely continuous on [, 1]. Problem Suppose that f is continuous and of bounded variation on [, 1]. Prove that n ( ) i f f n i=1 ( ) i 1 2 = n Problem Suppose f is Lipschitz continuous in [, 1], that is f(x) f(y) L x y for some constant L. Show that (a) m(f(e)) = if m(e) = (b) If E is measurable, then f(e) is also measurable. Problem Assume that f is absolutely continuous, and that f and f are both in L 1 (R). Let g(x) = f(x + k). k= Show that g L (I) for any bounded interval I. (Hint: first prove for intervals with length 1/2) 17
18 2.5 L p /L Spaces Problem Let X be a measure space and let µ be a positive Borel measure over X, with µ(x) <. Let f L (X, µ). For each positive integer n, we let α n = f(x) n dµ(x) (a) Show that α n+1 α n = f if f >. (b) Use part (a) to prove that (α n ) 1/n = f. X Problem Let (X, U, µ) be a measure space. Let f L p (X, U, µ) L q (X, U, µ) with 1 p < q <. Show that f L r (X, U, µ) for all p r q. Problem Let f L p ([, 1]), p 1. (a) Prove that t 1 +(t 1) 1 p 1 t 1 f(s)ds = (b) Suppose x 2 f 5 dx <. Prove that t t 6/5 t f(x)dx =. Problem Suppose that 1 x 1 f 3 dx <. Show that t t 1 t f(x)dx = Problem Let 1 p < q <. Which of the following statements are true and which are false? Justify. 1. L p (R, M L, µ L ) L q (R, M L, µ L ) 2. L q (R, M L, µ L ) L p (R, M L, µ L ) 3. L p ([2, 5], M L, µ L ) L q ([2, 5], M L, µ L ) 4. L q ([2, 5], M L, µ L ) L p ([2, 5], M L, µ L ) Problem Let f L 3 2 ([, 5], M L, µ L ). Prove that 1 t t 1 3 t f(s)ds = Problem Let p, q [1, ). (a) Show that L p (, ) is not a subset of L q (, ) when p q. (b) If f L p (R) and f is uniformly continuous on R, show that x f(x) =. Is the result still true if f is only assumed to be continuous? Problem Let g(x) be measurable and suppose b a f(x)g(x)dx is finite for any f(x) L2. Prove that g(x) L 2. (Note from Timmy: This is kind of an unfair question in that you have to use the uniform boundedness property from Functional Analysis, what they probably forgot to say was that instead of finite, that the integral of fg is uniformly bounded.) Problem If f(x) L p L for some p <, show that (a) f(x) L q for all q > p. (b) f = q f L q 18
19 Problem If f n (x), f(x) L 2, and f n (x) f(x) a.e., then f n f L 2 if and only if f n L 2 f L 2. Remark: You can actually prove the more general case, replacing 2 with p. Problem Let f be a Lebesgue measurable function on [, 1] and let < f(x) < for x [, 1]. Show that { } { } 1 1. f Justify each step. fdµ [,1] [,1] Problem Consider L p ([, 1]). Prove that f p is increasing in p for any bounded measurable function f. Prove that f p f when p. Problem Suppose 1 p, f L 1 (R, dx) and g L p (R, dx). Define the function f g by (f g)(x) = f(x y)g(y)dy, whenever it makes sense. Show that f g is defined almost everywhere, and that f g L p (R, dx) with f g p f 1 g p Problem Let f n f in L p, with 1 p <, and let g n be a sequence of measurable functions such that g n M < for all n and g n g a.e.. Prove that g n f n gf in L p. Problem Let E be a measurable subset of the real line. Prove that L (E) is complete. Problem Let (X, A, µ) be a measure space and let f be an extended real-valued A-measurable function on X such that X f p dµ < for some p (, ). Show that λ λp µ {x X : f(x) λ} = Problem Show that L 3 ([ 1, )) L 2 ([ 1, )) L 5 ([ 1, )) Problem Suppose that f L p ([, 1]) for some p > 2. Prove that g(x) = f(x 2 ) L 1 ([, 1]). Problem Suppose f is a Borel measurable function and 1 x 1/2 f(x) 3 dx <. Show that t t t 5/6 f(x)dx = Problem If (X, µ) is a finite measure space, 1 < p 1 < p 2 <, f, and prove that f L p 1 sup λ p 2 µ(x : f(x) > λ) < λ> Problem Let < r < p < q. For f in L p (R), show that f = g + h where g L r (R) and h L q (R). Furthermore, show that given b >, prove that g, h can be chosen so that g r r b r p f p p and h q q b q p f p p. 19
20 Problem Let A be the collection of functions f L 1 (X, µ) such that f 1 = 1 and X fdµ =. Prove that for every g L (X, µ), fgdµ = 1 (ess sup g ess inf g) 2 sup f A X Problem Let f(x) be continuous function on [, 1] with a continuous derivative f (x). Given ɛ >, prove that there is a polynomial p(x) so that f(x) p(x) + f (x) p (x) < ɛ Problem Let X be a σ-finite measure space, and f n : X R a sequence of measurable function on it. Suppose f n in L 2 and L 4. Give a proof or counterexample to the following: (a) f n in L 1 (b) f n in L 3 (c) f n in L 5 Problem Let f be a nonnegative measurable function and ess sup f = M >. Then, if µ(x) <, prove f n+1 f n = M Problem Let k + m = km and let f and g be nonnegative measurable functions. Show that if < k < 1 or k < then fg ( f k dµ) 1/k ( g m dµ) 1/m Problem Let < p < 1 and f, g, f, g L p. Show that f + g p f p + g p Problem Suppose 1 p, f L p ([, 1]), and h(t) is the Lebesgue measure of the set {x [, 1] : f(x) > t} for t <. Show that h(t)dt < if 1 < p. Is this still true for p = 1? Prove or find a counterexample. 2.6 Radon-Nikodym Theorem Problem Let ν be a finite Borel measure on the real line, and set F (x) = ν {(, x]}. Prove that ν is absolutely continuous with respect to the Lebesgue measure µ if, and only if, F is an absolutely continuous function. In this case show that its Radon-Nikodym derivative is the derivative of F, that is: dν dµ = F almost everywhere. Problem Let (X, Σ, µ) be a σ-finite measure space, and let Σ be a sub-σ-algebra of Σ. Given an integrable function f on (X, Σ, µ), show that there is a Σ -measurable function f, such that fgdµ = f gdµ X 2 X
21 for every Σ -measurable function g such that fg is integrable. (Hint: Use the Radon-Nikodym Theorem). Problem Let f, g be extended real-valued, measurable functions over a σ-finite measure space (X, A, µ). Show that if E fdµ = E gdµ for all E A, then f = g on X µ-a.e. Problem Let M denote the Lebesgue measurable sets on the real line. Consider two measures on M: Lebesgue measure m and the counting measure τ. Show that m is absolutely continuous with respect to τ, but that dm dτ does not exist. Does this contradict the Radon-Nikodym theorem? Problem Prove the following statement. Suppose that F is a sub-σ-algebra of the Borel σ-algebra on the real line. If f(x) and g(x) are F -measurable and if fdx = gdx for all A F A A then f(x) = g(x) a.e. Note from Will: This is precisely how the above problem appeared on the Winter 2 real analysis qual. Note that the statement is in general false, as it appears above. One needs to add the assumption that F is σ-finite. So prove the following: (a) σ-finiteness of F does NOT follow from it being a sub-σ-algebra of a σ-finite σ-algebra. (b) Show that if σ-finiteness is not required, then the statement of the problem is in general false. (c) Prove the statement of the problem with the additional assumption that F is σ-finite. Problem Let µ and ν be two measures on the same measurable space, such that µ is σ-finite and ν is absolutely continuous with respect to µ. (a) If f is a nonnegative measurable function, show that fdν = f [ ] dν dµ dµ (b) If f is a measurable function, prove that f is integrable with respect to ν if and only if f is integrable with respect to µ, and that in this case we also have equality as above. [ ] dν dµ Problem Let λ µ and µ λ be σ-finite measures on (X, X ). What is the relationship between the Radon-Nikodym derivatives dµ dλ dλ and dµ? Problem Assume that ν and µ are two finite measures on a measurable space (X, M). Prove that ν µ (ν nµ)+ = Problem Suppose that we have ν 1 µ 1 and ν 2 µ 2 for positive measures ν i and µ i on measurable spaces (X i, M i ), (i = 1, 2). Show that we have ν 1 ν 2 µ 1 µ 2 and d(ν 1 ν 2 ) d(µ 1 µ 2 ) (x, y) = dν 1 dµ 1 (x) dν 2 dµ 2 (y) 21
22 Problem Suppose µ and ν are σ-finite measures on a measurable space (X, A), such that ν µ and ν µ ν. Prove that µ({x X : dν dµ = 1}) = 2.7 Tonelli/Fubini Theorem Problem Let f(x) be a locally integrable function on (, ). We define F (x) = 1 x x f(t)dt for x >. Prove that if f(x) > on (, ) and f(x)dx <, then F (x)dx =. Problem Let (X, U, µ) and (X, V, ν) be the measure spaces given by X = Y = [, 1] U = V = B [,1] where B [,1] is the Borel σ-algebra, and µ is the Lebesgue measure, ν is the counting measure. Consider the product measurable space (X Y, σ(u V)) and a subset in it defined by E = {(x, y) X Y : x = y}. (a) Show that E σ(u V). (b) Show that [ X Y ] [ ] χ E dν dµ χ E dµ dν Y X (c) Why is Tonelli s Theorem not applicable? Problem Let f n (x) = n 2 χ [ 1 n, 1 ]. Prove that for g L1 (R), n f n (y x)g(x)dx g(y) dy as n Problem Let f be a real valued measurable function on the finite measure space (X, Σ, µ). Prove that the function F (x, y) = f(x) 5f(y) + 4 is measurable in the product measure space (X X, σ(σ Σ), µ µ), and that F is integrable if and only if f is integrable. Problem Let f L 1 (R, M L, µ L ). With h > fixed, define a function φ h on R by setting φ h (x) = 1 f(t)dµ L (t) for x R 2h [x h,x+h] (a) Show that φ h is M L -measurable on R. (b) Show that φ h is continuous on R (hint from Will: actually continuity will imply Borel measurability, hence measurability). (c) Show that φ h L 1 (R, M L, µ L ) and φ h 1 f 1 22
23 Problem Let (X, M, µ) be a complete measure space and let f be a nonnegative integrable function on X. Let b(t) = µ {x X : f(x) t}. Show that fdµ = b(t)dt Problem If g is a Lebesgue measurable real function on [, 1] such that the function f(x, y) = 2g(x) 3g(y) is Lebesgue integrable over the square [, 1] 2, show that g is Lebesgue integrable over [, 1]. Problem Let A = {(x, y) [, 1] 2 : x + y Q, xy Q}. Find A y 1/2 sin xdm 2. Problem Let f be Lebesgue integrable on (, 1) For < x < 1 define g(x) = 1 Prove that g is Lebesgue integrable on (, 1) and that 1 x g(x)dx = t 1 f(t)dt. 1 f(x)dx Problem Evaluate x exp( x 2 (1 + y 2 ))dxdy Justify each step. 23
3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
More 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 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 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 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 informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
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 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 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 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 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, 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 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 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 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 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 informationSOME PROBLEMS IN REAL ANALYSIS.
SOME PROBLEMS IN REAL ANALYSIS. Prepared by SULEYMAN ULUSOY PROBLEM 1. (1 points) Suppose f n : X [, ] is measurable for n = 1, 2, 3,...; f 1 f 2 f 3... ; f n (x) f(x) as n, for every x X. a)give a counterexample
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 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 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 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 informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More 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 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 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 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 informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More 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 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 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 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 informationDaniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall Problem. 1 Give an example of a mapping f : X Y such that
Daniel Akech Thiong Math 501: Real Analysis Homework Problems with Solutions Fall 2014 Problem. 1 Give an example of a mapping f : X Y such that 1. f(a B) = f(a) f(b) for some A, B X. 2. f(f 1 (A)) A for
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
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 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 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 information36-752: Lecture 1. We will use measures to say how large sets are. First, we have to decide which sets we will measure.
0 0 0 -: Lecture How is this course different from your earlier probability courses? There are some problems that simply can t be handled with finite-dimensional sample spaces and random variables that
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 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 informationSOLUTIONS OF SELECTED PROBLEMS
SOLUTIONS OF SELECTED PROBLEMS Problem 36, p. 63 If µ(e n < and χ En f in L, then f is a.e. equal to a characteristic function of a measurable set. Solution: By Corollary.3, there esists a subsequence
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 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 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 informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More 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 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 informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationMeasure Theory & Integration
Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................
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 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 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 informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose
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 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 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 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 informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
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 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 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 informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
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 informationLogical Connectives and Quantifiers
Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then
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 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 informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More 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 informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
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 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 information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
More informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
More informationINTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION
1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at
More 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 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 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 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 informationFolland: Real Analysis, Chapter 2 Sébastien Picard
Folland: Real Analysis, Chapter 2 Sébastien Picard Problem 2.3 If {f n } is a sequence of measurable functions on X, then {x : limf n (x) exists} is a measurable set. Define h limsupf n, g liminff n. By
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 informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More 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 informationFolland: Real Analysis, Chapter 7 Sébastien Picard
Folland: Real Analysis, Chapter 7 Sébastien Picard Problem 7.2 Let µ be a Radon measure on X. a. Let N be the union of all open U X such that µ(u) =. Then N is open and µ(n) =. The complement of N is called
More informationLecture 1 Real and Complex Numbers
Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n
More 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 informationFACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355. Analysis 4. Examiner: Professor S. W. Drury Date: Wednesday, April 18, 2007 INSTRUCTIONS
FACULTY OF SCIENCE FINAL EXAMINATION MATHEMATICS MATH 355 Analysis 4 Examiner: Professor S. W. Drury Date: Wednesday, April 18, 27 Associate Examiner: Professor K. N. GowriSankaran Time: 2: pm. 5: pm.
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 informationSome analysis problems 1. x x 2 +yn2, y > 0. g(y) := lim
Some analysis problems. Let f be a continuous function on R and let for n =,2,..., F n (x) = x (x t) n f(t)dt. Prove that F n is n times differentiable, and prove a simple formula for its n-th derivative.
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More 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 information1. For each statement, either state that it is True or else Give a Counterexample: (a) If a < b and c < d then a c < b d.
Name: Instructions. Show all work in the space provided. Indicate clearly if you continue on the back side, and write your name at the top of the scratch sheet if you will turn it in for grading. No books
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 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 informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More 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 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 information