Processing math: 100%

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(G1(E)).
      [Hint: first consider when E is an open then closed.]
    • (b) For fL1([c,d],B[c,d],m), show that [c,d]f dm=[a,b]fG dμG.
    • (c) Suppose G is absolutely continuous. Show that the above integrals also equal [a,b](fG)G dm.
  • 2. We say F:RC is Lipschitz continuous if there exists M>0 so that |F(x)F(y)|M|xy| for all x,yR. 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 ss<t and s<tt one has F(t)F(s)tsF(t)F(s)ts.
    • (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)β(tt0) for all t(a,b).
    • (d) (Jensen's Inequality) Let (X,M,μ) be a measure space with μ(X)=1. Suppose gL1(X,μ) is valued in (a,b) and F is convex on this interval. Show that F(Xg dμ)Fg 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 EM with 0<μ(E)<ϵ.
    • (b) Show that Lq(X,μ)Lp(X,μ) if and only if for all R>0 there exists EM with R<μ(E)<.
    [Hint: for the backwards direction of both parts, construct a function of the form f=an1En for a disjoint family (En)nNM.]
  • 5. Let (X,M,μ) be a measure space. For a measurable function f:XC, we say zC is in the essential range of f if μ({xX:|f(x)z|<ϵ})>0 for all ϵ>0. Denote the essential range of f by Rf.
    • (a) Show that Rf is closed.
    • (b) For fL(X,μ), show that Rf is compact with f=max{|z|:zRf}.
Homework 9, due Wednesday, December 1st (Sections 3.4, 3.5) Solutions
  • 1. Let fL1(Rn,m) be such that m({xRn: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({xRn: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 ERn, the density of E at a point x is defined as DE(x):=limr0m(EB(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 x00otherwiseandG(x):={x2sin(1x2)if x00otherwise.
    • (a) Compute F and G.
    • (b) Show that FBV([1,1]) but GBV([1,1]).
  • 5. Suppose (Fn)nNNBV converges pointwise to a function F. Show that TFlim infnTFn.
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 dmf dν for any function f.
    • (b) Show that there does not exist λm and ρm so that ν=λ+ρ.
    [Note: this shows the σ-finiteness assumption in the Lebesgue–Radon–Nikodym theorem is necessary.]
  • 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 0dνdλ<1 μ-almost everywhere and that dνdμ=dνdλ1dν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 EM, show |ν|(E)=sup{nj=1|ν(Ej)|:E=E1En 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)nNM(X,M) satisfies νnμ for all nN. 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:0t1}, 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 fL+(X,μ).
    • (a) Show that Gf:={(x,t)X×[0,):tf(x)} is MBR-measurable with μ×m(Gf)=Xf dμ.
    • (b) Prove the layer cake formula: Xf dμ=[0,)μ({xX: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 fL1((0,1),m), and define g(x):=(x,1)1tf(t) dm(t)0<x<1. Show that gL1((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 fL1(X,ν), show |Xf dν|X|f| d|ν|.
    • (c) For EM, prove the following formulas:
      • (i) ν+(E)=sup{ν(F):FE,FM}
      • (ii) ν(E)=inf{ν(F):FE,FM}
      • (iii) |ν|(E)=sup{|Ef dν|:|f|1}
      • (iv) |ν|(E)=sup{|ν(E1)|++|ν(En)|:nN, E=E1En is a partition}
Homework 6, due Wednesday, October 20th (Sections 2.3, 2.4) Solutions
  • 1. Let fL1(R,m). Show that F:RC 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|st|δf(s)H(t):=limδ0sup|st|δ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:nN}=Q be an enumeration of the rationals, and for xR define g(x):=n=112nxqn1(qn,qn+1)
    • (a) Show that gL1(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:XC M-measurable define ρ(f,g)=X|fg|1+|fg| 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 fnf 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)>(ba)ϵ such that f|K is continuous.
    [Hint: use Egoroff's theorem and the L1-density of continuous functions.]
Exercises 1, 3, 4, and 5 were graded.
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 Ag(C) such that AL and g1(A)LBR.
    • (d) Deduce that there exists a Lebesgue measurable function F and a continuous function G such that FG is not Lebesgue measurable.
  • 2. Let fL+(X,M,μ) with Xf dμ<.
    • (a) Show that {xX:f(x)=} is a μ-null set.
    • (b) Show that {xX:f(x)>0} is σ-finite.
    • (c) Show that for all ϵ>0, there exists EM with μ(E)< and such that Xf dμ<Ef dμ+ϵ.
    • (d) Suppose (fn)nNL+(X,μ) decreases to f and Xf1 dμ<. Show that limnXfn dμ=Xf dμ.
  • 3. For fL+(X,M,μ), define ν:M[0,] by ν(E):=Ef dμ. Show that ν is a measure satisfying Xg dν=Xgf dμ for all gL+(X,M,μ).
  • 4. Let (fn)nN,(gn)nNL1(X,μ) be sequences converging μ-almost everywhere to f,gL1(X,μ), respectively. Suppose |fn|gn for each nN and gn dμg dμ. Show that limnXfn dμ=Xf dμ.
  • 5. Suppose (fn)nNL1(X,μ) converges μ-almost everywhere to fL1(X,μ). Show that limnX|fnf| dμ=0limnX|fn| dμ=X|f| dμ.
Exercises 2-5 were graded.
Homework 4, due Wednesday, September 29th (Sections 1.5, 2.1) Solutions
  • 1. Let μ be a Lebesgue--Stieltjes measure with domain M, and let EM 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:xN[0,1q)}{x+q1:xN[1q,1)}, for all qQ[0,1). Let ER be Lebesgue measurable.
    • (a) Show that EN 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=qENq.]
  • 3. Let ER be Lebesgue measurable with m(E)>0.
    • (a) Show that for any 0<α<1 there exists an interval I satisfying m(EI)>αm(I).
    • (b) Show that the set EE:={xy:x,yE} 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 f1({}), f1({}), f1(B)M for all Borel sets BR.
    • (b) Show that f is M-measurable if and only if f1((q,])M for all qQ.
    • (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 nN. Show that {xX:limnfn(x) exists}M.
Exercises 1, 2, 3, and 5 were graded, and 4 was checked for completion.
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):AnA for each nN and En=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 EX and ϵ>0 show that there exists AAσ satisfying EA and μ(A)μ(E)+ϵ.
    • (b) Let Aσδ denote the collection of all countable intersections of sets in Aσ. For EX with μ(E)<, show that E is μ-measurable if and only if there exists BAσδ satisfying EB and μ(BE)=0.
    • (c) Suppose μ0 is σ-finite. Show that E is μ-measurable if and only if there exists BAσδ satisfying EB and μ(BE)=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 EX. Show that AX 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<bb} 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 AA. Show that μ0 is a premeasure.
    • (d) Show that there exists more than one measure on (Q,P(Q)) extending μ0.
  • 5. Let F:RR 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)limxaF(x)μF([a,b])=F(b)limxaF(x)μF((a,b))=limxbF(x)F(a)μF([a,b))=limxbF(x)limyaF(y).
Exercises 1,3, and 4 were graded, 2 and 5 were checked for completion.
Homework 2, due Wednesday, September 15th (Sections 1.2-1.3) Solutions
  • 1. Fix nN 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,bnR with a1<b1,an<bn.
    • (b) Fix t=(t1,,tn)Rn. For a Borel set ERn, 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 {EB:E+tB}.]
    • (c) Fix t=(t1,,tn)Rn. For a Borel set ERn, show that Et:={(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 EnM for each nN.
    • (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 EM with μ(E)= and any C>0, there exists FE with C<μ(F)<.
  • 5. Let (X,M,μ) be a measure space and for EM define μ0(E):=sup{μ(F):FE 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 EM is μ-semifinite if for any FE with μ(F)= there exists GF with 0<μ(G)<. Show that ν(E):={0if E is μ-semifiniteotherwise defines a measure on (X,M) satisfying μ=μ0+ν.
Exercises 1,2,3, and 5 were graded, and 4 was checked for completion.
Homework 1, due Wednesday, September 8th (Sections 1.1-1.2) Solutions
  • 1. Consider f:RR defined by f(t)={1nif t=mn with mZnN sharing no common factors0if tRQ.
    • (a) Show that f is discontinuous at every tQ.
    • (b) Show that f is continuous at every tRQ.
    • (c) Show that 1Q is discontinuous at every tR.
  • 2. Show that if ER is countable then E is a null set.
  • 3. Let X be a set and let (En)nN be a sequence of subsets. Recall that the limit inferior and limit superior of this sequence of sets are defined as lim infEn:=n=1k=nEkandlim supEn:=n=1k=nEk, respectively. Show that for all xX, 1lim infEn(x)=lim infn1En(x)and1lim supEn(x)=lim supn1En(x).
  • 4. Let X be an uncountable set. Show that C:={EX: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,bR, a<b}E2:={[a,):aR}. Show that M(E1)=M(E2)=BR.
Exercises 1-5 were graded.

Midterm Exams

Midterm 1 is in class on Wednesday, October 6th. This covers Chapter 1 and Section 2.1 in the textbook. Solutions.

Midterm 2 is in class on Wednesday, November 17th. This covers Sections 2.2 - 2.5, and 3.1 - 3.3 in the textbook. Solutions.

Final Exam

The Final exam will be administered through D2L during a 3-hour window of you choosing between Wednesday, December 8th, 12:00 pm (noon) and Friday, December 17th, 11:59 pm. This covers Chapters 1-3 and Section 6.1 of the textbook.