

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Information about two problems from a university mathematics course, math 524. The first problem deals with proving that there exists a uniformly convergent subsequence of continuously differentiable functions that satisfy certain conditions. The second problem involves defining a metric on the equivalence classes of piecewise continuous functions and showing that the closed ball of radius 1 and center [0] is not compact. The document also includes references to problems from folland's textbook.
Typology: Assignments
1 / 2
This page cannot be seen from the preview
Don't miss anything!


Reading: Section 3 Chapter 1 in Folland. Section 1 Chapter 2 in Folland.
Problem 1. (Prelim) Let fn : [0, 1] → R be a sequence of continuously differentiable functions (i.e. fn ∈ C^1 ([0, 1])) which satisfy fn(0) = 0, and
∫ (^1)
0
|f (^) n′(x)|^2 dx ≤ 1 for all n ∈ N.
Prove that there is a subsequence of fn which converges uniformly on [0, 1]. Hint: recall that if a, b ≥ 0 and > 0 then 2ab ≤ a
2 +^ b
Problem 2. Let X = {f : [0, 1] → R; f piecewise continuous}. We say that f is piecewise continuous on [0, 1] if f has only finitely many discontinuities in [0, 1]. For f , g ∈ X we say that f ∼ g is f − g ≡ 0 on [0, 1], except for finitely many points. This defines an equivalence relation on X. Let Y = {[f ] : f ∈ X} where [f ] denotes the equivalence class of f ∈ X. For [f ] , [g] ∈ Y define
d([f ], [g]) =
0
|f − g| dx.
Show that d defines a metric on Y. Show that the closed ball of radius 1 and center [0], i.e.
{[f ] ∈ Y : d([f ], [0]) ≤ 1 }
is not compact.
Problems from Folland:
Chapter 1, Section 3: problems 9, 10. Chapter 2, Section 1: problems 1, 2, 9.
∗ Problem: Caratheodory’s criterion Let μ be a measure on Rn. If
μ(A ∪ B) = μ(A) + μ(B), ∀ A, B ⊂ Rn^ with d(A, B) > 0 ,
then μ is a Borel measure (i.e. Borel sets are μ-measurable). Here
d(A, B) = inf{|a − b| : a ∈ A, b ∈ B}.