Homework Assignments
Homework is collected at the beginning of lecture of the specified day. No late homework will be accepted. Please write your name and the homework number on each assignment. If you would like to try writing your homework with LaTeX, here is a template that produces this output.
Homework 10, due Wednesday, December 8th (Sections 3.5, 6.1) Solutions
- 1. Let G:[a,b]→[c,d] be a continuous increasing surjection.
- (a) For a Borel set E⊂[c,d], show that m(E)=μG(G−1(E)).
[Hint: first consider when E is an open then closed.] - (b) For f∈L1([c,d],B[c,d],m), show that ∫[c,d]f dm=∫[a,b]f∘G dμG.
- (c) Suppose G is absolutely continuous. Show that the above integrals also equal ∫[a,b](f∘G)G′ dm.
- (a) For a Borel set E⊂[c,d], show that m(E)=μG(G−1(E)).
- 2. We say F:R→C is Lipschitz continuous if there exists M>0 so that |F(x)−F(y)|≤M|x−y| for all x,y∈R. Show that a function F is Lipschitz continuous with constant M if and only if F is absolutely continuous and |F′|≤M m-almost everywhere.
- 3. For (a,b)⊂R (possibly equal), we say a function F:(a,b)→R is convex if
F(λs+(1−λ)t)≤λF(s)+(1−λ)F(t)
for all s,t∈(a,b) and λ∈(0,1).
- (a) Show that F is convex if and only if for all s,s′,t,t′∈(a,b) satisfying s≤s′<t′ and s<t≤t′ one has F(t)−F(s)t−s≤F(t′)−F(s′)t′−s′.
- (b) Show that F is convex if and only if F is absolutely continuous on every compact subinterval of (a,b) and F′ is increasing on the set where it is defined.
- (c) For convex F and t0∈(a,b), show that there exists β∈R satisfying F(t)−F(t0)≥β(t−t0) for all t∈(a,b).
- (d) (Jensen's Inequality) Let (X,M,μ) be a measure space with μ(X)=1. Suppose g∈L1(X,μ) is valued in (a,b) and F is convex on this interval. Show that F(∫Xg dμ)≤∫F∘g dμ. [Hint: use part (c) with t0=∫g dμ and t=g(x).]
- 4. Let (X,M,μ) be a measure space and let 0<p<q<∞.
- (a) Show that Lp(X,μ)⊄Lq(X,μ) if and only if for all ϵ>0 there exists E∈M with 0<μ(E)<ϵ.
- (b) Show that Lq(X,μ)⊄Lp(X,μ) if and only if for all R>0 there exists E∈M with R<μ(E)<∞.
- 5. Let (X,M,μ) be a measure space. For a measurable function f:X→C, we say z∈C is in the essential range of f if
μ({x∈X:|f(x)−z|<ϵ})>0
for all ϵ>0. Denote the essential range of f by Rf.
- (a) Show that Rf is closed.
- (b) For f∈L∞(X,μ), show that Rf is compact with ‖f‖∞=max{|z|:z∈Rf}.
Homework 9, due Wednesday, December 1st (Sections 3.4, 3.5) Solutions
- 1. Let f∈L1(Rn,m) be such that m({x∈Rn:f(x)≠0})>0.
- (a) Show that there exists C,R>0 so that Hf(x)≥C|x|−n for |x|>R.
- (b) Show that there exists C′>0 so that m({x∈Rn:Hf(x)>ϵ})≥C′ϵ for all sufficiently small ϵ>0.
[Note: this shows that the Hardy–Littlewood maximal inequality is sharp up to the choice of constant.]
- 2. For a Borel set E⊂Rn, the density of E at a point x is defined as
DE(x):=limr→0m(E∩B(x,r))m(B(x,r))
whenever the limit exists.
- (a) Show that DE is defined m-almost everywhere and DE=1E m-almost everywhere.
- (b) For 0<α<1, find an example of an E and so that DE(0)=α. [Hint: use a sequence of annuli.]
- (c) Find an example of an E so that DE(0) does not exist. [Hint: use another sequence of annuli.]
- 3. Let ν be a regular signed or complex Borel measure on Rn with Lebesgue decomposition ν=λ+ρ with respect to the Lebesgue measure m, where λ⊥m and ρ≪m. Show that λ and ρ are both regular. [Hint: first show |ν|=|λ|+|ρ|.]
- 4. Define
F(x):={x2sin(1x)if x≠00otherwiseandG(x):={x2sin(1x2)if x≠00otherwise.
- (a) Compute F′ and G′.
- (b) Show that F∈BV([−1,1]) but G∉BV([−1,1]).
- 5. Suppose (Fn)n∈N⊂NBV converges pointwise to a function F. Show that TF≤lim infn→∞TFn.
Homework 8, due Wednesday, November 10th (Sections 3.2, 3.3) Solutions
- 1. For j=1,2, let μj, νj be σ-finite measures on (Xj,Mj) with νj≪μj. Show that ν1×ν2≪μ1×μ2 with d(ν1×ν2)d(μ1×μ2)(x1,x2)=dν1dμ1(x1)dν2dμ2(x2) for (μ1×μ2)-almost every (x1,x2)∈X1×X2.
- 2. On ([0,1],B[0,1]), let m be the Lebesgue measure and let ν be the counting measure.
- (a) Show that m≪ν, but dm≠f dν for any function f.
- (b) Show that there does not exist λ⊥m and ρ≪m so that ν=λ+ρ.
- 3. Let (X,M,μ) be a σ-finite measure space, and let ν be a σ-finite signed measure on (X,M) with ν≪μ.
- (a) Show that |dνdμ|=d|ν|dμ.
- (b) Show that dνdμ∈L1(X,μ) if and only if ν is finite.
- (c) Suppose ν is positive and let λ:=ν+μ. Show that 0≤dνdλ<1 μ-almost everywhere and that dνdμ=dνdλ1−dνdλ.
- 4. Let ν be a complex measure on (X,M). Show that ν=|ν| iff ν(X)=|ν|(X).
- 5. Let ν be a complex measure on (X,M). For E∈M, show |ν|(E)=sup{n∑j=1|ν(Ej)|:E=E1∪⋯∪En is a partition}=sup{∞∑j=1|ν(Ej)|:E=∞⋃j=1Ej is a partition}=sup{|∫Ef dν|:|f|≤1}.
- 6. Let M(X,M) denote the set of complex measures on a measurable space (X,M).
- (a) Show that ‖ν‖:=|ν|(X) defines a norm on M(X,M).
- (b) Show that M(X,M) is complete with respect to the metric ‖ν−μ‖.
- (c) Suppose μ is a σ-finite measure on (X,M) and (νn)n∈N⊂M(X,M) satisfies νn≪μ for all n∈N. For ν∈M(X,M), show that ‖νn−ν‖→0 if and only if ν≪μ and dνndμ→dνdμ in L1(μ).
Homework 7, due Wednesday, November 3rd (Sections 2.5, 3.1) Solutions
- 1. On ([0,1],B[0,1]), let m be the Lebesgue measure and let ν be the counting measure. For the diagonal set
D:={(t,t)∈[0,1]2:0≤t≤1},
show that ∬1D dmdν, ∬1D dνdm, and ∫1D d(m×ν) are all distinct.
[Note: this shows the σ-finiteness assumption in the Fubini–Tonelli theorem is necessary.] - 2. Let (X,M,μ) be a σ-finite measure space and f∈L+(X,μ).
- (a) Show that Gf:={(x,t)∈X×[0,∞):t≤f(x)} is M⊗BR-measurable with μ×m(Gf)=∫Xf dμ.
- (b) Prove the layer cake formula: ∫Xf dμ=∫[0,∞)μ({x∈X:f(x)≥t}) dm(t).
- (c) Use part (a) and continuity from below to give an alternate (albeit circular) proof of the monotone convergence theorem.
- 3. Suppose f∈L1((0,1),m), and define g(x):=∫(x,1)1tf(t) dm(t)0<x<1. Show that g∈L1((0,1),m) with ∫(0,1)g dm=∫(0,1)f dm.
- 4. Let ν and μ be signed measures on a measurable space (X,M).
- (a) Show that E is ν-null if and only if |ν|(E)=0.
- (b) Show the following are equivalent:
- (i) ν⊥μ
- (ii) |ν|⊥μ
- (iii) ν+⊥μ and ν−⊥μ.
- 5. Let ν be a signed measure on a measurable space (X,M).
- (a) Show L1(X,ν)=L1(X,|ν|).
- (b) For f∈L1(X,ν), show |∫Xf dν|≤∫X|f| d|ν|.
- (c) For E∈M, prove the following formulas:
- (i) ν+(E)=sup{ν(F):F⊂E,F∈M}
- (ii) ν−(E)=−inf{ν(F):F⊂E,F∈M}
- (iii) |ν|(E)=sup{|∫Ef dν|:|f|≤1}
- (iv) |ν|(E)=sup{|ν(E1)|+⋯+|ν(En)|:n∈N, E=E1∪⋯∪En is a partition}
Homework 6, due Wednesday, October 20th (Sections 2.3, 2.4) Solutions
- 1. Let f∈L1(R,m). Show that F:R→C is continuous where F(t)=∫(−∞,t]f dm.
- 2. Let f:[a,b]→R be a bounded function and consider h,H:[a,b]→R defined by
h(t):=limδ→0inf|s−t|≤δf(s)H(t):=limδ→0sup|s−t|≤δf(s).
- (a) Show that f is continuous at t∈[a,b] if and only if h(t)=H(t).
- (b) Show that ∫[a,b]h dm and ∫[a,b]H dm equal the lower and upper Darboux integrals of f, respectively.
[Hint: show that h=g and H=G m-almost everywhere, where g and G are as in the proof of the Riemann–Lebesgue theorem.] - (c) Deduce that f is Riemann integrable if and only if m({t∈[a,b]:f is discontinuous at t})=0.
- 3. Let {qn:n∈N}=Q be an enumeration of the rationals, and for x∈R define
g(x):=∞∑n=112n√x−qn1(qn,qn+1)
- (a) Show that g∈L1(R,m) and hence g<∞ m-almost everywhere.
- (b) Show that g is discontinuous everywhere and unbounded on every open interval.
- (c) Show that the conclusions of (b) hold for any function equal to g m-almost everywhere.
- (d) Show that g2<∞ m-almost everywhere, but g2 is not integrable on any interval.
- 4. Let (X,M,μ) be a measure space with μ(X)<∞. For f,g:X→C M-measurable define
ρ(f,g)=∫X|f−g|1+|f−g| dμ.
- (a) Show that ρ defines a metric on equivalence classes of C-valued M-measurable functions under the relation of μ-almost everywhere equality.
- (b) Show that fn→f in measure if and only if ρ(fn,f)→0.
- 5. (Lusin's Theorem) Let f:[a,b]→C be Lebesgue measurable. Show that for all ϵ>0 there exists a compact set K⊂[a,b] with m(K)>(b−a)−ϵ such that f|K is continuous.
[Hint: use Egoroff's theorem and the L1-density of continuous functions.]
Homework 5, due Wednesday, October 13th (Sections 2.2, 2.3) Solutions
- 1. Let f:[0,1]→[0,1] be the Cantor function, and define g(x):=f(x)+x.
- (a) Show that g:[0,1]→[0,2] is a bijection with continuous inverse.
- (b) If C⊂[0,1] is the Cantor set, show that m(g(C))=1. [Hint: compute m(g(C)c).]
- (c) Show that there exists A⊂g(C) such that A∉L and g−1(A)∈L∖BR.
- (d) Deduce that there exists a Lebesgue measurable function F and a continuous function G such that F∘G is not Lebesgue measurable.
- 2. Let f∈L+(X,M,μ) with ∫Xf dμ<∞.
- (a) Show that {x∈X:f(x)=∞} is a μ-null set.
- (b) Show that {x∈X:f(x)>0} is σ-finite.
- (c) Show that for all ϵ>0, there exists E∈M with μ(E)<∞ and such that ∫Xf dμ<∫Ef dμ+ϵ.
- (d) Suppose (fn)n∈N⊂L+(X,μ) decreases to f and ∫Xf1 dμ<∞. Show that limn→∞∫Xfn dμ=∫Xf dμ.
- 3. For f∈L+(X,M,μ), define ν:M→[0,∞] by ν(E):=∫Ef dμ. Show that ν is a measure satisfying ∫Xg dν=∫Xgf dμ for all g∈L+(X,M,μ).
- 4. Let (fn)n∈N,(gn)n∈N∈L1(X,μ) be sequences converging μ-almost everywhere to f,g∈L1(X,μ), respectively. Suppose |fn|≤gn for each n∈N and ∫gn dμ→∫g dμ. Show that limn→∞∫Xfn dμ=∫Xf dμ.
- 5. Suppose (fn)n∈N⊂L1(X,μ) converges μ-almost everywhere to f∈L1(X,μ). Show that limn→∞∫X|fn−f| dμ=0⟺limn→∞∫X|fn| dμ=∫X|f| dμ.
Homework 4, due Wednesday, September 29th (Sections 1.5, 2.1) Solutions
- 1. Let μ be a Lebesgue--Stieltjes measure with domain M, and let E∈M with μ(E)<∞. Show that for any ϵ>0 there exists a finite union of open intervals A so that μ(EΔA)<ϵ.
- 2. Let N⊂[0,1) be the non-measurable set constructed in Section 1.1 and denote
Nq:={x+q:x∈N∩[0,1−q)}∪{x+q−1:x∈N∩[1−q,1)},
for all q∈Q∩[0,1). Let E⊂R be Lebesgue measurable.
- (a) Show that E⊂N implies m(E)=0.
- (b) Show that m(E)>0 implies E contains a subset that is not Lebesgue measurable. [Hint: for E′⊂[0,1) one has E′=⋃qE′∩Nq.]
- 3. Let E⊂R be Lebesgue measurable with m(E)>0.
- (a) Show that for any 0<α<1 there exists an interval I satisfying m(E∩I)>αm(I).
- (b) Show that the set E−E:={x−y:x,y∈E} contains an open interval centered at 0.
- 4. Let (X,M) be a measurable space and f,g:X→¯R.
- (a) Show that f is M-measurable if and only if f−1({∞}), f−1({−∞}), f−1(B)∈M for all Borel sets B⊂R.
- (b) Show that f is M-measurable if and only if f−1((q,∞])∈M for all q∈Q.
- (c) Suppose f,g are M-measurable. Fix a∈¯R and define h:X→¯R by h(x)={aif f(x)=−g(x)=±∞f(x)+g(x)otherwise. Show that h is M-measurable.
- 5. Let (X,M) be a measurable space, and let fn:X→¯R be M-measurable for each n∈N. Show that {x∈X:limn→∞fn(x) exists}∈M.
Homework 3, due Wednesday, September 22nd (Sections 1.4-1.5) Solutions
- 1. Let A be an algebra on X, let μ0 be a premeasure on (X,A), and let μ∗ be the outer measure defined by
μ∗(E):=inf{∞∑n=1μ0(An):An∈A for each n∈N and E⊂∞⋃n=1An}.
We will call μ∗ the outer measure induced by μ0.
- (a) Let Aσ denote the collection of all countable unions of sets in A. For E⊂X and ϵ>0 show that there exists A∈Aσ satisfying E⊂A and μ∗(A)≤μ∗(E)+ϵ.
- (b) Let Aσδ denote the collection of all countable intersections of sets in Aσ. For E⊂X with μ∗(E)<∞, show that E is μ∗-measurable if and only if there exists B∈Aσδ satisfying E⊂B and μ∗(B∖E)=0.
- (c) Suppose μ0 is σ-finite. Show that E is μ∗-measurable if and only if there exists B∈Aσδ satisfying E⊂B and μ∗(B∖E)=0.
- 2. Let A be an algebra on X, let μ0 be a finite premeasure on (X,A), and let μ∗ be the outer measure induced by μ0. The inner measure induced by μ0 is the map defined by μ∗(E):=μ0(X)−μ∗(Ec) for E⊂X. Show that A⊂X is μ∗-measurable if and only if μ∗(A)=μ∗(A). [Hint: use Exercise 1.(b).]
- 3. Let (X,M,μ) be a σ-finite measure space and let μ∗ be the outer measure induced by μ.
- (a) Show that the σ-algebra M∗ of μ∗-measurable sets equals ¯M, the completion of M. [Hint: use Exercise 1.(c).]
- (b) Show that μ∗|M∗=¯μ, the completion of μ.
- 4. Let A be the collection of finite disjoint unions of sets of the form (a,b]∩Q with −∞≤a<b≤∞.
- (a) Show A is an algebra on Q by showing E:={∅}∪{(a,b]∩Q:−∞≤a<b≤b} is an elementary family.
- (b) Show that M(A)=P(Q).
- (c) Define μ0 on A by μ0(∅)=0 and μ0(A)=∞ for all nonempty A∈A. Show that μ0 is a premeasure.
- (d) Show that there exists more than one measure on (Q,P(Q)) extending μ0.
- 5. Let F:R→R be increasing and right-continuous, and let μF be the associated Borel measure on R. For −∞<a<b<∞, prove the following equalities: μF({a})=F(a)−limx↗aF(x)μF([a,b])=F(b)−limx↗aF(x)μF((a,b))=limx↗bF(x)−F(a)μF([a,b))=limx↗bF(x)−limy↗aF(y).
Homework 2, due Wednesday, September 15th (Sections 1.2-1.3) Solutions
- 1. Fix n∈N and denote the Borel σ-algebra on Rn by B.
- (a) Show that B is generated by the collection of open boxes (a1,b1)×⋯×(an,bn) for a1,b1,…,an,bn∈R with a1<b1,…an<bn.
- (b) Fix t=(t1,…,tn)∈Rn. For a Borel set E⊂Rn, show that E+t:={(x1+t1,…,xn+tn):(x1,…,xn)∈E} is also a Borel set. We say B is translation invariant. [Hint: Consider the collection {E∈B:E+t∈B}.]
- (c) Fix t=(t1,…,tn)∈Rn. For a Borel set E⊂Rn, show that E⋅t:={(x1t1,…,xntn):(x1,…,xn)∈E} is also a Borel set. We say B is dilation invariant.
- 2. Let (X,M,μ) be a measure space with En∈M for each n∈N.
- (a) Show that μ(lim infEn)≤lim infn→∞μ(En).
- (b) Suppose μ(⋃nEn)<∞. Show that μ(lim supEn)≥lim supn→∞μ(En).
- 3. Let μ be a finitely additive measure on a measurable space (X,M).
- (a) Show that μ is a measure if and only if it satisfies continuity from below.
- (b) If μ(X)<∞, show that μ is a measure if and only if it satisfies continuity from above.
- 4. Let (X,M,μ) be a measure space.
- (a) Suppose μ is σ-finite. Show that μ is semifinite.
- (b) Suppose μ is semifinite. Show that for E∈M with μ(E)=∞ and any C>0, there exists F⊂E with C<μ(F)<∞.
- 5. Let (X,M,μ) be a measure space and for E∈M define
μ0(E):=sup{μ(F):F⊂E with μ(F)<∞}.
We call μ0 the seminfinite part of μ.
- (a) Show that μ0 is a semifinite measure.
- (b) Show that if μ is itself semifinite, then μ=μ0.
- (c) [Not Collected] We say E∈M is μ-semifinite if for any F⊂E with μ(F)=∞ there exists G⊂F with 0<μ(G)<∞. Show that ν(E):={0if E is μ-semifinite∞otherwise defines a measure on (X,M) satisfying μ=μ0+ν.
Homework 1, due Wednesday, September 8th (Sections 1.1-1.2) Solutions
- 1. Consider f:R→R defined by
f(t)={1nif t=mn with m∈Z, n∈N sharing no common factors0if t∈R∖Q.
- (a) Show that f is discontinuous at every t∈Q.
- (b) Show that f is continuous at every t∈R∖Q.
- (c) Show that 1Q is discontinuous at every t∈R.
- 2. Show that if E⊂R is countable then E is a null set.
- 3. Let X be a set and let (En)n∈N be a sequence of subsets. Recall that the limit inferior and limit superior of this sequence of sets are defined as lim infEn:=∞⋃n=1∞⋂k=nEkandlim supEn:=∞⋂n=1∞⋃k=nEk, respectively. Show that for all x∈X, 1lim infEn(x)=lim infn→∞1En(x)and1lim supEn(x)=lim supn→∞1En(x).
- 4. Let X be an uncountable set. Show that C:={E⊂X:E or Ec is countable} is a σ-algebra on X.
- 5. Let BR be the Borel σ-algebra on R, and consider the following collections of subsets of R: E1:={(a,b):a,b∈R, a<b}E2:={[a,∞):a∈R}. Show that M(E1)=M(E2)=BR.